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
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