四导数标量-张量引力理论在奇点回避坐标下的适定性

我们证明了在$3+1$维中最多包含四阶导数的最一般标量-张量引力理论，在爱因斯坦方程的CCZ4公式的修改版本中，采用奇点回避坐标时是适定的。我们通过研究不同耦合常数下的等质量黑洞双星并合，在实际中展示了我们新公式的鲁棒性。尽管我们的适定性分析仅限于耦合较小的情况，但我们发现在模拟中能够将耦合推到更大的值，使得某种弱耦合条件达到量级为1而不出现不稳定性。我们的工作为许多依赖移动穿刺规范来演化黑洞奇点的数值相对论代码提供了进行此类模拟的手段。