The Dominant Energy Condition

The Einstein field equations $G_{\mu\nu}=8\pi T_{\mu\nu}$ have a dangerous feature: they place no restriction on the matter. Hand them any smooth metric $g_{\mu\nu}$ , compute the left-hand side, and you can define a stress-energy tensor that solves them exactly. Every spacetime — including wormholes, time machines, and geometries that let you signal into your own past — solves Einstein's equations for some source. If the theory is to predict rather than merely accommodate any geometry we draw, we must say which stress-energy tensors correspond to physically reasonable matter. That is the job of the energy conditions. The dominant energy condition (DEC) is the strongest of the standard pointwise conditions and the one with the cleanest physical meaning. It says that the flow of energy-momentum, as measured by any observer, is causal: energy density is never negative, and energy never streams faster than light. Feed the stress-energy tensor an observer's four-velocity $u^\mu$ and it returns a four-vector current $J^\mu=-T^\mu{}_\nu u^\nu$ — the energy-momentum that observer attributes to the matter. DEC demands this current lie on or inside the future light cone, for every observer at every event. That single geometric picture is what makes DEC the natural hypothesis behind the deepest theorems in relativity: the Penrose-Hawking singularity theorems, the black-hole area theorem, and the positive-mass theorems of Schoen, Yau, and Witten. Almost all classical matter obeys it — perfect fluids with $\rho\ge|p|$ , the electromagnetic field, minimally coupled scalars, even a positive cosmological constant (which saturates it). Its violation is precisely what exotic matter, warp drives, and traversable wormholes require.

Key takeaways

The dominant energy condition demands that the current $J^\mu=-T^\mu{}_\nu u^\nu$ that any observer $u^\mu$ attributes to the matter be a future-directed causal vector: $J^\mu J_\mu\le0$ and $J^\mu u_\mu\le0$ .
Physically it welds two statements together — every observer measures a non-negative energy density, and the energy flux they see never exceeds that density, so energy propagates no faster than light.
For a perfect fluid it collapses to the memorable algebraic form $\rho\ge|p|$ : the energy density dominates the magnitude of the pressure — hence the name.
DEC is strictly stronger than the weak energy condition (it implies WEC but not conversely) and is logically independent of the strong energy condition.
A positive cosmological constant has $p=-\rho$ , so it saturates DEC exactly while badly violating the strong condition — which is why accelerating cosmologies are causally well-behaved.
Key idea: DEC is the demand that the observer-measured energy-momentum current $J^\mu=-T^\mu{}_\nu u^\nu$ be future-directed and causal for every future timelike $u^\mu$ — non-negative energy density and subluminal energy flow, which for a perfect fluid means $\rho\ge|p|$ .

The core insight

The dominant energy condition requires that the current $J^\mu=-T^\mu{}_\nu u^\nu$ every observer $u^\mu$ attributes to the matter be a future-directed causal vector — $J^\mu J_\mu\le0$ and $J^\mu u_\mu\le0$ — so energy density is non-negative and energy never flows faster than light; for a perfect fluid this is exactly $\rho\ge|p|$ .

Where this lives today

The dominant energy condition is the standing assumption of mathematical relativity, and its boundary is an active experimental target. In numerical relativity, the simulations that produce the gravitational-wave templates matched against LIGO-Virgo-KAGRA events evolve stress-energy assumed to respect DEC, and neutron-star equations of state are built to keep $\rho\ge|p|$ so the fluid stays causal (sound speed never exceeds $c$ ). In cosmology, the entire dark-energy question is a DEC question: surveys such as DESI and Planck-plus-supernova combinations measure whether $w$ sits at $-1$ (a cosmological constant, saturating DEC) or crosses into the phantom regime $w<-1$ that would violate it — a genuinely open observational problem. And the frontier is where DEC is engineered to fail: traversable wormholes and Alcubierre-type warp metrics demand exotic matter with $\rho<|p|$ or $\rho<0$ , achievable only through quantum effects like the Casimir vacuum — but the Ford-Roman quantum energy inequalities show these violations are tightly rationed, so DEC, though not absolute, cannot be broken cheaply enough to build a time machine.

