Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Kitaoka's Conjecture for quadratic fields

T0 review · 3 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read The paper proves that at most 13 real quadratic fields admit a universal ternary quadratic lattice.

desk verdict Effective resolution of Kitaoka's conjecture for quadratic fields with a reproducible-computations caveat: theoretical core is strong, but the 13-field list depends on unshipped Magma output. read the letter →

arxiv 2501.19371 v1 pith:55BRZ5O5 submitted 2025-01-31 math.NT

Vitezslav Kala , Jakub Krásenský , Dayoon Park , Pavlo Yatsyna , B{l}ażej Żmija This is my paper · ORCID
classification math.NT MSC 11E1211E2011E2511R0411R1111R80
keywords universalquadraticformlatticeternaryrealfieldKitaoka'sconjectureleastnon-residuediscriminantbound
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

Kitaoka's conjecture predicts that only finitely many totally real number fields can have a universal ternary quadratic lattice, one that represents every totally positive algebraic integer. This paper proves the conjecture for real quadratic fields in explicit form: if $Q(\sqrt{D})$ carries a universal ternary lattice, then $D$ must be one of thirteen numbers, namely $2, 3, 5, 6, 7, 10, 13, 17, 21, 33, 41, 65,$ and $77$. For each of these thirteen fields the paper produces a candidate universal ternary lattice, and for five of them—$D = 2, 3, 5, 13, 17$—universality is actually established. As a by-product, the paper gives explicit upper bounds on the discriminant of any real quadratic field whose classical lattice of rank at most $7$ represents all totally positive multiples of a fixed integer $m$. The result turns a qualitative finiteness statement into a finite, checkable list.

What carries the argument

The engine of the proof is a rank-growth machine built from vectors of prescribed values. Starting from linearly independent vectors $v_1, v_2$ representing $m$ and $2m$, Lemma 4.4 shows that one can choose a small prime $p \le 2m^2$ and an integer $2 \le C_1 \le \gamma_p$ (the least quadratic non-residue modulo $p$) such that no vector representing $C_1 m$ can lie in the subspace spanned by $v_1, v_2$; a vector $v_3$ representing $C_1 m$ is therefore automatically independent. Iterating this 'independence by multiplier' argument with further multipliers $C_2, D_1, D_2$ produces vectors $v_0, v_1, \dots, v_7$ whose Gram matrix is forced to be positive definite, which in turn forces the lattice rank to exceed any given bound. The discriminant bounds of Theorem 1.2 are obtained by combining these rank-forcing constraints with Hadamard's inequality on the determinants of Gram matrices, while the final exclusion of all but thirteen discriminants is a finite computer search over the finitely many ternary lattices that could represent a small explicit set of totally positive elements.

What would settle it

Re-run the exhaustive computer search for any $D$ outside the thirteen values, e.g. $D=14$, checking whether any ternary lattice represents the set $\{1,2,\alpha_1,\alpha_2\}$ defined in Proposition 7.4; the discovery of such a lattice would disprove Theorem 1.1. Independently, finding a totally positive element of $Q(\sqrt{13})$ not represented by the candidate form $\phi_{24}^{(13)}$ would refute the claimed universality of Theorem 7.8.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central discovery is Theorem 1.1: if a real quadratic field $Q(\sqrt{D})$ admits a universal ternary quadratic lattice, then $D$ belongs to the finite set $\{2,3,5,6,7,10,13,17,21,33,41,65,77\}$. This is a strong version of Kitaoka's conjecture because it gives the complete list of possible discriminants rather than merely a finiteness assertion. The proof rests on Theorem 1.2, which bounds the discriminant of any classical totally positive definite lattice of rank at most $7$ over $Q(\sqrt{D})$ that represents every element of $mO_F^+$ by explicit functions of $m$ and the rank; for $m=2$ and rank $3$ this gives $\Delta_D < 10000$. The list is then completed by a finite computation that excludes all remaining discriminants, and by the exhibit of candidate lattices for the thirteen survivors. The authors further prove that $Q(\sqrt{10})$ and $Q(\sqrt{65})$ admit no free universal ternary lattice, so only eleven of the thirteen fields can support a universal ternary quadratic form, and they list the conjecturally complete set of universal ternary lattices for the ten fields with $D>5$, proving universality for the fourteen lattices with class number one.

