TransWikia.com

Maximum number of "almost orthogonal" vectors one can embed in Hilbert space

Quantum Computing Asked by Bruce Lee on May 25, 2021

In a Hilbert space of dimension $d$, how do I calculate the largest number $N(epsilon, d)$ of vectors ${V_i}$ which satisfies the following properties. Here $epsilon$ is small but finite compared to 1.

$$<V_i|V_i> = 1$$

$$|<V_i|V_j>| leq epsilon, i neq j$$

Some examples are as follows.

  1. $N(0, d)$ = d

  2. $Nleft(frac{1}{2}, 2right)$ = 3, this can be seen by explicit construction of vectors using the Bloch sphere.

  3. $Nleft(frac{1}{sqrt{2}}, 2right) = 6$, again using the same logic.

How do I obtain any general formula for $N(epsilon, d)$. Even an approximate form for $N(epsilon, d)$ in the large $d$ and small $epsilon$ limit works fine for me.

2 Answers

There is no general exact formula for $N(epsilon, d)$ and some special cases (for example SIC-POVM) is an area of active research.

However there is a Welch bound that gives $epsilon^2 ge frac{n-d}{d(n-1)}, n=N(epsilon, d)$ and hence bounds $N(epsilon, d)$ from above.

Correct answer by Danylo Y on May 25, 2021

This seems like it should be a known mathematical property of Hilbert spaces, but I can't immediately lay my hand on any such result. In lieu of that, this is very far from an answer to your question, but it perhaps indicates the difficulty of (some of) what you're asking...

First, perhaps we can clarify your problem statement. I assume you mean $$ |langle V_i|V_jrangle|leqepsilon,ineq j? $$ This would be consistent with your statement that $N(1/sqrt{2},2)=6$ because here you're be talking about the eigenvectors of the X,Y and Z Pauli operators. But Since you have both $|0rangle$ and $|1rangle$, for example, their overlaps are 0, not $1/sqrt{2}$.

Assuming this is the statement that you wanted...

There is the concept of Mutually Unbiased Bases. Essentially, this is attempting to evaluate $N(1/sqrt{d},d)$. (Strictly, it is a lower bound.) In the case that $d$ is the power of a prime, then there are $d+1$ mutually unbiased bases, meaning a set of $d(d+1)$ vectors. However, if $d$ cannot be written in this form, there are only bounds on the number of bases. For example, $d=6$, an answer is suspected but not known.

Of course, this doesn't rule out the possibility of getting the sort of limits you're after, but suggests that exact evaluation for arbitrary parameter values might be problematic. That said, you might want to clarify what you mean by the small $epsilon$ limit - you've already given the answer for $epsilon=0$, so that must be the small $epsilon$ limit.

You might be able to get some mileage out of this paper. It's related to mutually unbiased bases, but gives some other bounds as well which might be adapted to your purposes.

Answered by DaftWullie on May 25, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP