最近有人争辩说，沼泽地距离猜想排除了参数大视场距离下的dS真空。 我们指出，在不受by消除条件约束的大通量的情况下，原则上可以避免此结论。 然后，我们在具有（反）O6-平面，（反）D6-黄铜和/或KK单极子的IIA型经典通量压实的具体设置中研究了这种可能性，并且表明，尽管如此，参数控制的dS真空仍然受到强烈约束。 特别地，我们发现，在参数大的音量和/或参数小的字符串耦合时，排除了这种dS vacua。 在参数较大的场是任意场组合的一般情况下，我们还会发现障碍。

出于对弦理论真空的巨大前景的早期发现的推动，近年来，人们改变了方向，试图从UV完全描述（例如量子引力或弦理论）中找到对低能效场理论的约束。 这些限制条件称为沼泽地标准。 在拟议的沼泽标准中，距离猜想是弦理论压实的普遍行为中最有动机的一个。 它声称，对于一种称为模量的标量场，如果有效场论描述在视场（模量）空间中移动了很长的距离，它将被破坏。 在这项工作中，我们将表明，在一个关于包括正真空能的完整量子引力理论的提案中，即所谓的DS / dS对应关系，有一个强有力的信号证明了距离猜想的有效性。

在本说明中，我们将回顾最近10d和4d的一些论点，这些论点表明超对称AdS真空的升高会导致电位变平，从而阻止dS真空的形成。 我们解释了为什么相应的10d方法没有定论并且需要进行大量修改。 我们还表明，虽然对于某些极端参数值可能会出现扁平化效果，但它们并不能防止在4d KKLT模型的有效范围内形成dS真空。 基于赛马场超电势的KKLT情景的KL版本要求参数化较小的抬升，而不受展平的影响。 我们表明，对于KL模型的各种参数选择，此方案与弱重力猜想兼容。 因此，我们的分析结果不支持最近的沼泽地猜想。

我们讨论IIA型大通量压实的性质。 特别是，我们调查在这种情况下可以大体积和小耦合获得dS真空。 我们通过分析具体示例来支持缩放对称性的一般讨论。 我们发现，大体积和弱耦合极限需要大量O6平面。 由于这些绑定到任何给定的压缩空间，因此无法对α'和字符串循环校正进行任意良好的控制。