Pith. sign in

REVIEW 3 major objections 3 minor 2 cited by

The logarithmic slope of mutual information between momentum shells at large separation is a measure of renormalizability: negative for super-renormalizable, zero for marginal, and positive for non-renormalizable scalar theories.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 22:33 UTC pith:2ULHFZ7H

load-bearing objection A clean second-order demonstration that momentum-shell mutual information tracks power-counting renormalizability for super-renormalizable and marginal scalars, but the non-renormalizable signature is a conjecture because the perturbative expansion breaks down where it is measured. the 3 major comments →

arxiv 2511.09625 v2 pith:2ULHFZ7H submitted 2025-11-12 hep-th cond-mat.stat-mechquant-ph

Mutual information as a measure of renormalizability

Brenden Bowen , Albert Farah , Spasen Chaykov , Nishant Agarwal This is my paper
classification hep-th cond-mat.stat-mechquant-ph
keywords mutual informationrenormalizabilitymomentum-space entanglementinteraction quenchde Sitter spacetimescalar field theorymode separationperturbative QFT
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper tries to establish that the way correlations between momentum scales decay with separation encodes whether a quantum field theory is renormalizable. Concretely, the mutual information between two infinitesimal momentum shells separated by ratio r falls as I_r ~ r^{-2[λ]} at large r, where [λ] is the mass dimension of the coupling. The logarithmic derivative therefore tends to -2[λ]: negative for super-renormalizable interactions, zero for marginal ones, and positive for non-renormalizable ones. The authors verify this in scalar field theories in Minkowski spacetime after an interaction quench and on de Sitter spacetime, showing the same qualitative behavior in and out of equilibrium. A sympathetic reader would care because it offers a quantum-information diagnostic of renormalizability that does not presuppose an equilibrium renormalization scheme.

Core claim

The central discovery is a scaling law: for a massless λφ^n theory in d+1 dimensions, the time-independent mutual information density between two momentum shells with radii k_A and r k_A behaves as I_r(∞) ~ r^{-2[λ]} for r≫1, with [λ] = 2 - (d-1)(n-2)/2. Equivalently, lim_{r→∞} d ln I_r / d ln r = -2[λ]. This is negative for super-renormalizable theories, zero for marginal theories, and positive for non-renormalizable theories. The slope is extracted from a second-order perturbative calculation of the von Neumann entanglement entropies, and the mutual information is constructed from them by I = S_A + S_B - S_{A∪B}. Following an interaction quench in Minkowski spacetime, the late-time mutual

What carries the argument

The central object is the mutual information density I_r(t) between two infinitesimal momentum shells of radii k_A and r k_A, computed through the combination S_A + S_B - S_{A∪B} from perturbative entanglement entropies. Its key property is the scaling relation I ~ r^{-2[λ]} for r≫1, which ties the large-separation slope to the coupling's mass dimension. The derivation uses the interaction-picture quench setup, connected vacuum correlators, Wick contractions, and momentum-conserving delta functions.

Load-bearing premise

The entire calculation is truncated at second order in the coupling λ, and the large-r slope is read from this truncated expression; if higher-order terms contribute different powers of r, the proposed measure would not be the true large-separation behavior even for the simple scalar theories tested.

What would settle it

