Optimal Constraint Projection for Hyperbolic Evolution Systems
Michael Holst, Lee Lindblom, Robert Owen, Harald P. Pfeiffer, Mark A., Scheel, and Lawrence E. Kidder

TL;DR
This paper introduces optimal projection techniques for symmetric hyperbolic systems to effectively control constraint violations in numerical simulations, especially in black-hole backgrounds, by combining constraint projection with boundary conditions.
Contribution
It develops a method for optimal constraint projection in hyperbolic systems and demonstrates its effectiveness in numerical simulations involving scalar fields and black-hole backgrounds.
Findings
Constraint violations are effectively controlled by constraint projection.
Boundary violations are controlled by boundary-preserving conditions.
Solutions converge when combining projection with boundary conditions.
Abstract
Techniques are developed for projecting the solutions of symmetric hyperbolic evolution systems onto the constraint submanifold (the constraint-satisfying subset of the dynamical field space). These optimal projections map a field configuration to the ``nearest'' configuration in the constraint submanifold, where distances between configurations are measured with the natural metric on the space of dynamical fields. The construction and use of these projections is illustrated for a new representation of the scalar field equation that exhibits both bulk and boundary generated constraint violations. Numerical simulations on a black-hole background show that bulk constraint violations cannot be controlled by constraint-preserving boundary conditions alone, but are effectively controlled by constraint projection. Simulations also show that constraint violations entering through boundaries…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
