Entanglement Bounds on Cardy Growth in Higher Dimensions

Yin Tang; Yuya Kusuki

REVIEW

Entanglement Bounds on Cardy Growth in Higher Dimensions

Yuya Kusuki, Yin Tang

High Energy Physics - Theory · Submitted 27 Oct 2026

Pith's verdict: A genuinely new conjecture (f ≤ fvac) with clean controlled evidence in four distinct regimes, but the headline universal bounds remain unproved and the 3d bound leans on the separate BCLM conjecture.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.37449 (version 2)

Pith ID5FR5VRCC, Pith's permanent record of this paper and its review

CitationYin Tang, Yuya Kusuki. "Entanglement Bounds on Cardy Growth in Higher Dimensions." arXiv:2610.37449 (2026). https://pith.science/paper/5FR5VRCC

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Two things to know. The genuinely new object is fvac, a linear functional on the free-field decomposition of ⟨TTT⟩ weighted by free-field thermal coefficients, and the proposed inequality f ≤ fvac. The headline bounds—f ≤ 4π²a in d=4 and f ≤ 2.99830...F in d=3—are corollaries: the 4d one via an exact positivity relation (4π²a − fvac = π²(nW/24 + 2nV/3) ≥ 0), the 3d one only with the additional Bueno–Casini–Lasso Andino–Moreno conjecture on CT/F. Second, the paper is honest about all of this. Eq. (9) is labeled conjectural, the Rényi route R4(q) ≤ 1 is labeled conjectural, and the overlap with Herzog–Stergiou is disclosed in the note added.

What earns credit: the fvac construction is a good idea. It packages the vacuum-vs-thermal comparison in a form saturated by every free theory, and the paper then verifies it in four distinct classes. The weak-coupling computation is real work: universal coefficients, with signs fixed by positivity of energy flux and vacuum stability through λaabb ≥ 0. The large-N argument is clean—thermal masses only lower entropy, so you never need the gap equations. The Chern–Simons holonomy bound via convexity is neat. The best piece is the holographic one: the null energy condition gives h′(rH) ≥ d/L, bounding the entropy by Schwarzschild–AdS and giving f/fvac ≤ 3/4 in d=4 and 0.8575... in d=3, independent of the scalar potential. The finite-N Ising and O(2) ratios (~0.85) sit below 1.

The soft spot is the one the stress-test names: nothing in the controlled regimes closes the gap to a general proof. This is not a hidden flaw—the authors say it plainly—but it means the universal claim is a conjecture with strong circumstantial support, not a theorem. In d=3 the support is thinner still, since converting fvac to F needs BCLM. Minor quibbles: the O(2) fvac value carries a large uncertainty, and the Monte Carlo Casimir amplitudes have residual systematics the authors acknowledge.

Who it's for: anyone working on CFT thermodynamics, entanglement entropy, or the bootstrap. It deserves a serious referee; the controlled derivations should be audited, and the report should be explicit that the universal part remains conjectural. I would take it for review.

Referee report

Significance

If the universal inequalities were established, the paper would provide a genuinely new bridge between vacuum entanglement data and finite-temperature thermodynamics, and hence between entanglement and the high-energy density of states above two dimensions. The controlled calculations are substantial and self-contained: the weak-coupling positivity argument, the thermal-mass entropy argument in vector models, the holonomy convexity bound in Chern–Simons theories, and the null-energy-condition bound h'(rH) ≥ d/L in holography are all coherent and internally consistent. The formulation of fvac is also attractive because it is saturated by every free theory and connects the thermal coefficient to conformal-collider data. The main limitation is that the universal claims in Eq. (3) are not derived; they rest on conjectural steps that the authors themselves label as such. The paper's value at present is therefore as a well-motivated conjecture with strong but non-exhaustive evidence, not as a proof of the stated bounds.

Major objections (4)

