Pith. sign in

REVIEW 5 minor 30 references

Coefficients of $q$-real numbers: their combinatorial meaning and growth

T0 review · 0 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The q-golden ratio is the sharp coefficient ceiling for all q-reals.

desk verdict Full proof of the radius-of-convergence conjecture for q-real numbers, with a surprisingly clean combinatorial core; the coefficientwise majorization by the golden series is the real result. read the letter →

arxiv 2608.06761 v1 pith:VPP67HIG submitted 2026-08-07 math.CO math.QA

Pavel Etingof , Valentin Ovsienko This is my paper · ORCID
classification math.COmath.QA MSC 05A1511A5505C05
keywords q-deformedrealnumbersq-goldenratioradiusofconvergencenegativecontinuedfractionsrootedtreescoefficientwisedominationHurwitztheoremFibonacci
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a coefficientwise extremality statement for q-deformed real numbers: for every real $x$ between $1$ and $2$, the absolute value of each coefficient of the formal series $[x]_q$ is no larger than the corresponding coefficient of the q-deformed golden ratio $[\varphi]_q$. From this domination it follows, via the Cauchy–Hadamard formula and integer translation, that every q-real $x>0$ has radius of convergence at least $(3-\sqrt{5})/2$, the radius of the golden series. This settles a conjecture understood as a q-analogue of Hurwitz’s theorem: the golden ratio is the extremal case for convergence. The proof encodes each coefficient as a signed count of ordered rooted trees and embeds all such tree families into one universal positive tree class attached to the golden ratio. If the result is right, the golden series is a sharp universal majorant that controls growth, convergence, and normal families of every normalized q-real.

What carries the argument

The central machine is a signed golden model: for the tail series $W_x=([x]_q-1)/q^2$, a graded signed set of ordered rooted trees together with a degree-preserving injection into the universal class $D$ of ordered rooted trees generated by the three constructors $P_1$, $P_2$, and $Q$, with $D=E\sqcup P_1(D)\sqcup P_2(D)\sqcup Q(D,D)$ and generating series $D=1+qD+q^2D+q^3D^2$. Each continued-fraction digit $a$ acts by the tail operation $R_a$, whose recursive equation $R_a(W)=([a-2]_q+q^{a-1}W)/([a-1]_q+q^aW)$ is converted into four signed tree constructors. The induction units are blocks $2^{(k)}n$ with $n>2$, and the right-spine decomposition in symbols $u$, $v$, $b(T)$ makes the injection injective, allowing the golden class to absorb every signed class degree by degree. Since $D(q)=W_\varphi(-q)$, the number of trees of degree $N-2$ equals $|[q^N][\varphi]_q|$, which is exactly the claimed bound.

What would settle it

Fix $N=10$, where the golden coefficient is $|[q^{10}][\varphi]_q|=185$; since every coefficient function is constant on intervals with only finitely many jumps, a finite computation of $\kappa_{10}(p/q)$ for all rationals $p/q\in(1,2)$ up to a computable denominator bound would expose any violation of $|\kappa_{10}(x)|\le 185$ and thereby refute the coefficientwise domination.

Watch

Extended reading notes

Core claim

On the paper’s own terms, the central discovery is Theorem 1.2: for every real $x$ with $1<x<2$ and every $N\ge 2$, one has $|[q^N][x]_q|\le |[q^N][\varphi]_q|$. Since $[\varphi]_q$ has radius $R_\varphi=(3-\sqrt{5})/2$, Theorem 1.1 follows: every $[x]_q$ with $x>0$ converges in the disk $|q|<R_\varphi$. The proof is combinatorial: each coefficient $[q^N][x]_q$ is written as a signed sum over finitely many ordered rooted trees of degree $N-2$, with signs $\varepsilon_{x,N}(T)\in\{0,\pm 1\}$, and the trees arising from any continued-fraction tail are injected into the universal golden tree class $D$. The q-golden ratio is therefore the coefficientwise majorant, and the Fibonacci convergents realize the extremal coefficients degree by degree.