Compute the O(λ³) or O(λ⁴) contribution to I_r for λφ³ in 3+1D or λφ⁴ in 2+1D and check whether d ln I_r/d ln r still approaches -2[λ] as r→∞; if the slope acquires coupling-dependent corrections, the measure fails. Alternatively, a lattice calculation of momentum-shell mutual information in a non-renormalizable theory should show the slope become positive only if the claim holds.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If correct, the large-separation logarithmic slope of mutual information provides a single number that classifies a scalar QFT as super-renormalizable, marginal, or non-renormalizable.
  • The diagnostic applies after an interaction quench as well as in equilibrium, because late-time mutual information relaxes to its interacting-vacuum value.
  • On conformally coupled de Sitter, the slope remains well-defined and constant at finite times even when perturbation theory breaks down from secular growth.
  • The scaling form I_r ~ r^{-2[λ]} means the slope is independent of the angles between the two modes and of the shell width at leading order.
  • The mutual information between momentum shells is finite and can be normalized by the r=1 value, allowing comparison across theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Inference beyond the paper: if the leading large-r exponent is robust beyond second order, the same diagnostic could be computed non-perturbatively, for example on a lattice, for theories where renormalizability is uncertain.
  • Inference beyond the paper: the connection to RG flow the authors flag suggests the slope might be related to the mass dimension of the leading operator; one could test whether the slope tracks the sign of the beta function rather than just the coupling dimension.
  • Inference beyond the paper: the method may extend to fermionic or gauge theories and to open quantum systems, where the renormalization prescription is less established.
  • Inference beyond the paper: since the paper normalizes by I_1, the ratios may be observable in condensed-matter or ultracold-atom simulators of momentum-space entanglement.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper proposes a quantum-information diagnostic for renormalizability: for a scalar field theory with interaction λϕ^n, the mutual information I_r between two infinitesimal momentum shells separated by ratio r = k_B/k_A behaves, at large r, as I_r ~ r^{-2[λ]} (Eq. 27), so that the logarithmic derivative lim_{r→∞} d ln I_r/d ln r equals −2[λ]. The sign of this derivative is therefore negative for super-renormalizable theories, zero for marginal theories, and positive for non-renormalizable theories. The authors verify this scaling in Minkowski spacetime for λϕ³ (d=3,5,7), λϕ⁴ (d=2,3,5), and λϕ⁶ (d=2), both after an interaction quench and in the late-time interacting vacuum. They then extend the calculation to a conformally coupled scalar on the Poincaré patch of de Sitter spacetime for λϕ³ and λϕ⁴ in 3+1D, finding the same qualitative behavior at finite times. The central derivation is a second-order perturbative calculation of the mutual information between momentum shells, followed by a power-counting argument for the large-r scaling.

Significance. If the proposed measure is correct, it provides a new, information-theoretic characterization of renormalizability that is applicable out of equilibrium, where traditional renormalization prescriptions are less developed. The paper's explicit calculations and the transparent scaling relation Eq. (27) are valuable: they make a concrete, falsifiable prediction that the logarithmic slope is determined by the mass dimension of the coupling. The extension to de Sitter spacetime is a useful step toward cosmological applications. However, the current evidence is limited to second order in perturbation theory, and the non-renormalizable cases—the most distinctive part of the claim—are computed in a regime where the perturbative expansion is uncontrolled. The paper does not provide a proof that higher-order terms preserve the asymptotic slope, and the regulator dependence of the non-renormalizable examples is not examined. Thus the result is an interesting conjecture supported by leading-order calculations, rather than a fully established diagnostic.

major comments (3)
  1. [Sec. II C, Eq. (27)] The scaling I_r ~ r^{-2[λ]} is derived from the O(λ²) expression for the mutual information. For non-renormalizable theories [λ]<0, the effective dimensionless coupling λ k_A^{-[λ]} r^{-[λ]} grows without bound as r→∞, so the perturbative expansion is uncontrolled exactly in the limit used to define the measure. The paper gives no argument that O(λ⁴) or higher terms do not alter the asymptotic power; the Discussion (Sec. IV) explicitly defers higher orders to future work. Consequently, the positive-slope signature for non-renormalizable theories is not established. A concrete test would be to compute the O(λ⁴) correction to the slope for λϕ⁴ in 5+1D or to show that the slope is independent of the regulator in a controlled limit.
  2. [Sec. II B 3, Fig. 4] The λϕ⁶ in 2+1D case, which is marginal, is handled by introducing a UV cutoff Λ and numerically computing I_r(∞) for several finite Λ values. The paper deduces that I_r(∞) ≈ I_1(∞) for all r as Λ→∞ because the flat region extends to larger r. This is an extrapolation: the limits r→∞ and Λ→∞ do not commute, and no asymptotic analysis of the regulated integral is provided. Since the momentum integrals are not power-counting convergent, this case provides weaker evidence for the zero-slope classification than the convergent λϕ³ and λϕ⁴ examples. The authors should either supply a controlled double-scaling argument or explicitly label this as a numerical inference.
  3. [Sec. III, de Sitter results] The de Sitter analysis covers only super-renormalizable λϕ³ and marginal λϕ⁴ in 3+1D. No non-renormalizable interaction is computed, so the claim that the measure is a reliable indicator 'both in and out of equilibrium' is not tested for the positive-slope case. Moreover, for λϕ³ the paper notes that perturbation theory breaks down as Hη→0⁻, yet it still asserts that the logarithmic derivative remains well-defined and constant (lim_{r→∞} d ln I_r/d ln r = −2). Given the loss of perturbative control, this assertion needs justification or a clear caveat that the slope is computed from an out-of-validity expression.
