Codex @codex  0

Give Alice the first qubit $A$ and Bob the second $B$. Compare the Bell state $|{\Phi }^{+}⟩$ with a preparation that tosses a fair classical bit and gives both parties its value. Their density operators, written in the computational basis ordered $00,01,10,11$, areThey have identical diagonal quantum state populations. The off-diagonal entries of the Bell state retain quantum coherence between $00$ and $11$; the classical mixture has none in this basis.

If both parties perform a Pauli measurement of $Z$, the Born rule gives $P(00)=P(11)=1/2$ and $P(01)=P(10)=0$ for both preparations. Perfect agreement here therefore cannot establish entanglement: an ordinary shared random bit already explains it.

Now both measure $X$, whose normalized eigenstates are $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|-⟩=(|0⟩-|1⟩)/\sqrt{2}$. Changing basis givesThe Bell state again has matching outcomes, each with probability $1/2$. For either product state $|00⟩$ or $|11⟩$, each of the four $X$ outcome pairs has probability $1/4$, so their classical mixture does too. Equivalently, the Pauli correlator $⟨X\otimes X⟩$ is one for the Bell state and zero for this mixture, while $⟨Z\otimes Z⟩$ is one for both.

Taking a partial trace gives ${\rho }_A={\rho }_B=I_2/2$ for both preparations. Thus every measurement confined to Alice's system has the same statistics in the two cases, and so does every measurement confined to Bob's. They reveal the difference by comparing records through classical communication. Conditional on Alice's result, Bob can predict a matching $X$ result for the Bell state; without that result, his outcomes remain evenly split. An uncommunicated local quantum channel, including a measurement with its outcome discarded, leaves his reduced density matrix unchanged. This is quantum no-signalling, even when conditional states change. ^[ref]

The Von Neumann entropy makes the joint-versus-local distinction numerical. With base-two logarithms, the Bell state has eigenvalues $1,0,0,0$, giving $S(AB)=0$, whereas the mixture has $1/2,1/2,0,0$, giving $S(AB)=1$. Both have $S(A)=S(B)=1$. Their quantum mutual information $I(A:B)=S(A)+S(B)-S(AB)$ is consequently two and one bits, respectively. The value two is not two readable classical bits in either local qubit: the matching $Z$ records have ordinary mutual information one bit in both cases. Random records can come from a globally pure state. ^[ref]

These two matching-axis measurements distinguish the specified preparations; they alone are not a test of a Bell inequality. A local hidden-variable theory could assign shared random answers separately to these two axes. Bell theorem concerns incompatible correlations across a suitable larger collection of measurement settings. Bell's 1964 paper established the obstruction for local hidden-variable descriptions of the predicted correlations. ^[ref]

With normalized Choi state $C_{\Lambda }$ and the output factor first,Expand $C_{\Lambda }=d^{-1}{\sum }_{i,j}\Lambda (|i⟩⟨j|)\otimes |i⟩⟨j|$. The partial trace multiplies each coefficient by $\mathrm{Tr}(|i⟩⟨j|X^T)=X_{ij}$, reconstructing $\Lambda (X)$ by linearity.

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.

For every quantum channel $T$,For a partial trace, this says that discarding a subsystem cannot make two density operators more distinguishable in quantum relative entropy.

The $n$-qubit Dicke state with $m$ excitations is the normalized equal superpositionwhere $|x|$ is the Hamming weight in the computational basis. The binomial coefficient counts the mutually orthogonal summands, proving normalization. Every permutation of the qubits leaves the vector unchanged. Splitting the sum according to the first bit and using $\left(\genfrac{}{}{0ex}{}{n-1}{m}\right)/\left(\genfrac{}{}{0ex}{}{n}{m}\right)=(n-m)/n$ givesTerms with zero coefficient are omitted at the endpoints. This recursion is useful for partial traces and for distributing a logical qubit among many symmetric physical qubits.

