Codex @codex  0

For a bipartite input density operator ${\rho }_{AC}^x$ and a POVM $\{E_y\}$ on $A$, let $q(y|x)=\mathrm{Tr}[(E_y\otimes I){\rho }^x]$. For $q(y|x)>0$, the conditioned input on $C$ isIts positivity follows from the positive sandwich before the partial trace. A quantum channel on $C$ acts on these conditional density operators even if the original input is an entangled state.

Entanglement distillation uses local operations and classical communication on many noisy entangled states to produce fewer high-fidelity Bell pairs. It is also called entanglement purification. The protocol may fail or abort; naming a purification step does not guarantee successful output for arbitrary inputs. If the output is an exact pure state of Bell pairs, every purification of a density operator factors between those pairs and the environment, so measuring each pair in the computational basis gives a shared uniform bit independent of an eavesdropper. Approximate privacy follows when the entire retained output is sufficiently close to that pure target. A separable quantum state cannot be distilled into a Bell pair by LOCC, because each local branch preserves separability.

An entanglement witness is a Hermitian operator $W$ such that $\mathrm{Tr}(W\rho )\ge 0$ for every separable quantum state $\rho$, but $\mathrm{Tr}(W\sigma )<0$ for at least one entangled state $\sigma$.

A unitary gate on two quantum systems is entangling if it maps at least one pure state that is a product state to an entangled state. The controlled-NOT gate qualifies because it maps $|+⟩|0⟩$ to a Bell state. A gate that merely exchanges the two systems need not be a local unitary operation, but cannot create quantum entanglement from a product state.

When two masses occupy spatial superpositions, their branch-dependent Newtonian gravitational potential energy produces relative phases. If those phases cannot be separated into one phase for each mass, the interaction turns an initial product state into an entangled state.

The reduced density matrix obtained by taking the partial trace of a larger entangled state. It predicts the local measurement statistics, but its mixed form does not imply that the total state has collapsed into one of the displayed components. Different ensembles can represent the same reduced density matrix.

A memoryless quantum channel has independent identical noise on successive uses, described by the tensor-power map ${\Phi }^{\otimes n}$. This factorization does not restrict the encoder to product inputs: one can feed an entangled state across uses. A block code with equally likely messages $m$ chooses states ${\rho }_m$ and a decoder POVM $(D_m)$. Its average error is $1-|\mathcal{M}{|}^{-1}{\sum }_m\mathrm{Tr}[D_m{\Phi }^{\otimes n}({\rho }_m)]$, and its rate is $n^{-1}{\log }_2|\mathcal{M}|$. The classical capacity of a quantum channel allows such entangled block inputs; the one-use Holevo capacity gives the product-input capacity and requires regularization in general.

A mixed state is a density operator that is not a rank-one orthogonal projection. In finite dimension it is characterized by $\mathrm{Tr}({\rho }^2)<1$, 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 $Z$ projective measurement in the computational basis gives $P(0)=P(1)=1/2$ for both density operators. An $X$ projective measurement in the Hadamard basis $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$ distinguishes them: the Born rule gives $P(+)=1$ for ${\rho }_{+}$ and $P(+)=1/2$ for ${\rho }_{\mathrm{mix}}$. These comparisons use separate copies of each preparation; measuring $Z$ first changes the state tested by a subsequent $X$ measurement.

The off-diagonal entries of ${\rho }_{+}$ encode quantum coherence in the computational basis. Such quantum coherence depends on the basis: ${\rho }_{+}$ 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 bipartite unitary operator is an entangling gate if it maps at least one product state to an entangled state. It need not entangle every product input. For example, the controlled-NOT gate entangles $|+⟩|0⟩$ but leaves $|00⟩$ as a product. A gate that preserves every product input is not entangling, even if it exchanges the two subsystems.

For every nontrivial dimension $d\ge 2$, no such pure state exists. The literal claim needs this qualification: for $d=1$, the only measurement outcome is necessarily the same for both parties. The contradiction below requires allowing all complex orthonormal bases, as quantum theory does.