minor comments (3)
  1. [Eq. (7)] The mode functions are written as f^>_k(t) = 1/sqrt(2ω_k) e^{-iω_k(t-t0)} = f^<*_k(t). The notation f^< is not explicitly defined; it would be clearer to state f^< = (f^>)^* and to define the propagator G^> accordingly.
  2. [Fig. 3 caption] The caption mentions an 'additional λϕ⁴ in 5+1D case', but the text says the time-dependent result for d=5 is not included and the right panel appears to show only d=2 and d=3. Please clarify what data are plotted for d=5 and whether the slope +4 is extracted from a separate, unshown computation.
  3. [Sec. II B, after Eq. (22)] The statement that I_1 is not proportional to the δk expansion of S_A/L^d is interesting but could confuse readers. A brief explanation of why the cancellation in Eq. (D10) changes the r=1 limit, and why normalizing by I_1 is still valid, would improve readability.

Circularity Check

0 steps flagged

Derivation of the mutual-information slope is self-contained; no circular step found.

full rationale

The paper's central relation, I ~ r^{-2[λ]} (Eq. 27), is derived from the explicitly computed second-order mutual information density (Eqs. 22 and 24) by a power-counting/transverse-momentum rescaling argument. The slope d ln I_r / d ln r = -2[λ] is not fitted to the renormalizability classification; instead, the sign of [λ] is an independent, standard power-counting criterion for renormalizability, and the paper matches its computed slopes to that external classification in Table 1. The α=0,1,... terms in the entropy and mutual-information expressions are derived in the appendices from the quenched interaction-picture state, with the main technical ingredient (momentum-space entanglement entropy) taken from the external reference [6] (Balasubramanian, McDermott, Van Raamsdonk), not from the authors' own prior work. The only self-citations are refs. [25] and [31], which appear in forward-looking discussion remarks about mixed-state counterterms and open QFTs; they are not load-bearing for the paper's central result. The skeptic's concern that the O(λ^2) expansion may break down for non-renormalizable theories at large r is a legitimate correctness risk about perturbative control, not a circularity: the paper's scaling statement is derived from its own equations rather than assumed. Thus no circular step can be exhibited, and the appropriate finding is no significant circularity.

Axiom & Free-Parameter Ledger

2 free parameters · 6 axioms · 0 invented entities