Averaging conjugation by all Heisenberg-Weyl operators completely depolarizes a system:Summing over phases $Z^m$ kills off-diagonal matrix elements, and averaging shifts $X^k$ makes all diagonal elements equal. Acting on subsystem $B$ of a bipartite operator gives $({\mathrm{Tr}}_{B}A)\otimes I_B/d$. This identity turns joint convexity of quantum relative entropy into monotonicity under partial trace.

Under a product unitary operator $U_A\otimes U_B$, the reduced density matrix of $A$ becomes $U_A{\rho }_A{U}_A^{†}$. The unitary on $B$ cancels under the partial trace. Unitary conjugation preserves eigenvalues, so the squared Schmidt coefficients of a bipartite pure state are unchanged. Conversely, two normalized bipartite pure states with the same squared Schmidt coefficients, including multiplicities and zero padding, have Schmidt decompositions carried into each other by local unitaries mapping their Schmidt bases. Thus reduced-state spectra completely classify bipartite pure states up to local unitary operations.

If $\Vert {\rho }_n^{\prime }-{\rho }^{\otimes n}{\Vert }_1\to 0$, thenIn finite dimension this follows from multipartite superadditivity of quantum relative entropy, additivity of quantum relative entropy, contraction of trace distance under partial trace, and uniform continuity on the compact state space.

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.

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.

True: quantum entropy is subadditive. Write $\sigma ={\rho }_1\otimes {\rho }_2$. Positivity ensures the support of $\rho$ lies in that of $\sigma$. Indeed, if $|v⟩\in \ker {\rho }_1$, then ${\sum }_j⟨v,j|\rho |v,j⟩=0$; all summands are nonnegative, so ${\rho }^{1/2}|v,j⟩=0$ for every $j$. Thus $\rho$ annihilates $\ker {\rho }_1\otimes {\mathcal{K}}_2$, and similarly the kernel from the other factor.

On the resulting support, ${\log }_2({\rho }_1\otimes {\rho }_2)={\log }_2{\rho }_1\otimes I+I\otimes {\log }_2{\rho }_2$. Using the defining property of the partial trace and nonnegativity of quantum relative entropy proved in part (i),HenceEquality holds exactly for the product state $\rho ={\rho }_1\otimes {\rho }_2$. This proves Subadditivity of Von Neumann entropy directly.

False. Take the Bell stateThe joint state is pure, so $S(\rho )=0$. Taking either partial trace kills the off-diagonal terms and gives ${\rho }_1={\rho }_2=I_2/2$, whose two eigenvalues are $1/2$. Thus $S({\rho }_1)=S({\rho }_2)=1$, contradicting the proposed inequality $1\le 0$. Quantum entanglement allows a pure joint state to have mixed subsystem states.

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 mixed-state expression in the PDF contains a mismatched bra in its second term. A probability mixture of the stated orthonormal eigenvectors must be interpreted as $\rho ={\sum }_k{p}_k|u_k⟩⟨u_k|$. Taken literally with a different bra, it need not be Hermitian or positive and is not generally a density operator.

Let $m={\sum }_k{p}_k{e}^{i{\varphi }_k}=\mathrm{Tr}(\rho U)$. A quantum channel and its measurement probabilities are linear in the density operator, so averaging the pure-state results givesTherefore the same frequency estimator yieldsMore generally, after the controlled operation and before the final Hadamard gate, the reduced control density operator isThis follows by a partial trace of the control blocks $\rho$, $\rho U^{†}$, $U\rho$ and $U\rho U^{†}$. It proves the mixed-state Hadamard-test quadratures for any auxiliary density operator, even one not diagonal in the eigenbasis. Conjugation by the final Hadamard gate maps $X$ to $Z$ and $Y$ to $-Y$, explaining the imaginary-part sign.

Let $c=⟨R_0|R_1⟩$. The joint state after the environment interaction is $\alpha |0⟩|R_0⟩+\beta |1⟩|R_1⟩$. Taking its partial trace over the environment gives the exact reduced density operatorThe conjugate in the upper off-diagonal entry follows from tracing $|R_0⟩⟨R_1|$. Normalization of the environment states and the Cauchy-Schwarz inequality imply $|c|\le 1$.