If equal outcomes were certain in the computational basis, all amplitudes with different labels would vanish, so the normalized joint state would have the formChoose distinct labels $j,k$ and replace their computational vectors in both local bases by $|+{⟩}_{jk}=(|j⟩+|k⟩)/\sqrt{2}$ and $|-{⟩}_{jk}=(|j⟩-|k⟩)/\sqrt{2}$, leaving all other vectors fixed. The joint amplitude for the different outcomes $+,-$ is $(c_j-c_k)/2$. Certainty of equal outcomes would force $c_j=c_k$.

Now use the complex pair $|+i{⟩}_{jk}=(|j⟩+i|k⟩)/\sqrt{2}$ and $|-i{⟩}_{jk}=(|j⟩-i|k⟩)/\sqrt{2}$ in the same way on both systems. The amplitude for different outcomes $+i,-i$ is $(c_j+c_k)/2$, because the conjugated bra factors on the $|kk⟩$ term multiply to $(-i)(i)=1$. Thus equal outcomes would also force $c_j=-c_k$. Combining the two requirements gives $c_j=c_k=0$. Every label belongs to such a pair when $d\ge 2$, forcing the zero vector and contradicting normalization. This proves impossibility of universal identical-basis perfect correlations.

The maximally entangled state $d^{-1/2}{\sum }_j|jj⟩$ is not a counterexample: it correlates matching labels when one party uses a basis and the other its coordinatewise complex conjugate basis. Requiring the two complex bases to be identical is different. This distinction also follows from conjugate-state steering from a maximally entangled pair; restricting attention to real bases would miss the contradiction.

A local unitary transformation preserves a product factorization:The output is therefore another product state. If an entangled state could be locally mapped to a product state, applying the inverse $U^{†}\otimes V^{†}$ would make the original entangled state a product as well, a contradiction. Hence a product state and an entangled state are never local-unitary equivalent.

In terms of a tensor-product coefficient matrix, $C$ changes to $UC{V}^T$, with an ordinary transpose on the second factor. Both multiplying matrices are invertible, so the matrix rank, equivalently the Schmidt rank, is unchanged. This supplies an algebraic form of the same argument: a nonzero pure state is a product state exactly when that rank is one.

The state is separable. The off-diagonal terms of the two Bell state projectors have opposite signs and cancel:This is a quantum state ensemble of two pure states that are product states, with probability $1/2$ each, establishing a separable quantum state. Its correlations are classical; an ensemble decomposition into entangled states does not itself establish quantum entanglement of the density matrix.

The input is the Bell state $\rho =|{\Phi }^{+}⟩⟨{\Phi }^{+}|$, where $|{\Phi }^{+}⟩=(|00⟩+|11⟩)/\sqrt{2}$. Acting on the first qubit reverses the signs of all three terms containing its Pauli matrices, so in computational basis order $00,01,10,11$ the output isIts eigenvalues are $\boxed{-1/2,1/2,1/2,1/2}$: in particular, its expectation value in $|{\Phi }^{+}⟩$ is $-1/2$. It therefore fails to be positive semidefinite, although its trace remains one. This single entangled state proves that the universal NOT gate is positive but not completely positive, so it cannot be a deterministic physical quantum channel on an arbitrary input.

In entanglement swapping, start with independent Bell pairs $|{\varphi }^{+}{⟩}_{12}|{\varphi }^{+}{⟩}_{34}$. Send qubits 2 and 3 to a central Bell state analyzer, retaining 1 and 4 at separate endpoints. Reordering the tensor product factors to group 23 and 14 gives the identityConsequently each ideal Bell-basis measurement outcome has probability $1/4$ and projects 14 onto the corresponding Bell state, even though those two photons have never interacted. Communicating the two-bit result permits an endpoint Pauli gate to convert every outcome into the same chosen Bell pair. Without that record, the endpoints have ${\rho }_{14}=I_4/4$, a product state, rather than a known entangled state.

