spontaneous parametric down-conversion uses a second-order nonlinear polarization to convert pump energy into correlated signal and idler photons. With a classical undepleted pump, a single-mode interaction-picture model is
The creation term acts on the signal/idler vacuum, so no classical signal seed is required. The pump supplies the emitted energy; vacuum fluctuations are not an extra energy source. In the small-gain limit the SPDC pair state is
with normalization corrections understood at second order. More generally it is a two-mode squeezed vacuum with correlated pair numbers. A classical calculation with both generated fields exactly zero would miss the spontaneous start.
Efficient generation requires and approximate wave-vector matching . birefringence or a reciprocal grating vector in quasi-phase matching can compensate dispersion. In a continuum-mode treatment the pair amplitude includes
The pump spectrum constrains the sum frequency, while phase matching constrains the allowed frequency combinations and emission directions. type-I phase matching produces daughters in the same polarization class; type-II phase matching produces orthogonal ordinary/extraordinary classes. Correlation of pair numbers or orthogonal polarizations does not alone guarantee a polarization-entangled state in two chosen output paths.
One application is a heralded single-photon source: detect one partner and condition measurements on the other. Low gain suppresses multiple-pair contamination, whose probability begins at fourth order in the gain. Efficient collection and low detector noise matter. Spectral entanglement with an unresolved herald can leave the partner mixed; engineering or filtering the joint spectrum improves purity at a possible cost in brightness. Heralding does not make a photon appear in every pump pulse.
A second application is entangled-pair generation for quantum communication and tests of Bell inequalities. If the assignments and are indistinguishable except for polarization, their amplitudes can form . Walk-off, group delay or frequency labels can reveal which assignment occurred and destroy polarization interference. Their compensation is part of preparing the state, not merely an improvement in count rate.
A primary example pumped a 3-mm beta-barium-borate crystal with a argon-ion laser. Collecting the two intersections of its type-II emission cones selected paired output directions. Half-wave rotation and compensating birefringent crystals reduced temporal walk-off, and polarization analysers with avalanche photodiodes measured coincidence fringes. Varying analyser settings tested the correlations; accidentals, mode distinguishability and detector/collection assumptions limited interpretation. The reported visibility exceeded 97 percent and supported a Bell violation under the stated auxiliary assumptions, rather than a loophole-free claim.[ref]
Figure 1.
Original down-conversion and heralding schematic with an illustrative joint-frequency selection model
. Details.
Other uses include preparing interfering photons for quantum-information experiments, correlation-based imaging, and pair-based detector calibration. All rely on specified spatial and spectral modes and coincidence statistics. A pump-blocked background run, delayed-coincidence estimate, gain dependence and polarization/temporal-overlap scans distinguish correlated pairs from fluorescence, detector dark counts and accidental coincidences. The useful resource is the controlled joint quantum state, not simply two bright output beams.
The Time-dependent Schrödinger equation is
A normalized quantum state has ; the Hamiltonian operator acts on wave functions satisfying the appropriate domain and boundary conditions.
The time-independent Schrödinger equation is
Put . For , differentiation gives . Substitution cancels the terms in and leaves .
The Gaussian integral gives . Hence a normalized wave function is
Multiplication by any constant of modulus one gives the same quantum state. The position probability density is . Its first moment vanishes by oddness. Integration by parts gives , with the boundary term zero. Therefore
For gamma decay, the nuclear gamma-ray multipole selection rules require the radiation's angular momentum to satisfy the triangle inequality
Here , so . A real emitted photon has no monopole radiation mode, leaving .
The two nuclear quantum states have the same parity. An electric multipole has parity factor , while a magnetic multipole has factor . Thus electric radiation requires even and magnetic radiation odd :
In particular, an nuclear transition cannot emit the single real photon requested here; processes such as internal conversion are different decay channels.
For usual nuclear gamma ray energies, , where and is the nuclear size. Higher multipole radiation orders bring extra powers of this small parameter, so and are the likely important contributions, with , and generally much smaller. Often is dominant, but an allowed matrix element can be hindered and an transition can be collectively enhanced. The quantum numbers alone do not fix a numerical relative contribution or an unconditional ordering of the and rates.
Angular momentum and parity. Work in the rho meson rest frame. Since each pion has zero spin, their combined intrinsic spin is and their total angular momentum is entirely relative orbital angular momentum:
The parity selection rule for a two-body decay gives
The supplied requires odd , so both conservation laws agree:
Here the statement about two-pion decays is understood as the dominant strong interaction channel; the assertion that it occurs literally always is an idealization, since other interactions can produce other channels.
Exchange symmetry. Pions are spin-zero bosons, so the complete two-particle wavefunction must have bosonic exchange symmetry, including its spatial and isospin factors. The unique spin-zero product is symmetric. Exchanging the particle slots reverses the relative position, so an spatial state has orbital parity . Its isospin state must therefore be antisymmetric to make the product symmetric.
For two neutral pions, the internal charge state is symmetric under exchange. There is no antisymmetric internal factor to compensate odd . Equivalently, the odd- projection of two identical spin-zero neutral particles vanishes. Therefore
This argument does not depend on treating isospin as an exact symmetry of nature.
All nine isospin states. In the following two-pion isospin decomposition, let denote ordered particle slots; each of is . The second label in is the total electric charge in units of the elementary charge. For this pion system it equals the total isospin projection .
Addition of angular momentum for two isospins of one gives . Start from the highest-weight quantum state and apply the sum of the two ladder operators. The ladder recurrence for Clebsch-Gordan coefficients gives the normalized symmetric quintet:
The normalized quantum state orthogonal to in the two-dimensional charge-one subspace is antisymmetric. Lowering it gives the antisymmetric triplet:
The remaining charge-zero quantum state must be orthogonal to both displayed charge-zero states and annihilated by the total ladder operators. This gives the symmetric singlet:
Together the quintet, triplet and singlet contain orthonormal states, accounting for the full charge-product space. Multiplying an entire isospin multiplet by a common quantum phase changes none of these physical conclusions.
Rho isospin and strong decay modes. Only the two-pion isospin decomposition is antisymmetric under exchange; are symmetric. The required spatial state therefore selects . Conservation of isospin by the strong interaction, in its usual approximation, implies
The three charge states have the corresponding strong two-pion channels
The ordered antisymmetric combinations above describe the internal part; multiplying by the odd spatial state gives the required symmetric complete bosonic state. The neutral state contains no component, in agreement with the independent identical-particle argument.
Charge conjugation. Charge conjugation preserves mass and reverses electric charge. A charged rho meson is therefore changed into a distinct state of opposite charge, so neither nor is itself a charge-conjugation eigenstate. The neutral state can be an eigenstate. Acting on its two-pion internal state interchanges the charge labels:
The charged-pion quantum phase conventions cancel between the two particles. Thus the two-pion charge-conjugation parity is , and conservation by the strong interaction fixes
Only among the individual charge states is a charge conjugation eigenstate.
Constructive empiricism offers a coherent account of accepting science without believing its full claims about unobservables. Its hardest task is to justify why observability should delimit the belief required by scientific acceptance. Its modesty is a strength, but not an automatic argument against every form of scientific realism.
For Bas van Fraassen, science aims at empirical adequacy. Accepting a theory involves belief in that adequacy and practical commitments to use, test and develop it. Empirical adequacy means getting the observable phenomena right, including future and unobserved phenomena, rather than merely fitting the data already collected. Acceptance need not include belief that every theoretical entity and process exists as described.[ref]
The position nevertheless interprets theoretical claims literally. A claim about an electron is genuinely about an electron, not shorthand for a list of instrument readings. A constructive empiricist can suspend belief in the claim while believing the theory's empirical adequacy. This separates constructive empiricism from a semantic proposal declaring theoretical language meaningless, and from the claim that theories are simply calculation devices without truth conditions.
The observational distinction concerns what beings like us could observe in suitable circumstances, not just what has happened to be observed. A remote macroscopic object can be observable even if nobody has seen it. Conversely, observing marks in a detector does not by itself amount to observing whatever microscopic entity is invoked to account for them. Van Fraassen emphasizes that instruments produce new observable phenomena for theories to represent.[ref]
This permits serious experimental work. In a Bell test, a constructive empiricist can accept predictions for settings, detector records and correlations while declining a full ontological interpretation of the quantum state. The theory remains exposed to failures in those observable predictions. Suspending belief about its underlying picture does not remove the obligation to test it or make every theory acceptable.
An attraction is economy of belief. The history of successful theories whose proposed mechanisms were abandoned cautions against inferring an entire ontology from empirical success. Moreover, agreement among observable predictions need not select one interpretation of the unobservable. Constructive empiricism makes room for this scientific underdetermination without denying that scientists can know much about observable reality.
The realist objects that the restriction is arbitrary. Ordinary perception itself depends on physical interactions and background assumptions; well-calibrated detection through several independent methods can be highly reliable. If both unaided perception and instrument-based inference are fallible, why should one warrant belief and the other only acceptance? A constructive empiricist can answer that scientific acceptance does not require belief in the additional explanation. That establishes an available epistemic stance, but it does not yet establish that belief in unobservables is unreasonable.
Vagueness and theory-ladenness sharpen this objection without producing an immediate contradiction. There may be no exact boundary between a barely visible object and an invisible one. Clear cases can remain despite uncertain margins. Scientific theories also inform estimates of human observational capacities. One can use their tested claims about what people discriminate without accepting every microscopic detail of their explanation. Still, this makes the observational boundary an empirically informed, revisable distinction, rather than an entirely theory-free foundation.
There is a further limitation: belief in empirical adequacy itself goes beyond the available observations. It includes what will happen in unperformed experiments. Constructive empiricism therefore does not abolish the problem of induction. Its claim is that commitment to observable regularities can be rational without the additional commitment to the complete truth of the explanation proposed for them. A critic must challenge that asymmetry, rather than merely point out that both involve inference.
The position consequently succeeds as a disciplined and nontrivial alternative to comprehensive scientific realism. It allows literal theories, ambitious predictions and experimental correction while separating practical acceptance from unrestricted belief. Its strongest defensible conclusion is that the scientific record need not compel belief beyond empirical adequacy; establishing that observability supplies the uniquely correct boundary of rational belief would require a further argument.
The Pusey-Barrett-Rudolph theorem excludes overlapping preparation distributions for distinct pure states in an ontological model of a quantum system satisfying preparation independence and the specified quantum predictions. It excludes neither all hidden variables nor every informational use of a quantum state. The precise overlap criterion is essential: a psi-epistemic model lets at least two distinct pure-state preparations assign positive common probability mass to the same underlying states; a psi-ontic model has mutually singular measures for each distinct pair.[ref]
Let preparation sample from . A fixed quantum measurement has nonnegative response functions with . Averaging over the preparation must reproduce the Born rule. The response is fixed by and the complete underlying state, not by additional knowledge of the preparation label. No outcome determinism or Bell local causality is assumed; the joint measurement response need not factor into local responses. For independently operated preparations, preparation independence further identifies the joint state space with the appropriate product and assigns
Operationally independent devices do not logically entail this ontic factorization; it is an additional physical premise.[ref]
The two-qubit example can be checked directly. Set . In computational basis order , take the following normalized columns as an orthonormal basis:
Their pairwise inner products vanish. Direct multiplication shows that the respective preparations have zero probability amplitude for respective outcomes . This is the PBR exclusion measurement for zero and plus: the measurement does not perfectly distinguish the preparations, but each outcome rules one out.
Suppose a common submeasure of and has mass ; with densities one can take . Preparation independence makes a common submeasure of all four product preparations, of mass . The zero probability for outcome under its excluded preparation and nonnegativity force
Summing and using normalization yields , a contradiction. This measure formulation avoids treating a set with merely nonempty topological support as a positive-probability overlap.
For arbitrary distinct nonorthogonal pure states, write , with overlap and . The general proof constructs an exclusion measurement on independently prepared copies when . A finite always exists. The same common-submeasure contradiction then excludes positive overlap. Orthogonal preparations are already disjoint if their perfectly distinguishing measurement is reproduced. The original paper also bounds residual overlap for imperfect exclusion data; exact disjointness concerns the ideal theorem, not a finite experiment's proof of exact zero.[ref]
The scope is consequently sharp. Bohmian mechanics is not excluded: its underlying state includes the wave function, making distinct pure preparations disjoint even though extra configuration variables remain. A psi-ontic model need not be complete with the wave function alone, and the theorem does not identify the wave function with a three-dimensional material field. Models abandoning preparation independence, or accounts not representing preparations as uncertainty over observer-independent states of this specified kind, are outside this conclusion. Epistemic uncertainty between mixed preparations is not banned. Nor does the theorem establish a collapse mechanism, choose between Bohmian and Everettian theories, or solve the measurement problem. Its achievement is a conditional impossibility theorem about a precise form of pure-state epistemic overlap.
Quantum decoherence explains the practical stability of records and suppression of observable interference; it does not alone select one outcome. The measurement problem arises when universal unitary time evolution, a complete wave function description and a unique definite outcome are all demanded. A theory must explain which commitment is changed or supplemented, not merely replace a pure composite description by a reduced one.
Model an ideal quantum measurement and its environment by
Taking the partial trace over the environment gives the system–apparatus reduced density matrix
Environmental records make very small for macroscopically distinct alternatives. If independent fragments have overlaps , their combined overlap is , explaining the rapid suppression. The apparatus interaction also favours robust records, giving environment-induced pointer-basis selection rather than an arbitrary choice of basis.[ref]
What follows is approximate agreement, for local apparatus observables, with a classical probabilistic mixture. What does not follow is that either term has ceased to exist. Even with orthogonal environmental records, the global quantum state is a pure state with quantum entanglement. For orthogonal branches , the global observable has expectation in the superposition and zero in the corresponding incoherent mixture. Its practical inaccessibility is not its mathematical disappearance. The reduced state is an improper mixed state, not proof that an unknown single branch was selected.
Different interpretations use this result differently. In Bohmian mechanics, disjoint environmental configurations make one occupied branch an effective description of the actual apparatus. In the many-worlds interpretation, robust branches supply approximately autonomous relative records, without a unique global outcome. In the GRW model, a separate stochastic change of the wave function selects a dominant component; environmental decoherence helps explain ordinary records but is not the collapse law. These are different completions of the argument.
Nor does diagonality derive the Born rule. Interpreting the diagonal entries as experienced outcome probabilities requires a probability rule or an interpretive argument. Extremely small overlaps also leave approximations and possible quantum recoherence; a finite controlled environment can in principle be manipulated to reveal the global coherence. The appropriate verdict is that decoherence resolves much of the preferred-record-basis and effective-classicality problem while leaving the unique-outcome and probability problems dependent on further theory. It is an essential physical mechanism in many accounts, not a self-contained solution by relabelling a partial trace as collapse.
The Einstein–Podolsky–Rosen paradox begins with correlations enabling certain predictions about one system from alternative measurements on a separated partner. Its EPR criterion of reality promotes certainty without disturbance to a sufficient condition for an element of reality. Together with a locality premise, the alternative position and momentum predictions motivate simultaneously real quantities not represented by one standard quantum state. The intended conclusion is incompleteness, not a mathematical inconsistency of the predictions.[ref]
Niels Bohr challenges the inference from absence of mechanical disturbance to a context-independent assignment of reality. He accepts that there is no mechanical disturbance of the distant system at the relevant stage. His response invokes the experimental conditions defining the possible predictions: arrangements establishing a spatial reference and arrangements enabling a momentum balance are complementary. On this view, changing the local measurement changes the whole phenomenon to which a definite property attribution belongs. It does not remotely kick the other particle. His diaphragm discussion illustrates why specifying the apparatus and its reference frame is part of the physical claim.[ref]
A spin singlet state gives a clean reconstruction. Its state is
Here and ; the minus sign is an irrelevant overall quantum phase. Measuring the first spin along either axis predicts the other's same-axis outcome with certainty. But the two alternative local quantum measurements define different conditional ensembles. Averaging over the unread outcome leaves the distant reduced density matrix in both cases. The contrast between conditional prediction and the unchanged distant marginal is quantum steering together with quantum no-signalling.
This explains how consistent quantum predictions can coexist with the absence of an operational remote disturbance. It also identifies what a Bohrian rejection of the EPR inference amounts to: certainty in alternative contexts does not license combining the corresponding property attributions into one context-independent account. Merely invoking the Heisenberg uncertainty principle would not suffice, since EPR specifically argued that locality permits the attribution before any incompatible distant measurements are jointly attempted.
The reply is satisfactory as an articulation of quantum complementarity, but not a demonstration that the EPR locality premise and completeness are jointly sustainable. The critic can distinguish a change in our permissible predictions from a change in the distant physical condition. If the latter really is unchanged, why must the alternative predictions not reveal pre-existing properties? Bohr's contextual standard rejects that demand rather than deriving its impossibility from neutral premises. Later Bell inequalities sharpen the issue: quantum no-signalling does not imply Bell local causality. A satisfactory contemporary account should acknowledge this difference, rather than crediting Bohr with a proof of Bell-local completeness or interpreting his reply as faster-than-light mechanical influence.
Quantum mechanics is compatible with quantum no-signalling, but its full correlations are incompatible with Bell local causality under the usual additional assumptions. The answer depends on which locality condition is meant. A local operational prohibition on controllable faster-than-light communication is weaker than a causal explanation of correlations by a complete shared past.
Let be outcomes, local settings and a complete relevant past specification. Bell factorization and measurement independence demand
Neither assumes deterministic response. Put and similarly , so . Pointwise,
Averaging with the same for all settings gives the CHSH inequality . For a spin singlet state, . Choose , , , ; the magnitude becomes . Thus the assumptions cannot all be maintained.[ref]
There is nevertheless no signalling contradiction. If a local unread measurement has Kraus operators with , then
The equality follows by testing both sides against any distant observable and using cyclicity of the trace. Distant conditional states can differ after selecting , but communicating that selection needs an ordinary message. The microcausality condition in quantum field theory similarly ensures commutation of spacelike-separated local observables; it does not make the vacuum or other entangled quantum states Bell-factorizable.
One can preserve different notions of locality by changing premises. Bohmian mechanics retains unique outcomes but its guidance equation is nonlocal for entangled systems; quantum equilibrium equivariance preserves the equilibrium distribution which masks that dependence from signalling. The many-worlds interpretation can combine local interaction equations with no unique global outcome, but a claim of locality must explain its branch-relative correlations; it has not thereby constructed the above Bell-local single-outcome model. The measurement-independence loophole, including suitable retrocausal or correlated-setting models, drops the shared setting-independent premise. Such models are logical possibilities, not demonstrations that the ordinary locality assumptions survive unchanged.
The justified answer is therefore conditional rather than an unqualified yes or no. Operational locality is retained by the quantum formalism. A theory reproducing all its correlations cannot retain Bell factorization, independent settings and the ordinary joint-outcome framework together. Neither denial of hidden variables nor an appeal to relativity alone removes the probabilistic contradiction.
A pure quantum state is a unit ray in a complex Hilbert space: normalization fixes total probability, a common phase is unobservable, and superpositions retain relative phases. Observables are self-adjoint operators. For an ideal projective measurement with spectral projector , the Born rule gives and the Lüders rule gives conditional state . This preserves an eigenspace, not necessarily a unique vector when the outcome is degenerate. Between measurements, a closed system evolves unitarily according to . Composite systems use tensor products; quantum statistics additionally restrict identical-particle states. These are a framework supported by many experiments, not separate logical deductions from any one experiment.
In the photoelectric effect, monochromatic light illuminates a clean metal and a retarding potential measures the largest emitted electron kinetic energy. frequency controls the stopping energy, , while in the one-photon regime intensity mainly controls the emission rate. A threshold frequency and a stopping-energy slope support quantized energy exchange rather than gradual absorption of arbitrary classical-wave energy by each electron. Contact potentials, surface contamination, dark current and spectral impurities require controls. Robert Andrews Millikan tested the frequency–stopping-potential relation with careful surface and electrical control.[ref]
The Stern-Gerlach experiment sends a collimated neutral silver beam through an inhomogeneous magnetic field onto a detector. The force is approximately in an appropriate strong-field electronic description. Two resolved components rather than a continuous classical orientation spread support discrete angular-momentum projections. Field-off beam profiles and magnetic-gradient/beam-width controls distinguish splitting from ordinary broadening. In the modern description the silver ground electronic state has ; the 1922 experiment preceded the electron-spin interpretation. Ideal sequential analyzers along different axes illustrate incompatible observables and state preparation, but were not the original apparatus.[ref]
In the Davisson–Germer experiment, accelerated electrons scatter from a nickel single crystal and an angularly scanned collector measures the scattered intensity. Changing voltage and crystal orientation changes narrow diffraction maxima. The inferred wavelength agrees with , with nonrelativistic . vacuum, crystal cleaning, energy selection and background measurements matter: adsorbed surface gas can produce additional diffraction features. This supports matter-wave amplitudes and interference, with measured intensities related to their squared magnitude; it does not mean an electron must follow a classical orbit through the apparatus.[ref] Together these experiments motivate quantized outcomes, wave amplitudes and probabilistic measurement while leaving a distinction between observed evidence and the general postulates used to organize it.
Confinement to length gives a momentum scale by the Heisenberg uncertainty principle. Using the alpha-particle mass , its speed scale is . Counting encounters with either wall,
This is an order-of-magnitude collision-rate estimate, not a classical trajectory of a stationary quantum state. Taking , a different geometric interpretation of the well size, or successive returns to the same wall changes the coefficient by factors of order unity; the robust scale is .
A density operator describes both a quantum state prepared in one pure state and a statistical preparation whose members occupy different pure states. If normalized vectors occur with probabilities , define
The resulting operator is Hermitian, positive semidefinite and has trace one. Positivity follows because . Conversely, the spectral theorem gives such a representation of any finite-dimensional operator with these properties, using its eigenvectors and eigenvalues. The matrix representing depends on the chosen basis; the operator and its predictions do not.
One operator gives every measurement probability. For a projective measurement with orthogonal projections and outcomes ,
For example, the first formula follows by averaging over the preparation. The trace expression is basis independent. A general measurement replaces by positive measurement effects that sum to the identity, without changing the probability formula. Thus specifies the statistics accessible to measurements on that system.
The distinction between pure and mixed states is especially transparent in the eigenvalues. A pure state has , , and . A mixed state has at least two positive eigenvalues and . For a qubit,
pure states lie on the Bloch sphere; mixed states lie inside the Bloch ball. The maximally mixed qubit can be prepared by choosing equally between the two spin eigenstates, or equally between the two spin eigenstates. These ensembles are different preparation procedures but give the same density operator. No measurement on the resulting qubit alone can identify which ensemble was used.
quantum coherence must be distinguished from merely having two populated levels. In the basis, the state has
Both give equal probabilities for the two outcomes. A measurement along gives the positive result with probability one for the first state and one half for the second. The off-diagonal entries encode the relative phase information responsible for this difference. Whether a matrix entry is off diagonal is basis dependent; purity is not.
For an isolated system, each component evolves with the same unitary time-evolution operator. Therefore and
Unitary evolution preserves the eigenvalues and purity of . A density operator commuting with a time-independent Hamiltonian operator is stationary. A thermal equilibrium example is the canonical ensemble , where and . expectation values then reproduce quantum statistical mechanics without assigning the system a definite energy eigenstate on every run.
A mixed state can also arise without classical randomness in the joint preparation. For a bipartite quantum system, the reduced density operator gives every measurement probability accessible to subsystem . For the Bell state , the joint state is pure, whereas . Its local mixedness reflects entanglement with the inaccessible system; the partial trace discards correlations that matter for joint measurements. More generally, interaction with an environment can suppress off-diagonal entries in a selected basis, producing decoherence while the combined system still evolves unitarily.
Finally, state evolution conditional on a measurement outcome differs from isolated evolution. An ideal projective measurement yielding updates the state by the Lüders rule . Discarding the outcome gives , which generally removes coherence between different eigenspaces. The Von Neumann entropy quantifies mixedness: it vanishes for pure states and reaches for . Multiplying by gives thermodynamic entropy units. These uses make the density operator a common language for preparation uncertainty, measurement, thermal states and entangled subsystems, while retaining their distinct physical origins.
The postulates of quantum mechanics give a framework for predicting observations from a prepared state. The experiments below motivate different features of that framework; no one experiment proves the whole set of postulates or specifies every Hamiltonian operator.
A pure quantum state is a normalized vector in a complex Hilbert space, with vectors differing by an overall quantum phase representing the same physical preparation. In position representation, . The linear state space permits quantum superposition, while the Born rule assigns probability to a position outcome in a region . The wavefunction is a probability amplitude; it is not a classical distribution of definite particle positions and momenta.
An observable is represented by a self-adjoint operator. If has spectral projectors , its possible measurement outcomes are its spectral values and . The mean is . For an ideal repeatable projective measurement, obtaining leaves the normalized conditional state . This projects onto an entire eigenspace if the outcome is degenerate. General detectors need more general measurement in quantum mechanics models; the projective update is an idealization. Noncommuting observables need not have simultaneous sharp values, as the canonical commutation relation and Heisenberg uncertainty relation illustrate.
Between measurements, an isolated system has unitary time evolution generated by its Hamiltonian operator:
This preserves normalization and superpositions. Composite systems use a tensor product of state spaces, allowing entangled states as well as product states; identical particles additionally require the bosonic or fermionic exchange symmetry appropriate to their species. Statistical mixtures are described by a density matrix, with . These rules separate preparation, coherent evolution and measurement.
The photoelectric effect exposes discrete energy transfer by light. Illuminate a clean metal cathode in an evacuated tube and measure the collected electron current while varying the light frequency, intensity and a retarding voltage. The stopping potential probes the largest emitted electron kinetic energy, whereas the photocurrent measures the rate at which charge is collected. In the ordinary single-photon regime there is a threshold frequency; above it the maximum energy grows with frequency, rather than with intensity. Changing intensity at fixed frequency mainly changes the number of emitted electrons. These observations are summarized by the Einstein photoelectric equation
Here is the surface work function, and the stopping voltage is understood after any photoelectric contact-potential correction. A photon delivers in an absorption event; emission is allowed only when that energy can pay the escape cost. This accounts for the frequency threshold and the lack of the classical waiting time associated with slowly accumulating energy in a single electron. The experiment supports energy quantization of light; it does not imply that every incident photon emits an electron or that every emitted electron has the maximum energy. Surface losses and collection geometry affect the full current-voltage curve.
The Davisson–Germer experiment demonstrates a complementary wave property of matter. An electron gun uses a heated emitter, accelerating voltage and apertures to send a narrow beam onto a nickel single crystal in vacuum. A movable collector measures scattered electric current versus direction; rotating the crystal also tests its azimuthal symmetry. The crystal gives sharp angular beams whose positions depend on voltage and crystal orientation. A prominent feature occurs near accelerating voltage and roughly detector colatitude. The nonrelativistic de Broglie wavelength predicted at that voltage is
Diffraction wavelengths inferred using the known crystal structure agree with this voltage dependence. These angular peaks arise from coherent addition of scattering amplitudes from the crystal, not from classical specular reflection of independent point projectiles. Bragg's law is for lattice-plane spacing and angle to those planes; a detector colatitude is a different angle and must not be substituted without its geometry. The historical readout was current, not a photograph of individual electron trajectories.[ref]
The double-slit experiment makes the role of amplitudes especially direct. A coherent source illuminates two narrow slits; an observation screen a distance away records the pattern. For slit spacing and small screen displacement , the path difference is approximately . The two amplitudes add before probabilities are formed:
For equal coherent illumination the interference term varies as , giving fringe spacing beneath the single-slit diffraction envelope. Blocking one slit removes that cross term. Young's optical experiment established wave interference; later particle-resolved realizations with photons or electrons show localized detection events whose accumulated distribution has the interference pattern. Low arrival rates demonstrate that this pattern does not require different incident particles to collide with one another.
If the paths become correlated with distinguishable detector states and , the cross term acquires their overlap . Perfectly distinguishable path records make that overlap zero, suppressing interference even if the spatial beams still overlap. This connects quantum entanglement, measurement and loss of observable coherence. Without a path measurement, the two alternatives are amplitudes for one preparation, rather than classical mutually exclusive events whose probabilities may simply be added.
Together these experiments motivate a description in which energy transfer and detector outcomes can be discrete, yet propagation retains complex quantum phases and interference. The Born rule connects those amplitudes to repeatable frequencies of outcomes. The Schrödinger equation supplies the dynamics once a Hamiltonian operator is specified, while observable operators, state preparation and the measurement model specify what the apparatus can read.
Use the quantum free electron model: conduction electrons move as independent particles in a three-dimensional box of volume , with a uniform positive background replacing the ionic lattice potential. Neglect the detailed periodic potential and explicit electron-electron interactions; the interior one-electron dispersion relation is . The boundary confines the particles, and its detailed shape does not affect the bulk state count in a sufficiently large sample.
The electrons are spin- fermions: each spatial quantum state accommodates two opposite spin states, with occupations given by the Fermi-Dirac distribution and the Pauli exclusion principle. A fixed number of conduction electrons and thermal equilibrium are assumed. Collisions can be represented by a phenomenological momentum relaxation time for transport, but are unnecessary for the equilibrium state counting here. These assumptions distinguish the quantum model from a classical Maxwell-Boltzmann electron gas.
A localized quantum particle is described by a wave packet: a coherent quantum superposition of momentum components, rather than a single delocalized plane wave. The Born rule assigns the position probability density . A useful normalized initial Gaussian wave packet is
Its mean position and momentum are and , and its standard deviations satisfy , . This unchirped initial state saturates the Heisenberg uncertainty relation.
For a free particle, the momentum-space Schrödinger equation multiplies each amplitude by . The inverse Fourier transform is a Gaussian integral, giving the free Gaussian wave packet evolution
One way to obtain this expression explicitly is to write the initial momentum amplitude as proportional to , multiply by the free evolution phase and complete the square in . Taking the modulus squared removes the position-dependent phase and leaves
The expectation value follows uniform classical motion while the density spreads. A narrower initial packet needs a wider momentum distribution and therefore spreads more rapidly. At long times its width grows linearly with ; its variance grows quadratically, unlike the linear variance growth of ordinary diffusion. The probability continuity equation preserves total probability despite the decreasing peak height. The mean momentum and the mean energy remain constant, since the momentum populations do not change.
The same result has a wave interpretation. For a free nonrelativistic particle , so the group velocity is , equal to at the packet center. The curvature makes different momentum components travel with different group velocities, producing dispersion. The phase velocity is for this energy convention and does not describe the motion of the envelope. The evolving quadratic spatial phase is essential to the spreading; a density snapshot alone does not specify the full quantum state.
A freely spreading Gaussian wave packet remains a pure Gaussian state but develops position-momentum correlations. Its symmetrized covariance is . Consequently
Equality in the Robertson-Schrödinger uncertainty relation survives at every time, whereas the simpler product equals only initially. A chirped Gaussian wave packet can already have . More generally, gives . A sufficiently negative initial covariance permits initial contraction before subsequent spreading.
Figure 1.
Free Gaussian spreading, constant coherent-state width and the breathing width of a squeezed state
. Details.
A potential energy changes this behavior. A quadratic potential preserves the Gaussian form because the evolution of position and momentum is linear. For a quantum harmonic oscillator, the Gaussian covariance in a harmonic potential is
A coherent state has , and zero centered covariance. Its width is constant, and its center follows . In oscillator notation its coherent state label rotates as , apart from the common ground-energy phase of the state vector. A squeezed coherent state generally has a width that breathes at . Thus being Gaussian does not imply either free spreading or constant width; the Hamiltonian operator and initial covariance determine the result.
For a general nonquadratic potential, different parts of the packet experience different nonlinear forces, and an initially Gaussian profile need not remain Gaussian. Ehrenfest theorem gives the exact relations and . Replacing the last mean by is exact for a quadratic potential and approximate for a packet narrow compared with the scale on which the force varies. This connects packet motion to the correspondence principle without treating a quantum state as a definite classical path. Scattering can split a packet into reflected and transmitted components, while confinement can produce oscillations and interference between discrete energy eigenstates. Their relative phases evolve even when their populations remain constant. Localization, spreading and coherent motion all follow from the same linear unitary time evolution.
An observable is represented by a self-adjoint operator. For an ideal projective measurement, let be its spectral projector for outcome . The Born rule gives , or for a density matrix . Conditional on obtaining , the Lüders rule gives
For a degenerate outcome this projects onto the whole associated eigenspace, rather than arbitrarily selecting a vector within it. An immediate repeated ideal measurement returns the same outcome, provided there is no intervening evolution or disturbance.
Commuting finite-dimensional observables admit a common orthonormal eigenbasis; their projectors commute and ideal joint measurements are compatible. Noncommuting observables generally have no complete common eigenbasis, and measurement order can affect the subsequent statistics. Particular common eigenvectors can nevertheless exist, so a nonzero commutator does not mean that every state has a nonzero uncertainty in both quantities.
For a quantitative constraint, apply the Cauchy-Schwarz inequality to and . The imaginary part of their inner product is , giving the Robertson uncertainty principle
The canonical commutation relation gives . Retaining the real part of the same inner product gives the stronger Robertson-Schrödinger uncertainty relation, including a covariance term. These are constraints on the preparation of a quantum state, not simply statements about a poorly calibrated instrument.
A sequential spin one-half example makes the change in statistics explicit. Prepare . An immediate measurement is certainly positive. If an measurement is inserted first, its outcomes each have probability and leave states . Each then yields either result with probability , so the final positive fraction is . The change reflects projection onto incompatible spin eigenstates, even with ideal measuring apparatus. The theory of measurement in quantum mechanics allows more general state-update rules, but the operator description and the Born rule still constrain their probabilities.
Time dependence in quantum mechanics describes how a prepared quantum state changes and thereby changes the probabilities of later measurements. For an isolated system, the Schrödinger picture assigns this evolution to a state vector , governed by the Time-dependent Schrödinger equation
The Hamiltonian is a self-adjoint operator; it has units of energy, while has units of action, so has units of inverse time. For a particle with potential energy , this becomes
Given a suitable initial wavefunction and the physical boundary conditions, this first-order equation determines its subsequent propagation. Its linearity means that the evolution of a quantum superposition is the corresponding quantum superposition of evolved states.
For a real potential energy, this equation and its complex conjugate imply the local continuity equation
Here is the probability density and the probability current. Vanishing net boundary flux preserves wavefunction normalization, as required by the Born rule.
The time-evolution operator packages the solution for every initial state:
Because , differentiation gives
Therefore : this is unitary time evolution, preserving inner products and all state norms. It is reversible, with , and obeys the composition law .
For a time-independent Hamiltonian, the solution is the operator exponential
If the Hamiltonian varies with time, the analogous simple exponential of its integral is valid when for all relevant times. Otherwise time ordering is essential:
The meaning is explicit in the first terms of the ordered series,
the later-time operator stands on the left. In the position representation, the same propagation is expressed by the quantum-mechanical propagator
Its initial value is the Dirac delta function .
A time-independent Hamiltonian has energy eigenstates satisfying . A single such initial state evolves as
It is a stationary state: its global phase changes, but its probability density and the distributions of time-independent observables do not. Its energy is sharp. Any quantum superposition entirely within one degenerate energy eigenspace also acquires one common global phase and is stationary. Stationarity does not require zero probability current; for instance, on the ring has a constant density and persistent circulation when .
An arbitrary normalized state can instead contain different energy eigenvalues:
A continuous spectrum requires corresponding integrals. For the discrete case, an energy measurement gives with fixed probability (summed over degeneracies), but relative quantum phases change with time. Consequently
The interference terms can oscillate at angular frequencies . For two populated energy levels, this supplies a characteristic period when the interference term is nonzero. Thus fixed energy populations do not imply a stationary spatial distribution.
For a normalized state and an observable , its expectation value is
This is the statistical mean over repeated preparations and measurements. In an eigenbasis of energy eigenstates for a time-independent Hamiltonian and a time-independent ,
Only matrix elements connecting different energies can generate these oscillations. If , its expectation value is constant for every initial state, provided it has no explicit time dependence.
Differentiating the expectation value and substituting the Schrödinger equation for both the bra and ket proves the general Ehrenfest theorem:
Equivalently,
These manipulations require the state to lie in the relevant operator domains. Taking gives , so energy is conserved under a time-independent Hamiltonian.
For , the canonical commutation relation gives
Hence the particularly useful position-and-momentum form of Ehrenfest theorem is
It resembles Newton's second law, but the mean force generally differs from the force at the mean position. If a narrow wave packet samples a region where the force varies little, gives approximate classical motion. For a quadratic potential energy this replacement is exact. In particular the quantum harmonic oscillator obeys
The centroid follows the classical harmonic oscillator, although this does not specify the full evolving wavefunction or its width.
The Heisenberg picture expresses the same physics by assigning evolution to observables instead:
The expectation value is unchanged, and differentiation yields . Thus state propagation, evolving expectation values, and the classical correspondence in Ehrenfest theorem are mutually consistent descriptions of the same unitary time evolution.
The expression is the canonical partition function for a system in thermal equilibrium with a large heat bath at fixed temperature . The system exchanges energy with the bath, while its particle number and external mechanical parameters, such as volume, are fixed. The bath is large enough that its temperature is not appreciably changed by this exchange.
The system has allowed energy levels . The index labels distinct energy values, and the integer degeneracy factor counts distinct quantum states with that same energy. is the Boltzmann constant, and is a state's Boltzmann factor. The dimensionless sum normalizes the probabilities:
Thus the degeneracy multiplies the probability of occupying the level, not the probability assigned to each individual state within it.
The canonical model is not restricted to a classical ideal gas. It applies to a quantum rotor, for example, provided the sum counts all of that system's allowed states with their proper degeneracies. For a many-particle system, would be the energy of a many-particle state, with any quantum-statistical restrictions already built into the state count.
Within a fixed isolated electronic multiplet, the electronic field at the nucleus is a vector operator. Rotational symmetry and the Wigner-Eckart theorem imply that its projection into this multiplet is proportional to :
Its detailed orbital, spin-dipolar and contact contributions are included in the reduced coefficient . Consequently the projected magnetic-dipole hyperfine interaction becomes
in the same dimensionless angular-momentum convention as a. The proportionality is a statement about matrix elements within the chosen electronic manifold, not an identity for the electron field operator on the entire atomic Hilbert space.
Define . In zero external field the quantum states obtained by addition of angular momentum are labelled , where specifies the electron configuration and other fixed labels. The good quantum numbers include , with and . In a description using LS coupling the fixed electronic labels can also include . The energies depend on but not :
This neglects coupling to other electronic manifolds, electric-quadrupole hyperfine interactions and the Zeeman effect from external fields. Those additions can shift the intervals or change which quantum numbers remain useful.