Manuscript XXII-B@1 · XXII-B.tex · section · 9d5c569c
Candidate A: process-matrix signalling data
Operational languages and candidate data › Candidate A: process-matrix signalling data · lines 295–328
XXII-B@1#eq:process-probabilities
Fix bases and use the unnormalized Choi operator
where is the full transpose in those bases. In this convention a process matrix assigns
Positivity and normalization for all admitted local instruments, including the required ancillary extensions, are part of process validity OCB.
Candidate A consists of , the instrument-access declaration, and its unconditional signalling tests. The framework does not impose one global party order at the outset. This does not mean that every lacks definite order, nor that causal nonseparability selects a Lorentz cone.
The extracted object initially is a signalling relation. The phrase “the signalling partial order of ” is permissible only after an order theorem or a declared order-forming construction.
Displayed formulas in this passage
unlabeled · line 298
XXII-B@1#eq:process-probabilities · line 307