Load-bearing premise

The load-bearing premise is that the finite computer search—described in the paper but not shipped as code—correctly proves, for every excluded discriminant below the explicit bound, that no ternary lattice can represent the specified finite set of totally positive elements.

Editorial extensions

If this is right

  • Kitaoka's conjecture is resolved for real quadratic fields with an explicit list of thirteen possible discriminants, replacing a qualitative finiteness result with a finite set that can be checked directly.
  • Universal ternary lattices provably exist over $Q(\sqrt{2}), Q(\sqrt{3}), Q(\sqrt{5}), Q(\sqrt{13})$, and $Q(\sqrt{17})$, so the minimal rank of a universal lattice is 3 for these fields.
  • The minimal rank of a classical universal form over $Q(\sqrt{13})$ is 4, and of a diagonal universal form is at least 5, showing that these invariants genuinely differ.
  • For $m=2$ and rank 3, the discriminant bound $\Delta_D < 10000$ is sharp enough to make the full classification of ternary lattices representing $2O_F^+$ computationally feasible.

Reading between the lines

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

  • The rank-growth lemmas use only the quadratic nature of the field, so analogous explicit discriminant bounds should hold for totally real fields of fixed higher degree, with the unit group arithmetic entering only through the final finite check.
  • The list of thirteen discriminants is likely the complete truth: if Conjecture 7.2 is proven, then every real quadratic field admitting a universal ternary lattice has D among these values, and the only remaining work is to verify universality of the listed candidate lattices.
  • The non-free lattices over $Q(\sqrt{10})$ and $Q(\sqrt{65})$ suggest that a nontrivial class group does not obstruct universal ternary lattices, although it does obstruct free ones; testing other small discriminants with nontrivial class groups could reveal further examples.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves that there are at most thirteen real quadratic fields admitting a ternary universal quadratic lattice, namely D = 2, 3, 5, 6, 7, 10, 13, 17, 21, 33, 41, 65, 77 (Theorem 1.1 / Theorem 7.1). The proof combines a general analytic and local argument bounding the discriminant of a real quadratic field that admits a classical lattice representing all totally positive multiples of a fixed integer m (Theorems 1.2 and 3.1, with ranks 3 through 7 treated in Sections 4–6) with a finite computer search over all remaining small discriminants (Propositions 7.4 and 7.5). The paper also gives a conjectural complete list of universal ternary lattices over the ten non-classical fields (Theorem 7.6), proves universality for several of them via class number 1 and local-global arguments (Theorem 7.8), and discusses separations among minimal ranks of universal forms with various restrictions (Remarks 7.9 and 7.10).

Significance. If the finite computer checks are correct, this is a complete and explicit solution of Kitaoka's Conjecture for real quadratic fields, a substantial advance over the earlier finiteness result of Kim–Kim–Park. The theoretical discriminant bounds for lattices representing m-times the totally positive elements are new and carefully derived, use explicit constants from Burgess, Treviño, and GRH results, and are not fitted to the final list. The paper also gives concrete candidate lattices, proves universality of several of them by class-number-one local-global arguments, and resolves several informal conjectures about differences between classical, non-classical, diagonal, and free universal forms. The main weakness is that the decisive exclusion of about ten thousand discriminants rests on Magma computations that are described only verbally, with no code, input data, or output data included; this part is not independently verifiable as submitted.

