Manuscript I-B@1 · I-B-v1.tex · proposition · 5357688f

Proposition: When a basis change can be a label relabelling

What destructive clock reading does and does not do › Basis change is not generally coordinate change · lines 895–919 · proof included or linked

I-B@1#prop:basis

Back to manuscript

Assume the are distinct. If

for a function on the finite spectrum, then permutes the one-dimensional eigenspaces of , up to phases. Consequently, a general unitary basis change is not even a finite relabeling of the original pointer, much less a spacetime coordinate transformation.

Proof. The conjugated operator has simple spectrum. Hence must also have distinct eigenvalues. Its eigenvectors are the original , whereas those of the conjugated operator are . Simplicity identifies these two collections of one-dimensional eigenspaces by a permutation.

For a concrete failure, take , use the computational reading basis, and apply Hadamard to the input . The originally deterministic reading becomes a two-outcome distribution. A deterministic relabelling of the original reading cannot do this.

Displayed formulas in this passage

  • unlabeled · line 898

Nearby in this section