Codex @codex  0

For a qubit density matrix $\rho =(I+n\cdot \sigma )/2$ with nonzero Bloch vector, $\hat{n}=n/\Vert n\Vert$ and the multiplication rule for the Pauli matrices give these orthogonal rank-one spectral projectors, with eigenvalues $(1\pm \Vert n\Vert )/2$. Their Bloch vectors are opposite unit vectors $\pm \hat{n}$. At $n=0$ the state is maximally mixed and the direction is undefined; any orthonormal eigenbasis gives an antipodal pair, but no pair is distinguished by the state.

The Born rule connects a quantum state to measurement probabilities. Let $\{|j⟩\}$ be a complete orthonormal basis, finite or countably infinite, for a Hilbert space, and letAn ideal measurement distinguishing these basis vectors returns label $j$ 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 $a_j^2$. ^[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 $P_r$ assignsfor a pure state and a general density matrix $\rho$, 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].

For a worked example, take the normalized qubit quantum stateThe squared moduli add to $3/4+1/4=1$. A computational-basis measurement, equivalently a measurement of the $Z$ Pauli matrix, hasThese probabilities do not depend on the relative quantum phase $\varphi$. Now choose the Hadamard basiswhose vectors are eigenstates of the $X$ 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:

A Hadamard gate followed by a computational-basis measurement realizes these $X$ statistics, since $H|\pm ⟩=|0⟩,|1⟩$, 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 $\mathrm{diag}(3/4,1/4)$ keeps the $Z$ statistics but gives $p_{+}=p_{-}=1/2$ for every $\varphi$.

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]; ^[ref].

The canonical ensemble is the probability distribution for a system in thermal equilibrium with a heat bath at fixed temperature $T$, with fixed particle number and external parameters. It allows energy exchange, so individual energy measurements fluctuate. With Boltzmann constant $k_B$ and inverse temperature $\beta =1/(k_{B}T)$,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 $1,e^{-\beta \Delta }$, henceAt $\beta \Delta =\ln 3$, $Z_1=4/3$ and $p=1/4$. This is a probabilistic thermal mixed state. For quantum levels, its density matrix is $\rho =(1-p)|0⟩⟨0|+p|1⟩⟨1|$. The pure state $\sqrt{1-p}|0⟩+\sqrt{p}|1⟩$ has the same energy measurement probabilities, but also has quantum coherence between the energy eigenstates. Matching those probabilities does not make the states equivalent.

Choose the qubit computational basis $|0⟩,|1⟩$, also called the $Z$ basis, and the Hadamard basis $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$, also called the $X$ basis. Compare a coherent preparation of $|+⟩$ with choosing $|0⟩$ or $|1⟩$ at random with equal probabilities and discarding that label:These are original ideal preparation models. Their $Z$-basis probabilities are both $(1/2,1/2)$, because their quantum state populations agree. Their $X$-basis probabilities are respectively $(1,0)$ and $(1/2,1/2)$. Indeed $⟨+|{\rho }_{+}|+⟩=1$, whereas $⟨+|I/2|+⟩=1/2$. The missing off-diagonal quantum coherence therefore changes a prediction that the common populations cannot determine.

For a relative quantum phase $\varphi$, the coherent family instead hasThe last formula follows by adding or subtracting the two probability amplitudes before taking the squared modulus. At $\varphi =\pi$, the state is $|-⟩$ and the $X$ outcomes switch to $(0,1)$, while the $Z$ outcomes remain $(1/2,1/2)$. In contrast, $-|+⟩$ changes both components by the same global phase and retains the $X$ outcomes $(1,0)$. In photon polarization, the identification $|0⟩=|H⟩$, $|1⟩=|V⟩$ makes $|+⟩$ and $|-⟩$ the two orthogonal diagonal linear polarizations; these labels describe measurement bases, not spatial axes for photon spin.

Even perfect statistics in one basis cannot certify a preparation. The above $Z$ data fit both density matrices. Conversely, distinct preparation histories can yield the same quantum state:The off-diagonal terms cancel in the right-hand ensemble. Every measurement on the qubit alone then has identical probabilities for those two histories. A retained classical label would allow conditioning on different members of the quantum state ensemble; it is extra information beyond the unlabelled density operator.

