## Abstract

The renormalization of entanglement entropy of quantum field theories is investigated in the simplest setting with a *λ**ϕ*^{4} scalar field theory. The 3+1 dimensional spacetime is separated into two regions by an infinitely flat 2-dimensional interface. The entanglement entropy of the system across the interface has an elegant geometrical interpretation using the replica trick, which requires putting the field theory on a curved spacetime background. We demonstrate that the theory, and hence the entanglement entropy, is renormalizable at order *λ* once all the relevant operators up to dimension 4 are included in the action. This exercise has a one-to-one correspondence to entanglement entropy interpretation of the black hole entropy which suggests that our treatment is sensible. Our study suggests that entanglement entropy is renormalizable and is a physical quantity.

### Similar content being viewed by others

Avoid common mistakes on your manuscript.

## 1 Introduction

An interesting attempt to understand the Bekenstein-Hawking formula of black hole entropy *S*_{BH}=*A*/4*G*, with *A* the black hole horizon area and *G* the gravitational constant, is to relate it to the entanglement entropy (*S*_{E}) across the black hole horizon [1–5]. *S*_{E} quantifies the entanglement between the degrees of freedom inside and outside the black hole. But first attempts to compute *S*_{E} from free fields yielded the desired *A* dependence whereas the prefactor is divergent [2–4]. Susskind and Uglum suggested that the divergence just renormalizes the bare gravitational constant *G* to the renormalized one, *G*_{R}, such that *S*_{BH}=*S*_{E}=*A*/4*G*_{R} [6, 7]. This suggestion was checked by explicit computations in the massive black hole limit for free fields while treating gravity classical [7]. Whether this result is modified by the finite black hole mass or terms beyond Einstein gravity or when gravity is quantized are interesting questions for further exploration [8–16].

