Codex @codex  0

Addition of two spin-one-half angular momenta gives total spin $S=0$ or $S=1$. The normalized singlet state and triplet states areThey have $S^2$ eigenvalues $0$ and $2{\hslash }^2$, and $S_z=M\hslash$. The singlet state is antisymmetric under a particle exchange operator, whereas all three triplets have symmetric spin-exchange parity. For two identical electrons the full state must be antisymmetric: a singlet state pairs with a spatial state with symmetric exchange parity, a triplet state with an antisymmetric spatial state. Thus two electrons in the same atomic orbital must form a singlet state.

The identity ${\mathbf{S}}_1\cdot {\mathbf{S}}_2=(S^2-S_1^2-S_2^2)/2$ gives $-3{\hslash }^2/4$ in the singlet state and $+{\hslash }^2/4$ in the triplet state. Hence an exchange interaction distinguishes their energies, with ordering determined by its coupling sign. The singlet state has perfect opposite-spin correlations along any common measurement axis and is entangled. The $M=0$ triplet state is also entangled, while the $M=\pm 1$ triplet states are product states along the chosen axis.

Nielsen's pure-state conversion theorem concerns exact deterministic transformations of bipartite pure states by local operations and classical communication. Let $\lambda (\psi )$ be the decreasing vector of squared Schmidt coefficients, equivalently the eigenvalues of either party's reduced density matrix, padded with zeros when necessary. ThenThe majorization relation means ${\sum }_{j=1}^k{\lambda }_j(\psi )\le {\sum }_{j=1}^k{\lambda }_j(\chi )$ for every $k$, with equality for the total sum. The direction allows a maximally entangled state to become a product state, not the reverse. Local-unitary invariance of reduced-state spectra alone would require equality of all the weights; measurements and communicated outcomes permit this larger class of conversions. A comparison of entanglement entropies alone is not a sufficient test in higher dimension.^[ref]

For the supplied states, the weight vectors and cumulative sums areAt $k=2$, $0.8>0.75$, violating the required inequality. The desired conversion is impossible with certainty using LOCC alone. The reverse conversion also fails, already at $k=1$, so these states are incomparable under this deterministic ordering.

Taking a tensor product with the catalyst multiplies every original weight by each catalyst weight. Regrouping the two local systems on Alice's side and the two on Bob's side leaves a Schmidt decomposition across the Alice–Bob partition. After sorting, the resulting weight vectors areThe actual nonnegative Schmidt amplitudes are $\sqrt{x_j}$ and $\sqrt{y_j}$; the displayed numbers are their squares. The cumulative sums areEvery component obeys $X_k\le Y_k$, so $x\prec y$. HenceThe final catalyst is exactly its initial state and is uncorrelated with the desired output. It can therefore be returned and reused. This is entanglement catalysis; it is stronger than merely retaining the same catalyst marginal while leaving correlations with the output.^[ref]

For the maximally entangled two-level auxiliary state, the sorted input weights are $(0.2,0.2,0.2,0.2,0.05,0.05,0.05,0.05)$, while the output weights are $(0.25,0.25,0.125,0.125,0.125,0.125,0,0)$. Their first four sums are $0.8$ and $0.75$. This maximally entangled auxiliary state cannot catalyze the conversion while being returned unchanged.

Nevertheless, $(0.5,0.5)\prec (0.6,0.4)$, so it can first be converted deterministically into the nonmaximal catalyst. The desired conversion can then proceed, after which Alice and Bob can return $|\varphi ⟩$, rather than the borrowed maximally entangled state. Turning that returned pair alone back into a maximally entangled pair would increase its entanglement entropy and is forbidden by LOCC. No joint restoration procedure can both keep the exact desired $|{\psi }_2⟩$ and return the original maximally entangled auxiliary state deterministically: its composition with the preceding steps would contradict the failed four-weight inequality above.

Inverting the detector rotation at this time givesFor a representation with one system factor and one environment factor per displayed detector state, each parenthesized system–environment vector would have to be a product state. But the first has coefficient matrix $\mathrm{diag}(c,s)$ in the indicated orthonormal bases; the second has matrix $\mathrm{diag}(s,-c)$. Their matrix ranks are two whenever $cs\ne 0$. Equivalently, their two nonzero Schmidt coefficients are $|c|,|s|$, which no independent basis changes can remove. Thus the proposed factorization is impossible when $\sin \theta \ne 0$.

