- Open Access
Well-posed BSSN-type formulation for scalar-tensor theories of gravity with second-order field equations
Phys. Rev. D 113, 104001 – Published 4 May, 2026
DOI: https://doi.org/10.1103/fyvl-p35y
Abstract
Recent developments in the modified harmonic and modified puncture gauges have opened new possibilities for performing stable numerical evolutions beyond General Relativity. In this work, we utilize techniques developed in the aforementioned formalisms to derive a BSSN-type formalism compatible with certain classes of modified gravity theories. As an intermediate step, we also derived modified versions of the Z4 and Z3 formalisms, thereby completing the connection between these formalisms beyond General Relativity. We then test the robustness of the new modified BSSN formalism by simulating the dynamics of black hole systems and benchmarking the results against the modified CCZ4 formulation. These developments enable the exploration of theories beyond General Relativity in many well-known numerical relativity codes that use different versions of the puncture gauge approach.
Physics Subject Headings (PhySH)
Article Text
References (102)
- B. P. Abbott et al. (LIGO Scientific and Virgo Collaborations), Observation of gravitational waves from a binary black hole merger, Phys. Rev. Lett. 116, 061102 (2016).
- B. P. Abbott et al. (LIGO Scientific and Virgo Collaborations), GW170817: Observation of gravitational waves from a binary neutron star inspiral, Phys. Rev. Lett. 119, 161101 (2017).
- P. Amaro-Seoane et al. (LISA Collaboration), Laser interferometer space antenna, arXiv:1702.00786.
- M. Punturo et al., The Einstein telescope: A third-generation gravitational wave observatory, Classical Quantum Gravity 27, 194002 (2010).
- M. Maggiore et al. (ET Collaboration), Science case for the Einstein telescope, J. Cosmol. Astropart. Phys. 03 (2019) 050.
- D. Reitze et al., Cosmic Explorer: The U.S. Contribution to gravitational-wave astronomy beyond LIGO, Bull. Am. Astron. Soc. 51, 035 (2019).
- M. Alcubierre, Introduction to 3+1 Numerical Relativity (Oxford University Press, New York, 2008).
- T. W. Baumgarte and S. L. Shapiro, Numerical Relativity: Solving Einstein’s Equations on the Computer (Cambridge University Press, Cambridge, England, 2010).
- C. Bona, C. Palenzuela-Luque, and C. Bona-Casas, Elements of Numerical Relativity and Relativistic Hydrodynamics: From Einstein’s Equations to Astrophysical Simulations, Lecture Notes in Physics Vol. 783 (Springer, New York, 2009).
- T. W. Baumgarte and S. L. Shapiro, Numerical Relativity: Starting from Scratch (Cambridge University Press, Cambridge, England, 2021).
- M. Shibata, Numerical Relativity, 100 Years of General Relativity (World Scientific, Singapore, 2015), Vol. 1.
- D. Hilditch, An introduction to well-posedness and free-evolution, Int. J. Mod. Phys. A 28, 1340015 (2013).
- O. Sarbach and M. Tiglio, Continuum and discrete Initial-boundary-value problems and Einstein’s field equations, Living Rev. Relativity 15, 9 (2012).
- J. Hadamard, Sur les Problèmes aux derivées partielles et leur signification Physique (Princeton University Bulletin, Princeton, 1902) p. 49.
- Y. Choquet-Bruhat, Théorème d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires, Acta Math. 88, 141 (1952).
- M. Shibata and T. Nakamura, Evolution of three-dimensional gravitational waves: Harmonic slicing case, Phys. Rev. D 52, 5428 (1995).
- T. W. Baumgarte and S. L. Shapiro, On the numerical integration of Einstein’s field equations, Phys. Rev. D 59, 024007 (1998).
- T. Nakamura, K. Oohara, and Y. Kojima, General relativistic collapse to black holes and gravitational waves from black holes, Prog. Theor. Phys. Suppl. 90, 1 (1987).
- C. Bona, T. Ledvinka, C. Palenzuela, and M. Zacek, General covariant evolution formalism for numerical relativity, Phys. Rev. D 67, 104005 (2003).
- C. Gundlach, J. M. Martin-Garcia, G. Calabrese, and I. Hinder, Constraint damping in the Z4 formulation and harmonic gauge, Classical Quantum Gravity 22, 3767 (2005).
- C. Bona, T. Ledvinka, C. Palenzuela, and M. Zacek, A symmetry breaking mechanism for the Z4 general covariant evolution system, Phys. Rev. D 69, 064036 (2004).
- S. Bernuzzi and D. Hilditch, Constraint violation in free evolution schemes: Comparing BSSNOK with a conformal decomposition of Z4, Phys. Rev. D 81, 084003 (2010).
- D. Alic, C. Bona-Casas, C. Bona, L. Rezzolla, and C. Palenzuela, Conformal and covariant formulation of the Z4 system with constraint-violation damping, Phys. Rev. D 85, 064040 (2012).
- F. Pretorius, Numerical relativity using a generalized harmonic decomposition, Classical Quantum Gravity 22, 425 (2005).
- D. Garfinkle, Harmonic coordinate method for simulating generic singularities, Phys. Rev. D 65, 044029 (2002).
- F. Pretorius, Evolution of binary black-hole spacetimes, Phys. Rev. Lett. 95, 121101 (2005).
- R. Benkel, T. P. Sotiriou, and H. Witek, Black hole hair formation in shift-symmetric generalised scalar-tensor gravity, Classical Quantum Gravity 34, 064001 (2017).
- R. Benkel, T. P. Sotiriou, and H. Witek, Dynamical scalar hair formation around a Schwarzschild black hole, Phys. Rev. D 94, 121503 (2016).
- M. Okounkova, L. C. Stein, M. A. Scheel, and D. A. Hemberger, Numerical binary black hole mergers in dynamical Chern-Simons gravity: Scalar field, Phys. Rev. D 96, 044020 (2017).
- M. Okounkova, L. C. Stein, M. A. Scheel, and S. A. Teukolsky, Numerical binary black hole collisions in dynamical Chern-Simons gravity, Phys. Rev. D 100, 104026 (2019).
- M. Okounkova, L. C. Stein, J. Moxon, M. A. Scheel, and S. A. Teukolsky, Numerical relativity simulation of GW150914 beyond general relativity, Phys. Rev. D 101, 104016 (2020).
- M. Okounkova, Numerical relativity simulation of GW150914 in Einstein dilaton Gauss-Bonnet gravity, Phys. Rev. D 102, 084046 (2020).
- H. Witek, L. Gualtieri, P. Pani, and T. P. Sotiriou, Black holes and binary mergers in scalar Gauss-Bonnet gravity: Scalar field dynamics, Phys. Rev. D 99, 064035 (2019).
- H. O. Silva, H. Witek, M. Elley, and N. Yunes, Dynamical descalarization in binary black hole mergers, Phys. Rev. Lett. 127, 031101 (2021).
- M. Elley, H. O. Silva, H. Witek, and N. Yunes, Spin-induced dynamical scalarization, descalarization, and stealthness in scalar-Gauss-Bonnet gravity during a black hole coalescence, Phys. Rev. D 106, 044018 (2022).
- H. S. Reall and C. M. Warnick, Effective field theory and classical equations of motion, J. Math. Phys. (N.Y.) 63, 042901 (2022).
- G. Allwright and L. Lehner, Towards the nonlinear regime in extensions to GR: Assessing possible options, Classical Quantum Gravity 36, 084001 (2019).
- D. Lovelock, The Einstein tensor and its generalizations, J. Math. Phys. (N.Y.) 12, 498 (1971).
- G. W. Horndeski, Second-order scalar-tensor field equations in a four-dimensional space, Int. J. Theor. Phys. 10, 363 (1974).
- Á. D. Kovács and H. S. Reall, Well-posed formulation of scalar-tensor effective field theory, Phys. Rev. Lett. 124, 221101 (2020).
- Á. D. Kovács and H. S. Reall, Well-posed formulation of Lovelock and Horndeski theories, Phys. Rev. D 101, 124003 (2020).
- W. E. East and J. L. Ripley, Evolution of Einstein-scalar-Gauss-Bonnet gravity using a modified harmonic formulation, Phys. Rev. D 103, 044040 (2021).
- W. E. East and J. L. Ripley, Dynamics of spontaneous black hole scalarization and mergers in Einstein-Scalar-Gauss-Bonnet gravity, Phys. Rev. Lett. 127, 101102 (2021).
- W. E. East and F. Pretorius, Binary neutron star mergers in Einstein-scalar-Gauss-Bonnet gravity, Phys. Rev. D 106, 104055 (2022).
- M. Corman, J. L. Ripley, and W. E. East, Nonlinear studies of binary black hole mergers in Einstein-scalar-Gauss-Bonnet gravity, Phys. Rev. D 107, 024014 (2023).
- M. Corman and W. E. East, Black hole-neutron star mergers in Einstein-scalar-Gauss-Bonnet gravity, Phys. Rev. D 110, 084065 (2024).
- M. Corman, L. Lehner, W. E. East, and G. Dideron, Nonlinear studies of modifications to general relativity: Comparing different approaches, Phys. Rev. D 110, 084048 (2024).
- G. Lara et al., Signatures from metastable oppositely-charged black hole binaries in scalar Gauss-Bonnet gravity, arXiv:2505.14785.
- L. Aresté Saló, K. Clough, and P. Figueras, Well-posedness of the four-derivative scalar-tensor theory of gravity in singularity avoiding coordinates, Phys. Rev. Lett. 129, 261104 (2022).
- L. Aresté Saló, K. Clough, and P. Figueras, Puncture gauge formulation for Einstein-Gauss-Bonnet gravity and four-derivative scalar-tensor theories in spacetime dimensions, Phys. Rev. D 108, 084018 (2023).
- D. D. Doneva, L. Aresté Saló, K. Clough, P. Figueras, and S. S. Yazadjiev, Testing the limits of scalar-Gauss-Bonnet gravity through nonlinear evolutions of spin-induced scalarization, Phys. Rev. D 108, 084017 (2023).
- D. D. Doneva, L. Aresté Saló, and S. S. Yazadjiev, nonlinear evolution of Ricci-coupled scalar-Gauss-Bonnet gravity, Phys. Rev. D 110, 024040 (2024).
- L. Aresté Saló, D. D. Doneva, K. Clough, P. Figueras, and S. S. Yazadjiev, Challenges in the nonlinear evolution of unequal mass binaries in scalar-Gauss-Bonnet gravity, Phys. Rev. D 112, 084022 (2025).
- Z. Hu, D. D. Doneva, S. S. Yazadjiev, and L. Shao, Quasi-Normal mode ringing of binary black hole mergers in Scalar-Gauss-Bonnet gravity, Phys. Rev. D 113, 044041 (2026).
- M. Corman, L. Aresté Saló, and K. Clough, Black hole binaries in shift-symmetric Einstein-scalar-Gauss-Bonnet gravity experience a slower merger phase, arXiv:2511.19073.
- W. Israel, Nonstationary irreversible thermodynamics: A causal relativistic theory, Ann. Phys. (N.Y.) 100, 310 (1976).
- J. Cayuso, N. Ortiz, and L. Lehner, Fixing extensions to general relativity in the nonlinear regime, Phys. Rev. D 96, 084043 (2017).
- R. Cayuso and L. Lehner, Nonlinear, noniterative treatment of EFT-motivated gravity, Phys. Rev. D 102, 084008 (2020).
- M. Bezares, L. ter Haar, M. Crisostomi, E. Barausse, and C. Palenzuela, Kinetic screening in nonlinear stellar oscillations and gravitational collapse, Phys. Rev. D 104, 044022 (2021).
- G. Lara, M. Bezares, and E. Barausse, UV completions, fixing the equations, and nonlinearities in k-essence, Phys. Rev. D 105, 064058 (2022).
- M. Gerhardinger, J. T. Giblin, Jr., A. J. Tolley, and M. Trodden, Well-posed UV completion for simulating scalar Galileons, Phys. Rev. D 106, 043522 (2022).
- N. Franchini, M. Bezares, E. Barausse, and L. Lehner, Fixing the dynamical evolution in scalar-Gauss-Bonnet gravity, Phys. Rev. D 106, 064061 (2022).
- R. Cayuso, P. Figueras, T. França, and L. Lehner, Self-consistent modeling of gravitational theories beyond general relativity, Phys. Rev. Lett. 131, 111403 (2023).
- R. Cayuso, Gravitational collapse in quadratic gravity, Phys. Rev. D 108, 124066 (2023).
- M. Gerhardinger, J. T. Giblin, Jr., A. J. Tolley, and M. Trodden, Simulating a numerical UV completion of quartic Galileons, Phys. Rev. D 109, 124021 (2024).
- G. Lara, H. P. Pfeiffer, N. A. Wittek, N. L. Vu, K. C. Nelli, A. Carpenter, G. Lovelace, M. A. Scheel, and W. Throwe, Scalarization of isolated black holes in scalar Gauss-Bonnet theory in the fixing-the-equations approach, Phys. Rev. D 110, 024033 (2024).
- M. E. Rubio, G. Lara, M. Bezares, M. Crisostomi, and E. Barausse, Fixing the dynamical evolution of self-interacting vector fields, Phys. Rev. D 110, 063015 (2024).
- P. Figueras, A. Held, and Á. D. Kovács, Well-posed initial value formulation of general effective field theories of gravity, arXiv:2407.08775.
- P. Figueras, Á. D. Kovács, and S. Yao, Stable non-linear evolution in regularised higher derivative effective field theories, J. High Energy Phys. 10 (2025) 150.
- R. M. Wald, General Relativity (Chicago University Press, Chicago, USA, 1984).
- L. Smarr and J. W. York, Kinematical conditions in the construction of spacetime, Phys. Rev. D 17, 2529 (1978).
- Y. Choquet-Bruhat, General Relativity and the Einstein Equations, Oxford Mathematical Monographs (Oxford University Press, United Kingdom, 2009).
- R. L. Arnowitt, S. Deser, and C. W. Misner, Dynamical structure and definition of energy in general relativity, Phys. Rev. 116, 1322 (1959).
- E. Gourgoulhon, formalism and bases of numerical relativity, arXiv:gr-qc/0703035.
- D. Alic, W. Kastaun, and L. Rezzolla, Constraint damping of the conformal and covariant formulation of the Z4 system in simulations of binary neutron stars, Phys. Rev. D 88, 064049 (2013).
- J. D. Brown, Generalized harmonic equations in form, Phys. Rev. D 84, 124012 (2011).
- H. R. Beyer and O. Sarbach, On the well posedness of the Baumgarte-Shapiro-Shibata-Nakamura formulation of einstein’s field equations, Phys. Rev. D 70, 104004 (2004).
- J. D. Brown, P. Diener, O. Sarbach, E. Schnetter, and M. Tiglio, Turduckening black holes: An analytical and computational study, Phys. Rev. D 79, 044023 (2009).
- G. Papallo and H. S. Reall, On the local well-posedness of Lovelock and Horndeski theories, Phys. Rev. D 96, 044019 (2017).
- G. Papallo, On the hyperbolicity of the most general Horndeski theory, Phys. Rev. D 96, 124036 (2017).
- A. H. K. R, J. L. Ripley, and N. Yunes, Where and why does Einstein-scalar-Gauss-Bonnet theory break down?, Phys. Rev. D 107, 044044 (2023).
- F. Thaalba, N. Franchini, M. Bezares, and T. P. Sotiriou, Hyperbolicity in scalar-Gauss-Bonnet gravity: A gauge invariant study for spherical evolution, Phys. Rev. D 111, 024053 (2025).
- T. P. Sotiriou and S.-Y. Zhou, Black hole hair in generalized scalar-tensor gravity, Phys. Rev. Lett. 112, 251102 (2014).
- L. Hui and A. Nicolis, No-hair theorem for the Galileon, Phys. Rev. Lett. 110, 241104 (2013).
- T. P. Sotiriou and S.-Y. Zhou, Black hole hair in generalized scalar-tensor gravity: An explicit example, Phys. Rev. D 90, 124063 (2014).
- L. Aresté Saló, S. E. Brady, K. Clough, D. Doneva, T. Evstafyeva, P. Figueras, T. França, L. Rossi, and S. Yao, GRFolres: A code for modified gravity simulations in strong gravity, J. Open Source Software 9, 6369 (2024).
- K. Clough, P. Figueras, H. Finkel, M. Kunesch, E. A. Lim, and S. Tunyasuvunakool, GRChombo: Numerical relativity with adaptive mesh refinement, Classical Quantum Gravity 32, 245011 (2015).
- T. Andrade et al., GRChombo: An adaptable numerical relativity code for fundamental physics, J. Open Source Software 6, 3703 (2021).
- S. E. Brady, L. Aresté Saló, K. Clough, P. Figueras, and A. P. S., Solving the initial conditions problem for modified gravity theories, Phys. Rev. D 108, 104022 (2023).
- P. J. Nee, G. Lara, H. P. Pfeiffer, and N. L. Vu, Quasistationary hair for binary black hole initial data in scalar Gauss-Bonnet gravity, Phys. Rev. D 111, 024061 (2025).
- E. Newman and R. Penrose, An approach to gravitational radiation by a method of spin coefficients, J. Math. Phys. (N.Y.) 3, 566 (1962).
- N. T. Bishop and L. Rezzolla, Extraction of gravitational waves in numerical relativity, Living Rev. Relativity 19, 2 (2016).
- T. França, Binary black holes in modified gravity, Ph.D. thesis, Queen Mary, University of London (main), 2023, arXiv:2308.12037.
- D. Christodoulou, Reversible and irreversible transforations in black hole physics, Phys. Rev. Lett. 25, 1596 (1970).
- M. Radia, U. Sperhake, A. Drew, K. Clough, P. Figueras, E. A. Lim, J. L. Ripley, J. C. Aurrekoetxea, T. França, and T. Helfer, Lessons for adaptive mesh refinement in numerical relativity, Classical Quantum Gravity 39, 135006 (2022).
- N. Sanchis-Gual, P. J. Montero, J. A. Font, E. Müller, and T. W. Baumgarte, Fully covariant and conformal formulation of the Z4 system in a reference-metric approach: Comparison with the BSSN formulation in spherical symmetry, Phys. Rev. D 89, 104033 (2014).
- F. Löffler et al., The Einstein toolkit: A community computational infrastructure for relativistic astrophysics, Classical Quantum Gravity 29, 115001 (2012).
- H. Witek, M. Zilhao, G. Bozzola, M. Elley, G. Ficarra, T. Ikeda, N. Sanchis-Gual, and H. Silva, Canuda: A public numerical relativity library to probe fundamental physics (2021), Zenodo, 10.5281/zenodo.5520862.
- T. Yamamoto, M. Shibata, and K. Taniguchi, Simulating coalescing compact binaries by a new code SACRA, Phys. Rev. D 78, 064054 (2008).
- B. Bruegmann, W. Tichy, and N. Jansen, Numerical simulation of orbiting black holes, Phys. Rev. Lett. 92, 211101 (2004).
- S. Rosswog and P. Diener, SPHINCS_BSSN: A general relativistic smooth particle hydrodynamics code for dynamical spacetimes, Classical Quantum Gravity 38, 115002 (2021).
- M. Fernando, D. Neilsen, Y. Zlochower, E. W. Hirschmann, and H. Sundar, Massively parallel simulations of binary black holes with adaptive wavelet multiresolution, Phys. Rev. D 107, 064035 (2023).