pith. sign in

arxiv: 2606.05204 · v1 · pith:HRUVFCM2new · submitted 2026-05-22 · 🧮 math-ph · gr-qc· hep-th· math.MP· physics.comp-ph

xCPS: an xAct package for covariant phase space, Noether charges, and entropy

Juan Margalef-Bentabol This is my paper

Pith reviewed 2026-06-30 13:59 UTC · model grok-4.3

classification 🧮 math-ph gr-qchep-thmath.MPphysics.comp-ph
keywords covariant phase spaceNoether chargesWald entropyxAct packagesymplectic currentsvertical exterior calculusgauge theorieshigher-derivative gravity
0
0 comments X

The pith

xCPS automates derivation of Noether charges, symplectic currents, and Wald entropy from generic Lagrangians.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces xCPS, a package built on xAct for symbolic tensor algebra in the covariant phase space approach to field theories. From any given Lagrangian the software produces the equations of motion and the associated symplectic current. It then tests whether an infinitesimal field transformation qualifies as a Noether symmetry and, when it does, returns the corresponding charge; in many cases it also identifies whether a tensor expression is a total divergence and locates its potential. These operations are carried out by an implementation of vertical exterior calculus that uses a graded supercommutative wedge product together with vertical operators, allowing the same routines to handle gauge theories and higher-derivative gravitational models.

Core claim

xCPS implements vertical exterior calculus through a graded, supercommutative wedge product and vertical operators, thereby automating the covariant phase space formalism so that equations of motion, symplectic currents, Noether symmetries and charges, divergence potentials, and thermodynamic quantities such as Wald entropy can be obtained directly from a generic Lagrangian.

What carries the argument

Vertical exterior calculus realized via a graded supercommutative wedge product and vertical operators that perform the symbolic manipulations required by the covariant phase space formalism.

If this is right

  • Equations of motion and symplectic currents are obtained automatically from an arbitrary Lagrangian.
  • Infinitesimal transformations can be tested for Noether symmetry and the associated charge extracted.
  • Tensorial expressions can be checked for being divergences and their potentials recovered when they exist.
  • Wald entropy and other thermodynamic quantities become derivable for higher-derivative gravity models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The package lowers the barrier to applying covariant phase space methods to new higher-derivative or modified gravity Lagrangians that would otherwise require lengthy hand calculation.
  • Routine verification of thermodynamic consistency for black-hole solutions in non-standard theories becomes feasible without bespoke code.
  • The same vertical-calculus engine could be reused as a building block for other formalisms that rely on graded differential forms.

Load-bearing premise

The package's vertical exterior calculus correctly reproduces the algebraic structure of the covariant phase space formalism without introducing errors in the symbolic operations.

What would settle it

Running xCPS on Einstein-Hilbert gravity and comparing its computed Noether charge and Wald entropy against the analytically known expressions; any mismatch would falsify the claim of faithful automation.

read the original abstract

xCPS is an xAct tensor algebra package for symbolic computations within the covariant phase space formalism of field theories. From a generic Lagrangian, xCPS automates the derivation of equations of motion and symplectic currents. It systematically determines whether an infinitesimal transformation in the space of fields is a Noether symmetry and computes the associated Noether charge. Additionally, xCPS can in many cases determine whether a tensorial expression is a divergence and, if so, find its divergence potential. By implementing vertical exterior calculus through a graded, supercommutative wedge product and vertical operators, the package enables efficient computations in gauge theories and higher-derivative models of gravity, including the derivation of thermodynamic quantities like Wald's entropy. xCPS is open-source under the GPL license and available at https://github.com/juanmargalef.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript introduces xCPS, an open-source xAct package for symbolic computations in the covariant phase space formalism. From a generic Lagrangian, it automates derivation of equations of motion and symplectic currents, determines whether infinitesimal field transformations are Noether symmetries and computes the associated charges, identifies divergence potentials for tensorial expressions, and enables computation of thermodynamic quantities such as Wald entropy via an implementation of vertical exterior calculus using a graded supercommutative wedge product and vertical operators.

Significance. If the implementation is free of algebraic errors in the graded wedge product and vertical operators, the package would provide a useful addition to the xAct ecosystem for automating Noether charge and symplectic current calculations in gauge theories and higher-derivative gravity, reducing manual effort in these computations.

major comments (2)
  1. [Implementation description] The description of the vertical exterior calculus implementation (graded supercommutative wedge product and vertical operators) supplies no independent algebraic verification, test cases against known results, or coverage of edge cases such as fermionic fields and p-form gauge symmetries. This is load-bearing for the central claim that the package correctly automates Noether charges and symplectic currents.
  2. [Examples section] Only selected examples are provided rather than an exhaustive test suite or explicit comparisons to analytically known charges/entropy expressions in standard models (e.g., Einstein gravity or Maxwell theory). Without such checks, the correctness of the automation from generic Lagrangians cannot be assessed.
