Manuscript Hawk01-A@1 · Hawk01-A.tex · section · 11979653
Energy-labelled emission
Conserving emission interfaces and a recovery certificate › Energy-labelled emission · lines 1225–1279
Hawk01-A@1#eq:generalemission, Hawk01-A@1#eq:emissioncompleteness, Hawk01-A@1#eq:operatorcalibration
For an energy-eigenmode regulator, let be an internal source sector with energy and declared conserved labels . A one-step emission interface has the form
where the radiation occupation configurations have energies . Vacuum and no-emission configurations are included.
Writing
physicality requires
A specified occupation calibration on a code subspace is an operator constraint of the form
or a weaker expectation constraint on explicitly selected source states. Which of these is imposed must be declared.
Neither (eq:operatorcalibration) nor a diagonal probability distribution fixes the off-diagonal terms . Sector dimensions must also permit the isometry: a conservation label is not a proof that sufficiently many internal states exist.
A finite emission interface is used here as an effective completion on a prepared subspace. It is not identified with a microscopic black-hole Hilbert space or assigned dimension by assumption. Successive steps must act on the actual residual output; resetting that residual between steps would define a different dynamics.
Displayed formulas in this passage
Hawk01-A@1#eq:generalemission · line 1231
Hawk01-A@1#eq:emissioncompleteness · line 1249
Hawk01-A@1#eq:operatorcalibration · line 1255
unlabeled · line 1245