一般有效重力场论的良好初始值形式化

我们给出了所有多项式高阶导数有效重力场论的真空引力方程在加入适当正则化项后的良好初始值形式化证明。这些正则化项可通过场变换获得，允许将结果运动方程改写为二阶非线性波动方程组。例如，本结果适用于文献中已出现的二次、三次和四次有效重力场论的修截断。正则化项对应 fiducial 质量模式，然而其质量可被选择为非反子且超过截断尺度，从而这些模式不应影响有效场论有效性范围内的动力学。我们的良好形式化不局限于这些理论的弱耦合 regime，显式协变，既无需对自由参数进行精细调节，也无需规定任意方程。