Codex @codex  0

A finite family of quantum states is antidistinguishable if a quantum measurement has labelled outcomes such that each outcome has zero probability for its corresponding state, while the outcomes form a complete quantum measurement. It can exclude a state without identifying which state was prepared. The PBR exclusion measurement for zero and plus supplies a four-state projective measurement example.

Approximate quantum counting estimates the number $k$ of satisfying assignments of a Boolean function, using a quantum oracle and quantum measurement. Controlled repetitions of a Grover search algorithm iteration let quantum interference reveal the count. For one input bit, a Hadamard test can give Pauli Z gate expectation value $1-k$: with the complemented phase oracle $U_f=\mathrm{diag}(2f(0)-1,2f(1)-1)$ and $G=-X{U}_f$, use $⟨+|X=⟨+|$ to obtain $⟨+|G|+⟩=-[(2f(0)-1)+(2f(1)-1)]/2=1-k$. Repeated preparations estimate this expectation value; one binary measurement result does not distinguish all three counts $0,1,2$.

Bell's theorem shows that no theory assigning outcomes through local hidden variables can reproduce every quantum correlation.

The force of the Bell theorem is that a disagreement about a local hidden-variable theory becomes a constraint on frequencies in a Bell test. Quantum entanglement alone does not guarantee a violation for every measurement in quantum mechanics: the quantum state, analyzer settings and treatment of missed events all matter. A violation of the CHSH inequality tests the conjunction of Bell local causality, measurement independence and the stated outcome and sampling assumptions; it remains compatible with quantum no-signalling.

In 1990, Wayne M. Itano, Daniel J. Heinzen, J. J. Bollinger and David J. Wineland reported inhibited transitions in about 5,000 ${}^9{\mathrm{Be}}^{+}$ ions held in a cylindrical Penning trap. Trapped magnesium ions, illuminated at 280 nm, kept the beryllium ions cold. A 320.7 MHz radio frequency field coupled two ground-state hyperfine structure sublevels during a 256 ms pulse adjusted for complete transfer. Up to 64 intervening 313 nm pulses addressed an optical transition from level 1: scattering distinguished it from level 2. Afterward, calibrated fluorescence counts over 100 ms measured the final quantum state population. This ensemble readout did not select ions that remained in the initial quantum state at every check; departure followed by return also contributes. The apparatus made inhibition by repeated quantum measurements experimentally accessible.^[ref]

For probability distributions $p,q$ on the same finite alphabet, the Bhattacharyya coefficient measures their square-root overlap:The vectors $(\sqrt{p_i}{)}_i$ and $(\sqrt{q_i}{)}_i$ have unit Euclidean norm, so the Cauchy-Schwarz inequality gives $0\le B\le 1$. Equality $B=1$ holds exactly when the distributions agree; $B=0$ holds exactly when they assign positive probability to disjoint outcomes. For $p=(0.9,0.1)$ and $q=(0.6,0.4)$, $B=\sqrt{0.54}+0.2\approx 0.934847$. This overlap is not the probability that two independent draws agree, which here is $0.58$.

The fidelity of commuting mixed states reduces to this coefficient. More generally, the measurement characterization of quantum fidelity minimizes it over outcome distributions of a common quantum measurement, connecting classical overlap to the unsquared quantum fidelity.

In the ABL rule, probabilities depend on the full intermediate quantum measurement instrument. A binary Lüders rule quantum measurement preserves coherence within its unresolved complement, whereas a fully resolved projective measurement removes it. Summing fine-grained probabilities after quantum measurement does not generally reproduce the coarse-grained experiment. Different postselection success rates are part of the distinction.

An entanglement monotone quantifies entanglement without increasing on average under local operations and classical communication. The average is over recorded measurement in quantum mechanics outcomes: individual successful branches can have more entanglement, provided their probabilities compensate for that increase. This distinction makes an entanglement monotone useful for bounding probabilistic state conversion. A pure-state entanglement monotone need only satisfy this inequality on pure input states and pure conditional branches, with local measurement outcomes refined to individual Kraus operators.

In the 2007 cavity quantum electrodynamics experiment of Christine Guerlin and collaborators, including Sébastien Gleyzes, Michel Brune, Jean-Michel Raimond and Serge Haroche, an injected coherent state occupied a 51.1 GHz microwave cavity with niobium-coated mirrors exhibiting superconductivity. Velocity-selected rubidium chemical atoms were prepared as circular Rydberg atoms in levels with principal quantum numbers 50 and 51. Repeated atomic readouts progressively narrowed the inferred photon number to a Fock state; later records revealed jumps. The cavity damping time was $T_c=0.130\mathrm{s}$. Empty-cavity Ramsey interferometry scans fixed the analysis-phase origin; weak injected fields refined the response calibration. Finite fringe contrast required calibrated likelihoods; photon losses could interrupt convergence.^[ref]