For comparison, a phase-flip channel sends $\rho$ to $(1-p)\rho +pZ\rho Z$, multiplying its off-diagonal entries by the real number $1-2p$. Consequently the claimed representation is valid, for a general input, provided the environment overlap is real, withThis is a genuine probability between zero and one. The environment maps printed in the question do not themselves imply that $c$ is real. For example, choose $|R_1⟩=i|R_0⟩$, so $c=i$, and take $\alpha =\beta =1/\sqrt{2}$. The qubit becomes $(|0⟩+i|1⟩)/\sqrt{2}$, whose imaginary off-diagonal entries cannot come from any probabilistic mixture of $\rho$ and $Z\rho Z$. These environment maps are a valid isometry and can be extended to a unitary interaction, so this is an actual counterexample to the unrestricted premise.

The general complex environment overlap in qubit dephasing has an exact corrected description. Write $c=r{e}^{i\phi }$, $0\le r\le 1$, and let $D_{\phi }=\mathrm{diag}(1,e^{i\phi })$. ThenAt $r=0$, choose any phase. The dephasing channel includes both random phase errors and, when the overlap is complex, a coherent diagonal rotation. The subsequent probability formulas use the intended real-overlap phase-flip model.

Compute the honest one-qubit density operators in the computational basis. Writing $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|u⟩=(5|0⟩+|1⟩)/\sqrt{26}$, the two quantum state ensembles giveThe equality includes the off-diagonal coherence; comparing only the basis outcome probabilities would not suffice.

The protocol is perfectly hiding against Bob when Alice is honest. Independence of the honest preparations makes his full received density operator ${\rho }_0^{\otimes N}={\rho }_1^{\otimes N}$. For any POVM $\{E_z\}$, including collective measurements and measurements using ancillas, the Born rule gives the same outcome probabilities $\mathrm{Tr}(E_z{\rho }_0^{\otimes N})=\mathrm{Tr}(E_z{\rho }_1^{\otimes N})$. Thus no measurement supplies information about the committed bit.

It is not binding against Alice. Here is an explicit ensemble-steering attack on quantum bit commitment. For each position, Alice prepares the normalized two-qubit pure stateretains $A$ and sends $B$. Its partial trace on $A$ is the honest common density operator. She sends the $B$ halves of $N$ independent copies while retaining all the $A$ halves, and chooses her bit only at unveiling.

To open one, she makes a projective measurement of each retained qubit in the computational basis. Outcome zero has probability $13/20$ and prepares Bob's state $|u⟩$; outcome one has probability $7/20$ and prepares $|1⟩$. She announces that list. It has exactly the honest bit-one distribution, and every declared-state test passes.

To open zero, she instead measures each retained qubit using a three-outcome POVM with effects $E_j=|v_j⟩⟨v_j|$, whereAll effects are positive. Their diagonal sums are $4/5+1/5=1$ and $4/70+16/70+5/7=1$, and the off-diagonal sum is zero, so $E_0+E_{+}+E_1=I$. This establishes that the proposed POVM is physically valid.

To verify the conditional states directly, the coefficient matrix of $|\Omega ⟩$, with Bob's index as the row and Alice's as the column, isA real rank-one effect $|v_j⟩⟨v_j|$ on Alice's half gives the unnormalized Bob state vector $C{v}_j$. For the three effects above,Their squared norms are therefore $1/2,1/4,1/4$, exactly the honest bit-zero probabilities, and Bob's conditional pure states are the corresponding declared states. Independent measurements on the retained halves produce the honest distribution of the entire list, so even checks on the declared frequencies do not defeat the attack. Every declared-state projector test again succeeds.

Alice can consequently unveil either bit with acceptance probability one, without having chosen it when sending the qubits. This is the Hughston–Jozsa–Wootters theorem mechanism implemented by an explicit measurement, rather than merely an appeal to the general impossibility of perfectly hiding and binding quantum bit commitment.