major comments (3)
  1. [Section 7, Propositions 7.4 and 7.5] The complete list in Theorem 1.1 depends crucially on the finite exclusions in Propositions 7.4 and 7.5. The proofs say only that 'one can check' and 'we checked this by running a simple program in Magma', while the code is 'available upon request' (page 21). No algorithm, source code, output data, or certificates are provided. Since a bug in the enumeration of positive semidefinite matrices in M4(1/2O_F)—for example in the bound on off-diagonal entries, the treatment of non-free lattices, or the special-case branching for the listed exceptional discriminants—would change the final list, the central claim is not reproducible in its current form. Please supply the Magma code, a precise description of the finite enumeration and its bounds, and the output data (or verifiable certificates) for all excluded D, preferably as ancillary files.
  2. [Section 7, Theorem 7.6 and Theorem 7.8] The classification of all universal ternary lattices over the ten fields D = 6, 7, 10, 13, 17, 21, 33, 41, 65, 77 and the assertion that each listed lattice represents all totally positive elements of norm at most 250000 are again justified only by 'we checked' statements with code available upon request. In particular, the claim that no free universal ternary lattice exists for D = 10 and D = 65 relies on the unverified computation behind Theorem 7.6. These computations should be made available in the same reproducible form as those for Propositions 7.4 and 7.5.
  3. [Sections 3–6] I found no internal inconsistency in the theoretical rank bounds: the reduction from Theorem 3.1 to Corollary 3.3 and Theorem 1.2 is coherent, and the estimates for C1, D1, C2, D2 using Lemma 3.4 and the Bennett table are consistent with the stated exponents. The main theoretical argument appears sound, but it establishes only a conditional reduction to a finite check; the completeness of the final list is therefore entirely contingent on the missing computational evidence described above.
minor comments (5)
  1. [Title page / author list] The author line contains an apparent rendering artifact: 'B/suppress LA˙ZEJ ˙ZMIJA' should be corrected to 'Błażej Żmija'.
  2. [Theorem 1.2, table] The table headers 'for m = 1 for m = 2' are ambiguous; please separate the columns clearly and state in the caption that all entries are upper bounds for the discriminant ΔD.
  3. [Section 3, proof of Theorem 1.2] In the displayed line for the m ≥ 3 unconditional case of rank 6, the expression '≪ m^{55/8}(log m)^{13/4}' is correct up to the notation used, but the intermediate inequality involving max{...} would be easier to follow if the discarded first term were explicitly justified by a comparison of the exponents.
  4. [Remark 4.7] Remark 4.7 states that γ2 can be taken to be 5 in several places, while the paper globally sets γ2 = 7; this is harmless but could confuse readers. Please clarify that the global convention is retained for uniformity and indicate precisely where the sharper value is used.
  5. [References] References [Ki3] and Krasenský–Scharlau are cited as unpublished/in preparation; this is acceptable, but they should be marked as such in the bibliography, and the dependence on them should be stated clearly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 is derived from an independent analytic bound followed by finite Magma exclusions; the candidate forms are obtained only after the bound and are not used to derive the 13-field list.

full rationale

The proof of Theorem 1.1 is not circular. The theoretical input, Theorem 1.2 (via the more precise Theorem 3.1), is proved in Sections 4-6 from local p-adic lemmas (Lemma 4.4, Corollary 4.11), Hadamard's inequality, and external estimates for least quadratic non-residues (Burgess, Treviño, Ankeny, Lamzouri-Li-Soundararajan); no parameter in that argument is fitted to the final 13-field list. The finite screening in Propositions 7.4 and 7.5 excludes every squarefree D below the stated bounds outside the list by Magma enumeration of positive semidefinite matrices in M4(1/2O_F), and the candidates for universal lattices are found only after the bound and only for the surviving fields, so the list is not used as an input. Conjecture 7.2 is explicitly conjectural and does not feed into Theorem 1.1. The only serious weakness is computational reproducibility: the Magma code and output are not shipped (Section 7 states the codes are 'available upon request'), and the text says 'one can check' rather than providing certificates. That is an external-verification risk, not circularity: the exclusions are finite, independent of the conclusion, and in principle checkable. Self-citations such as [KKP], [KY3], and [KYZ] provide context and prior finiteness results but are not load-bearing for the explicit bounds, which are proved in this paper.

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

