The Birkhoff theorem for unitary matrices of arbitrary dimensions

Abstract: It was shown recently that Birkhoff's theorem for doubly stochastic matrices can be extended to unitary matrices with equal line sums whenever the dimension of the matrices is prime. We prove a generalization of the Birkhoff theorem for unitary matrices with equal line sums for arbitrary dimension.

\section{Introduction}\label{section:intro}
Let $M$ be an arbitrary $n \times n$ doubly-stochastic matrix.  Hence, each matrix entry $M_{jk}$ is a real number satisfying
$0 \le M_{jk} \le 1$ and each line sum, both $\sum_j M_{jk}$  and $\sum_k M_{jk}$ equal 1.  Then, the Birkhoff theorem \cite{birkhoff} tells us that $M$ can be written as a weighted sum of the $n!$ permutation matrices $P_m$ of dimension~$n$:
\begin{equation}
M = \sum_m c_m P_m
\end{equation}
such that all coefficients $c_m$ are real and satisfy $0 \le c_m \le 1$ and $\sum_m c_m~=~1$.

Let $U$ be an arbitrary $n \times n$ unitary matrix, such that each line sum equals~1, i.e.\
$\sum_j U_{jk}=1$ and $\sum_k U_{jk}=1$.  Then, De Vos and De Baerdema\-cker \cite{unitarybirkhoff} conjectured that $U$ can be written as a weighted sum of the $n!$ permutation matrices $P_m$ of dimension~$n$:
\begin{equation}
U = \sum_m c_m P_m
\end{equation}
such that all coefficients $c_m$ are complex and satisfy both $\sum_m c_m = 1$ and $\sum_m |c_m|^2 = 1$.  They proved this fact for the case of prime~$n$.  In the present paper we demonstrate that the conjecture, which we will refer to as ``Conjecture 1'', is also valid for composite~$n$.

Before investigating the mathematics of the proof of Conjecture 1, we stress here three important differences between the `classical' Birkhoff theorem and the present `unitary' Birkhoff theorem:
\begin{itemize}
\item Whereas  the $n \times n$ doubly stochastic matrices form an $(n-1)^2$-dimensional semigroup, the $n \times n$ unit-linesum unitary matrices form an  $(n-1)^2$-dimensional group, isomorphic to the unitary group U($n-1$)
      and denoted XU($n$) \cite{xuzu}.

