pith. sign in

arxiv: 2604.20113 · v1 · submitted 2026-04-22 · 🧮 math.DS · math.NT

Fractal transference principle for continued fractions of Laurent series

Yuto Nakajima This is my paper

Pith reviewed 2026-05-09 23:54 UTC · model grok-4.3

classification 🧮 math.DS math.NT
keywords continued fractionsLaurent seriesHausdorff dimensiontransference principlegrowth density exponentrelative upper densitypolynomials over finite fieldsdynamical systems
0
0 comments X

The pith

There exists a subset E of points with distinct continued fraction digits from S achieving Hausdorff dimension 1/(2α) while recovering the relative upper density of any positive-density subset U of S.

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

The paper proves a fractal transference principle linking combinatorial density in the integers to the geometry of continued fraction expansions in the field of Laurent series over a finite field. For an infinite set S of polynomials with growth density exponent α and a subset U of positive relative upper density, it constructs a set E of expansions using distinct digits from S that has Hausdorff dimension exactly 1 over 2α. The construction ensures that the digits appearing in these expansions reflect the density of U within S, and also preserves densities when looking at the degrees of the polynomials. This allows results from number theory about dense subsets to apply directly to fractal sets in this dynamical system setting.

Core claim

We establish that there exists a subset E_{S,U} of the set of points whose continued fraction digits are pairwise distinct and belong to S such that the Hausdorff dimension of E_{S,U} is 1/(2α). Moreover, the set of digits appearing in the continued fraction expansions of points in E_{S,U} recovers the relative upper density of U in S. The same construction preserves the relative upper density of the corresponding degree sets in the natural numbers, allowing combinatorial statements for subsets of positive upper density in N to be transferred to degree sets arising from continued fraction expansions of Laurent series on sets of optimal Hausdorff dimension.

What carries the argument

The fractal transference principle that maps density properties of subsets in the natural numbers to subsets of distinct-digit continued fraction expansions in Laurent series fields, yielding sets of precise Hausdorff dimension 1/(2α).

If this is right

  • Combinatorial statements about positive upper density subsets of natural numbers transfer to the degree sets of continued fraction digits.
  • The Hausdorff dimension of the constructed set E_{S,U} is exactly 1/(2α) where α is the growth density exponent of S.
  • The relative upper density of U in S is recovered by the digits used in the expansions of points in E_{S,U}.
  • The construction also preserves relative upper densities for the degree sets in the natural numbers.

Where Pith is reading between the lines

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

  • This suggests that similar transference techniques could connect density results in other arithmetic settings to fractal dimensions in function field dynamics.
  • The principle may imply that many known density theorems in integers have direct analogs in the continued fraction digit sequences over finite fields at optimal dimension.
  • Extensions could involve applying this to other metrics or to non-distinct digit cases in Laurent series.

Load-bearing premise

The growth density exponent α of S and the positive relative upper density of U in S are well-defined, allowing the construction to rely on the metric and algebraic properties of continued fractions with distinct polynomial digits.

What would settle it

Finding a specific S with known growth density exponent α and a U with positive relative upper density where no subset E of distinct S-digit continued fractions has Hausdorff dimension 1/(2α) or fails to recover the density of U would disprove the claim.

read the original abstract

We establish a fractal transference principle for continued fraction expansions over the field of Laurent series. Let $S$ be an infinite subset of the set of all polynomials over a finite field of $q$ elements of positive degree with growth density exponent $\alpha \ge 1$, and let $U \subset S$ be a subset of positive relative upper density. We prove that there exists a subset $E_{S,U}$ of the set of points whose continued fraction digits are pairwise distinct and belong to $S$ such that \[\dim_{\rm H} E_{S,U}=\frac{1}{2\alpha}.\] Moreover, the set of digits appearing in the continued fraction expansions of points in $E_{S,U}$ recovers the relative upper density of $U$ in $S$. We also show that the same construction preserves the relative upper density of the corresponding degree sets in $\mathbb N$. As a consequence, combinatorial statements for subsets of $\mathbb N$ of positive upper density can be transferred to degree sets arising from continued fraction expansions of Laurent series on sets of optimal Hausdorff dimension.

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 a fractal transference principle for continued fraction expansions in the field of Laurent series over a finite field F_q. For an infinite subset S of positive-degree polynomials with growth density exponent α ≥ 1 and a subset U ⊂ S of positive relative upper density, it constructs a set E_{S,U} consisting of points whose continued fraction digits are pairwise distinct and drawn from S, such that the Hausdorff dimension satisfies dim_H E_{S,U} = 1/(2α). The construction ensures that the digits appearing in the expansions of elements of E_{S,U} realize the relative upper density of U within S, while also preserving relative upper densities of the associated degree sets in N. This permits the transfer of combinatorial statements about subsets of N with positive upper density to the setting of continued fraction expansions over Laurent series.