The exception matters: at $\theta =m\pi$, the detector basis is the original basis up to phases or interchange, and a factorization does exist. In particular, the literal condition $\theta \ne 0$ is insufficient if it includes $\theta =\pi$. The intended obstruction concerns genuinely mixed detector bases.

The environment has selected robust detector records: its interaction commutes with the original projectors, and orthogonal environmental records suppress their interference in the reduced density matrix. A rotated detector branch instead leaves the system and environment entangled. This is environment-induced pointer-basis selection, the issue analyzed by W. H. Zurek in his apparatus-environment model.^[ref]

This addresses the basis ambiguity but does not by itself select one realized outcome from the global superposition. Moreover, a two-state environment has recurrences: $\cos 2A$ returns to unit modulus, so the toy model does not establish irreversible macroscopic collapse. A large environment can make records effectively persistent over experimental times, but that requires further dynamical assumptions. The distinction is part of the measurement problem, not an algebraic error cured by a partial trace.

Let Eve obtain $u,v\in \{\pm 1\}$. Applying part (b) to her axes gives $p(u,v)=[1-uv{\mathbf{n}}_a\cdot {\mathbf{n}}_b]/4$. Conditional on these rank-one local measurements, the forwarded particles are a product state with individual spin directions $u{\mathbf{n}}_a$ and $v{\mathbf{n}}_b$. HenceConditional independence gives the product of these means. Averaging over Eve's outcomes,The sum is $-{\mathbf{n}}_a\cdot {\mathbf{n}}_b$, soEve has turned the entangled source into an ensemble of product states by an intercept-resend attack. Ignoring her records does not restore the original singlet coherence.

A bipartite pure state is entangled when it is not a product state. Its Schmidt decomposition is $|\psi ⟩={\sum }_i\sqrt{{\lambda }_i}|i_A{i}_B⟩$, where ${\lambda }_i\ge 0$ and ${\sum }_i{\lambda }_i=1$. More than one nonzero coefficient means entanglement. The two reduced density matrices have the same nonzero spectrum, and their Von Neumann entropy $-{\sum }_i{\lambda }_i{\log }_2{\lambda }_i$ is the pure-state entanglement entropy. A maximally entangled pair of qubits has one bit of this entropy.

For mixed states, classical correlations are not sufficient: a separable quantum state is a convex mixture ${\sum }_j{p}_j{\rho }_A^{(j)}\otimes {\rho }_B^{(j)}$, and entanglement means that no such decomposition exists. A reduced entropy alone no longer measures mixed-state entanglement. An entanglement witness or a suitable separability criterion can detect it.

Local unitary transformations preserve the Schmidt spectrum. More general local operations and classical communication can discard entanglement but cannot freely create it from a separable input. Nielsen's pure-state conversion theorem gives the exact deterministic criterion: $|\psi ⟩\to |\varphi ⟩$ is possible precisely when ${\lambda }^{\psi }\prec {\lambda }^{\varphi }$. In decreasing order, every partial sum for the input is no larger than the corresponding output sum, with equal totals. The direction matters: a uniform spectrum can be converted to a concentrated one; a product state cannot deterministically become a Bell pair.

A probabilistic local filter can concentrate a partially entangled pair. For $|\psi ⟩=\sqrt{\lambda }|00⟩+\sqrt{1-\lambda }|11⟩$ with $1/2\le \lambda <1$, Alice's successful operator $F=\mathrm{diag}(\sqrt{(1-\lambda )/\lambda },1)$ produces equal amplitudes. The outcome is a Bell pair with probability $2(1-\lambda )$; a complementary operator supplies a complete measurement. Failure is heralded, so there is no deterministic creation of a more entangled pair. This illustrates entanglement concentration.

Many-copy entanglement distillation and entanglement dilution connect noisy or nonuniform resources with standard Bell pairs. Entanglement enables quantum teleportation and other protocols, but classical communication is still required; the no-communication theorem excludes message transmission merely by choosing a distant local measurement.

