⚛️ general relativity

The Null Energy Condition through the Lens of Optimal Transport: Smooth and Non-Smooth Spacetimes

This paper surveys the characterization of the Null Energy Condition via optimal transport, extending the equivalence between energy conditions and entropy concavity from smooth spacetimes to non-smooth settings through a synthetic framework that yields new results on singularity theorems and area laws.

Original authors: Fabio Cavalletti, Davide Manini, Andrea Mondino

Published 2026-09-16

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Fabio Cavalletti, Davide Manini, Andrea Mondino

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Gravity, in our everyday experience, is the force that keeps our feet on the ground and pulls the moon around the Earth. But in the grander theory of how the universe works, gravity is not a force at all. Instead, it is the shape of space and time itself. Imagine a heavy ball placed on a trampoline; the fabric curves downward, and smaller marbles roll toward it not because they are being pulled, but because the surface they travel on is curved. In the universe, massive objects like stars and black holes curve the four-dimensional fabric of spacetime. The matter and energy inside these objects tell spacetime how to curve, and that curvature tells matter how to move.

For this theory to make sense physically, the energy inside the universe must behave in certain predictable ways. Scientists have long relied on a set of rules called energy conditions to ensure that matter acts reasonably. These rules essentially state that energy density should be positive and that energy should not travel faster than light. Among these, the "null energy condition" is particularly important. It is a rule about how energy behaves along the paths taken by light. If this rule holds true, it guarantees that light rays will tend to focus together rather than spread apart, a behavior that leads to the formation of black holes and, under extreme circumstances, the crushing of matter into singularities where the laws of physics break down.

For decades, these ideas were understood only in the context of perfectly smooth, idealized universes. But the real universe is messy. It contains shockwaves, sudden collisions, and perhaps even the jagged edges of the very beginning of time, where the smoothness of space and time might vanish. The question that has long puzzled physicists is whether the fundamental rules of gravity, like the null energy condition, still hold when the smooth fabric of spacetime is torn or crumpled. If the math requires a smooth surface to work, then our understanding of black holes and the Big Bang might be incomplete.

A team of researchers has now answered this question by looking at the problem through a completely different lens. They have shown that the null energy condition can be understood not by measuring the curvature of a smooth surface, but by watching how information and probability flow through space. Their work proves that the deep geometric consequences of this energy rule persist even when spacetime is rough, discontinuous, or lacks a smooth structure entirely. They have built a new mathematical framework that allows these ancient laws of gravity to be applied to the most chaotic and irregular corners of the universe.

The researchers, Fabio Cavalletti, Davide Manini, and Andrea Mondino, approached the problem by borrowing a tool from a different branch of mathematics called optimal transport. In its simplest form, optimal transport asks a practical question: what is the most efficient way to move a pile of sand from one place to another? In the smooth world of classical physics, this question is solved by looking at the shortest paths. But the researchers realized that this concept could be adapted to the strange geometry of spacetime, specifically to the paths taken by light.

In the smooth setting, they demonstrated that the null energy condition is mathematically equivalent to a specific behavior of entropy, a measure of disorder or randomness. If you imagine a cloud of particles moving along the paths of light, the null energy condition is satisfied if the "spread" of this cloud behaves in a very specific, concave way as it travels. It is like watching a balloon expand; the rule dictates exactly how the rate of that expansion must change. This connection between the flow of light and the behavior of entropy provided a new way to define the energy condition without needing to calculate the curvature of a smooth surface.

The true breakthrough came when they extended this idea to spacetimes that are not smooth at all. In the real world, spacetime might be continuous but jagged, like a crumpled piece of paper, or it might be defined only by the causal relationships between events—knowing that one event can influence another without knowing the smooth path between them. The team developed a synthetic theory, a set of rules that works even when the usual tools of calculus, which rely on smoothness, are useless.

They introduced the concept of a "synthetic null hypersurface." In a smooth universe, a null hypersurface is a boundary made of light rays. In their new framework, they defined this boundary using only the causal structure of the universe and a way to measure the "size" of these light paths, without ever needing a smooth metric or a derivative. They showed that the same entropy-based rule they found in the smooth world applies here too. If the entropy of a probability distribution moving along these synthetic light paths behaves in the required concave manner, then the null energy condition is satisfied.