Significance. If the result holds, the paper provides a precise mechanism for transferring combinatorial density theorems from the integers to the non-Archimedean setting of continued fractions in F_q((t^{-1})), achieving an explicit and optimal Hausdorff dimension of 1/(2α). The density-recovery property and the preservation of degree-set densities are notable strengths that could enable new applications in Diophantine approximation and fractal geometry over function fields. The approach relies on standard mass-distribution techniques adapted to the distinct-digit constraint, which aligns with existing non-Archimedean dimension theory.

minor comments (2)
  1. The abstract and introduction would benefit from an explicit statement of the underlying metric and valuation on F_q((t^{-1})) used to define the Hausdorff dimension, even if standard.
  2. Notation for the growth density exponent α and relative upper density should be introduced with a brief reminder of their definitions in the main text for readers unfamiliar with the combinatorial background.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. We appreciate the recognition of the transference principle's potential for transferring combinatorial density results to the non-Archimedean setting.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper presents an existence proof for a subset E_{S,U} achieving Hausdorff dimension exactly 1/(2α) while recovering relative upper densities, constructed via mass-distribution principles on the non-Archimedean space F_q((t^{-1})). The growth exponent α and density assumptions on S and U serve as external inputs to the construction rather than being redefined or fitted within the argument itself. No step reduces by the paper's equations to a self-referential definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The transference principle relies on standard techniques of dimension theory and continued-fraction combinatorics that remain independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the definitions of growth density exponent alpha for the set S of polynomials and relative upper density for U inside S, together with the algebraic and metric structure of continued fractions with distinct polynomial digits in the field of Laurent series over a finite field.

axioms (3)
  • domain assumption S is an infinite subset of positive-degree polynomials over F_q with a well-defined growth density exponent alpha >= 1
    Stated directly in the setup of the main theorem.
  • domain assumption U subset S has positive relative upper density
    Required for the existence of E_{S,U} and the density recovery statement.
  • domain assumption Continued fraction expansions with pairwise distinct digits from S are well-defined in the Laurent series field
    Implicit in the definition of the ambient space for E_{S,U}.

