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

Back to manuscript

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

Nearby in this section