This achievement is significant because it removes the need for smoothness. The researchers proved that their new definition is stable. This means that if you take a sequence of smooth universes that satisfy the null energy condition and let them evolve into a rough, singular universe, the condition still holds in the limit. It does not disappear just because the math gets messy. This stability allows physicists to apply these rules to scenarios that were previously off-limits, such as the interior of black holes with jagged horizons or the very first moments of the Big Bang.

One of the most powerful applications of this work is a new version of Penrose's singularity theorem. This famous theorem, which earned a Nobel Prize, predicts that under certain conditions, the universe must contain a singularity—a point where gravity becomes infinite and the path of light ends abruptly. The original proof required the spacetime to be smooth. The new synthetic version, however, works for spacetimes that are only continuous, meaning they have no sharp jumps but are not necessarily smooth. The researchers showed that if a continuous universe satisfies their synthetic energy condition and contains a trapped region where light is forced inward, it must still end in a singularity. The light paths simply cannot go on forever.

The team also revisited Hawking's area theorem, which states that the surface area of a black hole's event horizon can never decrease. In the smooth world, this is a consequence of the null energy condition. The researchers proved that this theorem holds true in their synthetic framework as well, even when the geometry is rough. They showed that the weighted area of a cross-section of a light-like surface must increase or stay the same as it moves forward in time, provided the synthetic energy condition is met. This confirms that the fundamental thermodynamic-like behavior of black holes is robust, surviving even when the underlying geometry is far from perfect.

By translating the language of curvature into the language of transport and entropy, the researchers have provided a unifying framework. They have shown that the geometric and causal consequences of the null energy condition are not artifacts of smoothness but are deep, structural features of the universe. Whether spacetime is a smooth sheet or a crumpled, singular mess, the rules governing how light and matter interact remain consistent. This work suggests that the formation of singularities and the behavior of black holes are genuine features of the universe's structure, independent of the mathematical smoothness we often assume for convenience. It opens the door to exploring the most extreme environments in the cosmos with a mathematical toolkit that does not break down when the universe gets rough.

Technical Summary: The Null Energy Condition Through the Lens of Optimal Transport

Problem Statement
The paper addresses the challenge of formulating the Null Energy Condition (NEC) and its geometric consequences—specifically singularity formation and area theorems—within the context of non-smooth Lorentzian geometry. Classical General Relativity relies on smooth ( $C^2$ or higher) spacetime manifolds to define the Ricci tensor and the Raychaudhuri equation, which are essential for deriving the NEC ( $Ric(v,v) \geq 0$ for null vectors $v$ ) and proving fundamental results like Penrose's singularity theorem and Hawking's area theorem. However, physically relevant scenarios (e.g., shock waves, impulsive gravitational waves, and quantum gravity models) often involve metrics with limited regularity ( $C^0$ , $C^1$ , or distributional), where classical differential geometric tools fail. The central problem is to develop a "synthetic" theory of the NEC that does not rely on differentiable structures, thereby extending the validity of these geometric and causal results to singular spacetimes.

Methodology
The authors employ the framework of optimal transport to characterize curvature, a methodology originally developed for Riemannian geometry (Lott-Sturm-Villani theory) and later adapted to timelike Lorentzian settings. The core strategy involves:

Shifting from Differential to Measure-Theoretic Definitions: Instead of defining curvature via derivatives of the metric, the NEC is characterized by the displacement concavity of entropy functionals along specific transport plans.
Focus on Null Hypersurfaces: The theory is built upon the geometry of null hypersurfaces. In the smooth setting, the authors utilize rigged measures (measures constructed by selecting a null geodesic generator field $L$ ) to define a reference measure on these degenerate hypersurfaces.
Synthetic Generalization: To handle non-smooth settings, the authors introduce synthetic null hypersurfaces. These are defined within topological causal spaces (sets equipped with causal and chronological relations and a topology) using:
- Achronal boundaries (replacing smooth null hypersurfaces).
- Gauge functions (replacing affine parameters along null generators).
- Reference measures (replacing rigged measures).
Entropy Power Convexity: The condition is formulated via the concavity of the Shannon entropy power $U_{N-1}$ along $G$ -causal curves (synthetic analogues of affinely parametrized null geodesics).

