Recognition: 1 theorem link
· Lean TheoremThe BEF Symplectic Form: A Lagrangian Perspective
Pith reviewed 2026-05-10 18:03 UTC · model grok-4.3
The pith
The BEF symplectic form arises directly from an L∞-Lagrangian and coincides with the Barnich-Brandt construction for second-order theories.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The BEF symplectic structure can be derived directly from an L∞-Lagrangian by following the covariant phase space approach. We establish a precise relation between the BEF symplectic structure and the Barnich-Brandt symplectic form for general finite-derivative theories. In particular, for theories with second-order equations of motion, the BEF symplectic structure coincides with the Barnich-Brandt construction, thereby explaining the emergence of the canonical corner term in general relativity within the BEF approach. We further argue that the BEF symplectic structure naturally encodes information about generic corner terms and some information about boundary conditions, and we develop a 6A
What carries the argument
The covariant phase space formalism applied to L∞-Lagrangians, which produces the BEF symplectic form and relates it to the Barnich-Brandt form for second-order theories.
Load-bearing premise
Every relevant theory including those with non-local interactions admits a consistent L∞-Lagrangian formulation to which the covariant phase space formalism applies without further restrictions on the boundary or corner data.
What would settle it
Explicitly calculate the symplectic form in general relativity using the BEF prescription derived from its L∞-Lagrangian and verify that it reproduces the known Barnich-Brandt expression including the corner term; a mismatch would disprove the coincidence.
Figures
read the original abstract
In 2025, Bernardes, Erler and Firat proposed a novel, elegant expression for the symplectic form on phase space applicable to non-local theories. We show that this BEF symplectic structure can be derived directly from an $L_\infty$-Lagrangian by following the covariant phase space approach. Moreover, we establish a precise relation between the BEF symplectic structure and the Barnich--Brandt symplectic form for general finite-derivative theories. In particular, we prove that for theories with second-order equations of motion, the BEF symplectic structure coincides with the Barnich--Brandt construction, thereby explaining the emergence of the canonical corner term in general relativity within the BEF approach. We further argue that the BEF symplectic structure naturally encodes information about generic corner terms and some information about boundary conditions. In addition, we develop a general expression for the Hamiltonian in theories in $L_\infty$-form and present several explicit examples illustrating the construction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives the BEF symplectic form directly from an L∞-Lagrangian via the covariant phase space construction. It proves that, for any theory whose equations of motion are second-order, this BEF structure coincides exactly with the Barnich-Brandt symplectic form, thereby accounting for the canonical corner term in general relativity. The manuscript also supplies a general expression for the Hamiltonian in L∞-form, argues that the BEF structure encodes generic corner terms and some boundary-condition information, and illustrates the construction with explicit examples.
Significance. If the central identification holds, the work supplies a Lagrangian origin for the BEF symplectic structure and unifies it with the standard Barnich-Brandt construction for local second-order theories. This clarifies the appearance of the GR corner term inside the BEF framework and extends the covariant phase-space method to non-local theories formulated as L∞-algebras. The provision of a general Hamiltonian and concrete examples strengthens the practical utility of the result.
major comments (2)
- [Main derivation of the coincidence (following the covariant phase-space steps)] The proof that the BEF and Barnich-Brandt forms coincide for second-order theories (the central claim) rests on the assumption that an L∞-Lagrangian supplies precisely the same on-shell boundary variations and corner contributions as the ordinary second-order Lagrangian, without additional restrictions. This assumption is load-bearing for the equality and for the explanation of the GR corner term; an explicit check that no implicit conditions on boundary or corner data are introduced by the L∞ structure is required.
- [Discussion of corner terms and boundary conditions] The claim that the BEF structure 'naturally encodes information about generic corner terms' needs a precise statement of which corner contributions are captured and which are not; without this, it is unclear whether the encoding is complete or merely partial for the cases where the BEF-Barnich-Brandt match is asserted.
minor comments (2)
- [Preliminaries] Notation for the L∞-operations and the precise definition of the covariant phase-space presymplectic current should be introduced with a short self-contained summary, as readers familiar with Barnich-Brandt but not L∞-algebras may otherwise lose the thread.
- [Examples] In the examples section, the explicit computation of the symplectic form and Hamiltonian for at least one non-local case would benefit from a side-by-side comparison with the corresponding Barnich-Brandt expressions to illustrate the claimed coincidence.
Simulated Author's Rebuttal
We thank the referee for the positive overall assessment and for the constructive major comments. We address each point below and indicate where revisions will be made to improve clarity and rigor.
read point-by-point responses
-
Referee: [Main derivation of the coincidence (following the covariant phase-space steps)] The proof that the BEF and Barnich-Brandt forms coincide for second-order theories (the central claim) rests on the assumption that an L∞-Lagrangian supplies precisely the same on-shell boundary variations and corner contributions as the ordinary second-order Lagrangian, without additional restrictions. This assumption is load-bearing for the equality and for the explanation of the GR corner term; an explicit check that no implicit conditions on boundary or corner data are introduced by the L∞ structure is required.
Authors: We agree that an explicit verification strengthens the argument. The L∞-Lagrangian is defined so that its Euler-Lagrange equations and their first variations coincide exactly with those of the ordinary second-order Lagrangian; the covariant phase-space construction is then applied verbatim to the L∞-action. Consequently the integration-by-parts identities that generate the boundary and corner terms are identical. In the revised manuscript we will insert a short subsection (or paragraph) that compares the variation formulas term by term, confirming that the L∞-structure introduces no extra non-local boundary contributions or restrictions on corner data when the equations of motion are second-order. This explicit check will be placed immediately before the statement of the coincidence theorem. revision: yes
-
Referee: [Discussion of corner terms and boundary conditions] The claim that the BEF structure 'naturally encodes information about generic corner terms' needs a precise statement of which corner contributions are captured and which are not; without this, it is unclear whether the encoding is complete or merely partial for the cases where the BEF-Barnich-Brandt match is asserted.
Authors: We accept the need for greater precision. The BEF symplectic form encodes precisely those corner terms that arise from the standard covariant phase-space variation of the L∞-Lagrangian. For second-order theories these coincide with the Barnich-Brandt corner terms; the encoding is therefore complete with respect to the local dynamics encoded in the Lagrangian. It does not automatically incorporate arbitrary additional boundary conditions or non-standard corner contributions imposed independently of the Lagrangian. In the revised version we will replace the existing sentence with a clearer statement that distinguishes these two classes of contributions and notes the limitation with respect to externally prescribed boundary data. revision: yes
Circularity Check
Derivation from L∞-Lagrangian via covariant phase space is self-contained
full rationale
The paper derives the BEF symplectic structure directly from an L∞-Lagrangian input by applying the standard covariant phase space formalism, then proves its coincidence with the Barnich-Brandt form specifically for second-order equations of motion. This identification follows from the on-shell boundary variations supplied by the given Lagrangian without reducing to a fitted parameter, self-definition, or load-bearing self-citation chain. The central result is an explicit relation and proof rather than a renaming or ansatz smuggled from prior author work; the L∞ formulation is treated as an independent starting point to which the established method is applied. No step equates the output to the input by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Theories of interest admit an L∞-Lagrangian formulation
- domain assumption The covariant phase space approach yields the symplectic form without additional boundary data choices
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinctionreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
we prove that for theories with second-order equations of motion, the BEF symplectic structure coincides with the Barnich--Brandt construction
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Covariant phase space approach to noncommutativity in tensile and tensionless open strings
Covariant phase space analysis shows tensionless open strings in constant Kalb-Ramond background have purely boundary-supported phase space with noncommutative endpoint coordinates, recovering Seiberg-Witten noncommut...
Reference graph
Works this paper leans on
-
[1]
V. I. Arnold, V. V. Kozlov, and A. I. Neishtadt,Mathematical Aspects of Classical and Celestial Mechanics, Vol. 3, Springer Science & Business Media (2007)
2007
-
[2]
Covariant Description of Canonical Formalism in Geometrical Theories,
C. Crnkovic and E. Witten, “Covariant Description of Canonical Formalism in Geometrical Theories,” Print-86-1309 (PRINCETON)
-
[3]
Local symmetries and constraints,
J. Lee and R. M. Wald, “Local symmetries and constraints,”J. Math. Phys.31 (1990) 725–743
1990
-
[4]
Black hole entropy is the Noether charge,
R. M. Wald, “Black hole entropy is the Noether charge,” Phys. Rev. D48, no.8, R3427-R3431 (1993) doi:10.1103/PhysRevD.48.R3427 [arXiv:gr-qc/9307038 [gr-qc]]
-
[5]
Witten,Interacting Field Theory of Open Superstrings, Nucl
E. Witten,Interacting Field Theory of Open Superstrings, Nucl. Phys. B276(1986) 291–324
1986
-
[6]
Closed string field theory: Quantum action and the B-V master equation,
B. Zwiebach, “Closed string field theory: Quantum action and the B-V master equation,” Nucl. Phys. B390(1993), 33-152 doi:10.1016/0550-3213(93)90388-6 [arXiv:hep-th/9206084 [hep-th]]
- [7]
-
[8]
On the Theoretical Problems in Constructing Interactions Involving Higher Spin Massless Particles,
F. A. Berends, G. J. H. Burgers and H. van Dam, “On the Theoretical Problems in Constructing Interactions Involving Higher Spin Massless Particles,” Nucl. Phys. B 260, 295-322 (1985) doi:10.1016/0550-3213(85)90074-4
-
[9]
L ∞ Algebras and Field Theory,
O. Hohm and B. Zwiebach, “L ∞ Algebras and Field Theory,” Fortsch. Phys.65, no.3-4, 1700014 (2017) doi:10.1002/prop.201700014 [arXiv:1701.08824 [hep-th]]
-
[10]
Selected topics in string field theory and physics of D-branes,
J. Voˇ smera, “Selected topics in string field theory and physics of D-branes,”
-
[11]
Wilsonian Effective Action of Superstring Theory,
A. Sen, “Wilsonian Effective Action of Superstring Theory,” JHEP01, 108 (2017) doi:10.1007/JHEP01(2017)108 [arXiv:1609.00459 [hep-th]]
-
[12]
Correlation functions of scalar field theories from homotopy algebras,
Y. Okawa, “Correlation functions of scalar field theories from homotopy algebras,” JHEP05(2024), 040 doi:10.1007/JHEP05(2024)040 [arXiv:2203.05366 [hep-th]]
-
[13]
Correlation Functions Involving Dirac Fields from Homotopy Algebras I: The Free Theory,
K. Konosu and Y. Okawa, “Correlation Functions Involving Dirac Fields from Homotopy Algebras I: The Free Theory,” PTEP2025(2025) no.3, 033B10 doi:10.1093/ptep/ptaf027 [arXiv:2305.11634 [hep-th]]
-
[14]
Nonperturbative correlation functions from homotopy algebras,
K. Konosu and Y. Okawa, “Nonperturbative correlation functions from homotopy algebras,” JHEP01(2025), 152 doi:10.1007/JHEP01(2025)152 [arXiv:2405.10935 [hep-th]]
-
[15]
The LSZ reduction formula from homotopy algebras,
K. Konosu, Y. Okawa, S. Shibuya and J. Totsuka-Yoshinaka, “The LSZ reduction formula from homotopy algebras,” [arXiv:2504.08653 [hep-th]]
-
[16]
L∞-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism,
B. Jurˇ co, L. Raspollini, C. S¨ amann and M. Wolf, “L∞-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism,” Fortsch. Phys.67(2019) no.7, 1900025 doi:10.1002/prop.201900025 [arXiv:1809.09899 [hep-th]]. 32
-
[17]
On identically closed forms locally constructed from a field,
R. M. Wald,“On identically closed forms locally constructed from a field,”J. Math. Phys.31, no.10, 2378 (1990) doi:10.1063/1.528839
-
[18]
Some properties of Noether charge and a pro- posal for dynamical black hole entropy,
V. Iyer and R. M. Wald, “Some properties of Noether charge and a pro- posal for dynamical black hole entropy,”Phys. Rev. D50, 846-864 (1994) doi:10.1103/PhysRevD.50.846 [arXiv:gr-qc/9403028 [gr-qc]]
-
[20]
Covariant phase space andL ∞algebras,
V. Bernardes, T. Erler and A. H. Fırat, “Covariant phase space andL ∞algebras,”JHEP09, 057 (2025) doi:10.1007/JHEP09(2025)057 [arXiv:2506.20706 [hep-th]]
-
[21]
Symplectic structure in open string field theory. Part I. Rolling tachyons,
V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory. Part I. Rolling tachyons,” JHEP02(2026), 063 doi:10.1007/JHEP02(2026)063 [arXiv:2511.03777 [hep-th]]
-
[22]
Symplectic structure in open string field theory. Part II. Sliding lump,
V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory. Part II. Sliding lump,” JHEP02(2026), 064 doi:10.1007/JHEP02(2026)064 [arXiv:2511.15781 [hep-th]]
-
[23]
Symplectic structure in open string field theory III: Electric field,
V. Bernardes, T. Erler and A. H. Fırat, “Symplectic structure in open string field theory III: Electric field,” [arXiv:2604.01273 [hep-th]]
-
[24]
Conformal four point functions and the operator product expansion
G. Barnich and F. Brandt, “Covariant theory of asymptotic symmetries, conserva- tion laws and central charges,” Nucl. Phys. B633(2002), 3-82 doi:10.1016/S0550- 3213(02)00251-1 [arXiv:hep-th/0111246 [hep-th]]
-
[25]
G. Comp` ere and A. Fiorucci, “Advanced Lectures on General Relativity,” [arXiv:1801.07064 [hep-th]]
-
[26]
I. M. Anderson,Introduction to the Variational Bicomplex, inMathematical As- pects of Classical Field Theory, Contemporary Mathematics, Vol. 132, AMS (1992), pp. 51–73
1992
-
[27]
A Second Law for Higher Curvature Gravity,
A. C. Wall,“A Second Law for Higher Curvature Gravity,”Int. J. Mod. Phys. D24 (2015) no.12, 1544014 doi:10.1142/S0218271815440149 [arXiv:1504.08040 [gr-qc]]
-
[28]
Holographic Entanglement Entropy for General Higher Derivative Grav- ity,
X. Dong,“Holographic Entanglement Entropy for General Higher Derivative Grav- ity,” JHEP01(2014), 044 doi:10.1007/JHEP01(2014)044 [arXiv:1310.5713 [hep- th]]
-
[29]
Causal structure of higher curvature gravity,
M. Ali and V. Suneeta, “Causal structure of higher curvature gravity,”Phys. Rev. D112(2025) no.2, 024063 doi:10.1103/pzdl-crjb [arXiv:2502.16527 [hep-th]]
-
[30]
Properties of dynamical black hole entropy,
M. R. Visser and Z. Yan, “Properties of dynamical black hole entropy,” JHEP10 (2024), 029 doi:10.1007/JHEP10(2024)029 [arXiv:2403.07140 [hep-th]]
-
[31]
Entropy of dynamical black holes,
S. Hollands, R. M. Wald and V. G. Zhang, “Entropy of dynamical black holes,” Phys. Rev. D110(2024) no.2, 024070 doi:10.1103/PhysRevD.110.024070 [arXiv:2402.00818 [hep-th]]. 33
-
[32]
C. Chiaffrino and I. Sachs, “QFT with stubs,” JHEP06(2022), 120 doi:10.1007/JHEP06(2022)120 [arXiv:2108.04312 [hep-th]]
-
[33]
Open string field theory with stubs,
M. Schnabl and G. Stettinger, “Open string field theory with stubs,” JHEP07 (2023), 032 doi:10.1007/JHEP07(2023)032 [arXiv:2301.13182 [hep-th]]
-
[34]
More on stubs in open string field theory,
M. Schnabl and G. Stettinger, “More on stubs in open string field theory,” JHEP 02(2025), 017 doi:10.1007/JHEP02(2025)017 [arXiv:2402.00308 [hep-th]]
-
[35]
Sliver frame stubs in open string field theory via auxiliary fields,
G. Stettinger, “Sliver frame stubs in open string field theory via auxiliary fields,” Phys. Rev. D111(2025) no.10, 106019 doi:10.1103/PhysRevD.111.106019 [arXiv:2410.16228 [hep-th]]
-
[36]
Open string stub as an auxiliary string field,
H. Erbin and A. H. Fırat, “Open string stub as an auxiliary string field,” SciPost Phys.17(2024) no.2, 044 doi:10.21468/SciPostPhys.17.2.044 [arXiv:2308.08587 [hep-th]]
-
[37]
Adding stubs to quan- tum string field theories,
C. Maccaferri, R. Poletti, A. Ruffino and B. Valsesia, “Adding stubs to quan- tum string field theories,” JHEP08(2024), 005 doi:10.1007/JHEP08(2024)005 [arXiv:2403.10471 [hep-th]]
-
[38]
Homotopy Classification of Bosonic String Field The- ory,
K. M¨ unster and I. Sachs, “Homotopy Classification of Bosonic String Field The- ory,” Commun. Math. Phys.330(2014), 1227-1262 doi:10.1007/s00220-014-2027-8 [arXiv:1208.5626 [hep-th]]
-
[39]
Closed String Cohomology in Open String Field Theory,
N. Moeller and I. Sachs, “Closed String Cohomology in Open String Field Theory,” JHEP07(2011), 022 doi:10.1007/JHEP07(2011)022 [arXiv:1010.4125 [hep-th]]
-
[40]
Boundary modes in string field theory,
C. Maccaferri, R. Poletti, A. Ruffino and J. Voˇ smera, “Boundary modes in string field theory,”JHEP06, 108 (2025)doi:10.1007/JHEP06(2025)108 [arXiv:2502.19373 [hep-th]]
-
[41]
Gauge-invariant action for free string field theory with boundary,
C. Maccaferri, A. Ruffino and J. Voˇ smera, “Gauge-invariant action for free string field theory with boundary,” JHEP01(2026), 161 doi:10.1007/JHEP01(2026)161 [arXiv:2506.05969 [hep-th]]
-
[42]
Covariant phase space with boundaries,
D. Harlow and J. Q. Wu, “Covariant phase space with boundaries,” JHEP10 (2020), 146 doi:10.1007/JHEP10(2020)146 [arXiv:1906.08616 [hep-th]]
-
[43]
Boundary terms in string field theory,
A. H. Fırat and R. A. Mamade, “Boundary terms in string field theory,” JHEP02 (2025), 058 doi:10.1007/JHEP02(2025)058 [arXiv:2411.16673 [hep-th]]
-
[44]
A boundary term for open string field theory,
G. Stettinger, “A boundary term for open string field theory,” JHEP05(2025), 226 doi:10.1007/JHEP05(2025)226 [arXiv:2411.15123 [hep-th]]
-
[45]
Initial value problem in string- inspired nonlocal field theory,
H. Erbin, A. H. Fırat and B. Zwiebach, “Initial value problem in string- inspired nonlocal field theory,” JHEP01(2022), 167 doi:10.1007/JHEP01(2022)167 [arXiv:2111.03672 [hep-th]]
-
[46]
A General definition of ’conserved quantities’ in general relativity and other theories of gravity,
R. M. Wald and A. Zoupas, “A General definition of ’conserved quantities’ in general relativity and other theories of gravity,” Phys. Rev. D61(2000), 084027 doi:10.1103/PhysRevD.61.084027 [arXiv:gr-qc/9911095 [gr-qc]]. 34
-
[47]
Remarks on entanglement entropy in string theory,
V. Balasubramanian and O. Parrikar, “Remarks on entanglement entropy in string theory,” Phys. Rev. D97(2018) no.6, 066025 doi:10.1103/PhysRevD.97.066025 [arXiv:1801.03517 [hep-th]]
-
[48]
E. Witten, “APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory,” Rev. Mod. Phys.90(2018) no.4, 045003 doi:10.1103/RevModPhys.90.045003 [arXiv:1803.04993 [hep-th]]
-
[49]
Large N algebras and generalized entropy,
V. Chandrasekaran, G. Penington and E. Witten, “Large N algebras and generalized entropy,” JHEP04(2023), 009 doi:10.1007/JHEP04(2023)009 [arXiv:2209.10454 [hep-th]]
-
[50]
Generalized entropy in higher curvature gravity and entropy of algebra of observables,
M. Ali and V. Suneeta, “Generalized entropy in higher curvature gravity and entropy of algebra of observables,” Phys. Rev. D108(2023) no.6, 066017 doi:10.1103/PhysRevD.108.066017 [arXiv:2307.00241 [hep-th]]
-
[51]
Local generalized second law in crossed product construc- tions,
M. Ali and V. Suneeta, “Local generalized second law in crossed product construc- tions,” Phys. Rev. D111(2025) no.2, 024015 doi:10.1103/PhysRevD.111.024015 [arXiv:2404.00718 [hep-th]]
-
[52]
Conserved charges andL ∞ algebras
V. Bernardes, T. Erler and A. H. Fırat, ”“Conserved charges andL ∞ algebras”to appear 35
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.