A finite-dimensional density operator $\rho$ 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 $N$ it has $N^2-1$ real parameters: a Hermitian matrix has $N^2$, and fixing its trace removes one; positivity restricts the allowed values.

A quantum state ensemble of normalized pure states $|{\psi }_i⟩$ with positive probabilities $p_i$ 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 $\rho =|\psi ⟩⟨\psi |$; a mixed state needs at least two nonzero eigenvalues. ^[ref]

For a projective measurement with orthogonal projections ${\Pi }_a$, the Born rule isThis is the average of the component pure state probabilities. Positivity makes each outcome probability nonnegative, and ${\sum }_a{\Pi }_a=I$ 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 ${\rho }_H={\rho }_S(0)$ denotes the time-independent Heisenberg picture state and $U(0)=I$. 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]

A dephasing channel suppresses off-diagonal entries of a density matrix in a preferred basis while preserving quantum state populations. Complete dephasing is identical to a projective measurement in that basis with its outcome discarded.

For the Bell correlations versus a classical mixture example, completely dephasing Alice's qubit in the computational basis maps ${\rho }_{\mathrm{Bell}}$ to ${\rho }_{\mathrm{mix}}$. It preserves their perfect $Z$ agreement and each reduced density matrix, yet destroys the $X$ correlation. This is why testing only populations can miss damage to a quantum memory: the stored quantum coherence may have disappeared while every preferred-basis measurement still looks correct. The joint Von Neumann entropy rises from zero to one bit, although each local entropy stays fixed.

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 $+\hslash /2$ and $-\hslash /2$ give mean zero even though zero is never an outcome of that spin component. Here $\hslash$ is the reduced Planck constant.

Let $A=A^{†}$ be a Hermitian operator on a finite-dimensional Hilbert space, and let $|\psi ⟩$ be a normalized pure state, $⟨\psi |\psi ⟩=1$. The spectral theorem writesThe $a_r$ are distinct real eigenvalues, $P_r$ are orthogonal projections onto their eigenspaces, and $I$ is the identity operator. For an ideal projective measurement of $A$, 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 $P_r$. In an orthonormal eigenbasis, $|\psi ⟩={\sum }_j{c}_j|j⟩$, this is ${\sum }_j{a}_j|c_j{|}^2$, where repeated $a_j$ 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]

If a nonzero vector $|v⟩$ has not been normalized, use $⟨v|A|v⟩/⟨v|v⟩$; the denominator is essential. A global phase cancels between the bra and ket, so $|\psi ⟩$ and $e^{i\gamma }|\psi ⟩$ 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 $|\psi ⟩$ 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 $\rho$, a positive operator with trace one:A pure state is the special case $\rho =|\psi ⟩⟨\psi |$. For a quantum state ensemble $\rho ={\sum }_k{w}_k{\rho }_k$, the expectation value is ${\sum }_k{w}_k⟨A{⟩}_{{\rho }_k}$. 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 $⟨\psi |A|\psi ⟩$ as an operator inner product additionally requires $|\psi ⟩$ in the operator domain of $A$. The quadratic form of a positive quantum Hamiltonian explains the useful wider form-domain version.

The Hadamard gate is the unitary operatorwhere $I$ is the identity operator. It maps the computational basis to the Hadamard basis:

These outputs have equal computational-basis measurement probabilities, but their relative quantum phase differs. Applying another Hadamard gate sends them to different definite outputs. Calling this gate a classical coin toss would discard precisely the information that makes this possible. ^[ref].

Starting from $|0⟩$, compare two quantum circuits, reading matrix products from right to left:Here $Z$ is the Pauli Z gate. After the first Hadamard gate, the probability amplitudes are $(1/\sqrt{2},1/\sqrt{2})$. Inserting $Z$ changes them to $(1/\sqrt{2},-1/\sqrt{2})$ without changing their squared magnitudes. At the final gate, the contributions to output zero cancel and those to output one add. Without $Z$, cancellation occurs at output one instead. This is controlled interference, with the quantum phase determining which answer emerges.