In a condense matter system, *S*_{E} can still be defined as the entanglement of degrees of freedom across the interface of area *A* between two regions [17, 18]. But then how important is gravity to the determination of *S*_{E}? Is *S*_{E} still renormalizable without gravity in the theory? If not, why is gravity so special and why is it so important even for a condensed matter system? If yes, how is *S*_{E} renormalized? A popular treatment in the computation of *S*_{E} is just imposing a UV cut-off without renormalizing it. In this treatment, *S*_{E}/*A* is set by the cut-off scale and when the UV cut-off increases, *S*_{E} also increases since there are more degrees of freedom that can entangle. However, this does not always lead to a positive *S*_{E} [13–15, 19], which is required by definition. Different ways to fix the problem usually lead to different results. Therefore, it is important to ask a more fundamental question, is *S*_{E} a physical quantity? If yes, how do we renormalize it?

In this work, we try to address this issue by renormalizing *S*_{E} in the simplest example. We set up the problem using the “replica trick” which provides a geometrical interpretation of *S*_{E} [8] which we will review in the following section. Then, for a 3+1 dimensional scalar field theory with quartic interaction (a *λ**ϕ*^{4} theory), we compute the entanglement entropy for two regions separated by a flat infinite two-dimensional plane to order *λ*. The corresponding geometry of the Euclidean spacetime in replica trick is *C*_{ε}×*R*^{2}, where *C*_{ε} is a two-dimensional cone with a deficit angle *ε*. And then *S*_{E} is the linear response of the effective action to a vanishing deficit angle. Hence, the problem of *S*_{E} computation is nothing but a field theory problem in a curve spacetime. This spacetime does not have the Poincare symmetry (or translational and rotational symmetries in Euclidean space) of the flat space time. Hence, to renormalize the theory, we write down all the renormalizable terms with mass dimensions ≤4 and with symmetries satisfied by the *C*_{ε}×*R*^{2} space. We derived the required scalar propagator in this theory and show that all divergent diagrams at \(\mathcal {O}(\epsilon \lambda)\) can all be renormalized and so is *S*_{E} at this order. Finally, we do the same exercise to the black hole case by replacing the curve spacetime background by gravity and find that there is a one-to-one correspondence between the non-gravitational theory and the black hole case mathematically. While this result suggests that our formulation is sensible from the point of view of general relativity, the deficit angle in a condensed matter system in flat space remains an illusive concept worth further exploration.

## 2 Review of the replica trick

Suppose our system occupies an infinitely large and flat 3+1 dimensional spacetime, with the three-dimensional space divided into two regions *V* and \(\bar {V}\) by a time independent, flat 2-dimensional plane. Then, the entanglement entropy, *S*_{E}, of a quantum theory between the two subregions is defined by the von Neumann entropy of the reduced density matrix \(\rho _{V}=\text {tr}_{\bar {V}}[ \rho ]\) by tracing out the degrees of freedom in region \(\bar {V}\):

where tr[*ρ*_{V}]=1 is used. This expression is called the replica trick because it involves *n* copies of *ρ*_{V}. Equation (1) coincides with the Renyi entropy \(S_{n}=\frac {1}{1-n}\ln \text {tr}\rho _{V}^{n}\) in the *n*→1 limit.

An elegant path integral formulation to compute the entanglement entropy using the replica trick was introduced in [8]. In this setup, one recalls that *ρ*_{ij}∝〈*i*|*e*^{−H/T}|*j*〉 for a thermal equilibrium system with Hamiltonian *H* and temperature *T*. *Z*=tr[*ρ*] is the partition function calculated in finite temperature field theory with the range of Euclidean time *τ*=[0,1/*T*] and with appropriate boundary conditions: *ϕ*(*τ*=0,**x**)=±*ϕ*(*τ*=1/*T*,**x**) with the +(−) sign if *ϕ* is a boson(fermion) field. Then, tr [*ρ*^{2}]∝ tr [*e*^{−2H/T}] can be computed by doubling the period in *τ* such that boundary conditions are imposed at *τ*=0 and 2/*T*. Similarly, tr\(\left [\rho _{V}^{2}\right ]\) is computed by doubling the period in *τ* for region *V* while keeping a single period in region \(\bar {V}\). This can be shown as a 2-sheeted Riemann surface as in Fig. 1a, where we have the period *τ*=[0,2/*T*] in region *V* and periods *τ*=[1/2*T*,3/2*T*] and *τ*=[3/2*T*,5/2*T*∼−1/2*T*] in region \(\bar {V}\). In this figure, only *τ* (the vertical direction) and the direction perpendicular to the interface (the horizontal direction) are shown while the 2-dimensional interface in the perpendicular direction is not shown. If we circle around point *O* by contour 1, then it will connect to contour 2 with the total angle for a closed loop to be 4*π*.

This analysis can be generalized to tr\(\left [\rho _{V}^{n}\right ]\) for an arbitrary integer *n* for arbitrary sizes of *V*, \(\bar {V}\), and 1/*T*. As a result, \(\text {tr}[\rho _{V}^{n}]\) becomes the partition function *Z*_{n} on the *n*-sheeted Riemann surface normalized by \(Z_{1}^{n}\) which follows from imposing the normalization tr[*ρ*_{V}]=1:

Then, Eq. (1) yields

In this work, we concentrate on the simplest case with the sizes of *V*, \(\bar {V}\), and 1/*T* all become infinite (*T*=0) and the interface between *V* and \(\bar {V}\) is a flat infinite plane. In this limit, the *n*-sheeted Riemann surface in Fig. 1a can be redrawn to Fig. 1b which has the *C*_{ε}×*R*^{2} topology. The Euclidean time and the direction perpendicular to the interface form the 2-dimensional cone *C*_{ε} with the deficit angle *ε* of the cone satisfying *n*=1−*ε*/2*π*. *R*^{2} is the space parallel to the 2-dimensional interface but transverse to the cone. The line connecting to the tip of the cone in Fig. 1b denotes the 2-dimensional brane which is the interface.

Now Eq. (3) becomes

with *S*_{E} probing the linear response of the partition function to the deficit angle.

