MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose we have n normalized vectors on an arbitrarily large Hilbert space $|A_1\rangle,\dots,|A_n\rangle$, $\langle A_i|A_i\rangle=1$ for every i. And there're $\frac{n(n-1)}{2}$ inner products $\langle A_i|A_j\rangle$. But they're not mutually independent, for instance, if $|\langle A_1|A_2\rangle|=|\langle A_1|A_3\rangle|=1$, then it's required $|\langle A_2|A_3\rangle|=1$. Then my question is what is the exact relations between these inner products? Or how can we compute this relation efficiently?

share|cite|improve this question
up vote 4 down vote accepted

The matrix of inner products is the Gram matrix of your vectors. This is a positive semi-definite matrix, whose rank is the dimension of the span of the vectors. Conversely, every PSD matrix of the right rank arises as the Gram matrix (since your vectors are normalized, the diagonal elements are all $1$).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.