Key Contributions and Results

1. Smooth Characterization of the NEC
In the smooth setting, the authors establish that the NEC is equivalent to the displacement concavity of the Shannon entropy power along null-geodesic transport plans supported on null hypersurfaces.

Theorem 3.4: For a smooth spacetime, the NEC holds if and only if for every smooth null hypersurface $H$ and suitable probability measures $\mu_0, \mu_1$ , there exists a null-geodesic transport plan such that the entropy power $u_{n-1}(t)$ is concave in time $t$ .
Weighted Generalization: This characterization extends to weighted measures (Bakry-Émery type), where the condition corresponds to the non-negativity of the weighted Ricci tensor in null directions.
Geometric Consequences: This formulation yields a weighted Hawking area theorem, proving that weighted areas of spacelike cross-sections of future-complete null hypersurfaces are non-decreasing under the NEC, even for merely continuous weight functions.

2. Synthetic Null Hypersurfaces and the $NC_e(N)$ Condition
The paper introduces a rigorous synthetic framework for non-smooth spacetimes:

Definition 4.7: A synthetic null hypersurface is a triple $(H, G, m)$ where $H$ is a closed achronal set (specifically an achronal boundary), $G$ is a gauge function encoding the affine structure of causal generators, and $m$ is a reference measure.
Definition 4.8 ( $NC_e(N)$ ): The synthetic null energy condition is defined by requiring the displacement concavity of the entropy power $U_{N-1}$ along $G$ -causal transport plans.
Well-posedness: The authors prove that the $NC_e(N)$ condition is intrinsic; it is invariant under changes of the gauge function and reference measure that correspond to classical gauge freedoms (Theorem 4.9).
Stability: A major result is the stability of the $NC_e(N)$ condition under pointed measured Gromov-Hausdorff type convergence adapted to synthetic null hypersurfaces. This overcomes a limitation of previous synthetic approaches (e.g., McCann's limiting procedure) which lacked stability.

3. Synthetic Singularity Theorem for Continuous Metrics
The authors apply the synthetic framework to extend Penrose's singularity theorem to spacetimes with continuous ( $C^0$ ) Lorentzian metrics.

Synthetic Trapped Surfaces: The classical condition of a future-converging trapped surface (defined via mean curvature) is replaced by a measure-theoretic condition involving the second variation of the reference measure (Definition 4.10).
Synthetic Completeness: Null geodesic completeness is replaced by the properness of the gauge function $G$ .
Theorem 4.11: Under the assumptions of the $NC_e(N)$ condition, the existence of a non-compact Cauchy hypersurface, a $(G,m)$ -future converging set $S$ , and null non-branching, the gauge $G$ cannot be proper. This implies synthetic null geodesic incompleteness.
Significance: This result provides a version of Penrose's theorem for $C^0$ metrics, a regime where the Ricci tensor, geodesic equations, and mean curvature are not classically defined.

Significance and Claims
The paper claims that these results provide strong evidence that the geometric and causal consequences of the NEC persist far beyond the classical smooth setting. By utilizing optimal transport, the authors offer a unifying framework that links curvature, causality, and singularity formation without relying on differential calculus.

The synthetic theory recovers classical results in the smooth limit, ensuring compatibility.
The framework is robust enough to handle singular spacetimes (e.g., impulsive waves, low-regularity metrics) that are physically relevant but inaccessible to classical methods.
The extension of Penrose's theorem to continuous metrics demonstrates that singularity formation is a "genuinely synthetic phenomenon," independent of the smoothness of the underlying manifold.

The work does not propose new experimental applications or future physical theories but rather establishes a rigorous mathematical foundation for analyzing gravity in regimes of low regularity, bridging the gap between classical General Relativity and potential quantum gravity models where smooth spacetime may not exist.

Technical Summary: The Null Energy Condition Through the Lens of Optimal Transport

More like this