Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0

The channel-completion interface

The channel-completion interface · lines 1341–1346

This is a conditional construction from any qualifying pair. It is not a new assertion that the external channel in dimension $21$ has a particular third iterate.

Nearby in this section

theorem: Theorem: A PPT pair gives a 2d+1-dimensional channel
section: The channel-completion interface
remark: Remark: The reference inclusion must be conjugated correctly
remark: Remark: Product-free range belongs to the corner
proposition: Proposition: Second-iterate failure need not persist forever