Load-bearing premise

The proof depends on the stabilization fact that the finite continued-fraction approximations of any irrational number settle down coefficient by coefficient into one well-defined series; if that stabilization ever failed, there would be no $[x]_q$ to compare with the golden ratio.

Editorial extensions

If this is right

  • Every q-real $x>0$ has radius of convergence at least $(3-\sqrt{5})/2$, unifying the previously known rational and quadratic-irrational cases into one coefficientwise statement.
  • For $x\in(1,2)$, the normalized q-reals form a normal family on the disk $|q|<R_\varphi$: continued-fraction convergents $[x_j]_q$ converge to $[x]_q$ uniformly on closed subdisks.
  • The bound is sharp: for each $N$, the maximum of $|\kappa_N(x)|$ over $(1,2)$ equals $|[q^N][\varphi]_q|$, and it is attained at the Fibonacci quotients $r_m=F_{2m+2}/F_{2m+1}$ whenever $N\le 2m+1$.
  • Each coefficient function $\kappa_N(x)$ on $(1,2)$ is a step function with finitely many breakpoints, right-continuous at rational points, so only finitely many rational cylinder patterns determine any fixed coefficient.
  • The compact order closure of $(1,2)$ embeds continuously and injectively into the space of holomorphic functions whose coefficients are bounded by the golden coefficients, giving a topological model for all normalized q-reals.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: the right-spine parser gives a direct algorithm to compute $\kappa_N(x)$ from finitely many continued-fraction digits, so one could reasonably expect a polynomial-in-$N$ procedure for individual coefficients; the paper does not discuss computational complexity.
  • The same signed-tree architecture should extend to other extremal quadratic irrationals, where the universal tree class would be generated by the algebraic equation of the relevant metallic number; the authors note metallic numbers only in passing.
  • The step-function structure and Fibonacci maximizers suggest a finite certificate for each $N$: checking all rationals in $(1,2)$ with denominator up to a computable bound would verify the domination degree by degree, turning the infinite inequality into a finite combinatorial identity.
  • One might connect the signed tree models to the probabilistic interpretation of q-reals proposed elsewhere, treating the universal golden class as a limiting object under which all other tree ensembles are deterministically dominated.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves two theorems about q-deformed real numbers. Theorem 1.2 states that for every real x with 1<x<2 and every N≥2, the absolute value of the Nth coefficient of [x]_q is bounded above by the corresponding coefficient of the q-deformed golden ratio [φ]_q. Theorem 1.1, which follows from Theorem 1.2 via Cauchy–Hadamard, asserts that for every x>0 the radius of convergence of [x]_q is at least (3−√5)/2. The proof assigns to each q-real a signed family of rooted trees (a 'signed golden model') and constructs degree-preserving injections of these signed families into a universal positive tree class D associated with the golden ratio. The paper also studies the coefficient functions κ_N(x), proves they are step functions, identifies Fibonacci convergents as coefficientwise maximizers, and includes an empirical appendix on pole moduli for rational x.

Significance. The result resolves a conjecture proposed in [15] and gives a q-analogue of Hurwitz's theorem. The coefficientwise majorization is substantially stronger than the radius statement. The combinatorial tree model is new and the proof is explicit: the generating-function identities (20)–(21) and (25)–(27) are correct, the right-spine parsing (Lemma 4.1) gives a clean injectivity argument, and the degree-by-degree passage to the limit (Lemmas 4.7–4.8) is carefully handled. The paper is self-contained modulo the stabilization theorem of [19], which is explicitly cited. The results are likely to be useful for further work on q-deformed numbers and Diophantine approximation.

