{"id":"ceeb7f0b-e9af-4b54-8c98-c8896bbd1369","arxiv_id":"1908.08562","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For spectra containing a zero mode, a renormalized Green's function derivation yields the sum rule of order 1+1/N, matching Rayleigh-Schrodinger perturbation theory to second order.","lead":"This paper derives formulas for spectral sum rules when the system has a zero-energy mode, using a renormalized Green's function method, and verifies them against perturbation theory and numerics. The result extends earlier work from positive spectra to Neumann or periodic boundary conditions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The validity of Eq. (38) hinges on the unproven substitution of q^(k) from the positive-definite case of Ref. [1]; the zero-mode pole cancellation in the second-order trace is never demonstrated.","rationale":"The reader's weakest_assumption identifies exactly the step I consider most load-bearing: the q^(k) coefficients are imported from Ref. [1] by substitution, without a derivation in the null-mode setting. I agree that this is the least secure part of the argument, because the zero-mode pole structure makes the second-order cancellation in Eq. (35) nontrivial. I did not find a concrete algebraic error in the substitution; the algebraic form of Eq. (22) suggests it should go through. However, the burden is on the paper to show it, and the numerical check, while supportive, is not a proof for general N and arbitrary densities. The title also overclaims by saying 'rational order' when only s = 1 + 1/N is treated, and Eq. (38) is a condensed formula that should carry an explicit finite-part prescription for zero-mode pairs in the double sum. These are secondary to the q-substitution concern. Since the calculation is plausible and the numerical check agrees, the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT.","tokens_in":89,"tokens_out":32059,"duration_ms":560791,"concrete_test":"Perform a symbolic computation for N=2 (and if possible N=3) with ε_0=0: solve the recursion (22) for q^(0), q^(1), q^(2) directly, compare q^(2) with Eq. (24), then insert both into Eq. (34), expand in γ, and collect the coefficients of γ^{-s}, γ^{1-s}, and γ^{2-s} at order λ^2. Verify that these exactly cancel against the corresponding terms of the expansion (33) of 1/(E0(γ))^s. If any pole survives, or if q^(2) differs from Eq. (24), Eq. (38) is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4 obtains the renormalized sum rule by combining the Q and q expansions in Eq. (34). The q^(k) used there are taken from the positive-definite calculation of Ref. [1] via the substitution ε_n -> ε_n + γ (footnote 1), and this is the only route to Eqs. (35)-(38). The substitution is plausible because Eq. (22) is algebraic in denominators ε_n+γ, but it is not automatic: when ε_0=0 the zero mode produces terms with 1/γ and 1/γ^2, and the final formula requires a delicate cancellation between the γ^{1-s} and γ^{2-s} poles in Z(s) and the subtraction 1/(E0(γ))^s in Eq. (33). The paper does not show this cancellation or prove that the q^(k) of Eq. (24) solve Eq. (22) in the null-mode case. If a coefficient in q^(2) is wrong for n or m equal to zero, the renormalized limit either diverges or picks up a finite error in the zero-mode coupling term -s sum'_n |<0|σ|n>|^2 / ε_n^s in Eq. (37). The numerical check in Section 5, while encouraging, uses one specific density and one value N=2, and it cannot locate such an algebraic error in the general N case. Thus the central claim is only conditionally supported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the author's previous calculation of rational-order sum rules for quantum billiards to spectra containing a null eigenvalue. The method introduces an infinitesimal shift γ to make the spectrum positive definite, computes the relevant Green's functions of order 1/N in perturbation theory up to second order in the inhomogeneity, and then defines a renormalized sum rule by subtracting the contribution of the fundamental mode and taking γ→0. The main result is Eq. (38), which expresses the renormalized sum rule in terms of traces over non-zero modes plus an extra zero-mode coupling term. The paper claims this matches Eq. (9) of Ref. [4] obtained by direct Rayleigh-Schrödinger perturbation theory. A numerical check for a homogeneous string with linear density and Neumann boundary conditions is presented, confirming the formula for s=1 and s=3/2.","tokens_in":7290,"tokens_out":9267,"duration_ms":83080,"significance":"If the result is correct, this provides a trace-based derivation of rational-order sum rules in the presence of a zero mode, complementing the author's earlier eigenvalue-based derivation. The final formula is explicit and the numerical verification for a nontrivial example is encouraging. However, the derivation depends on importing perturbative coefficients from the positive-definite case without proof, and the renormalization limit is not demonstrated in detail. The paper is a short technical note that is likely of interest to specialists in spectral zeta functions and inhomogeneous billiards, but the missing justifications need to be supplied before the central claim can be fully accepted.","major_comments":[{"comment":"The coefficients q^(k) in Eq. (24) are imported from Ref. [1] via the substitution ε_n → ε_n + γ, but it is not shown that they satisfy the matrix equation (22) when the unperturbed spectrum contains a zero mode. This is load-bearing because the entire trace computation in Section 4 uses these coefficients, including their behavior for n=0 or m=0 where denominators involve γ. Please provide a derivation or an explicit verification for k=0,1,2 that the substituted q^(k) solve (22), paying particular attention to the zero-mode terms.","section":"§2, footnote 1, Eq. (24)"},{"comment":"The cancellation of the divergent terms γ^{-s} and γ^{1-s} in the definition of the renormalized sum rule is asserted but not demonstrated. Specifically, Eq. (36) contains terms proportional to γ^{-s} and γ^{1-s} with coefficients involving <0|σ|0> and <0|σ|n>, and Eq. (33) has matching terms; the limit γ→0 in Eq. (37) is only valid if these coefficients agree exactly. Please show the cancellation explicitly by writing the difference Z(s) − 1/(E0(γ))^s before taking the limit.","section":"§3–4, Eqs. (33), (36), (37)"},{"comment":"Equation (21) as written is garbled: the sum over j of binomial coefficients is applied to a bracket that is independent of j, and the right-hand side still contains √Σ rather than an expansion in λ. This makes it impossible to follow how the Q^(k) are obtained. Please rewrite the expression for the λ-expansion of Q_nm correctly, showing the coefficient of λ^k.","section":"§2, Eq. (21)"}],"minor_comments":[{"comment":"In the expression for Z^(2)(s), the terms involving <0|σ|n>^2 do not carry the explicit factor λ^2 that appears in the other second-order terms; presumably λ is set to 1, but the notation is inconsistent and should be clarified.","section":"§4, Eq. (35)"},{"comment":"The title promises 'exact sum rules of rational order', but the results are calculated only up to second order in perturbation theory. Consider qualifying the title or making the perturbative nature explicit in the abstract.","section":"Title and abstract"},{"comment":"The existence and uniqueness of the operator O_γ^{1/N} is assumed without comment. A brief remark on the domain and the conditions under which the fractional power is well-defined would improve rigor.","section":"§2, Eq. (10)"},{"comment":"The numerical check is performed only for N=2 (s=3/2) and for a single density profile. The text could explicitly note that the general-N formula is not verified numerically.","section":"§5"},{"comment":"There are several typographical errors, e.g., 'Rayleigh-Schr¨ odinger' in Section 1 and 'final expressions' in the abstract; a careful proofreading pass is advised.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"All six references are self-citations to the author's own prior work. While this is not itself a correctness issue, it means the central claim of agreement with Ref. [4] is a cross-check between two methods from the same group, and there is no independent verification in the literature. The editor may wish to assess whether the novelty is sufficient for the journal's scope. The missing proof of the q^(k) substitution is the main technical obstacle; if that is supplied, the paper could become acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a continuation of Amore's own series on exact sum rules. The final formula (38) is not new—the paper says it matches eq. (9) of Ref. [4]—so the new contribution is the renormalized Green's-function route for spectra with a zero mode at rational order. That route is plausible and mostly well explained, but there is one gap that needs attention before I'd trust it fully.\n\nWhat the paper does well: it generalizes the trace method from the positive-definite case to the null-eigenvalue case, shows how the zero mode produces extra finite terms, and checks the result numerically for a linear density with Neumann boundary conditions at s=3/2. The check is convincing: the coefficient of kappa^2 matches to eight digits. The paper is honest that the formula already exists in Ref. [4].\n\nThe soft spots are three. First, the title says 'rational order' but the calculation only covers s = 1+1/N for integer N >= 2. That's a smaller domain than the title suggests. Second, the perturbative coefficients q^(k) in Eq. (24) are imported from Ref. [1] via the substitution epsilon_n -> epsilon_n + gamma, with no proof that they solve Eq. (22) when the unperturbed spectrum has a zero mode. The substitution is algebraically plausible—Eq. (22) only involves denominators epsilon_n+gamma—but the zero-mode term brings 1/gamma factors, and the final renormalized limit requires the cancellation of gamma^{1-s} and gamma^{2-s} poles against the subtraction in Eq. (33). The paper doesn't show that cancellation, which is the load-bearing step. Third, the numerical fit has no error bars; that's minor since the match is so close, but it would be easy to add.\n\nNone of these looks like a fatal flaw. The main question is whether the q^(k) substitution is actually valid when epsilon_0=0; a short proof or a more explicit derivation would settle it. The referee should ask for that.\n\nWho this is for: people working on spectral zeta functions and sum rules for inhomogeneous systems, especially the small community following Amore's work. It's not a breakthrough, but it fills a gap in the author's method.\n\nMy call: send it to peer review. It deserves a serious referee even though the formula is known, because the derivation method is the claimed contribution and it's worth checking carefully. If the substitution is confirmed, this is a publishable technical note.","headline":"A plausible re-derivation of a known sum rule for zero-mode spectra, held back by an unproved substitution and an overbroad title.","tokens_in":7812,"tokens_out":4955,"would_cite":false,"duration_ms":46151,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35P20","81Q15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A renormalized trace formula reproduces eigenvalue perturbation theory for rational-order sum rules in spectra with a zero mode.","keywords":["sum rules","quantum billiards","null eigenvalue","renormalization","Green's functions","perturbation theory","Helmholtz equation","rational-order spectral zeta functions"],"falsifier":"Solve the matrix equation (22) at third order for a one-dimensional Neumann string with $\\Sigma=1+\\lambda x$ and compare the $q^{(3)}_{nm}$ obtained directly with those produced by the $\\epsilon_n\\to\\epsilon_n+\\gamma$ substitution; a mismatch would show the renormalized trace route misses zero-mode contributions. Alternatively, recompute $Z(3/2)$ for $\\Sigma=1+\\kappa x$ with a Rayleigh–Ritz basis well beyond 2001 modes and check that the $\\kappa^2$ coefficient remains $-0.00343517$ while all higher fitted coefficients vanish within numerical error.","tokens_in":6742,"feed_emoji":"🎱","tokens_out":10171,"duration_ms":94211,"temperature":0.7,"pith_summary":"This paper extends the calculation of rational-order spectral sum rules to quantum billiards whose spectrum contains a zero eigenvalue, the situation for Neumann or periodic boundary conditions. A naive trace over the Green's function diverges because of the zero mode, so the author shifts the operator by an infinitesimal $\\gamma$, computes in the positive-definite shifted spectrum, and subtracts the perturbative expansion of the shifted fundamental eigenvalue. The resulting renormalized sum rule, eq. (38), is finite and is restricted to non-vanishing modes. Up to second order in a weak density inhomogeneity it reproduces the formula obtained directly with Rayleigh–Schrödinger perturbation theory. If correct, this closes a gap in the rational-order case and gives a trace-based route to spectral zeta functions for null-mode spectra.","feed_headline":"Zero modes no longer break rational-order sum rules","feed_subtitle":"A shifted Green's-function trick makes divergent trace terms finite and matches eigenvalue perturbation theory.","key_machinery":"The central object is the rational-order Green's function $\\tilde G^{[1/N]}_\\gamma(x,y)$, defined so that its $N$-fold convolution reproduces the shifted resolvent $G_\\gamma$ of the operator $\\hat O_\\gamma=\\Sigma^{-1/2}(-\\Delta+\\gamma)\\Sigma^{-1/2}$. Expanding $\\tilde G$ in the unperturbed eigenbasis gives matrix coefficients $q^{[1/N]}_{nm}$; the convolution condition becomes a matrix equation whose order-by-order solution in powers of $\\sigma$ yields the $q$'s. The same matrix coefficients enter the trace $Z(s)=\\sum_{n,r} Q_{nr} q^{[1/N]}_{rn}$. The renormalization subtracts the expansion of the shifted fundamental energy $E_0(\\gamma)$, deleting all $\\gamma^{-s}$ divergences and leaving the finite expression (38).","core_discovery":"For the Helmholtz problem $(-\\Delta)\\Psi_n=E_n\\Sigma(x)\\Psi_n$ with $\\Sigma(x)>0$ and boundary conditions admitting $E_0=0$, the paper claims that the renormalized sum rule of order $s=1+1/N$ can be written as\n$$\n\\tilde Z(s)=\\sum_{n}'\\left[\\frac{1}{\\epsilon_n^s}+\\frac{s\\langle n|\\$\\sigma$|n\\rangle}{\\epsilon_n^s}+\\frac{s(s-1)\\langle n|\\$\\sigma$|n\\$rangle^{2}$}{2\\epsilon_n^s}\\right]\n-\\frac{s}{2}\\sum_{n\\ne m}\\frac{\\$epsilon_n^{{1-s}}$-\\$epsilon_m^{{1-s}}$}{\\epsilon_n-\\epsilon_m}|\\langle m|\\$\\sigma$|n\\rangle|^2+\\cdots,\n$$\nwhere the prime on the first sum excludes the zero mode and the double sum runs over all distinct pairs. The earlier form (37) contains an explicit finite zero-mode coupling $-s\\sum_{n}'|\\langle 0|\\sigma|n\\rangle|^2/\\epsilon_n^s$; extending the double sum in (38) to include pairs with $n=0$ or $m=0$ reproduces that term, so the compact expression is equivalent. The derivation works through the $N$-fold convolution of the order-$1/N$ Green's function and second-order perturbation theory in $\\sigma$.","pith_inferences":["If the $\\epsilon_n\\to\\epsilon_n+\\gamma$ substitution remains valid at higher orders, the same construction should produce third- and higher-order terms in (38); a direct third-order solution of the matrix equation would test this.","The same renormalized-trace machinery should apply to other rational exponents and to periodic boundary conditions in two and three dimensions, where exact all-orders sum rules are not known.","Because the final formula depends on the inhomogeneity only through unperturbed matrix elements, it could be used to invert low-order spectral data to recover moments of the density."],"forward_implications":["Rational-order sum rules for Neumann or periodic billiards can be computed as renormalized traces with the zero mode decoupled, avoiding divergent eigenvalue sums.","The equality with eq. (9) of Ref. [4] validates the trace method against direct Rayleigh–Schrödinger perturbation theory at second order.","For the linear-density Neumann string, the $s=1$ case reproduces the exact all-orders value $Z(1)=1/6-\\kappa^2/120$.","The numerical experiment for $Z(3/2)$ yields a quadratic coefficient $-0.00343517\\,\\kappa^2$, matching the perturbative prediction to about ten digits."],"supporting_citations":[{"why":"Supplies the rational-order Green's-function method and perturbative $q$ coefficients for positive-definite spectra that this paper generalizes.","marker":"[1]"},{"why":"Introduces the renormalization procedure for integer-order sum rules with a zero mode on which the current renormalization is based.","marker":"[2]"},{"why":"Provides the higher-order corrections to the zero-mode eigenvalue and the shifted-trace technique used in Section 3.","marker":"[3]"},{"why":"Supplies the Rayleigh–Schrödinger result, eq. (9), that the new formula reproduces.","marker":"[4]"},{"why":"Supplies the asymptotic eigenvalue formula used to approximate the high-energy tail in the numerical test.","marker":"[5]"},{"why":"Provides the exact all-orders sum rule $Z(1)$ for the inhomogeneous string that benchmarks the $s=1$ check.","marker":"[6]"}],"fun_headline_variants":["Zero modes tamed in rational-order sum rules","Sum rules survive zero modes via renormalization","Renormalized sum rules beat null eigenvalue","Quantum billiard sum rules unbroken by zero modes","Rational-order sum rules handle zero modes exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the perturbative coefficients obtained by substituting $\\epsilon_n\\to\\epsilon_n+\\gamma$ in the known positive-definite formulas remain valid when the unperturbed spectrum has a zero mode; the paper asserts this substitution rather than deriving it.","fun_headline_variants_meta":{"raw":{"variants":["Zero modes tamed in rational-order sum rules","Sum rules survive zero modes via renormalization","Renormalized sum rules beat null eigenvalue","Quantum billiard sum rules unbroken by zero modes","Rational-order sum rules handle zero modes exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00023,"raw_usage":{"total_tokens":1451,"prompt_tokens":885,"completion_tokens":566,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":496}},"tokens_in":501,"tokens_out":566,"duration_ms":5341,"temperature":1.0,"reasoning_tokens":496,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:36:51.233349+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the matrix equation (22) at third order for a one-dimensional Neumann string with $\\Sigma=1+\\lambda x$ and compare the $q^{(3)}_{nm}$ obtained directly with those produced by the $\\epsilon_n\\to\\epsilon_n+\\gamma$ substitution; a mismatch would show the renormalized trace route misses zero-mode contributions. Alternatively, recompute $Z(3/2)$ for $\\Sigma=1+\\kappa x$ with a Rayleigh–Ritz basis well beyond 2001 modes and check that the $\\kappa^2$ coefficient remains $-0.00343517$ while all higher fitted coefficients vanish within numerical error.","supporting_citations":[{"cited_title":"On the calculation of exact sum rules of rational order for quantum billiards","cited_arxiv_id":null,"evidence_quote":"Supplies the rational-order Green's-function method and perturbative $q$ coefficients for positive-definite spectra that this paper generalizes."},{"cited_title":"Exact sum rules for inhomogeneous systems containing a zero mode","cited_arxiv_id":null,"evidence_quote":"Introduces the renormalization procedure for integer-order sum rules with a zero mode on which the current renormalization is based."},{"cited_title":"Exact sum rules for heterogeneous spherical drums","cited_arxiv_id":"1907.10034","evidence_quote":"Provides the higher-order corrections to the zero-mode eigenvalue and the shifted-trace technique used in Section 3."},{"cited_title":"A perturbative approach to the spectral zeta functions of strings, drums, and quantum billiards","cited_arxiv_id":null,"evidence_quote":"Supplies the Rayleigh–Schrödinger result, eq. (9), that the new formula reproduces."},{"cited_title":"The string of variable density: Further results","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic eigenvalue formula used to approximate the high-energy tail in the numerical test."},{"cited_title":"Exact sum rules for inhomogeneous strings","cited_arxiv_id":null,"evidence_quote":"Provides the exact all-orders sum rule $Z(1)$ for the inhomogeneous string that benchmarks the $s=1$ check."}],"review_version":1}