Manuscript En09-A@1 · En09-A.tex · example · eafec9de
Example: An energy readout is not automatically a time readout
The complete relational Enter theorem › The instrument and the conditioning target · lines 652–675
En09-A@1#ex:energy-basis
Take one clock qubit and one system qubit, with
Then . Enter in the clock energy basis produces system states and , each with probability . However, for every ; it cannot turn the first conditional state into the second.
The problem is not failure of the extraction identity. It is failure of the proposed basis to satisfy clock covariance for two distinct readings. Changing to the clock basis , , with , produces the conditional system states and , which do satisfy the asserted evolution.
Displayed formulas in this passage
unlabeled · line 655