pith-pipeline@v0.9.0 · 5483 in / 1609 out tokens · 41771 ms · 2026-05-09T23:54:42.189385+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 · 30 canonical work pages

  1. [1]

    Artin, Quadratische K¨ orper im Gebiete der H¨ oheren Kongruenzen I–II,Math

    E. Artin, Quadratische K¨ orper im Gebiete der H¨ oheren Kongruenzen I–II,Math. Z.19 (1924), 153–246

    work page 1924

  2. [2]

    Bergelson, A

    V. Bergelson, A. Leibman, and R. McCutcheon, Polynomial Szemer´ edi theorems for count- able modules over integral domains and finite fields,J. Analyse Math.95(2005), no. 1, 243–296

    work page 2005

  3. [3]

    Berth´ e and H

    V. Berth´ e and H. Nakada, On continued fraction expansions in positive characteristic: equiv- alence relations and some metric properties,Expo. Math.18(2000), no. 4, 257–284

    work page 2000

  4. [4]

    Falconer,Techniques in Fractal Geometry, John Wiley & Sons, Ltd., Chichester, 1997

    K. Falconer,Techniques in Fractal Geometry, John Wiley & Sons, Ltd., Chichester, 1997

    work page 1997

  5. [5]

    Falconer,Fractal Geometry: Mathematical Foundations and Applications, 3rd ed., John Wiley & Sons, Ltd., Chichester, 2014

    K. Falconer,Fractal Geometry: Mathematical Foundations and Applications, 3rd ed., John Wiley & Sons, Ltd., Chichester, 2014

    work page 2014

  6. [6]

    Y. Feng, S. Shi, and Y. Zhang, Metrical properties for the weighted sums of degrees of multiple partial quotients in continued fractions of Laurent series,Finite Fields Appl.93 (2024), 102317

    work page 2024

  7. [7]

    Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemer´ edi on arithmetic progressions,J

    H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemer´ edi on arithmetic progressions,J. Analyse Math.31(1977), 204–256

    work page 1977

  8. [8]

    Furstenberg,Recurrence in Ergodic Theory and Combinatorial Number Theory, M

    H. Furstenberg,Recurrence in Ergodic Theory and Combinatorial Number Theory, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 1981

    work page 1981

  9. [9]

    Z. Guo, K. Ouyang, J. Qiu, and S. Zhang, Fractal transference principles for subsets ofN d of positive density,arXiv:2601.14418

    work page arXiv

  10. [10]

    I. J. Good, The fractional dimensional theory of continued fractions,Proc. Cambridge Philos. Soc.37(1941), 199–228

    work page 1941

  11. [11]

    Green and T

    B. Green and T. Tao, The primes contain arbitrarily long arithmetic progressions,Ann. of Math.167(2008), no. 2, 481–547

    work page 2008

  12. [12]

    Hu and X

    D. Hu and X. Hu, Arbitrarily long arithmetic progressions for continued fractions of Laurent series,Acta Math. Sci. Ser. B (Engl. Ed.)33(2013), no. 4, 943–949

    work page 2013

  13. [13]

    H. Hu, M. Hussain, and Y. Yu, Metrical properties for continued fractions of formal Laurent series,Finite Fields Appl.73 (2021), 101850

    work page 2021

  14. [14]

    Hussain and N

    M. Hussain and N. Shulga, Hausdorff dimension for sets of continued fractions of formal Laurent series,Finite Fields Appl.95 (2024), 102377

    work page 2024

  15. [15]

    Hu and J

    X. Hu and J. Wu, Continued fractions with sequences of partial quotients over the field of Laurent series,Acta Arith.136(2009), no. 3, 201–211

    work page 2009

  16. [16]

    X. Hu, B. Wang, J. Wu, and Y. Yu, Cantor sets determined by partial quotients of continued fractions of Laurent series,Finite Fields Appl.14(2008), 417–437

    work page 2008

  17. [17]

    Lˆ e, Green–Tao theorem in function fields,Acta Arith.147(2011), no

    T. Lˆ e, Green–Tao theorem in function fields,Acta Arith.147(2011), no. 2, 129–152

    work page 2011

  18. [18]

    Lidl and H

    R. Lidl and H. Niederreiter, Finite Fields, 2nd ed., Encyclopedia of Mathematics and its Applications, Vol. 20, Cambridge University Press, Cambridge, 1997. FRACTAL TRANSFERENCE PRINCIPLE FOR LAURENT SERIES 19

    work page 1997

  19. [19]

    Nakajima and H

    Y. Nakajima and H. Takahasi, Density combinatorics theorems in fractal dimension theory of continued fractions,Adv. Math.482(2025), 110635

    work page 2025

  20. [20]

    Nakajima and H

    Y. Nakajima and H. Takahasi, Multidimensional fractal transference principle for conformal iterated function systems, in preparation

    work page

  21. [21]

    Nakajima, H

    Y. Nakajima, H. Takahasi, and B. Wang, Hausdorff dimension of sets of numbers whose continued fractions contain arbitrarily long arithmetic progressions,arXiv:2601.12737

    work page arXiv

  22. [22]

    Niederreiter, The probabilistic theory of linear complexity, inAdvances in Cryptology— EUROCRYPT’88, Lecture Notes in Comput

    H. Niederreiter, The probabilistic theory of linear complexity, inAdvances in Cryptology— EUROCRYPT’88, Lecture Notes in Comput. Sci., Vol. 330, Springer, New York, 1988, pp. 191–209

    work page 1988

  23. [23]

    Ramharter, Eine Bemerkung ¨ uber gewisse Nullmengen von Kettenbr¨ uchen,Ann

    G. Ramharter, Eine Bemerkung ¨ uber gewisse Nullmengen von Kettenbr¨ uchen,Ann. Univ. Sci. Budapest. E¨ otv¨ os Sect. Math.28(1985), 11–15

    work page 1985

  24. [24]

    Szemer´ edi, On sets of integers containing nokelements in arithmetic progression,Acta Arith.27(1975), 199–245

    E. Szemer´ edi, On sets of integers containing nokelements in arithmetic progression,Acta Arith.27(1975), 199–245

    work page 1975

  25. [25]

    Tong and B

    X. Tong and B. Wang, How many points contain arithmetic progressions in their continued fraction expansion?Acta Arith.139(2009), no. 4, 369–376

    work page 2009

  26. [26]

    Weingartner, On the degrees of polynomial divisors over finite fields,Math

    A. Weingartner, On the degrees of polynomial divisors over finite fields,Math. Proc. Cam- bridge Philos. Soc.161(2016), no. 3, 469–487

    work page 2016

  27. [27]

    B. L. van der Waerden, Beweis einer Baudetschen Vermutung,Nieuw Arch. Wiskd.15 (1927), 212–216

    work page 1927

  28. [28]

    Wu, On the sum of degrees of digits occurring in continued fraction expansions of Laurent series,Math

    J. Wu, On the sum of degrees of digits occurring in continued fraction expansions of Laurent series,Math. Proc. Cambridge Philos. Soc.138(2005), 9–20

    work page 2005

  29. [29]

    Wu, Hausdorff dimensions of bounded type continued fraction sets of Laurent series, Finite Fields Appl.13(2007), 20–30

    J. Wu, Hausdorff dimensions of bounded type continued fraction sets of Laurent series, Finite Fields Appl.13(2007), 20–30

    work page 2007

  30. [30]

    Zhang and C

    Z. Zhang and C. Cao, On points with positive density of the digit sequence in infinite iterated function systems,J. Aust. Math. Soc.102(2017), no. 3, 435–443. F aculty of Science and Engineering, Doshisha University, Kyoto, 610-0394, JAPAN Email address:yunakaji@mail.doshisha.ac.jp

    work page 2017