Skip to content

A Pretty Identity

June 29, 2014

Or rather two beautiful identities


Joseph Lagrange was a mathematician and astronomer who made significant contributions to just about everything. Yet like all of us he could make mistakes: he once thought he had proved Euclid’s parallel postulate. He wrote a paper, took it to the Institute, and as they did in those days, he began to read it. But almost immediately he saw a problem. He said quietly:

Il faut que j’y songe encore.

“I need to think on it some more.” He put his paper away and stopped talking.

Today Ken and I thought we would talk about a beautiful identity of Lagrange, not about the parallel axiom.

Many of you may know the identity, almost all of you probably know one of its consequences, the famous Cauchy-Schwarz inequality:

\displaystyle  (a, b)^{2} \le ||a||^{2}||b||^{2}.

Here {(a,b)} is the usual inner product and {||a||^{2}} is the square of the {L_{2}} norm,

\displaystyle  \sum_{k} a_{k}^{2}.

The finite-dimensional case of this inequality for real vectors was proved by Augustin-Louis Cauchy in 1821. Then his student Viktor Bunyakovsky obtained the integral version, by taking limits. The general result for an inner product space was proved by Hermann Schwarz in 1888.

Bunyakovsky worked in theoretical mechanics and number theory. He conjectured, in 1857, a very natural result, one that is surely true, but even after its sesquicentennial anniversary, it remains completely untouched. The conjecture is: For each integer polynomial {f(x)} there are an infinite number of primes in the sequence

\displaystyle  f(0),f(1),f(2),\dots,

provided the polynomial satisfies certain trivial constraints. These are: (i) it must be a polynomial that tends to positive infinity—primes are positive, (ii) it must be irreducible, and (iii) it must not always be divisible by a fixed prime.

The first two constraints are trivial and the last avoids polynomials like {x(x+1)}. The conjecture is still open for all polynomials of degree at least two. Thus Cauchy’s student made a conjecture that is both beautiful and hard. We wonder, how was it to work with Cauchy as an advisor?

The Identity

Lagrange’s identity is quite pretty. For any real numbers {a_{1},\dots,a_{n}} and {b_{1},\dots,b_{n}}:

\displaystyle  \left( \sum_{k=1}^{n} a_{k}^{2} \right)\left( \sum_{k=1}^{n} b_{k}^{2} \right) - \left( \sum_{k=1}^{n} a_{k}b_{k} \right)^{2} = \sum_{i=1}^{n-1}\sum_{j=i+1}^{n}(a_{i}b_{j}-a_{j}b_{i})^{2}

Using notation for the norms and inner product we can shorten it to

\displaystyle  ||a||^{2}||b||^{2}-(a\cdot b)^{2} = \sum_{1 \le i <  j \le n} (a_{i}b_{j}-a_{j}b_{i})^{2}

The importance of this identity is that it immediately implies the famous Cauchy-Schwarz inequality over the real numbers.

For a historical note, the case {n = 2} was known going back to antiquity:

\displaystyle  (a_1^2 + a_2^2)(b_1^2 + b_2^2) - (a_1 b_1 + a_2 b_2)^2 = (a_1 b_2 - a_2 b_1)^2.

Wikipedia names this for Brahmagupta, whom we recently mentioned, and for Fibonacci, but notes that it goes back (at least) to Diophantus. Brahmagupta actually stated and proved this identity for any {n} as well:

\displaystyle  (a_1^2 + n a_2^2)(b_1^2 + n b_2^2) = (a_1 b_1 + n a_2 b_2)^2 + n (a_1 b_2 - a_2 b_1)^2.

Incidentally, this shows that not only are numbers that are sums of two squares closed under multiplication, but also numbers of the form {x^2 + ny^2}, for any fixed {n}. Also we recently mentioned Lagrange’s use of a lemma that numbers that are sums of four squares are also closed under multiplication, on the way to proving that they encompass all whole numbers.

Two Complex Versions

The identity shows that an inner product can be reduced to the computation of only sums of positive quantities. This works also in the complex case, but there are two interesting versions that are not immediately interchangeable. First, let

\displaystyle  S = \sum_{k \in [N]} a_{k}b_{k}

where we will have in mind that {a,b} are unit vectors. Then by the identity we get that {S^{2}} is equal to

\displaystyle  \left( \sum_{k=1}^{N} a_{k}^{2} \right)\left( \sum_{k=1}^{N} b_{k}^{2} \right) - \sum_{i=1}^{N-1}\sum_{j=i+1}^{N}(a_{i}b_{j}-a_{j}b_{i})^{2}

This consists of only two sums, each of which is a sum of squares. Now we may interchange each {a_k} by its conjugate {\bar{a}_k}, so that we get a proper complex inner product

\displaystyle  S' = \sum_{k \in I} \bar{a}_{k}b_{k},

which is thereby equal to

\displaystyle  \left( \sum_{k=1}^{N} \bar{a}_{k}^{2} \right)\left( \sum_{k=1}^{N} b_{k}^{2} \right) - \sum_{i=1}^{N-1}\sum_{j=i+1}^{N}(\bar{a}_{i}b_{j}-\bar{a}_{j}b_{i})^{2}.

Note that the conjugates do not go away even though they are squared, so we do not obtain sums of positive quantities. To get this, we need a different version that was also found by Lagrange:

\displaystyle  \left( \sum_{k=1}^{N} |a_{k}|^{2} \right)\left( \sum_{k=1}^{N} |b_{k}|^{2} \right) = \left|\sum_{k=1}^n \bar{a}_k b_k\right|^2 + D,


\displaystyle  D = \sum_{i=1}^{N-1}\sum_{j=i+1}^{N}\left|a_{i}b_{j} - a_{j}b_{i}\right|^{2}.

This is the same as Wikipedia’s formula with {a_k} replaced by {\bar{a}_k}, which in turn fixes an apparent typo in its source. We note that the brute-force proof of this for {n = 2} leads to Lagrange’s four-square lemma. Namely, let

\displaystyle  \begin{array}{rcl}  a_1 &=& s + it\\ a_2 &=& u + iv\\ b_1 &=& w + ix\\ b_2 &=& y + iz. \end{array}

Then the left-hand side becomes

\displaystyle  (s^2 + t^2 + u^2 + v^2)(w^2 + x^2 + y^2 + z^2),

which represents an arbitrary product of sums of four squares that we want to write as a sum of four squares. The right-hand side {D} becomes

\displaystyle  \left|sw + xt + uy + vz + i(sx + uz - tw - vy)\right|^2 + \left|sy + vx - tz - uw + i(sz + ty - ux -vw)\right|^2.

This is a sum of four squares, and to verify that it equals the left-hand side, one need only see that all twenty-four cross-terms in {D} cancel.

Toward New Applications?

Written more compactly using inner product and norm notation, what we have is

\displaystyle  P = |S'|^2 = |(a,b)|^2 = ||a||^2||b||^2 - D.

Thus we have written the squared inner product as a difference of two positive real terms, where each term is a sum of squared real sub-terms or a product of the same. Ken and I have been trying to use this to improve some known simulations of quantum algorithms. So far we have no new results, but the above manipulations make a tighter connection seem plausible. The question for the applications we seek is:

Under what conditions can good approximations to the squared sub-terms yield a good approximation to {P}?

In general, the sticking could be the minus sign, together with the presence of situations where each of the two terms on the right-hand side has magnitude much higher than {P}. Thus approximations of these terms to within {(1 + \epsilon)} will not help unless {\epsilon} is truly tiny.

However, in quantum algorithms, we can expect {a} and {b} to be unit vectors. Depending on the algorithm, we may be able to arrange for the squared inner product {|(a,b)|^2} to yield the acceptance probability, so that {P} is a number between {0} and {1}. Then {||a||^2||b||^2} simply equals {1}. Thus we have:

\displaystyle  P = 1 - D = 1 - \sum_{i=1}^{N-1}\sum_{j=i+1}^{N}\left|a_{i}b_{j} - a_{j}b_{i}\right|^{2}.

Hence we can hope that good approximations to the squared terms in the sum can yield a good approximation to {P}. Moreover we are helped by the promise for a {\mathsf{BQP}} algorithm that either {P} is close to zero (so the sum is close to {1}) or {P} is close to one (so the sum is close to {0}). What can go wrong?

The sticking point again could be the minus sign, together with what could be exponentially many complex “cross terms” of the form {a_i b_j}. It may be hard to get enough of a handle on those terms to approximate all their (squared) differences. Two further complications are that sometimes our acceptance probability involves not just one inner product {(a,b)} but many, though in some cases we can arrange polynomially many, and that the indices {i,j,k} may be limited to some subset {I} of {[N]}. What could help us most would be a further manipulation of {D}, taking into account the {\mathsf{BQP}} “promise” condition that {D} be near {0} or {1}.

Open Problems

Did you know this identity? Besides Cauchy-Schwarz, what useful inequalities and estimates can be derived—in the presence of certain promise conditions?

7 Comments leave one →
  1. June 30, 2014 2:17 am

    I vaguely remember that these types of identities played a role in Avi Wigderson’s non commutative computation lecture.

  2. June 30, 2014 10:17 am

    Also thought I’d point out: Greg and Paul Valiant recently had a paper that showed a characterization for all inequalities in a certain family (containing e.g. Cauchy-Schwarz and Holder). It was a nice application of linear programming duality, to show how such inequalities can be derived mechanically/systematically:

  3. Beppe permalink
    July 1, 2014 9:30 am

    J. Michael Steele has written a fantastic book on the subject, well properly titled:
    “The Cauchy-Schwarz master class”.

  4. kschua permalink
    July 21, 2014 2:29 pm

    The case n=2 which says $|z_1|^2|z_2|^2=|z_1z_2|^2 for complex number has an extension to Quaternion (n=4) and Octonion (n=8) each as a special case of Lagrange. For example writing $A_{ij}$ for $(a_ib_j-a_jb_i)$.

    The case $n=4$ can be written as

    $$(\sum a_i)^2(\sum b_i)^2=
    (\sum a_i b_i)^2+(A_{12}+A_{34})^2+(A_{13}-A_{24})^2+(A_{14}+A_{23})^2
    and it is well known ( easily checked) that the last term on the right vanish. This gives a formula of a product of sum of 4 squares as a sum of four squares for the norm of quaternion.

    A similar formula holds for n=8 expressing a product of sum of 8 squares as a sum of 8 squares. The 28 $A_{ij}$ can be regrouped in fours into 7 squares.


  1. [Math] Links from the aggregator I found interesting | Math, Lifting, Musings
  2. Why Is 290 Special? | Gödel's Lost Letter and P=NP
  3. Cancellation is a Pain | Gödel's Lost Letter and P=NP

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s