Thermal entropy is a special case of entanglement entropy with vanishing \(\bar {V}\). As shown in Fig. 1a, without \(\bar {V}\), the spacetime topology becomes *S*^{1}×*R*^{3} in flat Euclidean space. *n* controls the size of *S*^{1} which is *β*=*n*/*T*. Then, Eq. (3) yields the standard equation for thermal entropy

The situation changes when it comes to the thermal entropy of a black hole. The Euclidean spacetime geometry just outside the black hole horizon is *R*^{2}×*S*^{2}. The period of the polar angle in *R*^{2} is proportional to *β*. When *β* is not equal to the inverse Hawking temperature of the black hole *β*_{H}, *R*^{2} becomes a cone of deficit angle *ε*=2*π*(*β*_{H}−*β*)/*β*_{H}. Then, Eq. (5) becomes

which is very similar to Eq. (4).

## 3 Renormalized entanglement entropy in the *λ*
*ϕ*
^{4} theory

To compute the entanglement entropy *S*_{E} using Eq. (3), we need to construct the theory in the *C*_{ε}×*R*^{2} space shown in Fig. 1b. The interface is shown as a two-dimensional brane (*R*^{2}) which has a 2-dimensional cone *C*_{ε} outside the brane. The space is locally flat outside of the brane. There could be fields only live on the brane.

A *λ**ϕ*^{4} theory in this space has the Lagrangian

The first two lines are the usual Lagrangian in flat space with the full Poincare symmetry. *m* and *λ* are renormalized quantities. Terms in the second line are conterterms. *Z*_{4} is the counterterm that renormalizes the cosmological constant. Terms in the third line breaks the Poincare symmetry due to the 2d brane. The *Z*_{2} term is the 2d brane tension while the *Z*_{0} is the brane coupling to the scalar. The third line should vanish when *ε*→0. Hence, under Taylor expansion, their couplings are proportional to *ε* for small *ε*. (The first derivative of *ε* has been assumed to exist when we apply the replica trick.) This system is nothing but a quantum field theory in a curved spacetime background. We expect that once all the relevant operators (i.e., operators up to dimension 4 for a weakly coupled system) with the symmetries of the problem are included, then the theory should be renormalizable. While the renormalizability is known to all orders in *λ* at \(\mathcal {O}(\epsilon ^{0})\), we will demonstrate that this is also the case at \(\mathcal {O}(\epsilon \lambda)\).

The Green’s function *G*_{n}(*x*,*x*^{′}) for the free scalar field on a *n*-sheeted Riemann surface satisfies

The conical singularity breaks translational symmetry such that *G*_{n}(*x*,*x*^{′}) depends on both *x* and *x*^{′} instead of *x*−*x*^{′} alone. As shown in Refs. [20, 21] and in the Appendix, the Green function has the solution

where polar coordinates (*r*,*θ*) and (*r*^{′},*θ*^{′}) are used to describe points on longitudinal plane with respect to the conical singularity.

Under the *ε* expansion, we have

where we have rewritten the Green’s function in flat space *G*_{1}(*x*,*x*^{′}) as *G*(*x*−*x*^{′}) since translational symmetry is satisfied for *G*_{1}(*x*,*x*^{′}).

There are two classes of diagrams at \(\mathcal {O}(\epsilon)\). The first one is with one \(\mathcal {O}(\epsilon)\) coupling insertion and with all the other couplings and propagators of \(\mathcal {O}(\epsilon ^{0})\). The second one is with one *f*(*x*,*x*^{′}) propagator but with all the other propagators and couplings of \(\mathcal {O}(\epsilon ^{0})\), which implies if the *f*(*x*,*x*^{′}) propagator is removed, then the rest of the diagram is translational invariant. Therefore, a generic diagram of the second class can be expressed as

With this condition, we show in the Appendix that the \(\mathcal {O}(\epsilon)\) propagator in the Fourier space can be effectively written as:

where *A*_{⊥} is the area of the interface. This expression has a mass dimension minus six because *G*_{n}(*x*,*x*^{′}) has a mass dimension two. Now we see all the couplings and propagators at \(\mathcal {O}(\epsilon)\) are proportional to *A*_{⊥}, so every diagram at \(\mathcal {O}(\epsilon)\) is proportional to *A*_{⊥} as well.

The \(\mathcal {O}(\epsilon)\) propagator of Eq. (12) has two powers of momentum less than the \(\mathcal {O}(\epsilon ^{0})\) propagator. Hence, the standard power counting analysis shows that at \(\mathcal {O}(\epsilon)\), only the two-point functions and zero-point functions are divergent and need to be renormalized. The two-point functions could diverge logarithmically while the zero-point function could diverge quadratically at \(\mathcal {O}(\epsilon)\).

We will start from the renormalization of two-point functions at \(\mathcal {O}(\epsilon \lambda)\) shown in Fig. 2. The sum of the two diagrams is proportional to

Then, using *d*^{d}*p*=*d**p**p*^{d−1}*Ω*_{d}, *Ω*_{4}=2*π*^{2} and *Ω*_{2}=2*π*, the two-point function can be renormalized by setting *Z*_{0}=*π*/3 such that the divergence between the two diagrams cancel and (13) equals 1/(48*π*). Here, we do not demand the first diagram being renormalized by the tree diagram with one insertion of *Z*_{0} because in general *Z*_{0} is of order *λ*^{0}, not *λ*.