The physical picture

The stress-energy tensor is best read as a machine. Feed it an observer's four-velocity $u^\mu$ and it returns the four-momentum density that observer measures streaming through space: the current $J^\mu=-T^\mu{}_\nu u^\nu$ . Its component along $u^\mu$ is the energy density $\rho$ ; its spatial part is the energy flux. The dominant energy condition is one geometric statement about this vector — it must always point into the future light cone. That packs two demands into one: the energy density is non-negative (the vector points to the future), and the flux never exceeds the density (the vector stays inside the cone), which is exactly the statement that energy moves subluminally.

Figure

The stress-energy tensor turns an observer four-velocity u into the energy-momentum current J = −T·u. DEC demands J lie on or inside the future light cone: ordinary matter keeps the current timelike so the spatial energy flux stays below ρ, while an energy density smaller than the pressure magnitude tips J spacelike, which is forbidden

The name is a promise about magnitudes. "Dominant" means the energy density dominates every stress. If the pressure could exceed it, a sufficiently boosted observer would see the principal stress carry more momentum flux than the energy can causally support, and $J^\mu$ would tip outside the light cone — spacelike energy transport. The clean algebraic shadow of that requirement, for the isotropic case, is $\rho\ge|p|$ . The second figure draws the boundary this cuts through the space of equations of state: a wedge of allowed matter with dust and radiation comfortably inside, stiff matter and the cosmological constant riding the two edges, and phantom dark energy falling outside.

Figure

The dominant energy condition carves a wedge in the pressure-density plane: every physical source must sit between the lines p = ρ and p = −ρ. Dust with w = 0 and radiation with w = 1/3 sit safely inside; stiff matter with w = 1 and a positive cosmological constant with w = −1 ride the two boundaries and saturate DEC; phantom dark energy with w below −1 falls outside and violates it

The core equations

DEC has a weak part and a distinctive causal part. The weak part is shared with the weak energy condition: no observer measures a negative energy density. Contract the stress-energy tensor twice with any future-directed unit timelike observer.

\rho = T_{\mu\nu}\,u^\mu u^\nu \ge 0 \qquad (1)

where: $T_{\mu\nu}$ — stress-energy tensor; $u^\mu$ — future-directed unit timelike four-velocity, $u^\mu u_\mu=-1$ ; $\rho$ — energy density that observer measures. Reading: whatever the motion, the locally measured energy is never negative. The defining part concerns not the energy density but the whole current. Feed $u^\mu$ into the tensor and raise an index to get the four-vector the observer sees.

J^\mu = -T^\mu{}_\nu\, u^\nu \qquad\text{is future-directed and causal} \qquad (2)

where: $J^\mu$ — current density seen by $u^\mu$ ; "causal" means timelike or null; "future-directed" means it points into the future light cone. Reading: the whole vector is constrained, not just its time component — its direction encodes both positivity of energy and subluminal flow. Made covariant, the two demands become two inner-product inequalities holding for every observer.

J^\mu J_\mu \le 0 \quad\text{and}\quad J^\mu u_\mu \le 0 \qquad \forall\ \text{future timelike } u^\mu \qquad (3)

where: $J^\mu J_\mu\le0$ — the current is non-spacelike (causal), so energy flux does not exceed energy density; $J^\mu u_\mu\le0$ — the current is future-directed, i.e. $\rho=-J^\mu u_\mu\ge0$ . Reading: the first inequality is the new content of DEC; the second is the recycled weak condition. For the workhorse source of relativity — a perfect fluid — the abstract statement reduces to one inequality. Start from the fluid tensor with rest-frame four-velocity $U^\mu$ .

T^{\mu\nu} = (\rho+p)\,U^\mu U^\nu + p\,g^{\mu\nu} \qquad (4)

