What does Definition V.2 (Causal cone) establish in the Structural Selection corpus, and what is its proof status?
Last reviewed 2026-07-16 · Structural Selection Physics Encyclopedia (AI-assisted pipeline) · This page was drafted by an AI system (Claude) with direct tool access to the verified Structural Selection corpus source file -- the full text of Appendix V ('The Emergent Causal Cone -- Causality Without Spacetime Geometry') was read directly, not paraphrased from a summary -- and independent web research for external physics sources, each retrieved and checked before citation. It has not been reviewed by a human physicist. This appendix also contains Definition V.1 (Causal influence), Theorem V.1 (Emergent causal cone), and Corollary V.1 (Frame invariance of the cone); a companion page in this encyclopedia already covers Corollary V.1 on its own terms, and this page deliberately focuses on Definition V.2 and does not duplicate that page's content, though Theorem V.1 is discussed here because it is the result that gives Definition V.2 physical (rather than merely stipulative) content. Report a problem via the corpus's Open Review page.
Direct answer
Definition V.2 (Causal cone), given in Section V.4 of Appendix V of the Structural Selection corpus ('Gravity as a Temporally Closed Dynamical Phase'), is an operational, set-builder definition of an emergent causal cone. For a perturbation injected at region A at time t0, it defines the causal accessibility set at time t as C(A,t0;t) := {B : d(A,B) <= c_eff(t-t0)} -- the set of all regions B whose distance from A is no greater than c_eff times the elapsed time. The boundary of this set, d(A,B) = c_eff(t-t0), is what the appendix calls 'the emergent causal cone surface,' and the text states in its own words that this boundary 'is not postulated; it is the maximal domain within which coherent influence can be validated' (Section V.4). Two prior corpus results are packaged into this single definition: (1) c_eff, the finite, horizon-invariant maximum propagation speed established (with qualifications) in Appendix R and restated in Section V.3 of this appendix as v_signal <= c_eff < infinity; and (2) d(A,B), which the appendix defines explicitly as 'the Euclidean distance between regions in the simulation domain (or, more generally, the metric distance on the computational manifold used to evaluate spatial gradients and fluxes in the governing PDE)' (Section V.4). Definition V.2 is, in the strict sense, just a definition -- a stipulation of a set given two already-defined ingredients (c_eff and d) -- so it is not itself a claim that admits proof or disproof the way a theorem does. What can be proved, and is proved immediately afterward as Theorem V.1 (Emergent causal cone, Section V.5), is the substantive physical claim that this defined set actually coincides with (bounds) the set of regions that can be coherently, horizon-robustly influenced -- i.e. that Definition V.2's cone is not an arbitrary geometric construct but the actual boundary of dynamical causal reach. That proof proceeds by contradiction: it assumes coherent influence outside the cone implies an effective speed exceeding c_eff, then invokes Appendix R's claim that any influence exceeding c_eff cannot retain phase coherence under 'horizon extension' (the corpus's T -> kT, k in {1,2,4} robustness test). So Definition V.2's proof status is two-layered: as a definition it requires no proof, only well-posedness (which holds, given a finite c_eff and a well-defined distance function); as a physically meaningful claim about the true causal boundary of the dynamics, its 'not postulated' status is only as strong as (a) Theorem V.1's proof, which is a contradiction argument resting entirely on Appendix R's own robustness criterion rather than an independent derivation, and (b) the antecedent finiteness of c_eff itself, which Appendix R derives via a dimensional/scaling argument validated numerically rather than an analytic proof from an explicit equation of motion. There is also an internal tension worth flagging: Section V.1 of this same appendix states that 'no metric g_{mu nu}' is assumed, yet Definition V.2's own distance function d(A,B) is explicitly a spatial metric (Euclidean, or more generally a 'metric distance on the computational manifold') -- so the claim of geometry-free construction applies to the absence of a Lorentzian spacetime metric specifically, not to the absence of any metric structure at all; a background spatial distance is quietly presupposed in the very definition that is advertised as deriving causal structure 'without spacetime geometry.'
Standard physics
In special and general relativity, the causal structure of spacetime is a geometric primitive derived directly from a given spacetime metric g_{mu nu}: at each event, the light cone (null cone) is the set of directions along which light rays -- null geodesics of the metric -- can travel, and it partitions nearby events into timelike-separated (causally connectable by a physical particle), null-separated (on the cone), and spacelike-separated (causally disconnected) categories. This causal-structure-from-a-metric approach, with the metric taken as fundamental input (flat Minkowski in special relativity, or dynamical via the Einstein field equations in general relativity), is standard general relativity, developed into a rigorous formalism (chronological and causal relations, achronal sets, Cauchy horizons, global hyperbolicity) in the causal-structure treatment originating with Hawking, Penrose, and Geroch's work in the late 1960s and codified in the standard graduate reference on the subject.
- The Large Scale Structure of Space-Time — Cambridge University Press (Cambridge Monographs on Mathematical Physics), 1973
Causal set theory, initiated by Bombelli, Lee, Meyer, and Sorkin, is a peer-reviewed, decades-active approach to quantum gravity in which the fundamental structure is a discrete, locally finite partially ordered set (a 'causal set'): causal order between elements is the primary, given structure, and an approximate continuum Lorentzian manifold -- including its light-cone/causal structure -- is what is supposed to emerge in a suitable large-scale limit, rather than a metric being assumed first and causal order read off from it. This is a genuine, real research-literature example of a dynamics/order-first approach to causal structure, though it remains an open research program: it is not an experimentally confirmed description of physical spacetime, and no observation has established that spacetime is discrete or that it is literally a causal set.
- Space-Time as a Causal Set — Physical Review Letters (American Physical Society), 59, 521 (1987) — source
In analogue-gravity systems -- e.g. sound (phonon) propagation in a moving barotropic, irrotational fluid or a Bose-Einstein condensate -- linearized perturbations obey a wave equation identical in form to a massless scalar field propagating on a curved Lorentzian 'acoustic metric' built entirely out of the background flow's velocity field and local sound speed. The resulting acoustic light cones and causal structure (including analogue horizons) are derived directly, in explicit closed form, from the fluid's own continuity and Euler equations -- rather than postulated -- and this causal-structure-without-a-fundamental-relativistic-spacetime construction has been analyzed in detail, including formal treatment of achronal and horizon-type structure for these acoustic spacetimes, in the peer-reviewed literature. This is a genuine, well-established theoretical (and in several systems experimentally realized) analogue framework; it is not a claim that the physical vacuum of our universe is a fluid.
Mathematical background
Appendix V builds Definition V.2 out of results imported from other appendices, none of which is re-derived here. Section V.3 restates Appendix R's finite-speed bound as v_signal <= c_eff < infinity, with c_eff said to be 'horizon-invariant,' and asserts 'No additional assumptions are required: this bound follows from the incompatibility of coherence transmission with dissipation beyond the coherence timescale' -- a claim taken as given rather than re-proved in this appendix. Section V.4 then defines d(A,B) as a spatial (Euclidean, or computational-manifold) distance and packages c_eff and d into the boxed set C(A,t0;t) := {B : d(A,B) <= c_eff(t-t0)}, with boundary d(A,B) = c_eff(t-t0). Section V.5's Theorem V.1 proves, by contradiction, that any region coherently and horizon-robustly influenced by a perturbation at (A,t0) must lie inside this set: assuming a coherent, horizon-robust response at (B,t) with d(A,B) > c_eff(t-t0) implies an effective speed v_eff = d(A,B)/(t-t0) > c_eff, which by Appendix R's result cannot retain phase coherence under horizon extension, contradicting the assumed horizon robustness. Section V.6 (covered by a separate encyclopedia page on Corollary V.1) then argues the cone is frame-invariant because Appendix S's admissible transformation group is defined exactly as the group preserving c_eff. Section V.7 partitions space into inside/on/outside the cone using the same inequality. Section V.8 imports a definition from Appendix T ('massless excitation iff v = c_eff') to identify the cone boundary with 'light' operationally, concluding 'Cone boundary = lightlike (coherence-saturated) propagation' without introducing a null-cone geometric structure. Section V.9 states the appendix's overall logical-order claim as a chain: 'dissipation + coherence + horizon robustness => c_eff => causal cone => admissible kinematics and effective geometry,' summarized as 'causality is not a spacetime axiom; it is the stability envelope of coherent dynamical organization.' None of Appendices R, S, or T is reproduced or independently re-derived within Appendix V itself; Definition V.2 is a downstream packaging of their results into a single geometric object.
What remains open
Several gaps separate Definition V.2's 'not postulated' framing from a fully self-contained derivation. First, c_eff's finiteness rests on Appendix R's dimensional/scaling argument together with a numerical horizon-extension robustness test (T -> kT for k in {1,2,4}), not a closed-form derivation from an explicit equation of motion; Definition V.2 imports this result rather than re-establishing it. Second, d(A,B) is asserted, not derived, as 'the Euclidean distance between regions in the simulation domain (or, more generally, the metric distance on the computational manifold...)' -- a background spatial metric that Appendix V never justifies as the physically correct choice, and that the appendix's stated 'no metric' framing (Section V.1) does not explicitly reconcile with. Third, Theorem V.1's proof is a contradiction argument that leans entirely on Appendix R's own robustness criterion; it does not independently verify, from first principles within Appendix V, that no faster-than-c_eff coherent response can occur -- it takes Appendix R's assertion as a premise. Fourth, the phrase 'simulation domain' and 'computational manifold' in Section V.4 signal that d(A,B) presupposes a numerical grid or mesh already equipped with a metric structure prior to any dynamics -- an unacknowledged geometric input relative to the appendix's stated ambition of causality 'without spacetime geometry.' Fifth, no worked numerical example of the cone construction itself appears in Appendix V (a concrete c_eff value, a specific A, B, t0, t, and a check that a measured response indeed lies on or inside the predicted boundary); the corpus's own lab-validation ledger entry most relevant here (B4_emergent_causality) checks the underlying finite-speed/horizon-invariance property using Appendix R's operational definition, not the specific reachability-set construction of Definition V.2 as a separately verified claim. Sixth, k in {1,2,4} is a narrow, discrete horizon-extension test; nothing in the text establishes the bound for arbitrary T.
Structural Selection perspective
The corpus derives, under the following assumptions…
Given three prior results the corpus treats as already established elsewhere in the same larger work -- (1) a finite, horizon-invariant maximum coherent-influence speed c_eff (Appendix R), (2) a spatial distance function d(A,B) taken as the Euclidean (or computational-manifold) distance between regions in the simulation domain, and (3) Definition V.1's operational notion of 'coherent influence' as a statistically reproducible, phase-coherent response surviving seed variation, grid refinement, and horizon extension T -> kT for k in {1,2,4} -- Definition V.2 packages c_eff and d into a single geometric object: the causal accessibility set C(A,t0;t) := {B : d(A,B) <= c_eff(t-t0)}, whose boundary the corpus calls the emergent causal cone surface. The corpus's stated point is epistemic, not merely notational: in relativity the light cone is read off a metric assumed as a geometric primitive, whereas here the corpus's claim is that no metric g_{mu nu}, null condition, geodesic structure, or a priori causal cone is assumed anywhere upstream -- c_eff comes from a dissipation/coherence scaling argument (Appendix R) rather than a metric, and the cone is simply the reachability region that a finite speed generates. Theorem V.1, proved by contradiction immediately after Definition V.2 in Section V.5, is what the corpus offers as justification that this defined set is not an arbitrary choice but actually bounds real coherent influence: any response outside the set would imply an effective speed exceeding c_eff, which Appendix R's own criterion says cannot survive horizon extension, so (given that Appendix R claim) a horizon-robust coherent response cannot occur outside the cone. Section V.9 then states the corpus's intended logical reversal explicitly: dissipation + coherence + horizon robustness implies c_eff implies causal cone implies admissible kinematics and effective geometry -- the opposite order from standard theories, where 'the cone is fundamental and forces are placed inside it.' Read strictly against the text, however, Definition V.2's own 'not postulated' claim is not self-standing: it is exactly as strong as (a) Appendix R's finiteness derivation for c_eff, which that appendix's own text presents as a dimensional/scaling argument tied to a numerical horizon-extension test rather than a closed-form analytic result, and (b) the unexplained choice of d(A,B) as a Euclidean or computational-manifold distance, which is itself a spatial metric quietly assumed rather than derived -- so while Appendix V is honest that no spacetime (Lorentzian) metric is postulated, it does rely on a background spatial metric to even state Definition V.2, a distinction the appendix's Section V.1 framing does not draw out explicitly.
Corpus derivation / interpretation
Definition V.2 defines, for a perturbation injected at region A at time t0, the causal accessibility set at time t as the set of regions B whose distance from A is at most c_eff times the elapsed time: C(A,t0;t) := {B : d(A,B) <= c_eff(t-t0)}. The boundary of this set, d(A,B) = c_eff(t-t0), is called the emergent causal cone surface, and the corpus states this boundary 'is not postulated; it is the maximal domain within which coherent influence can be validated.'
The distance function used in Definition V.2, d(A,B), is explicitly defined in the same section as a spatial distance -- Euclidean distance between regions in the simulation domain, or more generally the metric distance on the computational manifold used to evaluate spatial gradients and fluxes in the governing PDE -- imported as a background input rather than derived from the framework's own dynamics.
Theorem V.1 (Emergent causal cone) is the result that gives Definition V.2 physical content beyond a bare stipulation: it states that in any dissipative system supporting horizon-robust inertial organization, the set of regions coherently influenced by a localized perturbation at t0 is contained in the cone defined by c_eff. Its proof proceeds by contradiction: assuming a coherent, horizon-robust response outside the cone implies an effective speed exceeding c_eff, which Appendix R's result says cannot retain phase coherence under horizon extension -- contradicting the assumption.
Section V.8 identifies the cone boundary with 'light' in this framework's operational sense, importing Appendix T's definition that a massless excitation is one that propagates exactly at v = c_eff, and concludes the cone boundary reproduces the logical role of a null cone without introducing null/Lorentzian geometry.
The corpus's own internal lab-validation ledger records a numerical robustness check (B4_emergent_causality) confirming that a finite, horizon-invariant maximum signal speed emerges from dissipation and coherence loss, drawing jointly on Appendices R, S, V, and others in the causality/Lorentz-invariance-from-closure cluster. This check supports the underlying finiteness of c_eff that Definition V.2 packages into a cone, but it is a check of that finite-speed claim -- fitted propagation speeds at two horizon extensions with reported r^2 fit quality -- not a separate, direct numerical test of the geometric reachability-set construction of Definition V.2 itself.
Comparison
Three real precedents for 'deriving causal structure rather than postulating it' exist in the physics literature, and Definition V.2 should be read against each. (1) Standard relativity is the baseline the corpus explicitly contrasts itself with: SR/GR simply take the metric g_{mu nu} as given (postulated in SR, dynamical via the Einstein equations in GR) and read the light cone off of it directly -- Hawking and Ellis's causal-structure formalism builds an entire rigorous apparatus (chronological/causal relations, Cauchy horizons, global hyperbolicity) on top of that metric, so 'deriving' the cone is not a goal of that framework; the metric itself is the primitive. (2) Causal set theory is the closest real analogue to the corpus's stated ambition: it takes causal order as fundamental and dynamically primary, with an approximate metric (and light-cone structure) meant to emerge from the discrete order in a continuum limit -- exactly the 'order/dynamics first, geometry second' logical direction Definition V.2 gestures at. But causal set theory constructs this emergence through a specific, mathematically developed correspondence (Bombelli, Lee, Meyer, and Sorkin's original arguments and decades of subsequent work on recovering dimension and metric information from the order relation alone), whereas Definition V.2 does not construct an emergent metric at all -- it defines a reachability set using an already-given, unexplained distance function d(A,B). (3) Analogue gravity is the closest real analogue to the corpus's specific mechanism (a maximum propagation speed derived from a physical medium's dynamics): the acoustic metric in a BEC or fluid is written down in explicit closed form directly from the linearized Euler and continuity equations, so the emergent causal cone there really is derived, term by term, from stated equations of motion -- a demonstrably stronger sense of 'derived, not postulated' than Definition V.2 achieves, since Appendix V never writes down the governing PDE from which c_eff or d(A,B) follow; both are imported as already-established quantities from other appendices (c_eff from Appendix R's scaling argument, d from an unexplained choice of Euclidean or 'computational manifold' distance). Definition V.2's genuine contribution, relative to these three precedents, is narrower than it may first appear: it is the packaging of a previously asserted finite speed and an asserted spatial distance function into a single geometric object (a region growing linearly in time), together with a contradiction-based theorem (Theorem V.1) that this packaged object bounds actual coherent influence -- not an independent derivation of causal structure from a stated, explicit dynamical law in the way causal set theory (from discrete order) or analogue gravity (from fluid PDEs) achieve.
Predictions or consequences
Within the corpus's own stated program, Definition V.2 feeds forward into two further internal results in this same appendix: Corollary V.1 (Section V.6, covered on its own page in this encyclopedia), which argues the cone is invariant under all 'admissible frames' because Appendix S defines that transformation group as exactly the group preserving c_eff; and Section V.8's identification of the cone boundary with 'light' in this framework's operational sense (massless excitation iff v = c_eff), stated as reproducing 'the logical role of null cones without introducing null geometry.' These are internal, forward-referenced consequences of the corpus's own framework, not independently established physical facts. No prediction in Appendix V is stated in a form checkable against real experimental or observational data: no numerical value of c_eff is given, no comparison to the measured speed of light appears, and no specific physical system (material, astrophysical observable, or dataset) is named. The only externally-facing consequence implicit in Definition V.2 is a generic, qualitative one already familiar from analogue-gravity systems and Lieb-Robinson-bound physics -- that a finite propagation speed produces a light-cone-like causal boundary -- which is not novel to this corpus and is not presented here with any new checkable numerical content.
Falsifiability
As a claim about the real physical world, Definition V.2 (and the cone it defines) is not falsifiable in its current form: it introduces no numerically specified c_eff, no named physical system, and no comparison to a measured quantity that an experiment could contradict. Within the corpus's own internal framework, however, the construction does have a narrow, self-referential checkability: because Theorem V.1's proof rests entirely on Appendix R's horizon-extension robustness criterion (T -> kT for k in {1,2,4}), the definition could in principle be undermined internally by exhibiting a validated simulation run in which a statistically reproducible, phase-coherent response (per Definition V.1) is observed at a region B with d(A,B) > c_eff(t-t0) that nonetheless survives the k in {1,2,4} horizon-extension test -- i.e. a coherent, horizon-robust response outside the predicted cone. The corpus's own lab-validation ledger records a related but distinct check, B4_emergent_causality, confirming that a finite, horizon-invariant maximum signal speed emerges from dissipation and coherence loss (drawing on Appendices R, S, V, and others), but that check verifies the finiteness/horizon-invariance of c_eff itself, not the specific geometric cone-boundary construction of Definition V.2 as a separately tested claim. This review had access only to the appendix text and the summary lab-validation ledger, not to the validator's underlying code, logs, or per-run output tables, so whether the specific cone-boundary claim has been checked against simulation data beyond the B4 summary entry could not be independently assessed here.
Limitations
This review is based on the full text of Appendix V as it exists in the corpus, not on the underlying numerical pipeline, code, or per-run simulation logs referenced throughout as 'the validator' or 'the simulation domain.' Several consequences follow. First, Definition V.2 imports c_eff from Appendix R without re-deriving it in this appendix; this page treats Appendix R's own derivation as it is described in Appendix V and in the corpus's lab-validation ledger, and readers should note that a companion page in this encyclopedia (on Theorem R.1) documents that Appendix R's finiteness argument is a scaling/dimensional argument validated numerically rather than an analytic proof from an explicit equation of motion -- Definition V.2 inherits, rather than resolves, that evidentiary gap. Second, the distance function d(A,B) is stated in Section V.4 to be 'the Euclidean distance between regions in the simulation domain (or, more generally, the metric distance on the computational manifold used to evaluate spatial gradients and fluxes in the governing PDE),' but Appendix V does not identify which governing PDE, which computational manifold, or which specific simulations this refers to; this is a background spatial-metric assumption that the appendix's 'no metric g_{mu nu}' framing in Section V.1 does not explicitly address, since that framing concerns the absence of a Lorentzian spacetime metric specifically, not the absence of any metric structure whatsoever. Third, the B4_emergent_causality entry in the corpus's own lab-validation ledger is cited here as the closest identifiable numerical-evidence anchor for the finite-c_eff claim underlying Definition V.2, but that ledger entry is a summary record (measured fit parameters, pass/fail flags) rather than a reproducible dataset or code repository, and it explicitly notes its own dimensional cross-check 'order_of_magnitude_consistent' as false -- a caveat this page preserves rather than smooths over. Fourth, this page makes no claim that Definition V.2's causal cone has been shown to correspond numerically to the actual speed of light, to any measured propagation speed in a real physical system, or to any experimentally observed causal structure; the appendix supplies no such comparison, and none is claimed here. Finally, the 'Spacetime and causality' category tag on this page reflects the topic of Definition V.2 itself; readers should not infer from that tag that the corpus's broader claims about gravity, spacetime emergence, or cosmology have been independently verified by this review, which is scoped narrowly to Definition V.2 and the immediately supporting Theorem V.1.
References
- The Large Scale Structure of Space-Time — Cambridge University Press (Cambridge Monographs on Mathematical Physics), 1973
- Space-Time as a Causal Set — Physical Review Letters (American Physical Society), 59, 521 (1987) — https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.59.521
- Analogue Gravity — Living Reviews in Relativity 8, 12 (2005); updated as 14, 3 (2011) — https://arxiv.org/abs/gr-qc/0505065
- Causal Structure of Analogue Spacetimes — New Journal of Physics (IOP Publishing), 6, 186 (2004) — https://arxiv.org/abs/gr-qc/0408022