Now it comes to the zero-point function (the logarithm of the partition function) at \(\mathcal {O}(\epsilon)\), which is exactly the entanglement entropy using the replica trick. Figure 3a denotes the contribution from the inverse determinant of the free theory. It can be computed by taking the *m*^{2} derivative then integrate *m*^{2} back:

*S*_{0} is the contribution when *m*→*∞*. So *S*_{0} is *m* independent.

We use the renormalization condition that the tree level mass is the physical mass already, such that the loop corrections to the mass are all canceled by counterterms. Therefore, the one loop correction in Fig. 3b is exactly canceled by the insertion of the mass counterterm *Z*_{m} in Fig. 3c:

The *Z*_{2} and *Z*_{0} terms yield

And the one loop correction to (3e) vanishes

If we take the mass derivative to Eqs.(14) and (17), the same combination as Eq. (13) arises and yields

where *C* is *m* independent. *C* could diverge like *Λ*^{2}, with *Λ* the ultraviolet momentum cut-off.

Putting everything together, we have

where *Z* ̄_{2}=*Z*_{2}+*C*. The divergence in *C* can be absorbed by *Z*_{2} such that *Z* ̄_{2} is finite. Therefore, we have demonstrated that, up to \(\mathcal {O}(\lambda)\), with couplings *Z*_{0} and *Z*_{2} living in the two-dimensional brane formed by the interface, *S*_{E} could be properly renormalized to be a finite quantity.

Here, we have only discussed the *S*_{E} of the ground state of a scalar field theory with an infinitely large flat interface to \(\mathcal {O}(\lambda)\). But the conclusion that entanglement entropy is renormalizable could be general. One can generalize our derivation to all orders in *λ* using the standard techniques and try to work on different interfaces and theories. However, one can already see in our simple example that while *Z*_{0} can be determined by the renormalization of the two-point function, fixing *Z*_{2} (or \(\bar {Z}_{2}\) of Eq. (20)) requires knowing its dependence on the deficit angle in a condensed matter system which lives in a flat space. This is conceptually illusive. We will have more discussions on this in the next section.

## 4 The correspondence in the black hole case

It is instructive to reproduce the computation showing the equivalence between the black hole thermal entropy and entanglement entropy which mathematically has a one-to-one correspondence to our case in the previous section.

The Euclidean action of a quantum scalar field in classical gravity is

and

\(\mathcal {L}_{\phi }\) is the first two lines of Eq. (7) written in the general covariant form. *R* is the Ricci scalar. The dimension four \(\mathcal {O}(R^{2})\) terms include *R*^{2}, \(R_{\mu \nu }^{2}\), and \(R_{\mu \nu \rho \sigma }^{2}\).

For an infinitely massive black hole, the Hawking temperature is zero and the horizon is a flat infinite plane. The space outside the horizon can be described by the Rindler space which is locally flat except at the origin [6, 7, 14]. Therefore, when one computes the black hole entropy using Eq. (6), or the black hole entanglement entropy across the horizon using Eq. (4), the spacetime geometry is *C*_{ε}×*R*^{2} in both cases—the same as the *S*_{E} computation in flat space in the previous section. Furthermore, we have *R*=4*π**ε**δ*^{(2)}(*x*_{∥}) which makes Eq. (22) have the same form as Eq. (7). These lead to *S*_{BH}=*S*_{E} for the black hole.

