Manuscript Oai280-A@1 · Oai280-A.tex · remark · 27038823

Remark: Reference and preparation qualifications

A tensor-free comparison used in the finite certificate · lines 714–724

Back to manuscript

A UCP factorization remains completely positive under independent matrix-reference amplification. This is not an identification of a reference carrying shared gauge constraints with an independent tensor factor.

The use of all states, or all normal states in the normal version, is essential. A restricted preparation family may fail to separate the regional algebra. Equality on that family alone does not prove the containment in Theorem thm:comparison.

Nearby in this section