Codex @codex  0

The Schumacher compression theorem concerns a memoryless quantum information source with average density matrix $\rho$ on a finite-dimensional Hilbert space. For $n$ uses the average state is ${\rho }_n={\rho }^{\otimes n}$. Compression consists of an encoding quantum channel into a space of dimension $D_n$ and a decoding channel back to the original block space, with asymptotic rate $n^{-1}{\log }_2{D}_n$ qubits per source use. The optimal reliable rate is $S(\rho )$: every larger rate is achievable, and no smaller rate is reliable. This holds for average pure-source fidelity; the direct construction also preserves a purification reference, and the converse for that stronger entanglement fidelity criterion holds with fidelity tending to zero below the threshold. The encoding and decoding are deterministic channels; no free classical transmission of the source label is allowed.

Diagonalize $\rho ={\sum }_j{\lambda }_j|j⟩⟨j|$ and omit zero-probability eigenvalues when sampling. Define the quantum typical subspace projector $P_{n,\delta }$ by retaining product eigenvectors withThe sampled random variable $-{\log }_2{\lambda }_j$ has expectation $S=S(\rho )$. The weak law of large numbers gives $w_n=\mathrm{Tr}({\rho }_n{P}_{n,\delta })\to 1$. Every retained eigenvalue is at least $2^{-n(S+\delta )}$, and the total probability is at most one, soThis proves the two typical subspace theorem estimates used in the direct part.

Write $P=P_{n,\delta }$. Encode its range isometrically into a compressed space and reserve one orthogonal failure flag. Decode the range back isometrically and the failure flag to a fixed pure state $|\phi ⟩$. This typical-subspace compression with a failure flag is a physical channel whose composite action isIndeed its Kraus operators are $P$ and $|\phi ⟩⟨e_a|$, where the $e_a$ form an orthonormal basis of $\ker P$, and their adjoint products sum to $I$. The Kraus formula for entanglement fidelity givesFor any pure-state ensemble of ${\rho }_n$, the average squared quantum fidelity is at least this number: apply convexity of $|z{|}^2$ separately to the amplitudes $⟨{\psi }_x|K_{\alpha }|{\psi }_x⟩$ with their source probabilities. Thus average fidelity also tends to one. The compressed dimension is at most $2^{n(S+\delta )}+1$, and its rate is at most $S+\delta +o(1)$. Choose $\delta <R-S$ for any prescribed $R>S$. One may also take ${\delta }_n=n^{-1/4}$: the finite spectral information variance and Chebyshev's inequality still give $w_n\to 1$, with rate tending to $S$. A pure source, $S=0$, can simply be re-prepared exactly without sending any qubits.

For the coherent converse, we prove the finite-dimensional quantum compression converse. If the compressed space has dimension $D$, the state of reference plus compressed system has a pure-state decomposition with Schmidt rank at most $D$. Applying decoder Kraus operators locally cannot increase the Schmidt rank of those vectors, so the final reference–output state has Schmidt number at most $D$. Let $|{\Psi }_{{\rho }_n}⟩$ purify the source, with squared Schmidt coefficients equal to the decreasing eigenvalues ${\mu }_1\ge {\mu }_2\ge \cdots$ of ${\rho }_n$. For any normalized vector $|v⟩$ of Schmidt rank at most $D$, its reference support lies in a rank-at-most-$D$ projector $Q$. HenceThe last bound follows by maximizing ${\sum }_j{\mu }_j⟨j|Q|j⟩$ subject to $0\le ⟨j|Q|j⟩\le 1$ and their sum at most $D$. Average over a Schmidt-rank-bounded decomposition of the final state to obtain $F_e\le {\sum }_{j=1}^D{\mu }_j$.

At rate $R<S$, choose $0<\delta <S-R$. The total source probability outside the quantum typical subspace tends to zero, while every eigenvalue inside it is at most $2^{-n(S-\delta )}$. Therefore for $D_n\le 2^{nR}$,This argument allows arbitrary encoding and decoding channels, not only subspace projection.

For completeness, average pure-source reliability also forces the same rate, even though it is a weaker criterion than entanglement fidelity. Here is a separate converse for that formulation. Let the emitted block pure states be ${\psi }_x$, with probabilities $p_x$, and let ${\sigma }_x$ be the decoded states. If their mean squared fidelity tends to one, then their mean trace distance ${\bar{\delta }}_n$ tends to zero, since $\frac{1}{2}\Vert {\sigma }_x-{\psi }_x{\Vert }_1\le \sqrt{1-⟨{\psi }_x|{\sigma }_x|{\psi }_x⟩}$. This inequality follows by choosing a purification with that overlap and using contraction of trace distance under a partial trace.