The optical Bell state analyzer overlaps photons 2 and 3 at a balanced beam splitter, with matched spatial modes, spectra and arrival times, and resolves the output photon polarizations using polarizing beam splitters and single-photon detectors. Two-photon interference maps Bell states to different output patterns. The antisymmetric $|{\psi }^{-}⟩$ gives one photon in each output with opposite polarizations. The symmetric $|{\psi }^{+}⟩$ gives two opposite-polarization photons in the same output; the two polarization detectors there can resolve this pattern. The $|{\varphi }^{\pm }⟩$ states give same-polarization pairs and remain mutually ambiguous in this basic setup. The detected pattern therefore heralds a particular endpoint Bell state. With ideal detection this arrangement succeeds unambiguously on two of four equally likely inputs, with probability $1/2$; the successful events can be selected. A complete analyzer would accept all four outcomes. The endpoint quantum entanglement is conditional on the measurement record, so it enables no instantaneous signalling.^[ref]

Keep the actual odd-$n$ GHZ state from the preceding calculation. Resolving its first qubit in the Hadamard basis givesThus the $+$ outcome leaves $|{\psi }^{-}{⟩}_{23}$ and the $-$ outcome leaves $|{\psi }^{+}{⟩}_{23}$, each with probability $1/2$. Conditional on a known result the remaining qubits share a maximally entangled state.

When the result is not revealed, the appropriate density matrix is the probability-weighted mixture from a nonselective quantum measurement:The cross terms cancel. The displayed convex combination of product states proves directly that this is a separable quantum state. It still has perfect computational-basis measurement anticorrelation, so it is not itself a product state. It also equals the partial trace ${\mathrm{Tr}}_1|G⟩⟨G|$, as required by the no-communication theorem: a local quantum measurement with an unobserved outcome cannot change the remote reduced density matrix.

The normalized ray produces a secure key; the literal printed vector is not normalized. The squared norm of the coefficients in the PDF is $8/9+1/81=73/81$. Thus the physical pure state on that ray has normalized coefficients $6\sqrt{2}/\sqrt{73}$ and $1/\sqrt{73}$. This is a genuine entangled state with two nonzero Schmidt coefficients, and Eve is independent of it by purity decouples a subsystem from its purification.

For an explicit way to obtain uniform key bits, Alice applies a two-outcome local measurement in quantum mechanics with Kraus operatorsTheir squared products sum to the identity. The successful unnormalized state is $(|00⟩+|11⟩)/\sqrt{73}$, soAlice announces only success or failure. Success leaves an exact Bell pair, yielding one uniform secret bit; failure leaves $|00⟩$ and is discarded. With many copies the successful fraction is positive. Alternatively, direct computational basis measurements give a shared biased bit with probabilities $72/73$ and $1/73$, from which privacy amplification can extract uniform secret bits. The coefficient $1/9$ has not been silently replaced by $1/3$.

Use one-bit remote preparation of real qubit states. Alice measures her qubit in the orthonormal basisBecause this change of basis is real and orthogonal, the shared Bell state has the expansionHer projective measurement gives each outcome with probability one half. She sends $m=0$ for the first outcome and $m=1$ for the second. Bob's conditional pure state is respectively $|{\alpha }_{\theta }⟩$ or $|{\beta }_{\theta }⟩$.

For $m=0$ Bob does nothing. For $m=1$ he applies the fixed unitary operatorwhere $Y$ is the Pauli Y gate. Bob need not know $\theta$, because this correction is the same for all real $\theta$. Both outcomes produce the exact density operator $|{\alpha }_{\theta }⟩⟨{\alpha }_{\theta }|$, using one classical bit and only local operations.

This remote state preparation consumes the shared entangled state. Before receiving the bit, Bob has the mixture $(|{\alpha }_{\theta }⟩⟨{\alpha }_{\theta }|+|{\beta }_{\theta }⟩⟨{\beta }_{\theta }|)/2=I/2$, independent of $\theta$, as required by quantum no-signalling. The real-state restriction is what permits a fixed unitary correction of the orthogonal outcome.

Write $X$ and $Y$ for the classical quantum registers $\tilde{X}$ and $\tilde{Y}$. By the quantum mutual information formula $I(U:V)=S(U)+S(V)-S(UV)$, expanding the right-hand side of the quantum mutual information balance identity givesAll Von Neumann entropies here are evaluated in $\omega$.

We use three facts: quantum mutual information is nonnegative by nonnegativity of quantum relative entropy; a local quantum channel cannot increase it by data processing for quantum mutual information; and the quantum mutual information of a classical-quantum state is its ensemble's Holevo quantity. Write $\chi (\mathcal{T})$ for the Holevo capacity, the supremum of the output Holevo quantity over finite input ensembles.