where: $\rho$ — rest-frame energy density; $p$ — isotropic pressure; $g^{\mu\nu}$ — inverse metric, signature $(-,+,+,+)$ . Reading: in the rest frame this is $\mathrm{diag}(\rho,p,p,p)$ , a type-I tensor with eigenvalues $\rho$ and $p$ . Requiring the current to be causal for every observer, worked out below, gives the condition that names the whole subject.

\rho \ge 0 \qquad\text{and}\qquad \rho \ge |p| \qquad (5)

where: $|p|$ — pressure magnitude. Reading: energy density must dominate the pressure. Dust ( $p=0$ ), radiation ( $p=\rho/3$ ), and stiff matter ( $p=\rho$ , saturating) all comply; a fluid with $|p|>\rho$ does not. The same content, without choosing a fluid, is the Hawking-Ellis orthonormal-frame criterion: in any local Lorentz frame the energy-density component is the largest of all components in absolute value.

T^{\hat0\hat0}\ \ge\ \big|T^{\hat a\hat b}\big|\quad \text{for all } \hat a,\hat b \qquad (6)

where: hats denote an orthonormal tetrad; $T^{\hat0\hat0}$ — energy density; $T^{\hat a\hat b}$ — any component (momentum density, pressure, or shear stress). Reading: the practical test — compute components in a convenient frame and check none beats $T^{\hat0\hat0}$ in size. Finally, DEC earns its role in causal-propagation theorems through conservation. Because $\nabla_\mu T^{\mu\nu}=0$ is an identity of the field equations, the current built from a constant test observer is itself conserved.

\nabla_\mu T^{\mu\nu}=0 \quad\Longrightarrow\quad \nabla_\mu J^\mu = 0 \ \ (\text{for constant } u^\mu) \qquad (7)

where: $\nabla_\mu$ — metric-compatible covariant derivative. Reading: a conserved causal current cannot leak out of its domain of dependence — matter absent on a spacelike slice stays absent throughout its causal future, so DEC-matter never outruns light.

Derivation AWhy a causal current means subluminal energy transport

The goal here is to show that the compact geometric phrase "the current $J^\mu$ is future-directed and causal" is not abstract formalism but a precise physical statement: the energy density the observer measures is non-negative and the energy flux they see never travels faster than light. We split the current into the piece along the observer's worldline and the piece across it, compute the norm, and read off what causality forces on each. The payoff is that the two clauses of DEC map exactly onto positivity of energy and subluminality of energy flow.

Step 1. Decompose the current relative to the observer into parts parallel and orthogonal to $u^\mu$ : $J^\mu=\rho\,u^\mu+q^\mu$ with $q^\mu u_\mu=0$ . Contracting with $u_\mu$ (using $u^\mu u_\mu=-1$ ) gives $\rho=-J^\mu u_\mu$ , the energy density of equation (1), while $q^\mu$ is the purely spatial energy flux the observer sees. Why: this separates "how much energy is here" from "which way and how fast it flows", the two things DEC constrains.

Step 2. Compute the norm using $q^\mu u_\mu=0$ : $J^\mu J_\mu=-\rho^2+q^\mu q_\mu$ , since the cross term vanishes. Because $q^\mu$ is spatial, $q^\mu q_\mu=|\mathbf q|^2\ge0$ is the squared flux magnitude. Why: this isolates the competition between energy density and flux inside a single Lorentz-invariant number.

Step 3. Impose causality. The current is non-spacelike precisely when $J^\mu J_\mu\le0$ , which by Step 2 means $|\mathbf q|\le\rho$ : the flux magnitude is no larger than the energy density. Since flux equals energy density times transport velocity, $|\mathbf q|=\rho\,v_{\text{energy}}$ , this is exactly $v_{\text{energy}}\le1$ with $c=1$ — energy is carried subluminally. Why: the causal-cone condition on a vector is just a speed limit on the physical thing it represents.

Step 4. Impose future-directedness. Two future-directed causal vectors have non-positive inner product, so $J^\mu u_\mu\le0$ , i.e. $-\rho\le0$ , i.e. $\rho\ge0$ . Combined with Step 3, the two DEC clauses read: energy density non-negative, energy flux no faster than light. Why: this confirms DEC is the weak condition plus a causal-flux bound, not an unrelated extra assumption.

Go deeper · Derivation B · 1 minThe perfect fluid and the birth of energy dominates pressure

Derivation BThe perfect fluid and the birth of energy dominates pressure

The goal here is to derive the headline inequality $\rho\ge|p|$ from scratch, not to assert it. We build the energy-momentum current for a perfect fluid as seen by an arbitrary boosted observer, compute the Lorentz-invariant norm of that current as a function of the relative Lorentz factor, and demand it stay non-positive for every allowed boost. The condition that survives the most extreme boost is exactly DEC, and the algebra reveals why the pressure — not merely the energy density — is what the bound controls.

Step 1. Build the current. Lower one index, $T^\mu{}_\nu=(\rho+p)U^\mu U_\nu+p\,\delta^\mu_\nu$ , and contract with $u^\nu$ to get $J^\mu=-(\rho+p)(U_\nu u^\nu)U^\mu-p\,u^\mu$ . Writing $\gamma\equiv-U_\nu u^\nu$ gives $J^\mu=(\rho+p)\gamma\,U^\mu-p\,u^\mu$ . Why: the current combines the fluid's four-velocity and the observer's, weighted by the boost — everything now depends on the single scalar $\gamma$ .

Step 2. Fix the range of $\gamma$ . Two future-directed unit timelike vectors always satisfy $U_\nu u^\nu\le-1$ , equality only when the observer moves with the fluid. Hence $\gamma\ge1$ , the ordinary Lorentz factor of the observer's speed relative to the fluid. Why: DEC must hold for all observers, so the resulting inequality must be satisfied for the whole range $1\le\gamma<\infty$ .

Step 3. Compute the norm. Using $U\!\cdot\!U=u\!\cdot\!u=-1$ and $U\!\cdot\!u=-\gamma$ , $J^\mu J_\mu=-(\rho+p)^2\gamma^2+2p(\rho+p)\gamma^2-p^2$ . Collecting the $\gamma^2$ terms, $-(\rho+p)^2+2p(\rho+p)=-(\rho^2-p^2)$ , so $J^\mu J_\mu=-\big[\rho^2\gamma^2-p^2(\gamma^2-1)\big]$ . Why: the norm is now a clean quadratic in $\gamma$ whose sign is all that matters for causality.

Step 4. Impose causality for every observer. Requiring $J^\mu J_\mu\le0$ gives $\rho^2\gamma^2\ge p^2(\gamma^2-1)$ for all $\gamma\ge1$ , i.e. $\rho^2\ge p^2(1-\gamma^{-2})$ . The right side rises monotonically toward $p^2$ as $\gamma\to\infty$ , so the tightest case is that limit: $\rho^2\ge p^2$ , i.e. $\rho\ge|p|$ ; future-directedness supplies $\rho\ge0$ . Why: the most boosted observer sees the largest flux, so the relativistic limit sets the bound — a slow observer never notices a mild DEC violation.

Result.

\boxed{\ \rho\ge0,\qquad \rho\ge|p|\ }

Note: the norm saturates ( $J^\mu J_\mu=0$ ) at $\gamma\to\infty$ when $p=\pm\rho$ — stiff matter and vacuum energy sit exactly on the boundary.

Go deeper · Derivation C · 1 minWhy the dominant condition implies the weak one

Derivation CWhy the dominant condition implies the weak one

The goal of this derivation is to place DEC precisely in the lattice of energy conditions by proving it implies the weak energy condition but is not implied by it — so DEC sits strictly above WEC. The implication justifies using DEC wherever WEC is needed (positivity of energy is then automatic), while the failed converse shows the causal-flux clause is genuinely extra content, not a mere reformulation. We work with the eigenvalues of a type-I tensor throughout.

Step 1. Recall both conditions in eigenvalue form. For type-I matter with energy density $\rho$ and principal pressures $p_i$ , the weak condition is $\rho\ge0$ and $\rho+p_i\ge0$ ; the dominant condition is $\rho\ge0$ and $\rho\ge|p_i|$ . Why: at the level of eigenvalues both reduce to inequalities on the same finite set of numbers, so they can be compared directly.

Step 2. Assume DEC and derive WEC. From $\rho\ge|p_i|$ and $p_i\ge-|p_i|$ , add to get $\rho+p_i\ge\rho-|p_i|\ge0$ ; the density clause $\rho\ge0$ is shared. Hence every DEC tensor satisfies WEC. Why: the causal-flux bound is strong enough that the weaker sum condition comes for free.

Step 3. Show the converse fails. A source with $\rho=0$ and $p_1>0$ has $\rho+p_1>0$ (WEC holds) yet $\rho<|p_1|$ (DEC fails); the physical example $p=2\rho$ obeys WEC and even SEC but violates DEC. So DEC $\Rightarrow$ WEC $\Rightarrow$ NEC, while DEC is logically independent of SEC — a positive $\Lambda$ obeys DEC yet violates SEC. Why: one WEC-obeying, DEC-violating tensor proves the implication is strictly one-way, and fixes DEC as the strongest positivity condition.

Limiting cases

The single inequality $\rho\ge|p|$ (or its frame form $T^{\hat0\hat0}\ge|T^{\hat a\hat b}|$ ) specializes across the standard matter models as follows.

Case	Result	Meaning
Perfect fluid	$\rho\ge0,\quad \rho\ge\|p\|$	Dust ( $p=0$ ), radiation ( $p=\rho/3$ ), and stiff matter ( $p=\rho$ ) all obey it; the last saturates. Any $\|p\|>\rho$ fails.
Cosmological constant	$\rho=\Lambda/8\pi,\ p=-\rho \Rightarrow \rho=\|p\|$	Saturates DEC exactly: the current is null and parallel to $u^\mu$ , so zero spatial flux. Obeys DEC but violates SEC for $\Lambda>0$ .
Electromagnetic field	$T^{\hat0\hat0}=\tfrac12(E^2+B^2)\ge\|\mathbf S\|$	The Poynting flux $\|\mathbf S\|=\|\mathbf E\times\mathbf B\|\le\tfrac12(E^2+B^2)$ , so energy flux never beats energy density. Saturated by a null field ( $E=B$ , $\mathbf E\perp\mathbf B$ ).
General type-I matter	$T^{\hat0\hat0}\ge\|T^{\hat a\hat b}\|\ \forall\,\hat a,\hat b$	In any orthonormal frame the energy-density component is the largest in absolute value — the Hawking-Ellis criterion.
Phantom dark energy	$w<-1 \Rightarrow p<-\rho$	Violates DEC (and WEC): $\|p\|>\rho$ . Sits below the lower boundary of the wedge; drives super-accelerated "big rip" cosmologies.

Common trapDo not conflate DEC with the weak or strong energy conditions

The three named conditions are genuinely different, and the common mistake is to treat them as one. DEC implies WEC but is strictly stronger, because of the causal-flux requirement — a source can measure positive energy for every observer yet still transport that energy faster than light, satisfying WEC while violating DEC. Meanwhile DEC neither implies nor is implied by the strong energy condition (SEC). The cleanest witness is a positive cosmological constant: it saturates DEC ( $\rho=-p>0$ , so $\rho=|p|$ ) yet violates SEC ( $\rho+3p=-2\rho<0$ ). This is why an accelerating, $\Lambda$ -dominated universe is perfectly compatible with causal energy transport even though it defies the focusing intuition SEC encodes. Before quoting "the energy condition", always name which one — a theorem that needs DEC is not rescued by SEC, and vice versa.

Worked examples

1 · Surveying the equations of state (confidence builder)

For each standard cosmological fluid, decide whether it satisfies DEC using $\rho\ge|p|$ , equivalently $|w|\le1$ for $p=w\rho$ with $\rho>0$ .

Step 1. Write DEC in terms of the equation-of-state parameter. With $p=w\rho$ and $\rho>0$ , the condition $\rho\ge|p|$ becomes $1\ge|w|$ , i.e. $-1\le w\le1$ . The two conditions $\rho\ge0$ and $|w|\le1$ are the whole test.

Step 2. Tabulate. Dust $w=0$ : $|w|=0\le1$ , obeys (strictly interior). Radiation $w=1/3$ : $|w|=0.333\le1$ , obeys. Stiff matter $w=1$ : $|w|=1$ , obeys and saturates (the causal boundary — the speed of sound equals $c$ ). Vacuum energy $w=-1$ : $|w|=1$ , obeys and saturates. Phantom energy $w=-1.5$ : $|w|=1.5>1$ , violates.

Step 3. Interpret. The DEC-allowed fluids fill the closed interval $-1\le w\le1$ , the two endpoints tracing the edges of the wedge in the second figure. Observational cosmology lives right at the lower endpoint, since dark energy sits near $w=-1$ — so measuring whether $w$ dips below $-1$ is literally a test of DEC on cosmological scales. All standard fluids from dust to Λ obey DEC; only phantom energy ( $w<-1$ ) breaks it.

2 · A stiff-pressure fluid and the boost that breaks causality (fully worked)

A hypothetical fluid has $p=2\rho$ with $\rho>0$ . Show it violates DEC, and find the Lorentz factor and speed at which an observer first measures a spacelike (superluminal) energy current.

Step 1. Apply the algebraic test. DEC requires $\rho\ge|p|$ , but here $|p|=2\rho>\rho$ , so DEC is violated. (It still obeys WEC, since $\rho+p=3\rho>0$ , and SEC, since $\rho+3p=7\rho>0$ — a clean demonstration that DEC is the strictest of the three.)

Step 2. Locate the violation with the current norm. From Derivation 2, an observer at Lorentz factor $\gamma$ measures $J^\mu J_\mu=-\big[\rho^2\gamma^2-p^2(\gamma^2-1)\big]$ , causal while $\le0$ and spacelike once positive. The threshold (null current) is $\rho^2\gamma^2=p^2(\gamma^2-1)$ .

Step 3. Solve for the critical boost. Rearranging, $\gamma^2(p^2-\rho^2)=p^2$ , so $\gamma_\star^2=\dfrac{p^2}{p^2-\rho^2}$ . With $p=2\rho$ : $\gamma_\star^2=\dfrac{4\rho^2}{4\rho^2-\rho^2}=\dfrac{4}{3}$ , giving $\gamma_\star=\dfrac{2}{\sqrt3}\approx\mathbf{1.155}$ .

Step 4. Convert to a speed. From $\gamma_\star=(1-v_\star^2)^{-1/2}$ , $v_\star^2=1-\gamma_\star^{-2}=1-\tfrac34=\tfrac14$ , so $v_\star=\mathbf{0.5\,c}$ . An observer at half light speed sees the energy current go null; anyone faster sees energy streaming faster than light. The $p=2\rho$ fluid violates DEC, and the pathology becomes explicit for observers boosted past $v=c/2$ ( $\gamma>1.155$ ).

3 · Electromagnetism can never violate DEC

Take crossed fields with $\mathbf E\perp\mathbf B$ in an orthonormal frame. Show the Maxwell stress-energy always obeys DEC, and find when it saturates.

Step 1. Compare the two components. With $T^{\hat0\hat0}=\tfrac12(E^2+B^2)$ and Poynting magnitude $|\mathbf S|=EB$ , the test $T^{\hat0\hat0}\ge|\mathbf S|$ reads $\tfrac12(E^2+B^2)\ge EB$ , which rearranges to $\tfrac12(E-B)^2\ge0$ — true for all field strengths, so classical electromagnetism obeys DEC everywhere.

Step 2. Find the saturating case. Equality needs $E=B$ : a null field, the stress-energy of a plane light wave. With $E=B=1$ , $T^{\hat0\hat0}=1=|\mathbf S|$ — the current is null, DEC saturated. An unbalanced field ( $E=1,\ B=0.5$ ) gives $T^{\hat0\hat0}=0.625>|\mathbf S|=0.5$ , strictly inside the cone. Light rides the DEC boundary; a static or unbalanced field sits inside it.

