REVIEW 3 major objections 4 minor 50 references
The paper establishes a universal formula linking the stress-tensor two-point coefficient C_T to the quadratic-Weyl anomaly coefficient c in every even dimension d > 2, with explicit dimension-dependent constant.
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 →
T0 review · deepseek-v4-flash
2026-08-02 20:00 UTC pith:7W4CFV5K
load-bearing objection A clean all-even-d C_T-anomaly relation with strong low-d and holographic checks; the d>=8 step assumes a single quadratic Weyl invariant, which is plausible but unproven. the 3 major comments →
Universal relation between C_(T) and the CFT Weyl anomaly
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On its own terms, the paper establishes that for every even d > 2, C_T = [d/(d−1)]·[(d+1)!/(d/2−1)!]·c, where c is the coefficient of the unique quadratic-in-Weyl term in the trace anomaly, normalized so that a pure Q-curvature anomaly has c = a. Equivalently, in momentum space the trace anomaly takes the remarkably simple form ⟨T⟩ = 2 C_TT Q_d + lot + ttd, with the critical Q-curvature Q_d absorbing all the dimension dependence. The same constant is reached by three routes: holographically from Einstein bulk gravity, directly from the RG running of the TT correlator around flat space, and by trading the quadratic Weyl term for the Q-curvature through the Chern–Gauss–Bonnet identity on Einst
What carries the argument
The central object is the critical Q-curvature Q_d together with its Chern–Gauss–Bonnet expansion Q_d = −[(d−2)/(8(d−3))]·W(−∇²)^{d/2−2}W + lot + ttd. This identity selects the Weyl contraction W(∇²)^{d/2−2}W and fixes its coefficient relative to the Euler density. The argument then compares two second metric variations: the Q-curvature's variation gives the transverse-traceless Weyl-graviton kinetic term, essentially (∂²)^{d/2} acting on h_TT up to a constant, while the RG running of the TT correlator is fixed by C_T through a transverse-traceless projector and a Laplacian power. Equating these two expressions yields the numerical prefactor in the universal relation.
Load-bearing premise
The load-bearing premise, which the paper itself marks as open (the precise structure of type-B Weyl invariants is 'largely unknown'), is that in every even dimension the single quadratic-in-Weyl contraction selected by the Q-curvature identity is the only type-B anomaly term contributing to the flat-space stress-tensor two-point function; for d ≥ 8 this uniqueness is not proved.
What would settle it
Classify, for some even d ≥ 8, all independent anomaly invariants of the schematic form W(D²)^{d/2−2}W with different index contractions, and compute their second variations on transverse-traceless metric perturbations. If a second invariant produces a non-proportional (∂²)^{d/2} kernel with an independent coefficient c′, then the universal relation (1.12) fails for generic CFTs carrying that invariant. A faster check is to compute c and C_T for a known 8d CFT outside the Einstein-like holographic class and compare C_T/c with the claimed constant.
If this is right
- In a generic even-dimensional CFT, C_T is not an independent parameter: once the quadratic-Weyl anomaly coefficient c is known, the flat-space stress-tensor two-point function is fully determined.
- The momentum-space form ⟨T⟩ = 2 C_TT Q_d + lot + ttd gives a direct dictionary between curved-space anomaly data and flat-space correlators in any even dimension.
- Holographically, for Einstein-like higher-curvature gravities, c is proportional to the logarithmic derivative of the type-A charge a with respect to the effective bulk radius, so C_T is fixed by type-A data alone in that class.
- The 8d checks for conformal powers of the Laplacian—including the critical fourth-order conformal scalar operator—match previously conjectured C_T values, extending successful tests of the relation beyond six dimensions.
- Because C_T also governs Rényi entropy and deformed-sphere free energies, the relation ties those geometric observables to the same anomaly coefficient, so a measurement in one channel predicts the others.
Where Pith is reading between the lines
- The paper leaves open whether d ≥ 8 admits independent quadratic Weyl invariants beyond W(∇²)^{d/2−2}W; if they exist, C_T would be a linear combination of their coefficients, and the strict one-to-one formula would hold only in a restricted class such as Einstein-like holographic models.
- A natural testable extension is to compute C_T and c for 8d and 10d free fields of different spins; the claimed ratio C_T/c must be the same for every such theory, so any deviation would immediately localize where the single-invariant assumption breaks.
- The Q-curvature form suggests a deeper structural statement: in even dimensions, the stress-tensor two-point kernel and the trace anomaly may both be governed by the same conformally invariant differential operator (the linearization of the obstruction tensor), embedding this relation in a broader operator-algebraic or heat-kernel framework.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a universal relation, valid for every even-dimensional CFT with d>2, between the flat-space stress-tensor two-point amplitude C_T and the coefficient c of the term quadratic in the Weyl tensor in the trace anomaly: C_T = [d/(d-1)] [(d+1)!/(d/2-1)!] c, equivalently (5.1): ⟨T⟩ = 2 C_TT Q_d + lot + ttd. Three derivations are presented: a holographic one combining Liu-Tseytlin's C_T, the Henningson-Skenderis/Graham-Zworski anomaly, and a Chern-Gauss-Bonnet formula of Case et al.; an RG-running CFT derivation that matches the μ-dependence of the TT correlator to the second metric variation of the anomaly; and a Q-curvature/obstruction-tensor variant. The known d=4 and d=6 relations are reproduced, and d=8 examples (8d GJMS operators and holographic higher-order gravities) are adduced in support.
Significance. If established, this is a substantial result: it would elevate the Osborn-Petkou relation from d=4,6 to all even dimensions, fix the dimension-dependent numerical coefficient explicitly, and make C_T or C_TT directly determined by a single type-B anomaly charge. The paper merits credit for giving three independent-looking derivations, for explicitly computing the holographic normalization, and for recovering the known low-dimensional values. However, the d≥8 extension rests on an unproven uniqueness assumption about quadratic type-B Weyl invariants; until that assumption is either proved or replaced by a classification, the universality for generic higher-dimensional CFTs is conditional. The use of an unpublished reference for the sole 8d CFT example additionally weakens the empirical support.
major comments (3)
- [§3.5, Eq. (3.16)] The step from the anomaly to C_T assumes that, for all even d≥8, the only type-B invariant contributing to the transverse-traceless quadratic kernel is W(∇²)^{d/2−2}W. The paper itself concedes (p. 3) that 'the precise structure of the type-B Weyl invariants is largely unknown', and refs. [4,5,15] are cited but not used to enumerate the quadratic-in-Weyl sector. If a second independent invariant of this dimension exists, its TT reduction will generically produce a different multiple of h^{tt}(∂²)^{d/2}h^{tt}; Eq. (3.15) would then read Σ_i #_i c_i, and C_T would be a linear combination of type-B charges rather than the single charge c. Equation (1.12) would hold in the degenerate examples where the c_i are locked together, but not for a generic CFT. The authors should either provide a classification of quadratic-in-Weyl type-B invariants modulo total derivatives and Ricci terms for all e
- [§3.5] Even granting uniqueness of the invariant, the all-d coefficient #=d is not actually derived. Equation (3.16) is quoted from an identity attributed to Erdmenger and Osborn [31], and the step to #=d is a one-line counting argument. Since the entire numerical prefactor in (1.12) is at stake, this calculation should be displayed explicitly, for example by evaluating the kernel of W(∇²)^{d/2−2}W on transverse-traceless perturbations and tracking all numerical factors. The current presentation makes independent verification unnecessarily difficult.
- [§4.1] The only 8d CFT example invoked for validation relies on Eq. (4.1), which is attributed to ref. [39], an unpublished manuscript 'in preparation'. A central claim partially supported by an unavailable computation is not reproducible. The authors should either include the derivation of Eq. (4.1) in the paper or cite a published source. In addition, Table 2 tests only k=1..4 for the GJMS scalar family; these are free fields with rigid special structure, so they cannot by themselves certify generic 8d CFTs.
minor comments (4)
- [p. 3] The sentence 'the precise structure of the type-B Weyl invariants is largely unknown' sits uneasily with the unqualified universal claim (1.12). At minimum, clarify that the proof of uniqueness is assumed or deferred.
- [Eqs. (1.13), (5.1)] The abbreviation 'lot' was defined earlier as 'lower-order terms in derivatives', but the Euler density in (5.1) has the same dimension as Q_d, not lower order. Use a different term, e.g. 'subleading curvature terms', or define the convention separately for this formula.
- [§3.5] The phrase 'the missing numerical factor is # = d' should read 'we find # = d'; the word 'missing' presupposes the result.
- [References] Ref. [16] is dated 2026 and ref. [39] is 'in preparation'; please ensure all references are stable and publicly available, or mark the unpublished ones explicitly as such in the text.
Circularity Check
No circular reduction; the central C_T–c relation is derived from independent holographic and RG arguments, with the d≥8 type-B uniqueness gap posing a correctness risk rather than a circularity.
full rationale
The central derivation is not circular. C_T is defined by the flat-space stress-tensor two-point normalization (1.1), while c is defined as the coefficient of a chosen quadratic-in-Weyl trace-anomaly invariant (1.10)–(1.11). The holographic derivation computes both quantities from the same Einstein bulk action using external results—Liu–Tseytlin for C_T, Henningson–Skenderis/Graham–Zworski for the anomaly, and Case et al. for the Chern–Gauss–Bonnet/Q-curvature identity—and then eliminates the bulk data; the resulting ratio (2.14) is an algebraic consequence, not an input. The CFT derivations in §3 use the Osborn–Petkou RG relation (3.1) to equate the C_T-controlled scale variation of the flat-space TT correlator (3.2)–(3.4) with the second variation of the anomaly's quadratic Weyl term (3.14)–(3.16); the numerical coefficient #=d is computed from the expansion (3.16), not fitted to the target relation. No equation defines C_T in terms of c by construction, or vice versa. The main caveat is the d≥8 gap: the paper assumes the quadratic-in-Weyl sector is spanned by W(∇²)^{d/2−2}W (equivalently W^{(d)}_{2,1}) and itself concedes that 'the precise structure of the type-B Weyl invariants is largely unknown' (p.3). If independent quadratic Weyl invariants exist, C_T would receive contributions from a linear combination of anomaly coefficients and Eq. (1.12) would fail for generic CFTs; this is a uniqueness/correctness risk, not a circular reduction by construction. The self-citations (refs. [39], [43]) appear only in examples and computational recipes, not in the load-bearing derivation, and the geometric identification is cited to external work [16]. Score 1 reflects minor self-citation without load-bearing circularity.
Axiom & Free-Parameter Ledger
free parameters (1)
- basis/normalization of the type-B charge c =
none — defined by eq. (3.14) with prefactor d(d−2)/8(d−3); c=a for a pure Q-curvature anomaly
axioms (5)
- standard math Case–Khaitan–Lin–Tyrrell–Yuan Chern–Gauss–Bonnet theorem for compact Einstein manifolds: E_d and Q_d relate through the pointwise invariant W^{(d)}_{2,1} (eq. (2.11)).
- standard math Osborn–Petkou RG relation μ d/dμ W_CFT = ∫⟨T⟩, plus the differential-regularization identities (3.3a)-(3.3b).
- standard math Graham–Hirachi expansion of the critical Q-curvature, eq. (3.18), with quadratic-Weyl coefficient −(d−2)/8(d−3).
- domain assumption The 8d GJMS anomaly polynomial (4.1) computed in ref. [39], marked 'in preparation'.
- domain assumption In all even d, W(∇²)^{d/2−2}W (with the contraction implied by (2.13)) is, modulo lot+ttd, the unique type-B invariant contributing to the flat-space transverse-traceless two-point kernel; TT reduction is (3.16).
read the original abstract
We establish a universal relation between the coefficient $C_T$ of the energy momentum tensor two point function and the coefficient $c$ multiplying the term quadratic in the Weyl tensor in the Weyl anomaly of a generic even dimensional conformal field theory. Our first derivation combines long known holographic results for $C_T$ and for the Weyl anomaly in Einstein bulk gravity with a recently obtained Chern Gauss Bonnet formula for compact Einstein manifolds. This theorem isolates the Weyl squared contribution in the relation between the Euler density and the $Q$ curvature, allowing us to identify the relevant quadratic term unambiguously. We then provide a genuine CFT derivation based on the renormalization group running of the TT correlator with respect to the arbitrary but necessary mass scale $\mu$. Several known examples are revisited to illustrate and validate the general result.
Reference graph
Works this paper leans on
-
[1]
H. Osborn and A.C. Petkou,Implications of conformal invariance in field theories for general dimensions,Annals Phys.231(1994) 311 [hep-th/9307010]
Pith/arXiv arXiv 1994
-
[2]
Capper and M.J
D.M. Capper and M.J. Duff,Trace anomalies in dimensional regularization,Nuovo Cim. A 23(1974) 173
1974
-
[3]
S. Deser and A. Schwimmer,Geometric classification of conformal anomalies in arbitrary dimensions,Phys. Lett. B309(1993) 279 [hep-th/9302047]
Pith/arXiv arXiv 1993
-
[4]
N. Boulanger,General solutions of the Wess-Zumino consistency condition for the Weyl anomalies,JHEP07(2007) 069 [0704.2472]
Pith/arXiv arXiv 2007
-
[5]
Boulanger,Algebraic Classification of Weyl Anomalies in Arbitrary Dimensions,Phys
N. Boulanger,Algebraic Classification of Weyl Anomalies in Arbitrary Dimensions,Phys. Rev. Lett.98(2007) 261302 [0706.0340]
Pith/arXiv arXiv 2007
-
[6]
Five decades of the gravitational Weyl anomaly
M.J. Duff, “Five decades of the gravitational Weyl anomaly.” Talk given at GRA VITY: Past, Present & Future, University of British Columbia, 2017
2017
-
[7]
M. Beccaria and A.A. Tseytlin,Conformal anomaly c-coefficients of superconformal 6d theories,JHEP01(2016) 001 [1510.02685]
Pith/arXiv arXiv 2016
-
[8]
M. Henningson and K. Skenderis,Holography and the Weyl anomaly,Fortsch. Phys.48 (2000) 125 [hep-th/9812032]
Pith/arXiv arXiv 2000
-
[9]
M. Henningson and K. Skenderis,The Holographic Weyl anomaly,JHEP07(1998) 023 [hep-th/9806087]
Pith/arXiv arXiv 1998
-
[10]
A.R. Gover and L.J. Peterson,Conformally invariant powers of the Laplacian, Q-curvature, and tractor calculus,Commun. Math. Phys.235(2003) 339 [math-ph/0201030]. – 16 –
Pith/arXiv arXiv 2003
-
[11]
W. Jia and M. Karydas,Obstruction tensors in Weyl geometry and holographic Weyl anomaly,Phys. Rev. D104(2021) 126031 [2109.14014]
Pith/arXiv arXiv 2021
-
[12]
N. Boulanger and D. Rovere,8D conformal gravity with Einstein sector, and its relation to the Q-curvature,JHEP02(2026) 101 [2511.01368]
arXiv 2026
-
[13]
C.R. Graham and M. Zworski,Scattering matrix in conformal geometry,Invent. Math.152 (2003) 89 [math/0109089]
Pith/arXiv arXiv 2003
-
[14]
F.-Y. Chen and H. Lu,Holographic Weyl anomaly in 8D from general higher curvature gravity,Phys. Rev. D111(2025) 086032 [2410.16097]
Pith/arXiv arXiv 2025
-
[15]
N. Boulanger and J. Erdmenger,A Classification of local Weyl invariants inD= 8,Class. Quant. Grav.21(2004) 4305 [hep-th/0405228]
Pith/arXiv arXiv 2004
-
[16]
J.S. Case, A. Khaitan, Y.-J. Lin, A.J. Tyrrell and W. Yuan,Computing renormalized curvature integrals on Poincar´ e-Einstein manifolds,Adv. Math.496(2026) 110991 [2404.11319]
Pith/arXiv arXiv 2026
-
[17]
H. Liu and A.A. Tseytlin,D = 4 superYang-Mills, D = 5 gauged supergravity, and D = 4 conformal supergravity,Nucl. Phys. B533(1998) 88 [hep-th/9804083]
Pith/arXiv arXiv 1998
-
[18]
F. Bastianelli, S. Frolov and A.A. Tseytlin,Conformal anomaly of (2,0) tensor multiplet in six-dimensions and AdS / CFT correspondence,JHEP02(2000) 013 [hep-th/0001041]
Pith/arXiv arXiv 2000
-
[19]
H. Osborn and A. Stergiou,Structures on the Conformal Manifold in Six Dimensional Theories,JHEP04(2015) 157 [1501.01308]
Pith/arXiv arXiv 2015
-
[20]
Gibbons,Some comments on gravitational entropy and the inverse mean curvature flow,Class
G.W. Gibbons,Some comments on gravitational entropy and the inverse mean curvature flow,Class. Quant. Grav.16(1999) 1677 [hep-th/9809167]
Pith/arXiv arXiv 1999
-
[21]
L. Susskind and E. Witten,The Holographic bound in anti-de Sitter space,hep-th/9805114
-
[22]
Besse,Einstein Manifolds, Springer-Verlag, Berlin, Heidelberg, New York (1987)
A.L. Besse,Einstein Manifolds, Springer-Verlag, Berlin, Heidelberg, New York (1987)
1987
-
[23]
A. Bzowski, P. McFadden and K. Skenderis,Renormalised 3-point functions of stress tensors and conserved currents in CFT,JHEP11(2018) 153 [1711.09105]
Pith/arXiv arXiv 2018
-
[24]
G.V. Dunne and N. Rius,A Comment on the relationship between differential and dimensional renormalization,Phys. Lett. B293(1992) 367 [hep-th/9206038]
Pith/arXiv arXiv 1992
-
[25]
Gel’fand and G.E
I.M. Gel’fand and G.E. Shilov,Generalized Functions: Properties and Operations, Vol. 1, Academic Press, New York (1964)
1964
-
[26]
Duff,Weyl, Pontryagin, Euler, Eguchi and Freund,J
M.J. Duff,Weyl, Pontryagin, Euler, Eguchi and Freund,J. Phys. A53(2020) 301001 [2003.02688]
Pith/arXiv arXiv 2020
-
[27]
Diaz,Polyakov formulas for GJMS operators from AdS/CFT,JHEP07(2008) 103 [0803.0571]
D.E. Diaz,Polyakov formulas for GJMS operators from AdS/CFT,JHEP07(2008) 103 [0803.0571]
Pith/arXiv arXiv 2008
-
[28]
A. Schwimmer and S. Theisen,Osborn Equation and Irrelevant Operators,J. Stat. Mech. 1908(2019) 084011 [1902.04473]
Pith/arXiv arXiv 1908
-
[29]
K. Sen and A. Sinha,Holographic stress tensor at finite coupling,JHEP07(2014) 098 [1405.7862]
Pith/arXiv arXiv 2014
-
[30]
H. L¨ u, Y. Pang and C.N. Pope,Black Holes in Six-dimensional Conformal Gravity,Phys. Rev. D87(2013) 104013 [1301.7083]
Pith/arXiv arXiv 2013
-
[31]
J. Erdmenger and H. Osborn,Conformally covariant differential operators: Symmetric tensor fields,Class. Quant. Grav.15(1998) 273 [gr-qc/9708040]. – 17 –
Pith/arXiv arXiv 1998
-
[32]
C.R. Graham and K. Hirachi,The ambient obstruction tensor and Q-curvature, inAdS/CFT Correspondence: Einstein Metrics and Their Conformal Boundaries, pp. 59–71, EMS Press (2005), DOI [math/0405068]
Pith/arXiv arXiv 2005
-
[33]
Matsumoto,A GJMS construction for 2-tensors and the second variation of the total Q-curvature,Pac
Y. Matsumoto,A GJMS construction for 2-tensors and the second variation of the total Q-curvature,Pac. J. Math.262(2013) 437 [1202.3227]
Pith/arXiv arXiv 2013
-
[34]
M. Beccaria and A.A. Tseytlin,On higher spin partition functions,J. Phys. A48(2015) 275401 [1503.08143]
Pith/arXiv arXiv 2015
-
[35]
M. Beccaria and A.A. Tseytlin,Conformal a-anomaly of some non-unitary 6d superconformal theories,JHEP09(2015) 017 [1506.08727]
Pith/arXiv arXiv 2015
-
[36]
H. Osborn and A. Stergiou,C T for non-unitary CFTs in higher dimensions,JHEP06 (2016) 079 [1603.07307]
Pith/arXiv arXiv 2016
-
[37]
A. Guerrieri, A.C. Petkou and C. Wen,The freeσCFTs,JHEP09(2016) 019 [1604.07310]
Pith/arXiv arXiv 2016
-
[38]
Avramidi,The Covariant Technique for Calculation of One Loop Effective Action,Nucl
I.G. Avramidi,The Covariant Technique for Calculation of One Loop Effective Action,Nucl. Phys. B355(1991) 712
1991
-
[39]
Simple recipe for 8d holographic Weyl anomaly
R. Aros, F. Bugini, D.E. D ´ ıaz and C. N´ u˜ nez-Barra, “Simple recipe for 8d holographic Weyl anomaly.” In preparation, 2026
2026
-
[40]
F. Bugini and D.E. D ´ ıaz,Holographic Weyl anomaly for GJMS operators: one Laplacian to rule them all,JHEP02(2019) 188 [1811.10380]
Pith/arXiv arXiv 2019
-
[41]
Hawking,Zeta Function Regularization of Path Integrals in Curved Space-Time, Commun
S.W. Hawking,Zeta Function Regularization of Path Integrals in Curved Space-Time, Commun. Math. Phys.55(1977) 133
1977
-
[42]
Duff,Twenty years of the Weyl anomaly,Class
M.J. Duff,Twenty years of the Weyl anomaly,Class. Quant. Grav.11(1994) 1387 [hep-th/9308075]
Pith/arXiv arXiv 1994
-
[43]
F. Bugini and D.E. Diaz,Simple recipe for holographic Weyl anomaly,JHEP04(2017) 122 [1612.00351]
Pith/arXiv arXiv 2017
-
[44]
C. Imbimbo, A. Schwimmer, S. Theisen and S. Yankielowicz,Diffeomorphisms and holographic anomalies,Class. Quant. Grav.17(2000) 1129 [hep-th/9910267]
Pith/arXiv arXiv 2000
-
[45]
P. Bueno, P.A. Cano, R.A. Hennigar and R.B. Mann,Universality of Squashed-Sphere Partition Functions,Phys. Rev. Lett.122(2019) 071602 [1808.02052]
Pith/arXiv arXiv 2019
-
[46]
Y.-Z. Li, H. L¨ u and Z.-F. Mai,Universal Structure of Covariant Holographic Two-Point Functions In Massless Higher-Order Gravities,JHEP10(2018) 063 [1808.00494]
Pith/arXiv arXiv 2018
-
[47]
Perlmutter,A universal feature of CFT R´ enyi entropy,JHEP03(2014) 117 [1308.1083]
E. Perlmutter,A universal feature of CFT R´ enyi entropy,JHEP03(2014) 117 [1308.1083]
Pith/arXiv arXiv 2014
-
[48]
M. Beccaria and A.A. Tseytlin,C T for conformal higher spin fields from partition function on conically deformed sphere,JHEP09(2017) 123 [1707.02456]
Pith/arXiv arXiv 2017
-
[49]
G. Anastasiou, I.J. Araya, A. Das and J. Moreno,Universality of pseudoentropy for deformed spheres in dS/CFT,2512.02164
-
[50]
F.-Y. Chen and H. Lu,Holographic three-point functions from higher curvature gravities in arbitrary dimensions,Phys. Rev. D109(2024) 064070 [2311.05307]. – 18 –
Pith/arXiv arXiv 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.