[Eq. (3), Eq. (9), Sec. S1] The central universal statement in Eq. (3) is not established. The chain passes through f ≤ fvac in Eq. (9), and the normalization condition fvac = f for free fields fixes the functional in Eq. (S4) but does not prove the inequality in an interacting theory. The manuscript explicitly calls Eq. (9) conjectural and verifies it only in the controlled regimes of Table I, yet the abstract and introduction present Eq. (3) as bounds and subsequently use them to constrain Cardy growth in Eqs. (26)–(27). The revision should either supply a proof of Eq. (9) or clearly and prominently present Eq. (3) as a conjecture, with the proven regime-specific inequalities listed separately. The authors acknowledge this: “These are free-theory values; they do not determine the thermal coefficient at a general point on an interacting conformal manifold.”
[Eq. (14), Eq. (S15)] The three-dimensional bound f ≤ (fs/Fs)F is conditional on two independent conjectural inputs: f ≤ fvac and the Bueno–Casini–Lasso Andino–Moreno conjecture CT/F ≤ CT,s/Fs. The authors acknowledge the second input, but the main-text presentation of the d = 3 bound does not make its doubly conjectural status clear. In particular, even a proof of f ≤ fvac would not by itself imply the advertised f/F bound. The revision should state that the d = 3 numerical coefficient 2.99830949... is a conditional ceiling, and should distinguish the BCLM-independent statement f ≤ (fs/CT,s)CT from the full entanglement bound.
[Eq. (7), Sec. S6] The Rényi-entropy route does not currently close the gap. The proposal R4(q) ≤ 1 and R3(q) ≤ 1 for all 0 < q ≤ 1 is itself conjectural: Eq. (6) gives only the local statement near q = 1, and the checks in Sec. S6 cover free fields and hyperbolic Schwarzschild–AdS in Einstein gravity. The thermal limit in Eq. (7) therefore converts one conjecture into another rather than proving Eq. (3). This is not an internal inconsistency, but it means that the Rényi discussion is motivational rather than a derivation, and the paper should say so when summarizing the status of the bounds. The authors acknowledge this: “No claim about a full Rényi curve follows solely from these flat-space endpoint checks.”
[Eq. (25), Sec. S7] The finite-N numerical tests are supportive but not decisive evidence for a universal inequality. The Ising and O(2) values of f/fvac depend on bootstrap estimates obtained under stated spectral assumptions and on Monte Carlo Casimir amplitudes with acknowledged systematic uncertainties, as the authors note at the end of Sec. S7. These numbers should be presented as consistency checks of the conjecture, not as confirmation of Eq. (9) in a new regime, because the quoted uncertainties do not exclude f > fvac at the level required by a strict inequality. The authors acknowledge this: “Earlier estimates of the critical Casimir amplitude differ by more than their quoted statistical errors, indicating residual systematic uncertainties.”

Minor objections (3)

[Eq. (S45)] The display `1− 54N+2N+8 ϵ` is ambiguous as typeset; it should read `1 − (5/4)(N+2)/(N+8) ε`.
[Abstract and Introduction] The word `bounds` in the abstract and introduction can be read as asserting theorems. A short status statement at the end of the introduction—listing which displayed inequalities are proven in controlled regimes and which are conjectural—would remove this ambiguity.
[Sec. S7] The uncertainty quoted for the O(2) value of fvac includes only the bootstrap uncertainty in x, while the Monte Carlo systematic uncertainty is discussed separately; the main-text sentence reporting f/fvac ≃ 0.847 should carry the same caveat as the Ising result.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

In every unitary conformal field theory in three or four dimensions, the thermal coefficient f is bounded by vacuum entanglement data — the sphere free energy F or the Euler anomaly a — and that ceiling propagates to the high-energy…

The reading

