The Born rule depends only on transition probabilities
between rays. A physical transformation must preserve these probabilities. By Wigner theorem, such a ray transformation is induced by a unitary or antiunitary operator. For ordinary continuously connected transformations one chooses the unitary branch, so
The states and represent the same ray. They may therefore differ by a state-independent quantum phase:
Thus quantum transformations form a projective unitary representation.
If is a symmetry of the Hamiltonian operator , it also obeys
equivalently . For a differentiable one-parameter subgroup, write
with a self-adjoint generator . Differentiating the symmetry equation at yields
For a time-independent , the Heisenberg picture equation is
Hence the generator is a conserved observable. Conversely, a self-adjoint conserved commutes with and its unitary group generates symmetries. This is the conserved generator of a continuous quantum symmetry.
Let be the one-dimensional Hamiltonian operator and let
be its discrete energy eigenvalues. Expanding a normalized trial wavefunction in an orthonormal energy basis,
gives
Thus the Rayleigh-Ritz variational principle gives
for every nonzero admissible trial wavefunction. One chooses a parameterized family and minimizes the quotient.
When , parity commutes with . In one dimension the nondegenerate ground state is even and the first excited state is odd. Restricting the trial family to odd wavefunctions makes every trial state orthogonal to the ground state, so
This is the odd-state variational principle for an even potential.
For a free particle, the Hamiltonian operator is
Since ,
Thus
where the momentum follows because .
With a nonconstant potential energy, momentum no longer diagonalizes the Hamiltonian operator. The operator derivation must use the energy eigenfunctions of the full Hamiltonian, a Dyson series, or a time-sliced Trotter product formula. In the classical derivation, the straight paths are replaced by every solution of the nonlinear Euler-Lagrange equation with the specified endpoints. The semiclassical propagator becomes a sum
where the prefactor is the Van Vleck determinant and is a Maslov index. Unlike a quadratic theory, the classical-path sum is generally only an asymptotic approximation: the exact path integral includes fluctuations of every order. On the circle, the sum must still include all winding number sectors.
The parity of a wavefunction is its eigenvalue under spatial reflection: for even parity and for odd parity. If , the Hamiltonian commutes with reflection, so its energy eigenspaces admit a parity eigenbasis. In particular, every nondegenerate bound-state energy eigenfunction has definite parity; within a degenerate scattering eigenspace one must choose the even and odd linear combinations.
Write the expectation value as
Differentiating and retaining the possible explicit time dependence of the observable gives
The Schrodinger equation and its adjoint are
where the Hamiltonian operator is Hermitian. Substitution yields
This is the proof of Ehrenfest theorem from the Schrodinger equation.
Let a projective measurement have mutually orthogonal projections satisfying . On a density operator , the Born rule and the Lüders rule give
conditional on outcome . On the first part of a bipartite quantum system, replace by .
The subsystems are isolated when there is no interaction term coupling them. Their Hamiltonian operator has the form
so their subsequent unitary time evolution factorizes as .
The reduced density matrix of subsystem 1 is
where the partial trace is characterized by
for every local observable . Thus contains exactly the statistics accessible by measurements on subsystem 1.
Suppose a projective measurement is performed on subsystem 2 and its outcome is not communicated. The resulting nonselective state is
For every , the cyclic property of the trace and give
Hence . No local projective measurement on subsystem 1 can reveal whether the remote unreported measurement occurred. This is quantum no-signalling, which prevents a choice made at a spacelike separation from transmitting information faster than light and makes the measurement formalism compatible with relativistic causality.
The proposed nondisturbing device would violate no information without disturbance. In an ordinary quantum instrument, let be the Kraus operators associated with classical output . If every pure state remains unchanged even conditional on the displayed outcome, every nonzero must be parallel to . A linear operator for which every vector is an eigenvector is a scalar multiple of the identity, so . Its output probability
is independent of the state. It cannot equal for arbitrary projectors. Equivalently, repeated nondisturbing samples would permit quantum state tomography of one specimen and then quantum cloning, contradicting ordinary quantum theory.
Such devices would not necessarily enable superluminal signalling. One consistent operational extension could make every sequence of outputs depend only on the local reduced density matrix and local settings. Since an unreported remote measurement leaves that matrix unchanged, all local device statistics would remain unchanged too. Other extensions could add nonlocal outcome-dependent rules and permit signalling, but that behavior is additional to the device specification rather than forced by it.
A quantum time-reversal operator is an antiunitary operator reversing spatial momentum and angular momentum. For a time-reversal-invariant Hamiltonian operator, its conjugation of makes it intertwine forward and backward unitary time evolution without reversing the energy spectrum. A scalar momentum eigenstate may transform as . With unit-modulus phases and a complete normalized basis, expansion of arbitrary states proves antiunitarity.
For every normalized trial state in the domain of a Hamiltonian operator that is bounded below,
where is the ground-state energy. Equality holds precisely when the trial state lies in the ground-state eigenspace.
Schrödinger picture 2026-10-05
In the Schrödinger picture, states evolve with the Hamiltonian operator while observables without explicit time dependence are fixed. For time-independent , the corresponding Heisenberg picture operator is .
Stoquastic Hamiltonian 2026-10-06
A stoquastic Hamiltonian is a real Hermitian Hamiltonian operator with nonpositive off-diagonal entries in a specified basis, usually the computational basis. The property depends on that basis. Permutation matrices in a quantum circuit's propagation terms and input penalties give a useful family of such operators.
Sudden approximation Created 2026-10-05 Updated 2026-10-06
When a Hamiltonian operator changes instantaneously by a finite potential step, the quantum state is continuous across the switching time. Its coefficients in the new energy eigenbasis are its overlaps with those eigenstates; the Born rule gives their squared moduli as probabilities. The state need not remain an energy eigenstate of the new Hamiltonian.
Time-evolution operator Created 2026-10-03 Updated 2026-10-05
The time-evolution operator maps an initial quantum state to its state at a later time. For a time-independent Hamiltonian operator , it is the unitary operator .
Time-ordered exponential 2026-10-07
The time-ordered exponential solves with initial condition . Its expansion is the Dyson series. For bounded continuous Hamiltonian operators the series converges, as in differentiation of the Dyson time-ordered exponential. If the generators commute at all times, time ordering is unnecessary and an ordinary operator exponential suffices.
For a Hamiltonian operator with kinetic term , insert position-basis resolutions between Trotter product formula factors. The measure is the limit of , and the exponent contains . Its continuum notation is , with fixed endpoint values. A damping prescription defines the oscillatory limit.
A fermionic mode with canonical anticommutation relations has the symmetrically ordered Hamiltonian operator . Its empty-state zero-point contribution is . A quantum harmonic oscillator with bosonic canonical commutation relations contributes instead. For a Dirac field, sum over both particle and antiparticle modes and over spin: there are four independent oscillators per spatial momentum in four spacetime dimensions. Comparing bosonic and fermionic vacuum energies requires a common regularization in quantum field theory, matching degrees of freedom and a stated vacuum-energy subtraction convention.