类型 IIA 超引力在一环阶：度量-介子-RR 单形式子域的 $\alpha'^3$ 项

M 理论的圆盘紧化构成类型 IIA 字符串理论的等价性，要求 M 理论耦合 $(t_8 t_8 - \frac{1}{4} \epsilon_8 \epsilon_8) R^4$ 的尺寸缩减必须在 $\alpha'^3$ 阶（包括度量、介子和 RR 单形式）复现类型 IIA 一环有效作用量。通过紧化，我们获得 1276 个涉及 Riemann、Ricci 和 Ricci 标量张量，以及介子和 RR 单形式的一阶和二阶导数的耦合。采用场重新定义，我们将其降低为 359 个独立耦合的基。关键的是，我们观察到即使在纯度量-介子子域中，介子也无法通过场重新定义完全消除。我们通过显示所有四场耦合与相应字符串振幅在字符串框架中的完全一致来验证结果。进一步地，在K3 上紧化后，我们展示在一环阶得到的六维 $\alpha'$ 耦合在 S 对偶性下转化为異質字符串理论在 $T^4$ 上的树级 $\alpha'$ 耦合。这一匹配需要对类型 IIA（在K3上）和異質（在 $T^4$ 上）的子域选择仔细的场重新定义，为对偶性提供了严格的检验。