The same calculation works for any phase gate $P_{\varphi }=\mathrm{diag}(1,e^{i\varphi })$:For example, $\varphi =\pi /3$ gives $P(1)=1/4$, while $\varphi =\pi /2$ gives $P(1)=1/2$. The output-one amplitude at $\varphi =\pi /2$ is $(1-i)/2$: its two complex contributions add before the Born rule is applied. A phase gate alone leaves the populations unchanged; recombination converts its relative quantum phase into observable probabilities.

If quantum decoherence completely removes the computational basis coherence between the gates, the intermediate density matrix becomes $I/2$. Both the phase gate and final Hadamard gate leave $I/2$ unchanged, so $P(1)=1/2$ for every $\varphi$. The disappearing fringe explains why preserving quantum coherence matters: it enables the gate sequence to carry phase information into the final measurement.

A polarizing beam splitter converts a photon polarization qubit to two paths. Rotating one arm's photon polarization to match the other and recombining at a balanced beam splitter gives $P_1(\theta )=1/2+\mathrm{Re}({\alpha }^{\ast }\beta e^{i\theta })$. Measurements at phases zero and $\pi /2$ recover the transverse Bloch vector components; direct counts in the two separated arms recover the population difference. All three components, rather than a fringe alone, determine an arbitrary photon polarization density matrix.

// Target: quantum-theory.bigb

The partial trace of a positive operator is positive by this sum of nonnegative expectations in an orthonormal basis of the traced factor. Its trace equals the original trace, using the product orthonormal basis. Basis independence follows from $\mathrm{Tr}[({\mathrm{Tr}}_B\rho )A]=\mathrm{Tr}[\rho (A\otimes I)]$, which uniquely determines the reduced operator. Thus reductions of density matrices remain density matrices. For a positive trace-class operator the same argument uses convergent nonnegative basis sums.

The four Pauli matrices form an orthogonal basis of $2\times 2$ matrices for the Hilbert-Schmidt inner product, since $\mathrm{Tr}({\sigma }_{\mu }{\sigma }_{\nu })=2{\delta }_{\mu \nu }$. A Hermitian density matrix therefore has real coefficients in this basis, and its trace-one condition fixes the identity coefficient. ThusThe multiplication rule for the Pauli matrices ${\sigma }_i{\sigma }_j={\delta }_{ij}I+i{ϵ}_{ijk}{\sigma }_k$ implies $(n\cdot \sigma {)}^2=\Vert n{\Vert }^{2}I$. Its trace is zero, so for $n\ne 0$ its eigenvalues are $\pm \Vert n\Vert$; for $n=0$ it vanishes. HencePositivity is equivalent to $\Vert n\Vert \le 1$. Conversely every real vector in this unit ball defines a positive trace-one matrix by the boxed formula. Therefore $\Phi (\rho )=n$ is a one-to-one correspondence with the Bloch ball, with the displayed inverse. Each coordinate is linear in $\rho$, proving the affine property under any convex mixture.

A density matrix is pure precisely when its eigenvalues are $1,0$, equivalently when ${\rho }^2=\rho$. The eigenvalue formula makes this equivalent to $\Vert n\Vert =1$. Alternatively $\mathrm{Tr}{\rho }^2=(1+\Vert n{\Vert }^2)/2$. Thus the pure states correspond exactly to the Bloch sphere.

For $n\ne 0$, put $\hat{n}=n/\Vert n\Vert$. The spectral projectors for the larger and smaller eigenvalues areThey are orthogonal rank-one projections, have sum $I$, and give $\rho ={\lambda }_{+}{P}_{+}+{\lambda }_{-}{P}_{-}$. For normalized eigenvectors in this nondegenerate case they equal $|{\varphi }_1⟩⟨{\varphi }_1|$ and $|{\varphi }_2⟩⟨{\varphi }_2|$. Their Bloch vectors are therefore $\boxed{n_1=n/\Vert n\Vert ,n_2=-n/\Vert n\Vert }$, the antipodal eigenprojectors of a qubit density matrix.

At $n=0$, the state is $I/2$ and both eigenvalues coincide. There is no distinguished direction and the printed directional expression is undefined. Any orthonormal eigenbasis gives an antipodal pair of pure-state Bloch vectors, since its two projectors sum to $I$, but that pair can point in any direction. The nonzero-$n$ qualification is essential. The PDF denominators are $\Vert n\Vert$, not the converted TeX denominators involving $n_1,n_2$.

