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

Back to manuscript

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

Nearby in this section