Manuscript VII-J-ST@1 · VII-J-ST.tex · section · f1f1d82c

Causal embedding, realized routes, and robustness

Causal embedding, realized routes, and robustness · lines 647–660

Give each port $v$ a prescribed event $p_{v} \in M$ . Every dependency edge $u \to v$ must have a certified future-causal route in the operational tube. For uncertain regions $L_{u}, L_{v}$ , a conservative sufficient condition is

p ⪯_{g} q for all p \in L_{u}, q \in L_{v} .

A weaker allowance must specify the correlated endpoint choices and their actual routes.

Displayed formulas in this passage

unlabeled · line 654
$p ⪯_{g} q for all p \in L_{u}, q \in L_{v} .$

Nearby in this section

theorem: Theorem: Encoded physical containment
section: Causal embedding, realized routes, and robustness