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

Back to manuscript

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

Nearby in this section