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

Back to manuscript

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

Nearby in this section