minor comments (5)
  1. [Section 1 (Theorem 1.1) and throughout] The expression '3−√5/2' should be written as '(3−√5)/2' or '\frac{3-\sqrt5}{2}' to avoid the misreading 3 − (√5)/2.
  2. [Section 2.2] Since the entire proof relies on the stabilization theorem from [19], a precise statement of that theorem (or a pointer to a stated theorem in [19]) would improve self-containedness; the current citation is sufficient but terse.
  3. [Section 5.1] The notation '√2 = [[2,2,4]]' is confusing because it is not a finite negative continued fraction; it should be written with an overline or explicitly explained as a periodic expansion.
  4. [Appendix] The phrase '76 ,115 reduced rationals' contains an awkward space; it should be written as '76,115'.
  5. [Section 4.2, Alternative proof] In the discussion of case (i) of injectivity, the phrase 'the two possible final lengths are congruent to 0 and m modulo m+1' is slightly imprecise because the final length can be zero (the empty string); this is clear from context but could be stated more explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the coefficientwise extremality is proved by explicit tree injections; the only external input is the cited stabilization theorem for q-irrationals.

full rationale

I traced the derivation chain from the definition of q-reals through the tree model to Theorems 1.2 and 1.1. The comparison series D is not fitted to the target inequality: it is defined by D(q)=([φ]_{-q}-1)/q^2 in (13), and the recurrence D=1+qD+q^2D+q^3D^2 in Proposition 3.1 is derived from the continued fraction of φ, not from the desired domination. Definition 3.8 only records a sufficient condition: a signed injection into the fixed tree class D yields coefficientwise domination. The actual work is in Lemmas 4.2, 4.5, and 4.8, which construct such injections explicitly from the negative continued-fraction digits, with injectivity checked by the unique right-spine parsing of Lemma 4.1. The passage from finite truncations to infinite continued fractions uses Lemma 4.7, which is a direct algebraic consequence of the tail formula (15), not of the theorem being proved. The only genuinely external input is the stabilization theorem of [19] quoted in Section 2.2, which defines [x]_q for irrational x as the coefficientwise limit of finite truncations; that is a prior, independent result and is not the target of the paper. The radius bound R_φ from [15] is used only as the known value for the golden ratio after Theorem 1.2 supplies the general inequality. No step reduces a prediction to a fitted parameter, and no central premise depends on an unverified self-citation. I therefore find no circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The proof introduces no fitted constants and no new physical or mathematical entities. It depends on the previously established definition of q-reals via stabilization and on standard continued-fraction and formal power series facts, all cited and independent of the target theorem. This keeps the circularity burden low.

assumptions (3)
  • domain assumption Stabilization theorem for q-irrationals [19]
    Defines [x]_q for irrational x as the coefficientwise limit of finite negative continued-fraction truncations. Invoked in Section 2.2 before equation (7) and used throughout the proof, in particular in Lemma 4.7.
  • standard math Negative (Hirzebruch) continued fractions exist and are unique for real numbers
    Used to write x = a1 - 1/(a2 - ...) and to group digits into blocks 2^(k)n via the Hirzebruch conversion formula (8), which is essential for the block induction in Section 4.
  • domain assumption Uniqueness of q-rationals from recurrences (2) and one value [0]_q = 0
    Cited from [14] and used to justify that the explicit continued-fraction formula (6) defines [x]_q for rationals, providing the base for the stabilization argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coefficients of $q$-real numbers: their combinatorial meaning and growth." pith.science (2026). https://pith.science/paper/VPP67HIG

@misc{pith2026260806761,
  author       = {Pith},
  title        = {Pith review of: Coefficients of $q$-real numbers: their combinatorial meaning and growth},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VPP67HIG}},
  note         = {Machine review of arXiv:2608.06761}
}
abstract

