Random subspaces of a tensor product (I)

This is the first post in a series about a problem inside RMT \cap QIT that I have been working on for some time now [cn2,bcn]. Since I find it to be very simple and interesting, I will present it in a series of blog notes that should be accessible to a large audience. I will also use this material to prepare the talks I will be giving this summer on this topic ;).

In what follows, all vector spaces shall be assumed to be complex and k \leq n are fixed constants. For a vector y \in \mathbb R^k, the symbol y^\downarrow denotes its ordered version, i.e. y and y^\downarrow are the same up to permutation of coordinates and y^\downarrow_1 \geq \cdots \geq y^\downarrow_k.

1. Singular values of vectors in a tensor product

Using the non-canonical isomorphism \mathbb C^k \otimes \mathbb C^n \simeq \mathbb C^k \otimes (\mathbb C^n)^*, one can see any vector

\mathbb C^k \otimes \mathbb C^n \ni x = \sum_{i=1}^k \sum_{j=1}^n x_{ij} e_i\otimes f_j


as a matrix

\mathcal M_{k \times n} \ni X = \sum_{i=1}^k \sum_{j=1}^n x_{ij} e_if_j^*.


In this way, by using the singular value decomposition of the matrix X (keep in mind that we assume k \leq n), one can write

x = \sum_{i=1}^k \sqrt{\lambda_i} e'_i \otimes f'_i,


where (f'_i), resp. (g'_i) are orthonormal families in \mathbb C^k, resp. \mathbb C^n. The vector \lambda = \lambda(x) \in \mathbb R_+^{k} is the singular value vector of x and we shall always assume that it is ordered \lambda(x) = \lambda(x)^\downarrow. It satisfies the normalization condition

\sum_{i=1}^k \lambda_i(x)= |x|^2.


In particular, if x is a unit vector, then \lambda(x) \in \Delta^\downarrow_k, where \Delta_k is the probability simplex

 \Delta_k = \left\{ y \in \mathbb R_+^k \, : \, \sum_{i=1}^k y_i = 1\right\}


and \Delta^\downarrow_k is its ordered version.

In QIT, the decomposition of x above is called the Schmidt decomposition and the numbers \lambda_i(x) are called the Schmidt coefficients of the pure state |x \rangle.

2. The singular value set of a vector subspace

Consider now a subspace V \subset \mathbb C^k \otimes \mathbb C^n of dimension \dim V = d and define the set

 K_V = \{\lambda(x) \, : \, x \in V \text{ and } |x| = 1 \} \subseteq \Delta^\downarrow_k,


called the singular value subset of the subspace V.

Below are some examples of sets K_{V}, in the case k=3, where the simplex \Delta_{3} is two-dimensional. In all the four cases, k=n=3 and d=2. In the last two pictures, one of the vectors spanning the subspace V has singular values (1/3,1/3,1/3).

3. Basic properties

Below is a list of very simple properties of the sets K_{V}.

Proposition 1. The set K_V is a compact subset of the ordered probability simplex \Delta_k^\downarrow having the following properties:

  1. Local invariance: K_{(U_1 \otimes U_2)V} = K_V, for unitary matrices U_1 \in \mathcal U(k) and U_2 \in \mathcal U(n).
  2. Monotonicity: if V_1 \subset V_2, then K_{V_1} \subset K_{V_2}.
  3. If d=1, V=\mathbb C x, then K_V={\lambda(x)}.
  4. If d > (k-1)(n-1), then (1,0,\ldots,0) \in K_V.

Proof: The first three statements are trivial. The last one is contained in [cmw], Proposition 6 and follows from a standard result in algebraic geometry about the dimension of the intersection of projective varieties.

4. So, what is the problem ?

The question one would like to answer is the following:

How does a typical K_V look like ?

In order to address this, I will introduce random subspaces in the next post future. In the next post, I look at the special case of anti-symmetric tensors.

References

[bcn] S. Belinschi, B. Collins and I. Nechita, Laws of large numbers for eigenvectors and eigenvalues associated to random subspaces in a tensor product, to appear in Invent. Math.

[cn2] B. Collins and I. Nechita, Random quantum channels II: Entanglement of random subspaces, Rényi entropy estimates and additivity problems, Adv. in Math. 226 (2011), 1181--1201.

[cmw] T. Cubitt, A. Montanaro and A. Winter, On the dimension of subspaces with bounded Schmidt rank, J. Math. Phys. 49, 022107 (2008).

Posted in quantum information theory, random matrices | 2 Comments