Manuscript VI-B@1 · VI-B-v1.tex · proposition · 33798723
Proposition: Calibration and dictionary nonuniqueness
Destructive clock, complete instrument, and dictionaries › Three dictionaries · lines 1701–1729 · proof included or linked
VI-B@1#prop:dictionary
With distinct time labels, exact event-time calibration at a fixed event ,
has at most one supported outcome. For a normalized input it therefore has one deterministic outcome, or is impossible.
The clock and payload channels do not uniquely determine the history map, rod frame, or conical deficit.
Proof. Distinctness permits at most one index with , and probabilities sum to one. If the corresponding clock effect has probability one, positivity implies that the input is supported in that clock subspace.
For nonuniqueness, leave every finite matrix unchanged and reassign the history times, or rotate the developing rod frame and corresponding port coordinates. The abstract instrument is unchanged. Likewise different prescribed deficits admit isometric small regular laboratories carrying the same finite matrices and schedule. Their global completions differ.
Displayed formulas in this passage
unlabeled · line 1705