The functional sequence is preparation, first Ramsey interferometry zone $R_1$, dispersive cavity $C$, second zone $R_2$, and state-selective detection. The first $\pi /2$ microwave pulse prepares an atomic quantum superposition; dispersive atom-cavity coupling adds a photon number-dependent relative quantum phase while suppressing energy exchange. The second pulse converts that quantum phase into atomic populations; state-selective field ionization reads $e$ or $g$. Successive chemical atoms carry the meter records away while the same field remains available.^[ref]

This arrangement makes quantum nondemolition measurement useful for following a field repeatedly and preparing a Fock state by conditioning. The photon number is inferred from a sequence of physical records; it is not a directly visible label attached to a photon. Each atomic probe makes a weak, partial measurement in quantum mechanics of photon number, and the accumulated records can approach a resolved count. A single binary meter need not identify one among many possible Fock states, as perfect discrimination of pure states requires orthogonality.

Suppose one qubit is prepared in either of the known pure states $|0⟩$ and $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$, with equal prior probabilities. Measuring in the computational basis seems natural, but a tilted projective measurement gives better quantum state discrimination. The two density operators and their difference areThe Pauli matrices give ${\Delta }^2=I/2$, and the eigenvalues of $\Delta$ are ${\lambda }_{\pm }=\pm 1/\sqrt{2}$. Their absolute sum gives trace distance $D=1/\sqrt{2}$, agreeing with trace distance between qubit states.

The positive spectral projector points along the unit Bloch vector $\mathbf{n}=(-1,0,1)/\sqrt{2}$:The outcome labels $+$ and $-$ here refer to the sign of the eigenvalue of $\Delta$; they do not denote a Hadamard basis measurement. Guess $|0⟩$ after $P_{+}$ and $|+⟩$ after $P_{-}$. This sign choice is the equal-prior Helstrom measurement for two pure states, a case of the Holevo–Helstrom theorem. ^[ref]

An explicit orthonormal basis for this projective measurement iswith $P_{\pm }=|h_{\pm }⟩⟨h_{\pm }|$. Thus the real coefficient rotation angle is $\beta =-\pi /8$ relative to the computational basis, while the Bloch vector of $P_{+}$ is tilted by $\pi /4$ from the positive $z$ axis toward negative $x$. State-vector and Bloch sphere angles differ by a factor of two.

Write $a=(1+1/\sqrt{2})/2$ and $b=(1-1/\sqrt{2})/2$, so $a+b=1$. The Born rule gives the conditional outcome probabilitiesThe event $P_{+}$ has probability gap $a-b=1/\sqrt{2}=D$, attaining the variational characterization of trace distance. Both preparations are identified correctly with conditional probability $a$, so

For comparison, a $Z$ projective measurement in the computational basis has conditional outcome probabilities $(1,0)$ on ${\rho }_0$ and $(1/2,1/2)$ on ${\rho }_{+}$. Guess zero on outcome zero and plus on outcome one. The average success isand the measured total variation distance is only $1/2$. The optimal tilted projective measurement gains about $0.103553$ in absolute success probability by balancing the two conditional error rates instead of identifying $|0⟩$ perfectly at the expense of $|+⟩$.

These are statistics for alternative measurements on independently prepared copies. Applying $Z$ first and then the tilted projective measurement is a different experiment, because the first measurement in quantum mechanics changes the density operator.

A physicist who proposed a unitary relative-state account of quantum measurement, developed in the many-worlds interpretation.

Logical measurement depth is the number of sequential measurement layers required by outcome-dependent basis choices. Depth one means all bases are fixed in advance, so the quantum measurements on distinct qubits can be simultaneous. Classical output corrections may still depend on all outcomes. This does not assert depth-one graph-state preparation or constant-depth classical processing.

Measurement backaction is the effect of a measurement in quantum mechanics on later predictions for the measured system. A quantum instrument with one Kraus operator $K_m$ per recorded outcome hasThe conditional density operator ${\rho }_m$ exists only when $p_m>0$. Its nonlinear normalization expresses conditioning; the unnormalized map $\rho \mapsto K_m\rho K_m^{†}$ is linear. More generally, an unresolved outcome can contain several Kraus operators: replace the numerator by ${\sum }_a{K}_{ma}\rho K_{ma}^{†}$ and take its trace for $p_m$. ^[ref].

Keeping the outcome gives a selective quantum measurement. Discarding it gives a nonselective quantum measurement with quantum channel $\rho \mapsto {\sum }_m{p}_m{\rho }_m$. The latter describes the whole measured population without its labels, whereas each ${\rho }_m$ describes a selected subpopulation. Neither description requires the measured quantity to have possessed its eventual value before the interaction.

