{"id":"02182171-0758-499a-ba14-84d2a3a1f9a7","arxiv_id":"2507.19971","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The K3 eta-quotients resolve Dawsey-McCarthy conjectures giving explicit identities Hp(HD;1) = psi(p)*ap(f) for five pairs (u,v) with v=3.","lead":"This paper proves five hypergeometric modularity conjectures by constructing a new family of eta-quotients called K3 functions from cubic theta functions. The results connect finite-field character sums to Fourier coefficients of weight-three modular forms and yield new L-value formulas and a Paley graph counting formula.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2's condition (1) is not satisfied for the non-trivial K3 Galois families: the single K3(r,1) functions used as fHD are not Hecke eigenforms, so the proof of Theorem 1 for (u,v)=(3,3),(6,3) has a structural gap.","rationale":"Good faith reading: the paper is a coherent attempt to apply EHMM to five Dawsey–McCarthy cases. The construction of K3 functions, Lemma 3, and the Paley graph corollary are well-motivated. My concern is not that the Hecke actions in Tables 2 and 3 are wrong; it is that they demonstrate the opposite of what condition (1) requires. The reader's weakest assumption focused on the correctness of those computations, which is reasonable but secondary. Even with correct computations, the single K3 functions are not eigenforms; the proof silently replaces fHD by the eigenform completion. This is a hypothesis mismatch in the central argument. It is fixable by either invoking the full EHMM theorem (which may allow a Galois orbit to define the eigenform) or by proving the two affected cases by the same norm-bound argument used in Proposition 2. Since the fix is routine and the truth of the identities is plausible, I do not change the CONDITIONAL verdict; the paper must address the gap before acceptance. I credit the paper for Proposition 2, which gives a complete proof for the hardest (12,3) case, and for the explicit eta-quotient construction.","tokens_in":25281,"tokens_out":9186,"duration_ms":96296,"concrete_test":"For g1=K3(1/3,1)(3τ) ∈ S3(Γ0(27),χ−3), compute T7(g1) with 7≡1 (mod 3). If T7(g1) is not a scalar multiple of g1, condition (1) of Theorem 2 is false for this datum, confirming the gap. Then re-derive the (u,v)=(3,3) identity directly via Proposition 2's method: the supercongruences in [4] give p-adic vanishing mod p^2 and the Deligne/norm bound forces equality for p≥13, with small p checked numerically. If that succeeds, Theorem 1 stands but the proof needs rewriting. Alternatively, compare with Theorem 2.1 of [4] to check whether condition (1) applies to the whole Galois subspace; if so, the paper must state that version explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1 for (u,v)=(3,3) and (6,3) applies Theorem 2 with fHD equal to the K3 function from the Euler integral, i.e. g1=K3(1/3,1)(3τ) and h1=K3(1/6,1)(6τ). Condition (1) of Theorem 2 requires T_p(fHD)=btilde_p·fHD for every prime p≡1 (mod M). The paper never verifies this for any such p. In fact, Table 2 shows T2(g1)=-9g2 and Table 3 shows T5(h1)=-81h5, so the individual K3 functions are not eigenvectors even for the operators that are computed. The paper instead constructs the Hecke eigenform as a linear combination of the Galois orbit (e.g. f27.3.b.b = g1 + 3√-1 g2), but Theorem 2's hypothesis is about fHD, not about the completion f^sharp. Unless the actual EHMM theorem in [4] has a weaker condition than the one reproduced in Theorem 2 (e.g., irreducibility of the Hecke module spanned by the Galois orbit), the quoted theorem does not apply to these two cases. The paper neither states nor verifies any such weaker hypothesis. This is a structural gap in the central proof, not merely a missing numerical check: even if Tables 2 and 3 are correct, condition (1) as written fails or is unproven.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces two families of weight-three eta-quotients, the K3 and K^{kmr}_3 functions, derived from Borwein's cubic theta functions, and uses them with the Explicit Hypergeometric Modularity Method (EHMM) from the author's prior work to prove five Dawsey–McCarthy hypergeometric modularity conjectures (Theorem 1). It also derives special L-value identities (Lemma 3, Corollary 1), Kummer and Atkin–Lehner transformation laws, and a corollary expressing K4(G3(p)) in terms of modular form coefficients (Corollary 2).","tokens_in":25583,"tokens_out":12685,"duration_ms":132917,"significance":"The K3 construction is a clean and explicit cubic analog of the K2 construction, and the L-value and Paley-graph applications are natural. The paper is transparent about relying on the prior EHMM [3,4], and the target eigenforms are given by explicit LMFDB labels with no fitted parameters. If Theorem 1 is established, it would provide a substantial new family of explicit hypergeometric modularity results. However, the proof as written does not verify one of the hypotheses of the quoted EHMM theorem for two of the five cases, so the main result is not yet fully established.","major_comments":[{"comment":"For the cases (u,v)=(3,3) and (6,3), the cusp form fHD produced by the Euler integral is g1=K3(1/3,1)(3τ) and h1=K3(1/6,1)(6τ), respectively. Theorem 2 condition (1) requires T_p(fHD)=btilde_p·fHD for every prime p≡1 (mod M), but the paper never verifies this for g1 or h1. Indeed, Tables 2 and 3 record T2(g1)=-9g2 and T5(h1)=-81h5, showing that these functions are not Hecke eigenvectors. The eigenforms f27.3.b.b and f108.3.c.b are then constructed as linear combinations of the Galois orbit, but Theorem 2's hypothesis is about fHD, not about the eigenform completion. Unless the actual theorem in [4] has a weaker hypothesis, such as irreducibility of the Hecke module generated by the orbit, and that weaker version is stated and proved here, Theorem 2 does not apply to these two cases. This is a structural gap in the proof of Theorem 1.","section":"Section 5, proof of Theorem 1, together with Theorem 2 condition (1)"},{"comment":"Theorem 1 asserts the identity for every prime p≡1 (mod M), but Theorem 2 only supplies the conclusion for primes p>29 in the four cases handled by it, and Proposition 2 supplies p≥13 only for family (5). For families (1)–(4) the primes p=7,13,19 (and p=13 for family (3)) are not covered by any stated argument, and no numerical verification for these small primes is reported. The proof of Theorem 1 as stated is therefore incomplete; the small-prime cases must be checked explicitly, or Theorem 1 must be restricted to the range proven.","section":"Theorem 1 versus Theorem 2 and Proposition 2"},{"comment":"The Hecke operator actions are asserted with the phrase \"It is straightforward to check\" and no computational details are given. Since these actions uniquely determine the eigenform completions that appear in Theorem 1, the computations should be documented, for example by giving q-expansions up to the Sturm bound or by providing reproducible code.","section":"Example 1 and Tables 2–3"}],"minor_comments":[{"comment":"The title contains a typo: \"DA WSEY\" should be \"DAWSEY\".","section":"Title"},{"comment":"The symbol S2 is reused for the subgroup of squares in F_q^×, conflicting with the set S2 defined in (2.2); please rename one of the two objects.","section":"Section 7, before Theorem 6"},{"comment":"The same symbol p is used for the rational prime and for the prime ideal above it; using a fraktur symbol such as \\mathfrak p for the ideal would remove ambiguity.","section":"Theorem 1 statement"}],"recommendation":"major_revision","confidential_remarks":"The main gap is local and likely fixable: the authors should either invoke the full EHMM theorem from [3,4] with the correct hypothesis on the Hecke module generated by the Galois orbit, or prove the missing eigen-property for the individual K3 functions. The small-prime checks should also be reported. If the weaker hypothesis is not available in [4], the cases (u,v)=(3,3) and (6,3) would require additional work beyond the present manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the bottom line. The K3 construction is good work, and the paper is worth refereeing, but the proof of Theorem 1 for (u,v)=(3,3) and (6,3) does not satisfy the hypotheses of Theorem 2 as stated. That is a structural gap, not a missing numerical check.\n\nWhat is genuinely new: the K3(r,1) eta-quotients built from Borwein's cubic theta functions, the explicit Galois families and eigenform completions, the five modularity identities, the L-value formulas in Corollary 1, and the Paley graph application in Corollary 2. Section 3.1 is clean; the derivation from the Euler integral, t3(τ), and the a,b,c theta functions checks out. The (2,3) case was already known from Mortenson, and Remark 4 says so; the reproof via EHMM is still a useful data point. The reliance on [3,4] is legitimate use of prior theorems, not circularity, and there are no fitted constants.\n\nThe soft spot is in Section 5. Theorem 2 condition (1) requires the single cusp form fHD computed from the Euler integral to satisfy T_p(fHD)=btilde_p fHD for every p≡1 mod M. In the (3,3) and (6,3) cases, fHD is K3(1/3,1)(3τ) or K3(1/6,1)(6τ). But Table 2 gives T2(g1)=-9g2 and Table 3 gives T5(h1)=-81h5. The individual K3 functions are not eigenvectors; the eigenform is the linear combination g1+3√-1 g2 (or h1+9√-1 h5). So the theorem quoted does not apply. The paper seems to conflate fHD with the completed eigenform f^sharp. If the EHMM in [4] has a weaker \"irreducible Hecke module\" formulation, it needs to be stated and proved here. The tables themselves may be correct; the missing piece is the logical bridge from a two-dimensional Hecke-stable subspace to the single-form hypothesis in Theorem 2. Corollary 2 inherits this because it uses the (3,3) case.\n\nA smaller issue: Theorem 2 only asserts primes p>29, while Theorem 1 claims all p≡1 mod M. The small primes are dismissed with a remark. That is routine and fixable, but the paper should include the checks or state the theorem with the p>29 caveat.\n\nOverall, the construction and applications are substantive, and the gap looks repairable. The conclusion may well be true. A serious referee should engage with it; I would send it out. If I needed the (3,3) or (6,3) modularity result, I would wait for the revised version.","headline":"Solid K3 construction and applications, but the proof of the (3,3) and (6,3) cases misapplies Theorem 2 because the individual K3 eta-quotients are not Hecke eigenforms.","tokens_in":26199,"tokens_out":6418,"would_cite":false,"duration_ms":70724,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05C90","11F11","11R32","33C05","33C60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves five Dawsey–McCarthy hypergeometric modularity conjectures by constructing explicit weight-three Hecke eigenforms from cubic theta eta-quotients.","keywords":["hypergeometric modularity","eta-quotients","Hecke eigenforms","cubic theta functions","generalized Paley graphs","special L-values","Dawsey–McCarthy conjectures","Explicit Hypergeometric Modularity Method"],"falsifier":"Compute the two sides of any one of the five identities at a prime $p$ with $13\\le p\\le 29$ and $p\\equiv 1\\pmod M$; a single mismatch falsifies the all-primes claim. Separately, a direct computation of the asserted Hecke relations, for example $T_5^2=45$, $T_7^2=-135$, $T_{11}^2=-243$, and $T_5T_7=5T_{11}$, on the relevant $K_3$ subspace would confirm or refute the eigenform identification itself.","tokens_in":25012,"feed_emoji":"🔢","tokens_out":16565,"duration_ms":158787,"temperature":0.7,"pith_summary":"This paper proves five of the hypergeometric modularity conjectures proposed by Dawsey and McCarthy. For each pair $(u,v)$ in $\\{(2,3),(3,3),(4,3),(6,3),(12,3)\\}$, it establishes that the finite-field hypergeometric sum $H_p(HD_{DM}(u,v);1;\\mathfrak{p})$ equals a character twist $\\psi_{(u,v)}(\\mathfrak{p})$ of the $p$-th Fourier coefficient of an explicit weight-three Hecke eigenform, at every prime ideal $\\mathfrak{p}$ above a prime $p \\equiv 1 \\pmod M$. The engine is a new family of eta-quotients, the $K_3$ functions, built from the weight-one cubic $\\theta$ functions and a cubic analogue of Jacobi's identity; in four Galois families these quotient functions are completed to the target eigenforms by explicit Hecke operator computations. The identities are then used to derive special $L$-value formulas for the new eigenforms and an exact formula for the number of order-four complete subgraphs in cubic generalized Paley graphs. This matters because hypergeometric sums are hard to evaluate directly, and matching them to modular form coefficients creates an explicit dictionary between finite-field character sums and modular arithmetic.","feed_headline":"Cubic theta functions settle five hypergeometric modularity conjectures","feed_subtitle":"Matching finite-field sums to weight-three eigenforms yields special L-values and Paley-graph clique counts.","key_machinery":"The central object is the $K_3$ family of eta-quotients $K_3(r,1)(\\tau)=\\eta(\\tau)^{9-12r}\\eta(3\\tau)^{12r-3}$ for $r\\in\\{j/12:1\\le j\\le 11\\}$, built from the weight-one cubic $\\theta$ functions $a,b,c$ satisfying $a^3=b^3+c^3$ and the $\\Gamma_0(3)$ Hauptmodul $t_3=(c/a)^3$. After the rescaling $\\tau\\mapsto N_{K_3}(r)\\tau$ these are weight-three holomorphic cusp forms, and in the four Galois families of Table 1 they are combined, with constants determined by explicit Hecke operator computations, into the target Hecke eigenforms $f^\\sharp$, meaning modular forms that are simultaneous eigenvectors for the Hecke operators. The proof mechanism is the two-part Explicit Hypergeometric Modularity Method: the Euler-integral and Schwarz-map computation produces the modular form from the hypergeometric datum, and the chain of $p^2$ supercongruences identifies $H_p(HD;1;\\mathfrak{p})$ with $a_p(f^\\sharp)$ up to the character twist.","core_discovery":"Theorem 1 asserts that for the five pairs $(u,v)$ listed above, $H_p(HD_{DM}(u,v);1;\\mathfrak{p}) = \\psi_{(u,v)}(\\mathfrak{p})\\, a_p(f^\\sharp_{HD_{DM}(u,v)})$ at every prime ideal $\\mathfrak{p}$ above each prime $p\\equiv 1 \\pmod M$, where $f^\\sharp_{HD_{DM}(u,v)}$ are the explicit weight-three Hecke eigenforms $f_{12.3.c.a}$, $f_{27.3.b.b}$, $f_{16.3.c.a}$, $f_{108.3.c.b}$, and $f_{432.3.g.e}$. The paper constructs the $K_3$ eta-quotient family $K_3(r,1)(\\tau)=\\eta(\\tau)^{9-12r}\\eta(3\\tau)^{12r-3}$ for $r=j/12$ with $1\\le j\\le 11$, proves by the eta-quotient criterion that these are weight-three holomorphic cusp forms after scaling $\\tau\\mapsto N_{K_3}(r)\\tau$, and identifies the eigenform completions in the four Galois families of Table 1 using explicit Hecke operator constants. On the hypergeometric side, the Euler integral formula and the Schwarz map connect the same data to the Hauptmodul $t_3(\\tau)=27\\eta(3\\tau)^9/(3\\eta(3\\tau)^3+\\eta(\\tau/3)^3)^3$, so the two-part Explicit Hypergeometric Modularity Method congruence argument closes the loop. As applications, Lemma 3 and Corollary 1 express the special values $L(f,1)$ as explicit combinations of hypergeometric periods, and Corollary 2 converts the $(3,3)$ identity into a formula for $K_4(G_3(p))$, the number of order-four cliques in the cubic generalized Paley graph.","pith_inferences":["Going beyond the paper, the same $K_3$ machinery may apply to other hypergeometric data from the original survey, such as the remaining $v\\neq 3$ pairs, whenever the datum admits a Hauptmodul substitution; a direct test would be to run the construction on those pairs and compare the resulting sums with known eigenform coefficients.","The paper's general theorem is stated for primes $p>29$, so a reader who wants to use Theorem 1 at small primes should verify the five identities numerically there; the paper does not report those checks.","The $L$-value relations in Corollary 1, combined with the Kummer transformation (6.9), suggest further identities among the hypergeometric periods $3P_2(1)$ and the special $L$-values of the $K_3$ eigenforms that are not spelled out in the paper and could be tested at the listed $r$-values.","Because the $(3,3)$ identity feeds directly into the graph count $K_4(G_3(p))$, the same hypergeometric-to-modular dictionary may give modular-form formulas for larger cliques in generalized Paley graphs, though the paper only treats order four."],"forward_implications":["The five identities supply explicit replacements for the corresponding conjectured formulas: each $H_p(HD_{DM}(u,v);1;\\mathfrak{p})$ can be computed from the Fourier coefficients of a known weight-three eigenform at primes $p\\equiv 1\\pmod M$.","Lemma 3 gives $3P_2(HD_{K_3}(r,1);1)=2\\cdot 3^{3r-1/2}N\\,\\pi\\, L(K_3(r,1)(N\\tau),1)$, so the special $L$-values of the five eigenforms are finite combinations of hypergeometric periods as listed in Corollary 1.","The Kummer transformation (6.9) yields the companion eta-quotient family $K_3^{kmr}(r)=\\eta(\\tau)^{1-12r}\\eta(3\\tau)^{12r+5}$, which coincides with $K_3$ values at $r=1/12,1/6,1/4$ but is generally not holomorphic.","For primes $p\\equiv 1\\pmod 6$, the $(3,3)$ identity gives an exact formula for $K_4(G_3(p))$ in terms of $a_p(f_{27.2.a.a})$ and $a_p(f_{27.3.b.b})$, confirming the Dawsey–McCarthy graph conjecture.","The Atkin–Lehner involution $\\tau\\mapsto -1/(3\\tau)$ maps $K_3(r,1)(\\tau)$ to a constant multiple of $K_3(1-r,1)(\\tau)$, so the $K_3$ family is closed under this symmetry."],"supporting_citations":[{"why":"Supplies the Explicit Hypergeometric Modularity Method, the general Theorem 2, and the p^2 supercongruence reduction that the proof uses to identify H_p with a_p.","marker":"[4]"},{"why":"Companion paper providing the K2 functions, special L-value formulas, and the Galois-family construction that the K3 argument parallels.","marker":"[3]"},{"why":"Source of the cubic theta functions and the identity a^3=b^3+c^3 used to define the K3 eta-quotients.","marker":"[14]"},{"why":"Provides the cubic modular identities and the Hauptmodul t3 needed in the K3 derivation.","marker":"[16]"},{"why":"Contains the Dawsey–McCarthy conjectures, namely their Table 2, that Theorem 1 resolves, plus the survey context.","marker":"[20]"},{"why":"Gives the K4(G3(q)) formula and the conjecture about modular forms that Corollary 2 confirms.","marker":"[19]"},{"why":"Establishes the hypergeometric Galois representations whose traces are the H_p sums and supply the Weil bound used in the proof.","marker":"[28]"},{"why":"Shows how Galois families of K2 functions complete to eigenforms and how special L-values transform; this is the template for Example 1 and the K3 L-value results.","marker":"[51]"},{"why":"Provides the Euler integral formula, the Schwarz map, and the P-function normalization connecting hypergeometric data to modular forms.","marker":"[22]"},{"why":"Gives the eta-quotient cusp-form criterion used to prove that the K3 functions are weight-three holomorphic cusp forms.","marker":"[47]"}],"fun_headline_variants":["K3 eta-quotients resolve Dawsey-McCarthy hypergeometric modularity","Cubic theta functions prove five modularity conjectures","K3 functions yield Paley graph clique counts and L-values","Hypergeometric periods tied to weight-three eigenforms","Eta-quotients settle Dawsey-McCarthy hypergeometric conjectures"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the stated Hecke operator actions identifying the five eigenforms are correct, together with the unstated assumption that the general method, proved only for primes above $29$, still holds at the small primes claimed in Theorem 1.","fun_headline_variants_meta":{"raw":{"variants":["K3 eta-quotients resolve Dawsey-McCarthy hypergeometric modularity","Cubic theta functions prove five modularity conjectures","K3 functions yield Paley graph clique counts and L-values","Hypergeometric periods tied to weight-three eigenforms","Eta-quotients settle Dawsey-McCarthy hypergeometric conjectures"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00068,"raw_usage":{"total_tokens":3186,"prompt_tokens":1137,"completion_tokens":2049,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":753,"completion_tokens_details":{"reasoning_tokens":1956}},"tokens_in":753,"tokens_out":2049,"duration_ms":18441,"temperature":1.0,"reasoning_tokens":1956,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:52:09.737790+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two sides of any one of the five identities at a prime $p$ with $13\\le p\\le 29$ and $p\\equiv 1\\pmod M$; a single mismatch falsifies the all-primes claim. Separately, a direct computation of the asserted Hecke relations, for example $T_5^2=45$, $T_7^2=-135$, $T_{11}^2=-243$, and $T_5T_7=5T_{11}$, on the relevant $K_3$ subspace would confirm or refute the eigenform identification itself.","supporting_citations":[{"cited_title":"The explicit-hypergeometric modularity method I","cited_arxiv_id":null,"evidence_quote":"Supplies the Explicit Hypergeometric Modularity Method, the general Theorem 2, and the p^2 supercongruence reduction that the proof uses to identify H_p with a_p."},{"cited_title":"The Explicit Hypergeometric-Modularity Method II","cited_arxiv_id":"2411.15116","evidence_quote":"Companion paper providing the K2 functions, special L-value formulas, and the Galois-family construction that the K3 argument parallels."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the cubic theta functions and the identity a^3=b^3+c^3 used to define the K3 eta-quotients."},{"cited_title":"Borwein, Peter B","cited_arxiv_id":null,"evidence_quote":"Provides the cubic modular identities and the Hauptmodul t3 needed in the K3 derivation."},{"cited_title":"Hypergeometric functions over finite fields and modular forms: a survey and new conjectures","cited_arxiv_id":null,"evidence_quote":"Contains the Dawsey–McCarthy conjectures, namely their Table 2, that Theorem 1 resolves, plus the survey context."},{"cited_title":"Generalized Paley graphs and their complete subgraphs of orders three and four","cited_arxiv_id":null,"evidence_quote":"Gives the K4(G3(q)) formula and the conjecture about modular forms that Corollary 2 confirms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the hypergeometric Galois representations whose traces are the H_p sums and supply the Weil bound used in the proof."},{"cited_title":"Hypergeometric func- tions over finite fields","cited_arxiv_id":null,"evidence_quote":"Provides the Euler integral formula, the Schwarz map, and the P-function normalization connecting hypergeometric data to modular forms."},{"cited_title":"The web of modularity: arithmetic of the coefficients of modular forms and q-series, vol- ume 102 of CBMS Regional Conference Series in Mathematics","cited_arxiv_id":null,"evidence_quote":"Gives the eta-quotient cusp-form criterion used to prove that the K3 functions are weight-three holomorphic cusp forms."}],"review_version":1}