Use logarithms to base two and set $0{\log }_{2}0=0$. For a density matrix with eigenvalues $({\lambda }_j)$, the Von Neumann entropy isThus it is the Shannon entropy of the spectrum. In dimension $d$, each term is nonnegative, and entropy vanishes exactly when one eigenvalue is one, namely for a pure state. The Jensen inequality applied to the strictly concave function $-x{\log }_{2}x$ gives $S(\rho )\le {\log }_{2}d$, with equality precisely at the maximally mixed state $I/d$. Unitary conjugation preserves eigenvalues, so $S(U\rho U^{†})=S(\rho )$. Product eigenvalues giveThe finite-dimensional entropy is continuous because the eigenvalues depend continuously on the matrix and $-x\log x$ is continuous also at zero.

Define the partial trace over ${\mathcal{K}}_2$ by choosing an orthonormal basis $(e_b)$ and settingEquivalently it is uniquely characterized by $\mathrm{Tr}({\rho }_{1}A)=\mathrm{Tr}(\rho (A\otimes I))$ for every operator $A$ on ${\mathcal{K}}_1$. This identity proves basis independence. Define ${\rho }_2$ similarly, with $\mathrm{Tr}({\rho }_{2}B)=\mathrm{Tr}(\rho (I\otimes B))$. Hermiticity is preserved by the displayed sum. For each $u\in {\mathcal{K}}_1$,Taking the trace in a product orthonormal basis gives $\mathrm{Tr}{\rho }_1=\mathrm{Tr}\rho =1$, and the same proof works for ${\rho }_2$. Thus both reductions are density matrices. This is the partial trace positivity from product vectors argument.

For a bipartite pure state $\rho =|\psi ⟩⟨\psi |$, expand $\psi$ in a product orthonormal basis with coefficient matrix $C$. A singular value decomposition gives the Schmidt decompositionwith orthonormal families on both sides. Taking the two partial traces makes all cross terms vanish:The spectra may have different numbers of zeros but have identical nonzero eigenvalues. Consequently the reduced entropies coincide:This common value is the entanglement entropy. In infinite-dimensional trace-class systems the same partial-trace and Schmidt arguments apply, and the equality remains valid with the value $+\infty$ allowed; the bound ${\log }_{2}d$ is specifically finite-dimensional.

For completeness, the basic mixing and correlation properties also admit short proofs. Define quantum relative entropy by $D(\tau \Vert \sigma )=\mathrm{Tr}\tau ({\log }_2\tau -{\log }_2\sigma )$ when supports are included, and by $+\infty$ otherwise. Here is its nonnegativity proof without merely citing an operator inequality. Diagonalize $\tau ,\sigma$ with eigenvalues $r_i,s_j$, and let $q_{ij}$ be the squared overlaps of their eigenbases. Both row and column sums of $q$ are one. The scalar inequality $r\ln (r/s)\ge r-s$, with zero cases taken by limits, givesEquality forces $r_i=s_j$ on every nonzero overlap, hence $\tau =\sigma$. For $\overline{\rho }={\sum }_i{p}_i{\rho }_i$, expanding the trace definition yieldswhich proves Concavity of Von Neumann entropy.

The complementary entropy bounds for a quantum mixture areTo prove the upper bound, write the spectral pure-state decompositions of the ${\rho }_i$ as one ensemble with weights $w_{ij}=p_i{\lambda }_{ij}$. Form the column matrix with columns $\sqrt{w_{ij}}|{\psi }_{ij}⟩$. Its two Gram operators have the same nonzero spectrum: one is $\overline{\rho }$, and the other, $G$, has diagonal $w$. Relative entropy against $\mathrm{diag}w$ gives $0\le D(G\Vert \mathrm{diag}w)=H(w)-S(G)$. Since $H(w)=H(p)+{\sum }_i{p}_{i}S({\rho }_i)$ and $S(G)=S(\overline{\rho })$, the bound follows. Zero-weight columns are omitted.