We can set *α*=*Z*_{0} to renormalize the two-point function in Fig. 2. As for the terms of \(\mathcal {O}\left (R^{2}\right)\), although they are dimension 4, they do not contribute until \(\mathcal {O}(\epsilon ^{2})\) so they do not contribute to *S*_{E} or *S*_{BH}.^{Footnote 1}

Following the same procedure as in the previous section, we have

where the 1/4*G* term is the Bekenstein-Hawking entropy which is \(\mathcal {O}(1/\hbar)\), but interestingly it can be derived with just classical gravity. The −*C*−*m*^{2}/48*π* contribution is from quantum corrections to the black hole entropy starting at \(\mathcal {O}(\hbar ^{0})\). The mass independent term *C* could diverge like *Λ*^{2}. But its divergence is absorbed by 1/*G* and the combination on the right hand side is matched to the renormalized quantity 1/4*G*_{R}. (Here, *G*_{R} is related to the zero-point function of *ϕ* with one power of *R* dependence. This quantity is proportional to *S*_{E} in this problem.) [6, 7]. Finally, we have

Hence, both *S*_{BH} and *S*_{E} are shown, up to \(\mathcal {O}(\lambda)\), to be the same for an infinitely massive black hole. And the entropy per horizon area is set by the Planck scale.

Most of the discussion in this section can be found in [6, 7, 14], except the part that *α* can be fixed by the two-point function renormalization in Fig. 2. We find that each term in our condensed matter case has a counter part in the gravitational theory. This suggests that our formulation is sensible from the point of view of general relativity. Although the deficit angle is easy to imagine in a gravitational theory, it requires the “off-shell action” to describe a black hole away from its Hawking temperature to generate the deficit angle [22]. This suggests that in the condensed matter system, the determination of the interface term *Z*_{2} will require properties from the “off-shell action” that is not included in its usual “on-shell action” which can possibly be determined by scattering in flat 3+1 dimensions.

## 5 Conclusion and discussion

Our study suggests that entanglement entropy is renormalizable and is a physical quantity. We have demonstrated the renormalizability of the entanglement entropy of the *λ**ϕ*^{4} at order *λ* when the 3+1 dimensional theory is separated into two regions by an infinitely flat 2-dimensional interface. Using the replica trick, the computation of the entanglement entropy across the interface can be carried out by putting the theory on a curved spacetime background. We have shown by an explicit computation at \(\mathcal {O}(\lambda)\) that once all the relevant operators are included in the action, the theory and hence the entanglement entropy, can be renormalized.

We also reviewed the computation of black hole entropy and entanglement entropy across the horizon for an infinitely massive black hole and found that our non-gravitational calculation has a one-to-one correspondence to the black hole case. This suggests that our formulation is sensible from the point of view of general relativity.

To renormalize the *S*_{E} in a non-gravitational system, one uses the coupling *Z*_{2} which live in the interface to absorb the infinities from loop diagrams. If we wish to make a prediction to *S*_{E}, then *Z*_{2} needs to be fixed by other observables. However, this coupling exists in the “off-shell action.” It is not clear what would be a good way to fix it. However, even without knowing *Z*_{2}, one can still make predictions to combinations of entanglement entropies, e.g. mutual entropy [23–25], whose *Z*_{2} dependence cancels.

There are some obvious directions for future work. One could generalize the renormalizability proof to all orders in *λ*, or generalize it to other theories, for examples, the standard model of particle physics. In the latter case, there are actually no relevant couplings at \(\mathcal {O}(\epsilon)\) other than what we have already written down in Eq. (7) and our \(\mathcal {O}(\epsilon)\) propagator result in Eq. (12) can be easily generalized to propagators for other fields.

## 6 Appendix: The derivation of Eq. (12)

The Laplacian operator in the *C*_{ε}×*R*^{2} space is

where *θ*=[0,2*π*) and *n*=1−*ε*. Its eigenfunction

satisfies

Then, the Green’s function *G*_{n}(*x*,*x*^{′}) can be constructed via

which yields Eq. (9) and the integral over *p*_{θ}, the conjugate momentum of *θ*, is understood as the sum over all integer *l*.

In Eq. (11), a general function of *x*−*x*^{′} can be written in a similar way as Eq. (28) but in flat (*n*=1) space:

Then, we have

We only need the \(\mathcal {O}(\epsilon)\) contribution of this integral, which is

where we have used

Using Eq. (26), the *x* integral in Eq. (31) is

The last expression vanishes unless *p*_{∥}=0. Since *A*_{⊥} and *p*_{∥} are the only scales in this expression, dimensional analysis suggests that it is proportional to \(A_{\perp } \delta (p_{\parallel }^{2})\). The proportional constant, |*l*|, can be fixed by considering the integral

Now we are ready to rewrite Eq. (31) as

where we have used the Riemann zeta function \(\zeta (s)=\sum _{n=1}^{\infty } n^{-s}\) and *ζ*(−1)=−1/12 via analytic continuation. The final result is summarized in Eq. (12).

## Availability of data and materials

Not applicable.

## Notes

The \(\mathcal {O}(R^{2})\) can still contribute at \(\mathcal {O}(\epsilon)\) when the curvature at \(\mathcal {O}(\epsilon ^{0})\) is not zero as considered in Ref. [20].

## References

G. Hooft, On the quantum structure of a black hole. Nucl. Phys.

**B256:**, 727–745 (1985). https://doi.org/10.1016/0550-3213(85)90418-3.L. Bombelli, R. K. Koul, J. Lee, R. D. Sorkin, A quantum source of entropy for black holes. Phys. Rev.

**D34:**, 373–383 (1986). https://doi.org/10.1103/PhysRevD.34.373.M. Srednicki, Entropy and area. Phys. Rev. Lett.

**71:**, 666–669 (1993). https://doi.org/10.1103/PhysRevLett.71.666.V. P. Frolov, I. Novikov, Dynamical origin of the entropy of a black hole. Phys. Rev.

**D48:**, 4545–4551 (1993). https://doi.org/10.1103/PhysRevD.48.4545.S. Das, S. Shankaranarayanan, S. Sur,

*Black hole entropy from entanglement: a review, Horizons in World Physics, vol. 268*. (M. Everett, L. Pedroza, eds.), (2009). https://novapublishers.com/shop/classical-and-quantum-gravity-theory-analysis-andapplications/.L. Susskind, Some speculations about black hole entropy in string theory (1993). http://arxiv.org/abs/hep-th/9309145.

L. Susskind, J. Uglum, Black hole entropy in canonical quantum gravity and superstring theory. Phys. Rev.

**D50:**, 2700–2711 (1994). https://doi.org/10.1103/PhysRevD.50.2700.C. G. Callan Jr, F. Wilczek, On geometric entropy. Phys. Lett.

**B333:**, 55–61 (1994). https://doi.org/10.1016/0370-2693(94)91007-3.D. N. Kabat, M. J. Strassler, A comment on entropy and area. Phys. Lett.

**B329:**, 46–52 (1994). https://doi.org/10.1016/0370-2693(94)90515-0.S. N. Solodukhin, The conical singularity and quantum corrections to entropy of black hole. Phys. Rev.

**D51:**, 609–617 (1995). https://doi.org/10.1103/PhysRevD.51.609.D. V. Fursaev, Black hole thermodynamics and renormalization. Mod. Phys. Lett.

**A10:**, 649–656 (1995). https://doi.org/10.1142/S0217732395000697.J. -G. Demers, R. Lafrance, R. C. Myers, Black hole entropy without brick walls. Phys. Rev.

**D52:**, 2245–2253 (1995). https://doi.org/10.1103/PhysRevD.52.2245.D. N. Kabat, Black hole entropy and entropy of entanglement. Nucl. Phys.

**B453:**, 281–299 (1995). https://doi.org/10.1016/0550-3213(95)00443-V.F. Larsen, F. Wilczek, Renormalization of black hole entropy and of the gravitational coupling constant. Nucl. Phys.

**B458:**, 249–266 (1996). https://doi.org/10.1016/0550-3213(95)00548-X.D. V. Fursaev, G. Miele, Cones, spins and heat kernels. Nucl. Phys.

**B484:**, 697–723 (1997). https://doi.org/10.1016/S0550-3213(96)00631-1.J. H. Cooperman, M. A. Luty, Renormalization of entanglement entropy and the gravitational effective action. JHEP.

**1412:**, 045 (2014). https://doi.org/10.1007/JHEP12(2014)045.G. Vidal, J. I. Latorre, E. Rico, A. Kitaev, Entanglement in quantum critical phenomena. Phys. Rev. Lett.

**90:**, 227902 (2003). https://doi.org/10.1103/PhysRevLett.90.227902.J. I. Latorre, E. Rico, G. Vidal, Ground state entanglement in quantum spin chains. Quant. Inf. Comput.

**4:**, 48–92 (2004). http://arxiv.org/abs/quant-ph/0304098.J. -W. Chen, S. -H. Dai, J. -Y. Pang, Strong coupling expansion of the 465 entanglement entropy of Yang-Mills gauge theories. Nucl. Phys. B.

**951:**, 114892 (2020). https://doi.org/10.1016/j.nuclphysb.2019.114892.P. Calabrese, J. L. Cardy, Entanglement entropy and quantum field theory. J. Stat. Mech.

**0406:**, P06002 (2004). https://doi.org/10.1088/1742-5468/2004/06/P06002.M. P. Hertzberg, Entanglement entropy in scalar field theory. J. Phys.

**A46:**, 015402 (2013). https://doi.org/10.1088/1751-8113/46/1/015402.S. Carlip, C. Teitelboim, The off-shell black hole. Class. Quant. Grav.

**12:**, 1699–1704 (1995). https://doi.org/10.1088/0264-9381/12/7/011.H. Liu, M. Mezei, A refinement of entanglement entropy and the number of degrees of freedom. JHEP, 162 (2013). https://doi.org/10.1007/JHEP04(2013)162.

H. Casini, M. Huerta, J. A. Rosabal, Remarks on entanglement entropy for gauge fields. Phys.Rev.

**D89**(8), 085012 (2014). https://doi.org/10.1103/PhysRevD.89.085012.H. Liu, M. Mezei, Probing renormalization group flows using entanglement entropy. JHEP, 098 (2014). https://doi.org/10.1007/JHEP01(2014)098.

## Acknowledgements

The authors would like to thank Tatsuma Nishioka, Naoki Yamamoto, Michael Endres, Xing Huang, Feng-Li Lin, Chen-Te Ma, Masahiro Nozaki, Jackson Wu, and Yun-Long Zhang for helpful discussions. JWC is partly supported by the Ministry of Science and Technology, Taiwan, under Grant Nos. 108- 2112-M-002- 003-MY3, the Kenda Foundation, and DFG and NSFC (CRC 110). JYP is partly supported by DFG through funds provided to the Sino-German CRC 110 “Symmetries and the Emergence of Structure in QCD”.

## Funding

JWC is partly supported by the Ministry of Science and Technology, Taiwan, under Grant Nos. 108- 2112-M-002- 003-MY3, the Kenda Foundation, and DFG and NSFC (CRC 110). JYP is partly supported by DFG through funds provided to the Sino-German CRC 110 “Symmetries and the Emergence of Structure in QCD”.

## Author information

### Authors and Affiliations

### Contributions

JYP and JWC equally contributed to all aspects of the manuscript. Both authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Consent for publication

The authors give the consent for publication of this manuscript to AAPPS Bulletin.

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Pang, JY., Chen, JW. On the renormalization of entanglement entropy.
*AAPPS Bull.* **31**, 28 (2021). https://doi.org/10.1007/s43673-021-00032-1

Received:

Accepted:

Published:

DOI: https://doi.org/10.1007/s43673-021-00032-1