REVIEW 2 major objections 4 minor 1 cited by
Entanglement Entropy and Cauchy-Hadamard Renormalization
T0 review · 2 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read Conical singularities realize CFT twist-field correlation functions and yield the Calabrese-Cardy formula.
desk verdict Rigorous renormalization construction of twist-field ratios, but the main theorem's scaling dimension is misstated: (k-1)/k should be (k - 1/k). read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Cauchy-Hadamard renormalized Polyakov anomaly $RA_\Sigma(\tilde{g},g)$, defined by removing disks $B_\varepsilon(z_i,\tilde{g})$ of radius $\varepsilon$ measured in the singular metric and adding the counterterm $2\pi\sum_i \gamma_i^2(1+\gamma_i)^{-1}\log\varepsilon$ before taking $\varepsilon\to 0^+$. This makes $Z(\Sigma,\tilde{g})=\exp(c\,RA_\Sigma(\tilde{g},g))Z(\Sigma,g)$ independent of the reference metric (Lemma 5.1) and of the cut-off regularization (Lemma 5.3). The proof of the transformation law runs on the Troyanov local form $\tilde{g}=|w|^{2\gamma}e^{2\varphi}|dw|^2$ with the estimates $\varphi(z)=\varphi(z_0)+O(r^{2\gamma+2})$ and $\partial\varphi=O(r^{2\gamma+1})$; these control the dilation Lemma 4.2, the log-divergent integral asymptotics of Section 4.3, and the closed form of the anomaly in Lemma 6.2, which yields Proposition 6.1 and then Proposition 6.3.
What would settle it
A concrete check: for the Gaussian free field ($c=1$) on the sphere with $f(z)=z^d$, Fubini-Study metric $g$, and any smooth $h$, compute the left and right sides of (6.8) from the explicit zeta-determinant Polyakov formula. The two must be equal for every such $h$; a discrepancy that depends on $\nabla h$ or on subleading terms such as $\varphi(z)=O(r^{2\gamma+1}\log r)$ at the branch points would disprove the claim. The same computation would expose whether the coefficient of $\log\varepsilon$ in (2.25) remains $2\pi\gamma^2/(\gamma+1)$ for a potential violating (4.7).
Extended reading notes
Core claim
The paper's central claim is Proposition 6.3. Let $f: \Sigma_d \to \Sigma$ be a ramified $d$-sheeted holomorphic map with critical values $w_j$, let $g$ be a smooth conformal metric on $\Sigma$, and let $h$ be smooth. With the renormalized partition functions of Definition 2.8, the identity $$\frac{Z(\Sigma_d, f^* $e^{{2h}}$g)}{Z(\Sigma, $e^{{2h}}$g)^d} = $e^{{-\sum_j h(w_j)\Delta_j}}$\, \frac{Z(\Sigma_d, f^*g)}{Z(\Sigma, g)^d}, \qquad \Delta_j = \frac{c}{12}\sum_{z\in $f^{{-1}}$(w_j)}\frac{\mathrm{ord}_f(z)-1}{\mathrm{ord}_f(z)}$$ holds. The claim is that a branch point of order $k$ contributes weight $c(1-1/k)/12$ per preimage, so the ratio transforms exactly like a correlation function of twist fields at the critical values. In the replica setting of a cyclic $d$-fold cover, Corollary 6.4 turns this into the Calabrese-Cardy formula $$\operatorname{tr}_{H_A}(\operatorname{tr}_{A^c}(\rho)^d) = C\left(\frac{L}{\pi}\sin\frac{\pi\ell}{L}\right)^{-c(d-1/d)/6}$$ for the $d$-th Rényi entropy of an interval of length $\ell$ in a CFT on a circle of length $L$.
Load-bearing premise
The load-bearing premise is that every cone point admits a local metric of the form $|w|^{2\gamma}$ times a regular factor whose value and first derivatives approach their cone-point limits with the specific rates (4.7); the logarithmic counterterm coefficient $2\pi\gamma^2/(\gamma+1)$ and the conformal weights $\Delta_j$ are computed from those rates. Lemma 6.2, the closed-form anomaly formula that feeds Proposition 6.1, is stated without proof.
Editorial extensions
If this is right
- A conical point of exponent $\gamma$ behaves as a primary field of weight $\Delta=(c/12)\gamma(\gamma+2)/(\gamma+1)$ under smooth rescalings of the metric (Remark 6.1).
- The ratio $Z(\Sigma_d,f^*g)/Z(\Sigma,g)^d$ is a diffeomorphism-invariant function of the critical values, so the object on the right of (6.8) has the symmetry required of a twist-field correlator (Remark 6.3).
- The renormalized anomaly agrees with the cut-off method of [14], so Definition 2.8 introduces no extra boundary terms on the deleted disks (Lemma 5.3).
- The Calabrese-Cardy formula (6.12) follows with the same constant $C$ as the two-point function on the sphere, not a new free constant (Corollary 6.4).
- For a branch point of order $k$, each preimage contributes $c/12\,(1-1/k)$ to the twist-field weight; the standard cyclic $d$-fold cover, with two order-$d$ points, gives $\Delta=c(d-1/d)/12$ per point.
Reading between the lines
- Beyond the paper, the same ratio identity should be testable in the Gaussian free field by building twist fields from the twisted Laplacians mentioned in the future-work discussion and comparing with explicit Green functions on the branched cover.
- Beyond the paper, the method suggests that twist fields are emergent rather than fundamental: the branch point with its conical metric already carries the full operator content, so conformal weights and possibly OPE coefficients could be extracted by shrinking the deleted disks.
- Beyond the paper, the boundary version of the anomaly should extend the result to intervals in systems with boundaries, producing boundary twist-field weights; the authors list this as future work, so a concrete target is to derive the corresponding Rényi entropy for a half-line or finite segment.
- Beyond the paper, because the counterterm is quadratic in $\gamma$, the renormalized partition function is not captured by a delta-function curvature term alone; any numerical check of Proposition 6.3 should therefore measure the deleted disks with the singular metric itself, not the background metric.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines CFT partition functions on Riemann surfaces with conical singularities by a Cauchy-Hadamard renormalization of the Polyakov anomaly integral (Definitions 2.7–2.8). It proves a scaling lemma for the distance function at a cone point (Lemma 4.2), computes the logarithmic divergence of the Dirichlet energy (Corollary 4.7), and establishes a transformation law for ratios of partition functions on a branched cover against the base (Proposition 6.3). The main claim is that, for a d-sheeted holomorphic ramified map f:Σ_d→Σ, the ratio Z(Σ_d,f^*e^{2h}g)/Z(Σ,e^{2h}g)^d equals e^{-Σ_j h(w_j)Δ_j} times the corresponding ratio with g, with Δ_j determined by the ramification orders. The paper then derives the Calabrese-Cardy formula for the vacuum Rényi entropy of an interval (Corollary 6.4) and includes a pedagogical review of the replica trick (Section 3).
Significance. If the main result is read with the corrected conformal weights, the paper gives a rigorous, elementary geometric realization of twist-field correlation functions and a derivation of the Calabrese-Cardy formula from the Polyakov anomaly. Its strengths are the simple integration-by-parts method, the explicit renormalization independent of the reference metric (Lemma 5.1), the consistency check with cut-off regularization (Lemma 5.3), and the detailed comparison with prior ζ-determinant work of Kalvin and of Aldana–Kirsten–Rowlett. However, the printed statement of the main theorem contains an erroneous scaling dimension, and Lemma 6.2, which is used in the proof of Proposition 6.1, is stated without proof. These issues make the current version unsuitable for publication without revision.
major comments (2)
- [Sections 1 and 6.1, Eqs. (1.2) and (6.9)] The scaling dimension displayed in the main theorem is inconsistent with Proposition 6.1. For a preimage z of order k = ord_f(z), the pullback metric f^*g has a conical singularity of exponent γ = k-1 (Lemma 2.2). Proposition 6.1 then yields a per-point conformal weight c/12 · γ(γ+2)/(γ+1) = c/12 (k - 1/k), not c/12 (k-1)/k as stated in Eq. (1.2) and Eq. (6.9). This is load-bearing: for a two-sheeted cover (k=2), the stated formula gives a two-point exponent c/12, whereas Corollary 6.4 itself uses, and the Calabrese-Cardy formula requires, c/4. The proof of Proposition 6.3 invokes Proposition 6.1, so the intended result is sound, but the displayed Δ_j in the introduction, in Proposition 6.3, and in the corresponding equations must be corrected to c/12 Σ_z (ord_f(z) - 1/ord_f(z)).
- [Section 6.1, Lemma 6.2] Lemma 6.2 is stated without proof, yet it is used essentially in the proof of Proposition 6.1: substituting the closed form of the renormalized anomaly into Eq. (6.5) is what converts the difference of anomalies into the h(z_j) terms. The lemma may follow from Corollary 4.7 and the Green-Stokes identity, but the argument is not written out. Without a proof, Proposition 6.1 is not fully established. Please supply the proof, or a precise reference, in the revision.
minor comments (4)
- [Section 2.1, Definition 2.1] The word "charateristic" appears twice in Definition 2.1 and should be spelled "characteristic".
- [Section 6.1, proof of Proposition 6.3] After Eq. (6.11), the conclusion is stated abruptly; adding one or two sentences that apply Proposition 6.1 to each preimage of order k would make the proof self-contained.
- [Section 6.1, Corollary 6.4] The asymptotic statement "4(1+|z|^2)^{-2} = |z|^{-2} + O((1-|z|)^2)" is imprecise as written; it is an expansion near |z|=1 and should be phrased as an asymptotic expansion.
- [Section 4.2, Lemma 4.2] In the proof of the lower bound, the sentence "c would now reparametrize into a geodesic under g1" is terse; a brief explanation of why the radial curve is a geodesic for the radially symmetric metric g1 would help the reader.
Circularity Check
No significant circularity: the conical-anomaly computation is self-contained and the Calabrese-Cardy scaling is derived from the CFT axioms and renormalized anomaly, not fitted. (Separate correctness issue: Prop. 6.3's displayed Delta_j typo.)
full rationale
The derivation is self-contained conditional on the CFT axioms in Definition 2.1. The renormalized anomaly (Definition 2.7) is defined by a finite counterterm, and Proposition 6.1 computes the change under Weyl rescaling of a conical metric; the conformal weights Delta_j = c/12 * gamma(gamma+2)/(gamma+1) emerge from that computation (via Corollary 4.7, Lemma 6.2, and Lemma A.1) rather than being inserted to match the target Calabrese-Cardy formula. Proposition 6.3 then applies this to the pullback metric f^*g and uses the pushforward identity (6.10); the Calabrese-Cardy exponent in Corollary 6.4 is obtained from Lemma 2.1 and Proposition 6.3, not assumed as an input. The physical replica identification in Section 3 is explicitly heuristic and conditional, so Corollary 6.4 depends on that stated assumption rather than on a hidden fit. The authors' own work [23] is cited only in remarks about Segal axioms, which are not load-bearing for the main theorem; the key cited regularity input (Lemma 4.1) is an external result of Troyanov. Two non-circular caveats should be flagged: Lemma 6.2 is stated without proof and is used in the proof of Proposition 6.1, which is an omitted proof or gap rather than a circularity; and the displayed Delta_j in Proposition 6.3, equation (6.9), appears to have a typo, since Proposition 6.1 with gamma = ord-1 gives ord - 1/ord, not (ord-1)/ord, though Corollary 6.4 uses the corrected value, making this a correctness issue independent of circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption A 2d CFT exists as a rule assigning to each Riemann surface with smooth metric a partition function Z(Σ,g) and correlation functions satisfying diffeomorphism invariance and Weyl covariance with central charge c (definition 2.1).
- domain assumption Cone metrics are admissible: the regular metric potential φ against a smooth background metric is continuous, smooth off the cone point, has Δφ in L1, and satisfies the Troyanov estimates φ = φ(z0) + O(r^{2γ+2}), ∂φ = O(r^{2γ+1}) (definition 2.5 and lemma 4.1).
- domain assumption The replica interpretation: for a state on a circle, tr_{H_A}(tr_{A^c}(ρ)^d) equals Z(Σ_d)/Z(Σ)^d for the branched cover constructed in section 3.2, and the vacuum state is represented by gluing two flat-at-the-boundary disks.
- standard math Troyanov's polar-coordinate lemma (lemma 4.1, from [40]) giving the normal form of a conical metric.
Cite this review
Pith. "Pith review of Entanglement Entropy and Cauchy-Hadamard Renormalization." pith.science (2026). https://pith.science/paper/XA6MYC2D
@misc{pith2026250119014,
author = {Pith},
title = {Pith review of: Entanglement Entropy and Cauchy-Hadamard Renormalization},
year = {2026},
howpublished = {\url{https://pith.science/paper/XA6MYC2D}},
note = {Machine review of arXiv:2501.19014}
}
abstract
This note presents a purely geometric construction of the so-called twist-field correlation functions in Conformal Field Theory (CFT), derived from conical singularities. This approach provides a purely mathematical interpretation of the seminal results in physics by Cardy and Calabrese on the entanglement entropy of quantum systems. Specifically, we begin by defining CFT partition functions on surfaces with conical singularities, using a ``Cauchy-Hadamard renormalization'' of the Polyakov anomaly integral. Next, we demonstrate that for a branched cover $f:\Sigma_d\to \Sigma$ with $d$ sheets, where the cover inherits the pullback of a smooth metric from the base, a specific ratio of partition functions on the cover to the base transforms under conformal changes of the base metric in the same way as a correlation function of CFT primary fields with specific conformal weights. We also provide a discussion of the physical background and motivation for entanglement entropy, focusing on path integrals and the replica trick, which serves as an introduction to these ideas for a mathematical audience.
Forward citations
Cited by 1 Pith paper
-
Constructive Quantum Field Theory on Curved Surfaces and Related Topics
A rigorous construction of P(phi)_2 QFT on curved Riemannian surfaces satisfying Segal's axioms, plus a geometric rederivation of the Cardy-Calabrese entanglement entropy and new zeta determinant asymptotics.
Reference graph
Works this paper leans on
-
[1]
Clara L. Aldana, Klaus Kirsten, Julie Rowlett,Polyakov formulas for conical singularities in two dimensions, arXiv preprint arXiv:2010.02776
-
[2]
V. G. Knizhnik. Analytic fields on Riemann surfaces. II. Communications in Mathematical Physics, 112(4):567–590, 1987
work page 1987
-
[3]
Nuclear Physics B Volume 282, 1987, Pages 13-73
Lance Dixon, Daniel Friedan, Emil Martinec and Stephen Shenker.The conformal field theory of orbifolds. Nuclear Physics B Volume 282, 1987, Pages 13-73
work page 1987
-
[4]
Nuclear Physics B Volume 424, Issue 3, 15 August 1994, Pages 443-467
Christoph Holzhey, Finn Larsen an Frank Wilczek.Geometric and renormalized entropy in conformal field theory. Nuclear Physics B Volume 424, Issue 3, 15 August 1994, Pages 443-467
work page 1994
-
[5]
The semiclassical limit of Liouville conformal field theory
Hubert Lacoin; Rémi Rhodes; Vincent Vargas. The semiclassical limit of Liouville conformal field theory. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 31 (2022) no. 4, pp. 1031-
work page 2022
-
[6]
Cardy, John L. and Peschel, Ingo,Finite Size Dependence of the Free Energy in Two-dimensional Critical Systems, Nuclear Physics B Volume 300, 1988, Pages 377-392
work page 1988
-
[7]
Journal of Physics A: Mathematical and Theoretical, Volume 42, Number 50
Pasquale Calabrese and John Cardy.Entanglement entropy and conformal field theory. Journal of Physics A: Mathematical and Theoretical, Volume 42, Number 50
- [8]
Show all 43 references
-
[9]
Lars Ahlfors,Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Vari- able, Third Edition, Volume: 385, AMS Chelsea Publishing, 2021
2021
-
[10]
Differential Geom
Jeff Cheeger,Spectral geometry of singular Riemannian spaces, Journal of Differential Geometry, J. Differential Geom. 18(4), 575-657, (1983)
1983
-
[11]
Xianzhe Dai and Guofang Wei,Comparison Geometry for Ricci Curvature, lecture notes, available athttps: //web.math.ucsb.edu/~dai/Ricci-book.pdf
-
[12]
do Carmo,Riemannian Geometry, Mathematics: Theory & Applications, Birkhäuser, Boston, 1992
Manfredo P. do Carmo,Riemannian Geometry, Mathematics: Theory & Applications, Birkhäuser, Boston, 1992
1992
-
[13]
do Carmo,Differential Geometry of Curves and Surfaces, Revised and Updated Second Edition, Courier Dover Publications, 2016
Manfredo P. do Carmo,Differential Geometry of Curves and Surfaces, Revised and Updated Second Edition, Courier Dover Publications, 2016
2016
-
[14]
and Zorich, A.Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow
Eskin, A., Kontsevich, M. and Zorich, A.Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow. Publ.math.IHES 120, 207–333 (2014)
2014
-
[15]
Lectures on conformal field theory
Krzysztof Gaw¸ edzki. Lectures on conformal field theory. InQuantum fields and strings: A course for mathe- maticians, pages 727–805. American Mathematical Society, 1999
1999
-
[16]
(2021).Segal’s axioms and bootstrap for Liouville Theory
Guillarmou, C., Kupiainen, A., Rhodes, R., and Vargas, V. (2021).Segal’s axioms and bootstrap for Liouville Theory. arXiv preprint arXiv:2112.14859
2021 arXiv
-
[17]
Matthew Headrick, Lectures on entanglement entropy in field theory and holography , arXiv preprint 1907.08126
1907 arXiv
-
[18]
Hulin, D., Troyanov, M.Prescribing curvature on open surfaces. Math. Ann. 293, 277–315 (1992).https: //doi.org/10.1007/BF01444716 REFERENCES 27
1992 doi
-
[19]
Kurt Johansson, Fredrik Viklund,Coulomb gas and the Grunsky operator on a Jordan domain with corners, arXiv:2309.00308
-
[20]
1016/j.jfa.2020.108866
VictorKalvin, Polyakov-Alvarez type comparison formulas for determinants of Laplacians on Riemann surfaces with conical singularities, Journal of Functional Analysis, Volume 280, Issue 7, 2021.https://doi.org/10. 1016/j.jfa.2020.108866
2021
-
[21]
et al.Quantum Hall Effect and Quillen Metric
Klevtsov, S., Ma, X., Marinescu, G. et al.Quantum Hall Effect and Quillen Metric. Commun. Math. Phys. 349, 819–855 (2017).https://doi.org/10.1007/s00220-016-2789-2
2017 doi
-
[22]
1093/qmath/haab027
Maxim Kontsevich, Graeme Segal,Wick Rotation and the Positivity of Energy in Quantum Field Theory, The Quarterly Journal of Mathematics, Volume 72, Issue 1-2, June 2021, Pages 673–699,https://doi.org/10. 1093/qmath/haab027
2021
-
[23]
The Bayes Principle and Segal Axioms forP (ϕ)2, with application to Periodic Covers
Jiasheng Lin. The Bayes Principle and Segal Axioms forP (ϕ)2, with application to Periodic Covers. arXiv preprint 2403.12804
-
[24]
A Heat Trace Anomaly on Polygons
MAZZEO, RAFE, and JULIE ROWLETT. A Heat Trace Anomaly on Polygons. Mathematical Proceed- ings of the Cambridge Philosophical Society 159, no. 2 (2015): 303–19. https://doi.org/10.1017/ S0305004115000365
2015
-
[25]
PDE 8(4), 839-882, (2015)
Rafe Mazzeo, Yanir Rubinstein, Natasa Sesum,Ricci flow on surfaces with conic singularities, Analysis & PDE, Anal. PDE 8(4), 839-882, (2015)
2015
-
[26]
Ralph Phillips, Peter Sarnak,Geodesics in homology classes, Duke Math. J. 55(2): 287-297 (June 1987)
1987
-
[27]
Eveliina Peltola, Yilin Wang, Large deviations of multichordal SLE 0+, real rational functions, and zeta- regularized determinants of Laplacians. J. Eur. Math. Soc. 26 (2024), no. 2, pp. 469–535
2024
-
[28]
28, Société Mathématique de France, 2021
Powell, Ellen and Wendelin Werner,Lecture Notes on the Gaussian Free Field, Cours Spécialisés, Vol. 28, Société Mathématique de France, 2021
2021
-
[29]
Ray, D.B., andI.M.Singer, R-Torsion and the Laplacian on Riemannian Manifolds, AdvancesinMathematics 7, 145-210, 1971
1971
-
[30]
M. Reed, B. Simon, Methods of Modern Mathematical Physics, Volume I: Functional Analysis, Academic Press, 1972
1972
-
[31]
M. Reed, B. Simon,Methods of Modern Mathematical Physics, Volume II: Fourier Analysis, Self-adjointness, Academic Press, 1975
1975
-
[32]
931, Springer Cham, 2017.https://doi.org/10.1007/978-3-319-52573-0
Mukund Rangamani, Tadashi Takayanagi,Holographic Entanglement Entropy, Lecture Notes in Physics vol. 931, Springer Cham, 2017.https://doi.org/10.1007/978-3-319-52573-0
2017 doi
-
[33]
Rudin, Walter,Functional Analysis, Second Edition, McGraw-Hill, Inc., 1991
1991
-
[34]
Segal,The definition of conformal field theory, Topology, Geometry, and Quantum Field Theory, (Ed
G. Segal,The definition of conformal field theory, Topology, Geometry, and Quantum Field Theory, (Ed. U. Tillmann), Vol. 308, London Math. Soc. Lecture Notes, London, 2004, 421–577
2004
-
[35]
120, American Mathematical Society, 2005
Simon, Barry,Trace Ideals and their Applications, Second Edition, Mathematical Surveys and Monographs, Vol. 120, American Mathematical Society, 2005
2005
-
[36]
Simon, Barry,The P (ϕ)2 (Euclidean) Quantum Field Theory, Princeton University Press, New Jersey, 1974
1974
-
[37]
4, American Mathematical Society, 2015
Simon, Barry,Operator Theory: A Comprehensive Course in Analysis, Part 4, Vol. 4, American Mathematical Society, 2015
2015
-
[38]
REFERENCES 28
Barry Simon, Notes on infinite determinants of Hilbert space operators, Advances in Mathematics, Volume 24, Issue 3, 1977, Pages 244-273. REFERENCES 28
1977
-
[39]
Transactions of the American Mathematical Society 324, no
Troyanov, Marc.Prescribing Curvature on Compact Surfaces with Conical Singularities. Transactions of the American Mathematical Society 324, no. 2 (1991): 793–821
1991
-
[40]
Annales de l’Institut Fourier, Tome 40 (1990) no
Troyanov, Marc.Coordonnées polaires sur les surfaces riemanniennes singulières. Annales de l’Institut Fourier, Tome 40 (1990) no. 4, pp. 913-937.http://www.numdam.org/articles/10.5802/aif.1241/
1990 doi
-
[41]
arXiv preprint 2412.16795
Edward Witten.Introduction to Black Hole Thermodynamics. arXiv preprint 2412.16795
-
[42]
Alexei Zamolodchikov and Alexander Zamolodchikov,Lectures on Liouville Theory and Matrix Models, lecture notes, available at:https://qft.itp.ac.ru/ZZ.pdf
-
[1083]
https://afst.centre-mersenne.org/articles/10.5802/afst.1713/
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.