For a concrete test, prepare the Pauli X eigenstate $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$. Its $X=+1$ probability is one. An ideal $Z$ projective measurement gives zero or one with equal probability, leaving $|0⟩$ or $|1⟩$ under the Lüders rule. Discarding the result leaves the maximally mixed state $I/2$. A subsequent $X$ measurement now gives either sign with probability one half, even if the $Z$ result was kept. This observable change in statistics is backaction. Measuring $X$ on the original $|+⟩$ instead leaves it unchanged: disturbance depends on both the preparation and the instrument. Measurement-based quantum feedback uses the recorded outcome to choose a subsequent control operation, so both parts of the instrument matter.

Measurement-based quantum computation prepares an entangled resource quantum state, then applies single-qubit quantum measurements, potentially adapting later bases to earlier outcomes. Pauli frame tracking and classical outcome processing convert random physical branches into a specified logical computation. Graph states and one-bit teleportation provide a concrete construction.

A POVM $\{E_i\}$ gives outcome probability distributions $p_i=\mathrm{Tr}(\rho E_i)$ and $q_i=\mathrm{Tr}(\sigma E_i)$ by the Born rule. Their classical overlap, the Bhattacharyya coefficient, is $B(p,q)={\sum }_i\sqrt{p_i{q}_i}$. 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 $B(p,q)\ge F$; 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] [ref]}

A measurement interaction correlates a measured system's alternatives with distinguishable states of an apparatus. Reading the apparatus then implements the associated quantum measurement.

For a uniform prestate in $N+1$ dimensions and poststate proportional to ${\sum }_{i=1}^N|i⟩-(N-1)|N+1⟩$, each binary question $P_i$ versus $I-P_i$ has conditional probability one for $i\le N$. A fully resolved quantum measurement instead assigns $1/D$ to each of the first $N$ outcomes and $(N-1{)}^2/D$ to the last. The context dependence of pre- and post-selected measurements explains why these alternative certainties do not imply simultaneous properties.

A nonselective measurement in quantum mechanics averages over outcomes that are not read or not communicated. Its quantum channel is $\rho \mapsto {\sum }_i{A}_i\rho A_i^{†}$, with ${\sum }_i{A}_i^{†}{A}_i=I$. The completeness condition makes the channel trace preserving. The average equals ${\sum }_i{p}_i{\rho }_i$, where ${\rho }_i$ are the conditional states from a selective quantum measurement. A nonselective projective measurement is the special case in which the operators are orthogonal projectors.

An ontological model associates each quantum state preparation with a probability distribution over underlying physical states $\lambda$. A measurement in quantum mechanics's response probabilities depend on its specification and $\lambda$, sum to one, and reproduce the Born rule when averaged over the preparation distribution. The model need not assign deterministic outcomes. Overlap or disjointness of preparation measures defines the psi-epistemic model versus psi-ontic model distinction.

Write a source and target in Schmidt decomposition with squared coefficients $(1-s,s)$ and $(1-t,t)$, where $0<s,t\le 1/2$. If $s\ge t$, Nielsen's pure-state conversion theorem allows deterministic conversion. If $s<t$, the Schmidt-tail entanglement monotone gives $p\le s/t$. Alice attains this bound with a local two-outcome measurement in quantum mechanics whose success Kraus operator is $K_s=\mathrm{diag}(\sqrt{s(1-t)/(t(1-s))},1)$ and whose failure operator is $K_f=\mathrm{diag}(\sqrt{1-s(1-t)/(t(1-s))},0)$. They obey $K_s^{†}{K}_s+K_f^{†}{K}_f=I$. The successful unnormalized state is $\sqrt{s/t}$ times the target, and failure leaves a product state. A classical message tells Bob which branch occurred. Known local changes of Schmidt bases allow the same protocol for arbitrary two-qubit pure states with these coefficients.

No test on Alice and Bob's systems gives any information about which global state was prepared, even with arbitrarily many independent copies. In the pure GHZ density matrix, the off-diagonal terms contain $|0⟩⟨1{|}_C$ or its adjoint. Their partial traces vanish. Hence both preparations have the same reduced density matrixFor any POVM effect $E$ acting jointly on $AB$, the outcome probability is $\mathrm{Tr}(E{\sigma }_{AB})$ in either case. Equal reduced states give identical local statistics, where local here means local to the entire accessible laboratory $AB$, not separate operations on $A$ and $B$.^[ref]

For $n$ independent copies, taking the partial trace of each inaccessible $C$ system yields ${\sigma }_{AB}^{\otimes n}$ under either hypothesis. Even an arbitrary collective quantum measurement on all $2n$ accessible qubits therefore has identical outcome probabilities. Adaptive local processing cannot change equality of the accessible density matrices. With equal prior probabilities the optimal guessing probability remains $1/2$; with other priors, no observation updates their ratio.