{"id":"15b8603e-ef0e-46bf-a352-3a49e122433c","arxiv_id":"2411.16894","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For primes p congruent to 1, 2, or 4 modulo 7, the sums H_{a,7}(p) are expressed as rational linear functions of p plus chi_{-7}(x)x, where p = x^2 + 7y^2.","lead":"This paper gives explicit formulas for sums of Hurwitz class numbers in arithmetic progressions modulo 7, expressing them at primes through p-plus-a-constant forms plus the unique x with p = x^2 + 7y^2. A generalist may care because it completes a table of class number sums and connects them to a weight-two CM newform.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.2 is false as written: under the paper's own U-operator definition the q^1 coefficient is -4, not 1, so the claimed 56-coefficient check cannot have passed; the identity appears to need V_2,V_4.","rationale":"The paper uses a sound overall strategy, and spot-checking Theorem 3.5 against Theorem 4.4 and the final table for several residue classes (e.g., the m=3, a=2 case correctly produces (p-2)/3 because D^{(7,1)}_1 contributes 1 at primes) shows that the final formulas are internally coherent. I am therefore not claiming the main theorem is false. The sharpest problem is that the bridge identity Lemma 4.2 is not merely unauditable but false under the operators defined in Definition 2.4(1): the proof's claimed coefficient comparison cannot have been run as stated. Because the corrected V-version leaves all odd-prime coefficients unchanged, the central claim can probably be repaired. That is exactly a conditional situation: the stated argument as written is invalid, yet a local correction likely restores it. Additional typos, such as G|S_{7,1} in the fourth equation of Theorem 3.5(2) and the undefined character χ_7 in Theorem 3.5(1), reinforce the need for careful revision but are not the main load. The reader's weakest_assumption correctly identified Lemma 4.2, though for auditability rather than for the concrete U/V inconsistency found here; hence partial agreement.","tokens_in":11963,"tokens_out":28266,"duration_ms":246694,"concrete_test":"Recompute the first 56 coefficients on both sides of Lemma 4.2 using Definition 2.4(1); the identity fails already at q^1. Then repeat with the standard dilation operators (f|V_2)(τ)=Σ a(n)q^{2n} and V_4 similarly, and verify the Sturm-bound check. If the corrected identity passes and yields a_p=2χ_{-7}(x)x for p≡1,2,4 mod 7, then Theorem 4.4 follows and the submission needs only a corrected operator statement plus auditable code.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 2.4(1) sets (f|U_M)(τ)=Σ a(Mn)q^n. With the newform G=q+q^2-q^4-3q^8-3q^9+... from §3, the q^1 coefficient of G is 1, of G|U_2 is a_2=1, and of G|U_4 is a_4=-1. Hence the q^1 coefficient of the right side of Lemma 4.2, G-G|U_2+4G|U_4, is 1-1+4(-1)=-4. The left side Ψ_7(χ_{-7},τ) has q^1 coefficient 1, since the only solutions of x^2+7y^2=1 are x=±1,y=0 and χ_{-7} is odd, giving (1/2)(1+1)=1. At q^2 the two sides are 0 and -10. Therefore Lemma 4.2 cannot be true with U as defined, and the proof's assertion that the first 56 coefficients coincide cannot be correct. The formula appears to be valid with the standard dilation operators V_2,V_4 instead. Since both U_2/V_2 and U_4/V_4 vanish on odd-prime q^p, the subsequent identity a_p=2χ_{-7}(x)x is unaffected, so the central theorem may still be true. But the proof's bridge lemma is not internally consistent as printed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to determine all sums of Hurwitz class numbers H_{a,7}(p) for primes p>2 with p≡1,2,4 mod 7, expressing them in terms of p and the unique positive integer x with p=x^2+7y^2. The method follows Zindulka's framework: the generating series H_{m,7} is completed as a mixed mock modular form, after sieving and twisting it becomes a weight-2 modular form on a congruence subgroup of level 196, and the resulting identities are proved by Sturm-bound coefficient checks. The error term is identified with the Fourier coefficients of the CM newform 49.2.a.a, connected to the earlier form Ψ_7(χ_{-7},τ) by a linear identity (Lemma 4.2).","tokens_in":12266,"tokens_out":7543,"duration_ms":61839,"significance":"If correct, the paper fills the remaining open cases of the M=7 Hurwitz-class-number sum problem and exhibits the same pattern found by Zindulka for M=6,8, namely an error term χ(x)x coming from a CM form attached to the quadratic form x^2+ny^2. A notable strength is that no free parameters are fitted: the right-hand sides are fixed modular-form identities. The link between the class-number sums and the newform 49.2.a.a is a natural and potentially useful observation. However, the verification currently rests on unshown coefficient checks, and one of the key asserted checks is demonstrably wrong as printed, so the paper needs substantial correction before the claims can be accepted.","major_comments":[{"comment":"Lemma 4.2 is false under the paper's own Definition 2.4(1). With G=q+q^2-q^4-3q^8-3q^9+..., the q^1 coefficient of G-G|U_2+4G|U_4 is 1-1+4(-1)=-4, whereas Ψ_7(χ_{-7},τ) has q^1 coefficient 1 (the only solutions of x^2+7y^2=1 are x=±1,y=0 and the contribution is (1/2)(χ(1)·1+χ(-1)·(-1))=1). Thus the asserted 56-coefficient check cannot have passed. The identity appears to become correct when the standard dilation operators V_2,V_4 are used, and since both U_2/V_2 and U_4/V_4 annihilate q^p for odd primes p, the final prime-coefficient formulas may survive the correction. Still, the bridge lemma as printed is invalid and must be fixed and re-verified.","section":"Lemma 4.2"},{"comment":"The main theorem is internally inconsistent and incomplete. The case a=±2, p≡1 mod 7 appears in both the second and the fourth displayed cases, with different values: (p+1)/4 - (1/2)χ_{-7}(x)x in the former and (7p-17)/24 + (1/4)χ_{-7}(x)x in the latter. The table at the end of Section 4 gives only the latter for (m,p)=(±2,1). Several congruence conditions are truncated (\"p≡4 mod\" instead of \"p≡4 mod 7\"), and no formula is given for a=±1, p≡1 mod 7, which the table lists as (p+1)/3. The main theorem must be restated consistently with the table and with the identities proved in Theorem 3.5.","section":"Theorem 4.4"},{"comment":"The proof of Theorem 3.5 and the proof of Lemma 4.2 consist solely of assertions that the first 57 or 337 coefficients coincide, with no tables, code, or reproducible computation. Given that the analogous assertion in Lemma 4.2 is actually false as written, this style of verification is not acceptable in its current form. The author should provide the computed coefficients, a transcript of the calculation, or explicitly checkable data, and should re-run the checks after correcting the operators in Lemma 4.2.","section":"Theorem 3.5 and Lemma 4.2 proofs"},{"comment":"The displayed equation for (Hθ_{3,7})|U_4|S_{7,4} has right-hand side 7/24 D|S_{7,4} + 1/8 G|S_{7,1}, but the left-hand side is sieved by S_{7,4}. This is almost certainly a typo for 1/8 G|S_{7,4}; as printed, the identity is malformed and should be corrected in the revision.","section":"Theorem 3.5, third block"}],"minor_comments":[{"comment":"The text contains numerous typographical errors, including \"W e\", \"consi der\", \"with with\", and missing congruences such as \"mod 7\" in several places; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The V_M operator is defined as (f|V_M)(τ)=∑ a(Mn)q^{Mn}, which coincides with the sieving operator S_{M,0} rather than with the standard dilation V_M f(q)=f(q^M). This ambiguity likely contributed to the error in Lemma 4.2; the definition should be clarified and made consistent with Proposition 2.5 and with the later usage.","section":"Definition 2.4(2)"},{"comment":"In the proof of Proposition 2.5(1) the line \"Therefore M U_M = Γ_1αΓ_2\" is imprecise; the displayed double-coset expression should be normalized consistently so that the operator relation U_M = ... or M^{-1}Γ_1αΓ_2 is stated unambiguously.","section":"Proposition 2.5 proof"},{"comment":"The table at the end of Section 4 would be easier to read with parentheses around the rational expressions (e.g., (p+1)/4) and with χ consistently written as χ_{-7}(x); as printed, some entries are ambiguous.","section":"Final table"}],"recommendation":"major_revision","confidential_remarks":"The core strategy is sound and the final formulas are likely correct after replacing U with V in Lemma 4.2 and fixing the statement of Theorem 4.4. However, the manuscript in its present form contains a false lemma, an inconsistent main theorem, and unverifiable computational assertions, so I cannot recommend acceptance. The revision should supply reproducible Sturm-bound computations and correct all operator definitions and case distinctions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The main formula for H_{a,7}(p) is very likely correct, but the paper as printed has a real flaw in its bridge lemma. Under the authors' own definition of the U-operator (Definition 2.4(1), keeping a(Mn)), the identity in Lemma 4.2, Psi_7(chi_-7,tau) = G - G|U(2) + 4G|U(4), fails already at the q^1 coefficient. The left side has coefficient 1, the right side has -4. The stress-test note is right. The likely fix is to use the dilation operators V_2 and V_4 instead; since both U_d and V_d kill q^p for odd primes p, the prime-coefficient extraction in Section 4 survives. So the theorem may be true, but the proof as written is internally inconsistent.\n\nWhat the paper does well: it organizes the seven residue classes cleanly, gives a useful table for all p mod 7, and makes the connection to the CM newform 49.2.a.a explicit. The overall method—completing the mixed mock modular form, sieving into a finite-dimensional space, then applying Sturm bounds—is standard and appropriate. The exposition is readable, if a little rough.\n\nThe honest concerns beyond Lemma 4.2: (1) All Sturm-bound checks are asserted, not shown. No code, no tables, no way to audit the 56- and 337-coefficient computations. For a paper whose proof rests on those checks, that is a significant reproducibility gap. (2) The statement of Theorem 4.4 is truncated in the middle of the formulas—the case 'a = ±3, p ≡ 4 mod ...' is cut off, and the table has similar truncations. The main theorem is not fully displayed. (3) Novelty is genuinely unclear. The introduction says [4] and [5] already proved the m=7 conjectures; what is new here is the chi_-7(x)x phrasing and the newform identification, which is a nice translation but not a new result unless the earlier proofs omitted these exact expressions. The paper does not spell out the difference.\n\nOverall, this paper deserves a serious referee because the main result is plausible and the flaw is likely fixable. But I would not accept it as is. The referee should ask for a corrected Lemma 4.2 (or a justification that the U-definition was misprinted), for the actual verification data, and for a clear statement of what was not already in the literature. If those come back, the paper could be a solid contribution to the H_{a,M} table.\n\nRecommendation: send it to review, with a note to the referee to check Lemma 4.2 carefully. I would not cite it in its current form.","headline":"Main formula likely right, but Lemma 4.2 is false as printed and the proof relies on unaudited Sturm checks.","tokens_in":12848,"tokens_out":6695,"would_cite":false,"duration_ms":58047,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F37","11F11","11E41","11F30"],"pacs":[],"model":"deepseek-v4-flash","headline":"For primes $p\\equiv1,2,4\\pmod7$, the seven sums $H_{a,7}(p)$ are closed forms in $p$ and the unique $x$ with $p=x^2+7y^2$.","keywords":["Hurwitz class numbers","mixed mock modular forms","newform 49.2.a.a","representation p = x^2 + 7y^2","Sturm bound","weight-2 modular forms","Fourier coefficients","CM newform"],"falsifier":"Run an independent Sturm-bound check of Lemma 4.2 and Theorem 3.5 (the first 56 coefficients and the first 57 or 337 coefficients, respectively). A faster spot check is $p=29$: the theorem predicts $H_{0,7}(29)=8$, $H_{\\pm1,7}(29)=10$, $H_{\\pm2,7}(29)=8$, and $H_{\\pm3,7}(29)=7$, each of which can be evaluated directly from the definition $H_{a,7}(29)=\\sum_{t\\equiv a\\pmod7}H(116-t^2)$.","tokens_in":87,"feed_emoji":"🔢","tokens_out":19797,"duration_ms":221816,"temperature":0.7,"pith_summary":"The paper aims to establish exact prime-index formulas for the seven sums of Hurwitz class numbers $H_{a,7}(p)=\\sum_{t\\equiv a\\pmod7}H(4p-t^2)$. The main theorem states that for every prime $p>2$ with $p\\equiv1,2,4\\pmod7$, these sums are completely determined by $p$ and by the unique positive integer $x$ in $p=x^2+7y^2$: each equals a fixed rational function of $p$ plus a term $\\tfrac12\\chi_{-7}(x)x$ or $\\tfrac14\\chi_{-7}(x)x$. A reader should care because it closes a table of cases left open by earlier work, and because it shows the prime values of these class-number sums directly encode a binary quadratic form representation. If the formulas are right, no unknown quantity remains in the correction term for these primes.","feed_headline":"Class-number sums solved by p = x² + 7y²","feed_subtitle":"For p ≡ 1, 2, 4 (mod 7), the values are fixed by p and the unique x with p = x² + 7y².","key_machinery":"The mechanism is the completion of mixed mock modular forms. The generating function $H_{m,7}(\\tau)=\\sum_n H_{m,7}(n)q^n$ is not modular, but Theorem 2.7, a Rankin-Cohen bracket completion identity, upgrades it to a quasimodular form once the computable series $\\frac12\\Lambda_{1,m,7}|U_4$ is added. Acting by sieving operators or by the character twist $\\chi_{-7}^2$ puts the result in the finite-dimensional space $M_2(\\Gamma_0(4\\cdot49)\\cap\\Gamma_1(7))$ or $M_2(\\Gamma_0(4\\cdot49))$, where Theorem 3.5 writes it as a combination of the divisor-sum series $D$ and the newform $G$ (label 49.2.a.a, the weight-2 CM newform of level 49). The bridge to binary quadratic forms is Lemma 4.2, $\\Psi_7(\\chi_{-7},\\tau)=G-G|U(2)+4G|U(4)$, where $\\Psi_7$ is the $\\theta$ series $\\frac12\\sum_n\\bigl(\\sum_{x^2+7y^2=n}\\chi_{-7}(x)x\\bigr)q^n$; here $U(M)$ keeps only Fourier indices divisible by $M$, so for odd primes $p$ the coefficient of $q^p$ on the right is exactly $\\chi_{-7}(x)x$. Lemma 4.3 then supplies the uniqueness of $x$.","core_discovery":"The paper's central claim is Theorem 4.4: for every prime $p>2$ with $p\\equiv1,2,4\\pmod7$ there is a unique positive integer $x$ with $p=x^2+7y^2$, and the seven sums $H_{a,7}(p)$ are explicit rational functions of $p$ and $x$. Writing $\\chi=\\chi_{-7}$ for the non-principal real character modulo 7, the values are $$H_{0,7}(p)=\\frac{p+1}{4}+\\frac12\\chi(x)x,$$ $$H_{\\pm1,7}(p)=\\begin{cases}\\frac{p+1}{3},&p\\equiv1\\\\ \\frac{7p+7}{24}+\\frac14\\chi(x)x,&p\\equiv2\\\\ \\frac{p+1}{4}-\\frac12\\chi(x)x,&p\\equiv4\\end{cases}\\pmod7,$$ $$H_{\\pm2,7}(p)=\\begin{cases}\\frac{7p-17}{24}+\\frac14\\chi(x)x,&p\\equiv1\\\\ \\frac{p+1}{4}-\\frac12\\chi(x)x,&p\\equiv2\\\\ \\frac{p-2}{3},&p\\equiv4\\end{cases}\\pmod7,$$ $$H_{\\pm3,7}(p)=\\begin{cases}\\frac{p+1}{4}-\\frac12\\chi(x)x,&p\\equiv1\\\\ \\frac{p-2}{3},&p\\equiv2\\\\ \\frac{7p+7}{24}+\\frac14\\chi(x)x,&p\\equiv4\\end{cases}\\pmod7.$$ The closing table supplies the values for $p\\equiv3,5,6\\pmod7$, where the correction term is absent. The discovery is that one correcting expression $\\chi_{-7}(x)x$ accounts for all residue classes that admit the representation, with coefficients $\\pm\\frac12$ or $\\pm\\frac14$ depending on $a$ and on $p\\bmod7$.","pith_inferences":["Editorial extension: the same finite Sturm-bound proof strategy should yield explicit formulas for $H_{m,M}(p)$ for other fixed $M$, provided the relevant CM newform and its $U$-operator combination are identified.","Editorial extension: the appearance of $G-G|U(2)+4G|U(4)$ rather than $\\Psi_7$ itself suggests that for general level the natural error term is a $U(2)$/$U(4)$-modified CM newform; testing this for other discriminants would test the pattern.","Editorial extension: since the correction term is either $\\pm\\frac12\\chi_{-7}(x)x$ or $\\pm\\frac14\\chi_{-7}(x)x$, the sums $H_{a,7}(p)$ as $p$ varies inherit the sign oscillations of $\\chi_{-7}(x)$; studying their average over primes is a natural question the paper does not take up."],"forward_implications":["For every prime $p\\equiv1,2,4\\pmod7$, finding the unique $x$ in $p=x^2+7y^2$ immediately yields all seven values $H_{a,7}(p)$; no other input is needed.","For $p\\equiv3,5,6\\pmod7$, the correction term vanishes and each $H_{a,7}(p)$ is a fixed rational function of $p$ alone, exactly as tabulated at the end of the paper.","The $p$-th coefficient of newform 49.2.a.a is $\\frac12\\sum_{x^2+7y^2=p}\\chi_{-7}(x)x$, so the newform's prime arithmetic is governed by this representation.","The formulas complete the $m=7$ cases left open in earlier studies and confirm that the $\\chi(x)x$ pattern observed for $M=6,8$ persists for $M=7$."],"supporting_citations":[{"why":"Supplies Theorem 2.7, the Rankin-Cohen bracket completion that turns H_{m,7} plus a Lambda term into a quasimodular form after sieving.","marker":"[14]"},{"why":"Provides Proposition 3.1, the explicit U_4 decomposition of the Lambda series used to compute the rational part of the coefficients.","marker":"[16]"},{"why":"Introduces the Psi_k constructions and the chi(x)x prime-term pattern for M=6,8 that this paper extends to M=7.","marker":"[6]"},{"why":"Identifies the newform labeled 49.2.a.a whose prime coefficients become the correction term.","marker":"[7]"},{"why":"Supplies the uniqueness of p=x^2+7y^2 for p congruent to 1, 2, or 4 modulo 7, used in Lemma 4.3.","marker":"[2]"},{"why":"Earlier work proving several m=7 cases by mixed mock modular forms; the present identities complete those cases.","marker":"[4]"},{"why":"Supplies the mock-modular-form identities used to set up the coefficient framework.","marker":"[5]"},{"why":"Provides the Sturm bound criterion used to verify the modular-form identities by finite coefficient checks.","marker":"[17]"}],"fun_headline_variants":["Class-number sums explicit via p = x² + 7y²","For p=x²+7y², Hurwitz sums become simple functions","Sums determined by x from p = x² + 7y²","Chi(-7)(x)x pins down class-number sums"],"cache_read_input_tokens":14848,"weakest_assumption_plain":"The entire derivation hinges on the claim that two specific modular forms agree because their first 56 Fourier coefficients match; if that coefficient computation, or the longer Sturm-bound checks behind Theorem 3.5, contains even one arithmetic error, the prime-term formulas collapse.","fun_headline_variants_meta":{"raw":{"variants":["Class-number sums explicit via p = x² + 7y²","For p=x²+7y², Hurwitz sums become simple functions","Sums determined by x from p = x² + 7y²","Chi(-7)(x)x pins down class-number sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000698,"raw_usage":{"total_tokens":3235,"prompt_tokens":1111,"completion_tokens":2124,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":727,"completion_tokens_details":{"reasoning_tokens":2046}},"tokens_in":727,"tokens_out":2124,"duration_ms":15289,"temperature":1.0,"reasoning_tokens":2046,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:46:14.667992+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run an independent Sturm-bound check of Lemma 4.2 and Theorem 3.5 (the first 56 coefficients and the first 57 or 337 coefficients, respectively). A faster spot check is $p=29$: the theorem predicts $H_{0,7}(29)=8$, $H_{\\pm1,7}(29)=10$, $H_{\\pm2,7}(29)=8$, and $H_{\\pm3,7}(29)=7$, each of which can be evaluated directly from the definition $H_{a,7}(29)=\\sum_{t\\equiv a\\pmod7}H(116-t^2)$.","supporting_citations":[{"cited_title":"Distribution of moments o f hurwitz class numbers in arithmetic progressions and holomorphic projection, 2022","cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 2.7, the Rankin-Cohen bracket completion that turns H_{m,7} plus a Lambda term into a quasimodular form after sieving."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides Proposition 3.1, the explicit U_4 decomposition of the Lambda series used to compute the rational part of the coefficients."},{"cited_title":"Sums of hurwitz class numbers, cm mo dular forms, and primes of the form x2 + ny2, 2024","cited_arxiv_id":null,"evidence_quote":"Introduces the Psi_k constructions and the chi(x)x prime-term pattern for M=6,8 that this paper extends to M=7."},{"cited_title":"The L-functions and modular fo rms database, home page of newform orbit 49.2.a.a, 2024","cited_arxiv_id":null,"evidence_quote":"Identifies the newform labeled 49.2.a.a whose prime coefficients become the correction term."},{"cited_title":"Cox; with contributions by Roger Lipsett","cited_arxiv_id":null,"evidence_quote":"Supplies the uniqueness of p=x^2+7y^2 for p congruent to 1, 2, or 4 modulo 7, used in Lemma 4.3."},{"cited_title":"Sums of class numbers and mixed mock modular forms","cited_arxiv_id":null,"evidence_quote":"Earlier work proving several m=7 cases by mixed mock modular forms; the present identities complete those cases."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the mock-modular-form identities used to set up the coefficient framework."}],"review_version":1}