Recognition: unknown
Mutual Information from Modular Flow in General CFTs
Pith reviewed 2026-05-10 01:27 UTC · model grok-4.3
The pith
Modular flow and twist operator expansions yield a hierarchy of approximations to the vacuum mutual information in any CFT.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The vacuum mutual information of subregion algebras in general CFTs can be approximated through a hierarchy of increasingly refined expressions constructed from the modular flow of ball-shaped regions and the operator product expansion of the twist operators in the replica theory. The two-point functions of primaries of arbitrary spin constrain these twist operators and determine their contribution to the mutual information of arbitrarily boosted balls in any dimension. The leading contribution from the primary with the lowest scaling dimension gives the most accurate long-distance expansion, and combining this with universal short- and long-distance properties produces a high-precision 3d=2
What carries the argument
The operator product expansion of twist operators in the n-fold replicated CFT, constrained by two-point functions of primary operators of arbitrary spin, which determines their contribution to the mutual information via modular flow of ball-shaped regions.
If this is right
- The result from the lowest-dimension primary supplies the most precise long-distance expansion for the mutual information in any CFT.
- A single analytic expression now exists that approximates the mutual information to high precision for arbitrary separations in any dimension.
- The approximation reproduces exact results in two dimensions and lattice results in three dimensions.
- The same expression can be evaluated for a four-dimensional Maxwell field, a case with no prior analytic or numerical results.
Where Pith is reading between the lines
- Similar modular-flow expansions could be applied to other entanglement measures such as Rényi entropies in the same CFTs.
- Because low-dimension primaries control the long-distance regime, the mutual information between distant regions may depend only on a few universal CFT data.
- The method could be tested by comparing its predictions for boosted balls against direct replica computations in a solvable CFT at intermediate distances.
- In holographic duals the approximation might translate into new constraints on bulk geometry or correlation functions.
Load-bearing premise
The contribution from the lowest scaling dimension primary dominates the long-distance mutual information, the hierarchy of modular flow and OPE approximations converges to the full value, and universal short- and long-distance properties are sufficient to interpolate accurately.
What would settle it
A lattice computation of mutual information at intermediate distances in a three-dimensional CFT that deviates substantially from the new analytic approximation at several points would show the interpolation is inaccurate.
Figures
read the original abstract
The vacuum mutual information (MI) of subregion algebras provides a universal window into the data of general conformal field theories (CFTs). Exploiting the geometric nature of the modular flow associated to ball-shaped regions and the operator product expansion of twist operators implementing the replica symmetry in an $n$-fold version of a CFT, it is possible to construct a hierarchy of increasingly refined approximations to the full MI. In this letter, we use the two-point functions of primaries of arbitrary spin in the replicated theory to constrain the twist operators, and find their contribution to the MI of arbitrarily boosted balls in any $d$-dimensional CFT. When the two-point functions involve the primary with the lowest scaling dimension, our result provides the most precise approximation for the long-distance behavior of the MI, superseding all previous expansions. Building upon this result and certain universal properties of the short- and long-distance regimes, we put forward a new high-precision analytic approximation to the MI for arbitrary separations. The accuracy of our approach is validated against exact $d=2$ and lattice $d=3$ results. We further apply it to characterize the MI of a $d=4$ Maxwell field, a case for which no prior results are available.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a hierarchy of approximations to the vacuum mutual information (MI) of ball-shaped subregions in general d-dimensional CFTs. It combines the geometric modular flow of these regions with the OPE expansion of replica twist operators in the n-fold replicated theory, using two-point functions of primary operators of arbitrary spin to fix leading coefficients. This yields an improved long-distance expansion for the MI dominated by the lowest-dimension primary, which is then matched to the short-distance regime via universal MI properties (boost invariance and divergence structure) to produce a global analytic approximation for arbitrary separations. The result is validated against exact d=2 results and d=3 lattice data, and applied to the d=4 Maxwell field.
Significance. If the central approximation holds, the work supplies a parameter-free, high-precision analytic expression for MI in arbitrary CFTs that leverages only standard CFT data (two-point functions and modular geometry) without fitted parameters or additional dynamical assumptions. The explicit checks against solvable cases and the extension to a previously uncomputed theory (Maxwell) are strengths, as is the systematic use of the OPE hierarchy and universal short/long-distance properties. This could become a useful tool for entanglement studies in higher-dimensional CFTs.
major comments (1)
- [The construction of the global analytic approximation (around the matching of short- and long-distance regimes)] The global analytic approximation for arbitrary separations is constructed by interpolating the long-distance tail (from the lowest-Δ primary two-point function) with the short-distance expansion using universal MI properties. However, the manuscript does not provide a rigorous demonstration that the chosen interpolating function is uniquely determined by these properties or that it controls the truncation error of the OPE hierarchy for general d; explicit error bounds or additional cross-checks beyond d=2 would be needed to support the claim of 'high-precision' for arbitrary separations.
minor comments (2)
- [Abstract] The abstract states that the long-distance result 'supersedes all previous expansions'; a brief explicit comparison to the leading terms of prior long-distance MI expansions in the literature would strengthen this claim.
- Notation for the replicated twist operators and their OPE coefficients could be introduced with one additional sentence for readers less familiar with the replica trick in higher-dimensional CFTs.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for the positive overall assessment of the work. We address the major comment below.
read point-by-point responses
-
Referee: The global analytic approximation for arbitrary separations is constructed by interpolating the long-distance tail (from the lowest-Δ primary two-point function) with the short-distance expansion using universal MI properties. However, the manuscript does not provide a rigorous demonstration that the chosen interpolating function is uniquely determined by these properties or that it controls the truncation error of the OPE hierarchy for general d; explicit error bounds or additional cross-checks beyond d=2 would be needed to support the claim of 'high-precision' for arbitrary separations.
Authors: We thank the referee for this observation. The interpolating function is chosen as the minimal analytic expression that exactly reproduces the short-distance expansion (including its universal divergence structure and boost invariance) together with the leading long-distance asymptotics fixed by the lowest-dimension primary. While the universal properties constrain the form without introducing free parameters, they do not furnish a rigorous uniqueness proof for intermediate separations. The OPE hierarchy is systematic, so the leading term controls the dominant error at large separations where higher contributions are exponentially suppressed. The manuscript already validates the approximation against exact d=2 results and lattice d=3 data; the latter constitutes an explicit cross-check beyond d=2. We have revised the text to clarify the motivation for the interpolant and to emphasize the d=3 validation. Deriving explicit error bounds for arbitrary d would require a non-perturbative estimate of the full OPE remainder, which lies outside the scope of this letter. revision: yes
Circularity Check
No significant circularity: derivation uses standard CFT kinematics and external validations
full rationale
The paper constructs approximations to mutual information by combining the geometric modular flow for ball regions with the OPE expansion of replica twist operators, fixing coefficients via two-point functions of primaries in the replicated theory. The leading long-distance term follows directly from the slowest power-law decay 1/r^{2Δ_min} of the lowest-dimension primary, which is a standard consequence of CFT operator dimensions and does not involve fitting or self-referential definitions. The global approximation then interpolates this tail to the short-distance regime using only universal MI properties (boost invariance and divergence structure). Explicit comparisons to exact d=2 results and independent d=3 lattice data, plus application to the d=4 Maxwell field, provide external checks. No step reduces by construction to the paper's own inputs, no load-bearing self-citation chain appears, and the central claims remain independent of any ansatz smuggled via prior work.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Conformal invariance and the existence of a well-defined OPE for twist operators in the replicated CFT.
- domain assumption Universal properties of short- and long-distance regimes for MI in CFTs.
Reference graph
Works this paper leans on
-
[1]
Casini,Entropy localization and extensivity in the semiclassical black hole evaporation,Phys
H. Casini,Entropy localization and extensivity in the semiclassical black hole evaporation,Phys. Rev. D79(2009) 024015 [0712.0403]
-
[2]
H. Casini and M. Huerta,Remarks on the entanglement entropy for disconnected regions, JHEP03(2009) 048 [0812.1773]
- [3]
- [4]
- [5]
-
[6]
M. Huerta and G. van der Velde,Instability of universal terms in the entanglement entropy,Phys. Rev. D105(2022), no. 12 125021 [2204.09464]
- [7]
- [8]
-
[9]
Headrick,Entanglement Renyi entropies in holographic theories,Phys
M. Headrick,Entanglement Renyi entropies in holographic theories,Phys. Rev. D82(2010) 126010 [1006.0047]
-
[10]
P. Calabrese, J. Cardy and E. Tonni, Entanglement entropy of two disjoint intervals in conformal field theory II,J. Stat. Mech.1101 (2011) P01021 [1011.5482]
-
[11]
Long,On co-dimension two defect operators, 1611.02485
J. Long,On co-dimension two defect operators, 1611.02485
-
[12]
B. Chen and J. Long,R´ enyi mutual information for a free scalar field in even dimensions,Phys. Rev. D96(2017), no. 4 045006 [1612.00114]
- [13]
-
[14]
Cardy,Some results on the mutual information of disjoint regions in higher dimensions,J
J. Cardy,Some results on the mutual information of disjoint regions in higher dimensions,J. Phys. A 46(2013) 285402 [1304.7985]
- [15]
-
[16]
C. Ag´ on and T. Faulkner,Quantum Corrections to Holographic Mutual Information,JHEP08(2016) 118 [1511.07462]
- [17]
- [18]
- [19]
- [20]
- [21]
- [22]
-
[23]
Towards a derivation of holographic entanglement entropy
H. Casini, M. Huerta and R. C. Myers,Towards a derivation of holographic entanglement entropy, JHEP05(2011) 036 [1102.0440]
work page Pith review arXiv 2011
-
[24]
P. D. Hislop and R. Longo,Modular Structure of the Local Algebras Associated With the Free Massless Scalar Field Theory,Commun. Math. Phys.84(1982) 71
1982
-
[25]
P. Calabrese and J. L. Cardy,Entanglement entropy and quantum field theory,J. Stat. Mech. 0406(2004) P06002 [hep-th/0405152]
-
[26]
P. Calabrese and J. L. Cardy,Entanglement entropy and quantum field theory: A Non-technical introduction,Int. J. Quant. Inf.4(2006) 429 [quant-ph/0505193]
- [27]
- [28]
-
[29]
Notes on Some Entanglement Properties of Quantum Field Theory
E. Witten,APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory, Rev. Mod. Phys.90(2018), no. 4 045003 [1803.04993]
work page Pith review arXiv 2018
-
[30]
H. Casini and M. Huerta,Lectures on entanglement in quantum field theory,PoS T ASI2021(2023) 002 [2201.13310]
-
[31]
(2), and s≡iτ lk
Note that this definition is in agreement with the KMS condition, which leads to the relation Gαβ(x1, x2,−s) = (−1) F Gαβ(x1, x2, s), where Gαβ(x1, x2, s) is the left hand side of Eq. (2), and s≡iτ lk. Moreover,F= 1 for fermions whileF= 0 for bosons. Sinces→ −scorresponds to the exchangel→k, this reflects the symmetric (antisymetric) nature of bosonic (fe...
-
[32]
Hirai,The characters of irreducible representations of the lorentz group ofn-th order, Proceedings of The Japan Academy41(01, 1965)
T. Hirai,The characters of irreducible representations of the lorentz group ofn-th order, Proceedings of The Japan Academy41(01, 1965)
1965
-
[33]
H. Casini and M. Huerta,Reduced density matrix and internal dynamics for multicomponent regions, Class. Quant. Grav.26(2009) 185005 [0903.5284]
- [34]
- [35]
-
[36]
Simmons-Duffin,Projectors, Shadows, and Conformal Blocks,JHEP04(2014) 146 [1204.3894]
D. Simmons-Duffin,Projectors, Shadows, and Conformal Blocks,JHEP04(2014) 146 [1204.3894]
-
[37]
H. Casini and M. Huerta,Entanglement and alpha entropies for a massive scalar field in two dimensions,J. Stat. Mech.0512(2005) P12012 [cond-mat/0511014]
- [38]
-
[39]
V. Benedetti, H. Casini and P. J. Martinez,Mutual information of generalized free fields,Phys. Rev. D 107(2023), no. 4 046003 [2210.00013]
-
[40]
F. A. Dolan and H. Osborn,Conformal four point functions and the operator product expansion,Nucl. Phys. B599(2001) 459–496 [hep-th/0011040]
work page Pith review arXiv 2001
- [41]
-
[42]
Entanglement entropy in free quantum field theory
H. Casini and M. Huerta,Entanglement entropy in free quantum field theory,J. Phys. A42(2009) 504007 [0905.2562]
work page Pith review arXiv 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.