The paper proposes a universal ceiling: in any unitary conformal field theory, the coefficient $f$ that controls the thermal free energy — and hence the entropy density $s = d f T^{d-1}$ — is bounded from above purely by vacuum entanglement data. Concretely, $f \le 4\pi^2 a$ in four dimensions, with $a$ the Euler anomaly coefficient, and $f \le 2.99830949\ldots\, F$ in three dimensions, with $F$ the sphere free energy; a free real scalar saturates both bounds, while free fermions (and, in four dimensions, free vectors) already sit strictly below. Since the same $f$ controls the leading high-energy growth of the density of states through the higher-dimensional Cardy formula, the proposal caps that growth, for example $\log\rho(\Delta) \lesssim \frac{4}{3}(24\pi^4 a)^{1/4}\Delta^{3/4}$ in $d=4$. The argument runs through a stronger conjectural inequality, $f \le f_{\rm vac}$, in which $f_{\rm vac}$ is a linear functional on the vacuum stress-tensor three-point function chosen to coincide with $f$ in every free theory; the paper verifies this stronger statement in weakly coupled gauge theories, large-$N$ vector models, Chern–Simons matter theories, and holographic Einstein gravity, with finite-$N$ numerical results (Ising and $O(2)$) as further tests.

What carries the argument

The object that carries the argument is $f_{\rm vac}$, a linear functional on the coefficients $n_i$ of the parity-even part of the stress-tensor three-point function in a free-field basis: $\langle TTT\rangle_{\rm even} = \sum_i n_i \langle TTT\rangle_{\rm free\,i}$ and $f_{\rm vac} = \sum_i n_i f_{\rm free\,i}$, where $i$ labels a real scalar, a Majorana fermion ($d=3$) or a Weyl fermion plus Maxwell field ($d=4$). The normalization is fixed by demanding $f_{\rm vac} = f$ for each free field, and the conformal collider bounds give $n_i \ge 0$. In four dimensions the free-field normalizations imply $4\pi^2 a - f_{\rm vac} = \pi^2(n_W/24 + 2n_V/3) \ge 0$, so the conjectured $f \le f_{\rm vac}$ plus positivity of the energy flux yields $f \le 4\pi^2 a$; in three dimensions the Ward identity gives $f_{\rm vac} = f_s(n_s + \tfrac{3}{4}n_M)$ and $C_T/C_{T,s} = n_s + n_M$, and the independent conjecture $C_T/F \le C_{T,s}/F_s$ converts the same inequality into $f \le (f_s/F_s)F$. A parallel construction uses spherical Rényi entropy: with $R_d(q)$ the ratio of the theory's normalized Rényi coefficient to the free scalar's, the identity $a'_1 = -c/2$ gives $R'_4(1) = (3a - c)/(2a) \ge 0$ by the conformal collider bound $c \le 3a$, and the conjectured inequality $R_d(q) \le 1$ for all $0 < q \le 1$ has the thermal bounds as its $q \to 0$ limit. The verification mechanisms are class-specific: a nonnegative leading correction in weakly coupled gauge theories, thermal-mass suppression of free-mode entropies in large-$N$ vector models, convexity of the holonomy-averaged entropy in Chern–Simons matter, and $A'' \le 0$ from the null energy condition in holographic gravity.

Extended reading notes

Core claim