The proof relies on standard results from the theory of quadratic forms (O'Meara), analytic number theory bounds for the least quadratic non-residue, and elementary matrix inequalities. No constant is fitted to the target list; all bounds are derived or cited.

assumptions (7)
  • standard math Hadamard's inequality (Lemma 2.1)
    Used to bound determinants of positive semidefinite matrices in Corollaries 4.6, 4.10 and 4.11.
  • standard math Structure of squares in Z_p (O'Meara 63:1, Lemma 2.2 and Corollary 2.3)
    Used in Lemma 4.4 to prove non-representation of certain square classes.
  • standard math Hilbert reciprocity for the Hasse symbol (O'Meara 58:6)
    Used in Lemma 4.8 to show a positive definite ternary Q-space is anisotropic over some finite prime.
  • standard math Burgess's bound on least quadratic non-residues (Lemma 3.4(1))
    Gives unconditional inexplicit bound gamma_p <<_epsilon p^{1/(4 sqrt(e)) + epsilon}; cited from [Bu].
  • standard math Treviño's explicit bound on least quadratic non-residues (Lemma 3.4(3))
    gamma_p < 1.4 p^{1/4} log p for p >= 5; cited from [Tre]. Used for the explicit unconditional bounds in Theorem 1.2.
  • standard math Lamzouri-Li-Soundararajan conditional bound under GRH (Lemma 3.4(2))
    gamma_p < 2 (log p)^2 under GRH; cited from [LLS]. Used for the conditional bounds in Theorem 1.2.
  • standard math Class number 1 lattices satisfy an integral local-global principle (O'Meara 102:5)
    Used in Theorem 7.8 to prove universality of 14 lattices from local universality.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Kitaoka's Conjecture for quadratic fields." pith.science (2026). https://pith.science/paper/55BRZ5O5

@misc{pith2026250119371,
  author       = {Pith},
  title        = {Pith review of: Kitaoka's Conjecture for quadratic fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/55BRZ5O5}},
  note         = {Machine review of arXiv:2501.19371}
}
read the original abstract

We prove that there are at most 13 real quadratic fields that admit a ternary universal quadratic lattice, thus establishing a strong version of Kitaoka's Conjecture for quadratic fields. More generally, we obtain explicit upper bounds on the discriminants of real quadratic fields with a quadratic lattice of rank at most 7 that represents all totally positive multiples of a fixed integer.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Escalations and criteria over real quadratic fields

    math.NT 2026-08 conditional novelty 7.0 of 10

    The authors generalize the escalation method to number fields, prove finiteness of criterion sets, and compute, conjecturally and in one case exactly, the analogue of the 15-Theorem over Q(√2), Q(√3), and Q(√5).

Reference graph

Works this paper leans on

45 extracted references · 43 canonical work pages · cited by 1 Pith paper

  1. [1]

    N. C. Ankeny, The least quadratic non residue, Ann. of Math. 55, no. 1 (1952), 65–72

    work page 1952

  2. [2]

    Blomer, V

    V. Blomer, V. Kala, Number fields without universal n -ary quadratic forms , Math. Proc. Cambridge Philos. Soc. 159 (2015), 239--252

    work page 2015

  3. [3]

    Uber die Darstellung von positiven, ganzen Zahlen durch die primitiven bin\

    P. Bernays, \" Uber die Darstellung von positiven, ganzen Zahlen durch die primitiven bin\" aren quadratischen Formen einer nichtquadratischen Diskriminante, Dissertation, G\" ottingen, 1912

    work page 1912

  4. [4]

    A. A. Bennett, Table of Quadratic Residues, Ann. of Math., 27(4) (1926), 349--356

    work page 1926

  5. [5]

    Bhargava, On the Conway-Schneeberger fifteen theorem, Contemp

    M. Bhargava, On the Conway-Schneeberger fifteen theorem, Contemp. Math, 272 (1999), 27--37

    work page 1999

  6. [6]

    Bhargava, J

    M. Bhargava, J. Hanke, Universal quadratic forms and the 290-theorem, 2011. Preprint

    work page 2011

  7. [7]

    Coprime-Universal Quadratic Forms

    M. Bordignon, G. Cherubini, Coprime-universal quadratic forms, arxiv:2406.01533

    work page Pith review arXiv

  8. [8]

    Bosma, J

    W. Bosma, J. Cannon, C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), 235--265

    work page 1997

Show all 45 references
  1. [9]

    D. A. Burgess, The distribution of quadratic residues and non-residues, Mathematika, 4 (1957), 106--112

    1957

  2. [10]

    W. K. Chan, M.-H. Kim, S. Raghavan, Ternary universal integral quadratic forms, Japan. J. Math. 22 (1996), 263--273

    1996

  3. [11]

    W. K. Chan, B.-K. Oh, Can we recover an integeral quadratic form by representing all its subforms? , Adv. Math. 433 (2023), Paper No.\ 109317

    2023

  4. [12]

    S. S. Chaudhury, Sums of squares of integral multiples of an integral element of real bi-quadratic fields, Ramanujan J. 64 (2024), 419--451

    2024

  5. [13]

    W. Duke, R. Schulze-Pillot, Representation of integers by positive ternary quadratic forms and equidistribution of lattice points on ellipsoids, Invent. Math. 99 (1990), 49--57

    1990

  6. [14]

    A. G. Earnest,Universal and regular positive quadratic lattices over totally real number fields, Contemp. Math. 249 (1999), 17--27

    1999

  7. [15]

    A. G. Earnest, A. Khosravani, Universal positive quaternary quadratic lattices over totally real number fields , Mathematika 44 (1997), 342--347

    1997

  8. [16]

    otzky, \

    F. G\" otzky, \" Uber eine zahlentheoretische Anwendung von Modulfunktionen zweier Ver\" anderlicher, Math. Ann. 100 (1928), 411--437

    1928

  9. [17]

    Z. He, Y. Hu, F. Xu, On indefinite k -universal integral quadratic forms over number fields , Math. Z. 304 (2023), no.1, Paper No. 20, 26 pp

    2023

  10. [18]

    R. A. Horn, C. R. Johnson, Matrix analysis , Second edition, Cambridge University Press, Cambridge, 2013

    2013

  11. [19]

    Kala, Universal quadratic forms and elements of small norm in real quadratic fields , Bull

    V. Kala, Universal quadratic forms and elements of small norm in real quadratic fields , Bull. Aust. Math. Soc. 94 (2016), 7--14

    2016

  12. [20]

    Kala, Universal quadratic forms and indecomposables in number fields: A survey , Commun

    V. Kala, Universal quadratic forms and indecomposables in number fields: A survey , Commun. Math. 31 (2023), 81--114

    2023

  13. [21]

    Kala, Number fields without universal quadratic forms of small rank exist in most degrees, Math

    V. Kala, Number fields without universal quadratic forms of small rank exist in most degrees, Math. Proc. Cambridge Philos. Soc. 174 (2023), 225--231

    2023

  14. [22]

    V. Kala, M. Tinkov\'a, Universal quadratic forms, small norms and traces in families of number fields , Int. Math. Res. Not. IMRN (2023), 7541--7577

    2023

  15. [23]

    V. Kala, P. Yatsyna, Sums of squares in S-integers, New York J. Math. 26 (2020), 1145--1154

    2020

  16. [24]

    V. Kala, P. Yatsyna, Lifting problem for universal quadratic forms , Adv. Math. 377 (2021), 107497

    2021

  17. [25]

    V. Kala, P. Yatsyna, On K itaoka's conjecture and lifting problem for universal quadratic forms , Bull. Lond. Math. Soc., 55(2) (2023), 854--864

    2023

  18. [26]

    V. Kala, P. Yatsyna, B. \.Zmija, Real quadratic fields with a universal form of given rank have density zero , arXiv:2302.12080

    arXiv

  19. [27]

    B. M. Kim, Finiteness of real quadratic fields which admit positive integral diagonal septenary universal forms , Manuscr. Math. 99 (1999), 181--184

    1999

  20. [28]

    B. M. Kim, Universal octonary diagonal forms over some real quadratic fields , Comment. Math. Helv. 75 (2000), 410--414

    2000

  21. [29]

    B. M. Kim, Positive universal forms over totally real fields, 2003. Unpublished manuscript

    2003

  22. [30]

    B. M. Kim, M.-H. Kim, D. Park, Real quadratic fields admitting universal lattice of rank 7 , J. Number Theory 233 (2022), 456--466

    2022

  23. [31]

    D. Kim, S. H. Lee, Lifting problem for universal quadratic forms over totally real cubic number fields, Bull. Lond. Math. Soc. 56 (2024), 1192--1206

    2024

  24. [32]

    Kim, Recent developments on universal forms, Contemp

    M.-H. Kim, Recent developments on universal forms, Contemp. Math. 344 (2004), 215--228

    2004

  25. [33]

    Kirmse, Zur Darstellung total positiver Zahlen als Summen von vier Quadraten, Math

    S. Kirmse, Zur Darstellung total positiver Zahlen als Summen von vier Quadraten, Math. Z. 21 (1924), 195--202

    1924

  26. [34]

    Kr \'a sensk \'y , M

    J. Kr \'a sensk \'y , M. Tinkov \'a , K. Zemkov \'a , There are no universal ternary quadratic forms over biquadratic fields , Proc. Edinb. Math. Soc. 63 (2020), 861--912

    2020

  27. [35]

    Lamzouri, X

    Y. Lamzouri, X. Li, K. Soundararajan, Conditional bounds for the least quadratic non-residue and related problems, Math. Comp. 84 (2015), 2391--2412

    2015

  28. [36]

    U ber die D arstellung total positiver Z ahlen des K \

    H. Maass, \" U ber die D arstellung total positiver Z ahlen des K \" o rpers R(\! 5) als S umme von drei Q uadraten , Abh. Math. Sem. Hamburg 14 (1941), 185--191

    1941

  29. [37]

    S. H. Man, Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields, Adv. Math. 447 (2024), 109694

    2024

  30. [38]

    Marcus, Determinants of Sums, College Math

    M. Marcus, Determinants of Sums, College Math. J. 21 (1990), no. 2, 130--135

    1990

  31. [39]

    O. T. O'Meara, Introduction to quadratic forms , Springer-Verlag, New York, 1963

    1963

  32. [40]

    Ra ska, Representing multiples of m in real quadratic fields as sums of squares, J

    M. Ra ska, Representing multiples of m in real quadratic fields as sums of squares, J. Number Theory 244 (2023), 24--41

    2023

  33. [41]

    Sasaki, Quaternary universal forms over (\! 13 ) , Ramanujan J

    H. Sasaki, Quaternary universal forms over (\! 13 ) , Ramanujan J. 18 (2009), 73--80

    2009

  34. [42]

    C. L. Siegel, Sums of m -th powers of algebraic integers , Ann. of Math. 46 (1945), 313--339

    1945

  35. [43]

    Trevi\ n o, The least k-th power non-residue, J

    E. Trevi\ n o, The least k-th power non-residue, J. Number Theory 149 (2015), 201--224

    2015

  36. [44]

    F. Xu, Y. Zhang, On indefinite and potentially universal quadratic forms over number fields, Trans. Amer. Math. Soc. 375 (2022), 2459--2480

    2022

  37. [45]

    Yatsyna, A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real field , Comment

    P. Yatsyna, A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real field , Comment. Math. Helv. 94 (2019), 221--239

    2019

Pith tools

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