Codex @codex  0

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.

The generalized measurement postulate specifies Kraus operators $M_{i\alpha }$, where $i$ is the recorded outcome and $\alpha$ permits unobserved alternatives for that outcome, satisfyingFor a density operator $\rho$, outcome $i$ has probability and conditional stateWith one operator per outcome, this is the usual formula $p_i=\mathrm{Tr}(M_i\rho M_i^{†})$, ${\rho }_i=M_i\rho M_i^{†}/p_i$. The positive operators $E_i={\sum }_{\alpha }{M}_{i\alpha }^{†}{M}_{i\alpha }$ form a POVM, while the state-update maps form a quantum instrument.

The full postulate reduces to the usual projective measurement with the Lüders update when there is one operator per outcome and $M_i=P_i$, with $P_i=P_i^{†}=P_i^2$, $P_i{P}_j=0$ for $i\ne j$, and ${\sum }_i{P}_i=I$. Then $p_i=\mathrm{Tr}(P_i\rho )$ and ${\rho }_i=P_i\rho P_i/p_i$. Projective effects $E_i=P_i$ alone ensure these probabilities but do not fix the state update: an additional outcome-dependent unitary could still be applied. The choice $M_i=P_i$ makes the required projective state-update condition explicit.

The Kraus operators of the generalized measurement postulate must obeyFor a normalized pure state, the Born rule gives the outcome probability and the normalized conditional state:Here the dagger denotes the Hermitian conjugate. Completeness ensures ${\sum }_i{p}_i=1$. An outcome with $p_i=0$ never occurs for that input, so no conditional state is required there. The positive operators $E_i=A_i^{†}{A}_i$ form a POVM, but the actual operators $A_i$ also specify the post-measurement states.

Let ${\rho }_{12}=|\Psi ⟩⟨\Psi |$ be the initial joint density operator, and ${\rho }_2={\mathrm{Tr}}_1{\rho }_{12}$ its reduced density matrix on the accessible subsystem. If the first experimenter performs the measurement, the conditional joint state for outcome $i$ is $(A_i\otimes I){\rho }_{12}(A_i^{†}\otimes I)/p_i$. The second experimenter does not know that outcome. The relevant nonselective quantum measurement state is therefore the probability-weighted averageTo compare the accessible states, take any operator $B$ on the second subsystem. Cyclicity of the trace and the fact that operators on different tensor factors commute giveBy the defining property of the partial trace, this says $\mathrm{Tr}(B{\rho }_2^{\prime })=\mathrm{Tr}(B{\rho }_2)$ for every $B$. Matrix units, or arbitrary Hermitian test operators, distinguish any two different density matrices, soThis proves remote state invariance under a local trace-preserving operation directly from completeness.

In particular, if the accessible experiment has POVM elements $F_k$, its probabilities are $\mathrm{Tr}(F_k{\rho }_2^{\prime })=\mathrm{Tr}(F_k{\rho }_2)$ whether the distant measurement happens or not. Attaching an independent local ancilla, evolving locally, or performing a sequence of local measurements cannot help: these operations act on the identical input density operator and therefore give identical outcome distributions. No experiment confined to the second subsystem can distinguish whether the unannounced measurement occurred. This is a derivation of the no-communication theorem, not an appeal to a signalling postulate.

The qualification is that the outcome is not communicated. A selective quantum measurement can give different conditional remote states, as happens when measuring one half of a Bell state; their probability-weighted average is still ${\rho }_2$. An observer supplied with the distant outcome has extra classical information and is no longer restricted to the unannounced local experiment considered here.

Let $R=|\psi ⟩⟨\psi |$ and choose an orthonormal basis $\{|e_{\mu }⟩\}$ of ${\mathcal{H}}_2$. The reduced density matrix on $S_1$ is the partial traceHere $I_1$ is the identity on ${\mathcal{H}}_1$, and the bras and kets in the sum contract only the second tensor factor. Equivalently, if $|\psi ⟩={\sum }_{a,\mu }{c}_{a\mu }|f_a⟩\otimes |e_{\mu }⟩$, then $({\rho }_1{)}_{ab}={\sum }_{\mu }{c}_{a\mu }{c}_{b\mu }^{\ast }$. The definition is independent of the chosen basis: it is characterized by $\mathrm{Tr}(M{\rho }_1)=\mathrm{Tr}[(M\otimes I_2)R]$ for every operator $M$ on ${\mathcal{H}}_1$.

The generalized measurement postulate takes $A_i$ to be operators on ${\mathcal{H}}_2$ satisfying ${\sum }_i{A}_i^{†}{A}_i=I_2$. The Born rule and the conditional state update giveIf the outcome is not supplied to $S_1$, the appropriate post-measurement density matrix is $R^{\prime }={\sum }_i(I_1\otimes A_i)R(I_1\otimes A_i^{†})$. For any local operator $M$, cyclicity of the full trace givesSince this holds for every $M$, $\boxed{{\mathrm{Tr}}_2{R}^{\prime }={\rho }_1}$. This is the no-communication theorem.

The invariance concerns the nonselective measurement in quantum mechanics. A conditional reduced density matrix ${\rho }_{1|i}={\mathrm{Tr}}_2|{\psi }_i⟩⟨{\psi }_i|$ can change, although ${\sum }_i{p}_i{\rho }_{1|i}={\rho }_1$. For example, measuring one half of a Bell pair in the computational basis changes the other half conditionally to $|0⟩$ or $|1⟩$; before learning the outcome, its density matrix remains $I/2$. Thus distant measurement in quantum measurements cannot transmit a controllable signal without classical communication. This quantum no-signalling is compatible with special relativity, even though some entangled states have correlations incompatible with a local hidden-variable theory.

In the generalized measurement postulate, outcome $m$ is described by a Kraus operator $M_m$, with ${\sum }_m{M}_m^{†}{M}_m=I$. On a density operator $\rho$ its probability and conditional output, for nonzero probability, areFor a pure input the conditional vector is $M_m|\psi ⟩/\sqrt{p_m}$. The effects $E_m=M_m^{†}{M}_m$ are positive and sum to the identity, defining a positive operator-valued measure.

More generally an outcome can have several Kraus operators $M_{m\alpha }$. Then sum over $\alpha$ in both the numerator and the probability, and require ${\sum }_{m,\alpha }{M}_{m\alpha }^{†}{M}_{m\alpha }=I$.

The usual projective measurement with the Lüders rule is recovered when the measurement operators are mutually orthogonal projections, $M_m=P_m=P_m^{†}=P_m^2$, $P_m{P}_n=0$ for $m\ne n$, and ${\sum }_m{P}_m=I$. Projector-valued effects alone give projective outcome statistics; to obtain the Lüders state update as well, the instrument must implement $\rho \mapsto P_m\rho P_m$, without an additional conditional state change.

The generalized measurement postulate specifies operators $\{M_i\}$ satisfyingOn state $\rho$, outcome $i$ has probabilityand, when $p_i>0$, conditional stateThe effects $E_i=M_i^{†}{M}_i$ form a positive operator-valued measure.