Skip to content
Shadow Theory

Anomaly check, geometric appendix and references

Check the logarithm independently on the sphere, recover the bulk and boundary flows directly, and trace the assumptions and references.

7. The anomaly check and verification

For even dd, CHM's separate CFT calculation maps the diamond to the static de Sitter patch and continues it to the round Euclidean sphere. One form of the map is

t=Rcos⁡θsinh⁡(τ/R)1+cos⁡θcosh⁡(τ/R),r=Rsin⁡θ1+cos⁡θcosh⁡(τ/R).t=\frac{R\cos\theta\sinh(\tau/R)}{1+\cos\theta\cosh(\tau/R)},\qquad r=\frac{R\sin\theta}{1+\cos\theta\cosh(\tau/R)}.

Regularity gives Euclidean period 2πR2\pi R. The integrated Killing energy is finite, since its radial integral is proportional to

∫0π/2cos⁡θsin⁡d−2θ dθ=1d−1.\int_0^{\pi/2}\cos\theta\sin^{d-2}\theta\,d\theta=\frac{1}{d-1}.

The round sphere is conformally flat and its normalized Euler integral is two. In CHM's anomaly convention, the scale derivative of log⁡Z\log Z is 4(−1)d/2−1A4(-1)^{d/2-1}A. With ad∗=Aa_d^*=A, this recovers the same logarithmic coefficient as the horizon calculation, independently of the bulk cutoff substitution 1, 11.

In d=4d=4, the hyperbolic energy term alone has coefficient −(3a+c)/2-(3a+c)/2 in front of log⁡(R/δ)\log(R/\delta). The full −4a-4a therefore requires an additional (c−5a)/2(c-5a)/2 in the same convention. A sharp volume truncation alone does not supply that boundary contribution.

What the paper checks independently

The verification recorded in the paper checks the conformal maps and inverses, boost orientation, cutoff relations, bulk Killing generator, surface gravity, Einstein and Gauss–Bonnet densities, entropy coefficients and anomaly arithmetic. It keeps deliberate failure controls, including comparisons of off-shell actions and cutoff substitutions that move the odd-dimensional constant.

The paper reports that a fresh extraction reproduced all 130 recorded outcomes: 106 exact symbolic checks, 13 numerical diagnostics and 11 expected failures. These finite checks supplement the dimension-independent proofs. Necessity across odd dimensions follows from the first nonzero odd Taylor coefficient argument, and exact expansion of the original integral also checks the fixed-dimension cancellation example.

8. What the construction recovers

Under the declared CFT and holographic hypotheses, the spherical CHM chain is a concrete example of the source–readout architecture. At the continuum level the local vacuum and hyperbolic thermal state agree through their observable algebras and geometric evolutions. The bulk chart recovers the time normalization. The horizon entropy enters once the classical dual and counting prescription are supplied.

An algebraic aperture determines which observables are read. A counting regulator specifies a separate operation on the entropy calculation. The finite-jet criterion says exactly which coefficient survives a change of cutoff and which can move. A further test is to compare a regulated observable defined by mutual information against the horizon prescription, including its finite odd-dimensional term.

Appendix A. Geometric checks and normalization

Set x±=r±tx_\pm=r\pm t. Translating hyperbolic cylinder time by RηR\eta induces

x±⟼Rx±/R±tanh⁡(η/2)1±(x±/R)tanh⁡(η/2).x_\pm\longmapsto R\frac{x_\pm/R\pm\tanh(\eta/2)} {1\pm(x_\pm/R)\tanh(\eta/2)}.

The inverse takes η\eta to −η-\eta, and the composition law follows by adding rapidities. Interpret the radial expression with angular continuation through the origin.

The corresponding forward bulk generator is

ζ=(R2−t2−r2−zP2)∂t−2t(x⋅∇x+zP∂zP)2R2.\zeta=\frac{(R^2-t^2-r^2-z_P^2)\partial_t-2t(x\cdot\nabla_x+z_P\partial_{z_P})}{2R^2}.

Its Lie derivative of the flat metric in Poincaré coordinates is −2t/R2-2t/R^2 times that metric. Its derivative of the warp factor is 2t/R22t/R^2 times the warp factor, so the terms cancel and ζ\zeta is Killing.

Near the horizon put ρ=L+ξ2/(2L)\rho=L+\xi^2/(2L). The leading Euclidean radial and time metric is dξ2+ξ2dτ~E2/L2d\xi^2+\xi^2d\widetilde{\tau}_E^2/L^2, fixing the smooth period.

Conventions for the maps

In the wedge map used here, the conformal parameter sends the right wedge to the diamond. The parameter of Δis\Delta^{is} runs opposite to forward geometrical time in the declared Heisenberg convention, and the bulk time is τ~=Lτ/R\widetilde{\tau}=L\tau/R. For cap opening θ0\theta_0, the first form of equation (2.36) in the cylinder variant of CHM 1 reads

Ω2=sin⁡2θ0(cosh⁡u+cos⁡θ0cosh⁡v)2+sin⁡2θ0sinh⁡2v,v=τRhyp.\Omega^2=\frac{\sin^2\theta_0} {(\cosh u+\cos\theta_0\cosh v)^2+\sin^2\theta_0\sinh^2v}, \qquad v=\frac{\tau}{R_{\mathrm{hyp}}}.

Here RhypR_{\mathrm{hyp}} is the hyperbolic time scale of that map. These choices preserve the physical temperature and the entropy coefficients.

References

[1] H. Casini, M. Huerta and R. C. Myers, Towards a derivation of holographic entanglement entropy, JHEP 05 (2011) 036. 10.1007/JHEP05(2011)036.

[2] J. Rodgers, A Source-to-Readout Architecture for a Theory of Everything. 10.5281/zenodo.21366204.

[3] J. Rodgers, Transport and Projective Reduction in a Source–Readout Derivation of Einstein Gravity. Web reading edition · 10.5281/zenodo.23954887.

[4] J. Rodgers, The Canonical Spectral-Curvature Field: A Unified Operator Origin for Coherence, Dissipation, and Spectral Budgets. 10.5281/zenodo.23899458.

[5] J. J. Bisognano and E. H. Wichmann, J. Math. Phys. 16 (1975) 985 and 17 (1976) 303.

[6] 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.

[7] A. Strohmaier and E. Witten, The timelike tube theorem in curved spacetime, arXiv:2303.16380.

[8] R. M. Wald, Black hole entropy is the Noether charge, Phys. Rev. D 48 (1993) R3427.

[9] S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence, Phys. Rev. Lett. 96 (2006) 181602.

[10] T. Jacobson and R. C. Myers, Black hole entropy and higher curvature interactions, Phys. Rev. Lett. 70 (1993) 3684.

[11] R. C. Myers and A. Sinha, Holographic c-theorems in arbitrary dimensions, JHEP 01 (2011) 125.

Published source: Modular Transport and Spherical Holographic Entanglement Entropy in a Source–Readout Architecture. Read the original PDF alongside the web treatment.