No Arabic abstract
By imposing the boundary condition associated with the boundary structure of the null boundaries rather than the usual one, we find that the key requirement in Harlow-Wus algorithm fails to be met in the whole covariant phase space. Instead, it can be satisfied in its submanifold with the null boundaries given by the expansion free and shear free hypersurfaces in Einsteins gravity, which can be regarded as the origin of the non-triviality of null boundaries in terms of Wald-Zoupass prescription. But nevertheless, by sticking to the variational principle as our guiding principle and adapting Harlow-Wus algorithm to the aforementioned submanifold, we successfully reproduce the Hamiltonians obtained previously by Wald-Zoupas prescription, where not only are we endowed with the expansion free and shear free null boundary as the natural stand point for the definition of the Hamiltonian in the whole covariant phase space, but also led naturally to the correct boundary term for such a definition.
The covariant phase space method of Iyer, Lee, Wald, and Zoupas gives an elegant way to understand the Hamiltonian dynamics of Lagrangian field theories without breaking covariance. The original literature however does not systematically treat total derivatives and boundary terms, which has led to some confusion about how exactly to apply the formalism in the presence of boundaries. In particular the original construction of the canonical Hamiltonian relies on the assumed existence of a certain boundary quantity $B$, whose physical interpretation has not been clear. We here give an algorithmic procedure for applying the covariant phase space formalism to field theories with spatial boundaries, from which the term in the Hamiltonian involving $B$ emerges naturally. Our procedure also produces an additional boundary term, which was not present in the original literature and which so far has only appeared implicitly in specific examples, and which is already nonvanishing even in general relativity with sufficiently permissive boundary conditions. The only requirement we impose is that at solutions of the equations of motion the action is stationary modulo future/past boundary terms under arbitrary variations obeying the spatial boundary conditions; from this the symplectic structure and the Hamiltonian for any diffeomorphism that preserves the theory are unambiguously constructed. We show in examples that the Hamiltonian so constructed agrees with previous results. We also show that the Poisson bracket on covariant phase space directly coincides with the Peierls bracket, without any need for non-covariant intermediate steps, and we discuss possible implications for the entropy of dynamical black hole horizons.
Determining the masses of new physics particles appearing in decay chains is an important and longstanding problem in high energy phenomenology. Recently it has been shown that these mass measurements can be improved by utilizing the boundary of the allowed region in the fully differentiable phase space in its full dimensionality. Here we show that the practical challenge of identifying this boundary can be solved using techniques based on the geometric properties of the cells resulting from Voronoi tessellations of the relevant data. The robust detection of such phase space boundaries in the data could also be used to corroborate a new physics discovery based on a cut-and-count analysis.
We study general relativity at a null boundary using the covariant phase space formalism. We define a covariant phase space and compute the algebra of symmetries at the null boundary by considering the boundary-preserving diffeomorphisms that preserve this phase space. This algebra is the semi-direct sum of diffeomorphisms on the two sphere and a nonabelian algebra of supertranslations that has some similarities to supertranslations at null infinity. By using the general prescription developed by Wald and Zoupas, we derive the localized charges of this algebra at cross sections of the null surface as well as the associated fluxes. Our analysis is covariant and applies to general non-stationary null surfaces. We also derive the global charges that generate the symmetries for event horizons, and show that these obey the same algebra as the linearized diffeomorphisms, without any central extension. Our results show that supertranslations play an important role not just at null infinity but at all null boundaries, including non-stationary event horizons. They should facilitate further investigations of whether horizon symmetries and conservation laws in black hole spacetimes play a role in the information loss problem, as suggested by Hawking, Perry, and Strominger.
We perform a careful study of the infrared sector of massless non-abelian gauge theories in four-dimensional Minkowski spacetime using the covariant phase space formalism, taking into account the boundary contributions arising from the gauge sector of the theory. Upon quantization, we show that the boundary contributions lead to an infinite degeneracy of the vacua. The Hilbert space of the vacuum sector is not only shown to be remarkably simple, but also universal. We derive a Ward identity that relates the n-point amplitude between two generic in- and out-vacuum states to the one computed in standard QFT. In addition, we demonstrate that the familiar single soft gluon theorem and multiple consecutive soft gluon theorem are consequences of the Ward identity.
We show that the phase space of three-dimensional gravity contains two layers of dualities: between diffeomorphisms and a notion of dual diffeomorphisms on the one hand, and between first order curvature and torsion on the other hand. This is most elegantly revealed and understood when studying the most general Lorentz-invariant first order theory in connection and triad variables, described by the so-called Mielke-Baekler Lagrangian. By analyzing the quasi-local symmetries of this theory in the covariant phase space formalism, we show that in each sector of the torsion/curvature duality there exists a well-defined notion of dual diffeomorphism, which furthermore follows uniquely from the Sugawara construction. Together with the usual diffeomorphisms, these duals form at finite distance, without any boundary conditions, and for any sign of the cosmological constant, a centreless double Virasoro algebra which in the flat case reduces to the BMS$_3$ algebra. These algebras can then be centrally-extended via the twisted Sugawara construction. This shows that the celebrated results about asymptotic symmetry algebras are actually generic features of three-dimensional gravity at any finite distance. They are however only revealed when working in first order connection and triad variables, and a priori inaccessible from Chern-Simons theory. As a bonus, we study the second order equations of motion of the Mielke-Baekler model, as well as the on-shell Lagrangian. This reveals the duality between Riemannian metric and teleparallel gravity, and a new candidate theory for three-dimensional massive gravity which we call teleparallel topologically massive gravity.