幺正规范下无鬼理论：一个新候选

我们提出一种利用 3+1 分解的代数分析，通过借助拉格朗日量中某些已有的简并性，来识别高阶导数的巧妙抵消条件，这些高阶导数曾使理论受 Ostrogradsky 鬼困扰。我们将这些条件表示为线性方程（用高阶导数项的系数表示）并要求其为零，使得非平凡解的存在意味着该理论是简并的。我们发现，对于所考虑的理论，在一般非均匀标量场情况下不存在此类解，但该理论在幺正规范下是简并的。随后，我们求得修正的 FLRW 方程，并缩小了可能存在 de Sitter 暴胀时期的条件范围。我们进一步基于幂次计数可重整化以及直至普朗克尺度的树级幺正性，对剩余高阶导数相互作用项的系数给出了约束。