A $q$-deformed real number, or ``$q$-real'', was defined by Morier-Genoud and the second author. When $x\in\mathbb{R}$ such that $x\geq0$, the $q$-analogue $[x]_q$ is a power series with integer coefficients in one formal variable~$q$. In general a $q$-real is a formal Laurent series. The main goal of this paper is to study the coefficients of $q$-reals as functions on~$\mathbb{R}$ and give a combinatorial interpretation of these coefficients. This allows us to prove a conjecture studied by several authors stating that the $q$-deformed golden ratio has the smallest radius of convergence among the radii of the $q$-reals associated with positive real numbers. This is a $q$-analogue of the classical Hurwitz theorem. Our approach is combinatorial. We prove that for every real number $x$ in the interval $(1,2)$ the absolute value of each coefficient of the power series representing the $q$-real $[x]_q$ is dominated by the absolute value of the corresponding coefficient of the $q$-deformed golden ratio. The main notion is a certain collection of ordered rooted trees associated with a $q$-real. We prove that the golden ratio corresponds to a universal class of trees.

Figures

Figures reproduced from arXiv: 2608.06761 by the authors.

Figure 1
Figure 1. The three constructors of the golden class D [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. The four trees of D3 = {T ∈ D : deg T = 3}. (e) The eight trees of D4 are depicted in [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. The eight trees of D4 = {T ∈ D : deg T = 4}. The following statement is straightforward. Proposition 3.4. The coefficient [q N ]D(q) of the series D(q) counts the number of trees of degree N, that is the number of elements in DN . Proof. The constructors, P1, P2, and Q, correspond to the three terms, qD, q2D, and q 3D2 in the right-hand side of (14). □ [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figures from the paper (10 more)
Figure 4
Figure 4. Figure 4: The four signed constructors associated with one continued-fraction digit a. The number beside an edge or a branching vertex is its degree cost. At this point the trees retain their constructor labels and signs. In particular, two identical unweighted shapes may still …
Figure 5
Figure 5. Figure 5: The first cancellations for the digit a = 4. The number inside a terminal vertex is its intrinsic degree; edge labels are unary degree costs. Using W = 1 − q + 2q 2 − 4q 3 + · · · in (17) gives H = 1 − q 2 + 2q 3 − 3q 4 + 4q 5 − 6q 6 + · · · , [PITH_FULL_IMAGE:figures…
Figure 6
Figure 6. Figure 6: The signed constructors for S. The signs are the signs of the corre￾sponding terms in (29). 5.3. An explicit signed degree-preserving injection into D. Let us describe the injection of the family S into the golden family D Isil : S ,→ D. Recall that we use the right-sp…
Figure 7
Figure 7. Figure 7: provides simple examples of the defined injection. e 1 P1(E) U2(e) 2 1 P2(P1(E)) U1(e) 1 1 1 P1(P1(P1(E))) B(e, e) 1 1 1 Q [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]
Figure 8
Figure 8. Figure 8: The coefficient function x 7→ κ3(x) on (1, 2). Lemma 4.7 shows that only finitely many initial continued-fraction patterns of x affect κN (x), and it is also clear that sufficiently large continued-fraction digits are indistinguishable modulo a fixed power of q. Furthe…
Figure 9
Figure 9. Figure 9: The coefficient function x 7→ κ4(x) on (1, 2). 1 1.2 1.4 1.6 1.8 2 −4 −3 −2 −1 0 1 2 x κ5(x) [PITH_FULL_IMAGE:figures/full_fig_p024_9.png]
Figure 10
Figure 10. Figure 10: The coefficient function x 7→ κ5(x) on (1, 2). Proof. The statement means that for every rational r ∈ (1, 2) and every fixed N, there exists ε > 0 such that κN (x) = κN (r) for r ≤ x < r + ε. This follows directly from (7). More explicitly, one can use the infinite ne…
Figure 11
Figure 11. Figure 11: The coefficient function x 7→ κ6(x) on (1, 2). 1 1.2 1.4 1.6 1.8 2 −15 −10 −5 0 5 x κ7(x) [PITH_FULL_IMAGE:figures/full_fig_p025_11.png]
Figure 12
Figure 12. Figure 12: The coefficient function x 7→ κ7(x) on (1, 2). where rm = F2m+2 F2m+1 =    FN+2 FN+1 , N even, FN+1 FN , N odd. Proof. Theorem 1.2 gives |κN (x)| ≤ |κN (φ)|, 1 < x < 2. It therefore suffices to show that the rational number rm has the same Nth coefficient as φ …
Figure 13
Figure 13. Figure 13: Empirical distribution of the minimal pole modulus for reduced rationals x ∈ (1, 2) of denominator at most 500, with each rational counted once [PITH_FULL_IMAGE:figures/full_fig_p026_13.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 23 canonical work pages

  1. [15]

    Leclere, S

    L. Leclere, S. Morier-Genoud, V. Ovsienko, and A. Veselov,On radius of convergence of q-deformed real numbers, Moscow Math. J.24(2024), no. 1, 1–19

    work page 2024

  2. [19]

    Morier-Genoud and V

    S. Morier-Genoud and V. Ovsienko,On q-deformed real numbers, Experimental Mathematics31(2022), no. 2, 652–660, doi: 10.1080/10586458.2019.1671922

    arXiv 2022

  3. [1]

    Aval and S

    J. Aval and S. Labb´ e,q-analogs of rational numbers: from Ostrowski numeration systems to perfect matchings, arXiv:2511.11290

    arXiv

  4. [2]

    Bapat, L

    A. Bapat, L. Becker, and A. Licata, q-deformed rational numbers and the 2-Calabi–Yau category of type A2, Forum Math. Sigma11(2023), Paper No. e47, doi: 10.1017/fms.2023.32

    doi:10.1017/fms.2023.32 2023

  5. [3]

    Cayley,On the theory of the analytical forms called trees, Phil

    A. Cayley,On the theory of the analytical forms called trees, Phil. Mag.13(1857), 172–176

    work page

  6. [4]

    J. W. S. Cassels,An introduction to Diophantine approximation, Cambridge Tracts in Mathematics and Mathematical Physics, No. 45, Cambridge University Press, Cambridge, 1957

    work page 1957

  7. [5]

    Deutsch and L

    E. Deutsch and L. Shapiro,A bijection between ordered trees and2-Motzkin paths and its many consequences, Discrete Math.256(2002), 655–670

    work page 2002

  8. [6]

    Elzenaar, J

    A. Elzenaar, J. Gong, G.J. Martin, and J. Schillewaert,Bounding deformation spaces of Kleinian groups with two generators, Annales de l’Institut Fourier, in press, arXiv:2405.15970

    arXiv

Show all 30 references
  1. [7]

    Etingof,Onq-real andq-complex numbers, arXiv:2508.08440

    P. Etingof,Onq-real andq-complex numbers, arXiv:2508.08440

    arXiv

  2. [8]

    Evans, A

    S. Evans, A. Veselov, and B. Winn,Quantum Kronecker fractions, Journal of Experimental Mathematics2 (2026), no. 1, 63–80, doi: 10.56994/JXM.002.001.003

    2026 doi

  3. [9]

    Flajolet, R

    P. Flajolet, R. Sedgewick, Analytic combinatorics. Cambridge University Press, Cambridge, 2009

    2009

  4. [10]

    Euler,De evolutione potestatis polynomialis cuiuscunque(1 + x + x2 + x3 + x4 + etc.)n, Nova Acta Academiae Scientiarum Imperialis Petropolitanae,12(1801), 47–57

    L. Euler,De evolutione potestatis polynomialis cuiuscunque(1 + x + x2 + x3 + x4 + etc.)n, Nova Acta Academiae Scientiarum Imperialis Petropolitanae,12(1801), 47–57

  5. [11]

    C. F. Gauss,Summatio quarumdam serierum singularium, Commentationes Societatis Regiae Scientiarum Gottingensis Recentiores,1(1811), 1–40

  6. [12]

    Han and E

    G.-N. Han and E. Pedon,Hankel continued fractions and Hankel determinants for q-deformed metallic numbers, arXiv:2502.05993

  7. [13]

    Hirzebruch,Hilbert modular surfaces, Enseign

    F.E.P. Hirzebruch,Hilbert modular surfaces, Enseign. Math. (2)19(1973), 183–281

    1973

  8. [14]

    Leclere and S

    L. Leclere and S. Morier-Genoud, q-deformations in the modular group and of the real quadratic irrational numbers, Adv. in Appl. Math.130(2021), Paper No. 102223, 28 pp

    2021

  9. [16]

    McConville, J

    T. McConville, J. Propp, and B. Sagan,Hyperbinary partitions and q-deformed rationals, Forum Math. Sigma 14(2026), Paper No. e30, 25 pp

    2026

  10. [17]

    Morier-Genoud and V

    S. Morier-Genoud and V. Ovsienko,Farey boat: continued fractions and triangulations, modular group and polygon dissections,Jahresber. Dtsch. Math.-Ver.121(2019), no. 2, 91–136

    2019

  11. [18]

    Morier-Genoud and V

    S. Morier-Genoud and V. Ovsienko, q-deformed rationals and q-continued fractions, Forum Math. Sigma8 (2020), e13

    2020

  12. [20]

    Morier-Genoud and V

    S. Morier-Genoud and V. Ovsienko,q-deformed rationals and irrationals, arXiv:2503.23834

    arXiv

  13. [21]

    Morier-Genoud, V

    S. Morier-Genoud, V. Ovsienko, and A. Veselov,Burau representation of braid groups and q-rationals, Int. Math. Res. Not. IMRN 2024, no. 10, 8618–8627. 28 PA VEL ETINGOF AND V ALENTIN OVSIENKO

    2024

  14. [22]

    OEIS Foundation Inc.,The On-Line Encyclopedia of Integer Sequences, Entry A004148, https://oeis.org/ A004148

  15. [23]

    OEIS Foundation Inc.,The On-Line Encyclopedia of Integer Sequences, Entry A337589, https://oeis.org/ A337589

  16. [24]

    Ovenhouse,q-rationals and Finite Schubert Varieties, C

    N. Ovenhouse,q-rationals and Finite Schubert Varieties, C. R. Math. Acad. Sci. Paris361(2023), 807–818

    2023

  17. [25]

    Ovsienko and E

    V. Ovsienko and E. Pedon,Continued fractions for q-deformed real numbers, {−1, 0, 1}-Hankel determinants, and Somos-Gale-Robinson sequences, Adv. in Appl. Math.162(2025), Paper No. 102788, 37 pp

    2025

  18. [26]

    Pedon,Analytical properties ofq-metallic numbers, arXiv:2604.19898

    E. Pedon,Analytical properties ofq-metallic numbers, arXiv:2604.19898

    arXiv

  19. [27]

    Propp,Dimers, filters, and q-deformed real numbers, arXiv:2607.14332

    J. Propp,Dimers, filters, and q-deformed real numbers, arXiv:2607.14332

    arXiv

  20. [28]

    Ren,On radiuses of convergence of q-metallic numbers and related q-rational numbers, Res

    X. Ren,On radiuses of convergence of q-metallic numbers and related q-rational numbers, Res. Number Theory 8(2022), Article 37, 14 pp., doi: 10.1007/s40993-022-00336-7

    2022 doi

  21. [29]

    Ren,Corrigendum to: On radiuses of convergence of q-metallic numbers and related q-rational numbers, Res

    X. Ren,Corrigendum to: On radiuses of convergence of q-metallic numbers and related q-rational numbers, Res. Number Theory9(2023), Article 39, 4 pp., doi: 10.1007/s40993-023-00448-8

    2023 doi

  22. [30]

    P. R. Stein and M. S. Waterman,On some new sequences generalizing the Catalan and Motzkin numbers, Discrete Math.26(1979), 261–272. Pavel Etingof, Department of Mathematics, MIT, Cambridge, MA 02139, USA Email address:etingof@math.mit.edu V alentin Ovsienko, Centre National de...

    1979

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.