The Schrodinger Picture
Here is a question that sounds philosophical but is actually bookkeeping: when a quantum system evolves, what is doing the moving? Every prediction quantum mechanics makes is a sandwich — a state on each side, an operator in the middle, — and only the whole sandwich is measurable. So the theory gets to choose where inside the sandwich the time dependence lives. The Schrödinger picture makes the choice you have been using all along without naming it: the state carries all the time dependence, the operators stand still. The wavefunction spreads and sloshes; the position operator just sits there being multiplication by . This article makes the default explicit — because the chapter is about to offer two rival bookkeeping schemes (the Heisenberg picture, where operators move and states freeze, and the interaction picture, which splits the difference), and you cannot appreciate the alternatives until the familiar choice is stated as a choice. We formalize the moving state against the static scaffolding of observable eigenkets, derive the two-state Bohr oscillation, package the practical craft into the expand–rotate–resum workflow of Spectral Decomposition of Time Evolution, and — most importantly — establish which numbers are picture-independent, so nothing physical can ever depend on the bookkeeping. Mastering this costs little (it is The Time-Evolution Operator applied once more) and buys the entire pictures trilogy: the next article inverts this one wholesale, and the equivalence proof waits two serials ahead.
- In the Schrödinger picture the state carries all dynamical time dependence: , solved by .
- Operators representing observables are static scaffolding — , , do not move; their eigenkets form fixed axes against which the rotating state is read.
- "Static" means not dragged by the dynamics: an operator may still carry explicit time dependence built in by hand, like a driven field .
- A stationary state only spins its phase, ; all observable time dependence comes from relative phases between energy components, beating at Bohr frequencies .
- Expectation values, probabilities, and amplitudes are picture-independent; the Schrödinger picture is a choice of bookkeeping, not a claim about nature.
- Practical workflow: expand in energy eigenstates → rotate each phase → resum. Wave mechanics is this picture projected onto .
- Key idea: put all the time dependence on the state and none on the observables; the moving state read against fixed operator axes reproduces every measurable number.
Put all the time dependence on the state and none on the observables: with — expectation values then come from sandwiching fixed operators between evolving states.
Where this lives today
Every numerical quantum-dynamics code that propagates a state — split-operator solvers sweeping femtosecond chemistry, Krylov-subspace exponentiators, tensor-network TDVP evolving a thousand-site spin chain — is a Schrödinger-picture engine: one state vector updated timestep by timestep against fixed, sparse operators. That is the decision table's third row industrialized: a vector is cheap to store and update; a full operator matrix is not. The same logic governs quantum hardware: a circuit on a superconducting or trapped-ion processor is literally prepare–evolve–measure — the qubit worked example running at scale, its 5 GHz splitting and 200 ps precession being honest laboratory numbers. The modern twist is that the rival picture powers the classical simulation of those same devices, tracking evolving operators instead of the exponentially large state (next article's today-band). Knowing when to hop pictures is now a working skill, not a formalism footnote.
The physical picture
Picture the state vector as a unit-length arrow in Hilbert space and the eigenkets of your observables as a rigid frame of axes bolted to the laboratory. In the Schrödinger picture the arrow rotates — rigidly, unitarily, never changing length — while the frame never moves. Measurement statistics ask one geometric question: where does the rotating arrow point, relative to the fixed axes, right now? Its component along is the amplitude whose squared magnitude the Born rule turns into the probability of outcome .
Two features of this cartoon deserve promotion to physics. First, the rotation is rigid: is unitary (proved in The Time-Evolution Operator), so overlaps and probabilities are preserved and norms never drift. Second, the axes are special only when they are energy eigenkets: a state pointing exactly along never tips toward any other axis — it just twirls its internal complex phase, which no single measurement can see. That is the geometric soul of a stationary state, and it means all visible motion lives in the beats between energy components.
Why make the default explicit at all? Because the sandwich can be regrouped into a frozen state sandwiching a moving operator — the entire Heisenberg picture, one serial ahead. Nothing measurable can tell the two apart; the pictures differ only in which factor of the sandwich holds the clock. This article works the left-hand side and flags what is invariant, so the handoff is clean.
The law of motion and its solution
The dynamical postulate, stated in ket language in Time-Dependent Schrodinger Equation and integrated in The Time-Evolution Operator, is a first-order linear equation for the moving arrow — so the initial state alone fixes the entire future and past:
where: is the Hamiltonian, the hermitian generator of time translation, and the state ket does all the moving. Linearity means superpositions evolve component by component — evolution never scrambles the principle of superposition. The equation's solution map is the unitary operator this chapter opened with:
where: , and unitarity — equivalent to the hermiticity of , as The Time-Evolution Operator proved — keeps forever. Probability is conserved because the rotation is rigid. For the workhorse case of a time-independent Hamiltonian the solution exponentiates, ; the general time-dependent case needs the time-ordered machinery of Time-Ordered Exponential and the Dyson Series and is quoted, never re-derived, here. Sandwiching a fixed operator between moving states gives every prediction of the theory:
where: carries no dynamical time dependence — position today is the same operator as position tomorrow. An operator may still depend on time explicitly, because you built the time in by hand: a laser field is a Schrödinger-picture operator with a clock in its coefficient, not an operator dragged by the dynamics. The distinction matters enormously one article ahead, where a second, dynamical time dependence gets layered on top. Which equation to reach for, when:
| you have | reach for | because |
|---|---|---|
| time-independent, spectrum known | expand–rotate–resum (eq. 5) | phases are the whole story |
| time-independent, spectrum unknown | numerically | one matrix exponential |
| , all times commuting | ordering is free | |
| non-commuting | Dyson series (its own article) | ordering is the physics |
The spectral solution: expand, rotate, resum
For time-independent with eigenkets , the picture's practical craft is three moves long. Expand the initial state on the energy basis, spin each component's phase clock, and resum:
where: the are fixed at once and for all — dynamics never transfers amplitude between energy eigenstates, only rotates phases. The algorithm is Spectral Decomposition of Time Evolution's; this article's contribution is the reading: in the energy basis the picture's motion is as simple as possible — independent phase clocks, nothing else. (Verifier: recipe versus direct matrix exponential on a random three-level system, .) A single eigenstate evolves as : a pure phase, the same ray forever — the stationary states of Stationary States and Energy Eigenstates. All observable dynamics therefore lives in cross terms. Take two components and sandwich an observable:
where: and hermiticity supplies , which is what folds the two cross terms into one real oscillation. The diagonal terms are frozen; the interference term beats at the Bohr frequency — the only rate the system can broadcast. Shift every energy by a constant and doesn't move: only energy differences are observable, a theme Time-Dependent Schrodinger Equation proves as the global-phase theorem and this equation displays in action.
We derive equation (5), the workhorse formula of the picture: a two-component superposition makes any observable's expectation value oscillate sinusoidally at exactly the Bohr frequency . The strategy is direct substitution of the spectral solution into the sandwich (3), watching which phases survive. The step to watch is the pairing of cross terms: hermiticity of is what makes the two off-diagonal contributions complex conjugates of each other, so they add up to something real — as an expectation value must be. This is the calculation the base provenance asks every verifier to recompute, and ours did, numerically, on a random hermitian across a full grid of times.
Step 1. Write the evolving state with both phase clocks running, taking :
Why the are constants: dynamics only rotates each component's phase — the expansion coefficients' magnitudes are set once, at preparation.
Step 2. Substitute into and expand the four terms. The diagonal pieces carry phase factors :
Why the diagonal terms freeze: a bra and a ket of the same energy spin their clocks in opposite directions at the same rate — the phases cancel identically, for every observable. Frozen diagonals are the stationary-state theorem in miniature.
Step 3. Use hermiticity, . The two cross terms become a number plus its own complex conjugate, and :
Step 4. Read the anatomy. A constant plateau (the weighted average of the two frozen diagonals) plus one cosine of amplitude and frequency , phase-offset by the arguments of and . Maximal contrast needs an even mix () and an observable that connects the levels (): an operator diagonal in the energy basis shows no beat at all — it cannot tell the clocks apart. Verified: numerically — the boxed form matches the direct sandwich on a random hermitian operator at 25 times across several periods to 10⁻¹³, and holds to machine precision (verify script, sections 5 and 8).
What no picture can change
Before handing the sandwich to the Heisenberg picture, we record what is not up for negotiation. Regroup the expectation value using :
where: the left side is Schrödinger bookkeeping (moving states, fixed ), the right side is Heisenberg bookkeeping (fixed states, moved operator) — the same number. Amplitudes, probabilities, expectation values, and spectra are all built from such sandwiches, so all are picture-independent. The systematic statement — that all pictures agree on every physical prediction, with the full dictionary — is the theorem of Equivalence of the Dynamical Pictures; this article derives only the seed identity.
Go deeper · Derivation B · 1 minOne sandwich, two bookkeepings — the regrouping identity
We derive equation (6), the identity from which the whole pictures trilogy grows: any amplitude computed with evolved states equals the same amplitude computed with frozen states and a conjugated operator. The strategy is embarrassingly short — insert the propagation law and re-associate the product — which is precisely the point: the freedom to choose a picture costs nothing because it is associativity. Watch where the dagger comes from: the bra evolves with , the antilinear flip of Hermitian Conjugate and Adjoint Operators on duty.
Step 1. Evolve both states from : , and correspondingly for the bra, . Why the dagger: the ket-to-bra correspondence conjugates operators — has bra , the dual dictionary of the adjoint article.
Step 2. Substitute into the sandwich and re-associate:
Step 3. Name the middle object: , with since . That object — the operator wearing the time dependence the states gave up — is the Heisenberg-picture operator, constructed properly in the next article. Nothing measurable changed; only the label saying who holds the clock. Verified: numerically — the identity holds on ten random three-level systems (random hermitian , , random state pairs, random times) to 10⁻¹³, and exactly (verify script, section 1).
Two invariance facts worth naming now: the spectrum of an observable never moves (a similarity transform cannot change eigenvalues), and the algebra never moves (commutators conjugate cleanly). The Heisenberg Picture carries the full who-carries-time ledger; we do not duplicate it here.
Choosing a picture: the decision table
The choice is pure convenience, and the conveniences are real. This table is the article's practical takeaway — the Heisenberg article recalls it rather than re-printing it:
| situation | picture of choice | why |
|---|---|---|
| wavefunction problems, wells, barriers | Schrödinger | wave mechanics is this picture in the position basis |
| state preparation → evolve → measure (circuits, pulses) | Schrödinger | you track exactly the object the protocol manipulates |
| numerical propagation on a grid or in Krylov space | Schrödinger | one vector to update; operators stay sparse and fixed |
| operator algebra, conservation laws, correspondence with classical mechanics | Heisenberg | operators obey classical-looking equations (next article) |
| two-time correlation functions | Heisenberg | needs operators wearing two different time labels |
| quantum field theory | Heisenberg | fields are operators labeled by spacetime points |
| perturbation theory with | interaction | splits the labor: fast known part on operators, slow part on states |
Limiting cases
| case | form | meaning |
|---|---|---|
| time-independent | one matrix exponential; phases do everything | |
| energy eigenstate | stationary: same ray forever, all statistics frozen | |
| commuting family | ordering costs nothing; area under is all that counts | |
| general | time-ordering required — the Dyson series article owns this | |
| global phase only; energy zero is a gauge choice |
Worked examples
Example 1 — the two-level beat, end to end (confidence builder). A system has two energy levels eV and eV, prepared at in the even mix . An observable has matrix elements , in the energy basis. Find and the beat period.
Step 1. Coefficients: , so and .
Step 2. Apply the boxed form (5). Diagonals contribute zero; the cross term gives .
Step 3. The Bohr frequency: eV. The period is .
Step 4. Audit the quarter period: at the phase is , so — machine-checked. An observable diagonal in the energy basis () would read a flat line instead: beats need an operator that connects the levels.
Example 2 — a 5 GHz qubit on the Bloch equator (exam level). A superconducting qubit has level splitting with GHz; take . It is prepared in . Find the splitting in eV, the precession trajectory, and the state of the Bloch vector at ps.
Step 1. The splitting: — sub-millikelvin in temperature units, which is why these devices live in dilution refrigerators.
Step 2. Evolve. With this sign convention the verifier pins the trajectory: , , . The Bloch vector precesses in the equatorial plane, from toward , at exactly the Bohr frequency — this is equation (5) three times over, once per Pauli component.
Step 3. Period and snapshot: one full revolution takes . At ps : , — the Bloch vector points along (machine-checked to ).
Step 4. Read it as bookkeeping: the state moved; , never did. The next article re-runs this identical qubit with the state frozen and the operators precessing — same measurable numbers, the cleanest side-by-side the pictures allow.
The physicist: dynamics as a principle
Origins · 1 minJulian Schwinger and how this was discovered
Schwinger was the counter-Feynman: where Feynman drew pictures, Schwinger wrote operator equations of such compressed elegance that colleagues joked his papers were "written for God." A New York prodigy who published at sixteen and took his Columbia PhD at twenty-one, he became Harvard's oracle of formalism, supervising over seventy doctoral students — four future Nobel laureates among them, alongside his own prize. His signature contribution to this article's subject is the quantum action principle (1951): where the Schrödinger picture says "states evolve, here is the differential equation," Schwinger recast dynamics as a variational statement about transformation amplitudes — one principle from which the equation of motion, the commutation relations, and the conservation laws all flow. It is the sharpest expression of the idea this article opens with: dynamics is a statement about amplitudes, and the split into moving states versus moving operators is ours to choose. Legend has him lecturing without notes, ambidextrously writing two equations at once — one hand per blackboard.
Going further
References. Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., §2.1–2.2 · Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed., Ch. 2 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 4 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. I, Ch. III · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 4.
Provenance. Equations and structure follow Sakurai & Napolitano (Modern QM, 2nd ed., §2.1–2.2), Griffiths & Schroeter (3rd ed., Ch. 2), Shankar (Ch. 4), Cohen-Tannoudji (Vol. I, Ch. III), and Townsend (Ch. 4). A verifier should recompute: (1) the cancellation establishing ; (2) the two-state expectation value reducing to the boxed Bohr-oscillation form with ; (3) the operator regrouping with . The numerical value of is the CODATA standard . For this edition all three provenance items plus every numeric claim were machine-verified (numpy/sympy, 25 checks): the regrouping identity on ten random three-level systems (), the symbolic and numeric unitarity cancellations, the pinned Bloch-precession convention (, : , ), the expand–rotate–resum recipe against direct exponentiation, the boxed two-state form on a random hermitian observable, the stationary-state and global-phase theorems, and both worked examples (8.27 fs beat; 20.7 μeV, 200 ps, quarter-period snapshot). Per the chapter ownership map: the construction and properties of are owned by The Time-Evolution Operator; the expansion algorithm by Spectral Decomposition of Time Evolution; the equivalence theorem by Equivalence of the Dynamical Pictures; in commutator form by the Quantum Dynamics chapter's Ehrenfest's Theorem; this article owns the picture's contract, the decision table, and the two-state Bohr-oscillation derivation.
Builds on: Time-Dependent Schrodinger Equation · The Time-Evolution Operator · Stationary States and Energy Eigenstates
Leads to: The Heisenberg Picture · The Interaction (Dirac) Picture · Equivalence of the Dynamical Pictures · Ehrenfest's Theorem · Spectral Decomposition of Time Evolution
If the pictures are all equivalent, why does this one get to be the default?
Partly history (wave mechanics conquered the textbooks early), partly ergonomics. Most first problems are wavefunction problems, and is precisely the Schrödinger-picture state in the position basis. A moving vector is also the cheapest object to compute with: codes update one state, not a full matrix of operators. The Heisenberg picture wins in different terrain — operator algebra, conservation laws, field theory — which is why the chapter teaches both and gives you the decision table.
Is the wavefunction ψ(x,t) the same thing as the state ket |ψ(t)⟩?
The wavefunction is the state's shadow in one particular basis: , the component of the moving ket along the fixed position eigenket . All of wave mechanics is the Schrödinger picture projected onto position eigenkets — the position representation article of the Formalism chapter built that dictionary. The ket is basis-free; the wavefunction is one column of its coordinates.
The phase e^(−iEt/ħ) of a stationary state is unobservable — so why does the article keep insisting phases matter?
Because global and relative are different words. One overall phase on the entire state drops out of every sandwich — that is the global-phase theorem. But a superposition of two energies carries a phase difference that advances at the Bohr frequency, and that difference sits inside the cross term of equation (5), producing every observable oscillation in quantum physics: quantum beats, Rabi flopping, the radiating dipole of an excited atom. The phase of one clock is invisible; the angle between two clocks is dynamics itself.
Why does an observable that is diagonal in the energy basis never show any time dependence?
The cross term in equation (5) is proportional to ; diagonal-in-energy observables have , so only the frozen diagonal terms survive — a flat line for any initial state. Such an observable cannot see the relative phase of the energy components; it commutes with and is a constant of the motion (developed in Constants of the Motion and Conservation Laws). To see a beat you need an operator that connects the beating levels.
Does the state really "rotate" in Hilbert space, or is that just a metaphor?
Nearly literal. Unitary evolution preserves inner products the way a rigid rotation preserves angles and lengths, so the state traces a path on the unit sphere of Hilbert space, never stretching. Two cautions: the space is complex (the "rotation" mixes real and imaginary parts — that is where phases live), and along an energy eigenket the motion is purely internal, a phase spin that moves the vector but not the ray. The qubit's Bloch sphere is the one case where it becomes an exactly visualizable real rotation.
When the Hamiltonian itself depends on time, is the Schrödinger picture still usable?
Fully — the state still obeys equation (1) and still exists and is unitary; only the convenient formulas break. The exponential and the expand–rotate–resum recipe assume a time-independent . For driven systems you integrate (2) numerically, or — when the drive is weak — use the Dyson series and the interaction picture, the next articles' entire business.
How literally should I take "operators never move" when the lab apparatus clearly moves — magnets rotate, lasers switch on?
Moving apparatus means explicit time dependence in a coupling operator — a clock in a coefficient, — perfectly at home in this picture (the warning's first trap). What operators never acquire here is dynamical time dependence: the conjugation by the Heisenberg picture performs. The two kinds appear as two separate terms in the Heisenberg equation of motion, one article ahead.