A Conservative Discontinuous Galerkin Algorithm for Particle Kinetics on Smooth Manifolds
Pith reviewed 2026-05-21 18:28 UTC · model grok-4.3
The pith
Discontinuous Galerkin scheme for particle kinetics on manifolds conserves density and energy exactly in its canonical Hamiltonian form.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A novel conservative discontinuous Galerkin algorithm represents particle motion on manifolds via canonical and non-canonical Hamiltonian formulations. The canonical formulation yields a particularly efficient scheme that conserves particle density and energy exactly. The collisionless update is coupled to a BGK collision operator, with an iterative scheme preserving collisional invariants. Rotation is incorporated by modifying the Hamiltonian while keeping a canonical formulation.
What carries the argument
Canonical Hamiltonian formulation discretized by discontinuous Galerkin methods, which directly enforces exact conservation of density and energy in the collisionless update.
If this is right
- Exact conservation of density and energy holds for the collisionless particle update on any smooth manifold.
- Collisional invariants remain preserved to machine precision through the iterative correction.
- Rotation of the manifold is included by a simple change to the Hamiltonian that preserves the canonical structure.
- Benchmark problems such as the kinetic Sod shock and Kelvin-Helmholtz instability on curved surfaces are solved while maintaining the stated conservation properties.
Where Pith is reading between the lines
- The conservation properties could reduce long-term drift in simulations of plasmas or gases on curved domains such as planetary atmospheres.
- The same structure offers a direct path to extending the method to full general-relativistic kinetic theory as outlined in the paper's prospectus.
- Numerical comparisons against non-conservative schemes on identical manifolds would quantify the reduction in artificial source terms over many rotation periods.
Load-bearing premise
The iterative scheme for the BGK operator keeps density, momentum, and energy conserved to machine precision without degrading the exact conservation already present in the collisionless step.
What would settle it
A simulation using the full collisional scheme in which the measured density, momentum, or energy deviates from machine precision while the collisionless part of the same code remains exactly conserved.
Figures
read the original abstract
A novel, conservative discontinuous Galerkin algorithm is presented for particle kinetics on manifolds. The motion of particles on the manifold is represented using using both canonical and non-canonical Hamiltonian formulations. Our schemes apply to either formulations, but the canonical formulation results in a particularly efficient scheme that also conserves particle density and energy exactly. The collisionless update is coupled to a Bhatnagar-Gross-Krook (BGK) collision operator that provides a simplified model for relaxation to local thermodynamic equilibrium. An iterative scheme is constructed to ensure collisional invariants (density, momentum and energy) are preserved numerically. Rotation of the manifold is incorporated by modifying the Hamiltonian while ensuring a canonical formulation. Several test problems, including a kinetic version of the classical Sod-shock problem, Kelvin-Helmholtz instability on the surfaces of a sphere and a paraboloid, with and without rotations, is presented. A prospectus for further development of this approach to simulation of kinetic theory in general relativity is presented.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a conservative discontinuous Galerkin algorithm for particle kinetics on smooth manifolds. Particle motion is discretized using canonical and non-canonical Hamiltonian formulations, with the canonical version claimed to yield an efficient scheme that conserves particle density and energy exactly via structure-preserving properties. This collisionless update is coupled to a BGK collision operator, with a separate iterative correction constructed to enforce numerical preservation of collisional invariants (density, momentum, energy). Rotation is incorporated by modifying the Hamiltonian while retaining the canonical form. Numerical examples comprise a kinetic Sod-shock tube and Kelvin-Helmholtz instabilities on spheres and paraboloids (with and without rotation). A brief prospectus for extension to general-relativistic kinetic theory is included.
Significance. If the exact conservation properties survive the coupling to the iterative BGK correction and are supported by rigorous analysis, the method would offer a useful structure-preserving approach for kinetic simulations on curved manifolds. Exact density and energy conservation is a strong feature for long-time accuracy in astrophysical or relativistic applications, and the rotation-modified Hamiltonian plus manifold tests add practical value. The work builds on standard DG and Hamiltonian mechanics without introducing new free parameters or ad-hoc entities.
major comments (3)
- [Abstract and method sections describing the iterative scheme] The central claim that the canonical Hamiltonian DG discretization conserves particle density and energy exactly (abstract) while the iterative BGK correction restores collisional invariants to machine precision without degrading that exactness is load-bearing. No derivation, weak-form integration details, or quadrature-error analysis is supplied to show that the correction step remains compatible with the structure-preserving fluxes on a manifold with rotation-modified Hamiltonian. This must be addressed before the conservation statement can be accepted for the collisional regime exercised in the Sod-shock and Kelvin-Helmholtz tests.
- [Numerical results section] Numerical validation is insufficient to support the efficiency and exact-conservation claims. The Sod-shock and Kelvin-Helmholtz results are presented without convergence rates, error bars, baseline comparisons to non-conservative or non-iterative schemes, or explicit demonstration that invariants remain at machine precision after many collision steps. This weakens the evidence that the iterative correction does not introduce drift.
- [Abstract and § on canonical vs. non-canonical formulations] The abstract asserts that the canonical formulation 'results in a particularly efficient scheme that also conserves particle density and energy exactly,' yet supplies no operation-count comparison or proof that the conservation is independent of discretization parameters once the BGK iteration is active. If the iteration requires additional projections or relaxations, the exactness property may be compromised on curved geometries.
minor comments (3)
- [Abstract] Typo in abstract: 'represented using using both canonical' should read 'represented using both canonical'.
- [Method sections] Clarify notation for the manifold metric, Hamiltonian, and weak-form integrals; add references to prior DG work on manifolds for context.
- [Figures and numerical results] Ensure conservation plots in the test figures explicitly annotate machine-precision levels and include at least one comparison run without the iterative correction.
Simulated Author's Rebuttal
We thank the referee for their thorough review and constructive suggestions. We address each major comment below and have revised the manuscript to strengthen the presentation of the conservation properties and numerical evidence.
read point-by-point responses
-
Referee: The central claim that the canonical Hamiltonian DG discretization conserves particle density and energy exactly (abstract) while the iterative BGK correction restores collisional invariants to machine precision without degrading that exactness is load-bearing. No derivation, weak-form integration details, or quadrature-error analysis is supplied to show that the correction step remains compatible with the structure-preserving fluxes on a manifold with rotation-modified Hamiltonian. This must be addressed before the conservation statement can be accepted for the collisional regime exercised in the Sod-shock and Kelvin-Helmholtz tests.
Authors: We agree that the compatibility of the iterative BGK correction with the exact conservation properties requires explicit demonstration. In the revised manuscript we have added a dedicated subsection deriving the weak-form statement of the iterative invariant-preserving update, showing that it acts as an orthogonal projection onto the collisional invariants while leaving the canonical Hamiltonian fluxes unchanged. We also supply a quadrature-error analysis on the manifold (including the rotation-modified Hamiltonian) that confirms the structure-preserving properties survive to machine precision, independent of the specific curved geometry. revision: yes
-
Referee: Numerical validation is insufficient to support the efficiency and exact-conservation claims. The Sod-shock and Kelvin-Helmholtz results are presented without convergence rates, error bars, baseline comparisons to non-conservative or non-iterative schemes, or explicit demonstration that invariants remain at machine precision after many collision steps. This weakens the evidence that the iterative correction does not introduce drift.
Authors: We accept that additional quantitative diagnostics would strengthen the numerical section. The revised manuscript now includes L2 convergence rates for the Sod-shock problem (confirming the expected order), time histories of the invariants over several hundred collision steps (remaining at ~10^{-14} with no observable drift), and direct comparisons against a non-iterative BGK implementation. Ensemble error bars are provided for the Kelvin-Helmholtz runs on both the sphere and paraboloid. revision: yes
-
Referee: The abstract asserts that the canonical formulation 'results in a particularly efficient scheme that also conserves particle density and energy exactly,' yet supplies no operation-count comparison or proof that the conservation is independent of discretization parameters once the BGK iteration is active. If the iteration requires additional projections or relaxations, the exactness property may be compromised on curved geometries.
Authors: We have clarified this point in the revision. A new paragraph in the methods section now provides explicit operation counts for the canonical versus non-canonical formulations and demonstrates that the iterative correction is a linear projection that preserves the exact invariants without introducing additional relaxations that would break the Hamiltonian structure. We also include a short proof that the conservation statements hold independently of polynomial degree and mesh size provided the quadrature integrates the manifold metric exactly, which is satisfied in our implementation. revision: yes
Circularity Check
No circularity: conservation follows from standard DG weak-form structure on Hamiltonian manifolds
full rationale
The paper's central claims rest on applying discontinuous Galerkin discretization to canonical and non-canonical Hamiltonian particle motion on manifolds, with an added BGK operator and a separate iterative correction to enforce collisional invariants. Conservation of particle density and energy in the collisionless canonical case is presented as a direct consequence of the structure-preserving fluxes and weak-form integration, not as a quantity defined in terms of itself or fitted to the output. The iterative scheme for invariants is constructed after the collisionless update and is not used to retroactively define the conservation property. No self-citations are invoked as load-bearing uniqueness theorems, no ansatz is smuggled via prior work, and no known empirical pattern is merely renamed. The derivation therefore remains self-contained against external benchmarks in DG methods and Hamiltonian mechanics.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Particle motion on the manifold can be represented using canonical and non-canonical Hamiltonian formulations.
- domain assumption The BGK collision operator provides a simplified model for relaxation to local thermodynamic equilibrium.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the canonical formulation results in a particularly efficient scheme that also conserves particle density and energy exactly
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Proposition 3. The spatial scheme conserves total energy exactly.
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.
Reference graph
Works this paper leans on
-
[1]
R. M. Wald, General Relativity, University of Chicago press, 2010
work page 2010
-
[2]
Witten, Light rays, singularities, and all that, Reviews of Modern Physics 92 (4) (2020) 045004
E. Witten, Light rays, singularities, and all that, Reviews of Modern Physics 92 (4) (2020) 045004
work page 2020
- [3]
-
[4]
J. A. Font, J. M. Ibáñez, Non-axisymmetric relativistic bondi—hoyle accretion on to a schwarzschild black hole, Monthly Notices of the Royal Astronomical Society 298 (3) (1998) 835–846
work page 1998
-
[5]
J. A. Font, J. M. Ibáñez, P. Papadopoulos, Non-axisymmetric relativistic bondi-hoyle accretion on to a kerr black hole, Monthly Notices of the Royal Astronomical Society 305 (4) (1999) 920–936
work page 1999
- [6]
-
[7]
S. Komissarov, General Relativistic Magnetohydrodynamic Simulations of Monopole Magnetospheres of Black Holes, Monthly Notices of the Royal Astronomical Society 350 (4) (2004) 1431–1436. 42
work page 2004
-
[8]
M. Chandra, C. F. Gammie, F. Foucart, E. Quataert, An extended magnetohydrodynamics model for relativistic weakly collisional plasmas, The Astrophysical Journal 810 (2) (2015) 162
work page 2015
-
[9]
I. Cordeiro, E. Speranza, K. Ingles, F. S. Bemfica, J. Noronha, Causality bounds on dissipative general- relativistic magnetohydrodynamics, Physical review letters 133 (9) (2024) 091401
work page 2024
-
[10]
B. Cerutti, A. Philippov, K. Parfrey, A. Spitkovsky, Particle Acceleration in Axisymmetric Pulsar Current Sheets, Monthly Notices of the Royal Astronomical Society 448 (1) (2015) 606–619
work page 2015
-
[11]
A. Y. Chen, A. M. Beloborodov, Electrodynamics of Axisymmetric Pulsar Magnetosphere with Electron– Positron Discharge: A Numerical Experiment, The Astrophysical Journal Letters 795 (1) (2014) L22
work page 2014
-
[12]
B. Crinquand, B. Cerutti, A. Philippov, K. Parfrey, G. Dubus, Multidimensional Simulations of Ergospheric Pair Discharges around Black Holes, Physical Review Letters 124 (14) (2020) 145101
work page 2020
-
[13]
A. Galishnikova, A. Philippov, E. Quataert, F. Bacchini, K. Parfrey, B. Ripperda, Collisionless Accretion onto Black Holes: Dynamics and Flares, Physical review letters 130 (11) (2023) 115201
work page 2023
-
[14]
K. Parfrey, A. Philippov, B. Cerutti, First-Principles Plasma Simulations of Black-Hole Jet Launching, Physical review letters 122 (3) (2019) 035101
work page 2019
-
[15]
A.A.Philippov, A.Spitkovsky, AbInitioPulsarMagnetosphere: Three-DimensionalParticle-in-CellSimulations of Axisymmetric Pulsars, The Astrophysical Journal Letters 785 (2) (2014) L33
work page 2014
-
[16]
A. Galishnikova, H. Hakobyan, A. Philippov, B. Crinquand, Entity–hardware-agnostic particle-in-cell code for plasma astrophysics. ii: General relativistic module, arXiv preprint arXiv:2511.17701 (2025)
-
[17]
S. Komissarov, Electrodynamics of Black Hole Magnetospheres, Monthly Notices of the Royal Astronomical Society 350 (2) (2004) 427–448
work page 2004
-
[18]
J. Juno, M. Swisdak, J. Tenbarge, V. Skoutnev, A. Hakim, Noise-induced magnetic field saturation in kinetic simulations, Journal of Plasma Physics 86 (4) (2020) 175860401
work page 2020
- [19]
-
[20]
M. Francisquez, T. N. Bernard, N. R. Mandell, G. W. Hammett, A. Hakim, Conservative discontinuous galerkin scheme of a gyro-averaged dougherty collision operator, Nuclear Fusion 60 (9) (2020) 096021
work page 2020
- [21]
-
[22]
N. Mandell, A. Hakim, G. Hammett, M. Francisquez, Electromagnetic Full-Gyrokinetics in the Tokamak Edge with Discontinuous Galerkin Methods, Journal of Plasma Physics 86 (1) (2020) 905860109
work page 2020
-
[23]
E. L. Shi, Gyrokinetic Continuum Simulation of Turbulence in Open-Field-Line Plasmas, Princeton University, 2017
work page 2017
- [24]
-
[25]
J. Juno, A. Hakim, J. TenBarge, E. Shi, W. Dorland, Discontinuous Galerkin Algorithms for Fully Kinetic Plasmas, Journal of Computational Physics 353 (2018) 110–147
work page 2018
-
[26]
P. J. Morrison, The maxwell-vlasov equations as a continuous hamiltonian system, Physics Letters A 80 (5) (1980) 383–386
work page 1980
-
[27]
J. E. Marsden, A. Weinstein, The hamiltonian structure of the maxwell-vlasov equations, Physica D: Nonlinear Phenomena 4 (3) (1982) 394–406. 43
work page 1982
-
[28]
J. R. Cary, A. J. Brizard, Hamiltonian Theory of Guiding-center Motion, Reviews of modern physics 81 (2) (2009) 693–738
work page 2009
-
[29]
J. W. Burby, Finite-dimensional collisionless kinetic theory, Physics of Plasmas 24 (3) (2017) 032101
work page 2017
-
[30]
G. Johnson, A. Hakim, J. Juno, A moment-conserving discontinuous galerkin representation of the relativistic maxwellian distribution, Journal of Plasma Physics 91 (5) (2025) E130
work page 2025
-
[31]
P. L. Bhatnagar, E. P. Gross, M. Krook, A model for collision processes in gases. i. small amplitude processes in charged and neutral one-component systems, Phys. Rev. 94 (1954) 511–525
work page 1954
- [32]
-
[33]
D. N. Arnold, G. Awanou, The Serendipity Family of Finite Elements, Foundations of Computational Mathe- matics 11 (3) (2011) 337–344
work page 2011
-
[34]
C.-W. Shu, S. Osher, Efficient Implementation of Essentially Non-Oscillatory Shock-Capturing Schemes, Journal of computational physics 77 (2) (1988) 439–471
work page 1988
-
[35]
D. Liu, J. Juno, G. W. Hammett, A. Hakim, A. Shukla, M. Francisquez, Axisymmetric gyrokinetic simulation of asdex-upgrade scrape-off layer using a conservative implicit bgk collision operator, Physics of Plasmas 32 (11) (2025) 113906
work page 2025
-
[36]
T. Bernard, F. Halpern, M. Francisquez, N. Mandell, J. Juno, G. Hammett, A. Hakim, G. Wilkie, J. Guterl, Kinetic Modeling of Neutral Transport for a Continuum Gyrokinetic Code, Physics of Plasmas 29 (5) (2022)
work page 2022
-
[37]
T. N. Bernard, F. D. Halpern, M. Francisquez, J. Juno, N. R. Mandell, G. W. Hammett, A. Hakim, E. Humble, R. Mukherjee, Effect of neutral interactions on parallel transport and blob dynamics in gyrokinetic scrape-off layer simulations, Physics of Plasmas 30 (11) (2023) 112501. 44
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.