Manuscript XIX-D@1 · XIX-D.tex · proposition · 1f47e33b
Proposition: One coarse channel with two exactly consistent continuous-time completions
Finite instruments and continuum quantum non-determination › Even exact subdivision does not select a unique evolution · lines 1096–1152 · proof included or linked
XIX-D@1#prop:evolution
The identity qubit channel has two different continuous-time channel groups with the same time-one channel. Each group has exact subdivision channels whose -fold composition equals the common coarse channel. The corresponding tick approximations converge uniformly on compact time intervals in diamond norm, but their limits differ.
Proof. Let
Both families are continuous channel groups. Since ,
At refinement , use the tick channel
Then exactly.
Define
For real ,
For an arbitrary reference and a trace-class input , expanding the difference of the two unitary conjugations gives a trace-norm bound . Hence
uniformly in .
At , leaves unchanged, whereas sends it to . The two outputs have trace distance one. The limiting evolutions therefore differ.
Displayed formulas in this passage
unlabeled · line 1108
unlabeled · line 1117
unlabeled · line 1121
unlabeled · line 1127
unlabeled · line 1133
unlabeled · line 1142