Schmidt rank ($r$)

The Schmidt rank is the number of nonzero terms in a Schmidt decomposition, equivalently the rank of either reduced density matrix of a bipartite pure state.

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.

The Schmidt rank of a bipartite pure state cannot increase under local operations, even in a nonzero selected branch. A coefficient matrix $C$ changes under a local product operator to $AC{B}^T$, whose rank is at most that of $C$. For deterministic exact conversions the same conclusion follows from Nielsen's pure-state conversion theorem: at the input rank $r$, the majorization inequality forces all output coefficients after $r$ to vanish.

A normalized bipartite pure state of Schmidt rank $r$ has quantum fidelity at most $\sqrt{r/d}$ with a fixed maximally entangled state on $d\otimes d$. Its coefficient matrix has matrix rank $r$ and Hilbert-Schmidt norm one. Its overlap is the trace of that matrix divided by $\sqrt{d}$; trace duality and the Cauchy-Schwarz inequality bound this by $\sqrt{r/d}$. Uniform Schmidt coefficients on $r$ matching basis pairs attain equality.