pith. machine review for the scientific record. sign in

arxiv: 2604.15293 · v1 · submitted 2026-04-16 · 🧮 math.DS · math.NT

Recognition: unknown

Borel--Bernstein and Hirst-type Theorems for Nearest-Integer Complex Continued Fractions over Euclidean Imaginary Quadratic Fields

Kangrae Park

Authors on Pith no claims yet

Pith reviewed 2026-05-10 09:27 UTC · model grok-4.3

classification 🧮 math.DS math.NT
keywords Borel-Bernstein theoremcomplex continued fractionsHausdorff dimensionimaginary quadratic fieldsLebesgue measuredigit restrictionsergodic theory
0
0 comments X

The pith

Borel-Bernstein theorem and Hirst-type dimension results extend to nearest-integer complex continued fractions over all five Euclidean imaginary quadratic fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves two metric theorems for the nearest-integer complex continued fraction maps T_d associated to the rings O_d for d in {1,2,3,7,11}. For every sequence u_n at least 1, the set of points where the digit sequence satisfies |a_n| at least u_n for infinitely many n has full normalized Lebesgue measure if the sum of u_n to the minus two diverges and zero measure if the sum converges. For any infinite subset S of O_d, the Hausdorff dimension of the digit-restricted set F_d(S) consisting of expansions with all a_n in S and |a_n| tending to infinity equals the convergence exponent tau(S) divided by 2; the same dimension holds when an arbitrary growth cutoff f(n) tending to infinity is imposed. These statements unify and extend the classical Borel-Bernstein theorem and related dimension results from real and Hurwitz continued fractions to the complex setting.

Core claim

The five nearest-integer maps T_d satisfy a unified Borel-Bernstein statement: the normalized Lebesgue measure of the limsup set defined by |a_n| greater than or equal to u_n for infinitely many n is 1 or 0 according as the series sum u_n^{-2} diverges or converges. In addition, for any infinite S subset O_d the Hausdorff dimension of the set F_d(S) of points whose digits lie entirely in S and tend to infinity is exactly tau(S)/2, where tau(S) is the convergence exponent of S; imposing any cutoff f(n) to infinity on the size of the digits leaves this dimension unchanged.

What carries the argument

The nearest-integer complex continued fraction map T_d together with its quantitative ergodic properties and the 2-decaying large-digit conformal iterated function subsystem.

If this is right

  • The normalized Lebesgue measure of points with infinitely many large digits is completely determined by the divergence of sum u_n^{-2}.
  • The Hausdorff dimension of any infinite digit-restricted set F_d(S) equals half the convergence exponent of S.
  • Imposing an arbitrary growth cutoff f(n) to infinity on the digits leaves the Hausdorff dimension unchanged.
  • The same machinery yields applications to sparse patterns, shrinking targets, and almost-sure Levy- and Khinchine-type laws.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The transfer technique via 2-decaying conformal IFS subsystems may apply to other complex dynamical systems beyond these five fields.
  • Numerical computation of Hausdorff dimensions for concrete infinite sets S in these rings would provide direct checks of the tau(S)/2 formula.
  • The Borel-Bernstein measure statement could be used to derive almost-sure growth rates for digit sequences in these continued fraction expansions.

Load-bearing premise

The nearest-integer maps T_d possess quantitative ergodic properties and admit a large-digit conformal iterated function subsystem that is 2-decaying.

What would settle it

An explicit sequence u_n with diverging sum u_n^{-2} for which the corresponding limsup set has normalized Lebesgue measure strictly less than 1, or an infinite set S subset O_d for which the Hausdorff dimension of F_d(S) differs from tau(S)/2.

read the original abstract

For each $d \in {1,2,3,7,11}$, let $T_d$ be the nearest-integer complex continued fraction map associated with the Euclidean ring $\mathcal{O}*d$, and let $(a_n)$ be its digit sequence. We prove two metric results for this five-system family. First, for every sequence $(u_n)*{n\ge 1}$ with $u_n \ge 1$, the set of points for which $|a_n| \ge u_n$ for infinitely many $n$ has full or zero normalized Lebesgue measure according as $\sum_{n=1}^\infty u_n^{-2}$ diverges or converges. This gives a unified Borel--Bernstein theorem, extending the Hurwitz case $d=1$ to all five Euclidean imaginary quadratic fields. Second, for any infinite set $S \subset \mathcal{O}_d$, if $\tau(S)$ denotes its convergence exponent, then the digit-restricted set $F_d(S)={z:\ a_n(z)\in S\ \text{for all } n,\ |a_n(z)|\to\infty}$ satisfies $\dim_H F_d(S)=\tau(S)/2$. More generally, for any cutoff function $f(n)\to\infty$, the set $F_d(S,f)={z\in F_d(S):\ |a_n(z)|\le f(n)\ \text{for all } n}$ is either empty or has the same Hausdorff dimension $\tau(S)/2$. The proof combines quantitative ergodic properties of the nearest-integer systems with a large-digit conformal iterated function subsystem that is $2$-decaying. We also obtain applications to sparse patterns, shrinking targets, and almost-sure $L'evy$- and Khinchine-type laws.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes two metric results for the nearest-integer complex continued fraction maps T_d over the five Euclidean imaginary quadratic fields (d=1,2,3,7,11). First, for any sequence (u_n) with u_n >=1, the set of points where |a_n| >= u_n infinitely often has full or zero normalized Lebesgue measure according as sum u_n^{-2} diverges or converges. Second, for any infinite S subset O_d with convergence exponent tau(S), the digit-restricted set F_d(S) has Hausdorff dimension tau(S)/2; this dimension is preserved for the subsets F_d(S,f) with |a_n| <= f(n) for f(n)->infty. The proofs rely on quantitative ergodic properties of the T_d and an explicit large-digit conformal IFS that is 2-decaying.

