We propose a definition for the entanglement entropy of a gauge theory on a spatial lattice. Our definition applies to any subset of links in the lattice, and is valid for both Abelian and Non-Abelian gauge theories. For Z N and U(1) theories, without matter, our definition agrees with a particular case of the definition given by Casini, Huerta and Rosabal. We also argue that in general, both for Abelian and Non-Abelian theories, our definition agrees with the entanglement entropy calculated using a definition of the replica trick. Our definition, however, does not agree with some standard ways to measure entanglement, like the number of Bell pairs which can be produced by entanglement distillation.

In this paper we study the BMS symmetry of the celestial OPE of two positive helicity gravitons in Einstein theory in four dimensions. The celestial OPE is obtained by Mellin transforming the scattering amplitude in the (holomorphic) collinear limit. The collinear limit at leading order gives the singular term of the celestial OPE. We compute the first subleading correction to the OPE by analysing the four graviton scattering amplitude directly in Mellin space. The subleading term can be written as a linear combination of BMS descendants with the OPE coefficients determined by BMS algebra and the coefficient of the leading term in the OPE. This can be done by defining a suitable BMS primary state. We find that among the descendants, which appear at the first subleading order, there is one which is created by holomorphic supertranslation with simple pole on the celestial sphere.

The Cachazo-Strominger subleading soft graviton theorem for a positive helicity soft graviton is equivalent to the Ward identities for $$ \overline{\mathrm{SL}\left(2,\mathrm{\mathbb{C}}\right)} $$ SL 2 ℂ ¯ currents. This naturally gives rise to a $$ \overline{\mathrm{SL}\left(2,\mathrm{\mathbb{C}}\right)} $$ SL 2 ℂ ¯ current algebra living on the celestial sphere. The generators of the $$ \overline{\mathrm{SL}\left(2,\mathrm{\mathbb{C}}\right)} $$ SL 2 ℂ ¯ current algebra and the supertranslations, coming from a positive helicity leading soft graviton, form a closed algebra. We find that the OPE of two graviton primaries in the Celestial CFT, extracted from MHV amplitudes, is completely determined in terms of this algebra. To be more precise, 1) The subleading terms in the OPE are determined in terms of the leading OPE coefficient if we demand that both sides of the OPE transform in the same way under this local symmetry algebra. 2) Positive helicity gravitons have null states under this local algebra whose decoupling leads to differential equations for MHV amplitudes. An n point MHV amplitude satisfies two systems of (n − 2) linear first order PDEs corresponding to (n − 2) positive helicity gravitons. We have checked, using Hodges’ formula, that one system of differential equations is satisfied by any MHV amplitude, whereas the other system has been checked up to six graviton MHV amplitude. 3) One can determine the leading OPE coefficients from these differential equations.This points to the existence of an autonomous sector of the Celestial CFT which holographically computes the MHV graviton scattering amplitudes and is completely defined by this local symmetry algebra. The MHV-sector of the Celestial CFT is like a minimal model of 2-D CFT.

We show that the Mellin transform of an n-point tree level MHV gluon scattering amplitude, also known as the celestial amplitude in pure Yang-Mills theory, satisfies a system of (n−2) linear first order partial differential equations corresponding to (n−2) positive helicity gluons. Although these equations closely resemble Knizhnik-Zamoldochikov equations for SU(N) current algebra there is also an additional “correction” term coming from the subleading soft gluon current algebra. These equations can be used to compute the leading term in the gluon-gluon OPE on the celestial sphere. Similar equations can also be written down for the momentum space tree level MHV scattering amplitudes. We also propose a way to deal with the non closure of subleading current algebra generators under commutation. This is then used to compute some subleading terms in the mixed helicity gluon OPE.