pith. sign in

arxiv: 2606.29321 · v1 · pith:HR6FAHLDnew · submitted 2026-06-28 · 🧮 math.NT

For which real quadratic fields is Kim's octonary form universal?

Scott Duke Kominers This is my paper

Pith reviewed 2026-06-30 02:36 UTC · model grok-4.3

classification 🧮 math.NT
keywords universal quadratic formsreal quadratic fieldsoctonary formsBlömer-Kala invariantcontinued fractionsfundamental unitssquare valuesquadratic number fields
0
0 comments X

The pith

Kim's octonary form is universal over O_K if and only if D equals n squared minus 1 or n squared minus 4 under the given conditions on n and squarefreeness.

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

The paper completes Kim's 2000 result by classifying all real quadratic fields K = Q(sqrt(D)) for which the octonary diagonal form f equals the sum of four squares plus epsilon_+ times the sum of four more squares is universal over the ring of integers O_K. Kim showed one direction for D of the form n squared minus 1; the work adds the family D equals n squared minus 4 for odd n at least 3 and proves these are exactly the cases. The result also equates universality of f to the Blömer-Kala invariant M_D equaling 1, so that the general 8M_D-variable construction reduces exactly to this eight-variable form. A reader cares because the classification gives a complete explicit list of fields where this concrete form represents every totally positive element of O_K.

Core claim

The octonary diagonal form f = x1² + ⋯ + x4² + ε₊(x5² + ⋯ + x8²) is universal over O_K if and only if D = n² − 1 for some n ≥ 2 or D = n² − 4 for some odd n ≥ 3, both subject to squarefreeness. Equivalently, f is universal over O_K if and only if the Blömer–Kala invariant M_D equals 1. The converse is proved by leveraging a continued-fraction involution τ(γ) = ε₊ γ' together with a closed formula in convergent coordinates, a three-consecutive-square-values lemma for primitive quadratic polynomials of positive fundamental discriminant, and an even-root exclusion lemma derived from complete-quotient norm bounds.

What carries the argument

The continued-fraction involution τ(γ) = ε₊ γ' together with the closed formula in convergent coordinates, the three-consecutive-square-values lemma, and the even-root exclusion lemma.

If this is right

  • For the listed D the Blömer-Kala 8M_D-variable construction specializes exactly to the given eight-variable form f.
  • The case D=5 recovers Maass's classical exceptional three-square phenomenon as a boundary case.
  • No squarefree D outside the two families allows f to be universal over O_K.
  • The listed D are exactly those for which M_D equals 1.

Where Pith is reading between the lines

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

  • The same continued-fraction methods could be tested on forms with different numbers of variables or different coefficient patterns.
  • Direct verification of non-representation for a small D outside the families would confirm the classification without the full machinery.
  • The explicit link to M_D=1 may allow computation of the invariant for other families of discriminants.

Load-bearing premise

The continued-fraction involution and the three-consecutive-square-values and even-root exclusion lemmas apply without gaps to all relevant primitive quadratic polynomials of positive fundamental discriminant.

What would settle it

A squarefree D outside the two listed families for which direct computation shows that f represents every totally positive element of O_K, or a D inside one of the families for which some totally positive element is missed.

read the original abstract

Let $K=\mathbb{Q}(\sqrt{D})$ with $D>1$ squarefree, and let $\varepsilon_+$ be the totally positive fundamental unit of $\mathcal{O}_K$. B. M. Kim proved in 2000 that the octonary diagonal form \[ f=x_1^2+\cdots+x_4^2+\varepsilon_+(x_5^2+\cdots+x_8^2) \] is universal over $\mathcal{O}_K$ whenever $D=n^2-1$ is squarefree. We complete Kim's result to an if-and-only-if classification: $f$ is universal if and only if $D=n^2-1$ for some $n\ge2$, or $D=n^2-4$ for some odd $n\ge3$, in both cases subject to squarefreeness. The second family appears to be new in this context and contains $\mathbb{Q}(\sqrt{5})$ at $n=3$ as a degenerate boundary case, recovering Maa{\ss}'s classical exceptional three-square phenomenon. Equivalently, $f$ is universal over $\mathcal{O}_K$ if and only if the Blomer--Kala invariant $M_D$ equals $1$; for the two stated families we have $M_D=1$, so the Blomer--Kala universal $8M_D$-variable construction specializes exactly to $f$. The converse leverages a continued-fraction involution $\tau(\gamma)=\varepsilon_+\gamma'$ together with a closed formula in convergent coordinates, a three-consecutive-square-values lemma for primitive quadratic polynomials of positive fundamental discriminant, and an even-root exclusion lemma derived from complete-quotient norm bounds.

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 completes Kim's 2000 theorem by establishing an if-and-only-if classification: the octonary form f = x₁² + ⋯ + x₄² + ε₊(x₅² + ⋯ + x₈²) is universal over O_K for K = Q(√D) (D > 1 squarefree) if and only if D = n² − 1 for some integer n ≥ 2 or D = n² − 4 for some odd integer n ≥ 3 (both subject to squarefreeness). Equivalently, universality holds precisely when the Blömer–Kala invariant M_D equals 1. The forward direction is obtained by exhibiting the two families; the converse proceeds via a continued-fraction involution τ(γ) = ε₊ γ′, a closed formula in convergent coordinates, a three-consecutive-square-values lemma for primitive quadratic polynomials of positive fundamental discriminant, and an even-root exclusion lemma from complete-quotient norm bounds.