\item The unitary theorem is `stricter' than the classical theorem, in the sense that $\sum_m |c_m|^2 = 1$ implies $0 \le |c_m| \le 1$ for all~$m$, whereas  $0 \le |c_m| \le 1$ for all~$m$ does not necessarily imply $\sum_m |c_m|^2 = 1$.
\item Let X($n$) be the $2(n-1)^2$-dimensional group of all invertible $n \times n$ matrices with complex entries and all line sums equal to~1.  The $(n-1)^2$-dimensional group XU($n$) is a compact subgroup of X($n$).  Also the $(n-1)^2$-dimensional semigroup DS($n$) of $n \times n$ doubly stochastic matrices resides within X($n$).  The intersection of the two subsets XU($n$) and DS($n$) consists of the finite (and thus 0-dimensional) group of $n \times n$ permutation matrices. Proof is in \ref{appendix:polytopes}.  Let $P$ and $Q$ be two arbitrary $n \times n$ permutation matrices.  The classical Birkhoff interpolation $(1-c)P + cQ$ with $c$ real and $0 \le c \le 1$ is a line segment in the $(n-1)^2$-dimensional space of DS($n$), constituting an edge of the so-called Birkhoff polytope \cite{bengtsson}.  In contrast, the quantum Birkhoff interpolation $(1-c)P + cQ$ with $c$ complex and $|c|^2 + |1-c|^2 = 1$  is a closed line in the compact $(n-1)^2$-dimensional space of XU($n$).  The line segment and the closed curve have only the points $P$ and $Q$ in common.  This also implies that the classical Birkhoff theorem is not a corollary of the unitary Birkhoff theorem.
\end{itemize}
The following sections are devoted to the proof and discussion of Conjecture 1 on the unitary Birkhoff theorem.  Section \ref{section:shur} recapitulates necessary basic ideas from representation theory, and sections \ref{section:birkhoff} \& \ref{section:explicit} present the proof of Conjecture 1.  Sections \ref{section:birkhoff} and \ref{section:explicit} are different in the sense that the former gives an existence proof, whereas the latter presents an explicit construction based on the proof.  We conclude the paper with a couple of examples in section \ref{section:examples}, and give our conclusions in section \ref{section:conclusion}.
\section{Schur decomposition of the permutation matrices}\label{section:shur}
The set of permutation matrices $\{P_\sigma|\sigma\in S_n\}$ forms a reducible representation of $S_n$.  It is straightforward to show that it decomposes into a direct sum of the trivial and standard representation,
\begin{equation}
P = D^{(0)} \oplus D^{(s)},
\end{equation}
by means of a similarity transformation with the $n$-dimensional Fourier matrix $F_n$.  The permutation matrices $P_\sigma$ form a discrete subgroup of XU$(n)$, and can therefore be brought into block diagonal form by means of \cite{negator}
\begin{equation}
F^\dag_n P_\sigma F_n=\left(\begin{array}{cc}1 & 0 \\ 0 & D^{(s)}(\sigma)\end{array}\right),\label{schur:FPF}
\end{equation}
with the trivial representation $D^{(0)}(\sigma)=1$ ($\forall\sigma\in S_n)$ on the upper-left block, and an $(n-1)$-dimensional representation $D^{(s)}$ on the lower-right block.  The latter representation can be identified with the so-called \emph{standard} (irreducible) representation for three reasons.  First, the representation is faithful, because the set of permutation matrices forms a faithful representation and $F_n$ is unitary.  Second, the representation is irreducible thanks to the orthogonality theorem on the characters of irreducible representations (see \ref{appendix:orthogonality})  \cite{hamermesh}.  Third, the characters of the irrep depend on the number of invariant points in the permutation ($\sigma(k)=k$), typical for the standard representation.
 As an example, we explicitly construct the standard representation of $S_3$ by means of the formula in eq. (\ref{schur:FPF}).  The permutation matrices $\{P_\sigma\}$ in $S_3$ are given by

\begin{align}
 &P_{0}=\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{array}\right),\  P_{(123)}=\left(\begin{array}{ccc} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0\end{array}\right),\  P_{(132)}=\left(\begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0\end{array}\right),\\
 &P_{(12)}=\left(\begin{array}{ccc} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1\end{array}\right),\  P_{(13)}=\left(\begin{array}{ccc} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0\end{array}\right),\  P_{(23)}=\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0\end{array}\right),\notag
\end{align}
and the Fourier transform $F_3$ is given by (with $\omega^3=1)$
\begin{equation}\label{schur:fourier}
F_3=\frac{1}{\sqrt{3}}\left(\begin{array}{ccc} 1 & 1 & 1 \\ 1 & \omega & \omega^2 \\ 1 & \omega^2 & \omega\end{array}\right),
\end{equation}
so the standard representation becomes
\begin{align}
 &D^{(s)}(0)=\left(\begin{array}{ccc} 1 & 0 \\ 0 & 1 \end{array}\right),\  D^{(s)}(123)=\left(\begin{array}{cc} \omega^2 & 0 \\ 0 & \omega \end{array}\right),\ D^{(s)}(132)=\left(\begin{array}{cc} \omega & 0 \\ 0 & \omega^2 \end{array}\right)\notag\\
 &D^{(s)}(12)=\left(\begin{array}{cc} 0 & \omega^2  \\ \omega & 0 \end{array}\right),\ D^{(s)}(13)=\left(\begin{array}{cc} 0 & \omega \\ \omega^2 & 0 \end{array}\right),\  D^{(s)}(23)=\left(\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}\right).\label{schur:Ds3}
\end{align}
Note that the characters of the standard representation indeed correspond with the character table of $S_3$ (see table \ref{table:charactertables3}).
\begin{table}[!htb]
\begin{center}
\begin{tabular}{l|rrr}
 & $(1^3)$ & $(2,1)$& $(3)$\\
 \hline
$D^{(0)}$ & $1$ & $1$ & $1$ \\
$D^{(-)}$ & $1$ & $-1$ & $1$ \\
$D^{(s)}$ & $2$ & $0$ & $-1$
\end{tabular}
\caption{Character table of $S_3$ \cite{hamermesh}.  The conjugacy classes are labeled by their Young tableaux, and the irreps are the trivial irrep $D^{(0)}$, the sign irrep $D^{(-)}$ and the standard irrep $D^{(s)}$.  }\label{table:charactertables3}
\end{center}
\end{table}
\section{Birkhoff's theorem for unitary matrices}\label{section:birkhoff}
The existence proof of the unitary Birkhoff theorem is a corollary of two theorems, the first being provided by some of us \cite{unitarybirkhoff} and the second by Klappenecker \& R\"otteler \cite{klappenecker}.
\begin{theorem}[De Vos \& De Baerdemacker \cite{unitarybirkhoff}]\label{theorem:dvdb}
If a matrix belongs to XU$(n)$, then it can be written as a weighted sum of
permutation matrices with the sum of the weights equal to 1.
\end{theorem}
This theorem was proven by induction in \cite{unitarybirkhoff}.  Before phrasing the second theorem, we need to introduce the concept of a \emph{group-circulant} matrix of a finite group $G$ of order $d$, associated to a vector $|c\rangle\in\mathbb{C}^d$.  Assume a one-to-one mapping between the elements $g\in G$ and the components $c_g$ of the vector $|c\rangle$, then the $(d\times d)$-matrix
\begin{equation}
\textrm{circ}_G(|c\rangle):=(c_{g^{-1}h})_{g,h\in G}
\end{equation}
is called the group-circulant for the group $G$, associated to $|c\rangle$.  The second theorem now states
\begin{theorem}[Klappenecker \& R\"otteler \cite{klappenecker}]\label{theorem:kr} Let $D$ be a matrix representation of a finite group $G$ ($g\rightarrow D(g)$).  If a unitary matrix $A$ can be expressed as linear combination
\begin{equation}
A=\sum_{g\in G}c_gD(g),\qquad c_g\in\mathbb{C},
\end{equation}
then the coefficients $c_g$ of the vector $|c\rangle$ can be chosen such that the associated group-circulant matrix is also unitary.
\end{theorem}
These two theorems essentially prove the Birkhoff theorem for unitary matrices of arbitrary dimensions.  Indeed, the permutation matrices form a matrix representation of the symmetric group for any dimension.  Theorem \ref{theorem:dvdb} ensures that any matrix $X\in\textrm{XU}(n)$ can be expressed as a linear combination of the permutation matrices
\begin{equation}
X=\sum_{\sigma\in S_n}c_\sigma P_\sigma,
\end{equation}
so the two prerequisites of Theorem \ref{theorem:kr} are met.  Therefore, one can choose the vector $|c\rangle$ such that its associated group circulant matrix $\textrm{circ}_{S_n}(|c\rangle)$ is unitary.    More specific, this implies that $|c\rangle$ can be chosen such that
\begin{equation}
\sum_{\sigma\in S_n}|c_\sigma|^2=1.
\end{equation}
This essentially proves our Conjecture 1 on the Birkhoff theorem for unitary matrices.  However, we will go one step further and present explicit expressions for the $c_\sigma$ coefficients in Theorem \ref{theorem:explicit} in the following section.

Before presenting Theorem \ref{theorem:explicit}, it is useful to recapitulate the key concepts in the proof of Theorem  \ref{theorem:kr} by Klappenecker \& R\"otteler \cite{klappenecker}.  The proof relies entirely on the Schur orthonormality of the irreps of finite groups.  Just like in the previous paper \cite{unitarybirkhoff}, it is most instructive to consider the $n=3$ example before illustrating the general case.  The claim is that any $X\in\textrm{XU}(3)$ can be written as
\begin{equation}\label{birkhoff:X3}
X=\sum_{\sigma\in S_3}c_\sigma P_\sigma.
\end{equation}
with $\sum_{\sigma\in S_3}c_\sigma=1$ and $\sum_{\sigma\in S_3}|c_{\sigma}|^2=1$.  Performing a similarity transformation with the $F_3$ Fourier matrix of eq.\ (\ref{schur:fourier}) on the lhs and rhs of eq.\ (\ref{birkhoff:X3}) gives rise to
\begin{equation}\label{birkhoff:FX3F}
\left(\begin{array}{cc}1 & 0 \\
                        0 & U^{(s)} \end{array}\right)=\sum_{\sigma\in S_3}c_\sigma \left(\begin{array}{cc}1 & 0 \\
                        0 & D^{(s)}(\sigma) \end{array}\right),
\end{equation}
with $U^{(s)}\in U(2)$, and the standard representation $D^{(s)}(\sigma)$ of $S_3$ given by the matrices (\ref{schur:Ds3}).  By equating all matrix elements explicitly, this gives rise to the following set of (five) equations
\begin{align}
1&=c_0+c_{(123)}+c_{(132)}+c_{(12)}+c_{(13)}+c_{(23)},\label{birkhoff:FX3Feq1}\\
U^{(s)}_{11}&=c_0+\omega^2 c_{(123)}+\omega c_{(132)},\\
U^{(s)}_{22}&=c_0+\omega c_{(123)}+\omega^2 c_{(132)},\\
U^{(s)}_{12}&=c_{(23)}+ \omega^2 c_{(12)}+\omega c_{(13)}, \\
U^{(s)}_{21}&=c_{(23)}+ \omega c_{(12)}+\omega^2 c_{(13)}\label{birkhoff:FX3Feq5}.
\end{align}
Note that the first equation $1=\sum_{\sigma}c_{\sigma}$ confirms Theorem \ref{theorem:dvdb}.  The linear set of equations contains six variables, so one needs one additional equation to find a closed solution.  Remark that the sign representation $D^{(-)}(\sigma)$ is the only irrep missing in eq.\ (\ref{birkhoff:FX3F}).  Indeed, one can augment the $3\times 3$ matrix equality to a $4\times 4$ matrix equality by adding the sign representation $D^{(-)}(\sigma)$ on the diagonal
\begin{equation}\label{birkhoff:FX3F+}
\left(\begin{array}{ccc}1 & 0 & 0\\
                        0 & U^{(s)} & 0 \\
                        0 & 0 & e^{i\phi} \end{array}\right)=\sum_{\sigma\in S_3}c_\sigma \left(\begin{array}{ccc}D^{(0)}(\sigma) & 0 & 0 \\
                        0 & D^{(s)}(\sigma) & 0 \\
                        0 & 0 & D^{(-)}(\sigma) \end{array}\right),
\end{equation}
where we have used that $1=D^{(0)}(\sigma)$ for all $\sigma$, and $e^{i\phi}\in U(1)$ is an arbitrary $1\times 1$ unitary matrix.  This extra equation reads
\begin{equation}
e^{i\phi}=c_0+c_{(123)}+c_{(132)}-c_{(12)}-c_{(13)}-c_{(23)}\label{birkhoff:FX3Feq6}.
\end{equation}
Solving eqs.\ (\ref{birkhoff:FX3Feq1}-\ref{birkhoff:FX3Feq5},\ref{birkhoff:FX3Feq6}) for $c_\sigma$, we obtain
\begin{align}
c_0&=\tfrac{1}{3}[\tfrac{1}{2}(1+e^{i\phi})+U^{(s)}_{11}+U^{(s)}_{22}]\\
c_{(123)}&=\tfrac{1}{3}[\tfrac{1}{2}(1+e^{i\phi})+\omega U^{(s)}_{11}+\omega^2U^{(s)}_{22}]\\
c_{(132)}&=\tfrac{1}{3}[\tfrac{1}{2}(1+e^{i\phi})+\omega^2 U^{(s)}_{11}+\omega U^{(s)}_{22}]\\
c_{(23)}&=\tfrac{1}{3}[\tfrac{1}{2}(1-e^{i\phi})+U^{(s)}_{12}+U^{(s)}_{21}]\\
c_{(12)}&=\tfrac{1}{3}[\tfrac{1}{2}(1-e^{i\phi})+\omega U^{(s)}_{12}+\omega^2U^{(s)}_{21}]\\
c_{(13)}&=\tfrac{1}{3}[\tfrac{1}{2}(1-e^{i\phi})+\omega^2 U^{(s)}_{12}+\omega U^{(s)}_{21}].
\end{align}
Taking into account that $U^{(s)}$ is unitary, it is straightforward to verify that $\sum_\sigma |c_\sigma|^2=1$, which again proves the unitary Birkhoff theorem for $n=3$.  Note that the choice $\phi=0$ coincides exactly with the choice $p=1$ in \cite{unitarybirkhoff}.  More generally, the correspondence between the present solution and the one presented in \cite{unitarybirkhoff}, is $p=\frac{1}{2}(1+e^{i\phi})$, coinciding with the observation that $p$ had to lie on a circle in the complex plane with radius $\frac{1}{2}$ and center $\frac{1}{2}$.

For the proof of the general case, we proceed in a similar manner.  Theorem \ref{theorem:dvdb} states that any $X\in\textrm{XU}(n)$ can be written as
\begin{equation}
X=\sum_{\sigma\in S_n}c_{\sigma}P_\sigma.
\end{equation}
Applying the similarity transform with the $F_n$ Fourier transform, we obtain
\begin{equation}
\left(\begin{array}{cc}1 & 0 \\
                        0 & U^{(s)} \end{array}\right)=\sum_{\sigma\in S_n}c_\sigma \left(\begin{array}{cc}D^{(0)}(\sigma) & 0 \\
                        0 & D^{(s)}(\sigma) \end{array}\right),
\end{equation}
with $U^{(s)}\in\textrm{U}(n-1)$.  This results in a set of $(n-1)^2+1$ equations with $n!$ variables $c_\sigma$, so we need $n!-(n-1)^2-1$ more equations to find a closed solution via linear algebra.  Now, one can augment the $n\times n$ matrix with all other possible irreps $D^{(\nu)}$ of $S_n$ on the (block) diagonal in the rhs summation, and arbitrary $n_\nu$ dimensional unitary matrices $U^{(\nu)}\in \textrm{U}(n_\nu)$ on the corresponding (block) diagonal parts in the lhs, with $n_\nu$ the dimension of irrep $D^{(\nu)}$
\begin{equation}
\left(\begin{array}{cccc}1 &  & & \\
                         & U^{(s)} & & \\
                         &  & U^{(2)} & \\
                         &  &    & \ddots \end{array}\right)=\sum_{\sigma\in S_n}c_\sigma \left(\begin{array} {cccc}D^{(0)}(\sigma) &  &  & \\
                         & D^{(s)}(\sigma) &  & \\
                         &  & D^{(2)}(\sigma) & \\
                         &  &  &  \ddots \end{array}\right).\label{birkhoff:regularrep}
\end{equation}
The resulting matrix has dimension $d(n)=\sum_{\nu=0}^{k-1}n_\nu$ with $k$ the number of conjugacy classes of $S_n$, i.e., the number of partitions of integer $n$ \cite{integersequence:a000041}.  The number $d(n)$ equals the number of involutions on $n$ objects and is tabulated in \cite{integersequence:a000085}.  The augmented matrices in the rhs summation in (\ref{birkhoff:regularrep}) form again a reducible representation, known as the \emph{regular} representation \cite{burrow}.  We will label the standard representation $D^{(s)}=D^{(1)}$ from now on for the sake of notation.

The key observation is that there are as many irrep matrix elements $D^{(\nu)}_{ij}(\tau)$ ($\nu=0,\dots, k-1$ \& $i,j=1,\dots n_\nu$) for any $\tau\in S_n$ as there are group elements $\sigma$ in $S_n$.  Therefore, $D^{(\nu)}_{ij}(\sigma)$ can be regarded as a matrix element of an $n!\times n!$ matrix $D$ with indices $\{\nu,i,j\}$ for the ``rows'' and $\sigma$ for the ``columns''.  Due to Schur's orthogonality theorems,
\begin{align}
n_\nu\sum_{\sigma\in S_n} D^{(\nu)\ast}_{ij}(\sigma) D^{(\mu)}_{lm}(\sigma)&=n!\delta_{\mu\nu}\delta_{il}\delta_{jm}\label{birkhoff:schurortho1}\\
\sum_{\nu=0}^{k-1}n_\nu\sum_{ij=1}^{n_\nu}D^{(\nu)\ast}_{ij}(\sigma)D^{(\nu)}_{ij}(\tau)&=n!\delta_{\sigma\tau}\label{birkhoff:schurortho2}
\end{align}
it follows directly that the (rescaled) matrix $\tilde{D}$ is a unitary matrix, with $\tilde{D}_{ij}^{(\nu)}(\sigma)=\sqrt{\frac{n_\nu}{n!}}D_{ij}^{(\nu)}(\sigma)$.  This means that the set of $n!$ equations
\begin{equation}
U^{(\nu)}_{ij}=\sum_{\sigma\in S_n}c_\sigma D^{(\nu)}_{ij}(\sigma),\quad \forall \nu,i,j,
\end{equation}
extracted from the block diagonals of eq. (\ref{birkhoff:regularrep}) can be solved uniquely by inverting the non-singular matrix $D$.  This is exactly what has been done in Theorem \ref{theorem:explicit} in the following section to construct explicit expressions for the coefficients $c_\sigma$ in the Birkhoff summation.
\section{Explicit decomposition}\label{section:explicit}
\begin{theorem}\label{theorem:explicit}
Every matrix $X\in XU(n)$ can be written as a weighted sum of permutation matrices
\begin{equation}
X=\sum_{\sigma\in S_n} c_\sigma P_\sigma,\label{birkhoff:theorem3:decomposition}
\end{equation}
with the coefficients $c_\sigma$ given by
\begin{align}
c_\sigma&=\frac{1}{n!}\sum_{\nu}n_\nu\sum_{ij=1}^{n_\nu}D_{ij}^{(\nu)\ast}(\sigma)U_{ij}^{(\nu)},\label{birkhoff:theorem3:c}\\
&=\frac{1}{n!}\sum_{\nu}n_\nu\emph{Tr}(D^{(\nu)\dag}(\sigma)U^{(\nu)})\label{birkhoff:theorem3:ctrace}
\end{align}
where the sum $\nu$ runs over all possible irreps $D^{(\nu)}$ of $S_n$, $n_\nu$ is the dimension of $D^{(\nu)}$, and $U^{(\nu)}\in U(n_\nu)$ is a unitary matrix associated to $D^{(\nu)}$.  All unitary matrices $U^{(\nu)}$ can be chosen arbitrarily, with the exception of $U^{(0)}=1\in U(1)$ and $U^{(1)}=U^{(s)}\in U(n-1)$ associated to respectively the trivial and standard representation, which are found by
\begin{equation}
F^\dag_n X F_n =\left(\begin{array}{cc} U^{(0)} & 0 \\ 0 & U^{(s)} \end{array}\right).\label{birkhoff:theorem3:FXF}
\end{equation}
In addition, the sum of the moduli squared equals 1
\begin{equation}
\sum_{\sigma\in S_n}|c_\sigma|^2 =1.\label{birkhoff:theorem2:c2}
\end{equation}
\end{theorem}
The proof goes by straightforward application of Shur's orthogonality relations.  First, we verify that eq.\ (\ref{birkhoff:theorem3:FXF}) holds when the $c_\sigma$ coefficients are taken as in expression (\ref{birkhoff:theorem3:ctrace}) (from which $X$ follows directly by means of the similarity transform $F_n(F^\dag_nXF_n)F^\dag_n=X$.).  Because of the Schur decomposition (\ref{schur:FPF}) of the permutation matrices $P_\sigma$, $F^\dag_n X F_n$ is also block diagonal.  We first investigate the upper left matrix element
\begin{equation}
(F^\dag_n X F_n )_{11}=\sum_{\sigma\in S_n}c_\sigma(F^\dag_n P_\sigma F_n )_{11}=\sum_{\sigma\in S_n}c_\sigma D^{(0)}_{11}(\sigma)\label{birkhoff:theorem3:upperleft}
\end{equation}
in which we prefer to keep the explicit notation for the trivial representation $D^{(0)}_{11}(\sigma)=1$ in the Schur decomposition of the permutation matrices (\ref{schur:FPF}).  We now insert the explicit expression (\ref{birkhoff:theorem3:ctrace}) for $c_\sigma$ in (\ref{birkhoff:theorem3:upperleft}) and rearrange the summation
\begin{equation}
(F^\dag_n X F_n )_{11}=\frac{1}{n!}\sum_{\nu}n_\nu\sum_{ij=1}^{n_\nu}U_{ij}^{(\nu)}\sum_{\sigma\in S_n}D_{ij}^{(\nu)\ast}(\sigma)D^{(0)}_{11}(\sigma)=U^{(0)}_{11},
\end{equation}
where the Schur orthogonality relation (\ref{birkhoff:schurortho1}) has been used in the last step.  Because $U^{(0)}\equiv1$ in the present theorem, we get that the upper left element of $F^\dag_n X F_n$ equals 1.  The other matrix elements can be obtained analogously from Schur's orthogonality relation (\ref{birkhoff:schurortho1})
\begin{equation}
(F^\dag_n X F_n )_{lm}=U^{(1)}_{l-1,m-1}\equiv U^{(s)}_{l-1,m-1},\qquad \forall l,m=2,\dots, n.
\end{equation}

The compactness of the $c_\sigma$ coefficients (\ref{birkhoff:theorem2:c2}) can also be proven similarly
\begin{align}
\sum_{\sigma\in S_n}|c_\sigma|^2&=\sum_{\sigma\in S_n}c_\sigma c_\sigma^\ast\\
&=\frac{1}{n!^2}\sum_{\nu\mu}n_\nu n_\mu \sum_{ij=1}^{n_\nu}\sum_{lm=1}^{n_\mu}U_{ij}^{(\nu)}U_{lm}^{(\mu)\ast}\sum_{\sigma\in S_n}D_{ij}^{(\nu)\ast}(\sigma)D_{lm}^{(\mu)}(\sigma)\\
&=\frac{1}{n!}\sum_{\nu}n_\nu \sum_{ij=1}^{n_\nu}U_{ij}^{(\nu)}U_{ij}^{(\nu)\ast}\\
&=\frac{1}{n!}\sum_{\nu}n_\nu \textrm{Tr}(U^{(\nu)}U^{(\nu)\dag}).
\end{align}
Because $U^{(\nu)}$ are unitary, we have that $\textrm{Tr}(U^{(\nu)}U^{(\nu)\dag})=n_\nu$, so
\begin{equation}
\sum_{\sigma\in S_n}|c_\sigma|^2=\frac{1}{n!}\sum_{\nu}n_\nu^2=1.
\end{equation}
This completes the proof.

Theorem \ref{theorem:explicit} allows for a large freedom of choice, associated with all unitary matrices $U^{(\nu)}$ ($\nu>1$) that can be chosen arbitrarily.  As an example, we investigate the choice $U^{(\nu)}$ (for $\nu >1$) equal to $D^{(\nu)}(\tau)$, where $\tau$ is one particular permutation, i.e.\ a particular member of $S_n$. Eq.\ (\ref{birkhoff:theorem3:ctrace}) thus becomes
\begin{align}
c_{\sigma}
& =\frac{1}{n!}\ \sum_{\nu=0}^{k-1} n_{\nu} \mbox{Tr} \left(D^{(\nu)}(\sigma)^\dag D^{(\nu)}(\tau)\right)\notag\\
&\quad- \frac{n_1}{n!}\mbox{Tr} \left(D^{(1)}(\sigma)^\dag D^{(1)}  (\tau)\right)+ \frac{n_1}{n!} \mbox{Tr} \left(D^{(1)}  (\sigma)^\dag U^{(1)}        \right).
\end{align}
Taking into account that $n_1=n-1$, $D^{(1)}(\sigma)^\dag=D^{(1)}(\sigma^{-1})$, and that the first term in the equation is Shur's orthogonality relation, we obtain
\begin{equation}
c_{\sigma} = \delta_{\sigma\tau} - \frac{n-1}{n!}\ \chi^{(1)}(\sigma^{-1} \tau)
             + \frac{n-1}{n!}\ \mbox{Tr} \left( D^{(1)}(\sigma^{-1}) U^{(1)} \right).\label{explicit:cstandardirrep}
\end{equation}
For instance, substituting $n=3$ and $\tau=(0)$ the identity, we immediately recover (19-24) with $\phi=0$.

Note that in contrast to eq.\ (\ref{birkhoff:theorem3:ctrace}), only the standard representation $D^{(s)}$ occurs in the expression (\ref{explicit:cstandardirrep}) for the $c_\sigma$ coefficient.  From a practical point of view, this is very convenient because the standard representation can quickly be obtained by reducing the $n$-dimensional permutation representation (\ref{schur:FPF}).  Hence, no other representations need to be constructed from other means.

If $n>3$, then another elegant choice is possible.  Again, we choose $U^{(\nu)}=D^{(\nu)}(\tau)$, however, now with \emph{two} exceptions: both $U^{(s)}=U$ and $U^{(a)}=U$. Here, $U^{(s)}$ corresponds, in (\ref{birkhoff:regularrep}), with the standard representation $D^{(s)}$ of dimension $n-1$, whereas $U^{(a)}$ corresponds with the other $(n-1)$-dimensional representation $D^{(a)}$ in (\ref{birkhoff:regularrep}), which we will call the `anti-standard' representation.  The anti-standard representation of $S_n$ consists of the same matrices as the standard representation, except for a minus sign in case of an odd permutation\footnote{Also for $n=2$ and $n=3$ an anti-standard representation exists. However, for $n=2$, the anti-standard representation equals the trivial representation and for $n=3$,  the anti-standard representation is equivalent to the standard representation:
                     \[
                     D^{(a)}(\sigma) =
                     {\tiny \left( \begin{array}{cc} 1 & \\ & -1 \end{array} \right)}
                     \ D^{(s)}(\sigma)\
                     {\tiny \left( \begin{array}{cc} 1 & \\ & -1 \end{array} \right)}.
                     \]
                    }.