Expand a normalized product state asThus $\alpha =ac$, $\beta =ad$, $\gamma =bc$, $\delta =bd$, givingConversely the nonzero coefficient matrix $C=\left(\begin{array}{cc}\alpha & \beta \\ \gamma & \delta \end{array}\right)$ has determinant zero precisely when it has rank one, so the condition also suffices for a pure two-qubit state to factor.

For any fixed pair of local measurement settings with operators $E_i,F_j$, the Born rule factorizes:Hence a product state has independent local results in every pair of local bases. This assumes independent settings and local measurements; shared classical randomization of preparations or a subsequent joint interaction can generate correlations. A separable mixture is not necessarily a single product state.

For the product state $|H{⟩}_A|H{⟩}_B$, the two projection amplitudes multiply. ThereforeThe independent factors arise from this product input; they cannot be assumed for a general correlated pair state.

The specified Bell-state phases giveThereforeThe sum contains complex squares, not squared moduli. Define $q={\sum }_j{b}_j^2$ and $\mathcal{C}=|q|$. Normalization gives ${\sum }_j|b_j{|}^2=1$, so the triangle inequality ensures $0\le \mathcal{C}\le 1$.

The characteristic polynomial is ${\lambda }^2-\lambda +{\mathcal{C}}^2/4$. HenceHere logarithms are natural and $0\ln 0$ means its limiting value zero. Using logarithms to base two gives entropy in bits instead. Product states have $\mathcal{C}=0$, spectrum $(1,0)$ and entropy zero; maximally entangled states have $\mathcal{C}=1$, spectrum $(1/2,1/2)$ and entropy $\ln 2$.

This phased Bell basis is a magic basis, and $\mathcal{C}$ is the pure-state concurrence. The paper's ordering is a permutation of the usual magic-basis ordering, which leaves $|{\sum }_j{b}_j^2|$ unchanged.^[ref]

A Hamiltonian operator has perfect transfer between basis states $|a⟩,|b⟩$ at time $t_{\ast }$ if $e^{-iH{t}_{\ast }}|a⟩=e^{i\chi }|b⟩$ for a known global phase $\chi$. In an excitation-conserving qubit network whose vacuum is fixed, the initial product state with $\alpha |0⟩+\beta |1⟩$ at site $a$ and zeros elsewhere evolves to $\alpha |\mathrm{vac}⟩+\beta e^{i\chi }|b⟩$. A local phase gate at $b$ removing $\chi$ restores the unknown qubit there. This explains why transfer of the single-excitation basis state suffices for qubit transfer when the vacuum phase is also accounted for.

A bipartite density operator has positive partial transpose when ${\rho }^{T_B}\ge 0$. Every separable quantum state has this property, since transposing one factor of a positive product state preserves positivity and the separable sum preserves it as well. The property does not depend on which local basis defines the transpose.

Every density operator $\sigma$ with positive partial transpose has squared quantum fidelity at most $1/d$ with a fixed maximally entangled state on $d\otimes d$. The partial transpose of a maximally entangled projector and the trace-adjoint identity for partial transpose express that squared overlap as $\mathrm{Tr}(S{\sigma }^{T_B})/d$. Since ${\sigma }^{T_B}$ is positive of trace one and the swap operator has operator norm one, trace duality gives the bound. A matching product state attains equality.

If basis information and test positions are announced before the receiver confirms receipt of quantum carriers, an eavesdropper can store the carriers until learning that information. In a scheme sending one half of each Bell pair after a Hadamard gate encoding, the eavesdropper then forwards test qubits untouched and measures all data qubits in their now-known correct bases. Every test passes, while data are changed to classically correlated product states whose bit labels the eavesdropper knows. This invalidates the sampling argument needed to justify entanglement purification and quantum key distribution. A sound additional purification certification could detect this attack and abort; it cannot generate private Bell pairs from the separable attacked data. Announcing bases only after receipt prevents this particular delayed-carrier attack.

Write the integer label in most-significant-bit-first order as $l={\sum }_j{b}_j{2}^{n-j}$. The phase factors as $e^{i\varphi l}={\prod }_j{e}^{i\varphi b_j{2}^{n-j}}$, giving the displayed product state. For dyadic Fourier phases this explains why the Fourier basis states are unentangled even though a general quantum Fourier transform can create entanglement.

