通过最优输运视角看零能量条件：光滑与非光滑时空
The Null Energy Condition through the Lens of Optimal Transport: Smooth and Non-Smooth Spacetimes
浏览论文内容
中文总结 AI 辅助
本文综述了通过最优输运刻画零能量条件的研究，将其推广至非光滑时空，并建立了合成曲率条件及相应的奇点定理。
中文摘要 AI 辅助
我们综述了从最优输运视角研究零能量条件（NEC）的最新进展，重点强调非光滑洛伦兹几何。在回顾经典能量条件在广义相对论中的作用后，我们讨论了里奇曲率与最优输运中熵凸性之间的关系。主要焦点是作者对NEC的最优输运刻画。在光滑情形下，NEC等价于沿支撑在零超曲面上的合适零测地输运计划、并相对于配称测度测量的香农熵功率的位移凹性。我们回顾了这一刻画的几何要素及其应用，包括加权霍金面积定理。然后我们转向作者第二篇论文中引入的合成理论。合成零超曲面通过拓扑因果空间中的非时序边界、规范函数和参考测度来定义。在此框架下，位移凹性刻画成为一个合成曲率条件$\mathsf{NC}^{e}(N)$，无需可微结构即有意义。我们讨论了与光滑理论的相容性、在规范与参考测度的自然变化下的不变性，以及收敛下的稳定性。最后，我们给出了连续洛伦兹度量的彭罗斯奇点定理的合成版本。这些结果表明，NEC的几何与因果推论在光滑情形之外依然成立，并凸显了最优输运作为连接洛伦兹几何中曲率、因果性与奇点形成的框架。
英文摘要
We survey recent developments on the null energy condition (NEC) from the perspective of optimal transport, with emphasis on non-smooth Lorentzian geometry. After recalling the role of classical energy conditions in general relativity, we discuss the relation between Ricci curvature and entropy convexity in optimal transport. The main focus is the authors' optimal-transport characterization of the NEC. In the smooth setting, the NEC is equivalent to displacement concavity of the Shannon entropy power along suitable null-geodesic transport plans supported on null hypersurfaces and measured with respect to rigged measures. We review the geometric ingredients of this characterization and applications, including a weighted Hawking area theorem. We then turn to the synthetic theory introduced in a second paper of the authors. Synthetic null hypersurfaces are defined using achronal boundaries, gauge functions, and reference measures in topological causal spaces. In this framework, the displacement-concavity characterization becomes a synthetic curvature condition, $\mathsf{NC}^{e}(N)$, meaningful without differentiable structure. We discuss compatibility with the smooth theory, invariance under natural changes of gauge and reference measure, and stability under convergence. Finally, we present a synthetic version of Penrose's singularity theorem for continuous Lorentzian metrics. These results indicate that geometric and causal consequences of the NEC persist beyond the smooth setting and highlight optimal transport as a framework connecting curvature, causality, and singularity formation in Lorentzian geometry.
