{"id":"a681bf4b-49f8-4df7-8868-296454baeb41","arxiv_id":"2511.08288","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For U(N), SU(N), SO(N), Sp(N), the paper gives plausible large-N heat-trace expansions, but its new random-surface representation misses the trivial representation and is inconsistent as stated.","lead":"This paper derives the large-size expansion of the central heat trace on all compact classical groups and connects it to ramified coverings of a torus and to Gromov–Witten invariants. However, the headline random-surface formula drops the empty/trivial contribution and disagrees with the paper's own limit at leading order.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Random-surface representation silently drops the empty-partition/degree-zero sector, so the claimed integral misses the constant term of the trace.","rationale":"The reader's weakest_assumption identifies the exact load-bearing defect. I verified it directly in the printed proof: for U(N), Section 3.2 starts the sums at n1,n2≥1, while Theorem 2.9's coefficients require n1,n2≥0; for SO(N), the proof uses n≥1 although the coefficient formula includes the n=0 term. Since ρ_t is defined with support on degrees n≥1, the displayed integral representations cannot match the trace in the N→∞ limit: the constant term is wrong, and the theorem contradicts Corollary 2.12. This is a correctness problem in a headline result, not a stylistic or convention issue. The asymptotic-expansion part (Theorem 1.1 / Theorem 2.9) appears internally plausible, with real remainder estimates, but Theorem 1.2 is one of the paper's two central claims and is false as stated. The appropriate disposition is to require revision before acceptance; since the reader already reached REJECT, I recommend no change to that verdict.","tokens_in":33604,"tokens_out":8655,"duration_ms":90484,"concrete_test":"Set q = e^{-t/2} and take N→∞ in Theorem 3.3(ii) for SO(N). The left side is φ(q)^{-1} by Corollary 2.12; the right side reduces to Σ_{n≥1} q^n p(n) = φ(q)^{-1} − 1. If this gap reproduces, the theorem's displayed identities need a degree-zero contribution. Then recompute (23) and (24) after inserting an explicit empty-covering atom δ_∅ with weight 1 and check whether all displayed equalities hold with the stated O_t(N^{-...}) remainders.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 3.1 the measure ρ_t is defined on R = ⨆_{n≥1} ..., so degree 0 is absent. However, Corollary 2.6 and Theorem 2.9 express the trace as an expectation over q_t-uniform random partitions, which include the empty partition, contributing the trivial highest weight with Casimir number 0. In the proofs of Theorems 3.3 and 3.4, the sums are silently changed to n1,n2≥1 (for U/SU) and n≥1 (for SO/Sp), and no compensating degree-zero term is added. For SO(N), the N→∞ limit of the right-hand side of (24) is Σ_{n≥1} q_t^n p(n) = φ(q_t)^{-1} − 1, whereas Corollary 2.12 and the actual trace give φ(q_t)^{-1}; the missing 1 is exactly the trivial representation. For U(N), the N→∞ limit of (23) is θ(q_t)(φ(q_t)^{-1}−1)^2 instead of θ(q_t)φ(q_t)^{-2}. Thus Theorem 1.2 as stated is not an asymptotic representation of the central heat trace: even the leading constant is wrong. A corrected statement needs either an explicit degree-zero atom in ρ_t or an added trivial-sector contribution.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the large-N asymptotics of the central heat trace Tr(e^{t/2 Δ}) on the compact classical groups U(N), SU(N), SO(N), and Sp(N). The authors first prove (Theorem 2.9) a full asymptotic expansion in powers of 1/N, extending a previous result for U(N). The proof uses a correspondence between highest weights and integer partitions, expressed through q-uniform random partitions, together with Taylor expansion and tail estimates. The paper further claims (Theorems 3.3 and 3.4, summarized as Theorem 1.2) that this trace admits a representation as an integral over Hurwitz spaces of ramified coverings of the torus, with a measure ρ_t supported on coverings of positive degree. It also derives a Yang–Mills/Gromov–Witten duality (Theorem 1.3 and Corollary 4.1), expressing the expansion coefficients via generating functions of Gromov–Witten invariants of an elliptic curve.","tokens_in":33897,"tokens_out":12071,"duration_ms":104181,"significance":"If correct, the asymptotic expansion part would be a valuable extension of the U(N) result to all compact classical groups, with explicit coefficients and applications to the Casimir spectrum and to gauge/string duality. The proofs for SU(N), SO(N), and Sp(N) contain detailed remainder estimates. However, the random-surface representation, advertised as a central new result, is false as stated: the measure ρ_t is supported on coverings of degree n≥1, while the q-uniform partition model of Corollary 2.6 includes the empty partition, which contributes the trivial-representation term. This omission changes even the leading constant of the claimed integral representation. Consequently Theorem 1.2 and the associated Yang–Mills/Hurwitz duality are not established.","major_comments":[{"comment":"The measure ρ_t is defined on R = ⊔_{n≥1} ⊔_{k≥0} H_1(n,2k), so degree zero is absent. However, Corollary 2.6 and Theorem 2.9 express the trace as an expectation over q_t-uniform random partitions, which include the empty partition (with weight φ(q_t)). In the proofs of Theorems 3.3 and 3.4 (Section 3.2), the sums over n_1,n_2 (for U/SU) and n (for SO/Sp) are silently restricted to n≥1, with no compensating degree-zero term. For SO(N), the N→∞ limit of the right-hand side of Eq. (24) is Σ_{n≥1} q_t^n p(n) = φ(q_t)^{-1} − 1, whereas Corollary 2.12 and the actual trace give φ(q_t)^{-1}. For U(N), the corresponding limit of Eq. (23) is θ(q_t)(φ(q_t)^{-1}−1)^2 instead of θ(q_t)φ(q_t)^{-2}. Thus even the leading constant is wrong, and the O_t(N^{-p-1}) remainder cannot absorb the missing non-vanishing term. Theorem 1.2 as stated is therefore not an asymptotic representation of the central hea","section":"§3.1–3.2, Eq. (23)–(24)"},{"comment":"The same degree-zero omission affects the exponential-cutoff version. In the proofs for U(N) and SU(N), the set \\tildeΛ(γ) with |α|,|β|≤N^γ does include the empty partition for large N, but when the expectation is rewritten as a sum over sizes, the sums begin at n_1,n_2≥1. The exponentially small remainder O_t(e^{-cN^γ}) does not account for the missing constant contribution. Hence Theorem 3.4 suffers from the same leading-order error and cannot be repaired by the stated error estimates.","section":"§3.2, Theorem 3.4"}],"minor_comments":[{"comment":"The introduction states that Φ^p_{t,N} 'vanishes asymptotically as N→∞' for U(N)/SU(N). This is contradicted by the limits computed after Theorem 3.3: lim_{N→∞} Φ^{p,A'}_{t,N} = θ(q_t) and lim_{N→∞} Φ^{p,A}_{t,N} = 1. The wording should be corrected.","section":"§1.2, Theorem 1.2; §3.1.1"},{"comment":"After applying Eq. (29) with k_0 = p − 2k_1, the remainder is written as R_{p−k_1}(tn/(2N)); it should be R_{p−2k_1}(tn/(2N)).","section":"§3.2, proof for SO(N)"},{"comment":"The notation '(q_t/4)^{|α|}' is potentially confusing; it presumably means (q_{t/4})^{|α|} with q_{t/4}=e^{-t/8}. Please clarify.","section":"§2.4, proof for SU(N)"},{"comment":"The paper relies on the authors' previous U(N) result [LM25] for the U(N) part of Theorem 2.9. Since this is a published result, this is acceptable, but a brief statement of the U(N) theorem in the present notation would improve self-containedness.","section":"General"}],"recommendation":"reject","confidential_remarks":"The asymptotic expansion results for SU/SO/Sp appear technically sound and could form the basis of a publishable paper if the random-surface representation were corrected or removed. However, as it stands, a central advertised theorem (Theorem 1.2, via Theorems 3.3 and 3.4) is false at leading order due to the omitted degree-zero/empty-partition sector. This is a load-bearing error in the paper's main narrative, not a local presentational issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe headline result here is the random-surface representation (Theorem 1.2), and it is wrong as stated. The measure ρ_t is defined on coverings of positive degree, but the trace includes the empty partition (trivial representation). In the proofs of Theorems 3.3 and 3.4 the sums are silently restricted to n≥1, dropping the degree-zero term. For SO(N) the N→∞ limit of the RHS of (24) is φ(q_t)^{-1}−1 instead of φ(q_t)^{-1}; for U(N) the missing term is even larger. This is not a minor gap: the leading constant of the advertised representation is wrong.\n\nWhat is actually new and good: the full large-N asymptotic expansion for SU(N), SO(2N+1), Sp(N), SO(2N) (Theorem 2.9) is a substantial extension of the authors' prior U(N) result. The proof via q-uniform random partitions is detailed, the remainder estimates are plausible, and the coefficients are explicit. The Gromov–Witten rewriting (Theorem 1.3) is a neat observation. The paper is clearly written and the authors are honest about relying on their own published work.\n\nThe soft spot is confined to Section 3, but it is load-bearing: the paper advertises a random-surface representation of the full central heat trace, and that representation omits the trivial sector. The fix is straightforward in principle—add a degree-zero atom to ρ_t or subtract the trivial contribution—but it changes the statements of Theorems 1.2, 3.3, and 3.4, and any downstream corollaries.\n\nIf you read only the expansion part, you get a solid result. If you read the random-surface part, you get a counterexample to the stated theorem. The paper deserves a serious referee, because the expansion is valuable and the flaw is repairable, but it should not be accepted in its current form.\n\nBest,\n[Your name]","headline":"Solid large-N expansion for all classical groups, but the advertised random-surface representation drops the trivial sector and is false as stated.","tokens_in":34400,"tokens_out":4449,"would_cite":false,"duration_ms":42407,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05A17","14H30","43A75","58J50","81T13","81T35"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every compact classical group, the central heat trace has a full 1/N asymptotic expansion, and its coefficients are explicit functionals of Hurwitz numbers and Gromov–Witten invariants on a torus.","keywords":["heat kernel","compact classical groups","central trace","asymptotic expansion","random partitions","Hurwitz spaces","ramified coverings","Gromov–Witten invariants"],"falsifier":"Compute both sides of (23) for U(N) at N=∞: the left side tends to θ(q_t)/φ(q_t)^2, while the right side, using H_1(n,0)=p(n) and the χ=0 sector, tends to θ(q_t)(∑_{n≥1} q_t^n)^2 = θ(q_t)(1/φ(q_t)-1)^2. The two constants differ, so the identity as stated fails unless a degree-zero term is added.","tokens_in":33484,"feed_emoji":"🌀","tokens_out":9377,"duration_ms":84327,"temperature":0.7,"pith_summary":"The paper sets out to prove that, for every compact classical family — unitary, special unitary, special orthogonal, and symplectic — the trace of the heat kernel acting on central functions has an explicit full asymptotic expansion in powers of 1/N, with coefficients determined by the algebra of shifted symmetric functions on integer partitions. It further claims that this trace is asymptotically a partition function of random ramified coverings of a torus, a rigorous form of the Gross–Taylor gauge/string duality in genus 1, and that the same coefficients are explicit functionals of the Gromov–Witten generating function of an elliptic curve. A corollary is an asymptotic spectral gap of 1 for the Laplace–Beltrami operator, and a counting law for the Casimir spectrum with exponential Hardy–Ramanujan growth. The key bridge is a highest-weights-to-partitions correspondence under which Casimir eigenvalues stabilize to sizes of partitions as N grows.","feed_headline":"Heat trace on all classical groups expands in 1/N","feed_subtitle":"Ramified coverings of the torus and elliptic Gromov–Witten invariants provide the coefficients.","key_machinery":"The load-bearing object is the highest-weight/partition correspondence λ_N: for U(N), a weight is built from a pair of partitions (α,β) and an integer n, with splitting point ⌊(N+1)/2⌋; for SU(N), SO(N), and Sp(N) similar bijections hold. Under this correspondence, the Casimir number takes the form |α|+|β| (or |μ|) plus explicit rational corrections in 1/N involving the total content K(α)=Σ_{□∈α} c(□). This turns the trace into an expectation of e^{-t/2 c_2} over q_t-uniform and Gaussian variables. The proof machinery consists of Taylor expansion of that exponential, a lower bound on the corrected Casimir (Lemma 2.7), and deviation inequalities for the length and size of q_t-uniform partitio","core_discovery":"The central claim is that the central heat trace Tr(e^{t/2 Δ_{G_N}}) can be written, for each compact classical group, as an expectation against a q_t-uniform random integer partition (q_t = e^{-t/2}), with the Casimir number of each representation expressed as a linear statistic |α|+|β| (or |μ|) plus a controlled 1/N correction. Expanding the exponential and bounding the remainder via tail estimates for partition lengths yields a full asymptotic expansion in powers of 1/N for all unitary, special unitary, special orthogonal, and symplectic groups. Re-expressing the same expansion using the identity H_1(n,2k) = Σ_{α⊢n} K(α)^{2k} — Hurwitz numbers of the torus — yields the claimed representat","pith_inferences":["A natural extension is to higher genus: the authors conjecture a Yang–Mills/Gromov–Witten duality for genus g≥2 that would require a similar asymptotic expansion of the Witten zeta function, for which only partial results exist.","The Hardy–Ramanujan-type growth of the Casimir counting law suggests a direct link between spectral statistics of large classical groups and partition asymptotics; one could test numerically whether the number of representations with Casimir ≤ x follows exp(C√x) with the same C as the partition function.","Because the measure ρ_t has infinite total mass, the integral representation requires cutoffs; an alternative way to restore the missing degree-zero sector would be to extend ρ_t to degree 0 with a delta measure at the trivial covering, which would make the identity exact rather than asymptotic.","The random-surface representation may extend to Wilson loop expectations on the torus, since the underlying monodromy data of the coverings already encode holonomies."],"forward_implications":["The full 1/N expansion gives a rigorous large-N limit for two-dimensional Yang–Mills partition functions on a torus with any compact classical gauge group, with all coefficients computable from Hurwitz numbers.","The random-surface representation makes the Gross–Taylor gauge/string duality quantitative in genus 1, including for SO/Sp groups, where the covering is single rather than pairwise coupled.","The asymptotic spectral gap of 1 implies that the lowest nonzero eigenvalue of -Δ_{G_N} converges to 1, so the heat kernel's decay rate is asymptotically e^{-t/2}.","The expression of the coefficients as functionals of the Gromov–Witten generating function on an elliptic curve provides a new Yang–Mills/Gromov–Witten duality, and, via the Bloch–Okounkov theorem, a recursive way to compute all coefficients.","The same expansion method extends to central measures induced by infinitely divisible laws, not just the heat kernel."],"fun_headline_variants":["Heat trace on all classical groups: full 1/N expansion","Central heat trace: complete asymptotic series in 1/N","Torus covers give 1/N expansion for heat trace on classical groups","Heat trace expansion links classical groups to Gromov-Witten invariants"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The random-surface representation in Theorems 3.3 and 3.4 presupposes that the degree-zero sector of the underlying partition model can be discarded; the proof restricts the sums to coverings of positive degree without adding a compensating term, and for unitary groups this omission changes the constant term of the trace at N=∞.","fun_headline_variants_meta":{"raw":{"variants":["Heat trace on all classical groups: full 1/N expansion","Central heat trace: complete asymptotic series in 1/N","Torus covers give 1/N expansion for heat trace on classical groups","Heat trace expansion links classical groups to Gromov-Witten invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000535,"raw_usage":{"total_tokens":2413,"prompt_tokens":757,"completion_tokens":1656,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":1582}},"tokens_in":501,"tokens_out":1656,"duration_ms":15745,"temperature":1.0,"reasoning_tokens":1582,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T22:53:09.641415+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of (23) for U(N) at N=∞: the left side tends to θ(q_t)/φ(q_t)^2, while the right side, using H_1(n,0)=p(n) and the χ=0 sector, tends to θ(q_t)(∑_{n≥1} q_t^n)^2 = θ(q_t)(1/φ(q_t)-1)^2. The two constants differ, so the identity as stated fails unless a degree-zero term is added.","supporting_citations":[],"review_version":1}