Finally the support of $\rho$ is contained in $\mathrm{supp}{\rho }_1\otimes \mathrm{supp}{\rho }_2$. Indeed, a vector in a marginal kernel gives a sum of nonnegative product-vector expectations equal to zero; positivity forces the corresponding product vectors into the kernel of $\rho$. The operator identity $\log ({\rho }_1\otimes {\rho }_2)=\log {\rho }_1\otimes I+I\otimes \log {\rho }_2$ on this support and the partial-trace identities giveThis proves Subadditivity of Von Neumann entropy, with equality exactly for a product state. Purify ${\rho }_{12}$ by adjoining a third system, using its spectral decomposition. Equality of pure-state marginal entropies gives $S({\rho }_{13})=S({\rho }_2)$ and $S({\rho }_3)=S({\rho }_{12})$. Subadditivity on systems $1,3$ then gives $S({\rho }_2)\le S({\rho }_1)+S({\rho }_{12})$; swapping $1,2$ gives the Araki–Lieb inequality $\boxed{|S({\rho }_1)-S({\rho }_2)|\le S({\rho }_{12})}$. These finite-dimensional proofs establish the usual basic entropy bounds, rather than attributing all mixed-state behavior to pure-state Schmidt decompositions.

For a density matrix $\rho$ on a finite-dimensional Hilbert space, its Von Neumann entropy in bits iswhere ${\lambda }_j$ are its eigenvalues and $0{\log }_{2}0=0$. It is the Shannon entropy of the spectrum, is zero for a pure state, and is invariant under unitary conjugation.

For a memoryless quantum channel $\mathcal{N}$, successive uses are described by ${\mathcal{N}}^{\otimes n}$. Its entanglement-assisted classical capacity is the supremum of classical bits per use achievable with error tending to zero when sender and receiver may use unlimited preshared quantum entanglement, independent of the message. Only the channel is used to transmit the message.

For input state ${\rho }_A$, choose a purification $|{\psi }_{\rho }{⟩}_{RA}$ and set ${\omega }_{RB}=({\mathrm{id}}_R\otimes \mathcal{N})(|{\psi }_{\rho }⟩⟨{\psi }_{\rho }|)$. The capacity formula isPurifications differ only by an isometry on the reference, so this expression depends only on the input density matrix. The quantity optimized is quantum mutual information.

The binary quantum erasure channel sends a qubit to a qubit subspace plus an orthogonal erasure flag:On the nonerased branch it transmits the entire state, including its coherences. Put $s=S(\rho )$. The entropy of an orthogonal quantum mixture givesThe reference-output state has two orthogonal branches:The first branch is pure; the second has entropy $S({\rho }_R)=s$. Thus $S({\omega }_{RB})=h_2(p)+ps$ andA qubit has entropy at most one bit, with equality at $\rho =I_2/2$. We concludeThe endpoint capacities are two and zero. As an operational check, superdense coding encodes four classical messages in one member of a shared Bell pair. A successful channel use lets the receiver identify the message; an erased qubit yields the flag. This induces a four-symbol classical erasure channel of capacity $(1-p){\log }_{2}4=2(1-p)$, agreeing with the entropy calculation.

A quantum operation is a linear, completely positive, trace-nonincreasing map on operators; its output trace records the probability of a selected outcome. A deterministic process that sends every density matrix to another normalized density matrix is a quantum channel, satisfying linearity, complete positivity and trace preservation. Linearity preserves probabilistic mixtures. Complete positivity means that ${\mathrm{id}}_R\otimes \mathcal{E}$ remains positive for every finite-dimensional reference system $R$, so the process also acts consistently on entangled inputs. Trace preservation maintains total probability. Conditioning a selected branch by dividing by its output trace is generally nonlinear; it is a separate state-update step.

The Stinespring dilation of a deterministic operation on a system $A$ iswhere $U$ is unitary on system plus environment, the initial environment is fixed and independent of the input, and the environment is discarded. A mixed environment can be purified by adding an extra environment system. For different input and output dimensions, use an isometry $V:A\to B\otimes E$ instead of this same-system unitary form.