minor comments (1)
  1. [Availability statement] The GitHub repository link is given but the manuscript lacks explicit installation instructions, dependency details, or minimal working code snippets to reproduce the claimed functionality.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript introducing the xCPS package. The comments correctly identify areas where additional verification would strengthen the presentation. We address each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

  1. Referee: [Implementation description] The description of the vertical exterior calculus implementation (graded supercommutative wedge product and vertical operators) supplies no independent algebraic verification, test cases against known results, or coverage of edge cases such as fermionic fields and p-form gauge symmetries. This is load-bearing for the central claim that the package correctly automates Noether charges and symplectic currents.

    Authors: We agree that the manuscript would be improved by including explicit algebraic checks and additional test cases for the graded wedge product and vertical operators. The implementation follows the standard definitions in the covariant phase space literature, and the open-source code permits direct inspection. In the revised version we will add a dedicated verification subsection with comparisons to known results and will explicitly state the current scope (bosonic tensor fields) while noting that fermionic fields and p-form gauge symmetries lie outside the initial implementation. revision: yes

  2. Referee: [Examples section] Only selected examples are provided rather than an exhaustive test suite or explicit comparisons to analytically known charges/entropy expressions in standard models (e.g., Einstein gravity or Maxwell theory). Without such checks, the correctness of the automation from generic Lagrangians cannot be assessed.

    Authors: The examples were selected to illustrate the main capabilities across gauge theories and higher-derivative gravity. We recognize that direct side-by-side comparisons with analytically known expressions would increase confidence. The revised manuscript will expand the examples section to include explicit computations of Noether charges and Wald entropy for Einstein gravity and Maxwell theory, together with the corresponding analytic expressions for comparison. revision: yes

Circularity Check

0 steps flagged

Direct implementation of established covariant phase space formalism

full rationale

The paper describes a software package that automates known differential-geometric operations from the covariant phase space formalism (Noether charges, symplectic currents, Wald entropy) via vertical exterior calculus on top of the existing xAct framework. No derivation chain reduces a claimed result to a fitted parameter, self-defined quantity, or self-citation whose validity depends on the present work. The central claim is that the implementation faithfully reproduces standard structures; this is an engineering assertion about symbolic manipulation rather than a mathematical prediction derived from its own outputs. No load-bearing step matches any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The central claim rests on the correctness of the symbolic algorithms rather than on new physical axioms, free parameters, or invented entities; the work draws on standard structures from differential geometry and the covariant phase space formalism already present in the literature.

