Stark-Coleman Invariants and Quantum Lower Bounds: An Integrated Framework for Real Quadratic Fields
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918071061446656 |
|---|---|
| author | Xu, Ruopengyu Liu, Chenglian |
| author_facet | Xu, Ruopengyu Liu, Chenglian |
| contents | Class groups of real quadratic fields represent fundamental structures in algebraic number theory with significant computational implications. While Stark's conjecture establishes theoretical connections between special units and class group structures, explicit constructions have remained elusive, and precise quantum complexity bounds for class group computations are lacking. Here we establish an integrated framework defining Stark-Coleman invariants $κ_p(K) = \log_p \left( \frac{\varepsilon_{\mathrm{St},p}}{σ(\varepsilon_{\mathrm{St},p})} \right) \mod p^{\mathrm{ord}_p(Δ_K)}$ through a synthesis of $p$-adic Hodge theory and extended Coleman integration. We prove these invariants classify class groups under the Generalized Riemann Hypothesis (GRH), resolving the isomorphism problem for discriminants $D > 10^{32}$. Furthermore, we demonstrate that this approach yields the quantum lower bound $\exp\left(Ω\left(\frac{\log D}{(\log \log D)^2}\right)\right)$ for the class group discrete logarithm problem, improving upon previous bounds lacking explicit constants. Our results indicate that Stark units constrain the geometric organization of class groups, providing theoretical insight into computational complexity barriers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_07640 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Stark-Coleman Invariants and Quantum Lower Bounds: An Integrated Framework for Real Quadratic Fields Xu, Ruopengyu Liu, Chenglian Number Theory Cryptography and Security Group Theory Quantum Physics 11R29, 11R42, 81P68 F.2.2; G.2.0; E.3 Class groups of real quadratic fields represent fundamental structures in algebraic number theory with significant computational implications. While Stark's conjecture establishes theoretical connections between special units and class group structures, explicit constructions have remained elusive, and precise quantum complexity bounds for class group computations are lacking. Here we establish an integrated framework defining Stark-Coleman invariants $κ_p(K) = \log_p \left( \frac{\varepsilon_{\mathrm{St},p}}{σ(\varepsilon_{\mathrm{St},p})} \right) \mod p^{\mathrm{ord}_p(Δ_K)}$ through a synthesis of $p$-adic Hodge theory and extended Coleman integration. We prove these invariants classify class groups under the Generalized Riemann Hypothesis (GRH), resolving the isomorphism problem for discriminants $D > 10^{32}$. Furthermore, we demonstrate that this approach yields the quantum lower bound $\exp\left(Ω\left(\frac{\log D}{(\log \log D)^2}\right)\right)$ for the class group discrete logarithm problem, improving upon previous bounds lacking explicit constants. Our results indicate that Stark units constrain the geometric organization of class groups, providing theoretical insight into computational complexity barriers. |
| title | Stark-Coleman Invariants and Quantum Lower Bounds: An Integrated Framework for Real Quadratic Fields |
| topic | Number Theory Cryptography and Security Group Theory Quantum Physics 11R29, 11R42, 81P68 F.2.2; G.2.0; E.3 |
| url | https://arxiv.org/abs/2506.07640 |