{"id":"b862a55c-ea4f-4d9c-80a4-166b8c30e77e","arxiv_id":"2411.19312","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A lattice-inspired analytic method computes perturbative Rényi entropy coefficients for Gaussian states on a ball, yielding new terms for distant-ball mutual information and thermal entropy.","lead":"This paper develops a method for computing the Rényi entropy of smooth, Gaussian perturbations of the massless scalar vacuum on a ball, and applies it to mutual information of distant balls and low-temperature thermal entropy. The result matters because it converts a difficult, mostly numerical problem in quantum field theory into finite-dimensional linear algebra with analytically computable integrals.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (11)'s analyticity assumption does not imply polynomial K^(k); the finite-rank reduction needs an unstated scale-covariance condition, so the theorem as stated is overbroad.","rationale":"The reader correctly identifies Eq. (11) as load-bearing but treats analyticity as the fragile point: if the correlation kernels were only smooth, the degree arguments would fail. My concern is different and more specific: even granting full analyticity in x, y, and t, the conclusion that each K^(k) is a homogeneous polynomial does not follow. Analyticity gives an infinite Taylor series in the spatial coordinates; polynomiality requires a termination condition that the paper never states. The unstated condition is that the perturbation has no dimensionful scale other than t, so that scale invariance fixes the spatial degree of each coefficient. This condition is satisfied by the paper's two examples (distant-ball mutual information and thermal entropy of a massless field), which explains why the computations in Sections 3 and 4 can succeed. But the general theorem in Section 2 is phrased under Eq. (11) alone, which admits counterexamples such as the t/(1-|x|^2) perturbation above. Consequently the central claim is overbroad as written, though the specific reported coefficients may well be correct. The verdict should remain CONDITIONAL: the paper should state the missing scale-covariance hypothesis and either prove it for the examples or restrict the theorem accordingly. This does not require rejecting the paper's numerical results, which already agree with known literature where checked, but it does require a clarification of the theorem's scope before the claims can be accepted as stated.","tokens_in":29058,"tokens_out":21793,"duration_ms":194259,"concrete_test":"Apply the Section 2.4 algorithm to the Gaussian perturbation δX(x,y;t) = t/(1-|x|^2), δP=δV_off=0, for small t on the unit ball. This state satisfies the stated analyticity assumption (Eq. (11)), but K^(1) is not a homogeneous polynomial, so σ^(1) is not finite-rank and the matrix A_1 in Eq. (34) is undefined. If the algorithm cannot be run, the theorem's hypothesis is insufficient. As a complementary check, attempt to re-derive the degree assignments in Section 2.2 from Eq. (11) alone without invoking scale covariance; if the derivation requires an extra assumption about the absence of other scales, the theorem statement needs to be amended accordingly.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central reduction in Section 2.2 asserts that analyticity of K(x,y;t) makes the interpretation of the trace \"straightforward\" and that \"unit analysis\" forces the entries of each K^(k) to be homogeneous polynomials of specified degrees (X: k-d+1, P: k-d-1, V_off: k-d). This inference is not valid. Analyticity of K in (x,y,t) at zero only implies that each Taylor coefficient K^(k)(x,y) is analytic in (x,y); such functions are polynomials only in special cases. A finite-rank σ^(k) requires K^(k) to be a finite sum of separable polynomials. Unit analysis can supply the stated homogeneous degrees only if the perturbation introduces no dimensionful scale beyond t (i.e., the theory remains massless and has no hidden length scale). That condition is not stated in Eq. (11) or anywhere in the theorem. For example, the Gaussian perturbation δX(x,y;t) = t/(1-|x|^2) (with δP=δV_off=0, and t sufficiently small so the state is physical) satisfies the stated analyticity assumption on the unit ball, but K^(1)(x,y)=1/(1-|x|^2) is not a polynomial and σ^(1) has infinite rank. The finite-dimensional matrices A_k in Eq. (34) are then undefined. Thus the claim that the coefficients are computable for all N under Eq. (11) alone is not established. The two applications are scale-free and likely satisfy the stronger condition, but that stronger condition is neither stated nor proven as part of the general method.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a method for computing Taylor coefficients of the Rényi entropy difference S_α(ρ(t))−S_α(ρ(0)) for Gaussian perturbations of the massless scalar vacuum on a ball. The strategy, extending the authors' earlier work [9], uses a lattice-field-theory representation of the entropy as a contour trace and then takes a continuum limit in which the correlation kernels are represented as operators on polynomial two-vector fields. Under an analyticity assumption on the correlation functions (Eq. 11), the paper claims that each order of the expansion can be reduced to finite-dimensional linear algebra and closed-form integrals, yielding computable coefficients for all orders in odd dimensions and for integer α and α=∞ in even dimensions. The method is applied to two physical settings: Rényi mutual information of two distant balls in d=2,...,6 and low-temperature thermal entropy on a ball in d=3,...,6. Appendices provide detailed derivations of matrix elements, contour integrals, and explicit expansions, with several checks against prior literature [3–9].","tokens_in":100,"tokens_out":6235,"duration_ms":117021,"significance":"If the central claim holds, this is a useful technical advance: it converts a field-theoretic trace computation into a finite-dimensional matrix problem plus a few families of analytically known integrals, and it produces new coefficients for Rényi mutual information and thermal entropy that agree with known results where available. The paper is unusually transparent about its own limitations (footnotes 4 and 5; the discussion of possible non-analyticity) and ships a large amount of explicit algebra in the appendices, which is a genuine strength. However, the generality of the claimed theorem is not yet established, because the key step that turns analyticity into polynomial finite-rank kernels is unjustified. The two applications are likely to satisfy a stronger condition, but that condition is neither stated nor proven as part of the general method.","major_comments":[{"comment":"The inference that analyticity of the correlation functions plus 'unit analysis' implies that each K^(k)(x,y) is a homogeneous polynomial of the stated degrees is not valid. Analyticity of K(x,y;t) at t=0 only implies that each Taylor coefficient K^(k)(x,y) is analytic in x,y; such functions are not generally finite sums of monomials. For example, on the unit ball the kernel δX(x,y;t)=t/(1-|x|^2) is analytic in x,y,t at t=0, but K^(1)(x,y)=1/(1-|x|^2) is not a polynomial, so σ^(1) is not finite rank and the matrices A_k in Eq. (34) are undefined. Thus the claim that the coefficients are finite and computable for all orders under Eq. (11) alone is not established. The paper needs to either (i) add an explicit scale-covariance/no-hidden-length-scale condition that rules out such examples and prove that this condition implies the stated polynomial degrees, or (ii) state the theorem only for perturbations whose kernels are polynomial in x,y of those degrees, and verify that condition for the two applications.","section":"Section 2.2, Eq. (11)"},{"comment":"The finite-rank trace interpretation is the foundation of the method: Eq. (21) decomposes each σ^(k) as a finite sum over the basis B, and Eq. (34) constructs finite matrices A_k. This decomposition presupposes that each σ^(k) is a finite-rank polynomial kernel. Since the polynomiality claim is not proven under Eq. (11) (see previous comment), the trace in Eq. (18) and the reduction to Eq. (37) are not justified for the general theorem as stated. The two physical examples may satisfy the needed condition, but the paper does not demonstrate it; it merely asserts analyticity. This is a load-bearing gap, not a cosmetic issue.","section":"Section 2.2 and Section 2.4"}],"minor_comments":[{"comment":"The expansion variable is written as (r/R)^N in ΔS_{d,α}(r,T), but the expansion is in rT as used in the surrounding text and results. This typo should be corrected to (rT)^N.","section":"Section 4, Eq. (71)"},{"comment":"The text says the result holds 'for integer α' in even dimensions, but Appendix D.3.5 shows that the α=0 (max-entropy) limit is divergent in even dimensions. The claim should be qualified to positive integers α (or α≥1) in the abstract and conclusion.","section":"Abstract and Section 2.6"},{"comment":"The summation bound is written as j+j'=k-d-2ℓ+1, but the paper itself notes after Eq. (21) that |ℓ| must be used in two dimensions. The correct bound is j+j'=k-d-2|ℓ|+1; otherwise the block decomposition in Eq. (44) is incorrect for negative ℓ.","section":"Section 2.5, Eq. (40)"},{"comment":"The factor 'γ_m' in Eq. (31) appears as 'γ^m' in Eq. (105); the notation should be made consistent and the power clarified.","section":"Eq. (31) and Appendix D.1, Eq. (105)"},{"comment":"The statement that S_α(ρ(t))−S_α(ρ(0)) is 'almost certainly analytic' is not a logical consequence of computing its Taylor coefficients to all orders. The paper should either state explicitly that the series may be asymptotic or prove convergence; as written, the remark could mislead readers about the strength of the result.","section":"Footnote 5"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern lands: the analyticity assumption in Eq. (11) is genuinely insufficient for the claimed polynomiality and finite-rank reduction. The fix is within scope—either restrict the theorem to a scale-covariant setting and verify it for the examples, or add polynomiality as an explicit assumption. I see no issue with the disclosure of the author's co-authorship of [9]; the agreements with independent results are cited. The paper's transparency about limitations is a positive feature. The topic fits hep-th/quantum-information well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper has real content—new coefficients for Rényi mutual information and thermal entropy, plus a general framework for computing them—but the central theorem as stated overreaches. The analyticity assumption in Eq. (11) does not imply the polynomial, finite-rank structure that the method requires.\n\nThe genuinely new pieces are the reduction of the trace computation to finite-dimensional linear algebra and closed-form contour integrals, and the explicit formulas for Rényi entropy in odd dimensions for all α and even dimensions for integer α and α=∞. The appendices are detailed and self-contained, and the checks against [3–9] at leading and some subleading order are appropriate. The paper is also honest in its footnotes, e.g., the caveat that the series may not be analytic in t.\n\nThe soft spot is load-bearing. The argument in Section 2.2 jumps from analyticity of δX, δP, δV_off in (x,y,t) to “unit analysis” forcing each K^(k) to be a homogeneous polynomial. Analyticity alone gives you Taylor coefficients that are analytic functions; it does not give you polynomials. Unit analysis fixes scaling degrees only when there is no other dimensionful scale, and even then a homogeneous function need not be a polynomial. The counterexample δX = t/(1-|x|^2) on the unit ball satisfies the stated analyticity but gives an infinite-rank σ^(1). So the theorem as written is overbroad.\n\nThe two applications are likely fine: in each case the perturbing kernel is known explicitly and its Taylor coefficients are indeed polynomials. But the paper does not state that stronger condition as part of the method, and it provides no independent numerics or code to verify the new higher-order coefficients. The lower-order agreements are reassuring, not conclusive.\n\nFor a reader who works on free-field Rényi entropies, the coefficient tables are useful and worth checking. The paper deserves serious refereeing, but the referee should ask for a repaired statement of the theorem—say, add polynomiality/finite-rank as an explicit assumption—and ideally an independent check of at least one new coefficient.","headline":"A genuinely useful extension of the perturbative Rényi entropy method, but the stated analyticity assumption is not enough to justify the finite-rank machinery and the theorem needs repair.","tokens_in":29884,"tokens_out":4389,"would_cite":false,"duration_ms":40780,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For a Gaussian state obtained by a smooth perturbation of the massless vacuum on a ball, every coefficient of the Rényi entropy difference can be computed exactly, for all Rényi parameters in odd dimensions and for integer parameters in…","keywords":["Rényi entropy","entanglement entropy","Gaussian states","massless scalar field","mutual information","thermal entropy","perturbation series","lattice field theory"],"falsifier":"One concrete check: independently evaluate the coefficient of $(rT)^7$ in the $d=4$, $\\alpha=2$ thermal Rényi entropy difference by direct numerical contour integration of Eq. (18); the paper's listed value is $-64\\zeta(7)/(35\\pi)$. A mismatch at this order would show that the finite-rank trace reduction or the contour-integral evaluation is in error.","tokens_in":28871,"feed_emoji":"⚛️","tokens_out":20331,"duration_ms":160841,"temperature":0.7,"pith_summary":"The paper presents a method for computing the Rényi entropy difference between the massless scalar vacuum on a ball and a smoothly perturbed Gaussian state, order by order in a perturbation parameter that has units of energy. It claims that, whenever the difference of the two-point correlation functions is analytic in position and in the perturbation parameter, every coefficient of the Taylor expansion of the Rényi entropy difference is finite and exactly computable for all Rényi parameters in odd spatial dimensions and for integer Rényi parameters in even spatial dimensions. The field-theoretic trace is reduced to finite-dimensional linear algebra together with a small family of closed-form integrals, so arbitrarily many orders become accessible for a fixed dimension. The procedure is applied to two physical settings: the large-distance expansion of the Rényi mutual information of two distant balls, and the low-temperature expansion of the entropy of a thermal massless scalar field on a ball.","feed_headline":"Every Rényi coefficient is computable for smooth Gaussian perturbations","feed_subtitle":"The method yields explicit series for distant-ball mutual information and low-temperature thermal entropy.","key_machinery":"The engine of the calculation is a basis for polynomial two-vectors adapted to the ball. The paper defines vectors built from spherical harmonics extended to harmonic polynomials, together with the operator $H=(1/\\pi)\\arccot(J\\sigma_0)$, which is also the differential operator $\\frac{1}{2}(\\nabla\\cdot(p\\nabla\\varphi_2)-(d-1)\\varphi_2,\\;p\\varphi_1)$ with $p=1-|x|^2$; this $H$ is the modular Hamiltonian of the vacuum on the ball. The set formed by applying powers of $H$ and the swap operator $J$ to these vectors is a basis, and each perturbative order decomposes into finitely many coefficients in this basis. Rotational equivariance, via Schur's lemma, reduces all resolvent matrix elements to functions that depend only on one angular-momentum label and on the total number of $H$ factors; these are computed as single integrals involving a product of $\\Gamma$ functions and a hyperbolic cosecant, evaluated in closed form by the standard $\\beta$ integral. The remaining contour integral of the derivative of the Rényi-entropy function times these rational functions of $\\arctan(z)/\\pi$ is then evaluated using Bernoulli polynomials in odd dimensions and residue sums or zeta-value formulas in even dimensions.","core_discovery":"The central claim is that the expansion of the Rényi entropy difference of a smoothly perturbed Gaussian state on the ball is governed by a finite-rank trace in the continuum. Starting from the lattice identity for Rényi entropy as a trace of a matrix function of the skewed correlation matrix, the paper passes to the continuum by replacing the finite matrix with a $2\\times2$ kernel acting on polynomial two-vectors. Unit analysis fixes the degree of each order: if the perturbation parameter has energy units in $d$ spatial dimensions, the entries of the $k$-th kernel are homogeneous polynomials of specific degrees, so each order of the perturbation has finite rank. The paper claims that, under the analyticity assumption on the correlation functions, this reduction makes every coefficient of the entropy-difference series finite and computable for all orders. The remaining contour integrals are evaluated in closed form for all Rényi parameters in odd dimensions and for integer Rényi parameters and the min-entropy limit in even dimensions, with the max-entropy limit divergent. The applications yield three nonzero terms for distant-ball Rényi mutual information in dimensions two through six and five nonzero terms for thermal entropy differences in dimensions three through six.","pith_inferences":["The same finite-rank reduction should extend to multiple expansion parameters with energy units, such as temperature, mass, and inverse separation; the paper lists this as a natural extension but does not carry it out.","In even dimensions, the restriction to integer Rényi parameters and the min-entropy limit is an artifact of the contour-integral evaluation rather than of the trace reduction, so a closed-form formula for rational Rényi parameters would complete the even-dimensional case.","The practical bottleneck for mutual information is spherical versus cylindrical symmetry; a cylindrical version of the decomposition should push the computation past six dimensions, where the paper reports computation time becoming intractable.","Because the whole series is built from vacuum two-point functions, an independent lattice computation at fixed lattice spacing could be extrapolated to test the claim that the continuum trace equals the finite-rank polynomial trace, giving a numerical check of the analyticity assumption."],"forward_implications":["For any fixed spatial dimension the series can be pushed to arbitrarily high order: the only inputs are finite matrix traces and a short list of closed-form integrals, so no new physics input is needed beyond the correlation kernels.","The analyticity assumption implies the Rényi entropy difference is infinitely differentiable at the origin, and the paper notes it is plausibly analytic, although convergence of the series is not proven.","The distant-ball mutual information series is now known through three nonzero terms in dimensions two to six; in even dimensions, inverse powers of pi begin to appear at the 4(d-1)-th power and beyond.","The low-temperature thermal entropy difference is known through five nonzero terms in dimensions three to six, with leading terms matching earlier results and, for von Neumann entropy, only powers that are whole-number combinations of d-1 and d+1 appearing."],"supporting_citations":[{"why":"Prior perturbative method for entropy differences on the ball; this paper refines it to all orders and to Rényi entropy.","marker":"[9]"},{"why":"Gives the modular Hamiltonian of the vacuum on the ball, identifying H with (1/pi) arccot(J sigma_0) and enabling the matrix-element identities.","marker":"[10]"},{"why":"Schur's lemma, the representation-theoretic fact used to reduce rotation-equivariant matrix elements to a single angular-momentum label.","marker":"[11]"},{"why":"Supplies the pseudo-differential calculus formulas used to expand the distant-ball kernel in powers of inverse separation.","marker":"[13]"},{"why":"The standard beta integral that evaluates the matrix-element integral in closed form.","marker":"[17]"},{"why":"Standard table integrals used for the radial kernel and for the Bernoulli-polynomial contour integrals.","marker":"[18]"},{"why":"Integral representation of the Riemann zeta function at odd arguments, used for the min-entropy contour integral in even dimensions.","marker":"[19]"},{"why":"Earlier leading-coefficient results for mutual information; the paper's leading terms in each dimension agree with them.","marker":"[3–5]"},{"why":"Earlier next-to-leading coefficient in two dimensions; the paper's d=2 value agrees.","marker":"[6]"},{"why":"Earlier coefficient list for Rényi mutual information in three and five dimensions; all terms presented here agree.","marker":"[7]"}],"fun_headline_variants":["Finite-rank traces tame smooth Rényi perturbations","Rényi entropy computed for all orders via kernel method","Exact Rényi coefficients for Gaussian perturbations","Thermal and mutual-information Rényi expansions solved","Smooth Gaussian perturbations yield computable Rényi entropy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise, stated in Section 2 as Eq. (11), is that the differences of the two-point correlation functions are analytic in $x$, $y$, and $t$ at $t=0$; if the kernel is only smooth, the finite-rank reduction and degree counting that make every trace well defined can fail.","fun_headline_variants_meta":{"raw":{"variants":["Finite-rank traces tame smooth Rényi perturbations","Rényi entropy computed for all orders via kernel method","Exact Rényi coefficients for Gaussian perturbations","Thermal and mutual-information Rényi expansions solved","Smooth Gaussian perturbations yield computable Rényi entropy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0006,"raw_usage":{"total_tokens":2766,"prompt_tokens":871,"completion_tokens":1895,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":487,"completion_tokens_details":{"reasoning_tokens":1817}},"tokens_in":487,"tokens_out":1895,"duration_ms":12211,"temperature":1.0,"reasoning_tokens":1817,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:17:21.784479+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check: independently evaluate the coefficient of $(rT)^7$ in the $d=4$, $\\alpha=2$ thermal Rényi entropy difference by direct numerical contour integration of Eq. (18); the paper's listed value is $-64\\zeta(7)/(35\\pi)$. A mismatch at this order would show that the finite-rank trace reduction or the contour-integral evaluation is in error.","supporting_citations":[{"cited_title":"Bramante and A","cited_arxiv_id":null,"evidence_quote":"Prior perturbative method for entropy differences on the ball; this paper refines it to all orders and to Rényi entropy."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Schur's lemma, the representation-theoretic fact used to reduce rotation-equivariant matrix elements to a single angular-momentum label."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The standard beta integral that evaluates the matrix-element integral in closed form."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Standard table integrals used for the radial kernel and for the Bernoulli-polynomial contour integrals."},{"cited_title":"Cvijović and J","cited_arxiv_id":null,"evidence_quote":"Integral representation of the Riemann zeta function at odd arguments, used for the min-entropy contour integral in even dimensions."},{"cited_title":"Chen and J","cited_arxiv_id":null,"evidence_quote":"Earlier coefficient list for Rényi mutual information in three and five dimensions; all terms presented here agree."}],"review_version":1}