Significance. If the stated classification holds, the paper supplies a complete determination of universality for this specific octonary form, recovers Maass’s three-square phenomenon for Q(√5) as the boundary case n = 3 of the second family, and shows that the general Blömer–Kala 8M_D-variable construction specializes exactly to f when M_D = 1. The explicit continued-fraction machinery and the two new lemmas constitute a concrete, falsifiable method for deciding universality over real quadratic rings; the equivalence to M_D = 1 is a noteworthy structural observation.

minor comments (2)
  1. Abstract, line beginning “recovering Maa{\ss}’s”: the umlaut is typeset incorrectly; the standard spelling is “Maass’s”.
  2. The abstract refers to “the Blömer–Kala invariant M_D” without recalling its definition; a one-sentence reminder of the definition (or a pointer to the precise equation in Blömer–Kala) would improve readability for readers who have not memorized the 2015 paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The summary accurately captures the main results, including the if-and-only-if classification, the recovery of Maass's phenomenon, and the connection to the Blömer–Kala invariant.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper extends Kim's one-directional result to a full if-and-only-if classification by proving the converse via an independent continued-fraction involution τ(γ)=ε₊γ', a closed formula in convergent coordinates, a three-consecutive-square-values lemma, and an even-root exclusion lemma derived from complete-quotient norm bounds; these are presented as self-contained technical tools that apply without gaps and do not reduce by the paper's equations to any fitted parameter or prior result internal to the manuscript. The equivalence to M_D=1 is obtained by explicit verification that the stated families yield M_D=1 (so the Blomer-Kala 8M_D-variable form specializes to f) together with the converse argument above; neither step collapses to a self-definition, a fitted-input prediction, or a load-bearing self-citation chain. External citations to Kim (2000) and Blomer-Kala are used only for the forward direction and the definition of M_D, both of which remain independently verifiable outside the present work.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The classification rests on standard facts about quadratic fields, units, and quadratic polynomials; no free parameters or new entities are introduced.

axioms (3)
  • domain assumption The ring of integers O_K of K=Q(sqrt(D)) admits a totally positive fundamental unit epsilon_+ that scales the second block of variables.
    Used to define the form f itself.
  • domain assumption Universality is defined with respect to totally positive elements of O_K.
    Central definition of the claim.
  • standard math Continued-fraction expansions, convergent coordinates, and norm bounds behave as stated for quadratic irrationals of positive fundamental discriminant.
    Invoked explicitly for the converse lemmas.