pith-pipeline@v0.9.1-grok · 5676 in / 1133 out tokens · 49603 ms · 2026-06-30T13:59:12.777407+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages · 2 internal anchors

  1. [1]

    The variational bicomplex

    Ian M Anderson. The variational bicomplex. Technical report, Utah State University, 1989. Available athttp://math.usu.edu/~fg_mp

    1989

  2. [2]

    Martín-García, and Barry Wardell

    Thomas Bäckdahl, José M. Martín-García, and Barry Wardell. TexAct: TeX code to format xAct expressions.github.com/xAct-contrib/TexAct. Mathematica package

  3. [3]

    Covariant phase space for gravity with boundaries: metric versus tetrad formulations.Physical Review D, 104(4):044048, 2021

    J Fernando Barbero G, Juan Margalef-Bentabol, Valle Varo, and Eduardo JS Villaseñor. Covariant phase space for gravity with boundaries: metric versus tetrad formulations.Physical Review D, 104(4):044048, 2021

    2021

  4. [4]

    Palatini gravity with nonmetricity, torsion, and boundaries in metric and connection variables.Physical Review D, 104(4):044046, 2021

    J Fernando Barbero G, Juan Margalef-Bentabol, Valle Varo, and Eduardo JS Villaseñor. Palatini gravity with nonmetricity, torsion, and boundaries in metric and connection variables.Physical Review D, 104(4):044046, 2021

    2021

  5. [5]

    On-shell equivalence of general relativity and Holst theories with nonmetricity, torsion, and boundaries.Physical Review D, 105(6):064066, 2022

    J Fernando Barbero G, Juan Margalef-Bentabol, Valle Varo, and Eduardo JS Villaseñor. On-shell equivalence of general relativity and Holst theories with nonmetricity, torsion, and boundaries.Physical Review D, 105(6):064066, 2022. 31

    2022

  6. [6]

    BMS charge algebra.Journal of High Energy Physics, 2011(12):1– 22, 2011

    Glenn Barnich and Cedric Troessaert. BMS charge algebra.Journal of High Energy Physics, 2011(12):1– 22, 2011

    2011

  7. [7]

    Gravitational waves in general relativity, VII

    Hermann Bondi, MG Julian Van der Burg, and AW Kenneth Metzner. Gravitational waves in general relativity, VII. waves from axi-symmetric isolated system.Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 269(1336):21–52, 1962

    1962

  8. [8]

    Martín-García, and Guillermo A

    David Brizuela, José M. Martín-García, and Guillermo A. Mena Marugán. xPert: Computer algebra for metric perturbation theory.General Relativity and Gravitation, 41:2415–2431, 2009

    2009

  9. [9]

    Evidence for a New Soft Graviton Theorem

    Freddy Cachazo and Andrew Strominger. Evidence for a new soft graviton theorem.arXiv preprint arXiv:1404.4091, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    Asymptotic symmetries and subleading soft graviton theorem

    Miguel Campiglia and Alok Laddha. Asymptotic symmetries and subleading soft graviton theorem. Physical Review D, 90(12):124028, 2014

    2014

  11. [11]

    The Weyl BMS group and Einstein’s equations.Journal of High Energy Physics, 2021(7):170, 2021

    Laurent Freidel, Roberto Oliveri, Daniele Pranzetti, and Simone Speziale. The Weyl BMS group and Einstein’s equations.Journal of High Energy Physics, 2021(7):170, 2021

    2021

  12. [12]

    Alfonso García-Parrado and Leo C. Stein. xTerior: Exterior calculus in Mathematica. github.com/xAct-contrib/xTerior. Mathematica package

  13. [13]

    Some properties of the noether charge and a proposal for dynamical black hole entropy.Physical Review D, 50(2):846, 1994

    Vivek Iyer and Robert M Wald. Some properties of the noether charge and a proposal for dynamical black hole entropy.Physical Review D, 50(2):846, 1994

    1994

  14. [14]

    Martín-García

    Kevin Kiely, Barry Wardell, Adrian Ottewill, and José M. Martín-García. TInvar: Canonicalization of Riemann expressions with free indices.xact.es. Mathematica package, part of the xAct bundle

  15. [15]

    Local symmetries and constraints.Journal of Mathematical Physics, 31(3):725–743, 1990

    Joohan Lee and Robert M Wald. Local symmetries and constraints.Journal of Mathematical Physics, 31(3):725–743, 1990

    1990

  16. [16]

    Towards general relativity through parametrized theories

    Juan Margalef-Bentabol. Towards general relativity through parametrized theories.arXiv preprint arXiv:1807.05534, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  17. [17]

    xCPS: an xAct package for covariant phase space, Noether charges, and entropy.github.com/juanmargalef/xCPS, 2026

    Juan Margalef-Bentabol and Laura Sánchez Cotta. xCPS: an xAct package for covariant phase space, Noether charges, and entropy.github.com/juanmargalef/xCPS, 2026. Mathematica package

    2026

  18. [18]

    Geometric formulation of the covariant phase space methods with boundaries.Physical Review D, 103(2):025011, 2021

    Juan Margalef-Bentabol and Eduardo JS Villaseñor. Geometric formulation of the covariant phase space methods with boundaries.Physical Review D, 103(2):025011, 2021

    2021

  19. [19]

    Proof of the equivalence of the symplectic forms derived from the canonical and the covariant phase space formalisms.Physical Review D, 105(10):L101701, 2022

    Juan Margalef-Bentabol and Eduardo JS Villaseñor. Proof of the equivalence of the symplectic forms derived from the canonical and the covariant phase space formalisms.Physical Review D, 105(10):L101701, 2022

    2022

  20. [20]

    Martín-García

    José M. Martín-García. xPerm: fast index canonicalization for tensor computer algebra.Computer Physics Communications, 179:597–603, 2008

    2008

  21. [21]

    Rainer K. Sachs. Asymptotic symmetries in gravitational theory.Physical Review, 128(6):2851–2864, 1962

    1962

  22. [22]

    On identically closed forms locally constructed from a field.Journal of Mathematical Physics, 31(10):2378–2384, 1990

    Robert M Wald. On identically closed forms locally constructed from a field.Journal of Mathematical Physics, 31(10):2378–2384, 1990

    1990

  23. [23]

    Black hole entropy is the noether charge.Physical Review D, 48(8):R3427, 1993

    Robert M Wald. Black hole entropy is the noether charge.Physical Review D, 48(8):R3427, 1993

    1993

  24. [24]

    University of Chicago Press, 2010

    Robert M Wald.General relativity. University of Chicago Press, 2010

    2010

  25. [25]

    conserved quantities

    Robert M Wald and Andreas Zoupas. General definition of “conserved quantities” in general relativity and other theories of gravity.Physical Review D, 61(8):084027, 2000

    2000

  26. [26]

    Action principles and global geometry

    Gregg J Zuckerman. Action principles and global geometry. InMathematical aspects of string theory, pages 259–284. World Scientific, 1987

    1987

  27. [27]

    Covariant description of canonical formalism in geometrical theories

    Čedomir Crnković and Edward Witten. Covariant description of canonical formalism in geometrical theories. In Stephen W. Hawking and Werner Israel, editors,Three Hundred Years of Gravitation, pages 676–684. Cambridge University Press, 1987. 32

    1987