Now, eq.\ (\ref{birkhoff:theorem3:ctrace}) becomes
\begin{align}
c_{\sigma}
 = \delta_{\sigma\tau}&- \frac{n-1}{n!}\chi^{(s)}(\sigma^{-1}\tau)
+ \frac{n-1}{n!}\mbox{Tr} \left(D^{(s)}  (\sigma^{-1}) U^{(1)}        \right)\notag \\
&
- \frac{n-1}{n!}\chi^{(a)}(\sigma^{-1}\tau)+ \frac{n-1}{n!}\mbox{Tr} \left(D^{(a)}  (\sigma^{-1}) U^{(1)}        \right).
\end{align}
Restricting ourselves to the obvious choice $\tau=(0)$, we obtain,
\begin{equation}
c_{\sigma} = \left\{\begin{array}{ll}\delta_{\sigma 0}
             - 2 \ \frac{n-1}{n!}\ \chi^{(s)}(\sigma)
             + 2 \ \frac{n-1}{n!}\ \mbox{Tr} \left( D^{(s)}(\sigma^{-1}) U \right), & \sigma\ \mbox{even}\\
             0,&\sigma\ \mbox{odd.}\end{array}\right.\label{birkhoff:decomposition:even}
\end{equation}

Yet another choice is $U^{(s)}=U$ and $U^{(a)}=-U$. It yields
\begin{equation}
c_{\sigma} = \delta_{\sigma 0}
             - 2 \ \frac{n-1}{n!}\ \chi^{(s)}(\sigma)
\end{equation}
for even $\sigma$ and
\begin{equation}
c_{\sigma} =   2 \ \frac{n-1}{n!}\ \mbox{Tr} \left( D^{(s)}(\sigma^{-1}) U \right)
\end{equation}
for odd $\sigma$.  Again, only the standard representation $D^{(s)}$ is required.
\section{Examples}\label{section:examples}
We now present two examples for the non-prime $n=4$ case.  In the framework of quantum multiports \cite{mattle}, it is important to synthesize $n \times n$ matrices with all entries having the same modulus (and thus modulus equal to $1/\sqrt{n}$).  As an example, we consider the XU(4) matrix
\begin{equation}
X =
\frac{1}{2}\ \left( \begin{array}{rrrr}
 1 & -i &  1 &  i \\
 1 &  1 & -1 &  1 \\
 1 &  i &  1 & -i \\
-1 &  1 &  1 &  1    \end{array} \right) \ .
\end{equation}
Up to phase changes, it equals the $4 \times 4$ Fourier transform.  Indeed:
\begin{equation}
\left( \begin{array}{rrrr}
 1 &   &   &    \\
   & 1 &   &    \\
   &   & 1 &    \\
   &   &   & -1 \end{array} \right) \ X \
\left( \begin{array}{rrrr}
 1 &   &   &    \\
   & i &   &    \\
   &   & 1 &    \\
   &   &   & -i \end{array} \right) = F_4\ .
\end{equation}

Applying (\ref{birkhoff:decomposition:even}) to $X$ yields, besides the twelve zero coefficients for the odd permutation matrices, the following weights for the twelve even permutation matrices:
\begin{equation}
\frac{1}{8}\ \{4, -1-i, 1+i, 2-2i, -1-i, -1-i, 1+i, -1-i, 4, 1+i, 1+i, -2+2i\} \ ,
\end{equation}
satisfying $\sum_{\sigma}\, c_{\sigma} = \sum_{\sigma}\, |c_{\sigma}|^2 = 1$.

Because a $4 \times 4$ permutation matrix is also an XU(4) matrix, we can e.g.\ apply (\ref{birkhoff:decomposition:even}) to the odd permutation matrix
\begin{equation}
 \left( \begin{array}{cccc}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 \\
0 & 0 & 1 & 0 \end{array} \right) \ ,
\end{equation}
resulting in a Birkhoff decomposition with even permutation matrices with weights
\begin{equation}
\frac{1}{4}\ \{2, 1, 1, 2, -1, -1, -1, 1, 0, -1, 1, 0\} \ .
\end{equation}
Again we have $\sum_{\sigma}\, c_{\sigma} = \sum_{\sigma}\, |c_{\sigma}|^2 = 1$.  It is remarkable that, for $n>3$, one can decompose any permutation, either even or odd, into a sum of only even permutation matrices.
\section{Conclusion}\label{section:conclusion}
Recently, we proved a Birkhoff theorem for unitary matrices of prime dimension \cite{unitarybirkhoff}.  In the present manuscript, we complete the proof of the theorem for unitary matrices of arbitrary dimension $n$.  The proof is based on a theorem by Klappenecker and R\"otteler \cite{klappenecker}, employing the Schur orthonormality of the representations of the permutation group $S_n$.  Furthermore, we present an explicit construction of the weight coefficients in the Birkhoff decomposition.  There is a freedom of choice in the explicit construction, allowing one to express the coefficients exclusively in terms of the known $(n-1)$-dimensional standard representation.  Remarkably, this leads to a decomposition of any unitary matrix, for $n>3$, into a weighted sum of only even permutation matrices.  It would be interesting to explore the freedom of choice inherent in the procedure in order to obtain different and possibly shorter Birkhoff decompositions.
\section*{Acknowledgements}
LC was supported by the NSF of China (Grant No.\ 11501024), and the Fundamental Research Funds for the Central Universities (Grant Nos.\ 30426401 and 30458601). LY was supported by NICT-A (Japan).

Mathematical Physics (math-ph); Quantum Physics (quant-ph)


Generalized Morse Wavelets as a Superfamily of Analytic Wavelets

Abstract: The generalized Morse wavelets are shown to constitute a superfamily that essentially encompasses all other commonly used analytic wavelets, subsuming eight apparently distinct types of analysis filters into a single common form. This superfamily of analytic wavelets provides a framework for systematically investigating wavelet suitability for various applications. In addition to a parameter controlling the time-domain duration or Fourier-domain bandwidth, the wavelet {\em shape} with fixed bandwidth may be modified by varying a second parameter, called $\gamma$. For integer values of $\gamma$, the most symmetric, most nearly Gaussian, and generally most time-frequency concentrated member of the superfamily is found to occur for $\gamma=3$. These wavelets, known as "Airy wavelets," capture the essential idea of popular Morlet wavelet, while avoiding its deficiencies. They may be recommended as an ideal starting point for general purpose use.

\section{Introduction}

Analytic wavelets---complex-valued time/frequency localized filters with vanishing support on negative frequencies---provide the basis for a powerful analysis of oscillatory signals, see e.g. \cite{lilly10-itit} and references therein.  In order to study time- and/or frequency-localized variability of a signal $x(t)$, the continuous wavelet transform
  \begin{equation}
\label{vectorwavetrans}
W_{\psi}(t ,s)  \equiv  \int_{-\infty}^{\infty} \frac{1}{s^n}\,
  \psi^*\left(\frac{\tau-t}{s}\right)\,x(\tau)\,d \tau
\end{equation}
is formed. This is seen as a set of bandpass operations with the scale normalization $n=1$, or as a set of projections with the normalization $n=1/2$, indexed by the scale parameter $s$.

A practical question is which wavelet to use and why.  In addition to the popular but only approximately analytic Morlet wavelet, a variety of analytic wavelets have been proposed, including the Cauchy-Klauder-Morse-Paul, Derivative of Gaussian,  lognormal or log Gabor, Shannon, and Bessel wavelets \cite{holschneider,mallat,knutsson94-itip,field87-josaa}.   However, this profusion of wavelet types serves as a barrier to acquiring the knowledge necessary to carry out practical applications.    In the absence of a suitable unifying theory for wavelet behaviors, the choice of a particular wavelet for a particular problem may even appear arbitrary.  As attempts  to address this, one may find in the literature very many examples of papers---frequently with overlapping content---in which different types of wavelets are applied to the same signal, in order to decide which wavelet is ``better'' in some sense.   The large effort spent on such case-by-case analyses underscores the need for a systematic and unified framework for understanding analytic wavelets and their properties.

Here we show that the generalized Morse wavelets  \cite{daubechies88-ip,bayram00-nnsp,olhede02-itsp,lilly09-itsp} effectively unify all wavelet types mentioned above, as well as the analytic filter and in a sense the complex exponentials themselves, as special cases within a single very broad family.  These wavelets are defined in the frequency domain as
\begin{equation}
\Psi_{\beta,\gamma}(\omega)= \int_{-\infty}^\infty \psi_{\beta,\gamma}(t) e^{-i\omega t}dt= U(\omega) \,a_{\beta,\gamma}\, \omega^\beta e^{-\omega^\gamma}
\label{morse}
\end{equation}
where $a_{\beta,\gamma}$  is a normalization constant, $U(\omega)$ is the unit step function, and $\beta$ and~$\gamma$ are two parameters controlling the wavelet form.\footnote{The generalized Morse wavelet have an additional degree of freedom, the {\em order} $k$, which permits the construction of families of increasingly oscillatory wavelets orthogonal to a chosen wavelet of the form (\ref{morse}), see e.g. \cite{olhede02-itsp}.  Such higher-order wavelets can be expressed as sums of wavelets the form (\ref{morse}) with different $\beta$ and~$\gamma$ values.  This degree of freedom, which is primarily useful in multiple-transform methods [e.g. \citen{bayram00-nnsp}], will not be pursued here.}     The decision of what wavelet to use is greatly simplified by examining the roles of $\beta$ and~$\gamma$ in controlling wavelet properties, as we undertake here, building on recent work \cite{lilly09-itsp}.

\begin{figure}[b!]
        \noindent\begin{center}\includegraphics[width=3.6in]{analytic-morsephase-ai.eps}\end{center}
        \caption{\footnotesize        Parameter space for the generalized Morse wavelet superfamily, with the Heisenberg area shaded over $\beta$ and~$\gamma$ on log-log axes.   Note that the Heisenberg area is undefined for $\beta\le 1/2$.      Thin solid lines are contours of the Heisenberg area from 0.5 to 0.55 with a spacing of 0.005.    In this log-log space, curves of constant duration $P_{\beta\gamma}\equiv\sqrt{\beta\gamma}$ are diagonal lines.  Values of $P_{\beta,\gamma}$ of 1/3, 1, 3, 9, and 27 are marked by the thick gray lines.  The dotted vertical lines mark the $\gamma=1$, $\gamma=2$, and $\gamma=3$ wavelet families.  The heavy solid line is the right-hand border to the localization region of \cite{olhede02-itsp}, with the left-hand border being at $\gamma=1$. A thin black line divides wavelets with positive skewness in the frequency domain (on the left) from those with negative skewness (on the right).  Circles mark the locations of wavelets shown in Fig.~\ref{morsies-time}.  Letters mark the locations of other wavelet or analytic filter families, with arrows denoting limits, as discussed in the text: ``L'' for the lognormal wavelets, ``C'' for the Cauchy wavelets, ``G'' for the Derivative of Gaussian wavelets, ``A'' for the Airy wavelets, ``$e$'' for complex exponentials, ``S'' for the Shannon wavelet,  ``a'' for the analytic filter, and ``B'' for the Bessel wavelet. }\label{analytic-morsephase}
\end{figure}\normalsize

\begin{figure*}[t!]
        \noindent\begin{center}\includegraphics[width=3.5in]{morsie_families_new.eps}
        \includegraphics[width=3.5in]{morsie_families_fourier.eps}\end{center}
        \caption{\footnotesize
Examples of the generalized Morse wavelets for 25 different $(\beta,\gamma)$ pairs, with time-domain wavelets $\psi_{\beta,\gamma}(t)$ on the left and frequency-domain wavelets $\Psi_{\beta,\gamma}(\omega)$ on the right. In both panels, the parameter ~$\gamma$  increases from left to right, while the parameter $\beta$ increases from  bottom to top.  Both parameters take on the values 1/3, 1, 3, 9, and 27, corresponding to integer powers of 3.  The duration $P_{\beta,\gamma}=\sqrt{\beta\gamma}$ is constant along diagonal lines, as indicated by alternating white and gray backgrounds, and increases from the lower left to the upper right in both panels.  For the time-domain wavelets, a thin solid line is the real part of the wavelet, a thin dashed line is the imaginary part, a heavy solid line is the modulus, a horizontal dotted line marks the zero axis, and vertical dotted lines mark $\pm P_{\beta,\gamma}$.  The time axis has been rescaled so that the duration $P_{\beta,\gamma}$ is the same width in each panel, and the wavelet magnitudes have been rescaled to obtain the same values at time $t=0$.  For the frequency-domain wavelets, a heavy solid line is the wavelet, a thin solid line is the Gaussian approximation, and a thin dash-dotted line is the quartic approximation obtained later from (\ref{freqexpand}) by neglecting the residual term in $f_{\beta,\gamma}(\omega)$.  A vertical dotted line marks the location of the peak frequency $\omega_{\beta,\gamma}$, which always occurs at the same position on account of a rescaling of the frequency axes.
}\label{morsies-time}
\end{figure*}\normalsize

The generalized Morse wavelets were introduced by Daubechies and Paul \cite{daubechies88-ip} as the eigenfunctions of a time/frequency localization operator, later examined in detail by \cite{olhede02-itsp}.  Their name reflects the fact that with  $\gamma=1$, these wavelets become equivalent to a solution to the Schr\"odinger equation examined by Morse \cite{morse29-pr}.  Their frequency-domain form is essentially that of the probability distribution known as a generalized gamma or Stacy distribution \cite{stacy62-ams,lienhard67-qam}.  This distribution has been rediscovered and re-examined multiple times \cite{hegyi99-iwmp}, and finds applications ranging from droplet physics \cite{hegyi99-iwmp} to econometrics \cite{zhang01-jecon} to communications \cite{sagias06-itwc,yacoub07-itvt}.    Consequently, the new results herein and in \cite{lilly09-itsp} regarding the generalized Morse wavelets are also relevant to the use of these functions as probability distributions.

All software associated with this paper is freely distributed to the community as a part of a MATLAB~toolbox, as described in the Appendix.

\section{Generalized Morse Wavelet Parameter Space}

By varying $\beta$ and~$\gamma$, the generalized Morse wavelets can take on a wide variety of forms, in addition to the rescaling by $s$ which dilates or compresses a given wavelet.  A map of generalized Morse wavelet parameter space is presented in Fig.~\ref{analytic-morsephase}.  The dots mark the locations of the illustrative wavelets shown in Fig.~\ref{morsies-time}, in which both time and frequency axes have been rescaled for presentational clarity.   The original derivation of generalized Morse wavelets, see \cite{daubechies88-ip,bayram00-nnsp,olhede02-itsp}, utilized the fact that they are eigenvalues of a time/frequency localization operator for $\gamma\ge 1$ and $\beta>(\gamma-1)/2$, which is the region to the right of the line $\gamma=1$ and to the left of the heavy black curve.  As the generalized Morse wavelets are essentially a probability distribution in the frequency domain, they can be associated with a coefficient of skewness, see eqn. (42) of \cite{lilly09-itsp}.  The thin black line in Fig.~\ref{morsies-time} is the location of vanishing frequency-domain skewness, with positive skewness to the left of this curve and negative skewness to the right.

The shaded quantity in Fig.~\ref{analytic-morsephase} is the Heisenberg area \cite{mallat}, a convenient and conventional measure of time/frequency concentration.  The Heisenberg area of a function $\psi(t)$ is defined as $A_\psi\equiv  \sigma_{t}\,\sigma_{\omega}$, where $\sigma_{t}$ and $\sigma_{\omega}$ are the time-domain and frequency-domain standard deviations, respectively; see e.g. (21) and (22) of \cite{lilly09-itsp} for definitions.  Exact expressions for the  generalized Morse wavelet standard deviations are given in \cite{lilly09-itsp}.    The Heisenberg area $A_{\beta,\gamma}$ of the generalized Morse wavelets decreases with increasing $\beta$ for fixed~$\gamma$. For $\beta\le\frac{1}{2}$, the generalized Morse wavelet temporal standard deviation $\sigma_{t}$ is unbounded, as is the  Heisenberg area.  In the vicinity of the zero-skewness curve, there is a minimum of the Heisenberg area that approaches its theoretical lower bound for the greatest possible degree of concentration at $A_{\beta,\gamma}=\frac{1}{2}$.  With increasing $\beta$ this curve approaches the line $\gamma=3$, corresponding to an important family of  wavelets identified by \cite{lilly09-itsp} as arising from an inhomogeneous Airy function and therefore called the {\em Airy wavelets}.

The wavelets in Fig.~\ref{morsies-time} become more oscillatory in the time domain, and therefore more narrow in the frequency domain, both from left to right as~$\gamma$ increases, and from bottom to top as $\beta$ increases.  The frequency-domain wavelets obtain a maximum value at the {\em peak frequency} $\omega_{\beta,\gamma} \equiv\left(  \beta/\gamma \right) ^{1 /\gamma}$, determined by the frequency at which the derivative of $\Psi_{\beta,\gamma}(\omega)$ with respect to $\omega$ vanishes, see \cite{lilly09-itsp}.    A key parameter is the rescaled second derivative of the frequency-domain wavelet evaluated at its peak frequency,\begin{equation}
P_{\beta,\gamma}^2\equiv-\frac{\omega_{\beta,\gamma}^2\Psi_{\beta,\gamma}''(\omega_{\beta,\gamma})}{\Psi_{\beta,\gamma}(\omega_{\beta,\gamma})} =\beta\gamma.
\end{equation}
It is shown by \cite{lilly09-itsp} that $P_{\beta,\gamma}/\pi$ is the number of oscillations at the peak frequency that fit within the central window of the time-domain wavelet, and therefore $P_{\beta,\gamma}$ is called the wavelet {\em duration}.  $P_{\beta,\gamma}$ is constant along diagonal lines sloping from the upper left the lower right in Figs.~\ref{analytic-morsephase} and~\ref{morsies-time}, so the number of oscillations encompassed by the wavelets along these lines is essentially the same; for example, along the main diagonal in Fig.~\ref{morsies-time}, $P_{\beta,\gamma}=3$ and so the number of oscillations in the central window is $P_{\beta,\gamma}/\pi\approx1$.

Variations of the wavelet form for fixed duration  $P_{\beta,\gamma}=\sqrt{\beta\gamma}$ can be expressed in several ways.  From (\ref{morse}), we see that the parameter $\beta$ controls the behavior near zero frequency, while~$\gamma$  controls the high-frequency decay.  It can be shown \cite{lilly09-itsp} that the wavelet time decay is $\left|\psi_{\beta,\gamma}(t)/\psi_{\beta,\gamma}(0)\right|\sim 1/t^{\beta+1}$, thus  $\beta$ and~$\gamma$  control the time-domain and frequency-domain decay respectively.  Therefore moving along curves of constant $P_{\beta,\gamma}$ from the upper left to the lower right of Fig.~\ref{morsies-time} exchanges a strong long-time decay rate, from $\beta$, for a strong high-frequency decay rate, from~$\gamma$.  Conversely, moving diagonally from the lower left to upper right, the wavelets becomes more oscillatory in the time domain, and more narrow in the frequency domain, in such a way that the ratio of time-domain decay to frequency-domain decay $\beta/\gamma$ remains constant.   It can be seen that the small $\beta$ and large~$\gamma$ wavelets in the lower right-hand corner are problematic on account of undesirable time-domain sidelobes and extreme frequency-domain asymmetry; this is also region within which the generalized Morse wavelet form (\ref{morse}) is no longer the solution to the localization operator problem of \cite{daubechies88-ip,olhede02-itsp}, indicating the practical implications of the operator framework.

Locations of other important wavelets families and analysis functions are indicated in Fig.~\ref{analytic-morsephase} by letters.  Note that herein the  constant $a_{\beta,\gamma}$  in (\ref{morse}) is chosen such that $\Psi_{\beta,\gamma}(\omega_{\beta,\gamma})=2$, as is sensible for the $1/s$ scale normalization in (\ref{vectorwavetrans}) that we prefer, see \cite{lilly09-itsp}.  It was shown by \cite{lilly09-itsp} that the generalized Morse wavelets encompass two other popular families of analytic wavelets: the Morse, also known as the Cauchy or Klauder or Paul, wavelets for the choice $\gamma=1$, and the analytic ``Derivative of Gaussian'' (DoG) wavelets for $\gamma=2$.  Furthermore,  \cite{lilly09-itsp} shows that (\ref{morse}) with $(\beta,\gamma)=\left(0,0\right)$ gives $\psi_{0,0}(t)=\delta(t)+\frac{i}{\pi t}$ or $\Psi_{0,0}(\omega)=2U(\omega)$, which is recognized as twice the analytic filter, while the complex exponentials are approached  in a sense of convergence of moments as $\beta$ approaches infinity for fixed~$\gamma$.  These tendencies are apparent in  Fig.~\ref{morsies-time}: the lower left-hand corner in Fig.~\ref{morsies-time}a resembles an analytic delta-function in the time domain,  while the upper right-hand corner in Fig.~\ref{morsies-time}b resembles a delta-function in frequency.

In Section~\ref{gauss} we will show that with $\gamma=3$, the generalized Morse wavelets closely approximate a Gaussian while remaining exactly analytic, thus implementing the essential idea of the Morlet wavelet without suffering its drawbacks.   In Section~\ref{section:forms} we will compare with three other analytic wavelets, the lognormal or log Gabor \cite{knutsson94-itip,field87-josaa}, Shannon \cite{mallat}, and Bessel \cite{holschneider} wavelets.  The lognormal wavelets are found to be recovered in the limit of vanishing~$\gamma$ and fixed $P_{\beta,\gamma}$, that is, in diagonal motion to the upper left corner, while the Shannon wavelet is recovered in the opposite limit of motion to the lower right corner.  The Bessel wavelet is found to be very closely approximated by the generalized Morse wavelet at $(\beta,\gamma)=\left(22,1/10\right)$.   Altogether this is a fairly exhaustive list of commonly used analytic wavelets and analytic analysis functions, all of which are encompassed by the generalized Morse wavelet form~(\ref{morse}).

\section{Concentration and Gaussianity}\label{gauss}

A desirable characteristic  for a wavelet would be to combine the special properties of a Gaussian---which is in a sense the most time/frequency concentrated function---with the constraints necessary for an analytic wavelet.  This is not achievable; some compromise is necessary, see e.g. \cite{holschneider} p.~36--37.  It will be shown that for integer choices of ~$\gamma$, the $\gamma=3$ family best achieves a high degree of concentration and Gaussianity, while remaining, like all the generalized Morse wavelets, exactly analytic.   The Heisenberg area achieves its theoretical minimum value of one-half for a function which is a Gaussian envelope multiplying a complex exponential, but such a function is not a wavelet because it is not zero mean.  One could say that the idea behind the Morlet wavelet is to introduce a correction in order to recover a zero mean function, hopefully preserving the desirable properties of the Gaussian in the process.  In practice, this works well for oscillatory wavelet settings, but not for time-localized wavelet settings.

The Morlet wavelet is defined in the time domain and the frequency domain as \cite{holschneider,lilly09-itsp}, respectively
\begin{eqnarray}
\psi_{\nu}(t)&=& a_\nu \,  e^{-\frac{1}{2}\,t^2}\left[e^ {i\nu t}-e^ {-\frac{1}{2}\nu^2 }\right]\label{Morletwavelet}\\
\Psi_{\nu}(\omega)&=& a_\nu \,  e^{-\frac{1}{2}\,(\omega-\nu)^2}\left[1-e^ {-\omega\nu}\right]\label{Morletwaveletfrequency}
\end{eqnarray}
where $a_\nu$ is a normalizing constant.  Note that the oscillation frequency $\nu$ is not the same as the peak frequency at which $\Psi_{\nu}'(\omega)$ vanishes; the deviation between these two frequencies grows as $\nu$ become small and vanishes as $\nu$ becomes large, see Appendix~A of \cite{lilly09-itsp}.  For time-localized wavelets with small values of $\nu$,  \cite{lilly09-itsp} shows that the departure of the Morlet wavelet from analyticity---that is,  its frequency-domain support on the negative frequencies---leads to interference terms that significantly degrade the resulting transform.  Here we will show that the correction term also generates deviations from the Gaussian form as well as reductions in the time/frequency localization as measured by the Heisenberg area.

The inverse Heisenberg areas of the generalized Morse wavelets families with integer values of~$\gamma$ from one to six are shown in Fig.~\ref{morsegaussian}a, together with the Heisenberg area of the Morlet wavelet.  For large values of the wavelet duration, all wavelet families shown here approach the limiting value of concentration at $A_{\beta,\gamma}=\frac{1}{2}$ or $1/A_{\beta,\gamma}=2$.  For wavelets having small values of the duration, such as one would use to analyze rapidly varying signals, the Morlet wavelet concentration degrades more rapidly as the duration decreases than does the concentration of the $\gamma=2$,~3, or~4 generalized Morse wavelets.  For highly time-localized  settings, the Morlet wavelet become significantly less concentrated than these~$\gamma$-families.

For high degrees of concentration corresponding to $A_\psi\ge 0.55$, the generalized Morse wavelet family for integer~$\gamma$ having the highest degree of time/frequency concentration for fixed choice of duration $P_{\beta,\gamma}$ is the Airy wavelet family at $\gamma=3$.   This appears different from Fig.~\ref{analytic-morsephase}, which shows a minimum in the Heisenberg area somewhat to the right of $\gamma=3$, with the minimum Heisenberg area occurring in the vicinity of $\gamma=4$ for small values of $\beta$ around $\beta\approx 2$.  The difference between these two perspectives is that different~$\gamma$ families should be compared for a fixed value of $P_{\beta,\gamma}$ and not a fixed value of $\beta$.  Taking this into account as in Fig.~\ref{morsegaussian}a shows that the $\gamma=3$ family is the most concentrated family apart from for very small values of the duration, less than about $P_{\beta,\gamma}/\pi\approx \frac{1}{2}$, below which the $\gamma=2$ and then the $\gamma=1$ families become the most concentrated.   The Heisenberg areas of all generalized Morse wavelet families becomes unbounded at $\beta=\frac{1}{2}$, corresponding to $P_{\beta,\gamma}=\sqrt{\gamma/2}$, and thus the smallest possible wavelet duration having a finite area decreases with decreasing~$\gamma$, as indicated by the vertical lines.

\begin{figure}[t!]
        \noindent\begin{center}\includegraphics[width=3.2in]{wavelets_heisenberg_area.eps}
        \includegraphics[width=3.2in]{wavelets_versus_gaussian.eps}\end{center}
        \caption{\footnotesize (a) The inverse Heisenberg area $1/A_{\beta,\gamma}$ for the generalized Morse wavelets with integer~$\gamma$ from 1 to 6 as a function of wavelet duration $P_{\beta,\gamma}$, as well as for the Morlet wavelet.  Dashed vertical lines marked location at which $\beta=\frac{1}{2}$ for each choice of~$\gamma$, where the Heisenberg area becomes infinite.  The gray horizontal line corresponds to $A_{\beta,\gamma}=0.55$. (b) The squared inner product between the wavelet and the Gaussian approximation
       (\ref{freqexpand}).}\label{morsegaussian}
\end{figure}\normalsize

A convenient way to express the variation in forms of the generalized Morse wavelets as a function of $\beta$ and~$\gamma$ is via a Fourier-domain expansion about a Gaussian centered at the peak frequency $\omega_{\beta,\gamma}$,
\begin{multline}\label{freqexpand}
\frac{\Psi_{\beta,\gamma}(\omega)}{\Psi_{\beta,\gamma}(\omega_{\beta,\gamma})}= e^{\ln\Psi(\omega)-\ln\Psi(\omega_{\beta,\gamma})}
\\=\exp\left\{-\frac{1}{2}P_{\beta,\gamma}^2 \left(\frac{\omega}{\omega_{\beta,\gamma}}-1\right)^2 + f_{\beta,\gamma}(\omega)\right\}
\end{multline}
where the deviation from Gaussianity is controlled by the function
  \begin{multline} \label{freqexpandetc}
f_{\beta,\gamma}(\omega)=-\frac{1}{6} (\gamma-3)P_{\beta,\gamma}^2\left(\frac{\omega}{\omega_{\beta,\gamma}}-1\right)^3\\-\frac{1}{24}\left[(\gamma-3)^2+2\right] P_{\beta,\gamma}^2\left(\frac{\omega}{\omega_{\beta,\gamma}}-1\right)^4+\Delta\Psi_{\beta,\gamma}^{\{5\}}(\omega).
\end{multline}
This expansion has been accomplished by Taylor-expanding the wavelet logarithm, and making use of expressions for the derivatives of $\ln\Psi_{\beta,\gamma}(\omega)$ from Appendix~D of \cite{lilly09-itsp}.  Here $\Delta\Psi_{\beta,\gamma}^{\{5\}}(\omega)$ is a residual that is defined implicitly  as including the remaining error terms in (\ref{freqexpand}) not explicitly represented in  (\ref{freqexpandetc}).

Observe that in the Gaussian expansion (\ref{freqexpand}), $P_{\beta,\gamma}$ appears as the inverse of the standard deviation of the Gaussian, so that $1/P_{\beta,\gamma}$ is a measure of the frequency-domain bandwidth, while~$\gamma$ controls the degree of deviation from Gaussianity for a fixed choice of $P_{\beta,\gamma}$.  This suggests that $P_{\beta,\gamma}$ and~$\gamma$ are the natural coordinates for the generalized Morse wavelets, with $P_{\beta,\gamma}$ setting the number of oscillations and~$\gamma$ controlling the shape.   When  $\gamma=3$, the lowest-order deviation from Gaussianity---the cubic term---vanishes, while the quartic term obtains its smallest magnitude.   The cubic term controls the {\em local asymmetry} of the wavelet about the peak frequency, while the quartic term describes a local narrowing or broadening of the wavelet peak in comparison with the Gaussian form; both are controlled by~$\gamma$.   Therefore in the sense of the local shape of the Fourier-domain wavelet about the peak frequency $\omega_{\beta,\gamma}$,  the $\gamma=3$ wavelets are the {\em most symmetric} and {\em most nearly Gaussian} members of the generalized Morse wavelet family for a fixed $P_{\beta,\gamma}$ and any integer or non-integer choice of~$\gamma$.

In Fig.~\ref{morsies-time}b, the Fourier-domain wavelets are compared with approximations from keeping only the quadratic (Gaussian) term in (\ref{freqexpand}), or with keeping up to and including the quartic term.  In general, for highly localized wavelets the quartic and even the quadratic approximations provide excellent approximations up to large distances from the peak frequency.  However, for wavelets with a large Heisenberg area and hence poor time/frequency concentration, such as in the lower right-hand corner of Fig.~\ref{morsies-time}b, the low-order Taylor expansion (\ref{freqexpand}) is only accurate in the immediate vicinity of the peak frequency.

A more direct comparison between the wavelets and the Gaussian form is shown in Fig.~\ref{morsegaussian}b.  This is the inner product of the wavelet with the Gaussian form, specifically the quadratic approximation from (\ref{freqexpand}) neglecting the $f_{\beta,
\gamma}(\omega)$ term, after normalizing both functions to unit energy.  For the Morlet wavelet, we use the expressions for the peak frequency and duration given in Appendix~A of \cite{lilly09-itsp}.  Not only is the Morlet wavelet less concentrated than the generalized Morse wavelets, it is also less similar to a Gaussian, despite the intention behind its formation.   While all the wavelets become increasingly more Gaussian as the duration increases, the~$\gamma$-family for integer~$\gamma$ which is always the most similar to a Gaussian for particular choice of $P_{\beta,\gamma}$ is the Airy wavelet family at $\gamma=3$.

\section{Special Forms of Generalized Morse Wavelets}\label{section:forms}

Limiting forms of the generalized Morse wavelets can be found if we rescale the frequency argument $\omega$ by the peak frequency $\omega_{\beta,\gamma}$, defining a new frequency-domain wavelet
\begin{equation}
\Phi_{\beta,\gamma}
\left(\omega\right)\equiv\Psi_{\beta,\gamma}
\left(\omega_{\beta,\gamma}\,\omega \right)
\end{equation}
such that the rescaled wavelet always obtains a maximum  at frequency $\omega=1$. This becomes, from (\ref{morse}),
\begin{equation}
\Phi_{\beta,\gamma}\label{phiexpression}
\left(\omega\right)=2 U(\omega) \,\omega^\beta e^{\beta/\gamma(1-\omega^\gamma)}
\end{equation}
after choosing $a_{\beta,\gamma}$ such that $\Psi_{\beta,\gamma}\left(\omega_{\beta,\gamma}\right)=2$.  Setting $\beta=P^2/\gamma$ with $P$ a positive constant,  this becomes
\begin{equation}
\Phi_{P^2/\gamma,\gamma}
\left(\omega\right)=2 U(\omega) \, e^{ \left(\gamma\ln\omega+1-\omega^\gamma\right) P^2/\gamma^2}
\end{equation}
making use of the fact that $\omega=e^{\ln \omega}$.   The limit of the exponent as~$\gamma$ tends to zero is
\begin{multline}
\lim_{\gamma\,\longrightarrow0} \frac{P^2}{\gamma^2}\left[\gamma\ln \omega+
1-\left(1+\ln \omega \gamma+\frac{1}{2}\gamma^2 \ln^2 \omega+{\cal O}(\gamma^3)\right)\right]\\=-\frac{1}{2}P^2\ln^2\omega
\end{multline}
where we have expanded $\omega^\gamma=e^{\gamma\ln\omega}$ in powers of $\gamma\ln \omega$. Consequently it follows that
\begin{equation}
\lim_{\gamma \rightarrow 0}\Phi_{P^2/\gamma,\gamma}(\omega)=
2U(\omega)e^{-\frac{1}{2}P^2\ln^2(\omega)}\label{lognormal}
\end{equation}
emerges as the small-$\gamma$ limit of the generalized Morse wavelets with $\beta$ chosen such that $P_{\beta,\gamma}=\sqrt{\beta\gamma}$ remains fixed.   The wavelets are lognormal in the frequency domain, with $1/P_{\beta,\gamma}$ playing the role of the standard deviation, and present a  highly asymmetric shape about the maximum at $\omega=1$.  Wavelets of the form (\ref{lognormal}) have been proposed, apparently independently, by \cite{knutsson94-itip} and \cite{field87-josaa}, and appear to be in widespread use under the names ``log Gabor wavelets''  or ``lognormal quadrature wavelets.''

In the opposite limit of infinite~$\gamma$ with $\beta=P^2/\gamma$, moving towards the lower right corner of  Fig.~\ref{analytic-morsephase}, another wavelet emerges.   The $\omega^\beta=\omega^{P^2/\gamma}$ term in (\ref{phiexpression}) tends to unity, while the exponential contains the indeterminate form  $\omega^\gamma/\gamma^2$ which tends to $\frac{1}{2}\,\omega^{\gamma-1}$ by l'H\^ospital's rule.  We then find that (\ref{phiexpression}) becomes
\begin{multline}
\lim_{\gamma\,\longrightarrow\infty}\Phi_{P^2/\gamma,\gamma}
\left(\omega\right)
=\lim_{\gamma\,\longrightarrow\infty} 2\, U(\omega) \,e^{-\frac{1}{2}P^2\omega^{\gamma} } \\ = \left\{\begin{array}{ll} 2  & 0<\omega\le 1\\
                      0, & \omega\le 0, \omega>1  \end{array}\right.  = 2\,\mathrm{rect} \left(\omega-\frac{1}{2}\right)
\end{multline}
where ``$\mathrm{rect}$'' is the unit rectangle function.  Thus the generalized Morse wavelet with~$\gamma$ approaching infinity and $\beta$ approaching zero becomes a bandpass filter with constant amplitude for frequencies $\omega$ between zero and one, and vanishing elsewhere.  This limit is identical with the  definition of the Shannon wavelet $\Psi_{S}(\omega)$ [\citen{mallat},~p.~246], corresponding a sinc function in the time domain
  \begin{equation}
\psi_{S}(t)=\pi\, \ensuremath{\mathrm{sinc}}\left(\frac{t}{2\pi}\right) \,  e^{i t }\label{Shannonwavelet}.
\end{equation}
The slow $(1/t)$ time decay of this wavelet, however, is an undesirable property that limits its usefulness.

Together the Shannon wavelet and the lognormal wavelets are important because they delimit the most extreme properties that may be obtained for any choice of $P_{\beta,\gamma}$.   Note, however, that these limits are quite different.  As seen in  Fig.~\ref{analytic-morsephase}, the Heisenberg area becomes unbounded in the Shannon limit, but asymptotes to a fixed value for each $P_{\beta,\gamma}$ with decreasing~$\gamma$ in the lognormal limit.  In the Shannon limit the generalized Morse wavelets approach a fixed form for any choice of $P_{\beta,\gamma}$, whereas in the opposite limit of the lognormal wavelets, the wavelet form remains a one-parameter family controlled by $P_{\beta,\gamma}$.  In particular, it is perhaps surprising that the generalized Morse wavelets can both closely approximate a Gaussian in the frequency domain, at $\gamma=3$ as discussed earlier, as well as the lognormal form (\ref{lognormal}).

This means that the only exactly analytic wavelet in common use not included in the generalized Morse wavelet family is the Bessel wavelet  [\citen{holschneider},~p.~32], defined by, with our choice of normalization
\begin{eqnarray}
\psi_{B}(t)&=& \frac{2e^2}{\pi\sqrt{1 -it }}  \, K_1\left(2\sqrt{1 -it }\right) \label{Besselwavelet}\\
\Psi_{B}(\omega)&=&  2e^2e^{-(\omega +1/\omega)}\label{Besselwaveletfrequency}
\end{eqnarray}
where  $K_1(\cdot)$ is the first modified Bessel function of the second kind.   It is evident by comparing (\ref{Besselwaveletfrequency}) and (\ref{morse}) that the Bessel wavelet does not formally lie within the generalized Morse wavelet family.  Nevertheless, a choice of $(\beta,\gamma)$ may be found for which the Bessel wavelet is very closely approximated.  A measure of the similarity between the two wavelets is  the magnitude-squared inner product
\begin{multline}
\alpha^2_{\beta,\gamma}\equiv \\  \left| \int_{-\infty}^\infty\frac{\psi_B(t)}{\sqrt{\int_{-\infty}^\infty \left|\psi_B(u)\right|^2 du}} \frac{\psi_{\beta,\gamma}^*(t)}{\sqrt{\int_{-\infty}^\infty \left|\psi_{\beta,\gamma}(u)\right|^2 du}}\, dt \right|^2.
\end{multline}
A numerical search over a range of $(\beta,\gamma)$ values shows that $\alpha_{\beta,\gamma}^2$ obtains a maximum value of $0.9995$ for $(\beta,\gamma)=\left(22,1/10\right)$.  At this parameter choice, the two time-domain wavelets are visually virtually indistinguishable.

\section{Discussion}\label{section:choice}

This correspondence has shown that a number of commonly used continuous analytic wavelets and analysis filters, rather than being intrinsically distinct, may all be regarded as special cases of a single unified family, the generalized Morse wavelets.  This means that the wavelet transform itself may be regarded as a continuous function of not one but two parameters in addition to time and scale.  The duration or inverse bandwidth $P_{\beta\gamma}=\sqrt{\beta\gamma}$ sets the number of oscillations in the wavelet, while a shape parameter~$\gamma$  shifts the transform between qualitatively different families with the duration held fixed.

The decision of what wavelet to use is greatly simplified by noting the special properties of the Airy wavelet family at $\gamma=3$, previously identified by \cite{lilly09-itsp}.  These are found to be the most Gaussian, most time/frequency concentrated, and most symmetric  member of the generalized Morse wavelet family for any integer~$\gamma$.   We show that the Airy wavelets reflect the spirit behind the Morlet wavelet more so than even the Morlet wavelet itself, and consequently form a natural choice for a default analytic wavelet for general purpose applications.   Particularly if time-localized settings are to be attempted, the Morlet wavelet should be avoided and the Airy wavelet used in its place, reinforcing the conclusion of \cite{lilly09-itsp}.

Of course, real-valued or non-analytic wavelets may be useful, particularly in the analysis of discontinuities \cite{mallat}, but for analyzing oscillatory phenomena analytic wavelets are commonly favored.   There may be occasions when other members of the generalized Morse wavelet family than the Airy wavelets would be more suitable.  One instance arises when the signal of interest may have a form corresponding to one of the wavelet families; this is particular true of the Gaussian and Cauchy families which may provide useful models for time-localized or ``impulsive'' events that themselves resemble wavelets.  Another common scenario is that oscillatory variability may exist close to the Nyquist frequency, in which case one would like to sacrifice symmetry of the wavelet for a more rapid high-frequency decay.   Further investigation of the generalized Morse wavelet parameter space may yield useful information regarding the properties and possible uses of analytic wavelets, in particular, the relationship between the roles of the parameters $\beta$ and~$\gamma$ as differentiation and ``warping'' operators explored by\cite{lilly09-itsp}, and the variations of the wavelet form.