Born rule Created 2026-09-24 Updated 2026-10-18
The Born rule connects a quantum state to measurement probabilities. Let be a complete orthonormal basis, finite or countably infinite, for a Hilbert space, and letAn ideal measurement distinguishing these basis vectors returns label with probabilityThis assignment is a physical measurement rule. Its compatibility with total probability one follows from orthonormality and normalization:The probabilities are the squared moduli, not the amplitudes themselves or the squares . [ref].
If the basis is an eigenbasis of an observable, the reported numerical value is its eigenvalue. Several vectors can share one eigenvalue; the probability of that value is then the sum over the corresponding basis labels. More generally, a projective measurement with orthogonal projections assignsfor a pure state and a general density matrix , respectively. This also covers mixed states and degenerate eigenspaces. The Born rule determines outcome statistics; the ideal conditional state change is specified separately by the Lüders rule. See projective measurement for that formulation and its assumptions. [ref]
https://quantum.cloud.ibm.com/learning/en/courses/general-formulation-of-quantum-information/general-measurements/formulations-of-measurements. Watrous, IBM Quantum Learning, Mathematical formulations of measurements, Projective measurements
.For a worked example, take the normalized qubit quantum stateThe squared moduli add to . A computational-basis measurement, equivalently a measurement of the Pauli matrix, hasThese probabilities do not depend on the relative quantum phase . Now choose the Hadamard basiswhose vectors are eigenstates of the Pauli matrix, also used by the Pauli X gate. The new probability amplitudes and probabilities areBoth probabilities are nonnegative and their sum is one. The relative quantum phase becomes visible because the two probability amplitudes add before their squared modulus is taken:
- At , and .
- At , .
- At , and .
The same qubit preparation has phase-independent Z probabilities and phase-sensitive X probabilities
. Details. A Hadamard gate followed by a computational-basis measurement realizes these statistics, since , respectively. Compare the two bases using fresh, identically prepared copies: a preceding measurement may change the state. The quantum superposition section shows why replacing the preparation by the mixed state keeps the statistics but gives for every .
The usefulness of the Born rule is this conversion from linear algebra to experimental predictions: calculate overlaps in the basis actually measured, then take squared moduli. Its appealing geometry is that changing basis redistributes probability while preserving total squared norm. The same rule relates an energy eigenstate expansion to an energy measurement and a position wavefunction to a probability density.
Born's 1926 paper on quantum scattering interpreted the outgoing-wave coefficients in terms of the probabilities of collision outcomes; a corrective footnote specified proportionality to the square of the amplitude. This is a historical scattering formulation, rather than the general density matrix formula above. [ref]
Zur Quantenmechanik der Stoßvorgänge by Max Born. Born, Zur Quantenmechanik der Stoßvorgänge, Zeitschrift für Physik 37, 863–867, 1926
; [ref]https://www.neo-classical-physics.info/uploads/3/0/6/5/3065888/born_-_qm_for_collisions_i.pdf. English translation of Born's paper, p. 3 and footnote 1
. Born statistical scattering interpretation Created 2026-10-18 Updated 2026-10-25
The scattering interpretation connects an incoming preparation to the relative frequency of outgoing directions and final atomic states. Max Born's 1926 paper treats a distant incoming electron and a chemical atom, expands the outgoing wavefunction into final atomic states, and imposes conservation of energy. Its translated correction footnote specifies the square of the coefficient; the modern complex modulus notation below is ours.[ref]
Zur Quantenmechanik der Stoßvorgänge by Max Born. Zur Quantenmechanik der Stoßvorgänge, 1926, pp. 863–867; inspected in D. H. Delphenich's translation, pp. 2–4, especially p. 3 equation (1) and footnote 1: squared coefficient
In his 11 December 1954 lecture, Max Born recalled the difficulty of interpreting bound electrons alone. He instead described an incident electron wave generating an outgoing spherical wave, with direction-dependent squared amplitude determining relative scattering probabilities. Distinct final atomic states describe excitation with corresponding electron energy loss. This is a retrospective account of an interpretation, rather than the report of a new apparatus.[ref]
The statistical interpretation of quantum mechanics by Max Born. The statistical interpretation of quantum mechanics, lecture delivered 11 December 1954, printed pp. 261–262; inspected through the transcription at studyres.com/doc/8624145/the-statistical-interpretation-of-quantum-mechanics, paragraphs from the bound-electron difficulty through inelastic scattering
The distinction from the modern Born rule matters. The historical question was which collision outcome occurs: a direction of motion and a final atomic state. The general projective measurement formula applies to arbitrary observables, including degenerate outcomes and mixed states; a positive operator-valued measure describes still more general detector statistics. Those formulations should not be read back as the explicit contents of the short 1926 scattering paper. Nor does the scattering interpretation itself supply a rule for the conditional post-measurement state.
Actual experimental settings are described in the Davisson–Germer experiment and the Franck-Hertz experiment. The former scans collected electric current as an electron beam scatters from prepared nickel; changing direction, accelerating voltage and surface preparation probes electron diffraction. The latter uses acceleration through mercury vapor and a retarding collector to infer discrete energy losses from current minima, with vapor density and retarding settings as controls. Angular resolution and surface backgrounds limit the first inference; initial energy spread and collision positions limit the second. These linked experiments supply the preparation, apparatus and readout; the examples below are original calculations, not Born's measured data.
Canonical ensemble Created 2026-09-24 Updated 2026-10-13
The canonical ensemble is the probability distribution for a system in thermal equilibrium with a heat bath at fixed temperature , with fixed particle number and external parameters. It allows energy exchange, so individual energy measurements fluctuate. With Boltzmann constant and inverse temperature ,The heat bath is idealized as large enough that exchanges barely change its temperature; coupling must permit equilibration while contributing negligible interaction energy. A finite heat bath approximates this description only when its temperature change is negligible over the relevant exchanges. Strong coupling or a small heat bath can require a different description.
For one two-level system at positive temperature, the Boltzmann weights are , henceAt , and . This is a probabilistic thermal mixed state. For quantum levels, its density matrix is . The pure state has the same energy measurement probabilities, but also has quantum coherence between the energy eigenstates. Matching those probabilities does not make the states equivalent.
Density matrix 2026-10-13
A finite-dimensional density operator represents a quantum state on a Hilbert space. It is Hermitian, positive semidefinite, and has trace one:The density matrix is its matrix in a chosen orthonormal basis. In dimension it has real parameters: a Hermitian matrix has , and fixing its trace removes one; positivity restricts the allowed values.
A quantum state ensemble of normalized pure states with positive probabilities givesZero-weight terms can be omitted. Conversely, the spectral theorem gives such an ensemble for every density operator, using its orthonormal eigenvectors and nonnegative eigenvalues, with zero eigenvalues omitted. A pure state has ; a mixed state needs at least two nonzero eigenvalues. [ref]
https://cs.uwaterloo.ca/~watrous/TQI/TQI.2.pdf. Watrous, The Theory of Quantum Information, chapter 2, section 2.1.2, pp. 62–64
For a projective measurement with orthogonal projections , the Born rule isThis is the average of the component pure state probabilities. Positivity makes each outcome probability nonnegative, and makes them sum to one. The same density operator therefore predicts every measurement on the system without requiring a unique preparation history. [ref]
For a closed system, Schrödinger picture evolution under a unitary operator iswhen denotes the time-independent Heisenberg picture state and . In the Schrödinger picture the density operator evolves; in the Heisenberg picture the observables evolve instead, with identical measurement predictions. This unitary operator preserves the eigenvalues and hence the purity of a density operator. [ref]
A historical source for the probabilistic formulation of quantum mechanics is von Neumann's 1927 paper Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik. [ref]
https://geodesic.mathdoc.fr/item/NGWGMP_1927__1927_59230/. von Neumann, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1927, pp. 245–272
Energy eigenspace Created 2026-09-24 Updated 2026-10-14
The energy eigenspace at is the vector subspacewhere is the Hamiltonian operator and is the identity operator. It is nonzero exactly when is an energy eigenvalue. Its dimension is the multiplicity of that energy eigenvalue; degenerate energy levels have multiplicity greater than one. The ground-state subspace is , and its dimension is the ground-state degeneracy. A vector in an energy eigenspace need not be one of a specially chosen orthonormal basis of energy eigenstates.
Linearity makes the useful point immediate: if and , then . Every normalized nonzero combination stays in the same energy eigenspace. For a time-independent Hamiltonian operator, its evolution is multiplication by the common global phase , so it is a stationary state. A quantum superposition within a degenerate energy eigenspace can change spatial shape when its coefficients are chosen differently, but its density does not subsequently beat under this unchanged Hamiltonian operator.
Across distinct energy eigenspaces, relative quantum phases evolve. For orthonormal eigenfunctions of the Hamiltonian operator with energy eigenvalues , an equal-weight quantum superposition hasand position probability densityThe interference term can change local probabilities even though the Born rule assigns the same time-independent probability to each energy measurement outcome. Orthogonality makes its integral zero, preserving wavefunction normalization. This pure state is not a stationary state; some particular measurement distributions may nevertheless remain constant. An incoherent mixed state with the same energy populations has no such interference term.
For the pictured infinite square well, and the interference repeats after . At , direct integration gives ; halfway through the period it is . This is a moving expectation value, rather than a trajectory of an individual particle. The distinction between an energy eigenspace and a combination of different energy eigenspaces is what makes the different behavior possible.
Expectation value Created 2026-09-24 Updated 2026-10-14
The expectation value of a quantum observable is the expected value of its measurement outcome random variable in a specified quantum state. It predicts the mean of outcomes from many identical quantum state preparations. It need not equal any one possible outcome: for a spin one-half particle, equal probabilities of and give mean zero even though zero is never an outcome of that spin component. Here is the reduced Planck constant.
Let be a Hermitian operator on a finite-dimensional Hilbert space, and let be a normalized pure state, . The spectral theorem writesThe are distinct real eigenvalues, are orthogonal projections onto their eigenspaces, and is the identity operator. For an ideal projective measurement of , the Born rule and the expectation value giveThus the expectation value is a probability-weighted average of eigenvalues, including all vectors in a degenerate eigenspace in its . In an orthonormal eigenbasis, , this is , where repeated are allowed. The weighted average lies between the smallest and largest eigenvalues; it can lie in a gap between them. The statistical meaning and operator expression are connected in this way in the authored treatment of average energies.[ref]
Chapter 20: Operators. The Feynman Lectures on Physics, Volume III, Chapter 20: Operators, §20–2, equations (20.11)–(20.20): outcome frequencies, weighted mean, and operator expectation
If a nonzero vector has not been normalized, use ; the denominator is essential. A global phase cancels between the bra and ket, so and have the same expectation value and outcome probabilities.
The outcome variance measures the spread about this mean, whereas the quantum uncertainty is its standard deviation:For a pure state, zero variance means that lies entirely in one eigenspace. That eigenspace need not be one-dimensional. Knowing only a mean generally does not determine the entire outcome probability distribution.
For a mixed state, the same formulas use its density matrix , a positive operator with trace one:A pure state is the special case . For a quantum state ensemble , the expectation value is . This linearity is useful when preparations vary between trials; different quantum state ensembles can have the same density matrix.
These formulas require no operator-domain qualifications in finite dimension. For an unbounded self-adjoint operator, the spectral theorem instead gives a spectral probability measure; a finite mean requires an integrable absolute first moment, and finite variance requires a finite second moment. Writing as an operator inner product additionally requires in the operator domain of . The quadratic form of a positive quantum Hamiltonian explains the useful wider form-domain version.
Fidelity of commuting mixed states 2026-10-14
When two density operators are commuting elements, choose a common orthonormal eigenbasis and write , . Their quantum fidelity becomes the classical overlap of the two probability distributions, while their trace distance becomes total variation distance:This follows by computing the positive square root of an operator entry by entry in the common eigenbasis. For the qubit mixed states and ,The two contributions to quantum fidelity are about and . In contrast, the chance that two independent computational basis measurements, one on each preparation, print the same label is . That particular event has a specified probability; neither nor is that probability.
Commuting mixed-state probabilities, square-root overlap contributions to unsquared fidelity F, squared fidelity Fsq, and trace distance D
. Details. Here trace distance means an equal-prior quantum state discrimination success of by the Holevo–Helstrom theorem. Measuring in the common computational basis and guessing on outcome zero and on outcome one achieves . Also : the pure-state trace distance and fidelity identity is an equality for pure states, rather than a formula for arbitrary mixed states.
Fuchs-van de Graaf inequalities 2026-10-14
For all finite-dimensional density operators, including pure states and mixed states, the unsquared quantum fidelity and trace distance obeyIn the squared quantum fidelity convention this is . The bounds translate a high quantum fidelity into a small operationally meaningful trace distance. If with , then ; if , then . The upper bound is attained by the pure-state trace distance and fidelity identity. For the fidelity of commuting mixed states example, the bounds read . [ref]
Infinite square well Created 2026-09-24 Updated 2026-10-20
The infinite square well is an ideal confinement model with potential energy for and infinite walls outside. The walls impose Dirichlet boundary conditions and a vanishing exterior wavefunction. Inside, the time-independent Schrödinger equation isThe first wall removes the cosine term; the second requires , hence . The solution is identically zero and cannot satisfy wavefunction normalization. Each energy eigenstate has interior nodes of a standing wave, at for . More curvature costs more kinetic energy, explaining the growth. The positive ground-state energy is a confinement effect: a constant zero-energy wavefunction cannot satisfy both walls and remain normalized.
For an electron with mass in a box of length , use and . These constants are from the 2022 CODATA adjustment. [ref]. Substitution givesDoubling quarters every energy eigenvalue; doubling halves them. This scaling makes the particle in a box useful for estimating confinement energies before attempting a more realistic calculation. A finite square well permits exterior tails for bound states and has only finitely many bound energy eigenstates. For an electron, the scalar box calculation assumes fixed spin and no spin-dependent interactions.
For the ground state, the probability of finding the particle in the middle half of the box is fully computable:Thus half the available length contains about of the probability. The figure contrasts the signed wavefunctions with their nonnegative probability densities: a negative lobe is an amplitude with opposite quantum phase, not negative probability.
An equal quantum superposition of the first two energy eigenstates gives a simple example of moving density:Its density period is for the electron box above. At the cross term enhances the left side; at it vanishes; at it enhances the right side. More quantitatively,which takes the values , , and at those times. Orthogonality keeps the total probability one throughout. An energy measurement still returns or with equal probabilities: changing position density arises from relative quantum phase, not changing populations. A mixed state describing a statistical mixture with those populations has the constant probability density ; it lacks this matter-wave interference term.
Maximally mixed state Created 2026-10-07 Updated 2026-10-24
The maximally mixed density operator on an -dimensional Hilbert space assigns equal weights to every vector of any orthonormal basis. It is invariant under every unitary operator. Its purity is , the minimum possible because the nonnegative eigenvalues sum to one and obey the Cauchy-Schwarz inequality. For it is a mixed state; for it is the sole pure state. A rank- projector has probability in this state.
A POVM gives outcome probability distributions and by the Born rule. Their classical overlap, the Bhattacharyya coefficient, is . Fuchs and Caves showed that minimizing this overlap over all POVMs gives the unsquared quantum fidelity:The same POVM is applied to either possible input quantum state. Each measurement in quantum mechanics has ; some measurement attains equality, including when the density operators have zero eigenvalues. Thus quantum fidelity quantifies the smallest classical overlap that observation can reveal. For fidelity of commuting mixed states, measurement in a common eigenbasis attains the minimum. This operational interpretation compares statistics without assigning a probability that two mixed states are equal. [ref]
https://arxiv.org/pdf/quant-ph/9604001v1. Fuchs and Caves, Mathematical Techniques for Quantum Communication Theory, equations 5–6 and 17; published 1995, archived 1996
[ref]https://jhwatrous.github.io/TQI.3.pdf#page=30. Watrous, The Theory of Quantum Information, Theorem 3.24, including singular density operators
Mixed state Created 2026-09-29 Updated 2026-10-14
A mixed state is a density operator that is not a rank-one orthogonal projection. In finite dimension it is characterized by , so its purity of a density operator distinguishes it from a pure state.
Compare a pure state quantum superposition with an equal classical choice between two computational-basis states of a qubit:A projective measurement in the computational basis gives for both density operators. An projective measurement in the Hadamard basis distinguishes them: the Born rule gives for and for . These comparisons use separate copies of each preparation; measuring first changes the state tested by a subsequent measurement.
The off-diagonal entries of encode quantum coherence in the computational basis. Such quantum coherence depends on the basis: is diagonal in the Hadamard basis but remains a pure state. Mixedness is independent of the basis, because a unitary change of basis preserves the eigenvalues and the purity of a density operator.
Even the quantum state ensemble is not unique:The off-diagonal entries of the two Hadamard basis projectors cancel. Thus the density operator retains precisely what measurements on the system can reveal, while an accessible preparation label carries additional information. A mixed state can also be the reduced density matrix of an entangled state, even when the whole system is in a pure state; classical ignorance about a selected component is not its only physical origin. [ref]
A density matrix has unit trace. The Pauli matrices are traceless, so and hence . Using in the expectation value givesConsequently the required Bloch vector and density matrix areThe two eigenvalues are and , both positive, so this is a valid density operator. Its purity of a density operator isTherefore it is a mixed state. Equivalently, its spectral decomposition is , an ensemble of the two distinct spin one-half along an axis states, rather than a single pure state.
Fix the qubit polarization convention by , where the Pauli matrices are ordered in the basis and . Thus the ground state is the north pole of the Bloch sphere. In a rotating frame and within the rotating-wave approximation, choose the drive phase and detuning sign so thatFor example, with this ground-state convention one may take and choose the transverse coupling positive. The Bloch vector precesses around the effective field at angular frequency , tracing a circle at fixed projection on that axis. Its length is conserved under coherent unitary time evolution. On resonance the axis is transverse and the Rabi oscillation can fully invert an initially ground-state atom. Away from resonance the axis tilts, andThere is no relaxation towards an equilibrium Bloch vector in this ideal model. An inhomogeneous ensemble can nevertheless lose its averaged qubit polarization through dephasing even without spontaneous emission; the circle description assumes a common drive and detuning.
For , the stated quantum state givesThe diagonal elements are the two state populations. The off-diagonal elements are quantum coherences: they retain the relative quantum phase and determine interference under a subsequent pulse. This is a pure state, even if both populations are nonzero: , , and . A mixed state averages projectors over preparation probabilities and generally has . Equal populations alone do not distinguish an equal coherent superposition from an unpolarized mixture.
For use in all three cases, multiplication of the gates gives the Hadamard-phase-Hadamard qubit rotationThe global phase cancels in . Thus the Bloch vector map is
The final unlabelled Ramsey spectroscopy comparison applies to the three cases as follows. In an atomic clock, an initial coherent pulse prepares a superposition, a free interval accumulates a relative quantum phase proportional to detuning times , and a final coherent pulse converts that phase to a population. Here plays the role of that accumulated phase, with sign and fringe offset set by pulse conventions. In (a), the first Hadamard gate creates the needed superposition and the final gate reveals full-contrast Ramsey interferometry. In (b), the first Hadamard gate instead puts the state in , so the intervening phase gate has no relative quantum phase to imprint: the output is independent of . In (c), the unpolarized density matrix remains unchanged under every gate, so the ensemble has no Ramsey interferometry contrast. A coherent unitary gate alone cannot initialize a maximally mixed ensemble into a pure clock state.
The Ramsey interferometry analogy concerns preparation, phase accumulation, and readout; a Hadamard gate is not literally a transverse rotation on every input. In this basis , and its Bloch sphere action is a rotation about , up to a global phase. The phase conventions of physical Ramsey spectroscopy pulses must be specified to compare their outputs for arbitrary initial states.
Use the ordered basis and , withA pure quantum superposition has on the Bloch sphere. In contrast, a mixed state has , inside the sphere for . At equal populations its vector is zero. Equal populations alone therefore do not distinguish a coherent superposition from a mixture; their off-diagonal density matrix elements differ.
Choose the drive phase so the rotating-frame Hamiltonian is , where as specified. The Rabi vector is the angular-velocity vectorHere is the on-resonance population oscillation angular frequency, not the unhalved coefficient of a cosine coupling. From , rotation about at givesFor , the rotation axis is nearly transverse, the trajectory nearly a great circle, and transfer is almost complete. For , the axis bisects and , the orbit lies in , and never exceeds . Each member remains a pure state in this coherent evolution.
For the Ramsey free interval, let atom have detuning . Instantaneous ideal pulses give the Ramsey ensemble coherence factor . Averaging the free-evolution vector obtained in step (ii) givesDifferent atoms fan out around the equator, shortening the ensemble Bloch vector even though every individual's vector remains unit length. A broad smooth detuning distribution usually makes the average spiral towards the centre and damps the Ramsey fringes towards . The dephasing time is of order . inhomogeneous ensemble dephasing is not necessarily irreversible decoherence of individual atoms; an appropriate spin echo can rephase static frequency offsets.
The given spread does not specify a probability distribution or whether it denotes an RMS width. An exact envelope is therefore not determined. The figure illustrates, rather than infers, a Gaussian distribution with RMS , for which . A uniform distribution would instead give a sinc envelope and side lobes. Both have the same qualitative initial loss of contrast on the quoted inverse-spread scale.
In the rubidium-87 ground-state hyperfine structure, and , so . Taking givesThe zero-field splitting is . Ignoring the small nuclear magnetic term, the weak-field Landé g-factors are and . The diagram labels all three and five substates, with linear shifts .
The pair and is connected by a magnetic dipole transition with , , driven with its oscillating magnetic component along the quantization axis. Both first-order shifts vanish, giving the rubidium-87 clock transition first-order insensitivity near zero field. Its insensitivity does not imply absence of quadratic shifts.
For these two levels the Breit-Rabi formula gives the quadratic Zeeman shift of a clock transition:where the last expression neglects the nuclear term and sets . HenceThis uses and the supplied . With physical moments defined by , the differential magnetic moment is . If effective magnetic moment denotes the positive energy slope instead, that slope difference is positive. The magnitude and physical frequency sensitivity are the same. Retaining the full atomic factors gives the familiar quadratic clock-frequency coefficient about ; the simplified supplied parameters give about .[ref]
Rubidium 87 D Line Data by Daniel A. Steck. §3, equations (26)–(29); table of magnetic factors and clock-transition quadratic shift
Use a far-detuned optical dipole trap, such as a red-detuned focused-beam trap, to confine both clock states. Their first-order magnetic moments vanish; their residual quadratic magnetic slopes are opposite, so a simple static magnetic-field minimum does not confine both in the same way. An optical potential acts through the electronic polarizability and can trap both ground hyperfine states. It is not perfectly state independent: differential AC Stark shifts, intensity noise and residual magnetic gradients still need control during Ramsey evolution.
A basic measurement is specified by an orthonormal basis , with outcome associated with the rank-one orthogonal projection . For a normalized pure state , the Born rule givesThe probabilities sum to one because . Conditional on an outcome with , the post-measurement state iswhich represents up to a global phase. An outcome of zero probability has no conditional state to normalize. For a density matrix , the corresponding expressions are and . If the outcome is ignored, the nonselective projective measurement instead produces , generally a mixed state.[ref]
Basic notions of quantum information. §2.3, Definition 2.34 and the outcome-probability rule; specialize to rank-one orthogonal projections
The displayed computational basis expansion is already a Schmidt decomposition, with coefficients and . For both are nonzero, so the Schmidt rank is two. A pure product state has Schmidt rank one. The state is therefore entangled throughout the specified open interval.
Equivalently, the reduced density matrix isThe reduced state is a mixed state, which is impossible for one factor of a pure product state. At the excluded endpoints the Schmidt rank drops to one, giving or .
Take the trine state ensembleAll three states are normalized. Since , their average density matrix isGeometrically, their unit Bloch vectors form an equilateral triangle on the equator and sum to zero. Orthogonality is unnecessary for an ensemble decomposition of a mixed state: three distinct, nonorthogonal pure states can give the same maximally mixed average as two orthogonal states.
A bipartite pure state is entangled exactly when it is not a product state: there are no normalized quantum states such thatEquivalently, its Schmidt rank exceeds one, or either reduced density matrix is a mixed state. This definition concerns quantum entanglement across the specified division into systems and .
Let be the coefficient of . The partial trace contracts the repeated index of the discarded qubit:For the first qubit, each diagonal entry is and the upper off-diagonal entry is . For the second qubit, the diagonal entries are and , while the upper off-diagonal entry is . Thus the two reduced density matrices, each in computational basis order , areBoth have eigenvalues and trace one, so both are mixed states even though the joint quantum state is pure. Their different eigenvectors are visible in the useful rewriteAbsorbing the minus sign into one local basis vector makes this a Schmidt decomposition with nonnegative coefficients. It also checks both partial traces and exhibits the entanglement responsible for the mixed local descriptions.








