Density and Defect Distribution of Reduced Ideals Missed by the Reduction Algorithm in Real Quadratic Fields
Abstract
Schoof asked how many reduced Arakelov divisors cannot arise from the reduction algorithm. Tian and Tran subsequently characterized the image of this algorithm in real quadratic fields as precisely the $1$-reduced ideals. We give a quantitative answer to Schoof's question in the real-quadratic setting by determining the asymptotic proportion of reduced ideals missed by the algorithm. A key arithmetic input is the criterion that a reduced ideal with associated reduced form (A,b,−r) fails to be $1$-reduced if and only if A−r<b<2(A−r). Hence the missed ideals occupy an explicit region of the natural extension of the Gauss map whose relative measure is λex=log(4/3)/log4. In particular, the missed region occupies exactly half of the digit-one cylinder with respect to the invariant measure. We establish this limiting proportion in two settings. A lattice-point count gives the average asymptotic over fundamental discriminants Δ≤ X, with error O(X−1/4+ε). For individual real quadratic fields, Duke's equidistribution theorem yields ECal(Δ)/κ(Δ) →λex as Δ→∞. We also determine the limiting distribution of the canonical defect k/√Δ of the missed ideals. This distribution is supported on [0,1/√3−1/2], and its lower tail is asymptotic to 2/log(4/3)tlog(1/t) as t→0+. An exact relation between the integer defect and an endpoint coordinate of the natural extension allows us to transfer equidistribution to the defect law.
Related
- Dimension Reduction for the Trivariate Normal Product Distribution: An Efficient Numerical Algorithm via Conditional Expectation
- Optimization of Quadratic Sieve Algorithm Implementation for Large Integer Factorization
- Adaptive Variance-Reduced Stochastic Sequential (Quadratic Constrained) Quadratic Programming
- Matrix-Free Moment-Matching Method for Reduced-Order Modeling of Quadratic-Bilinear Descriptor Systems with Multiple Inputs
- Truncated ℋ2 Optimal Model Order Reduction for Bilinear Quadratic Output Systems
BibTeX
@misc{guo2026density,
title = {{Density and Defect Distribution of Reduced Ideals Missed by the Reduction Algorithm in Real Quadratic Fields}},
author = {Mengzhe Guo and Taro Hayashi and Ryota Sueyosh},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.36800},
eprint = {2610.36800},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.36800},
}
RIS
TY - UNPB
TI - Density and Defect Distribution of Reduced Ideals Missed by the Reduction Algorithm in Real Quadratic Fields
AU - Mengzhe Guo
AU - Taro Hayashi
AU - Ryota Sueyosh
PY - 2026
DA - 2026/10/27
PB - arXiv
DO - 10.48550/arxiv.2610.36800
UR - https://arxiv.org/abs/2610.36800
AB - Schoof asked how many reduced Arakelov divisors cannot arise from the reduction algorithm. Tian and Tran subsequently characterized the image of this algorithm in real quadratic fields as precisely the $1$-reduced ideals. We give a quantitative answer to Schoof's question in the real-quadratic setting by determining the asymptotic proportion of reduced ideals missed by the algorithm. A key arithmetic input is the criterion that a reduced ideal with associated reduced form (A,b,−r) fails to be $1$-reduced if and only if A−r<b<2(A−r). Hence the missed ideals occupy an explicit region of the natural extension of the Gauss map whose relative measure is λ_ex=log(4/3)/log4. In particular, the missed region occupies exactly half of the digit-one cylinder with respect to the invariant measure. We establish this limiting proportion in two settings. A lattice-point count gives the average asymptotic over fundamental discriminants Δ≤ X, with error O(X^−1/4+ε). For individual real quadratic fields, Duke's equidistribution theorem yields ECal(Δ)/κ(Δ) →λ_ex as Δ→∞. We also determine the limiting distribution of the canonical defect k/√Δ of the missed ideals. This distribution is supported on [0,1/√3−1/2], and its lower tail is asymptotic to 2/log(4/3)tlog(1/t) as t→0^+. An exact relation between the integer defect and an endpoint coordinate of the natural extension allows us to transfer equidistribution to the defect law.
ER -