{"id":"e9721841-2815-4f53-967e-68b78fed016a","arxiv_id":"2607.17816","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A proof that the temperature-subtracted symmetry ratio of meson susceptibilities is exactly renormalization-group invariant for chirally symmetric lattice fermions.","lead":"Meson susceptibilities in QCD contain short-distance infinities that complicate measurements of symmetry restoration. This paper proves that a carefully defined ratio of two partner susceptibilities is free of those ambiguities, so lattice simulations can use it without additional renormalization.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; all-orders temperature independence of the additive divergences is standard and adequately supported.","rationale":"The reader flagged the all-orders temperature independence of the mass-dependent logarithmic divergence as the weakest assumption. I agree this is the most delicate premise, but it is a standard result in thermal field theory: ultraviolet divergences are local short-distance properties and thus T-independent. The paper's Section III F cites the relevant literature, and the tree-level image-sum analysis in Section III A and Appendix A shows explicitly how the divergent coefficient is extracted from the n=0 image alone, with all T-dependence confined to finite remainders. I also checked the partner equality Z_A = Z_B, including the singlet sector and the U(1)_A anomaly: the arguments in Section IV B are nonperturbative and rely only on the symmetry of the regularized action, not the state or the anomaly. The scheme independence of kappa_AB follows because any common operator normalization cancels; the mass-independent scheme restriction is clearly stated. No algebraic error was found in the tree-level divergence coefficients in Appendix A, and the renormalization-group treatment is internally consistent. Therefore, although the all-orders statement is not derived in the paper, it is well-supported by established results, and I do not consider it a load-bearing objection that changes the verdict.","tokens_in":31898,"tokens_out":15857,"duration_ms":146698,"concrete_test":"Perform an explicit two-loop (O(g^2)) thermal perturbative computation of the scalar and pseudoscalar susceptibilities using a chirally symmetric regulator (e.g., lattice overlap or dimensional regularization with a mass-independent scheme), and verify that the coefficient of the UV logarithm (the pole term or lattice ln(1/(a mu))) is strictly T-independent; also confirm at one loop that the finite T-dependent part contains only terms like m^2 ln(m/T) and no ln(aT) coefficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on the exact temperature independence of all additive UV divergences, including the mass-dependent logarithm c_Gamma^m m^2 ln(1/(am)), so that the subtraction at T_r in eq. (26) removes them to all orders. The paper justifies this in Section III F by standard thermal-field-theory results (refs. [20,21,24-26]) rather than an explicit all-orders derivation. This reviewer finds the justification sufficient: a UV divergence is a short-distance property, the OPE Wilson coefficient of the identity is T-independent, and the tree-level image-sum analysis in Section III A and Appendix A displays the mechanism explicitly. No internal inconsistency or missing step was found in the Z_A = Z_B proofs for DWF and overlap, nor in the cancellation of Z in Section V. The claimed RG invariance and scheme independence follow from the stated premises.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript analyzes the ultraviolet divergence structure of meson susceptibilities in finite-temperature QCD for lattice regularizations with exact chiral symmetry (domain-wall and overlap/Ginsparg-Wilson fermions). It shows that the bare susceptibility has two additive divergent pieces—a channel-dependent 1/a^2 power divergence and a chirally even m^2 ln(1/(am)) term—and argues, using short-distance locality and standard thermal-field-theory results, that both are exactly temperature-independent so that subtracting at a reference temperature T_r removes them. The remaining multiplicative logarithmic renormalization Z_Gamma^2 cancels in the symmetry ratio kappa_AB because symmetry partners have equal renormalization constants. The paper proves these equalities nonperturbatively for DWF and overlap fermions, works out the complete Z-factor chains for scalar/pseudoscalar, tensor/axial-tensor, and vector/axial-vector channels, and contrasts the divergence structure with Wilson fermions, where the Z_A=Z_B equality fails.","tokens_in":31986,"tokens_out":5411,"duration_ms":54371,"significance":"The central claim is significant: if it holds, kappa_AB is an exactly RG-invariant, scheme-independent observable that requires no nonperturbative determination of renormalization constants, which is directly useful for studying chiral and U(1)_A restoration on the lattice. The paper is technically explicit and careful: the tree-level divergence coefficients are derived from closed-form massive propagators and thermal image sums and are cross-checked numerically; the Z_A=Z_B proofs are symmetry-based and do not rely on fitting or on assumed RG invariance; and the limitations of the all-orders temperature-independence statement are identified honestly in Section III F. These strengths make the paper a solid foundation for numerical applications.","major_comments":[],"minor_comments":[{"comment":"The reference temperature T_r appears in the definition of chi^reg before it is defined; define T_r in the introduction.","section":"I, Eq. (1)"},{"comment":"The notation c^Gamma_m is introduced with a superscript to distinguish it from the Wilson coefficients c_n, but the meaning of the subscript m is not stated; state explicitly that it labels the coefficient of the quark-mass-dependent logarithm.","section":"III A, Eq. (25)"},{"comment":"The abstract's phrase 'scheme-independent' should be qualified with 'within mass-independent schemes with chirally symmetric regularization,' matching the precise statement in Section V C.","section":"V C / Abstract"},{"comment":"The row for kappa_bare_AB (no subtraction), '->0 as a->0', could be misunderstood; clarify that this limit is driven by the divergent denominator and is not a meaningful restoration signal.","section":"Table I"},{"comment":"The all-orders temperature independence of the additive divergences, especially the mass-dependent logarithm, is the load-bearing premise; the manuscript justifies it with standard thermal-field-theory references and a tree-level image-sum demonstration, which I find adequate, but one sentence stating explicitly that the Wilson coefficient of the identity is T-independent to all orders would make the argument easier to verify.","section":"III F"},{"comment":"The critique of Ref. [23] would benefit from an explicit caveat that the quoted degeneracy temperature is at a single lattice spacing, which the text notes later but could state earlier to avoid overinterpretation.","section":"VI"}],"recommendation":"accept","confidential_remarks":"No concerns beyond the comments above. The paper is a theory/analysis manuscript and fits the scope of hep-lat; the companion numerical study is cited appropriately. I recommend acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper does what it says. The kappa_AB ratio itself came from the companion numerical paper, but the formal content here is new and mostly sound: the complete additive-divergence decomposition, the derivation of the full Z-factor chains for all meson channels, and the nonperturbative Z_A = Z_B proof for domain-wall and overlap fermions. Since the ratio needs no nonperturbative renormalization constants and no fitted parameters, this gives lattice QCD a genuinely useful observable for chiral and U(1)_A restoration.\n\nThe tree-level calculation is the strongest part. Closed-form propagators, thermal image sums, and the channel-dependent coefficients are worked out explicitly in the appendices, and the numerical cross-checks reported there give me confidence the algebra is right. The RGE resummation is standard. The cancellation chain in Section V is clean: additive terms die in the temperature subtraction, and Z_A = Z_B kills the multiplicative factor. The proof that Z_A = Z_B follows from the lattice chiral symmetry, not from fitting, is the nontrivial step and it holds up for both DWF and overlap.\n\nTwo soft spots, neither fatal. First, the all-orders temperature independence of the mass-dependent logarithm coefficient c_Gamma^m m^2 ln(1/(am)) is argued from short-distance locality and standard thermal-field-theory results rather than exhibited by an explicit all-orders calculation. This is the load-bearing assumption behind the subtraction at one reference temperature, and while I think it is very likely correct, a referee should push for a sharper statement or at least a Ward-identity check. Second, the singlet-sector equalities in the presence of the U(1)_A anomaly are defended physically but not by explicit computation. The claim that the anomaly shifts only the topological sector and not the UV counterterms is plausible, but it is the kind of thing that deserves a more formal treatment before the paper is the last word.\n\nThe Wilson-fermion contrast section is fine but a bit prosecutorial, especially the engagement with ref. [23]. The shape-versus-amplitude discussion is sensible, but it is not needed for the main proof and could be trimmed.\n\nOverall: the central argument holds. This deserves serious refereeing and should be accepted after revision. I would cite it if I were working on chiral restoration with Ginsparg-Wilson fermions, and I would bring it to a lattice reading group.","headline":"A solid formal paper: the kappa_AB ratio really is RG invariant, the Z_A=Z_B proof for DWF/overlap is the real content, and the two soft spots are survivable.","tokens_in":32561,"tokens_out":2258,"would_cite":true,"duration_ms":25406,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T25","81T28","81V05"],"pacs":["11.15.Ha","12.38.Gc","11.30.Rd"],"model":"deepseek-v4-flash","headline":"The paper proves that $\\kappa_{AB}$, built from temperature-subtracted meson susceptibilities of symmetry partners, is exactly renormalization-group invariant and scheme-independent.","keywords":["meson susceptibilities","renormalization-group invariance","chiral symmetry restoration","U(1)_A anomaly","Ginsparg-Wilson fermions","domain-wall fermions","temperature subtraction","lattice QCD"],"falsifier":"Compute the subtracted partner difference $\\chi_A^{\\rm reg}(T;T_r)-\\chi_B^{\\rm reg}(T;T_r)$ on a sequence of lattices with decreasing spacing at fixed physical $T$, $T_r$, and quark mass. If the mass-log coefficient is not exactly temperature-independent, a residual $m^2\\ln(1/(am))$ piece will make the numerator drift logarithmically as $a\\to0$ and $\\kappa_{AB}$ will depend on $T_r$; if the paper is right, the drift is absent and two different reference temperatures give the same $\\kappa_{AB}$ in the continuum limit.","tokens_in":31651,"feed_emoji":"♾️","tokens_out":13288,"duration_ms":106956,"temperature":0.7,"pith_summary":"This paper establishes that the symmetry ratio $\\kappa_{AB}$ of two meson susceptibilities in symmetry-related channels is exactly renormalization-group invariant and scheme-independent. The bare susceptibility carries a power divergence $\\alpha_\\Gamma/(2a^2)$ from the identity operator and a mass-dependent logarithm $c^m_\\Gamma m^2\\ln(1/(am))$, together with a multiplicative factor $Z_\\Gamma^2$ controlled by the operator anomalous dimension. The paper shows the additive pieces are temperature-independent and cancel in the difference $\\chi(T)-\\chi(T_r)$, while for symmetry partners the equality $Z_A=Z_B$ cancels the multiplicative factor in the ratio. This yields a finite probe of chiral and $U(1)_A$ restoration that needs no nonperturbative renormalization constant, and it also gives reference-temperature-independent definitions of characteristic temperatures from single-channel susceptibilities.","feed_headline":"No renormalization needed: meson symmetry ratio is exactly invariant","feed_subtitle":"Subtraction kills divergences; partner symmetries cancel multiplicative factors, exposing chiral restoration.","key_machinery":"The central object is the symmetry ratio $\\kappa_{AB} = (\\chi_A^{\\rm reg}-\\chi_B^{\\rm reg})/(\\chi_A^{\\rm reg}+\\chi_B^{\\rm reg})$ with $\\chi^{\\rm reg}_\\Gamma(T;T_r) = \\chi_\\Gamma(T) - \\chi_\\Gamma(T_r)$. Its invariance rests on two mechanisms: the temperature subtraction, which removes the additive power divergence $\\alpha_\\Gamma/(2a^2)$ and the mass-dependent logarithm $c^m_\\Gamma m^2\\ln(1/(am))$ because both are short-distance and temperature-independent; and the partner equality $Z_A=Z_B$, which cancels the multiplicative operator renormalization. The equality is enforced by the exact chiral symmetry of Ginsparg-Wilson fermions, realized by domain-wall or overlap fermions, through the $Z$-factor chains $Z_S^{\\rm ns}=Z_P^{\\rm ns}=Z_S^{\\rm s}=Z_P^{\\rm s}=Z_{SP}$, $Z_T^{\\rm ns}=Z_X^{\\rm ns}=Z_T^{\\rm s}=Z_X^{\\rm s}=Z_{TX}$, and $Z_V^{\\rm ns}=Z_A^{\\rm ns}=Z_{VA}$.","core_discovery":"On the author's account, the bare finite-temperature meson susceptibility decomposes into short-distance additive divergences and a multiplicative operator renormalization: $\\chi_\\Gamma^{\\rm bare}(T,a) = \\alpha_\\Gamma/(2a^2) + c^m_\\Gamma m^2\\ln(1/(am)) + Z_\\Gamma^2\\,\\chi_\\Gamma^R(\\mu,T,m) + O(a)$. The two additive terms come from the coincident-point operator product and are therefore temperature-independent, so the subtraction $\\chi^{\\rm reg}_\\Gamma(T;T_r) = \\chi_\\Gamma(T) - \\chi_\\Gamma(T_r)$ removes them exactly without evaluating their coefficients. What remains is $Z_\\Gamma^2$ times a finite renormalized difference. For any pair of channels related by an exact symmetry of the regularized action, $Z_A=Z_B$; the paper proves this nonperturbatively for domain-wall and overlap fermions using the ordinary and asymmetric Luescher chiral rotations, including the $U(1)_A$ rotation that connects scalar/pseudoscalar and tensor/axial-tensor partners and the $SU(2)_A$ rotation connecting vector/axial-vector partners. The factor $Z^2$ then cancels in $\\kappa_{AB}$, making the ratio exactly scale- and scheme-independent and removing any need to compute nonperturbative renormalization constants.","pith_inferences":["If the central claim is right, the same subtraction-plus-ratio architecture should transfer to other composite operators, such as baryonic or gluonic susceptibilities, whenever an exact symmetry pairs the operators and $Z_A=Z_B$ can be proved.","The paper's key assumption is that the mass-log coefficient has no temperature dependence beyond tree level; a two-loop finite-temperature calculation of the bare susceptibility would test that assumption directly, since a $T$-dependent subleading divergence would survive the subtraction.","Because the proof never uses the detailed form of the thermal state, $\\kappa_{AB}$ should remain well-defined in other chirally symmetric backgrounds, such as nonzero baryon density or an external magnetic field; this is a testable extension rather than a claim of the paper."],"forward_implications":["A lattice simulation with exact chiral symmetry can extract a continuum, scheme-independent symmetry-restoration observable without determining any nonperturbative renormalization constant.","The zero of $\\kappa_{AB}$ as a function of $T$ marks the effective degeneracy of the partner channels and is common to all admissible reference temperatures chosen deep in the restored phase.","The peak position of $m^2[\\chi_\\sigma(T)-\\chi_\\sigma(T_r)]$ defines a pseudocritical temperature independent of $T_r$, so no zero-temperature ensemble is needed for the chiral crossover.","In the pseudoscalar singlet channel the same subtraction gives $\\chi_t(T)-\\chi_t(T_r)$, whose inflection point is a $T_r$-independent characteristic temperature of the anomalous sector.","With Wilson fermions the construction fails: the explicit chiral breaking generates a chiral-odd $m/a$ divergence and splits $Z_P$ from $Z_S$, so the analogous ratio is not RG invariant without additional nonperturbative subtraction."],"supporting_citations":[{"why":"Introduces the RG-invariant symmetry ratio $\\kappa_{AB}$ and supplies the numerical study of chiral and $U(1)_A$ restoration that this paper renormalizes.","marker":"[1]"},{"why":"Supplies the Ginsparg-Wilson relation that makes chiral symmetry exact on the lattice.","marker":"[2]"},{"why":"Provides the overlap fermion construction used for the nonlocal currents and the exact chiral rotations.","marker":"[3, 4]"},{"why":"Provides the domain-wall fermion formulations whose boundary-mode quark fields yield local operators with exact chiral symmetry.","marker":"[5-10]"},{"why":"Defines local quark fields from domain-wall boundary modes and the axial symmetries they obey.","marker":"[11]"},{"why":"Gives the Luescher exact chiral symmetry transformations on the lattice, used to prove $Z_A=Z_B$ for overlap operators.","marker":"[14]"},{"why":"Proposed the temperature subtraction $\\chi(T)-\\chi(0)$ for the chiral susceptibility, here generalized to all channels and an arbitrary reference temperature.","marker":"[17]"},{"why":"Establishes the standard thermal field theory result that ultraviolet divergences are temperature-independent, which licenses the subtraction.","marker":"[20, 21]"}],"fun_headline_variants":["Meson symmetry ratio is exactly RG-invariant in QCD","Chiral symmetry yields renormalization-free meson ratios","Exact RG invariance: no renormalization for meson ratios","No renormalization constants needed for meson symmetry ratio"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that every additive ultraviolet divergence of the bare susceptibility, including the mass-dependent logarithm, is exactly temperature-independent to all orders, so that subtracting at a single reference temperature removes all additive divergences with no residual cutoff dependence.","fun_headline_variants_meta":{"raw":{"variants":["Meson symmetry ratio is exactly RG-invariant in QCD","Chiral symmetry yields renormalization-free meson ratios","Exact RG invariance: no renormalization for meson ratios","No renormalization constants needed for meson symmetry ratio"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000965,"raw_usage":{"total_tokens":4209,"prompt_tokens":1146,"completion_tokens":3063,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":762,"completion_tokens_details":{"reasoning_tokens":2993}},"tokens_in":762,"tokens_out":3063,"duration_ms":20167,"temperature":1.0,"reasoning_tokens":2993,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:35:09.879241+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the subtracted partner difference $\\chi_A^{\\rm reg}(T;T_r)-\\chi_B^{\\rm reg}(T;T_r)$ on a sequence of lattices with decreasing spacing at fixed physical $T$, $T_r$, and quark mass. If the mass-log coefficient is not exactly temperature-independent, a residual $m^2\\ln(1/(am))$ piece will make the numerator drift logarithmically as $a\\to0$ and $\\kappa_{AB}$ will depend on $T_r$; if the paper is right, the drift is absent and two different reference temperatures give the same $\\kappa_{AB}$ in the continuum limit.","supporting_citations":[{"cited_title":"[11–13], and these fields obey the ordinary continuum chiral projection in- dependent of the gauge field","cited_arxiv_id":null,"evidence_quote":"Introduces the RG-invariant symmetry ratio $\\kappa_{AB}$ and supplies the numerical study of chiral and $U(1)_A$ restoration that this paper renormalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Ginsparg-Wilson relation that makes chiral symmetry exact on the lattice."}],"review_version":2}