For a code with product state inputs to $n$ uses of a memoryless quantum channel, Subadditivity of Von Neumann entropy bounds its output Holevo quantity by $n{\chi }^{\ast }(\Lambda )$. The Holevo bound and Fano's inequality then give, for asymptotic rate $R$, average and hence maximum error at least $1-{\chi }^{\ast }(\Lambda )/R$ in the limit inferior. In particular, no code above that rate can have vanishing maximum error, even with a collective decoder measurement.

The SWAP gate and local unitary operators preserve product states. The displayed identity moves every exchange past a pair of local gates, reducing any such two-qubit quantum circuit to a local operation, optionally followed by SWAP gate. On more wires the same argument leaves a permutation of the tensor factors. By induction, a fully factored input remains factored. Since universal quantum computation includes operations that create quantum entanglement from a product state, these gates cannot form a universal quantum gate set.

For a bipartite pure state with finite Von Neumann entropy, the joint Von Neumann entropy is zero, so its quantum conditional entropy is $-S({\rho }_A)$. The Schmidt decomposition makes the nonzero eigenvalues of ${\rho }_A$ the squared Schmidt coefficients. Their Shannon entropy vanishes exactly when there is one coefficient, equivalently the joint pure state is a product state. Thus negative quantum conditional entropy detects exactly the entangled bipartite pure states; it is only a sufficient criterion for entanglement of general mixed density operators.

If subsystem $S$ has pure state $|u⟩⟨u|$ in a normalized joint pure vector $|\Omega {⟩}_{SE}$, then $|\Omega {⟩}_{SE}=|u{⟩}_S\otimes |e{⟩}_E$. Indeed, for an orthonormal basis $\{v_j\}$ of $u^{\perp }$, each squared norm $\Vert (⟨v_j|\otimes I)|\Omega ⟩{\Vert }^2=⟨v_j|{\rho }_S|v_j⟩$ is zero. Therefore the joint vector has no component outside $\mathbb{C}u\otimes {\mathcal{H}}_E$. In particular, if Alice and Bob share a known pure entangled state, an adversary holding a purifying system has no correlations with it. This does not make every pure bipartite state useful for key distribution: a pure product state has no shared random correlations.

Errors on a known subset of $m$ qubits are correctable by a distance-$d$ code whenever $m<d$. Every product $E_a^{†}{E}_b$ of errors supported on that subset still has support in the same subset, so its compression is scalar. The Knill--Laflamme condition therefore supplies one recovery for every channel on that subset. Equivalently, erasing the subset leaks no logical information to it: if a reference is maximally entangled with the encoded logical system, its joint density operator with the erased subsystem is a product state.

For $n$ copies of a normalized pure state $\alpha |00⟩+\beta |11⟩$, regroup Alice's and Bob's tensor factors. Alice performs a projective measurement of the total number $k$ of zeroes, preserving all coherence among strings with that count. The outcome has binomial distributionEach retained string has the same complex amplitude ${\alpha }^k{\beta }^{n-k}$, so, up to a common phase, the conditional quantum state isIts equal Schmidt coefficients make it a maximally entangled state of Schmidt rank $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$. Alice sends the count to Bob. They can relabel the corresponding local computational basis strings with local unitary operations, and convert the resulting resource to Bell pairs. Measuring the individual bits instead would reveal the entire string and leave a product state.

For $\sqrt{p}|000⟩+\sqrt{1-p}|111⟩$, a projective measurement of the number of ones in one party's $n$ local qubits gives a common type class of size $d_k=\left(\genfrac{}{}{0ex}{}{n}{k}\right)$. The conditional pure state is $d_k^{-1/2}{\sum }_{|x|=k}|x,x,x⟩$. It can be converted exactly and deterministically to a uniform common-label state of any dimension $m\le d_k$: one party measures an $m$-element subset $S$ with Kraus operator ${\Pi }_S/\sqrt{\left(\genfrac{}{}{0ex}{}{d_k-1}{m-1}\right)}$, and all parties relabel their common retained labels after receiving $S$. Choosing $m=2^f$ gives $f$ independent GHZ states. Stirling's formula and the weak law of large numbers give $f/n\to h_2(p)$ in probability. Measuring every local bit separately would instead destroy the coherence and leave a product state.