Significance. If the derivations hold, the work unifies and extends classical Borel-Bernstein and Hirst-type results from real continued fractions to the complex setting across all Euclidean cases. The explicit construction of the 2-decaying IFS and the quantitative mixing estimates provide a concrete technical foundation that supports direct transfer of the real-line arguments, yielding applications to sparse patterns, shrinking targets, and almost-sure Levy/Khinchine laws. This strengthens the metric theory of Diophantine approximation over complex quadratic fields.

minor comments (2)
  1. [Abstract] Abstract: the precise normalization of the Lebesgue measure (with respect to which the full/zero dichotomy holds) is not stated explicitly and should be clarified when the measure is first introduced in the main text.
  2. [Abstract] The statement of the dimension result for F_d(S,f) assumes f(n)->infty but does not specify the growth rate needed to preserve dimension; a brief remark on admissible f would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately captures the two main results: the unified Borel-Bernstein theorem for the nearest-integer maps T_d over the five Euclidean imaginary quadratic fields, and the Hausdorff dimension formula dim_H F_d(S) = tau(S)/2 for digit-restricted sets (including the bounded-digit variants). No specific major comments or points of criticism appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit estimates

full rationale

The paper derives the Borel-Bernstein dichotomy and Hausdorff dimension formula by establishing quantitative ergodic properties (mixing rates) for each T_d and constructing an explicit large-digit conformal IFS satisfying the 2-decaying condition uniformly for d=1,2,3,7,11. These are applied directly to transfer the statements, with the dimension result following from the pressure equation. No step reduces by the paper's own equations to a fitted input renamed as prediction, self-definition, or load-bearing self-citation chain; the central claims rest on independently verifiable estimates rather than ansatz smuggling or renaming of known results. The transfer from real to complex cases uses explicit bounds, keeping the argument internally consistent without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on two domain assumptions about the dynamical systems: quantitative ergodic properties of the five maps T_d and the existence of a 2-decaying large-digit conformal IFS. No free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The nearest-integer complex continued fraction maps T_d for d in {1,2,3,7,11} possess quantitative ergodic properties sufficient to control the measure of large-digit sets.
    Invoked to obtain the Borel-Bernstein dichotomy.
  • domain assumption There exists a large-digit conformal iterated function subsystem that is 2-decaying.
    Used to compute the Hausdorff dimension of the restricted sets F_d(S) and F_d(S,f).

