Historically, there has been some confusion over what it means for a short, fat matrix to have Welch-bound equality. There are actually some useful characterizations that come out of all of this, so bear with me as I go through a few frame-theoretic definitions:
In finite dimensions, a frame is a short, fat matrix which is full rank. The extreme singular values (squared) are called the frame bounds, and having nearly equal frame bounds corresponds to being well-conditioned, which is a beneficial property in the real world. The most well-conditioned frame is called a tight frame, which has the defining property that
(i) the rows are equal-norm and orthogonal.
Tight frames are useful because they give a redundant linear encoding of a signal that allows for painless recovery: , where is the common squared-norm of the rows. Constructing tight frames is rather simple: perform Gram-Schmidt on the rows of any frame to orthogonalize them with equal norms. For the sake of democracy in the entries of the encoding , some applications opt for a unit norm tight frame (UNTF), which has the additional property that
(ii) the columns are unit-norm.
Constructing UNTFs has proven a bit more difficult, and there’s been a lot of research to characterize these. As an example, taking any rows from a discrete Fourier transform matrix (and normalizing the resulting columns) will produce a UNTF since all of the entries have the same modulus. Finally, it is often beneficial to have the columns of be incoherent, and this occurs when is an equiangular tight frame (ETF), that is, a UNTF with the final property that
(iii) the inner products between distinct columns have equal size.
ETFs don’t exist for all matrix dimensions, and there are very few general constructions to date. Some of the biggest open problems in frame theory concern ETFs, but we’ll have to leave those for another post.
Now, there are two types of short, fat matrices that people like to call Welch-bound equality sequences: UNTFs and ETFs. As you’d expect, each one achieves equality in an important inequality, so let’s go over them. Here, we consider short, fat matrices which have (ii), but not necessarily (i) or (iii). As such, might not even be a frame, but we can still take the Hilbert-Schmidt norm of the Gram matrix of its columns:
This is often called the frame potential, and its significance will become apparent shortly. Since the columns of have unit norm, and since has at most nonzero eigenvalues, we have
where the inequality follows from Cauchy-Schwarz with the all-ones vector. As such, equality is achieved if and only if the largest eigenvalues of are equal; since these are also the eigenvalues of , this implies that is a multiple of the identity, and so satisfies (i). Thus, the frame potential of satisfies , with equality if and only if is a UNTF. Some people call this the Welch bound, and therefore say that UNTFs have Welch-bound equality.
But there’s another bound out there that other people call the Welch bound, and its derivation actually uses the previous one. It concerns the worst-case coherence of a short, fat matrix that satisfies (ii):
Since the columns of have unit norm, we have
Again, equality is achieved in the first inequality if and only if satisfies (i). Also, equality is achieved in the second inequality if and only if satisfies (iii). Rearranging gives the following bound:
with equality if and only if is an ETF.
So which is actually the Welch bound? To resolve this, I defer to L.R. Welch’s original theorem statement:
Theorem (Welch bound). For every positive integer ,
As you can see, Welch actually gave an entire family of bounds, but they weren’t on the frame potential—they were on the worst-case coherence. In fact, the case of Welch’s theorem is precisely the worst-case coherence bound we found above. Therefore, it is probably more accurate to refer to ETFs as Welch-bound equality sequences, but I prefer to just call them ETFs.
As a side note, it is well known that ETFs must have in the real case and in the complex case, and there are multiple proofs of these facts. What is probably less known is that the bound in the complex case can be derived using Welch bounds. (I just figured this out!) Indeed, for every fixed , if we let grow, then the Welch bound for will at some point exceed the bound for , meaning equality in the bound is no longer achievable. This occurs as soon as
Raising both sides to the 4th power and rearranging then gives
Since , this means that ETFs cannot exist whenever , as claimed.