REVIEW 15 cited by
Covariant phase space with boundaries
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
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.
Forward citations
Cited by 15 Pith papers
-
Relational path integral, effective actions and quantum frame covariance in gravity
The gravitational path integral is reformulated with dynamical reference frames, producing gauge-invariant correlators, frame-dependent vacua, and effective actions, with sharpness of events becoming frame-relative.
-
The BEF Symplectic Form: A Lagrangian Perspective
The BEF symplectic form is derived from L∞-Lagrangians via covariant phase space methods and coincides with the Barnich-Brandt form for second-order equations of motion.
-
Disjoint additivity and local quantum physics
Local quantum systems should obey disjoint additivity plus Haag duality, a combination that survives higher-form symmetries and fails for known nonlocal constructions.
-
Semi-local observables, edge modes and quantum reference frames in quantum electromagnetism: an algebraic approach
Electromagnetic edge modes on bounded spacetimes with corners are treated as quantum reference frames for large gauge transformations via a state-independent C*-algebraic relativisation map, with superselection sector...
-
Covariant phase space and $L_\infty$ algebras
A covariant phase space symplectic form is constructed for any L∞ Lagrangian field theory using a 'sigmoid' operator, and is verified in scalar, Yang-Mills, general relativity, and p-adic string examples.
-
Gravitational Memory Beyond Null Infinity through Finite-Distance Carrollian Screens
Finite-distance null screens carry a Carrollian memory whose leading tracefree large-radius part reproduces the standard Bondi displacement memory in Robinson–Trautman spacetimes.
-
Symplectic structure in open string field theory III: Electric field
OSFT symplectic energy of a constant-electric-flux D-brane matches the DBI energy via a generalized Ellwood invariant for nonpolynomial theories.
-
Gauge Symmetries, Exact Symmetries and Conserved Charges in Minimal Massive Gravity
Minimal Massive Gravity has three gauge symmetries, and a newly constructed transformation generates exact symmetries and a conserved charge in a restricted parameter limit.
-
Entanglement Entropy of Quantum Corners
For a two-dimensional corner symmetry algebra, coherent corner states give an entanglement entropy that scales with the area when mapped to near-extremal Reissner-Nordström black holes.
-
Triangulating quantum gravity in AdS$_3$
The fixed-angle gravitational path integral in AdS3 equals a Conformal Turaev-Viro partition function, the fixed-length path integral equals a Virasoro TQFT amplitude squared, and the semiclassical geometries are buil...
-
Canonical quantization for effective theories with perturbations altering degrees of freedom: a covariant phase space approach
Covariant phase space formalism enables perturbative canonical quantization of higher-derivative perturbed theories, verified on a solvable 2D charged particle model where perturbative results match exact expansion.
-
Canonical quantization of the Pais-Uhlenbeck oscillator with a higher-derivative perturbation: a covariant phase space approach
A covariant phase-space perturbation scheme for the Pais-Uhlenbeck oscillator reproduces the exact low-energy spectrum and commutator while decoupling the Ostrogradsky ghost.
-
Dynamical Entropy Is a Noether Charge
A Noether-charge derivation of the known HWZ dynamical entropy for generic null surfaces, whose local second-law proof is invalid as printed because Eq. (19) has the wrong sign in K.
-
Effective density matrix for vacua in asymptotically flat gravity
The vacuum of a large causal diamond in asymptotically flat gravity is claimed to be a Gaussian in the supertranslation Goldstone mode, giving modular Hamiltonian variance A/epsilon squared.
-
GGI lectures on boundary and asymptotic symmetries
A lecture-note review of boundary and asymptotic symmetries that re-derives the BMS group as the asymptotic symmetry group of Minkowski spacetime alone and constructs an integral Hamiltonian generator for scalar-field...
Discussion (0). Sign in to comment.