Operator Schmidt rank ($\mathrm{OSR}(K)=\min \{r:K={\sum }_{j=1}^r{A}_j\otimes B_j\}$)

The operator Schmidt rank of a bipartite linear operator is its shortest expansion as a sum of product linear operators. Expanding in local orthonormal operator bases gives a coefficient matrix; its matrix rank is the operator Schmidt rank, by a singular value decomposition. It is unchanged by invertible local operator-basis changes. A rank-one projector onto a bipartite pure state of Schmidt rank $d$ has operator Schmidt rank $d^2$: its expansion contains all $d^2$ independent products of local matrix units.

If two parties share a pure resource of Schmidt rank $R$, a fully refined branch of their local operations has Kraus operator $K_{\mu \nu }={\sum }_{j=1}^R\sqrt{p_j}{A}_{\mu j}\otimes B_{\nu j}$. Hence its operator Schmidt rank is at most $R$. Local ancillas, locally adaptive readouts and refined discarded environments are included in the branch operators. Shared classical randomness only mixes such branches. Classical comparison of records does not increase their operator Schmidt rank.