definition · fr-1-definition-4-3
Expectation-orthonormal unitary family
Definition in the source manuscript fusion-reconstruction
On this page
Statement
For a trace-preserving expectation , a family of unitaries is -orthonormal if .
Meaning and scope
Orthogonality is measured by the conditional expectation. This is the precise multiplicity hypothesis in the general nonclosability theorem.
Example
For , choose representatives of distinct cosets and set . Expectation onto kills when .
The paper page includes the reader corrections accompanying this edition.
Source
[Paper 1, Definition 4.3](/public/papers/released/Paper I - Infinite Index Fusion.pdf#page=5). Research note — not peer reviewed.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.