Manuscript Hawk01-B@1 · Hawk01-B.tex · proposition · cfa976f1
Proposition: Schedule compatibility obstruction
Hawking-mode calibration and compatibility limits · lines 1327–1352 · proof included or linked
Hawk01-B@1#prop:schedulecompatibility, Hawk01-B@1#eq:sumcompatibility, Hawk01-B@1#eq:calibratedschedule
Prescribed unconditional one-particle weights can be realized by the transfer attempts exactly when
Before exhaustion, a realizing schedule is
After exhaustion all later must vanish, and later are immaterial on the actual state.
Proof. The model emits at most one transfer excitation, and , proving necessity. For sufficiency, use (eq:calibratedschedule) and induction: the pending weight before attempt is , so .
Displayed formulas in this passage
Hawk01-B@1#eq:sumcompatibility · line 1331
Hawk01-B@1#eq:calibratedschedule · line 1336