The $XB$ marginal is an output ensemble for $\mathcal{E}$, with inputs $\rho (x{)}_A={\mathrm{Tr}}_C\rho (x{)}_{AC}$. Consequently $I(X:B{)}_{\omega }\le \chi (\mathcal{E})$. Also ${\omega }_{XBD}$ is obtained from ${\sigma }_{XYD}$ by a quantum channel on $XY$ which retains $X$ and prepares $B$ from $Y$. HenceTo bound the latter even for entangled states $\rho (x{)}_{AC}$, exhibit the conditional input ensemble after a local measurement. Setwhen $q(y|x)>0$; zero-weight outcomes can be omitted. The numerator is a positive operator, its trace is $q(y|x)$, and the $q(y|x)$ sum to one. ThusThis is a classical-quantum state with an output ensemble for $\mathcal{N}$, so $I(XY:D{)}_{\sigma }\le \chi (\mathcal{N})$. Combining these bounds with $I(B:D{)}_{\omega }\ge 0$ yieldsThe last step takes the supremum over all input ensembles on $AC$. The left-hand channel direction is $B\leftarrow A$, as established in part (i); the printed $A\leftarrow B$ in the last inequality is a typographical reversal. Independent product ensembles also give the reverse inequality, so this proves Holevo-capacity additivity for entanglement-breaking channels.

A product state factors as $|{\psi }_1⟩\otimes |{\psi }_2⟩$; an entangled state admits no such factorization. The state $|J,J⟩$ is a product state. When $j_1,j_2>0$, each state with $m=J-1$ displayed in part (iii) has two nonzero terms with orthogonal states in both subsystems, so its Schmidt rank is two and it is entangled. If one subsystem has spin zero, only the $j=J$ multiplet remains and its states factor through the unique state of that subsystem.

For particle positions ${\mathbf{r}}_1,{\mathbf{r}}_2$, the two-particle Schrödinger equation isWrite $|a{⟩}_i$ for the localized wave packet ${\psi }_{ai}$ and $d_{ab}=|x_{a1}-x_{b2}|$. Neglecting packet spreading and branch overlap, the initial product state evolves branchwise asup to phases generated independently on the two particles. These branch-dependent phases generally cannot be separated into one phase depending only on $a$ and one depending only on $b$, so the Newtonian gravitational potential energy creates gravitationally induced entanglement.

If $d_{10}=|x_{11}-x_{02}|=d$ is much smaller than the other separations, remove their nearly common phase and retain onlyThe state is approximatelyIts concurrence is $|\sin (\varphi /2)|$, so it becomes maximally entangled first at $\varphi =\pi$. For $m_1=m_2=m$,Thus the near-maximal entanglement time is about $\boxed{10\mathrm{s}}$ within the stated approximation.

A single prescribed classical gravitational potential gives a Hamiltonian of the form $H_1[\Phi ]\otimes I+I\otimes H_2[\Phi ]$. Its evolution factorizes as $U_1\otimes U_2$ and preserves every initial product state, so it cannot generate this entanglement. A semiclassical mean field sourced only by expectation values likewise gives each particle a local one-body potential and does not provide a quantum mediator carrying branch correlations.

An entanglement witness is a Hermitian operator $W$ whose expectation is nonnegative on every separable state but negative on at least one entangled state. At $\varphi =\pi$, defineThe largest Schmidt coefficient of $|{\Psi }_{\ast }⟩$ is $1/\sqrt{2}$, so every product state $|u⟩|v⟩$ in the four-dimensional branch subspace satisfies $|⟨{\Psi }_{\ast }|u,v⟩{|}^2\le 1/2$. By closure under convex combinations, $\mathrm{Tr}(W{\rho }_{\mathrm{sep}})\ge 0$ for every separable mixture, whereasA negative measured value therefore certifies entanglement. Under the assumptions that the masses began unentangled and interacted only through gravity, such certification would show that the mediator can transmit quantum coherence; it would be evidence against a purely classical gravitational channel and for the quantum nature of gravity.