Entropy Counterterms and Renormalization Ambiguities

Replica effective actions admit local counterterms in the bulk and, at a conical defect or physical boundary, local terms supported on the entangling surface. These terms remove divergences but may also shift finite parts. A “renormalized entanglement entropy” is therefore unique only after the allowed counterterms and renormalization conditions have been declared.

Required background. Begin with ultraviolet divergences and the area law. Helpful background. Replica branched geometries explains how the conical surface enters the partition function.

Entropy from the effective action

Let $W_n=-\log Z_n$ be the Euclidean effective action on the $n$-fold geometry. This replica-effective-action formulation is used in Callan and Wilczek 1994, pp. 55–61. With the vacuum normalization included,

$$S_A=\left.(n\partial_n-1)W_n\right|_{n=1} =\left.(1-n\partial_n)\log Z_n\right|_{n=1}.$$

Bulk divergences in $W_n$ are canceled by the same local couplings needed on smooth backgrounds. Because the replica geometry has curvature concentrated near $\Sigma$, those counterterms contribute surface terms after the replica derivative; Fursaev and Solodukhin 1996, pp. 51–55 demonstrate this mechanism for one-loop black-hole entropy. Physical boundaries, nonminimal curvature couplings, and the prescription used to smooth the cone can require additional contact or boundary terms.

Schematically, an allowed local change of scheme has

$$\Delta W_n =\int_{\mathcal M_n}\!\sqrt g\, \bigl(\delta\Lambda+\delta c_R R+\delta c_1R^2+\cdots\bigr) +\int_\Sigma\!\sqrt h\, \bigl(\delta\alpha_0+\delta\alpha_1\mathcal R_\Sigma +\delta\alpha_2 K^i_{ab}K_i^{ab}+\cdots\bigr).$$

The replica derivative turns this into a shift of entropy by local integrals on $\Sigma$. If a finite coefficient $\delta\alpha_j$ is allowed by the symmetries and dimensions, the corresponding finite entropy term is scheme dependent unless a physical matching condition fixes it.

The structural map places Entropy Counterterms and Renormalization Ambiguities on the route from a regulated subsystem to integer moments, spectral checks, analytic continuation, and a continuum claim.

The spectral and replica routes must agree on matched integer moments at fixed regulator. Continuation from those moments to $n=1$ is logically separate and must state its analytic domain, branch, growth conditions, and order of limits. Schematic.

What can remain meaningful

Several kinds of information can survive local shifts, but each has hypotheses:

• an anomaly-related logarithmic coefficient can be invariant after the theory and surface class are fixed;
• mutual information for disjoint separated regions cancels local terms when every entropy uses the same regulator and convention;
• derivatives with respect to a separation or shape parameter can remove constants that are independent of that parameter;
• differences between states can cancel state-independent ultraviolet terms when the states share the same short-distance structure.

None of these cancellations should be assumed for unrelated regions, unmatched regulators, or different boundary algebras. A finite result obtained by subtraction is a property of the stated subtraction.

Matching heat-kernel and lattice schemes

Compute a free-field entropy for the same smooth physical surface with a heat-kernel cutoff and a lattice cutoff. Expand both results in local surface invariants. First match the physical mass, field normalization, surface geometry, and outer boundary. Then determine which divergent and finite local terms must be adjusted to compare the remainders.

The comparison should produce a relation of the form

$$S_A^{\mathrm{lat}}-S_A^{\mathrm{hk}} =\sum_j b_j\int_\Sigma\sqrt h\,\mathcal I_j +O(a^p),$$

within the scaling window. The coefficients $b_j$ specify the scheme matching; they are not universal predictions. A nonlocal residual that persists under refinement indicates unmatched physics, an omitted invariant, or a numerical error.

Finite-counterterm challenge

Add one symmetry-allowed finite surface counterterm and recompute the claimed quantity. If it shifts, label that quantity scheme dependent and state the renormalization condition used to quote it. If a combination remains invariant, show the cancellation term by term. This test is stronger than observing that two regulators happened to give similar numbers.

Before exporting this calculation, use the validity map to check normalization, infrared data, spectral or continuation control, and matched continuum scaling independently.

Normalization and sewing establish the intended integer moment; zero-mode and boundary control establish the infrared state; spectral and continuation checks control $n\to1$; geometry matching and a scaling window establish the continuum target. Omitting any stage licenses only a weaker conclusion. Schematic.

References

• Callan, Curtis G., and Frank Wilczek. “On Geometric Entropy.” Physics Letters B 333 (1994): 55–61. arXiv; DOI.
• Fursaev, Dmitri V., and Sergey N. Solodukhin. “On One-Loop Renormalization of Black-Hole Entropy.” Physics Letters B 365 (1996): 51–55. arXiv; DOI.