 k-reduction map

The $k$-reduction map is ${\Lambda }_k(X)=k\mathrm{Tr}(X)I-X$. It remains positive when tensored with the identity on pure inputs of Schmidt rank at most $k$, making it a witness for Schmidt number greater than $k$.