The BEF Symplectic Form: A Lagrangian Perspective

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to describe the "state" of a complex machine, like a car engine or a weather system. In physics, we call this collection of all possible states Phase Space. To do useful calculations (like predicting the future or finding conserved quantities like energy), we need a special mathematical map of this space called a Symplectic Form. Think of this form as a rigid grid or a ruler that tells us how to measure distances and angles between different states.

For a long time, physicists had a perfect ruler for machines that follow simple, local rules (where what happens here depends only on what's happening right next to it). But modern physics, especially theories involving strings or "non-local" effects (where things can influence each other across vast distances instantly), broke this ruler. The old methods didn't work because you couldn't just slice the machine in time to measure it.

This paper introduces a new, elegant way to build that ruler for these tricky, non-local machines. Here is the breakdown using everyday analogies:

1. The Problem: The "Fuzzy" Slice

In standard physics, to measure a system, you take a snapshot at a specific moment in time (a "Cauchy surface"). It's like taking a photo of a runner at exactly 2:00 PM.

The Issue: In non-local theories (like String Field Theory), the "runner" at 2:00 PM might be influenced by where they were at 1:59 PM and where they will be at 2:01 PM simultaneously. You can't take a clean snapshot because the system is "smeared" across time. The old ruler breaks.

2. The Solution: The "Sigmoid" Transition

The authors (Mohd Ali and Georg Stettinger) propose a clever trick using a Sigmoid function.

The Analogy: Imagine instead of a sharp photo, you use a fading transition. Think of a light switch that doesn't just click "Off" to "On" instantly, but slowly glows from dark to bright over a few seconds.
How it works: They use this "glowing" function (called $\sigma$ ) to gently turn the system on and off. Instead of measuring at a single sharp moment, they measure the system while it is in this "glowing" transition zone.
The Result: This creates a "fuzzy" but well-defined slice of time where the system's degrees of freedom are localized. It allows them to build a new, robust ruler (the BEF Symplectic Form) that works even for these weird, non-local theories.

3. The Connection: The "Corner" of the Room

The paper also connects this new method to an older, trusted method called the Barnich-Brandt (BB) construction.

The Analogy: Imagine you are measuring the volume of a room.
- The BB method is like measuring the walls and floor perfectly, but it leaves a tiny, mysterious "corner term" (a specific piece of the corner where walls meet) that sometimes gets ignored or handled differently.
- The BEF method is the new way of measuring using the "fading light."
The Discovery: The authors prove that for standard, simple theories (like General Relativity), the "fading light" method (BEF) and the "wall measurement" method (BB) give the exact same result.
The "Aha!" Moment: This explains why that mysterious "corner term" exists in General Relativity. It wasn't a mistake; it was a natural consequence of how the boundaries work. The BEF method naturally "sees" this corner term, proving that the two approaches are actually two sides of the same coin.

4. The Bonus: Finding the "Energy" (Hamiltonian)

Once you have a good ruler (Symplectic Form), you can calculate the Hamiltonian, which is essentially the total energy of the system.

The authors show how to calculate this energy for their new "fuzzy" systems.
They tested this on three different "machines":
1. Maxwell Theory (Electromagnetism): The standard light/electricity rules. The new method worked perfectly and matched the old results.
2. Higher-Derivative Scalar: A more complex, "wobbly" machine. Here, the new method revealed that the "corner terms" actually contain hidden information about what kind of boundaries the system can have. It's like the ruler telling you, "Hey, you can't just put a wall here; the physics won't allow it."
3. Schrödinger Theory (Quantum Particles): A non-relativistic system. Even though the math looked different, the new ruler still worked, proving it's a universal tool.

Summary: Why This Matters

Think of this paper as upgrading the toolkit for the most difficult jobs in physics.

Before: We had a ruler that broke whenever we tried to measure "spooky" non-local connections or systems with infinite derivatives.
Now: We have a universal ruler (the BEF Symplectic Form) that uses a "fading transition" to measure anything, from standard gravity to string theory.
The Payoff: It unifies two different ways of thinking about physics, explains why "corner terms" appear in gravity, and gives us a way to calculate energy and boundary rules for theories that were previously too messy to handle.

In short, they found a way to measure the unmeasurable by gently blurring the edges, and in doing so, they showed us that the "corners" of our physical universe are just as important as the walls.

1. Problem Statement

The paper addresses fundamental challenges in defining the phase space and symplectic structure for field theories, particularly those that are non-local or involve infinite derivatives (e.g., String Field Theory, higher-derivative gravity).

Canonical Approach Limitations: The standard canonical definition of phase space relies on specifying initial data on a time slice. This breaks manifest covariance (treating time as special) and fails for non-local theories where a well-defined Cauchy initial value problem does not exist due to non-locality in time.
Covariant Approach Limitations: While the covariant phase space formalism (defining phase space as the space of solutions) preserves covariance, constructing a symplectic form for non-local theories is difficult because the standard localization of degrees of freedom to a Cauchy surface fails.
The BEF Proposal: Bernardes, Erler, and Fırat (BEF) recently proposed a symplectic form for $L_\infty$ -algebra-based theories using a "sigmoid" function to effectively create a fuzzy boundary. However, a direct derivation of this form from a Lagrangian perspective and its precise relationship to established finite-derivative constructions (like Barnich-Brandt) were not fully elucidated.

2. Methodology

The authors employ a rigorous Lagrangian approach within the framework of $L_\infty$ -algebras and the covariant phase space formalism.

$L_\infty$ -Algebra Framework: They utilize the fact that any Lagrangian field theory (including gauge theories and non-local theories) can be formulated using a cyclic $L_\infty$ -algebra. The action is expressed as a sum of higher products ( $L_n$ ) contracted with a symplectic form $\omega$ .
The Sigmoid Function ( $\sigma$ ): They introduce a smooth function $\sigma(x)$ (sigmoid) that transitions from 0 to 1, effectively acting as a "fuzzy" Cauchy surface. This replaces the sharp temporal boundary with a region where degrees of freedom are localized.
Variational Bi-complex: The authors use the variational bi-complex (involving the exterior derivative $d$ in spacetime and the variation $\delta$ in field space) to derive the symplectic current.
Anderson Homotopy Operator: To resolve ambiguities in the presymplectic potential ( $\Theta$ ), they utilize the Anderson homotopy operator ( $I_{\delta\phi}$ ), which provides a unique prescription for integration by parts, leading to the Barnich-Brandt (BB) symplectic form.

3. Key Contributions and Derivations

A. Derivation of $\Omega_{BEF}$ from $L_\infty$ -Lagrangians

The authors derive the BEF symplectic form directly from the $L_\infty$ action:
$S = -\sum_{n=1}^\infty \frac{1}{(n+1)!} \omega(\phi, L_n(\phi, \dots, \phi))$
By introducing the sigmoid $\sigma$ into the action ( $S_\sigma$ ) and varying it, they show that the resulting symplectic current is:
$\Omega_{BEF} = \frac{1}{2} \omega(\delta\phi, [Q_\phi, \sigma] \delta\phi)$
where $Q_\phi$ is the linearized equation of motion operator. They prove that this expression is equivalent to the covariant phase space integral of the presymplectic current, where the sharp delta-function localization of a Cauchy surface is replaced by the gradient of the sigmoid function ( $d\sigma$ ).

B. Relation to Barnich-Brandt (BB) Symplectic Form

A central result is the precise relationship between the BEF form and the Barnich-Brandt form ( $\omega_{BB}$ ), which is constructed using the Anderson homotopy operator to fix the presymplectic potential ambiguity.

Second-Order Theories: For theories with second-order equations of motion (e.g., General Relativity, Maxwell theory), the authors prove that $\Omega_{BEF}$ coincides exactly with the Barnich-Brandt symplectic form. This explains the emergence of the "canonical corner term" in General Relativity within the BEF framework.
General Finite-Derivative Theories: For higher-derivative theories, they derive a general relation:
$\Omega_{BEF} = \int \left[ \frac{1}{2} d\omega_{BB}(\sigma \delta\phi, \delta\phi) + \frac{1}{2} d\omega_{BB}(\delta\phi, \sigma \delta\phi) - \sigma d\omega_{BB}(\delta\phi, \delta\phi) \right]$
This shows that $\Omega_{BEF}$ and $\omega_{BB}$ differ by corner terms (boundary contributions) involving derivatives of the sigmoid function.

C. Hamiltonian Formulation

The paper develops a general expression for the Hamiltonian $H_\xi$ associated with a vector field $\xi$ in $L_\infty$ -theories. They derive:
$\delta H_\xi = -i_{V_\xi} \Omega_{BEF} - \omega(\delta\phi, (\mathcal{L}_\xi \sigma) E(\phi))$
They construct the Hamiltonian explicitly, showing it includes contributions from corner terms that depend on the boundary conditions.

4. Results and Examples

The authors validate their formalism through explicit calculations in three distinct theories:

Maxwell Theory (Second Order):
- Demonstrated that $\Omega_{BEF} = \omega_{BB}$ .
- Recovered the standard canonical Hamiltonian density ( $E^2 + B^2$ ) up to boundary terms.
- Showed that the corner term vanishes for the standard Lagrangian in $L_\infty$ form.
Higher Derivative Scalar Theory ( $\phi(\square - \square^2)\phi$ ):
- Demonstrated that $\Omega_{BEF}$ and $\omega_{BB}$ differ by specific corner terms involving derivatives of $\sigma$ .
- Key Insight: The terms involving higher derivatives of $\sigma$ (e.g., $\partial^2 \sigma$ ) are conjectured to vanish only when specific boundary conditions are imposed. This suggests $\Omega_{BEF}$ encodes information about admissible boundary conditions that $\omega_{BB}$ does not explicitly capture.
Schrödinger Theory (Non-Covariant):
- Applied the formalism to a non-relativistic, non-covariant theory.
- Found perfect agreement between the BEF construction and the standard symplectic structure, proving the framework's robustness beyond covariant field theories.

5. Significance and Implications

Unification of Formalisms: The paper establishes that the BEF proposal is not an ad-hoc fix for non-local theories but a natural generalization of the Barnich-Brandt construction. It unifies the treatment of local (finite-derivative) and non-local (infinite-derivative) theories under the $L_\infty$ algebraic structure.
Origin of Corner Terms: It provides a Lagrangian derivation for the "corner terms" in General Relativity and other theories, showing they arise naturally from the interplay between the equations of motion and the localization function ( $\sigma$ ).
Boundary Conditions in Non-Local Theories: The authors argue that the BEF symplectic form contains "hidden" information about boundary conditions. Specifically, the requirement that higher-derivative terms of the sigmoid vanish implies constraints on the allowed boundary conditions for non-local theories (like String Field Theory), a problem that has remained open.
Hamiltonian and Charges: The derived Hamiltonian formulation allows for the systematic calculation of conserved charges (energy, momentum) in non-local and higher-derivative theories, including the necessary boundary corrections (Gibbons-Hawking-York terms).
Future Directions: The work opens pathways for studying black hole thermodynamics, entanglement entropy, and the algebra of observables in string theory using this rigorous symplectic framework.

In summary, the paper successfully bridges the gap between abstract $L_\infty$ algebraic structures and concrete Lagrangian field theory, providing a robust, covariant, and generalizable definition of symplectic structure that works for both local and non-local theories.