A Hermitian operator satisfies on its operator domain. Here
Two integration by parts operations, together with the boundary conditions in the Hamiltonian domain, show that the kinetic term is Hermitian; multiplication by the real function is Hermitian as well. Thus is Hermitian.
For a time-independent operator , the Schrodinger equation and its adjoint give the Ehrenfest theorem
Using the canonical commutation relation ,
Consequently
The Time-dependent Schrodinger equation is . Differentiate , use the equation and its adjoint, and include explicit time dependence of the operator. This gives Ehrenfest theorem
For a particle in the scalar potential energy ,
The canonical commutation relation gives
The Ehrenfest theorem with therefore gives
Since and direct action on a wavefunction gives ,
Finally has no explicit time dependence and , so
The first two equations are the expectation-value counterparts of momentum equals mass times velocity and Newton's second law; the last is conservation of energy. They become the classical equations directly when the force varies negligibly across the wave packet, so that . These conclusions are summarized by the classical equations from Ehrenfest theorem.
Differentiating and using the Schrodinger equation and its adjoint gives the Ehrenfest theorem
If Bob opens the trap, Ehrenfest theorem gives branch-dependent Newtonian accelerations
so, for ,
After time , the centers of Bob's two conditional wave packets differ by
For Alice's superposition, these distinguishable Bob states become entangled with and ; for Alice's mixture there was no initial coherence to entangle. Taking Bob's minimum packet width to be the Planck length , appreciable branch distinguishability begins when , at
Keeping the trap closed suppresses this branch separation.
If , Bob could choose whether to destroy Alice's local coherence before a light signal from his laboratory arrived. Any procedure by which Alice distinguished the coherent superposition from the mixture in less than would then enable superluminal signalling. The largest dangerous separation is determined parametrically by , which gives
Causality therefore requires
Using for the Planck mass ,
up to numerical factors.