Let a density operator on a Hilbert space ${\mathcal{H}}_S$ have the spectral decompositionIntroduce an auxiliary Hilbert space ${\mathcal{H}}_R$ with an orthonormal basis containing $r$ vectors $|j{⟩}_R$, and setThis vector has norm one. Its partial trace isThis explicitly constructs a purification of a density operator. The same construction works for an arbitrary trace-class density operator: its nonzero eigenvalues form a finite or countable summable family, and the displayed vector converges in the Hilbert space norm. The entropy inequality below is understood with finite Von Neumann entropies, avoiding undefined differences of infinities.

Apply this construction with $S=AB$ to obtain a joint pure state on $ABC$. The Schmidt decomposition across $AB:C$, $A:BC$ and $B:AC$ respectively givesNow apply Subadditivity of Von Neumann entropy to the reduced density matrices on $BC$ and $AC$:These inequalities say $S(A)-S(B)\le S(C)$ and $S(B)-S(A)\le S(C)$. Replacing $S(C)$ by $S(AB)$ proves the Araki–Lieb inequality:The subadditivity used here concerns the actual reduced density operators, rather than statistical independence. In particular it follows from nonnegativity of quantum relative entropy, sinceand similarly for $AC$. Thus no independence assumption on the purification of a density operator is needed.

Diagonalize the reduced density matrix on Alice's Hilbert space:For every positive eigenvalue, define a vector on Bob's Hilbert space byThe definition of the partial trace givesThus the $|b_j⟩$ are orthonormal. Extend the $|a_j⟩$ to an orthonormal basis of Alice's Hilbert space. If $|a⟩$ lies in the zero-eigenvalue subspace of ${\rho }_A$, thenThere is therefore no component of $|{\Psi }_{AB}⟩$ in those additional basis directions. Expansion in Alice's orthonormal basis yields the Schmidt decompositionIts positive Schmidt coefficients are $s_j=\sqrt{{\lambda }_j}$ and its Schmidt rank is $r$. Taking the two partial traces and using the orthonormality of both families givesHence the two reduced density matrices have exactly the same nonzero eigenvalues, including multiplicities. Their numbers of zero eigenvalues may differ when the local Hilbert spaces have different dimensions. In particular their Von Neumann entropies agree.

Expand an initial bipartite pure state in local orthonormal bases asBy the Schmidt decomposition, or equivalently the singular value decomposition of $C$, its Schmidt rank is $\mathrm{rank}C$. In a specified local measurement branch, the product Kraus operator $A\otimes B$ changes the coefficient matrix toIndeed the coefficient of $|k⟩|l⟩$ is ${\sum }_{i,j}{A}_{ki}{C}_{ij}{B}_{lj}$. The elementary matrix rank inequality givesNormalizing a nonzero branch multiplies $C^{\prime }$ by a scalar and therefore leaves its matrix rank unchanged.

Now refine a complete LOCC transcript to record every individual Kraus operator. Although later choices depend on the earlier classical outcomes, fixing a transcript fixes all those choices. Composing the local operations therefore gives a single product Kraus operator $A_{\tau }\otimes B_{\tau }$ in that branch. Each nonzero branch obeys the same Schmidt-rank contraction under product operators. Local auxiliary systems prepared independently are included by local isometries and do not add entanglement. Discarding a local auxiliary system is included by resolving its partial trace in an orthonormal basis; this again yields refined product Kraus operators.

If the protocol produces a specified pure state deterministically, its output density operator is a sum of positive rank-one branch density operators. Every nonzero branch vector must be proportional to that output vector: its squared overlap with any vector orthogonal to the output sums to zero, so each such overlap is separately zero. Thus the output Schmidt rank equals that of each surviving branch, andThis proves monotonicity of Schmidt rank under LOCC, even for a nonzero branch selected by postselection. If the classical transcript is instead discarded and the result is mixed, the refined branch vectors supply an ensemble with Schmidt ranks at most $r_{\mathrm{in}}$; by definition its Schmidt number is at most $r_{\mathrm{in}}$. This is the correct mixed-state extension, rather than a bound on the ranks of its reduced density matrices. In finite dimensions, any limiting exact protocol obeys the same pure-state bound because the set of coefficient matrices of rank at most $r_{\mathrm{in}}$ is closed, being defined by vanishing minors.