Physics of the portrait

The dominant energy condition is not the discovery of one person on one day. It is the sharpest member of a family of hypotheses that grew up alongside the global methods of the 1960s and 70s, as relativists learned to prove theorems about spacetime without solving the field equations — replacing the metric with an inequality on the matter.

Origins · 1 mindominant energy condition and how this was discovered

dominant energy condition

the causal energy-flux bound ρ ≥ · p

The energy conditions emerged not from studying matter but from studying spacetime in the large. Through the 1950s, Amalkumar Raychaudhuri's focusing equation showed that the convergence of a bundle of geodesics is driven by a single contraction of the curvature — and hence, through Einstein's equations, by a contraction of the stress-energy tensor. To turn "curvature focuses geodesics" into a theorem one needed the matter term to have a definite sign, and so the energy conditions were born as exactly the inequalities that make focusing inevitable. Roger Penrose's 1965 singularity theorem and Stephen Hawking's cosmological analogue used these positivity hypotheses to prove that gravitational collapse and the Big Bang produce genuine singularities, not artifacts of symmetry. It was the 1973 monograph of Hawking and George Ellis, The Large Scale Structure of Space-Time, that codified the null, weak, strong, and dominant conditions into the standard hierarchy still taught today, and gave the dominant condition its physical reading as the causality of energy flow. The dominant condition then found its deepest application in the positive-mass theorem — Schoen and Yau's 1979 minimal-surface proof and Witten's 1981 spinorial argument both take DEC as the precise hypothesis guaranteeing that the total mass of an isolated gravitating system cannot be negative. What began as a technical crutch for focusing theorems became the sharpest available statement of what it means for matter to be physically reasonable.

History

1955

— Raychaudhuri publishes the focusing equation for geodesic congruences

1965

— Penrose proves the first modern singularity theorem using positivity of the matter term

1973

— Hawking and Ellis codify the null, weak, strong, and dominant conditions in their monograph

1979

— Schoen and Yau prove the positive-mass theorem assuming the dominant energy condition

1981

— Witten gives a spinorial proof of positive mass under the same hypothesis

Going further

Texts. Misner, Thorne & Wheeler, Gravitation, §5.6 and Box 5.3 (the energy conditions) · Wald, General Relativity, §9.2 (conditions and their hierarchy) and §11.2 (positive mass) · Carroll, Spacetime and Geometry, §4.6 · Hawking & Ellis, The Large Scale Structure of Space-Time, §4.3 · Hartle, Gravity, Ch. 22 · Schutz, A First Course in General Relativity, Ch. 4. For the modern status and violations, Curiel, "A Primer on Energy Conditions" (2017), and Fewster's reviews of quantum energy inequalities. Key results to keep in mind: the current norm is $J^\mu J_\mu=-[\rho^2\gamma^2-p^2(\gamma^2-1)]$ , and taking $\gamma\to\infty$ recovers the bound $\rho\ge|p|$ ; the $p=2\rho$ fluid has critical boost $\gamma_\star=2/\sqrt3$ and $v_\star=c/2$ ; the electromagnetic bound follows from $\tfrac12(E^2+B^2)-EB=\tfrac12(E-B)^2\ge0$ ; and the cosmological constant saturates DEC ( $\rho=-p$ ) while violating SEC ( $\rho+3p=-2\rho<0$ ). The standard equation-of-state values are $w=1/3$ (radiation), $w=0$ (dust), $w=1$ (stiff matter), and $w=-1$ (vacuum energy).

Prerequisites. The Stress-Energy Tensor · Perfect Fluid Stress-Energy · The Einstein Field Equations · Local Conservation of Energy-Momentum. Leads to. The Cosmological Constant · Variational Definition of Stress-Energy.

Ask the tutor: Ask me to walk through why a fluid with $p=2\rho$ lets a half-light-speed observer see energy outrun light, or how the same $\rho\ge|p|$ bound makes the total mass of a spacetime provably positive.

