Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
The remaining finite-capacity question and partial slack
The remaining finite-capacity question and partial slack · lines 1694–1719
En02-A@1#op:G
For a fixed , do the requirements defining , without diagonal faithfulness, force every capacity- outcome law and every positive residual ray to be Born and destructive projective, respectively?
A witness-specific version asks whether an admissible strategy can deviate at a specified input not already anchored by a certificate. For capacity three, one possible diagnostic is
No claim is made that this diagnostic captures every possible deviation.
The diagnostic at is identically zero on by Corollary cor:third. It is therefore unsuitable as an open capacity-three witness.
Displayed formulas in this passage
unlabeled · line 1707