pith-pipeline@v0.9.1-grok · 5847 in / 1458 out tokens · 61359 ms · 2026-06-30T02:36:12.486950+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 · 1 canonical work pages

  1. [1]

    Allison,On square values of quadratics, Mathematical Proceedings of the Cambridge Philosophical Society99(1986), no

    D. Allison,On square values of quadratics, Mathematical Proceedings of the Cambridge Philosophical Society99(1986), no. 3, 381–383

    1986

  2. [2]

    272, American Mathematical Society, 1999, pp

    Manjul Bhargava,On the Conway–Schneeberger fifteen theorem, Quadratic Forms and Their Applications (Dublin, 1999), Contemporary Mathematics, vol. 272, American Mathematical Society, 1999, pp. 27–37

    1999

  3. [3]

    Manjul Bhargava and Jonathan Hanke,Universal quadratic forms and the290-theorem, 2011

    2011

  4. [4]

    Valentin Blomer and V´ ıtˇ ezslav Kala,On the rank of universal quadratic forms over real quadratic fields, Documenta Mathematica23(2018), 15–34

    2018

  5. [5]

    2, 95– 111

    Andrew Bremner,On square values of quadratics, Acta Arithmetica108(2003), no. 2, 95– 111

    2003

  6. [6]

    Raghavan,Ternary universal integral quadratic forms, Japanese Journal of Mathematics22(1996), 263–273

    Wai Kiu Chan, Myung-Hwan Kim, and S. Raghavan,Ternary universal integral quadratic forms, Japanese Journal of Mathematics22(1996), 263–273

    1996

  7. [7]

    Conway,Universal quadratic forms and the fifteen theorem, Quadratic Forms and Their Applications (Dublin, 1999), Contemporary Mathematics, vol

    John H. Conway,Universal quadratic forms and the fifteen theorem, Quadratic Forms and Their Applications (Dublin, 1999), Contemporary Mathematics, vol. 272, American Mathe- matical Society, 1999, pp. 23–26

    1999

  8. [8]

    3, 292–306

    Andreas Dress and Rudolf Scharlau,Indecomposable totally positive numbers in real quadratic orders, Journal of Number Theory14(1982), no. 3, 292–306

    1982

  9. [9]

    Elkies, Daniel M

    Noam D. Elkies, Daniel M. Kane, and Scott Duke Kominers,MinimalS-universality criteria may vary in size, Journal de Th´ eorie des Nombres de Bordeaux25(2013), no. 3, 557–563

    2013

  10. [10]

    2, 145–159

    Enrique Gonz´ alez-Jim´ enez and Xavier Xarles,On symmetric square values of quadratic poly- nomials, Acta Arithmetica149(2011), no. 2, 145–159

    2011

  11. [11]

    Tom´ aˇ s Hejda and V´ ıtˇ ezslav Kala,Additive structure of totally positive quadratic integers, manuscripta mathematica163(2020), 263–278

    2020

  12. [12]

    V´ ıtˇ ezslav Kala, Jakub Kr´ asensk` y, and Giuliano Romeo,Universality criterion sets for qua- dratic forms over number fields, Advances in Mathematics500(2026), 111080

    2026

  13. [13]

    11, 4322–4332

    V´ ıtˇ ezslav Kala and Om Prakash,There is no290-theorem for higher degree forms, Mathe- matische Nachrichten297(2024), no. 11, 4322–4332

    2024

  14. [14]

    V´ ıtˇ ezslav Kala,Norms of indecomposable integers in real quadratic fields, Journal of Number Theory166(2016), 193–207

    2016

  15. [15]

    ,Universal quadratic forms and elements of small norm in real quadratic fields, Bul- letin of the Australian Mathematical Society94(2016), no. 1, 7–14

    2016

  16. [16]

    2, 81–114

    ,Universal quadratic forms and indecomposables in number fields: a survey, Com- munications in Mathematics31(2023), no. 2, 81–114

    2023

  17. [17]

    9, 7541–7577

    V´ ıtˇ ezslav Kala and Magdal´ ena Tinkov´ a,Universal quadratic forms, small norms, and traces in families of number fields, International Mathematics Research Notices (IMRN)2023 (2023), no. 9, 7541–7577

    2023

  18. [18]

    V´ ıtˇ ezslav Kala, Pavlo Yatsyna, and B la˙ zejˇZmija,Real quadratic fields with a universal quadratic form of given rank have density zero, American Journal of Mathematics (to appear), arXiv:2302.12080

    work page arXiv

  19. [19]

    20, 6999–7036

    Ben Kane and Jingbo Liu,Universal sums ofm-gonal numbers, International Mathematics Research Notices (IMRN)2020(2020), no. 20, 6999–7036

    2020

  20. [20]

    Byeong Moon Kim,Finiteness of real quadratic fields which admit positive integral diagonal septenary universal forms, manuscripta mathematica99(1999), 181–184

    1999

  21. [21]

    3, 410–414

    ,Universal octonary diagonal forms over some real quadratic fields, Commentarii Mathematici Helvetici75(2000), no. 3, 410–414

    2000

  22. [22]

    581, 23–30

    Byeong Moon Kim, Myung-Hwan Kim, and Byeong-Kweon Oh,A finiteness theorem for rep- resentability of quadratic forms by forms, Journal f¨ ur die reine und angewandte Mathematik 2005(2005), no. 581, 23–30. 20 SCOTT DUKE KOMINERS

    2005

  23. [23]

    Byeong Moon Kim, Myung-Hwan Kim, and Dayoon Park,Real quadratic fields admitting universal lattices of rank7, Journal of Number Theory233(2022), 456–466

    2022

  24. [24]

    2, 625–637

    Byeong Moon Kim and Dayoon Park,A finiteness theorem for universalm-gonal forms, Bulletin of the London Mathematical Society57(2025), no. 2, 625–637

    2025

  25. [25]

    3, 189–201

    Joseph-Louis Lagrange,D´ emonstration d’un th´ eor` eme d’arithm´ etique, Nouveaux m´ emoires de l’Acad´ emie royale des sciences et belles-lettres de Berlin (1770), reprinted in Œuvres compl` etes, vol. 3, 189–201

  26. [26]

    Hans Maaß, ¨Uber die Darstellung total positiver Zahlen des k¨ orpersQ( √ 5)als Summe von drei Quadraten, Abhandlungen aus dem Mathematischen Seminar der Universit¨ at Hamburg 14(1941), 185–191

    1941

  27. [27]

    Oskar Perron,Die Lehre von den Kettenbr¨ uchen, B. G. Teubner, Leipzig and Berlin, 1913

    1913

  28. [28]

    Carl Ludwig Siegel,Sums ofm th powers of algebraic integers, Annals of Mathematics46 (1945), 313–339

    1945

  29. [29]

    Magdal´ ena Tinkov´ a and Paul Voutier,Indecomposable integers in real quadratic fields, Jour- nal of Number Theory212(2020), 458–482

    2020

  30. [30]

    1, 221–239

    Pavlo Yatsyna,A lower bound for the rank of a universal quadratic form with integer coef- ficients in a totally real number field, Commentarii Mathematici Helvetici94(2019), no. 1, 221–239. Harvard Business School; Department of Economics and Center of Mathematical Sciences and Applications, Harvard University; and a16z crypto Email address:kominers@fas.h...

    2019