# Computing entanglement entropy in 2d CFTs

## Brief review[edit | edit source]

We mostly follow the review by Cardy and Calabrese.^{[1]}

### Rényi and von Neumann entropies[edit | edit source]

The Rényi entropy depends on . The von Neumann entropy is

Then entanglement entropy is the von Neumann entropy of the reduced density matrix of a subsystem. By extension, the term is also applied to the Rényi entropy of the subsystem.

In dimension , the subsystem can be chosen as a union of disjoint intervals,

The corresponding reduced density matrix coincides with the partition function of a Euclidean 2d CFT on a surface with open cuts on .

### Replicas and Riemann surfaces[edit | edit source]

For , the Rényi entropy then coincides with the partition function on the Riemann surface that is obtained by joining replicas of the sphere along the open cuts. The resulting Riemann surface has the genus

The moduli of the Riemann surface are given in terms of the positions of the interval endpoints. In general, the number of moduli is larger than positions (modulo global conformal transformations), so we obtain a Riemann surface of special type, sometimes called a Rényi surface.^{[2]} For example, for , Rényi surfaces are a -dimensional subspace of the -dimensional space of genus two Riemann surfaces.

### Orbifold CFT[edit | edit source]

Computing partition functions on higher-genus Riemann surfaces is not easy, even for CFTs that are fully solved. The standard manipulation is, in string theory language, to replicate the target space rather than the worldsheet. The partition function on an -sheeted sphere is identical to a sphere correlation function of twist fields in the orbifold CFT

Here the group performs cyclic permutations of the sheets. Explicitly,

This might be viewed as a special case of a correlation function in the symmetric product orbifold CFT
. Work on the symmetric product orbifold however prioritizes low values of the genus and/or the large limit,^{[3]} so it is of limited relevance.

The twist fields should be viewed as belonging to the identity sector. They are mapped to the identity field by a singular conformal transformation. Their left and right conformal dimensions are

The singular conformal transformation maps the null vector condition to , from which the conformal dimension of can be deduced.^{[4]} Twist fields are therefore degenerate fields of the orbifold CFT.

In the case , the Rényi entropy reduces to a two-point function of twist fields, and can therefore be computed up to a constant prefactor.

## Motivations[edit | edit source]

### CFT motivations[edit | edit source]

The Rényi entropy is closely related to the partition functions on higher genus Riemann surfaces: these are geometric quantities that do not depend on a choice of fields. Unlike correlation functions, these quantities can therefore be compared between different CFTs.

Thanks to its representation in terms of an orbifold CFT, the Rényi entropy can be a bit easier to compute than a higher genus partition function. However, it still remains difficult to compute, even in minimal models. On the other hand, the entanglement entropy is intractable, even for compactified free bosons.

### Extrinsic motivations[edit | edit source]

It is easy to compute the entanglement entropy in numerical simulations, and to deduce the central charge.

## Exact results[edit | edit source]

### Rényi entropy of two intervals for a compactified free boson[edit | edit source]

Let be the radius of compactification, with the self-dual radius. Let be the cross-ratio of the intervals' endpoints, and let be such that , with are Jacobi theta functions. In the case , the Rényi entropy is

The generalization is^{[1]}

where is a square matrix of size with the elements

and

It is not known how to analytically continue to in order to obtain the entanglement entropy.

### Rényi entropy in the Ising model[edit | edit source]

The Rényi entropy of two intervals in the Ising model has been determined analytically,^{[5]} It is quite similar to the case of the free boson, and again the continuation to is not known.

### Rényi entropy in minimal models[edit | edit source]

The null vector equation cannot be enough for determining Rényi entropies, otherwise we would obtain results that would not depend on the CFT, only on its central charge. In minimal models, additional null vectors lead to more equations, and in some cases the Rényi entropy can be determined.^{[4]}

## Bootstrap[edit | edit source]

The Rényi entropy for two disjoint intervals can be decomposed into Virasoro conformal blocks, and continued to .^{[6]}^{[7]} The difficulty with this approach is that the Virasoro symmetry is much smaller than the orbifold symmetry, so that the number of Virasoro primary fields is large. If one used the orbifold symmetry itself, the difficulty would be continuing the results to .

## References[edit | edit source]

- ↑
^{1.0}^{1.1}Calabrese, Pasquale; Cardy, John (2009-05-25). "Entanglement entropy and conformal field theory".*arXiv.org*. doi:10.1088/1751-8113/42/50/504005. Retrieved 2020-10-02. - ↑ Cho, Minjae; Collier, Scott; Yin, Xi (2017-05-16). "Genus Two Modular Bootstrap".
*arXiv.org*. Retrieved 2020-10-02. - ↑ Dei, Andrea; Eberhardt, Lorenz (2019-11-19). "Correlators of the symmetric product orbifold".
*arXiv.org*. doi:10.1007/JHEP01(2020)108. Retrieved 2020-10-02. - ↑
^{4.0}^{4.1}Dupic, Thomas; Estienne, Benoit; Ikhlef, Yacine (2017-09-26). "Entanglement entropies of minimal models from null-vectors".*arXiv.org*. doi:10.21468/SciPostPhys.4.6.031. Retrieved 2020-10-10. - ↑ Calabrese, Pasquale; Cardy, John; Tonni, Erik (2010-11-24). "Entanglement entropy of two disjoint intervals in conformal field theory II".
*arXiv.org*. doi:10.1088/1742-5468/2011/01/P01021. Retrieved 2020-10-10. - ↑ Rajabpour, M. A.; Gliozzi, F. (2011-12-06). "Entanglement entropy of two disjoint intervals from fusion algebra of twist fields".
*arXiv.org*. doi:10.1088/1742-5468/2012/02/P02016. Retrieved 2020-10-10. - ↑ Ruggiero, Paola; Tonni, Erik; Calabrese, Pasquale (2018-05-15). "Entanglement entropy of two disjoint intervals and the recursion formula for conformal blocks".
*arXiv.org*. doi:10.1088/1742-5468/aae5a8. Retrieved 2020-10-10.