{"id":"4e27e02d-4b94-434d-b753-dfd5fdf65f3c","arxiv_id":"2510.19545","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The only totally real number field with odd discriminant admitting a universal ternary classical quadratic form is Q(√5).","lead":"Mathematicians proved that among all number fields where the prime 2 is 'unramified' (a technical niceness condition), only the golden-ratio field Q(√5) can have a universal ternary quadratic form. This settles a famous conjecture by Kitaoka for every field of odd discriminant, an infinite family including all degrees.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified to Theorem 1.1; [KY24] reliance is peripheral.","rationale":"I read the paper's central contribution as Theorem 1.1, which yields the odd-discriminant version of Kitaoka's Conjecture. The proof of this theorem is self-contained given standard results (Siegel, Maaß, CKR96). I scrutinized the potentially delicate steps: the use of Lemma 2.2 to bound z^2, the mod-2 reduction in Theorem 4.13 under unramified 2, and the freeness of the orthogonal complement in the non-diagonalizable case. All are justified, the last by a stably-free/determinant argument that the paper leaves implicit. The reader's stated weakest assumption, Siegel's theorem, is a published classical theorem and is applied in its exact intended form. The only real risk is the reliance on the unpublished [KY24] for the quartic exclusion in Theorem 1.2; this is a peripheral claim and not needed for Theorem 1.1. Hence I have no load-bearing objection to the central claim, and I would keep the reader's conditional verdict, which is grounded in that auxiliary dependence.","tokens_in":19385,"tokens_out":33406,"duration_ms":228884,"concrete_test":"Independently verify [KY24, Thm. 1.1] by enumerating all quartic totally real fields with 2O_K^+ ⊂ Σ□ up to a large discriminant; if any field beyond Q(√2,√5) and Q(ζ20+ζ20^-1) appears, then Corollary 5.3 needs revision, but Theorem 1.1 would remain unaffected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, Theorem 1.1, is proven by Theorem 4.1 plus Theorem 4.13. The only non-elementary ingredient is Siegel's theorem, which is correctly applied: if 2 is unramified and 2O_K^+ is represented by ⟨1,1,2,2⟩, then the mod-2 identity (x+y)^2 ≡ x^2+y^2 shows that ⟨1,1,1,1⟩ is universal, so Siegel forces K=Q or Q(√5). The paper's assertions 'z^2∈{0,1,2}' in §4.1 follow from Lemma 2.2's classification of decompositions of 2, so I do not see a gap there. I also checked the splitting step in Lemma 4.7: although the orthogonal complement Q0 is a priori a lattice, it is a direct summand of a free rank-3 module, hence stably free with trivial determinant, so it is free — the paper's free-lattice arguments are thus justified. The genuine weakness is the degree-4 exclusion in Theorem 1.2/Corollary 5.3, which depends on the unreviewed preprint [KY24]. That dependence does not bear on Theorem 1.1 or on the abstract's advertised consequence for odd-discriminant fields. Therefore no load-bearing objection to the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies universal classical ternary quadratic forms over totally real number fields. The main theorem (Theorem 1.1) states that if 2 is unramified, such a form exists over K if and only if K = Q(√5); equivalently, Kitaoka's conjecture holds for all fields of odd discriminant. The proof strategy is to show, under the assumption √2∉K, that if a universal ternary form exists then the quaternary form ⟨1,1,2,2⟩ represents every element of 2O_K^+ (Theorem 4.1). Combined with a mod-2 argument and Siegel's theorem on the non-universality of sums of squares, this forces K = Q or Q(√5) (Theorem 4.13). The paper also proves a criterion (Theorem 1.2): under either (A) √2∉K or (B) |U_K^+/U_K^2| ≥ 2, a universal ternary form would imply that every element of 2O_K^+ is a sum of four squares; additionally, no quartic field can satisfy the hypothesis, using the authors' earlier work [KY24].","tokens_in":19693,"tokens_out":36630,"duration_ms":276703,"significance":"The resolution of Kitaoka's conjecture for all odd-discriminant fields is a substantial advance: previous results were restricted to real quadratic and biquadratic fields. The proof of Theorem 1.1 is elegant and mostly self-contained, using the splitting of units, the trace classification of decompositions of 2 and 3, and Siegel's classical theorem. The reduction to the quaternary form ⟨1,1,2,2⟩ is a nice contribution. If the Section 3 lemmas that support Theorem 1.2 are fully justified, the paper will be a major publication in the arithmetic theory of quadratic forms.","major_comments":[{"comment":"The step 'if we apply the same ideas to the representation of 3ε, it similarly turns out that ...' is not justified by the preceding argument. Lemma 2.2(b) classifies decompositions of the rational integer 3; 3ε is not of this type, since Trabs(3ε) = 3 Trabs(ε), which is not in general 3. The assertion that L_u represents either ε□ or 3ε is load-bearing for Lemma 3.8, hence for Theorem 3.1(f), Theorem 1.2(B), and Corollary 5.3(b). Please supply a complete proof or replace the argument.","section":"§3.2, Lemma 3.8"},{"comment":"The claim that 'a simple corollary of Lemma 2.2(a)' gives that the only decomposition of 2ε into totally positive integers is ε+ε needs proof. Multiplying a decomposition of 2 by ε gives decompositions with both summands divisible by ε, but an arbitrary decomposition of 2ε need not arise this way. This assertion is used to prove Lemma 3.5 (that 2=□ or 2ε=□), which is essential for Theorem 3.1(e)–(f). Please provide a detailed argument or a citation.","section":"§3.1, Lemma 3.5"},{"comment":"The quartic exclusion in Theorem 1.2 and Corollary 5.3 rests on [KY24, Thm. 1.1], an unreviewed arXiv preprint by one of the authors. Since this is an advertised part of Theorem 1.2, the dependence should be made explicit, and a published or otherwise fully quotable version of the classification should be supplied. Alternatively, the quartic assertion should be explicitly labeled as conditional on [KY24].","section":"§5, Corollary 5.3 / Theorem 1.2"}],"minor_comments":[{"comment":"The proof does not actually prove part (a); the sentence 'As 3 = 2 + 1, it suffices to prove part (b)' is misleading. Since part (a) is used repeatedly (e.g., in Lemmas 4.2 and 4.7), give the short trace argument for decompositions of 2 explicitly.","section":"§2.1, Lemma 2.2"},{"comment":"When splitting the free form L ≃ ⟨1⟩⊥Q0, the complement Q0 is a direct summand of a free module and hence stably free; over a Dedekind domain it is free. This should be stated explicitly so that Lemma 4.8's hypothesis (O_K^2, Q0) is satisfied.","section":"§4.2, Lemma 4.7"},{"comment":"The internal reference 'Theorem 3.2' appears to mean 'Lemma 3.2'. Similar internal reference inconsistencies occur elsewhere (e.g., 'Theorem 4.4' for 'Lemma 4.4'). Please check all cross-references.","section":"§3.3, Proposition 3.3"},{"comment":"The definition of □ as 'α² with α∈O_K (equivalently, with α∈K)' is correct because O_K is integrally closed, but the equivalence may confuse; a parenthetical explanation would help.","section":"§2.1"}],"recommendation":"major_revision","confidential_remarks":"The two main mathematical concerns are both in Section 3, which is not used for the headline Theorem 1.1. If the editorial assessment focuses on Theorem 1.1, Section 3's issues might be treated as local repairs; however, the manuscript states Theorem 1.2 as a theorem, so they need to be fixed before acceptance. The reliance on [KY24] for the quartic part is also a policy matter for the editor."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline first: the paper's headline is real. Theorem 1.1 — a totally real field with 2 unramified admits a universal ternary classical form iff K = Q(√5) — is proved in full, and the proof holds up. The odd-discriminant case was open, and this resolves it in all degrees, not just quadratic fields.\n\nWhat is genuinely new: the signature-map argument in Theorem 3.1 that forces √2 out of K and norms of small totally positive elements to be powers of two; Theorem 4.1 showing ⟨1,1,2,2⟩ represents all of 2O_K^+; and the clean reduction to Siegel's classification in Theorem 4.13. The paper is well organized, and the main chain is easy to follow: universal ternary → Theorem 4.1 → four-square universality when 2 is unramified → Siegel forces Q or Q(√5), and Q(√5) really does have a universal ternary. I checked the mod-2 step and the splitting step in Lemma 4.7; both are legitimate.\n\nThe soft spot is where the reader and stress test put it: the degree-4 exclusion in Theorem 1.2 / Corollary 5.3 depends on the unreviewed arXiv preprint [KY24], plus [KTZ20] to rule out one of the two resulting fields. That is a genuine weakness if you care about the quartic claim, but it is not load-bearing for Theorem 1.1 or for the advertised odd-discriminant result. Some structural lemmas — especially Lemma 2.2(b) via the Siegel trace theorem — are invoked tersely, and a referee might ask for a bit more detail, but I do not see a gap. The self-citations are appropriate; there is no circularity.\n\nWho this is for: number theorists working on universal quadratic forms, and anyone interested in Kitaoka's Conjecture. It deserves a serious referee. The right editorial response is to send it out, not desk-reject, and if I were refereeing I would ask the authors to either cite a published version of [KY24] or explicitly mark the quartic exclusion as conditional on that preprint. The central result should be published.\n\nFor the record: I would bring this to a reading group, I would cite it in my own work, and I think the paper is clearly serious and coherent.","headline":"The main theorem is solid: the paper genuinely proves Kitaoka's Conjecture for all odd-discriminant fields, and the only real weakness is a peripheral reliance on an unreviewed preprint.","tokens_in":20215,"tokens_out":1941,"would_cite":true,"duration_ms":19975,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11E12","11E20","11E25","11R04","11R16","11R80"],"pacs":[],"model":"deepseek-v4-flash","headline":"A totally real field in which 2 is unramified admits a universal ternary classical quadratic form only if it is the golden-ratio field Q(√5).","keywords":["universal quadratic form","ternary quadratic forms","totally real number fields","sums of squares","Kitaoka's conjecture","units modulo squares","indecomposable elements","quadratic lattices"],"falsifier":"Find a totally real number field K with 2 unramified and K ≠ Q(√5) together with an explicit universal ternary classical quadratic form over K, or more locally, exhibit a totally positive integer α in such a field for which 2α is not represented by ⟨1,1,2,2⟩; either would disprove the central claim.","tokens_in":19277,"feed_emoji":"🔢","tokens_out":4612,"duration_ms":36087,"temperature":0.7,"pith_summary":"The paper proves that among totally real number fields where the prime 2 does not ramify, exactly one—the golden-ratio field Q(√5)—admits a universal ternary classical quadratic form. This settles the paper's title conjecture for all fields of odd discriminant, since 2 is unramified in those fields. The proof establishes a link: if such a field has a universal ternary form, then every totally positive multiple of 2 is a sum of four squares, and then invokes the classical classification of fields over which sums of squares are universal. A second theorem shows the same conclusion under broader hypotheses—absence of √2 or existence of a nonsquare totally positive unit—and rules out quartic fields in those cases.","feed_headline":"Only Q(√5) hosts universal ternary forms when 2 is unramified","feed_subtitle":"Universal ternary forms force every double of a totally positive integer to be a sum of four squares.","key_machinery":"The central object is the diagonal quaternary form ⟨1,1,2,2⟩ and the criterion that a universal ternary classical form forces this form to represent all of 2O_K^+. The identity 2x² + 2y² = (x+y)² + (x−y)² converts this into a statement about sums of four squares. The proof also relies heavily on the structure of the unit group modulo squares, U_K^+/U_K^2, especially the case where it has size 2, and on the behavior of indecomposable totally positive elements. When 2 is unramified, representation by ⟨1,1,2,2⟩ can be divided by 2 modulo the prime 2, yielding a four-square representation of every totally positive integer; the classical classification of universal sums of squares then completes","core_discovery":"Theorem 1.1: Let K be a totally real number field where 2 is unramified. Then K admits a universal ternary classical quadratic form if and only if K = Q(√5). The 'if' direction is the known universality of the sum of three squares over Q(√5); the new content is the 'only if'. The proof shows that under the unramified-2 assumption, a universal ternary classical form forces the four-variable form ⟨1,1,2,2⟩ to represent 2O_K^+. Reducing modulo 2 then expresses every totally positive integer as a sum of four squares, and the classical classification of universal sums of squares leaves only Q and Q(√5), with Q excluded since it admits no positive-definite ternary form. Theorem 1.2 extends the mai","pith_inferences":["The criterion '2O_K^+ is represented by ⟨1,1,2,2⟩' might be a necessary condition for any field with a universal ternary classical form whenever the unit-index is at most 2, giving an algorithmic way to test Kitaoka's conjecture field-by-field.","The theorem suggests a sharp dichotomy: fields admitting a universal ternary classical form are extremely rare, and the unramified-2 case is completely classified; a full classification may emerge by treating the analogous ramified-2 cases.","The remark that Q(ζ20+ζ^-1_20) admits a non-classical universal ternary form highlights that the classical assumption is essential to Theorem 1.1; the method here may not extend to non-free lattices, since some arguments use freeness of the universal form.","If the result is combined with known partial classifications for real quadratic fields and biquadratic fields, it suggests that the full set of totally real fields with a universal ternary classical form might be finite and small, as Kitaoka conjectured."],"forward_implications":["Kitaoka's Conjecture holds for all totally real number fields of odd discriminant.","To test whether a field admits a universal ternary classical form, it is often enough to check whether 2 times an indecomposable element is represented by ⟨1,1,2,2⟩.","No quartic field with √2∉K or with a nonsquare totally positive unit admits a universal ternary classical form.","Under the paper's hypotheses, the property 'all totally positive multiples of 2 are sums of four squares' is a necessary condition for the existence of a universal ternary classical form.","The form ⟨1,1,2,2⟩ itself becomes a canonical tool for verifying non-existence of ternary universal forms in concrete fields."],"fun_headline_variants":["Universal ternary forms: only Q(√5) when 2 is unramified","Kitaoka's conjecture resolved for all odd-discriminant fields","With unramified 2, Q(√5) is the sole host of universal ternary forms","Sum of four squares emerges from unramified 2 and universal ternary forms","Only Q(√5) has universal ternary forms if 2 is unramified"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The 'only if' direction relies on the classical theorem that the sum of squares of algebraic integers is universal only over Q and Q(√5); if that classification had any unlisted exceptional field, the conclusion would fail.","fun_headline_variants_meta":{"raw":{"variants":["Universal ternary forms: only Q(√5) when 2 is unramified","Kitaoka's conjecture resolved for all odd-discriminant fields","With unramified 2, Q(√5) is the sole host of universal ternary forms","Sum of four squares emerges from unramified 2 and universal ternary forms","Only Q(√5) has universal ternary forms if 2 is unramified"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000235,"raw_usage":{"total_tokens":1268,"prompt_tokens":605,"completion_tokens":663,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":349,"completion_tokens_details":{"reasoning_tokens":555}},"tokens_in":349,"tokens_out":663,"duration_ms":4989,"temperature":1.0,"reasoning_tokens":555,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:39:30.911148+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a totally real number field K with 2 unramified and K ≠ Q(√5) together with an explicit universal ternary classical quadratic form over K, or more locally, exhibit a totally positive integer α in such a field for which 2α is not represented by ⟨1,1,2,2⟩; either would disprove the central claim.","supporting_citations":[],"review_version":1}