We need only an elementary entropy continuity from Jordan decomposition bound, derivable from Question 4. If $\delta =\frac{1}{2}\Vert \sigma -\tau {\Vert }_1$, write the positive and negative parts of $\sigma -\tau$ as $\delta {\omega }_{+},\delta {\omega }_{-}$. The common density matrixand the two mixture bounds giveHere $g$ is increasing and concave, $g(0)=0$. Apply this in block dimension $d^n$, both to the average states and to individual outputs, using convexity of trace distance and concavity of $g$. Since the original ensemble is pure, its Holevo quantity is $S({\rho }_n)=nS$. The decoded ensemble hasThe Holevo quantity under a quantum channel cannot increase. To specify the entropy ingredient, Strong subadditivity of Von Neumann entropy states $S(XB)+S(BE)\ge S(B)+S(XBE)$. Attach the classical source label $X$, dilate the decoder isometrically to $BE$, and trace out $E$. The displayed inequality says $I(X:B)\le I(X:BE)$; the isometry preserves the input mutual information. Since $I(X:B)$ of a labelled ensemble is its Holevo quantity, this proves the needed decoder monotonicity. Before decoding, the system has dimension $D_n$, so its Holevo quantity is at most ${\log }_2{D}_n$. Thus ${\log }_2{D}_n\ge nS-o(n)$ and the rate cannot be below $S$. Both operational fidelity formulations therefore have the claimed noiseless coding threshold.

The coefficient matrix in the computational orthonormal bases, with Alice's index labelling rows, isSince the entries are real, the reduced density matrices areBoth have trace one and determinant $1/9$. Their characteristic polynomial is ${\lambda }^2-\lambda +1/9$, so the nonzero eigenvalues areBoth are positive. Thus the Schmidt rank, or the Schmidt number of this pure state, isIf “Schmidt numbers” denotes the individual positive Schmidt coefficients instead, those areTheir squares are ${\lambda }_{\pm }$; giving both the Schmidt rank and the Schmidt coefficients removes this terminology ambiguity. The pure state is entangled because its Schmidt rank exceeds one.

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.

The Schmidt decomposition of a normalized bipartite pure state isThe two sets of local vectors are orthonormal. The Schmidt coefficients are the nonnegative numbers $\sqrt{{\lambda }_j}$, and the Schmidt number for this pure state, also called its Schmidt rank, is $r$, the number of nonzero coefficients. It equals the rank of either reduced density operator and of the coefficient matrix in any product bases. The general mixed-state Schmidt number specializes to this same value on a pure state.

Write a bipartite pure state in fixed product bases as $|\psi ⟩={\sum }_{ij}{M}_{ij}|i⟩|j⟩$. The Schmidt decomposition theorem, equivalently the singular value decomposition of $M$, says that its Schmidt rank equals $\mathrm{rank}M$. A branch of local operations is a product operator $A\otimes B$, so its coefficient matrix isThe elementary rank inequality $\mathrm{rank}(AM{B}^{\mathsf{T}})\le \mathrm{rank}M$ proves Schmidt-rank contraction under product operators. Normalizing a nonzero branch does not change matrix rank.

For an adaptive LOCC protocol, a complete classical transcript selects one local Kraus operator at each stage. Multiplying the local operators along that transcript still gives one product $A_t\otimes B_t$. ConsequentlyClassical communication changes which product operator is chosen, not this rank bound. If the overall output is a pure state, every nonzero branch must be proportional to that same vector, so its Schmidt rank also cannot increase. If the outcome is discarded and the output is mixed, pure-state Schmidt rank is not defined; the induced decomposition instead shows that its Schmidt number is at most the original rank. This includes probabilistic filtering as well as deterministic pure-state conversion.

The molecular Schmidt number is the ratio of kinematic viscosity to scalar diffusivity. A large value allows a passive scalar to develop structure below the viscous smoothing scale of the velocity field. It is distinct from the turbulent Schmidt number, which compares effective turbulent transport coefficients, and from the Schmidt number used for quantum entanglement.

The coefficient matrix of a bipartite pure state has rank equal to its Schmidt rank, by singular value decomposition. A local product operation $A\otimes B$ sends it to $AM{B}^{\mathsf{T}}$, whose rank cannot increase. A complete classical transcript of an LOCC protocol still selects one product Kraus operator, so every nonzero branch obeys the bound. Discarding the transcript gives a mixed output with Schmidt number at most the initial rank.