What is the actual difference between the dominant and weak energy conditions?

Both require non-negative energy density for every observer, so they share their positivity clause. The weak condition (WEC) stops there — it asks only $\rho\ge0$ and, in eigenvalue form, $\rho+p_i\ge0$ . The dominant condition (DEC) adds a second demand: the whole current $J^\mu=-T^\mu{}_\nu u^\nu$ , not just its time component, must be causal, so energy is transported no faster than light. For a perfect fluid WEC reads $\rho\ge0$ and $\rho+p\ge0$ , while DEC tightens this to $\rho\ge|p|$ . Every DEC tensor satisfies WEC, but not conversely: a fluid with $|p|>\rho>0$ obeys WEC while allowing superluminal energy flow for boosted observers, which DEC forbids.

Why is it called the "dominant" energy condition?

Because the energy density must dominate — be at least as large as — every stress in the matter. In an orthonormal frame the statement is $T^{\hat0\hat0}\ge|T^{\hat a\hat b}|$ : the energy-density entry is the biggest number in the whole stress-energy tensor in absolute value, collapsing to $\rho\ge|p|$ for an isotropic fluid. The name captures the physics exactly: if any stress out-dominated the energy density, the momentum flux it carries would outrun the energy that supports it, and some observer would see energy flow faster than light. "Dominant" is the algebraic face of that causal limit.

Does DEC forbid negative pressure?

No — negative pressure is fine and abundant in physics. DEC constrains the magnitude of the pressure, not its sign: $\rho\ge|p|$ allows $p$ anywhere in $-\rho\le p\le\rho$ . A positive cosmological constant has the maximally negative pressure allowed, $p=-\rho$ , and still obeys DEC — indeed it saturates it. Cosmic dark energy near $w=-1$ and the tension in a stretched field involve negative pressure with no DEC violation. The condition only bites when the pressure magnitude exceeds the energy density: $p<-\rho$ (phantom) or $p>\rho$ (ultra-stiff) break it, one on each side of the allowed wedge.

Why does the positive-mass theorem need DEC specifically, not just positive energy density?

Because positive local energy density is not enough to force the total mass positive — one can build initial data with $\rho\ge0$ everywhere whose ADM mass would come out negative if nothing constrained the momentum flux. The Schoen-Yau and Witten theorems need the full local dominant condition, $\rho\ge|\mathbf J|$ at every point of the initial slice, with $\mathbf J$ the momentum density. It is exactly this causal-flux bound — energy density dominating momentum density — that lets the global argument close and prove $M_{\text{ADM}}\ge0$ , equality only for Minkowski space. Weakening DEC to WEC breaks the proof.

Can quantum fields violate the dominant energy condition?

Yes — and this is one of the most important facts about DEC: it is a classical condition that quantum matter can breach. The Casimir effect gives genuinely negative energy density between conducting plates; squeezed light and the region outside a black hole (Hawking radiation) also carry locally negative energy, making $\rho<0$ or $\rho<|p|$ for some observer. But the violations are severely rationed: the quantum energy inequalities of Ford and Roman bound how negative the energy can get and for how long, in an uncertainty-principle-like trade-off. So DEC survives as an excellent approximation for macroscopic matter, and the exotic matter for wormholes or warp drives, while not strictly forbidden, is very hard to assemble.

Why is DEC imposed only for observers, not for every vector?

Because DEC is a statement about what physical observers measure, and observers move on future-directed timelike worldlines. The current $J^\mu=-T^\mu{}_\nu u^\nu$ means "the energy-momentum this observer attributes to the matter" only when $u^\mu$ is future timelike (the null case following by continuity). Demanding $J^\mu$ be causal for spacelike $u^\mu$ as well would be a different, much stronger, generally unphysical requirement — a spacelike $u^\mu$ is no observer, so that inequality carries no measurement meaning. The restriction to the future light cone is what makes DEC the precise encoding of "no observer ever sees energy travel faster than light".