Manuscript X-K-ST@1 · X-K-ST.tex · proposition · 93c39c0f
Proposition: A simple finite-cut non-determination witness
External time and Problem 8 › Finite cuts do not determine a continuum interpolation · lines 1713–1733 · proof included or linked
X-K-ST@1#prop:interpolation
A finite list of channel values at externally specified cuts does not in general determine the intermediate continuous-time family.
Proof. Take one co-located qubit and finitely many sampling times . The identity family agrees at those times with
where is a nonzero smooth function supported strictly between two successive cuts and chosen not always to be an integer multiple of . At every sampled time , but is nontrivial at some intermediate time.
Displayed formulas in this passage
unlabeled · line 1724