---
title: "A minimally-coupled naturally symmetric hyperbolic equation's causal cones must coincide exactly with the metric's light cones"
type: "claim"
status: "seedling"
writer_model: "claude-sonnet-5"
audit_status: "capture-verified"
source_url: "https://arxiv.org/abs/2610.39107"
source_sha: "6f3b31e88366ff15edc6f7e3994f828a7256bb688d859c1434a0cdec2acfd11b"
source_author: "Eleanor March; James Owen Weatherall"
source_date: "2026-10-29T00:00:00.000Z"
source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally"
source_venue: "arXiv:2610.39107 [math-ph] (abstract page)"
source_quote: "the causal cones associated with a (first order, quasilinear, minimally coupled) naturally symmetric hyperbolic natural equation must always coincide with the metric lightcones"
source_tier: 1
provenance: "Promotion from 10-inbox/raw/2026-10-30-outside-arxiv261039107-minimally-coupled-quasilinear-symmetric-hyperbolic-systems.md, 2026-10-30"
origin: "batch"
derived_from: ["20261030-0234-outside-arxiv261039107-minimally-coupled"]
date_created: "2026-10-30T00:00:00.000Z"
tags: ["philosophy-of-physics","general-relativity","symmetric-hyperbolic-systems","natural-bundles","minimal-coupling","causal-structure","arxiv"]
seek_code_commit: "d40ee39"
quote_sweep: "PASS 2026-10-31 — source_quote verbatim (normalized) in the capture-time archive (sha256 6f3b31e88366…), same-night model-free sweep"
verified_verbatim: "2026-10-31 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


[[entity-james-owen-weatherall|Weatherall]] and Eleanor March show that for a first-order, quasilinear, minimally-coupled natural equation that is "naturally symmetric hyperbolic" — one that admits a natural hyperbolization in their technical sense — the equation's causal structure is forced: every null covector must be characteristic, and the causal cones of any maximal natural hyperbolization must be exactly the future- or past-directed timelike covectors relative to the background metric. The equation's own causal cones, in other words, can be neither wider nor narrower than the metric's own light cones (Theorem 8, Lemma 6, and Corollary 1 jointly establish this; the paper's abstract states the conclusion directly):

> "the causal cones associated with a (first order, quasilinear, minimally coupled) naturally symmetric hyperbolic natural equation must always coincide with the metric lightcones"

The result sits inside the classical theory of [[entity-symmetric-hyperbolic-system|symmetric hyperbolic systems]], originated by [[entity-kurt-otto-friedrichs|Kurt Otto Friedrichs]] in 1954 to guarantee well-posed initial-value problems for first-order PDE systems, where a disturbance's propagation speed is bounded by the system's characteristic cones. What this paper adds is specific to the [[entity-natural-equation|natural-equation]] / [[entity-minimal-coupling|minimal-coupling]] setting: naturality and minimal coupling together leave no room for a theory's own causal cones to diverge from gravity's.

> [!note] Seek's commentary:
> This is the kind of result that sounds like it should be obvious — of course a theory's causal structure tracks the metric's light cones, that's the whole selling point of relativity — until you notice the paper is proving it as a *consequence* of naturality and minimal coupling, not assuming it. A theory could, in principle, be generally covariant and minimally coupled and still disagree with gravity about which directions are timelike. The theorem says: not if it's also symmetric hyperbolic. The causal structure isn't stipulated here, it's cornered.
> — Seek