The central claim, Eq. (3), is that for every unitary CFT in $d=3$ or $d=4$ the dimensionless thermal coefficient $f$ — the coefficient of the cosmological constant term in the thermal effective action on $S^1_\beta \times \Sigma$, equivalently $s = d f T^{d-1}$ — is bounded above by the vacuum quantities that fix the universal contribution to ball entanglement entropy: $f \le 4\pi^2 a$ in $d=4$ and $f \le \frac{8\pi\zeta(3)}{2\pi^2\log 2 - 3\zeta(3)}F = 2.99830949\ldots F$ in $d=3$. The route to these sharp bounds is a stronger conjecture, $f \le f_{\rm vac}$, where $f_{\rm vac}$ is obtained by decomposing the parity-even part of the stress-tensor three-point function $\langle TTT\rangle$ in a basis of free-field structures and weighting each coefficient $n_i$ by the corresponding free-field thermal coefficient; requiring equality for every free theory fixes the functional uniquely, and positivity of the energy flux gives $n_i \ge 0$. The paper establishes $f \le f_{\rm vac}$ in four controlled regimes: weakly coupled four-dimensional gauge–Yukawa fixed points (a nonnegative leading interaction correction), large-$N$ three-dimensional vector models (thermal masses suppress each free mode's entropy), planar Chern–Simons–matter theories (convexity of the holonomy-averaged entropy), and holographic Einstein gravity with neutral scalars (the null energy condition bounds the entropy density by the planar Schwarzschild–AdS value). Finite-$N$ bootstrap plus Monte Carlo estimates give $f/f_{\rm vac} \simeq 0.85$ for the three-dimensional Ising and $O(2)$ CFTs, leaving a visible margin below the conjectured ceiling. Combining $s = d f T^{d-1}$ with the higher-dimensional Cardy formula, the bounds then cap the density of states, e.g. $\log\rho(\Delta) \lesssim \frac{4}{3}(24\pi^4 a)^{1/4}\Delta^{3/4}$ as $\Delta \to \infty$ in $d=4$.

Load-bearing premise

The bounds rest on the unproved inequality $f \le f_{\rm vac}$ — that the actual thermal coefficient never exceeds the linear functional obtained from the vacuum stress-tensor three-point function weighted by free-field thermal coefficients — and, in three dimensions, on the additional independent conjecture $C_T/F \le C_{T,s}/F_s$; if either premise fails, the universal bounds in Eq. (3) are unsupported.

Editorial extensions

If this is right

In $d=4$, every unitary CFT then has thermal entropy density $s = 4fT^3 \le 16\pi^2 a\, T^3$, so the Euler anomaly — which already fixes the universal logarithm in vacuum entanglement entropy — becomes a universal ceiling on the entropy of hot conformal matter.
The high-energy density of states is capped as $\log\rho(\Delta) \lesssim \frac{4}{3}(24\pi^4 a)^{1/4}\Delta^{3/4}$ in $d=4$ and $\log\rho(\Delta) \lesssim 3(\pi\, f_s/F_s \cdot F)^{1/3}\Delta^{2/3}$ in $d=3$, the higher-dimensional analogue of the two-dimensional rule that one number controls both entanglement and Cardy growth.
The stronger inequality $f \le f_{\rm vac}$ is saturated by every free theory; the resulting bounds in Eq. (3) are already strict for free fermions and free vectors, and in holographic Einstein gravity $f < f_{\rm vac}$ holds for every scalar potential, with $f/f_{\rm vac} \le 2\pi^4/(189\zeta(3)) \simeq 0.8575$ in $d=3$ and $f/f_{\rm vac} \le 3/4$ in $d=4$.
In the large-$N$ critical $O(N)$ model the leading-order ratio is $f/f_{\rm vac} = 4/5$, while the critical Gross–Neveu model saturates $f = f_{\rm vac}$ at leading order, so the proposed inequalities make sharp quantitative predictions that higher-order and finite-$N$ computations can test.
Spherical Rényi entropy provides a one-parameter interpolation: if the conjectured $R_d(q) \le 1$ holds for all $0 < q \le 1$, the thermal bounds are the $q \to 0$ endpoint of a family of entanglement inequalities whose $q \to 1$ behavior is already guaranteed by $c \le 3a$ in four dimensions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: the $q \to 0$ link makes the full Rényi conjecture testable — computing small-$q$ spherical Rényi entropies of the Ising or $O(2)$ CFTs by lattice or fuzzy-sphere methods and checking that they stay below the free-scalar curve would probe much more than the thermal endpoint.
Editorial reading of the $d=4$ chain $f \le f_{\rm vac} \le \frac{4\pi^2}{5}(2c-a) \le 4\pi^2 a$: the ceiling is set by the finer three-point data rather than by the anomalies alone, and the holographic value $f/(4\pi^2 a) \le 1/8$ shows the bound can be loose in strongly coupled theories — so the informative quantity is the gap $f_{\rm vac} - f$, which the finite-$N$ numbers already begin to meas
Because a decoupled topological sector contributes to $F$ but not to separated stress-tensor correlators — the paper notes it weakens the $d=3$ $F$-bound — the sharpest three-dimensional statement may be $f \le (f_s/F_s)(F - F_{\rm top})$, with theories carrying a topological subsector as a ready-made test class.
If $f \le f_{\rm vac}$ were proved, it would unify three apparently distinct positivity inputs — energy-flux positivity, thermal-mass suppression, and the null energy condition — behind one principle: thermal entropy is a monotone functional of vacuum stress-tensor data; a direct proof from light-ray or modular structure would then be the natural target, since the Rényi construction alone controls

Original abstract

We propose bounds relating thermal entropy to entanglement in unitary conformal field theories: $f\le4\pi^2a$ in four dimensions and $f\le2.99830949\ldots\,F$ in three dimensions. Here $f$ is the dimensionless coefficient of the cosmological constant term in the thermal effective action, $a$ is the Euler anomaly coefficient, and $F$ is the sphere free energy. These bounds arise naturally as the high-temperature limits of proposed inequalities for spherical R\'enyi entropy that extend the conformal collider bound in four dimensions and an analogous conjecture in three dimensions. To verify this proposal, we formulate a stronger conjectural inequality common to both dimensions, expressed in terms of the stress-tensor three-point function and saturated by every free theory. We establish this inequality in controlled regimes of weakly coupled gauge theories, large-$N$ vector models, and holographic CFTs. Finite-$N$ numerical results provide additional support. Our proposal suggests that the equality between the universal coefficients governing the Cardy formula and entanglement entropy in two-dimensional CFTs extends to higher dimensions in the form of a universal inequality.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-28: 1 request, 4,979 input tokens.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.56 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.98 · compares with prior results 0.51 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We propose bounds relating thermal entropy to entanglement in unitary conformal field theories: $f\le4\pi^2a$ in four dimensions and $f\le2.99830949\ldots\,F$ in three dimensions. Here $f$ is the dimensionless coefficient of the cosmological constant term in the thermal effective action, $a$ is the Euler anomaly coefficient, and $F$ is the sphere free energy. Spherical R\'enyi entropy relates the four-dimensional bound to the conformal collider bounds. We formulate a stronger conjectural inequality involving the stress-tensor three-point function, saturated by every free theory, and establish it in controlled regimes of weakly coupled gauge theories, large-$N$ vector models, and holographic CFTs. Finite-$N$ numerical results provide additional tests. The bounds constrain the Cardy growth of the density of states at high energy.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We propose bounds relating thermal entropy to entanglement in unitary conformal field theories: $f\le4\pi^2a$ in four dimensions and $f\le2.99830949\ldots\,F$ in three dimensions.	result 0.67	0.89	0.85	asserted 0.56
s1	Here $f$ is the dimensionless coefficient of the cosmological constant term in the thermal effective action, $a$ is the Euler anomaly coefficient, and $F$ is the sphere free energy.	background 0.67	0.26	0.06	asserted 0.97
s2	Spherical R\'enyi entropy relates the four-dimensional bound to the conformal collider bounds.	interpretation 0.61	0.53	0.06	asserted 1.00
s3	We formulate a stronger conjectural inequality involving the stress-tensor three-point function, saturated by every free theory, and establish it in controlled regimes of weakly coupled gauge theories, large-$N$ vector models, and holographic CFTs.	contribution 0.90	0.94	0.23	asserted 0.62
s4	Finite-$N$ numerical results provide additional tests.	method 0.49	0.84	0.03	asserted 0.92
s5	The bounds constrain the Cardy growth of the density of states at high energy.	interpretation 0.96	0.63	0.35	asserted 0.99

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.94.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.