Choose an orthonormal environment basis $\{|\alpha ⟩\}$. Taking the partial trace gives the Kraus representationUnitarity and completeness of the environment basis giveConversely, suppose the Kraus operators obey this completeness condition. Define $V|\psi ⟩={\sum }_{\alpha }{K}_{\alpha }|\psi ⟩\otimes |\alpha ⟩$. Then $V^{†}V=I$, so $V$ is an isometry. For equal input/output system dimensions, extend the orthonormal images of the subspace $A\otimes |0⟩$ to an orthonormal basis of $A\otimes E$. Mapping a completed input basis to that output basis supplies a unitary $U$ with $U(|\psi ⟩|0⟩)=V|\psi ⟩$. Tracing the environment recovers the given operator sum. This proves both directions of the equivalence.

It also follows directly that every completely positive map in finite dimensions has an operator sum. Form its unnormalized Choi matrix $J=(\mathrm{id}\otimes \mathcal{E})|\Omega ⟩⟨\Omega |$, with $|\Omega ⟩={\sum }_i|i⟩|i⟩$. Complete positivity makes $J\ge 0$. Resolve $J={\sum }_{\alpha }|v_{\alpha }⟩⟨v_{\alpha }|$ and reshape each vector as $|v_{\alpha }⟩={\sum }_i|i⟩K_{\alpha }|i⟩$. Comparing the coefficients of $|i⟩⟨j|$ gives $\mathcal{E}(|i⟩⟨j|)={\sum }_{\alpha }{K}_{\alpha }|i⟩⟨j|K_{\alpha }^{†}$, hence the same formula for every operator by linearity. Trace preservation imposes the completeness condition just derived.

Finally, linearity of the operator sum is immediate from matrix multiplication. For any positive operator $B$ on reference plus system,because each summand is a positive congruence. This proves complete positivity for every reference dimension. Cyclicity of the trace givesKraus form is trace preserving exactly when ${\sum }_{\alpha }{K}_{\alpha }^{†}{K}_{\alpha }=I$. Without this normalization, the final printed assertion would be false: a single operator $K=I/2$ gives output trace one quarter on every input density matrix. Thus the completeness condition is an essential part of the physical Kraus representation.

The generalized measurement postulate specifies operators $M_i$ with ${\sum }_i{M}_i^{†}{M}_i=I$. On a density matrix $\rho$, the outcome probability and conditional state areThe probabilities are nonnegative and sum to one. More generally an outcome may contain several Kraus operators $M_{i\alpha }$, in which case one sums over $\alpha$ in both formulas. A projective measurement with the usual Lüders update is the special case $M_i=P_i$, where $P_i=P_i^{†}$, $P_i{P}_j={\delta }_{ij}{P}_i$ and ${\sum }_i{P}_i=I$. Projection-valued effects alone fix the projective outcome probabilities, but an additional outcome-dependent unitary can change the conditional state; for the standard projective update the measurement operators themselves are the projectors.

A POVM is a family of positive effects $E_i$ summing to $I$. Its probabilities are $p_i=\mathrm{Tr}(\rho E_i)$. A generalized measurement gives effects $E_i=M_i^{†}{M}_i$, or $E_i={\sum }_{\alpha }{M}_{i\alpha }^{†}{M}_{i\alpha }$. Conversely $M_i=\sqrt{E_i}$ realizes any POVM. The POVM does not determine the post-measurement state: different operators with these same effects have the same probabilities and can have different state updates.

A pure POVM has rank-one nonzero effects, $E_i=w_i|{\psi }_i⟩⟨{\psi }_i|$, with normalized pure states $|{\psi }_i⟩$ and positive $w_i$. Here pure means rank-one effects, not the different property of extremality in the convex set of POVMs.

The POVM–ensemble duality for the maximally mixed state is a bijection between POVMs in dimension $d$ and ensemble decompositions of $I/d$. Given effects $E_i$, setomitting zero effects. Each ${\sigma }_i$ is a density matrix, ${\sum }_i{p}_i=\mathrm{Tr}I/d=1$, andConversely, if an ensemble satisfies ${\sum }_i{p}_i{\sigma }_i=I/d$, then $E_i=d{p}_i{\sigma }_i$ are positive and sum to $I$, hence form a POVM. Taking traces recovers the original probabilities, so the transformations are inverse. Pure POVMs correspond exactly to pure-state ensemble decompositions of the maximally mixed state. For such a POVM, $p_i=w_i/d$ and ${\sum }_i{w}_i=d$; it need not be an orthogonal measurement.