pith-pipeline@v0.9.0 · 5630 in / 1524 out tokens · 76625 ms · 2026-05-10T09:27:15.039776+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 22 canonical work pages

  1. [1]

    Apostol.Introduction to Analytic Number Theory

    Tom M. Apostol.Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1976

    1976

  2. [2]

    Complex continued fractions, Kleinian and extremal theory for cusp excursions.Discrete & Continuous Dynamical Systems, 2026

    Alexander Baumgartner and Mark Pollicott. Complex continued fractions, Kleinian and extremal theory for cusp excursions.Discrete & Continuous Dynamical Systems, 2026. Early Access; published online 20 March 2026.doi: 10.3934/dcds.2026064

    work page doi:10.3934/dcds.2026064 2026

  3. [3]

    Bernik and Maurice M

    Vasilii I. Bernik and Maurice M. Dodson.Metric Diophantine Approximation on Manifolds, volume 137 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1999

    1999

  4. [4]

    ¨Uber eine anwendung der mengenlehre auf ein aus der theorie der s ¨akularen st ¨orungen herr¨uhrendes problem.Mathematische Annalen, 71:417–439, 1912

    Felix Bernstein. ¨Uber eine anwendung der mengenlehre auf ein aus der theorie der s ¨akularen st ¨orungen herr¨uhrendes problem.Mathematische Annalen, 71:417–439, 1912. URL:http://eudml.org/doc/158543,doi: 10.1007/BF01456856

    work page doi:10.1007/bf01456856 1912

  5. [5]

    Ren- diconti del Circolo Matematico di Palermo (1884-1940)27(1), 247–271 (Dec 1909)

    ´Emile Borel. Les probabilit´es d´enombrables et leurs applications arithm ´etiques.Rendiconti del Circolo Matematico di Palermo, 27:247–271, 1909.doi:10.1007/BF03019651

    work page doi:10.1007/bf03019651 1909

  6. [6]

    Cambridge University Press, Cambridge, 2004

    Yann Bugeaud.Approximation by Algebraic Numbers, volume 160 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2004

    2004

  7. [7]

    Metrical properties of Hurwitz continued fractions

    Yann Bugeaud, Gerardo Gonz´alez Robert, and Mumtaz Hussain. Metrical properties of Hurwitz continued fractions. Advances in Mathematics, 468:110208, 2025.doi:10.1016/j.aim.2025.110208

    work page doi:10.1016/j.aim.2025.110208 2025

  8. [8]

    T. W. Cusick. Hausdorff dimension of sets of continued fractions.The Quarterly Journal of Mathematics, 41(3):277– 286, 1990.doi:10.1093/qmath/41.3.277

    work page doi:10.1093/qmath/41.3.277 1990

  9. [9]

    Hiromi Ei, Hitoshi Nakada, and Rie Natsui. On the ergodic theory of maps associated with the nearest integer complex continued fractions over imaginary quadratic fields.Discrete & Continuous Dynamical Systems, 43(11):3883–3924, 2023.doi:10.3934/dcds.2023071

    work page doi:10.3934/dcds.2023071 2023

  10. [10]

    Good’s theorem for hurwitz continued fractions.International Journal of Number Theory, 16(7):1433–1447, 2020.doi:10.1142/S1793042120500761

    Gerardo Gonz’alez Robert. Good’s theorem for hurwitz continued fractions.International Journal of Number Theory, 16(7):1433–1447, 2020.doi:10.1142/S1793042120500761

    work page doi:10.1142/s1793042120500761 2020

  11. [11]

    A complex Borel–Bernstein theorem.Bolet ´ın de la Sociedad Matem ´atica Mexicana, 28(1):Article 7, 2022.doi:10.1007/s40590-021-00399-z

    Gerardo Gonz ´alez Robert. A complex Borel–Bernstein theorem.Bolet ´ın de la Sociedad Matem ´atica Mexicana, 28(1):Article 7, 2022.doi:10.1007/s40590-021-00399-z

    work page doi:10.1007/s40590-021-00399-z 2022

  12. [12]

    I. J. Good. The fractional dimensional theory of continued fractions.Mathematical Proceedings of the Cambridge Philosophical Society, 37(3):199–228, 1941.doi:10.1017/S030500410002171X

    work page doi:10.1017/s030500410002171x 1941

  13. [13]

    K. E. Hirst. Continued fractions with sequences of partial quotients.Proceedings of the American Mathematical Society, 38(2):221–227, 1973.doi:10.1090/S0002-9939-1973-0311581-4

    work page doi:10.1090/s0002-9939-1973-0311581-4 1973

  14. [14]

    Continued fractions with sequences of partial quotients over the field of Laurent series

    Xue Hai Hu and Jun Wu. Continued fractions with sequences of partial quotients over the field of Laurent series. Acta Arithmetica, 136(3):201–211, 2009.doi:10.4064/aa136-3-1

    work page doi:10.4064/aa136-3-1 2009

  15. [15]

    ¨Uber die entwicklung complexer gr ¨ossen in kettenbr ¨uche.Acta Mathematica, 11:187–200, 1887

    Adolf Hurwitz. ¨Uber die entwicklung complexer gr ¨ossen in kettenbr ¨uche.Acta Mathematica, 11:187–200, 1887. doi:10.1007/BF02612324

    work page doi:10.1007/bf02612324

  16. [16]

    Zur metrischen theorie der diophantischen approximationen.Prace Matematyczno-Fizyczne, 36(1):91–106, 1928

    Vojt ˇech Jarn ´ık. Zur metrischen theorie der diophantischen approximationen.Prace Matematyczno-Fizyczne, 36(1):91–106, 1928. Issue year 1928–1929. URL:http://eudml.org/doc/215473

    1928

  17. [17]

    Kaneiwa, I

    R. Kaneiwa, I. Shiokawa, and J. Tamura. Some properties of complex continued fractions.Commentarii Mathematici Universitatis Sancti Pauli, 25(2):129–143, 1976.doi:10.14992/00010325

    work page doi:10.14992/00010325 1976

  18. [18]

    Euclidean algorithms are Gaussian over imaginary quadratic fields.Journal of the London Mathematical Society, 112(6):e70333, 2025.doi:10.1112/jlms.70333

    Dohyeong Kim, Jungwon Lee, and Seonhee Lim. Euclidean algorithms are Gaussian over imaginary quadratic fields.Journal of the London Mathematical Society, 112(6):e70333, 2025.doi:10.1112/jlms.70333

    work page doi:10.1112/jlms.70333 2025

  19. [19]

    Richard B. Lakein. Approximation properties of some complex continued fractions.Monatshefte f ¨ur Mathematik, 77:396–403, 1973.doi:10.1007/BF01295317

    work page doi:10.1007/bf01295317 1973

  20. [20]

    Cambridge University Press, Cambridge, 1995

    Pertti Mattila.Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995

    1995

  21. [21]

    On ergodic theory of a

    Hitoshi Nakada. On ergodic theory of a. schmidt’s complex continued fractions over gaussian field.Monatshefte f¨ur Mathematik, 105(2):131–150, 1988.doi:10.1007/BF01501166

    work page doi:10.1007/bf01501166 1988

  22. [22]

    A problem of Hirst for the Hurwitz continued fraction and the Hausdorff dimension of sets with restricted slowly growing digits.Indagationes Mathematicae, 2025

    Yuto Nakajima and Hiroki Takahasi. A problem of Hirst for the Hurwitz continued fraction and the Hausdorff dimension of sets with restricted slowly growing digits.Indagationes Mathematicae, 2025. Available online 29 September 2025.doi:10.1016/j.indag.2025.09.008

    work page doi:10.1016/j.indag.2025.09.008 2025

  23. [23]

    The Borel–Bernstein theorem for multidimensional continued fraction algorithms.Journal d’Analyse Math´ematique, 85:1–42, 2001.doi:10.1007/BF02788074

    Arnaldo Nogueira. The Borel–Bernstein theorem for multidimensional continued fraction algorithms.Journal d’Analyse Math´ematique, 85:1–42, 2001.doi:10.1007/BF02788074

    work page doi:10.1007/bf02788074 2001

  24. [24]

    Asmus L. Schmidt. Ergodic theory for complex continued fractions.Monatshefte f ¨ur Mathematik, 93:39–62, 1982

    1982

  25. [25]

    Oxford University Press, Oxford, 2000

    Fritz Schweiger.Multidimensional Continued Fractions. Oxford University Press, Oxford, 2000

    2000

  26. [26]

    Hausdorff dimension of sets with restricted slowly growing digits.Proceedings of the American Mathematical Society, 151(9):3645–3653, 2023.doi:10.1090/proc/15579

    Hiroki Takahasi. Hausdorff dimension of sets with restricted slowly growing digits.Proceedings of the American Mathematical Society, 151(9):3645–3653, 2023.doi:10.1090/proc/15579

    work page doi:10.1090/proc/15579 2023

  27. [27]

    A complex continued fraction transformation and its ergodic properties.Tokyo Journal of Mathematics, 8(1):191–214, 1985

    Shigeru Tanaka. A complex continued fraction transformation and its ergodic properties.Tokyo Journal of Mathematics, 8(1):191–214, 1985. Borel–Bernstein and Hirst-type Theorems28

    1985

  28. [28]

    Some dimension relations of the Hirst sets in regular and generalized continued fractions.Journal of Number Theory, 167:128–140, 2016.doi:10.1016/j.jnt.2016.03.017

    Liang Tang and Ting Zhong. Some dimension relations of the Hirst sets in regular and generalized continued fractions.Journal of Number Theory, 167:128–140, 2016.doi:10.1016/j.jnt.2016.03.017

    work page doi:10.1016/j.jnt.2016.03.017 2016

  29. [29]

    Hausdorff dimension of certain sets arising in continued fraction expansions.Advances in Mathematics, 218(5):1319–1339, 2008.doi:10.1016/j.aim.2008.03.006

    Bao-Wei Wang and Jun Wu. Hausdorff dimension of certain sets arising in continued fraction expansions.Advances in Mathematics, 218(5):1319–1339, 2008.doi:10.1016/j.aim.2008.03.006

    work page doi:10.1016/j.aim.2008.03.006 2008

  30. [30]

    A problem of Hirst on continued fractions with sequences of partial quotients.Bulletin of the London Mathematical Society, 40(1):18–22, 2008.doi:10.1112/blms/bdm103

    Bao-Wei Wang and Jun Wu. A problem of Hirst on continued fractions with sequences of partial quotients.Bulletin of the London Mathematical Society, 40(1):18–22, 2008.doi:10.1112/blms/bdm103. DEPARTMENT OFMATHEMATICALSCIENCES, SEOULNATIONALUNIVERSITY Email address:kangrae.park@snu.ac.kr

    work page doi:10.1112/blms/bdm103 2008