The number of product vectors and their partial conjugates in a pair of spaces

Abstract

Let $D$ and $E$ be subspaces of the tensor product of the finite-dimensional Hilbert spaces $\mathbb{C}^m \otimes \mathbb{C}^n$. We show that the number of product vectors in $D$ with their partial conjugates in $E$ is uniformly bounded depending only on $m$ and $n$ whenever it is finite. We also give an upper bound in qubit-qunit case which we expect to be sharp.