Manuscript En01-A@1 · En01-A.tex · corollary · 558b972b

Corollary: Scalar data do not determine agreement

Exact operator cancellation with unchanged scalar data · lines 2006–2017 · proof included or linked

En01-A@1#cor:noscalar

Back to manuscript

No function of the copy-class structure, branch probabilities, and pairwise scalar visibilities alone decides whether . The states at and have exactly the same such data on the same interface, but discrepancies and zero.

Proof. The data equality and discrepancy inequality are Proposition prop:cancellation.

Nearby in this section