The central result rests on second-order perturbation theory, standard QFT techniques (Wick's theorem, normal ordering), and specific initial-state/regulator choices. No new entities are introduced. The main free parameters are the regulators used in divergent cases; the coupling λ and momentum scale k_A cancel in the normalized slope.

free parameters (2)
  • Dimensional regularization parameter ξ = 10⁻³
    Introduced in Appendix E 2 c to regulate the φ⁴ in 5+1D mutual information integral. The slope d ln I_r / d ln r = 4 is claimed to follow, but regulator-independence is not demonstrated.
  • UV cutoff Λ = varied; Λ→∞ limit inferred
    Regulates the power-counting divergent φ⁶ in 2+1D integrals (Section II B 3). The slope 0 is obtained by extrapolating numerical data with increasing Λ, not by a controlled limit.
axioms (6)
  • domain assumption Second-order perturbation theory in λ is sufficient to determine the asymptotic large-r logarithmic slope of the mutual information
    All results use O(λ²) expressions (Eqs. 18, 22, 24); no argument is given that higher orders preserve the slope.
  • standard math Wick's theorem and normal-ordered composite operators; only connected diagrams contribute
    Used to reduce entanglement entropy to products of propagators (Section II A, Appendix A).
  • domain assumption Mutual information density is uniform over infinitesimal momentum shells
    Used in Appendix D to replace shell integrals with integrand evaluated at k_A, k_B times δk.
  • domain assumption Late-time limit of the interaction quench reproduces the perturbative interacting-vacuum mutual information
    Eq. (23) evaluates late-time integrals and identifies the result with ref [6]'s time-independent ground-state answer.
  • domain assumption Conformal coupling ξ=(d²-1)/48 and Bunch-Davies initial vacuum in the asymptotic past for de Sitter
    Chosen to keep Minkowski-like mode functions (Eq. 32); the mutual information is computed in this state.
  • domain assumption Power-counting dominance of the r→∞ integrals in the scaling derivation
    Section II C rescales ⃗z_i → r ⃗z_i and drops subleading terms to obtain I ~ r^{-2[λ]}; assumes no hidden r-dependence from integration boundaries.

pith-pipeline@v1.3.0-alltime-deepseek · 20798 in / 14873 out tokens · 134149 ms · 2026-08-03T22:33:32.057289+00:00 · methodology

0 comments
read the original abstract

Renormalization is an essential technique in field-theoretic descriptions of natural phenomena, where the absence of a UV-complete description yields an abundance of divergent quantities. While the renormalization prescription has been thoroughly refined for equilibrium systems, consistently extending it to out-of-equilibrium systems is an active area of research. In this paper, we identify a mutual information-based measure of renormalizability that applies to quantum field theories both in and out of equilibrium. Specifically, we use mutual information to characterize correlations between infinitesimal shells in momentum space and show that the logarithmic derivative of mutual information with mode separation, at large mode separation, is a measure of renormalizability. We first consider Minkowski spacetime, where we introduce dynamics by performing an interaction quench, initializing the field in the free theory vacuum and then turning on the interaction. We show that the late-time mutual information relaxes to that for the interacting vacuum and the logarithmic derivative at large mode separation is negative for super-renormalizable theories, zero for renormalizable (marginal) theories, and positive for non-renormalizable theories. We then consider a conformally-coupled scalar field on the Poincar\'{e} patch of de Sitter spacetime, initializing the field in the Bunch-Davies vacuum in the asymptotic past. For different self-interactions and at any finite time, we find that the resulting mutual information has the same qualitative behavior as a function of mode separation, demonstrating that it can be used as a reliable indicator of renormalizability.

Figures

Figures reproduced from arXiv: 2511.09625 by Albert Farah, Brenden Bowen, Nishant Agarwal, Spasen Chaykov.

Figure 1
Figure 1. Figure 1: FIG. 1: (Left) Bipartite partition of the Hilbert space, used [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: (Left) Time-dependent mutual information density as a function of time for a massless [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: (Left) Time-dependent mutual information density as a function of time for a massless [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4: Time-independent mutual information density as a [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: Time-dependent mutual information density as a function of mode separation in de Sitter spacetime for a (left) massless [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Stochastic inflation from a non-equilibrium renormalization group

    hep-th 2026-05 unverdicted novelty 7.0

    A generalized Fokker-Planck equation for stochastic inflation is derived from a Polchinski-type renormalization group flow on the density matrix, incorporating dissipative and diffusive corrections beyond the leading order.

  2. Stochastic inflation from a non-equilibrium renormalization group

    hep-th 2026-05 conditional novelty 7.0

    Stochastic inflation is the leading infrared limit of a coarse-grained Schwinger–Keldysh effective theory, and the same Fokker–Planck dynamics follows from a Polchinski-type renormalization-group flow for the reduced ...

Reference graph

Works this paper leans on

32 extracted references · 23 linked inside Pith · cited by 1 Pith paper

  1. [1]

    M. E. Peskin and D. V. Schroeder,An Introduction to Quantum Field Theory(Addison-Wesley, Reading, USA, 1995), ISBN 978-0-201-50397-5

    1995

  2. [2]

    K. G. Wilson, Phys. Rev. B4, 3174 (1971)

    1971

  3. [3]

    K. G. Wilson and J. B. Kogut, Phys. Rept.12, 75 (1974)

    1974

  4. [4]

    K. G. Wilson, Rev. Mod. Phys.55, 583 (1983)

    1983

  5. [5]

    Swingle (2010), 1010.4038

    B. Swingle (2010), 1010.4038

    Pith/arXiv arXiv 2010

  6. [6]

    moving all annihilation operators to the right

    and on cosmological spacetimes [20–23]. While this procedure captures the information shared between the two regions as a whole, it does not distinguish between information shared with modes that are just outside the IR region and those that are infinitely outside it. Further, if we pushk ⋆ → ∞in an attempt to capture the entan- glement of the IR region w...

  7. [7]

    Balasubramanian, M

    V. Balasubramanian, M. B. McDermott, and M. Van Raamsdonk, Phys. Rev. D86, 045014 (2012), 1108.3568

    Pith/arXiv arXiv 2012

  8. [8]

    B´ eny and T

    C. B´ eny and T. J. Osborne, Phys. Rev. A92, 022330 (2015), 1206.7004

    Pith/arXiv arXiv 2015

  9. [9]

    Balasubramanian, J

    V. Balasubramanian, J. J. Heckman, and A. Maloney, JHEP05, 104 (2015), 1410.6809. 10

    Pith/arXiv arXiv 2015

  10. [10]

    C. Agon, V. Balasubramanian, S. Kasko, and A. Lawrence, Phys. Rev. D98, 025019 (2018), 1412.3148

    Pith/arXiv arXiv 2018

  11. [11]

    Laflorencie, Phys

    N. Laflorencie, Phys. Rept.646, 1 (2016), 1512.03388

    Pith/arXiv arXiv 2016

  12. [12]

    D. W. F. Alves and G. Camilo, Eur. Phys. J. C79, 48 (2019), 1712.01400

    Pith/arXiv arXiv 2019

  13. [13]

    Maity, S

    S. Maity, S. Bandyopadhyay, S. Bhattacharjee, and A. Dutta, Phys. Rev. B101, 180301 (2020), 2001.09802

    Pith/arXiv arXiv 2020

  14. [14]

    R. E. Fowler III, Ph.D. thesis, North Carolina U. (2020)

    2020

  15. [15]

    S. Paul, P. Titum, and M. F. Maghrebi, Phys. Rev. Res. 6, L032003 (2024), 2202.04654

    Pith/arXiv arXiv 2024

  16. [16]

    Cotler and S

    J. Cotler and S. Rezchikov, Phys. Rev. D108, 025003 (2023), 2202.11737

    Pith/arXiv arXiv 2023

  17. [17]

    J. S. Zou, H. S. Ansell, and I. A. Kov´ acs, Phys. Rev. B 106, 054201 (2022), 2205.14306

    Pith/arXiv arXiv 2022

  18. [18]

    M. H. M. Costa, J. v. d. Brink, F. S. Nogueira, and G. a. I. Krein, Phys. Rev. D106, 065024 (2022), 2207.12103

    Pith/arXiv arXiv 2022

  19. [19]

    M. H. Martins Costa, J. v. d. Brink, F. S. Nogueira, and G. I. Krein, Phys. Rev. D107, 125014 (2023), 2211.10238

    Pith/arXiv arXiv 2023

  20. [20]

    Kong and Q

    W. Kong and Q. Wang (2025), 2505.18820

    arXiv 2025

  21. [21]

    Brahma, O

    S. Brahma, O. Alaryani, and R. Brandenberger, Phys. Rev. D102, 043529 (2020), 2005.09688

    Pith/arXiv arXiv 2020

  22. [22]

    Brahma, R

    S. Brahma, R. Brandenberger, and Z. Wang, JCAP03, 094 (2021), 2009.12653

    Pith/arXiv arXiv 2021

  23. [23]

    Brahma, A

    S. Brahma, A. Berera, and J. Calder´ on-Figueroa, JHEP 08, 225 (2022), 2206.05797

    Pith/arXiv arXiv 2022

  24. [24]

    Brahma, J

    S. Brahma, J. Calder´ on-Figueroa, M. Hassan, and X. Mi, Phys. Rev. D108, 043522 (2023), 2302.13894

    Pith/arXiv arXiv 2023

  25. [25]

    Groisman, S

    B. Groisman, S. Popescu, and A. Winter, Phys. Rev. A 72, 032317 (2005)

    2005

  26. [26]

    Chaykov, N

    S. Chaykov, N. Agarwal, S. Bahrami, and R. Holman, JHEP02, 094 (2023), 2206.11289

    Pith/arXiv arXiv 2023

  27. [27]

    Baidya, C

    A. Baidya, C. Jana, R. Loganayagam, and A. Rudra, JHEP11, 204 (2017), 1704.08335

    Pith/arXiv arXiv 2017

  28. [28]

    Ag´ on and A

    C. Ag´ on and A. Lawrence, JHEP04, 008 (2018), 1709.10095

    Pith/arXiv arXiv 2018

  29. [29]

    Burrage, C

    C. Burrage, C. K¨ ading, P. Millington, and J. Min´ aˇ r, Phys. Rev. D100, 076003 (2019), 1812.08760

    Pith/arXiv arXiv 2019

  30. [30]

    Jana, and A

    Avinash, C. Jana, and A. Rudra (2019), 1906.10180

    Pith/arXiv arXiv 2019

  31. [31]

    C. Jana, R. Loganayagam, and M. Rangamani, JHEP 07, 242 (2020), 2004.02888

    Pith/arXiv arXiv 2020

  32. [32]

    loop-contracted

    B. Bowen, N. Agarwal, and A. Kamal (2024), 2403.18907. Appendix A: General normal ordering In this appendix, we describe a general normal-ordering prescription for bosonic operators such that correlators of the form⟨: ˆϕn(x) : :ˆϕm(y) :⟩are free of contributions from bubbles (vacuum, thermal, etc.). When the system is initialized at zero temperature, the ...

    arXiv 2024