Manuscript En01-B@2 · En01-B-v2.tex · proposition · f226d1eb
Proposition: Heating is not source identification
Residual force noise under independent calibration › Calibration records versus a calibrated interval · lines 1334–1361 · proof included or linked
En01-B@2#prop:heating
For a pure force-diffusion term , its contribution to momentum heating is
If two models have identical centre-of-mass generators throughout a heating calibration and the interferometer, all admitted centre-of-mass calibration instruments have identical laws. Total heating alone does not identify the environmental part of .
Proof. On a common moment domain,
Move the double commutator to the observable. This is the diffusion contribution; Hamiltonian or damping terms may also change .
Identical generators give identical states before each heating instrument and hence identical recorded distributions, as in Theorem thm:width.
Displayed formulas in this passage
unlabeled · line 1338
unlabeled · line 1351