2.1 Representation theory of finite groups

Throughout the article, $G$ will denote a finite group. By a representation of $G$ we mean a pair $(V,\rho )$ where $V$ is a finite-dimensional vector space over the complex numbers and $\rho \;:\; G\rightarrow GL(V)$ is a group homomorphism. A morphism between the representations $(V_1,\rho _1)$ and $(V_2,\rho _2)$ is a linear map $\psi \;:\; V_1\rightarrow V_2$ with the property that $\psi \circ \rho _1(g) = \rho _2(g)\circ \psi$ for every $g\in G$ . A subspace $W\subseteq V$ is an invariant subspace if $\rho (g)(W)\subseteq W$ for all $g\in G$ . A representation $(V,\rho )$ is irreducible if its only invariant subspaces are $0$ and $W$ . An invariant inner product on a representation $V$ is a Hermitian inner product satisfying $\langle \rho (g)(u),\rho (g)(v)\rangle = \langle u,v\rangle$ for all $g\in G$ and $u,v\in V$ . Throughout the article, we will use the following fundamental facts about complex representations of finite groups (see [[Reference Fulton and HarrisFH], Chapter 1] for proofs):

1. (1) Every finite group $G$ has finitely many pairwise non-isomorphic irreducible representations, which we will denote by $V_1,\dots, V_k$ .

2. (2) The irreducible representations are the building blocks of all representations in the sense that for any representation $(\Lambda,\rho )$ there is an isomorphism of representations

   \begin{equation*} \Lambda \cong \bigoplus _{j=1}^k V_j^{m_j},\end{equation*}
   where the integers $m_j$ , called multiplicities, are uniquely specified. We write $m(V_j,V)\;:\!=\;m_j$ .

3. (3) Every irreducible representation has an invariant inner product, unique up to multiplication by a positive real number, and we fix a basis $B_j$ for each $V_j$ , orthonormal with respect to this product. In this basis, the matrices $[\rho (g)]_{B_j}$ are unitary. If $\langle, \rangle$ is an invariant inner product on a representation $\Lambda$ , then there is an orthonormal basis for $\Lambda$ , compatible with the isomorphism in $(2)$ , with respect to which the maps of the representation are simultaneously block-diagonal of the form

   \begin{equation*} [\rho _\Lambda (g)]_B = \bigoplus _{j=1}^k \left ([\rho _{V_j}(g)]_{B_j} \otimes I_{m_j}\right ),\end{equation*}
   where $I_{m_j}$ is the $m_j\times m_j$ identity matrix.

4. (4) The character of a representation $V$ is a function $\chi _V\;:\; G\rightarrow \mathbb{C}$ given by $\chi _V(g)=\textrm{Tr}(\rho (g))$ . Characters are constant functions in the conjugacy classes of $G$ and the characters of the irreducible representations $V_j$ form an orthonormal basis for such functions (under the inner product $\langle f,h\rangle \;:\!=\; \sum _{g\in G} f(g)\overline{h(g)}/|G|$ ).

2.2 The group ring and the Fourier transform

The group algebra of $G$ , denoted by $\mathbb{C} G$ , is the complex vector space with basis given by the symbols $\{e_g\;:\; g\in G\}$ , endowed with the multiplication $e_g\cdot e_h\;:\!=\; e_{g\cdot h}$ , where the dot in the right-hand side expression is the product in $G$ . This is an associative and generally non-commutative algebra of dimension $|G|$ . If $(\Lambda,\rho )$ is a representation of $G$ , then there is a linear map $\phi\;:\;\mathbb{C} G\rightarrow \operatorname{Hom}(\Lambda,\Lambda )$ which sends $\sum a_g e_g$ to the map sending $w\in \Lambda$ to $\sum a_g\rho (g)(w)$ . This map transforms the product in $\mathbb{C} G$ into the composition of linear maps and makes $\Lambda$ into a $\mathbb{C} G$ -module. It is easy to see that there is a correspondence between $\mathbb{C} G$ -modules and representations of $G$ . In particular, the group algebra is itself a representation of $G$ via left-multiplication by defining $\rho _{\mathbb{C} G}(g)(e_h)=e_g\cdot e_h$ . The following are three very useful facts about this representation.

1. (1) The representation $\mathbb{C} G$ is isomorphic to the representation $\mathbb{C}[G]$ defined as the collection of complex-valued functions $f\;:\;G\rightarrow \mathbb{C}$ endowed with the contragradient action $\rho ^*(g)f(x)=f(g^{-1}x)$ . We will use this isomorphism throughout. It is given explicitly by mapping a function $Q\;:\;G\rightarrow \mathbb{C}$ to the element $q\;:\!=\;\sum _{g\in G} Q(g)e_g$ .

2. (2) If $q_1$ and $q_2$ are the elements of $\mathbb{C} G$ corresponding to functions $Q_1$ and $Q_2$ , then their product $q_1q_2\in \mathbb{C} G$ corresponds to the convolution $Q_1\ast Q_2$ of $Q_1$ and $Q_2$ , defined as

   \begin{equation*}Q_1\ast Q_2(h) = \sum _{g\in G} Q_1(hg^{-1})Q_2(g).\end{equation*}

3. (3) There is an isomorphism of representations $\mathbb{C} G\cong \bigoplus _{j=1}^k V_j^{\mathrm{dim(V_j)}}$ and in particular $m(V_j,\mathbb{C} G)=\dim (V_j)$ .

4. (4) There is an isomorphism of algebras $\phi \;:\; \mathbb{C} G\rightarrow \bigoplus _{j=1}^k \operatorname{Hom}(V_j,V_j)$ called the Fourier transform, which is the map sending a function $f$ to the map $\bigoplus _{j=1}^k \hat{f}(\rho _j)$ , where

   \begin{equation*}\hat {f}(\rho _j)\;:\!=\;\sum _{g\in G} f(g)[\rho _j(g)]_{B_j}.\end{equation*}

See [[Reference Fulton and HarrisFH], Exercise 3.32] for basic properties of the Fourier transform.

3.1 Random walks and modules over the group ring

Let $\mathbb{C} X$ be a vector space with basis given by the set of symbols $S\;:\!=\;\{e_x\;:\; x\in X\}$ . The action of $G$ on $X$ makes $\mathbb{C} X$ into a $\mathbb{C} G$ -module via the map $\phi\;:\;\mathbb{C} G\rightarrow Hom(\mathbb{C} X, \mathbb{C} X)$ given by $\phi (e_g)(e_x) \;:\!=\; e_{g(x)}$ . We will denote this action by $e_g\cdot e_x$ . The following proposition shows that the module structure can be used to compute the distributions of our random walks.

Lemma 3.1. If $Q$ is a probability distribution on $G$ and $T$ is a probability distribution on $X$ , then the equality

\begin{equation*}\sum _{x\in X} \mathbb {P}\{W=x\}e_x = q\cdot t\end{equation*}

holds, where $q\;:\!=\;\sum _{g\in G} Q(g)e_g$ , $t\;:\!=\;\sum _{x\in X} T(x)e_x$ , and $W\;:\!=\;g(z)$ is the random variable obtained by choosing $g\in G$ and $z\in X$ independently with distributions $Q$ and $T$ , respectively. In particular, the distribution of $h_N$ is given by $q^{N}\cdot e_{x_0}\in \mathbb{C} X$ .

Proof. The independence between $g$ and $z$ implies the following equality for any $\alpha \in X$

\begin{equation*}\mathbb {P}\{W=\alpha \} = \sum _{x\in X} \sum _{g\in G: g(x)=\alpha } Q(g)T(x).\end{equation*}

It follows that

\begin{equation*}\sum _{\alpha \in X} \mathbb {P}\{W=\alpha \} e_{\alpha } =\sum _{\alpha \in X} \sum _{x\in X} \sum _{g\in G: g(x)=\alpha } Q(g)H(x) e_{\alpha } = \sum _{x\in X} \sum _{g\in G} Q(g)H(x)e_{g(x)} = q\cdot t.\end{equation*}

The last claim follows from the associativity relation $(q_1q_2)\cdot h= q_1\cdot (q_2\cdot h )$ , which holds for all $q_1,q_2\in \mathbb{C} G$ and $h\in \mathbb{C} X$ because $\mathbb{C} X$ is a $\mathbb{C} G$ -module.

The previous lemma is useful because it allows us to use the representation theory of $\mathbb{C} X$ to compute the probability distribution of $h_N$ . Henceforth, we endow $\mathbb{C} X$ with the Hermitian inner product which satisfies $\langle e_x,e_y\rangle =\delta _{xy}$ . This product is invariant because $G$ acts on $X$ by permutations.

Lemma 3.2. Let $Q$ be any complex-valued function on $G$ and $q\;:\!=\;\sum _{g\in G}Q(g)e_g$ . There exists an $|X|\times |X|$ unitary matrix $W$ such that

\begin{equation*}W [\phi (q)]_S W^* = \bigoplus _{j=1}^k \hat {Q}(\rho _{j})\otimes I_{m(V_j,\mathbb {C} X)},\end{equation*}

where $\widehat{Q}$ denotes the Fourier transform of $Q$ .

Proof. Since the inner product we defined in $\mathbb{C} X$ is $G$ -invariant, we can use it to construct an orthonormal basis $B$ for $\mathbb{C} X$ compatible with the decomposition of $\mathbb{C} X = \bigoplus V_i^{m(V_i,\mathbb{C} X)}$ as a representation of $G$ . Letting $W$ be the change of basis matrix from the basis $S=\{e_x:x\in X\}$ to the basis $B$ , we see that $W$ is unitary and that for every $g\in G$ the equality

\begin{equation*}W[\rho _{\mathbb {C} X}(g)]_S W^* = \bigoplus _{j=1}^k [\rho _j(g)]_{B_j}\otimes I_{m(V_i,\mathbb {C} X)}\end{equation*}

holds. Since $\phi$ is linear, we conclude that

\begin{equation*}W\phi (q)W^*=\sum _{g\in G} Q(g)\bigoplus _{j=1}^k [\rho _j(g)]_{B_j}\otimes I_{m(V_i,\mathbb {C} X)}\end{equation*}

\begin{equation*}=\bigoplus _{j=1}^k \left (\sum _{g\in G} Q(g)[\rho _j(g)]_{B_j}\right )\otimes I_{m(V_i,\mathbb {C} X)},\end{equation*}

which agrees with the claimed formula by definition of Fourier transform.

Remark 3.3. In order to use Lemma 3.2, it is extremely useful to be able to decompose $\mathbb{C} X$ into irreducibles. This process is often simplified by the following two facts:

1. (1) If $x_0\in X$ is any point and $H\subseteq G$ is the stabilizer of $x_0$ , then the permutation module $\mathbb{C} X$ is isomorphic to the induced representation of $G$ defined by the trivial representation of $H$ [[Reference Fulton and HarrisFH], Example 3.13].

2. (2) In particular, the multiplicities with which the irreducible representations $V_j$ appear in $\mathbb{C} X$ are determined by the Frobenius Reciprocity Theorem [[Reference Fulton and HarrisFH], Corollary 3.20], which implies that

\begin{equation*}m(V_j,\mathbb {C} X) = \frac {1}{|H|}\sum _{h\in H} \chi _{V_j}(h).\end{equation*}

3.2 Mixing rates

For any $G$ -homogeneous space $X$ , we let $\overline{u}\in \mathbb{C} X$ be the element corresponding to the uniform distribution, that is, $\overline{u}\;:\!=\;\frac{1}{|X|}\sum _{x\in X} e_x$ . Note that $\overline{u}_G\cdot e_{x_i}=\overline{u}$ for every $x_i\in X$ . We endow $\mathbb{C} X$ with the total variation norm $\|h\|_{\textrm{TV}}\;:\!=\;\frac{1}{2}\sum _{x\in X} |h(x)|$ and endow $\operatorname{Hom}(\mathbb{C} X, \mathbb{C} X)$ with the Frobenius norm $\|A\|_{\textrm{Fb}}\;:\!=\;\textrm{Tr}(AA^*)$ . We are now ready to prove Theorem 1.1, our main tool for establishing convergence estimates on homogeneous spaces. The key observation behind the proof is that even though the total variation norm is not unitarily invariant, it can be bounded on average by a unitarily invariant norm. This allows us to choose the convenient orthonormal basis for our operators by means of Lemma 3.2.

Proof of Theorem 1.1. The equality

\begin{equation*}\sum _{x\in X} \|q\cdot e_x-\overline {u}\|_2^2=\|\phi (q)-\phi (\overline {u}_G)\|_{\textrm {Fb}}^2\end{equation*}

holds, since both sides equal the sum of the squares of the entries of the matrix $\phi (q)-\phi (\overline{e_G})$ . Since the Frobenius norm is unitarily invariant, we can compute the right-hand side of this equality in any orthonormal basis. In particular, using the basis from Lemma 3.2 yields

\begin{equation*}\|\phi (q)-\phi (\overline {u}_G)\|_{\textrm {Fb}}^2=\sum _{j=1}^k m(V_j,\mathbb {C} X) \|\widehat {Q-U}(\rho _j)\|_{\textrm {Fb}}^2,\end{equation*}

where $U$ is the uniform distribution on $G$ . For any probability distribution $Q$ on $G$ , we know that $\hat{Q}(\textrm{triv})=1$ and for the uniform distribution $U$ we know that $\hat{U}(\rho _j)=0$ for all $\rho _j\neq \textrm{triv}$ . We thus conclude that the following equality holds

(1) \begin{equation} \sum _{x\in X} \|q\cdot e_x-\overline{u}\|_2^2=\sum _{V_j\neq \textrm{triv}} m(V_j,\mathbb{C} X) \|\widehat{Q}(\rho _j)\|_{\textrm{Fb}}^2. \end{equation}

The Cauchy−Schwarz inequality and the fact that $\|\bullet \|_2\leq \|\bullet \|_1$ imply that for every $x\in X$ we have

(2) \begin{equation} \frac{1}{4}\|q\cdot e_x-\overline{u}\|_2^2 \leq \|q\cdot e_x-\overline{u}\|_{\textrm{TV}}^2\leq \frac{1}{4}|X|\|q\cdot e_x-\overline{u}\|_2^2. \end{equation}

Averaging the inequalities in (2) over $X$ , we obtain

\begin{equation*}\frac {1}{4|X|}\sum _{x\in X}\|q\cdot e_x-\overline {u}\|_2^2\leq \frac {1}{|X|}\sum _{x\in X} \|q\cdot e_x-\overline {u}\|_{\textrm {TV}}^2\leq \frac {1}{4}\sum _{x\in X} \|q\cdot e_x-\overline {u}\|_2^2.\end{equation*}

Combining these inequalities with identity (1) we complete the proof of the two inequalities in our main claim.

Furthermore, if $\|q\cdot e_x\|_2^2$ is independent of $x$ , then the same is true of $\|q\cdot e_x-\overline{u}\|_2^2$ , since this quantity equals $\|q\cdot e_x\|^2-2\langle q\cdot e_x,\overline{u}\rangle + \|\overline{u}\|_2^2$ , which is independent of $x$ because $\langle q\cdot e_x,\overline{u}\rangle = 1/|X|$ for all $x$ . As a result, for every $x\in X$ we have

\begin{equation*}\|q\cdot e_x-\overline {u}\|_2^2=\frac {1}{|X|}\sum _{y\in X}\|q\cdot e_y-\overline {u}\|_2^2\end{equation*}

and we can replace the leftmost and rightmost terms in (2) for averages, yielding

\begin{equation*} \frac {1}{4|X|}\sum _{y\in X}\|q\cdot e_y-\overline {u}\|_2^2 \leq \|q\cdot e_x-\overline {u}\|_{\textrm {TV}}^2\leq \frac {1}{4}\sum _{y\in X}\|q\cdot e_y-\overline {u}\|_2^2. \end{equation*}

This result, combined with (1), completes the proof.

Remark 3.8. Theorem 1.1 and Markov’s inequality imply that the relation

\begin{equation*}\left |\left \{x\in X: \|q^Ne_{x}-\overline {u}\|_{\textrm {TV}} \geq \alpha \right \}\right | \leq \frac {|X|}{4\alpha ^2}\sum _{V_j\neq \textrm {triv}} m(V_j, \mathbb {C} X) \|\hat {Q}(\rho _j)^N\|_{\textrm {Fb}}^2\end{equation*}

holds for every $\alpha \gt 0$ , allowing us to prove that most (and even all, when the right-hand side is $\lt 1$ ) initial states mix well. In the special case where $Q$ is right-invariant under the stabilizer of a point $x_0\in X$ , this inequality is weaker than the UBLH, which provides a bound for every initial state. However, the inequality above applies to arbitrary (not necessarily right-invariant) distributions $Q$ .

3.3 Example: Random walks on tabloids

Fix positive integers $n,a,b$ with $a\geq b$ and $a+b=n$ . Suppose we have a set of $n$ of cards and that these are placed face up forming a single row. We permute the cards by independently sampling permutations according to a fixed distribution $Q$ on $S_n$ , and acting with these permutations on the row of cards. After $N$ stages, we split the row of cards into two disjoint sets $A$ and $B$ , consisting of the first $a$ cards and the remaining $b$ cards, respectively (reading the row of cards from left to right). We ask: How near-uniform is the set $A$ , or equivalently, how random is the set partition $(A,B)$ ? In this section, we define random walks on tabloids, which generalize this problem, and discuss tools suitable for their analysis.

3.3.1 Preliminaries: partitions, tableaus, and tabloids

A partition of a positive integer $n$ is a nonincreasing sequence $\lambda _1\geq \lambda _2\geq \dots \geq \lambda _k$ with $n=\sum \lambda _i$ . Partitions are partially ordered by the dominance ordering, defined as $\lambda \leq \mu$ if $\sum _{i\leq j} \lambda _i \leq \sum _{i\leq j}\mu _i$ for all $j=1,\dots, n$ . A tableaux with shape $\lambda$ is a finite collection of boxes, arranged in left-justified rows of sizes $\lambda _1,\dots, \lambda _k$ , and containing the integers $1,\dots, n$ without repetitions. Two tableaus of the same shape $\lambda$ are row-equivalent if the sets of elements in each of their corresponding rows coincide. A tabloid is a row-equivalence class of tableaus.

Example 3.9. The sequence $\lambda \;:\!=\;(3,3,2,1)$ is a partition of $9$ . The following two tableaus are row-equivalent and therefore members of the same tabloid.

This tabloid is encoded by the ordered set partition $ (\{1,2,3\}, \{4,5,6\}, \{7\}, \{8\} ),$ which keeps track of the set of elements in each row.

A generalized tableaux of shape $\lambda$ is a tableaux $T$ of shape $\lambda$ filled with elements of $\{1,\dots, n\}$ where repetitions are allowed. The content of such a tableaux is a vector $(\mu _1,\dots,\mu _n),$ where $\mu _i$ is the number of copies of the integer $i$ appearing in $T$ for $i=1,\dots, n$ . A semi-standard tableaux is a generalized tableaux where the labels are weakly increasing along rows and strictly increasing along columns.

Example 3.10. If we fix the content $\mu =(2,2,1)$ then the set of all semi-standard tableaus of shapes $(3,2)$ and $(4,1)$ with content $\mu$ are given by

3.3.2 Conjugation-invariant distributions and random walks on tabloids

Continuing with the example introduced at the beginning of Section 3.3, any partition $\lambda$ of $n$ having $k$ parts allows us to partition our row of $n$ cards into $k$ sets $(A_1,\dots, A_k)$ where $A_1$ consists of the first $\lambda _1$ cards, the set $A_2$ consists of the next $\lambda _2$ cards (those in positions $\lambda _1+1,\dots,\lambda _1+\lambda _2$ along the row), $A_3$ consists of the next $\lambda _3$ cards, etc. We can then ask: how near-uniform is the resulting set partition $(A_1,\dots, A_k)$ after $N$ stages of our random walk? In this section, we address this problem when the distribution $Q$ is constant on conjugacy classes by applying the tools introduced in the article. Our main result is Corollary 3.14, which gives bounds on the mixing rate of the process described in the first paragraph, that is, when $\lambda$ is any partition with at most two parts.

To begin the analysis, note that if $X$ denotes the set of tabloids of shape $\lambda$ with the natural action of $S_n$ by permutations (see Section 3.3.1 for basic definitions), then the process above coincides with the random walk on the homogeneous space $X$ defined by the probability distribution $Q$ on $S_n$ . The corresponding permutation module $\mathbb{C} X$ is well-known and plays a distinguished role in Young’s construction of the irreducible representations of the group $S_n$ (see [[Reference SaganS], Chapter 2]). It is common in the literature to refer to these modules as the permutation modules $M^{\lambda }$ and we will do so throughout this section. The following theorem [[Reference SaganS], Theorem 2.11.2] describes their structure, where $S^{\lambda }$ denotes the irreducible representation of $S_n$ corresponding, via Young’s construction, to the partition $\lambda$ (see [[Reference SaganS], Definition 2.3.4] for an explicit description of $S^{\lambda }$ ).

Lemma 3.11 (Young’s rule). Let $\mu$ be a partition of $n$ . The following isomorphism of representations holds

\begin{equation*}M^{\mu } \cong \bigoplus _{\lambda : \lambda \geq \mu } \left (S^{\lambda }\right )^{\bigoplus K_{\lambda \mu }},\end{equation*}

where the sum runs over the partitions $\lambda$ of $n$ with $\lambda \geq \mu$ in the dominance ordering of partitions and $K_{\lambda \mu }$ is the Kostka number of $(\lambda,\mu )$ , that is, the number of semi-standard tableaus of shape $\lambda$ and content $\mu$ .

In order to understand the behaviour of Markov chains defined by conjugation-invariant probability distributions, we need to express such distributions as sums of characters. To this end, we will use orthogonality of characters together with Frobenius’ remarkable character formula [[Reference Fulton and HarrisFH], Theorem 4.10], which gives a combinatorial description of the characters of $S^{\lambda }$ . Recall that the conjugacy class of a permutation $\sigma \in S_n$ is specified by its cycle type, namely the sequence $(n_1,\dots, n_n),$ where $n_j$ equals the number of $j$ -cycles appearing in the unique decomposition of $\sigma$ as a product of disjoint cycles.

Lemma 3.12 (Frobenius character formula). If $\lambda =\lambda _1\geq \lambda _2\geq \dots \lambda _n\geq 0$ is a partition of $n$ then the value of the character of $S^{\lambda }$ in the conjugacy class $(n_1,\dots, n_n)$ is given by the coefficient of the monomial $x^{\ell (\lambda )}$ in the polynomial $\Delta \cdot P_n\in \mathbb{C}[x_1,\dots, x_n]$ , where

\begin{equation*}P_n(x)\;:\!=\;\prod _{j=1}^n (x_1^j+\dots +x_n^j)^{n_j}\text {, }\Delta \;:\!=\;\prod _{1\leq i\lt j\leq n} \left (x_i-x_j\right ),\end{equation*}

and $\ell (\lambda )= (\lambda _1+n-1,\lambda _2+ n-2,\dots,\lambda _{k}+n-k,\dots,\lambda _{n-1} +1, \lambda _n )$ .

Lemma 3.13. Let $\lambda =a\geq b$ be a partition of $n$ . If $C_k$ denotes the conjugacy class of a $k$ -cycle in $S_n$ , then

\begin{equation*}\chi _{S^{\lambda }}(C_k) = \left [\binom {n-k}{a}-\binom {n-k}{a+1}\right ] + \left [\binom {n-k}{b}-\binom {n-k}{b-1}\right ]\end{equation*}

and furthermore,

\begin{equation*}\dim (S^{\lambda }) = \binom {n}{a}-\binom {n}{a+1}=\binom {n}{b}-\binom {n}{b-1}.\end{equation*}

Proof. Since $\Delta$ is the determinant of the Vandermonde matrix with $i,j$ entry given by $x^j_{n-i+1}$ we know that

\begin{equation*}\Delta = \sum _{\sigma \in S_n} \textrm {sgn}(\sigma ) x_n^{\sigma (1)-1}\dots x_1^{\sigma (n)-1}\end{equation*}

and in particular, only two terms have exponents which are componentwise smaller than $\ell (\lambda ) = (a+n-1,b+n-2,n-3,n-4,\dots, 1,0)$ , namely

\begin{equation*} x_1^{n-1}x_2^{n-2}x_{3}^{n-3}\dots x_{n-2}^2x_{n-1}^1x_n^0\text { and }- x_1^{n-2}x_2^{n-1}x_{3}^{n-3}\dots x_{n-2}^2x_{n-1}^1x_n^0.\end{equation*}

Since $P_{C_k}(x)=A(x)(x_1^k+\dots +x_n^k)$ , where $A(x)=(x_1+\dots +x_n)^{n-k}$ , we conclude from Frobenius’ character formula and the observation from the previous paragraph that $\chi _{S^{\lambda }}(C_k)$ is given by

\begin{equation*} [P(x)]_{(a,b)} - [P(x)]_{(a+1,b-1)},\end{equation*}

where we have removed the $n-2$ trailing zeroes in our notation for exponents. Since $P(x)$ factors, this quantity equals

\begin{equation*} [A(x)]_{(a-k,b)}+[A(x)]_{(a,b-k)} - \left ([A(x)]_{(a-k+1,b-1)} + [A(x)]_{(a+1,b-k-1)}\right ).\end{equation*}

Each of these coefficients can be computed by the multinomial theorem, yielding $\binom{n-k}{b} + \binom{n-k}{a}- (\binom{n-k}{b-1}+\binom{n-k}{a+1} )$ . Similarly, the dimension of $S^{\lambda }$ is given by the value of its character at the identity element, given by

\begin{equation*}[(x_1+\dots +x_n)^n]_{(a,b)}-[(x_1+\dots +x_n)^n]_{(a+1,b-1)},\end{equation*}

proving the claim.

The following corollary estimates the rate of convergence to the uniform distribution of the pure-cycle random walk on the set of disjoint pairs $(A,B)$ of sizes $a$ and $b$ , respectively, with $A\cup B=[n]$ . An explicit illustration of these upper bounds (for $n=52$ and $\lambda=26\geq 26$ is shown in Figure 1).

Figure 1. Upper bound for total variation to uniformity for $\lambda \;:\; 26\geq 26$ with $n=52$ (the number of cards on a regular deck) and $k=2,3,4,5$ ( $y$ axis in standard (left) and logarithmic (right) scales). The set $X$ has around $4.9\times 10^{14}$ elements.

Corollary 3.14. Let $Q$ be the probability distribution which samples $k$ -cycles uniformly. If $\mathbb{C} X$ is the permutation module corresponding to a partition $\lambda = a\geq b$ with $a+b=n$ and $q^{(N)}\;:\!=\;\sum _{g\in G} Q^{N}(g)e_g\in \mathbb{C} G$ , then for any $x_0\in X$ , the quantity $\|q^{(N)}\cdot u_{x_0}-\overline{u}_X\|^2_{\textrm{TV}}$ is bounded above by

\begin{equation*}\frac {1}{4}\sum _{t=1}^b \frac {\left (\left [\binom {n-k}{n-t}-\binom {n-k}{n+1-t}\right ] + \left [\binom {n-k}{t}-\binom {n-k}{t-1}\right ]\right )^{2N}}{\left (\binom {n}{t}-\binom {n}{t-1}\right )^{2N-1}}.\end{equation*}

Proof. By Lemma 3.11, the decomposition of $\mathbb{C} X$ into $S_n$ -irreducibles is given by $\mathbb{C} X = \bigoplus _{t=0}^b S^{(a+b-t,t)}$ and in particular, no representation appears with multiplicity greater than one. For notational convenience we write $V_t\;:\!=\;S^{(a+b-t,t)}$ throughout this proof. Since the distribution $Q$ is constant on conjugacy classes, it can be written uniquely as a sum of irreducible characters, and we determine its coefficients $a_t$ with respect to the characters $\chi _{V_t}$ for $t=0,\dots, b$ . By orthogonality of characters we have

\begin{equation*}a_t = \langle Q, \chi _{V_t}\rangle = \frac {1}{|S_n|}\sum _{g\in G} Q(g)\chi _{V_t}(g) = \frac {1}{|S_n|}\chi _{V_t}(\tau ),\end{equation*}

where $\tau$ is any $k$ -cycle. By Lemma 3.13 we know that

\begin{equation*}a_t = \frac {1}{|S_n|}\left (\left [\binom {n-k}{a+b-t}-\binom {n-k}{a+b+1-t}\right ] + \left [\binom {n-k}{t}-\binom {n-k}{t-1}\right ]\right )\end{equation*}

and that $\dim (V_t)=\binom{n}{t}-\binom{n}{t-1}$ . The claim now follows from Corollary 1.3.

Remark 3.15. The previous corollary shows that Theorem 1.1 can be applied more generally than the Upper Bound Lemma on $S_n$ , since selecting a transposition uniformly at random does not mix $S_n$ (because only even transpositions can be reached in even stages), while it does converge to the uniform distribution on the homogeneous space $X$ .

3.4 A concentration inequality

In this section we prove Theorem 1.4 and illustrate its applicability by analysing random walks on travelling salesman tours.

Proof of Theorem 1.4. Let $\mathbb{E}_{Q^N}(\bullet )$ denote the expected value with respect to the distribution of the process after $N$ stages. By the triangle inequality and the definition of total variation, the following inequalities hold

\begin{equation*} \left |\mathbb {E}_U(f) - \frac {1}{M}\sum _{i=1}^M f(Z_j)\right | \leq \left |\mathbb {E}_U(f) -\mathbb {E}_{Q^N}(f)\right |+\left |\mathbb {E}_{Q^N}(f)- \frac {1}{M}\sum _{i=1}^M f(Z_j)\right | \end{equation*}

\begin{equation*}\leq \|Q^N-U\|_{\textrm {TV}} + \left |\mathbb {E}_{Q^N}(f)- \frac {1}{M}\sum _{i=1}^M f(Z_j)\right |\end{equation*}

and we conclude that

\begin{equation*}\mathbb {P}\left \{\left |\mathbb {E}_U(f) - \frac {1}{M}\sum _{i=1}^M f(Z_j)\right |\geq \epsilon \right \}\leq \mathbb {P}\left \{ \left |\mathbb {E}_{Q^N}(f)- \frac {1}{M}\sum _{i=1}^M f(Z_j)\right |\geq \beta \right \},\end{equation*}

where $\beta = \epsilon -\|Q^N-U\|_{\textrm{TV}}$ . Since $\beta \gt 0$ , the right-hand side is bounded by $2\exp (\!-M\beta ^2/2 )$ from Hoeffding’s inequality for bounded random variables [[Reference HoeffdingH], Theorem 2], proving the claim.

Example 3.16. Suppose $X$ is the set of tours through a fixed set of cities $1,\dots, n$ and let $\ell (x)$ be the total distance travelled in tour $x$ . The set $X$ has $(n-1)!$ elements and finding a tour of least total length is the classical travelling salesman problem (TSP), of much interest in combinatorial optimization. It is often desirable to know the average cost $\mathbb{E}_{U}(f)$ of functions $f$ among all possible tours. This is especially challenging if the function depends nonlinearly on the tour. When $f$ is bounded, Theorem 1.4 gives us a natural approach for obtaining such estimates via simulations, together with error bars on such estimates. In this example we give some nonlinear functions whose averages are of interest for the TSP and show some combinatorial techniques that can be used for obtaining the necessary total variation bounds.

Motivated by the simulated annealing approach [[Reference MadrasM], Section 4.4.3] for solving the TSP, define for a fixed real number $\beta$ the probability distribution $\pi _{\beta }(x)$ on $X$ , given by the formula $\pi _{\beta }(x)=e^{-\beta \ell (x)}/C_{\beta }$ , where $C_\beta (x)\;:\!=\;\sum _{x\in X} \pi _\beta (x)$ is the associated partition function. Note that $\pi _{\beta }(x)$ assigns higher probability to shorter tours and it is easy to see that in the limit $\beta \rightarrow \infty$ the $\pi _{\beta }(x)$ -average length

\begin{equation*}\overline {\ell }_\beta \;:\!=\;\sum _{x\in X} \ell (x)\pi _{\beta }(x)\end{equation*}

converges to the length of the shortest tour.

To estimate $\overline{\ell }_\beta$ define the functions $a_\beta (x)\;:\!=\;\ell (x)e^{-\beta x}$ , $c_\beta (x)=e^{-\beta \ell (x)}$ and the numbers $A_\beta \;:\!=\;\mathbb{E}_{U}[a(x)]$ , $C_{\beta }\;:\!=\;\mathbb{E}_{U}[b(x)]$ , and note that $\overline{\ell }_\beta = A_\beta/C_\beta$ . It is natural to estimate $A_\beta$ and $C_\beta$ via their sample averages

\begin{equation*} \begin {array}{c@{\quad}c@{\quad}c} \hat {A}_\beta \;:\!=\;\frac {1}{M}\sum _{j=1}^M a_\beta (Z_j) & & \hat {C}_\beta \;:\!=\;\frac {1}{M}\sum _{j=1}^M c_\beta (Z_j)\\[5pt] \end {array} \end{equation*}

which are easily computable with simulations. The convexity of the function $y/x$ in the positive orthant, together with Theorem 1.4, now imply the following corollary, which gives error bounds on these estimates. In the expressions below, $D$ is any upper bound on the length of tours (for instance the sum of the $n$ largest pairwise distances among cities).

Corollary 3.17. Let $\epsilon,\eta \gt 0$ be real numbers. Choose $N$ large enough so that

\begin{align*} \|Q^{(N)}-U\|_{\textrm{TV}} \lt \frac{\epsilon e^{-2\beta D}}{D^2} \end{align*}

and choose $M$ large enough so that

\begin{align*} 2\exp \left (-\frac{M\left (\frac{\epsilon e^{-2\beta D}}{D^2}-\|Q^{(N)}-U\|_{\textrm{TV}}\right )^2}{2}\right )\lt \eta . \end{align*}

If we use $M$ independent samples of the $N$ -th stage of the random walk defined by the distribution $Q$ to compute the estimates $\hat{A}_\beta, \hat{C}_\beta$ , then the following inequalities hold with probability at least $1-2\eta$

\begin{align*} -2\epsilon +\frac{\hat{A}_\beta }{\hat{C}_\beta }\leq \overline{\ell }_\beta =\frac{A_\beta }{C_\beta }\leq \frac{\hat{A}_\beta }{\hat{C}_\beta }+2\epsilon . \end{align*}

In order to use the previous corollary one needs good total variation bounds. For conjugation-invariant probability distributions $Q$ , such bounds follow from Corollary 1.3 provided we have good estimates of the involved multiplicities. We now illustrate such multiplicity calculations assuming, for simplicity, that $n$ is a prime number.

The stabilizer of the cycle $(1,2,\dots, n)$ is the cyclic subgroup $\mathbb{Z}/n\mathbb{Z}$ generated by the cycle $(1,2\dots, n)$ . By primality of $n$ , this subgroup is contained in only two conjugacy classes of $S_n$ , namely that of the identity and that of a single $n$ -cycle $c$ .

By Remark 3.3, we conclude that for any partition $\lambda$ of $n$ we have

\begin{equation*}m(S^{\lambda },\mathbb {C} X) = \frac {1}{n}\left (\dim (S^{\lambda })+(n-1)\chi _{S^{\lambda }}(c)\right ).\end{equation*}

We then use the hook length formula and the Murnaghan-Nakayama rule to compute the terms in the right-hand side of the expression above. Recall that a hook in a partition $\lambda$ is a choice of a box in the corresponding Young diagram together with all boxes to the right in the same row and all boxes below in the same column. The total number of boxes in a hook is called its length. A skew-hook in a partition $\lambda$ is a connected collection of boundary boxes in its Young diagram whose removal leaves a smaller Young diagram. The total number of boxes in a skew-hook is called its length. There is a bijective correspondence between hooks and skew-hooks which preserves length (illustrated in [[Reference Fulton and HarrisFH], Problem 4.45]).

The hook length allows us to compute the dimensions of the $S^{\lambda }$ using the remarkable hook length formula [[Reference Fulton and HarrisFH], Formula 4.12]

\begin{equation*}\textrm {dim}(S^{\lambda })=\frac {n!}{\prod _{h}\textrm {Hook Length(h)}},\end{equation*}

where the product is taken over all hooks contained in $\lambda$ . Furthermore, the value of a character $\chi _{S_{\lambda }}(g)$ can be computed from the Murnaghan-Nakayama rule, which states [[Reference Fulton and HarrisFH], Problem 4.45] that if $g=jh$ , where $j$ is an $m$ -cycle and $h$ is a permutation disjoint from $j$ , then

\begin{equation*}\chi _{S^\lambda }(g)=\sum (\!-\!1)^{r(\mu )}\chi _{S^{\mu }}(h).\end{equation*}

Above, the sum is taken over all partitions $\mu$ of $n-m$ obtained from $\lambda$ by removing a skew-hook of length $m$ and $r(\mu )$ is the number of vertical steps in the skew-hook.

In our special case, $g=c$ is a cycle of length $n$ and $\lambda$ is a partition of $n$ . Therefore, the Murnaghan-Nakayama rule implies that $\chi _{S^{\lambda }}(c)=0$ unless $\lambda$ contains at least one hook of length $n$ . This occurs only if $\lambda$ is itself a hook, meaning that $\lambda$ is a partition of the form $1+a,1^b$ , where $a$ and $b$ are positive integers with $1+a+b=n$ . For such partitions the sum above becomes

\begin{equation*}\chi _{S^{\lambda }}(c)=(\!-\!1)^b +(\!-\!1)^{b-1}+\dots +(\!-\!1)^0,\end{equation*}

so the absolute value of $\chi _{S^{\lambda }}(c)$ is bounded by one. Furthermore, the hook length formula gives $\textrm{dim}(S^{\lambda })=\binom{n-1}{b}$ , and we conclude that the inequality

\begin{equation*}\frac {m(S^{\lambda }, \mathbb {C} X )}{\dim (S^{\lambda })}\leq \frac {1}{n}\left (1 + \frac {n-1}{\binom {n-1}{a}}\right )\end{equation*}

holds for every partition. In particular, for every representation other than the trivial and the sign representations (which occur when $a=n$ and $b=0$ respectively), we have

\begin{equation*}\frac {m(S^{\lambda }, \mathbb {C} X )}{\dim (S^{\lambda })}\leq \frac {1}{n}\left (1 + \frac {n-1}{\binom {n-1}{a}}\right )\leq \frac {2}{n}.\end{equation*}

For the trivial and alternating representations, direct calculation shows that the equalities $m(S^{1^n}, \mathbb{C} X)=m(S^{(n)},\mathbb{C} X)=1$ hold. These observations allow us to leverage existing mixing rate estimates for conjugation-invariant random walks on $S_n$ to obtain improved mixing rate estimates for $X$ . Applying the well-known transposition walk estimates from [[Reference DiaconisD], Theorem 5], we obtain the following corollary, which provides the total variation bounds needed for Corollary 3.17.

Corollary 3.18. For a prime number $n$ , let $X$ be the set of tours of cities $1,\dots, n$ , and let $Q$ be the probability distribution on $S_n$ given by $Q(id)=1/n$ and $Q(\tau )=2/n^2$ for all transpositions $\tau$ . If $q=\sum _{g\in S_n} Q(g)e_g$ , then the following inequality holds for every initial state $x_0\in X$ and every stage $N=\frac{n\log (n)}{2}+cn$ for $c\gt 0$

\begin{equation*}\| q^{(N)}\cdot x_0 -\overline {u}\|_{\textrm {TV}}^2\leq \frac {2a^2e^{-4c}}{n} + \frac {\left (2/n-1\right )^{2N}}{4},\end{equation*}

where $a$ is a universal constant (i.e., independent of the values of $n$ and $N$ ).

4.1 Fourier joint spectral radii

If $A_1,\dots, A_m$ are a set of $n\times n$ matrices with complex entries, then their joint spectral radius, introduced by Rota and Strang in [Reference Rota and StrangRS], is defined as

\begin{equation*}\textrm {jsr}(A_1,\dots, A_m)\;:\!=\;\lim _{N\rightarrow \infty } \max _{w: |w|=N}\|A_{w_1}A_{w_2}\dots A_{w_N}\|^{\frac {1}{N}}.\end{equation*}

It is known that this limit always exists and that its value is independent of the chosen matrix norm.

Definition 4.2. The Fourier joint spectral radius of the distributions $Q_1,\dots, Q_m$ on $G$ relative to $X$ is the number

\begin{equation*}\overline {\omega }_X(Q_1,\dots, Q_m) \;:\!=\; \max _{\textrm {triv}\neq \rho _j\in \mathbb {C} X } \left \{\textrm {jsr}\left (\widehat {Q_1}(\rho _j),\dots, \widehat {Q_m}(\rho _j)\right )\right \},\end{equation*}

where the maximum is taken over all nontrivial irreducible representations $\rho _j$ of $G$ that appear in the module $\mathbb{C} X$ and $\textrm{jsr}$ denotes the joint spectral radius of a set of matrices.

Next, we prove Theorem 1.6, which establishes that the worst case asymptotic behaviour of the switched random walk determined by the probability distributions $Q_1,\dots, Q_m$ is encoded in their Fourier joint spectral radius. Note that the mixing rate of the worst case behaviour is an upper bound for that of the typical behaviour of the switched random walk, where at each step the distribution is chosen uniformly at random from the set $\{Q_1,\dots, Q_m\}$ .

Proof of Theorem 1.6. Since any two norms in a finite-dimensional vector space are equivalent, we know that there exist positive constants $C_1$ and $C_2$ such that the following inequality holds for every word $w$ of length $N$ and every $x_0\in X$

\begin{equation*}C_1 \|q^{(w)}\cdot e_{x_0} -\overline {u}\|_2\leq \|q^{(w)}\cdot e_{x_0} -\overline {u}\|_1\leq C_2 \|q^{(w)}\cdot e_{x_0} -\overline {u}\|_2.\end{equation*}

Therefore, the equality in the Theorem is equivalent to

\begin{equation*}\lim _{N\rightarrow \infty } \left (\max _{x, w:|w|=N}\|q^{(w)}\cdot e_{x_0} -\overline {u}\|_2\right )^{\frac {1}{N}}=\overline {\omega }_X\left (Q_1,\dots, Q_m\right ).\end{equation*}

For any word $w$ of length $N$ , the inequality

\begin{equation*}\max _{x_0\in X} \|q^{(w)}\cdot e_{x_0} -\overline {u}\|_2 \geq \sqrt {\frac {\sum _{x\in X} \|q^{(w)}\cdot e_x -\overline {u}\|_2^2}{|X|}} =\frac {\|q^{(w)}-\overline {u}_G\|_{\textrm {Fb}}}{\sqrt {|X|}}\end{equation*}

holds, and by the submutiplicativity of the Frobenius norm, so does the following

\begin{equation*}\max _{x_0\in X} \|q^{(w)}\cdot e_{x_0} -\overline {u}\|_2\leq \|q^{(w)}-\overline {u}_G\|_{\textrm {Fb}}.\end{equation*}

The equality of the Theorem is therefore equivalent to

\begin{equation*}\lim _{N\rightarrow \infty } \left (\max _{w:|w|=N}\|q^{(w)} -\overline {u}_G\|_{\textrm {Fb}}\right )^{\frac {1}{N}}=\overline {\omega }_X\left (Q_1,\dots, Q_m\right ).\end{equation*}

By Lemma 3.2 and by the orthogonal invariance of the Frobenius norm, we know that for every word $w$ of length $N$ the following equality holds

\begin{equation*}\|q^{(w)}-\overline {u}_G\|_{\textrm {Fb}}^2 = \sum _{V_j\neq \textrm {triv}} m(V_j,\mathbb {C} X) \|\hat {Q}(\rho _j)_{w_1}\hat {Q}(\rho _j)_{w_2}\dots \hat {Q}(\rho _j)_{w_N}\|^2_{\textrm {Fb}}.\end{equation*}

Taking $N$ th roots on both sides and letting $R$ denote the number of irreducible representations of $G$ appearing in $\mathbb{C} X$ , we obtain the inequality

\begin{align*} & \|q^{(w)}-\overline {u}_G\|_2^{\frac {1}{N}}\leq \left (R\max _{\rho _j\neq \textrm {triv}} m(V_j, \mathbb {C} X)\right )^{1/2N} \\[5pt] & \left (\max _{\textrm {triv}\neq \rho _j\in \mathbb {C} X}\max _{w: |w|=N}\|\hat {Q}(\rho _j)_{w_1}\hat {Q}(\rho _j)_{w_2}\dots \hat {Q}(\rho _j)_{w_N}\|^2_{\textrm {Fb}}\right )^{1/2N}, \end{align*}

and therefore

\begin{align*} & \max _{w: |w|=N}\|q^{(w)}-\overline {u}\|_2^{\frac {1}{N}}\leq \left (R \max _{\rho _j\neq \textrm {triv}} m(V_j, \mathbb {C} X)\right )^{1/2N} \\[5pt] & \left (\max _{\textrm {triv}\neq \rho _j\in \mathbb {C} X}\max _{w: |w|=N}\|\hat {Q}(\rho _j)_{w_1}\hat {Q}(\rho _j)_{w_2}\dots \hat {Q}(\rho _j)_{w_N}\|^2_{\textrm {Fb}}\right )^{1/2N}.\end{align*}

Letting $N\rightarrow \infty$ , we obtain

\begin{equation*}\lim _{N\rightarrow \infty } \left (\max _{w: |w|=N} \|q^{(w)}-\overline {u}\|_{2}\right )^{1/N} \leq \overline {\omega }_X(Q_1,\dots, Q_m).\end{equation*}

For the opposite inequality, note that for every irreducible representation $V_t$ appearing in $\mathbb{C} X$ and every word $w$ of length $N$ we have

\begin{equation*}\|\hat {Q}(\rho _t)_{w_1}\hat {Q}(\rho _t)_{w_2}\dots \hat {Q}(\rho _t)_{w_N}\|_{\textrm {Fb}}\leq \|q^{(w)}-\overline {u}_G\|_{\textrm {Fb}}.\end{equation*}

Therefore, taking $N$ th roots, maximizing over $w$ , and letting $N\rightarrow \infty$ , we obtain

\begin{equation*}\textrm {jsr}\left (\hat {Q_1}(\rho _t),\dots,\hat {Q_m}(\rho _t)\right )\leq \lim _{N\rightarrow \infty }\max _{w: |w|=N}\|q^{(w)}-\overline {u}_G\|_{2}^{1/N}.\end{equation*}

We conclude that the right-hand side is bounded below by $\overline{\omega }_X(Q_1,\dots, Q_m),$ proving the equality in the theorem. Since the total variation distance between two probability distributions is bounded by one, the equality

\begin{equation*}\lim _{N\rightarrow \infty } \left (\max _{x, w:|w|=N}\|q^{(w)}\cdot e_{x_0} -\overline {u}\|_{\textrm {TV}}\right )^{\frac {1}{N}}=\overline {\omega }_X\left (Q_1,\dots, Q_m\right )\end{equation*}

implies that $\overline{\omega }_X (Q_1,\dots, Q_m )\leq 1,$ . We will show that $Q_1,\dots, Q_m$ has the adversarial mixing property if and only if the strict inequality holds. If $\overline{\omega }_X(Q_1,\dots, Q_m)\lt 1$ and $\alpha$ is any real number with $\overline{\omega }_X(Q_1,\dots, Q_m)\lt \alpha \lt 1$ , then there exists an integer $N_0$ such that for every initial $x_0\in X$ and every word $w$ of length $N\geq N_0$ we have

\begin{equation*}\|q^{(w)}\cdot e_{x_0}-\overline {u}\|_{\textrm {TV}}\leq \alpha ^N.\end{equation*}

This proves the convergence to the uniform distribution, since $\alpha ^N$ converges exponentially to zero. Conversely, if $\overline{\omega }_X(Q_1,\dots, Q_m)=1$ , then there exists a representation $\rho _t$ appearing in $\mathbb{C} X$ such that $\textrm{jsr} (\hat{Q_1}(\rho _t),\dots, \hat{Q_m}(\rho _t) )=1$ . By [[Reference BernsteinB], Theorem 2], $\limsup \max _{w}\Lambda (\prod _{w_i}\hat{Q_{w_i}}(\rho _t))=1$ , where $\Lambda (A)$ denotes the magnitude of the largest eigenvalue of the matrix $A$ . As a result, given $\epsilon \gt 0$ , there exists a sequence of integers $n_j$ and words $w^{j}$ of length $n_j$ such that $\hat{Q_{w^j_1}}(\rho _t)\cdots \hat{Q_{w^j_{n_j}}}(\rho _t)$ has an eigenvalue of size at least $(1-\epsilon )$ and therefore its Frobenius norm is at least $1-\epsilon$ . By Corollary 1.2, for every such word there exists an initial state $x_j\in X$ such that

\begin{equation*}\|q^{(w^{j})}\cdot e_{x_j}-\overline {u}\|_{\textrm {TV}}\geq \sqrt {\frac {(1-\epsilon )^2}{4|X|}}.\end{equation*}

Since $X$ is finite, there is an initial state $x^*$ which appears infinitely many times among the ${x_j}’s$ , and we conclude that the switched random walk determined by $Q_1,\dots, Q_m$ starting from $x^*$ does not converge.

At this point the sceptical reader may wonder whether the theory is trivial in the sense that the equality $\overline{\omega }_X(Q_1,\dots,Q_m)=\max _j ( \overline{\omega }_X(Q_j) )$ holds in general (case in which switching the random walk can never be worst than permanently using some of its defining distributions). The following example shows that this is not the case even for $3\times 3$ doubly stochastic matrices.

Example 4.3 (Non-triviality). Consider the following two probability distributions in $S_3$

Their action in the permutation module $M^{(2,1)}$ is given by the matrices

\begin{equation*} M_1 = \left (\begin {array}{c@{\quad}c@{\quad}c} 3/8 & 1/4 & 3/8\\[5pt] 3/8 & 3/8 & 1/4\\[5pt] 1/4 & 3/8 & 3/8\\[5pt] \end {array}\right )\text {, } M_2 = \left (\begin {array}{c@{\quad}c@{\quad}c} 1/4 & 1/4 & 1/2 \\[5pt] 3/8 & 3/8 & 1/4 \\[5pt] 3/8 & 3/8 & 1/4 \\[5pt] \end {array}\right ) .\end{equation*}

Their Fourier jsr relative to $M^{(2,1)}$ is equal to the jsr of their Fourier transforms in the representation $S^{(2,1)}$ , namely the matrices:

\begin{equation*} N_1 = \left (\begin {array}{c@{\quad}c} 0.0625 & 0.108253\\[5pt] -0.108253 & 0.0625\\[5pt] \end {array}\right )\text {, } N_2 = \left (\begin {array}{c@{\quad}c} -0.125 & 0\\[5pt] -0.216506 & 0\\[5pt] \end {array}\right ) .\end{equation*}

Their spectral radii $\Lambda$ satisfy $\Lambda (N_1)=0.125$ , $\Lambda (N_2)= 0.125$ and $\Lambda (N_1N_2)=0.03125$ . As a result $\Lambda (N_1N_2)\gt \max (\Lambda (N_1),\Lambda (N_2) )^2$ and therefore

\begin{equation*}\overline {\omega }_{M^{(2,1)}}(M_1,M_2)\geq \Lambda (N_1N_2)^{1/2} \gt \max _i\left (\Lambda (N_i)\right ) = \max \left (\overline {\omega }_{M^{(2,1)}}(M_1),\overline {\omega }_{M^{(2,1)}}(M_2)\right ).\end{equation*}

Remark 4.4. The example above notwithstanding, there are cases beyond the trivial situation of commuting matrices where switching does not make mixing more elusive. For instance, if the $Q_i$ are symmetric distributions, in the sense that $Q_i(g)=Q_i(g^{-1})$ for all $g\in G$ , then the matrices $\hat{Q}_i(\rho _j)$ are Hermitian and in particular, their spectral radius coincides with their operator norm $\|\hat{Q}_i(\rho _j)\|$ (matrices with this property are called radial and have been classified [Reference Goldberg and ZwasGZ]). Since the operator norm is submultiplicative, for any word $w$ of length $N$ we have the inequality

\begin{equation*}\|\hat {Q}_{w_i}(\rho _j)\cdots \hat {Q}_{w_N}(\rho _j)\|^{1/N}\leq \max _t \|\hat {Q}_{t}(\rho _j)\|,\end{equation*}

which implies that the equality

\begin{equation*}\overline {\omega }_X(Q_1,\dots, Q_m)=\max _j \left (\overline {\omega }_X(Q_j)\right )\end{equation*}

holds for every $G$ -set $X$ and for symmetric distributions $Q_1,\dots, Q_m$ or, more generally, for distributions whose Fourier transforms are radial.

Remark 4.5. By Birkhoff’s Theorem, the convex hull of permutation matrices coincides with the set of doubly stochastic matrices. It follows that doubly stochastic matrices are precisely the possible random walks on $M^{(n-1,1)}$ induced by a distribution $Q$ on $S_n$ . Since $M^{(n-1,1)}=\textrm{triv} \oplus S^{(n-1,1)}$ , it follows that for a single distribution the number $\overline{\omega }_{M^{(n-1,1)}}(Q)$ coincides with the SLEM (second largest eigenvalue in magnitude) of the chain studied in [Reference Boyd, Diaconis and XiaoBDX, Reference SaganBDPX] for the design of fast-mixing chains. We can think of Fourier spectral radii as a generalization of this quantity for several distributions and arbitrary symmetries (see Figure 2).

Figure 2. The ball of $V$ with radius $1/4$ contains the images under $N_1$ and $N_2$ of the unit ball of $V$ .

4.2 Estimation of Fourier jsrs

The computation of the jsr of a given set of matrices is a surprisingly difficult problem. As mentioned in the introduction, it is known to be undecidable whether the jsr of a pair of matrices is bounded by one and it is unknown whether checking if it is strictly bounded by one is decidable. Nevertheless, the seminal work of Parrilo and Jabjabadie [Reference Parrilo and JadbabaiePJ], Ahmadi and Jungers [Reference Ahmadi and JungersAJ] and Ahmadi, de Klerk and Hall [Reference Ahmadi, de Klerk and HallAdKH], among others, has provided us with sum-of-squares algorithms which are capable of approximating jsrs to arbitrary accuracy (albeit at an often significant computational effort which cannot be predicted in advance as the undecidability results show). In this section, we extend the results of [Reference Ahmadi, de Klerk and HallAdKH] to polynomial norms expressible via Hermitian sums of squares, allowing us to estimate join spectral radii for matrices with complex entries, the case of interest for the computation of Fourier jsrs. Note that the extension is not completely trivial, since a norm on the underlying real vector space of $\mathbb{C}^n$ is not generally a complex norm because the equality $\|\lambda x\|=|\lambda |\|x\|$ needs to hold for arbitrary complex numbers $\lambda$ .

We begin by explaining the general approach for the estimation of jsrs via sums of squares. Recall that the jsr of a set $A_1,\dots, A_m$ of $n\times n$ matrices with complex entries is a limit which can be computed using any matrix norm. If we use a matrix norm $\|\bullet \|_{\textrm{op}}$ which is induced by a norm $\|\bullet \|$ on vectors in $\mathbb{C}^n$ , then the submultiplicativity of induced norms implies that the inequality

\begin{equation*}\textrm {jsr}(A_1,\dots, A_m)\leq \max _j \|A_j\|_{\textrm {op}}\end{equation*}

holds. A basic result of Rota and Strang [Reference Rota and StrangRS] states that such inequalities give arbitrarily good estimates for jsr’s in the sense that

\begin{equation*}\textrm {jsr}(A_1,\dots, A_m) = \inf _{\|\bullet \|}\left (\max _j \|A_j\|_{\textrm {op}}\right ),\end{equation*}

as the infimum runs over all norms in $\mathbb{C}^n$ .

Over the real numbers, we know from results of [Reference Ahmadi, de Klerk and HallAdKH] that arbitrary norms can be uniformly approximated by polynomial norms (i.e., by norms of the form $V(x)=f^{1/{2d}}(x)$ , where $f$ is some sum-of-squares form of degree $2d$ ). This proves that the optima over polynomial norms $V$ of increasing degrees satisfying $V(A_ix)\leq \gamma V(x)$ would eventually prove that a real number $\gamma$ is an upper bound for the jsr of $A_1,\dots,A_m$ when this is indeed the case. The following lemma extends this result to the complex numbers, proving that all norms on a complex vector space can be approximated via norms defined by Hermitian sums of squares (i.e., sums of squared norms of complex polynomials).

Theorem 4.6 (Complex polynomial norms). Let $\|\bullet \|$ be a norm in $\mathbb{C}^n$ . There exists a sequence $\{F_{2d}\}_{d\in \mathbb{N}}$ of Hermitian sums of squares

\begin{equation*}F_{2d}(z)\;:\!=\;\sum _{i=1}^{N(2d)} w_i |\langle z,y_i\rangle |^{2d}\end{equation*}

for $N(2d)\in \mathbb{N}$ , points $y_i\in \mathbb{C}^n$ , and real positive weights $w_i$ for $i=1,\dots, N(2d)$ , which satisfy the following properties:

1. (1) The function $n_{2d}(z)\;:\!=\; F_{2d}(z)^{\frac{1}{2d}}$ is a norm in $\mathbb{C}^d$ .

2. (2) The inequality $n_{2d}(z)\leq \|z\|$ holds for $z\in \mathbb{C}^d$ .

3. (3) The sequence $n_{2d}(z)$ converges to $\|z\|$ uniformly on compact subsets of $\mathbb{C}^d$ .

Proof. Let $B\subseteq \mathbb{C}^n$ be the unit ball for $\|\bullet \|$ and let $B^{\circ }$ be its polar set

\begin{equation*}B^{\circ }\;:\!=\;\{y\in \mathbb {C}^n: \|y\|_*\leq 1\},\end{equation*}

where $\|y\|_*\;:\!=\;\sup _{x\in B} |\langle x,y\rangle |$ is the norm dual to $\|\bullet \|$ . Let $dy$ denote the Lebesgue measure in $\mathbb{C}^n$ and define the measure $\mu (A)\;:\!=\;\frac{1}{\textrm{Vol}(B^{\circ })}\int _{B^{\circ }\cap A} dy$ . Since $\mu$ has compact support, the generalized Tchakaloff Theorem–complex case of Curto and Fialkow [[Reference Curto and FialkowCF], Theorem 3.1] implies that for every degree $2d$ there exist $N_i(2d)\in \mathbb{N}$ , points $y_i\in B^{\circ }$ and positive weights $w_i$ for $i=1,\dots, N_i(2d)$ such that for every polynomial $f(z,\overline{z})$ of degree $2d$ the equality

\begin{equation*}\int _{\mathbb {C}^n} f(z,\overline {z})d\mu (z) = \sum _{i=1}^{N(2d)} w_i f(y_i,\overline {y_i})\end{equation*}

holds. In particular, for every $x\in \mathbb{C}^n$ we have

\begin{equation*}F_{2d}(x)\;:\!=\;\int _{\mathbb {C}^n} |\langle x,y\rangle |^{2d}d\mu (z)=\frac {1}{\textrm {Vol}(B^{\circ })}\int _{B^{\circ }} |\langle x,y\rangle |^{2d} dy = \sum _{i=1}^{N(2d)} w_i |\langle x,y_i\rangle |^{2d},\end{equation*}

proving that $F_{2d}(x)$ is a sum of Hermitian squares. Furthermore, if $0=F_{2d}(\alpha )$ , the integral expression implies that $\langle \alpha, y\rangle =0$ for all $y\in B^{\circ }$ , so $\|\alpha \|=0$ . As a result, the linear map $\phi \;:\; \mathbb{C}^n\rightarrow \mathbb{C}^{N(2d)}$ sending $x$ to $(\langle x,y_i\rangle )_i$ is injective. It follows that the function $n_{2d}(x)\;:\!=\;F_{2d}(x)^{\frac{1}{2d}}$ , which is obtained from the $\ell _{2d}$ -norm $ (\sum |a_i|^{2d} )^{2d}$ in $\mathbb{C}^{N(2d)}$ by composition with the injective linear map $\phi$ , is automatically a norm on $\mathbb{C}^d$ , proving $(1)$ . For $(2)$ , note that the inequality $\langle x,y\rangle \leq \|x\|\|y\|_*$ bounds the integral form of $F_{2d}(x)$ from above by $\|x\|^{2d}$ , yielding the inequality $n_{2d}(x)\leq \|x\|$ for all $x\in \mathbb{C}^n$ . It remains to show $(3)$ . Let $S$ (resp $S^*$ ) be the unit sphere for the norm $\|\bullet \|$ (resp. for the norm $\|\bullet \|_*$ ). Given $\epsilon \gt 0$ , the compactness of $S$ implies that there exist finitely many centres $a_1,\dots a_M$ in $S$ such that balls of norm $\|\bullet \|$ with radius $\epsilon$ centred at the $a_i$ cover $S$ . For each $i$ , let $b_i\in S^*$ be such that $\langle a_i,b_i\rangle = 1$ and define $B_i^{\circ }\;:\!=\;\{y\in B^{\circ }: \|y-b_i\|_*\leq \epsilon \}$ . We claim that for every $\epsilon \gt 0$ there exists $d$ such that $n_{2d}(x)\geq 1-3\epsilon$ for every $x'\in S$ simultaneously, proving $(3)$ . To verify this claim, take $x'\in S$ and assume $i$ is such that $\|x'-a_i\|\lt \epsilon$ . For every $y'\in B_i^{\circ }$ we have

\begin{equation*} |\langle x',y'\rangle |=|\langle a_i,b_i\rangle + \langle x',y'\rangle -\langle a_i,b_i\rangle |\geq 1-|\langle x',y'\rangle -\langle a_i,b_i\rangle |\geq 1-2\epsilon,\end{equation*}

where the last inequality holds because

\begin{equation*}|\langle x',y'\rangle -\langle a_i,b_i\rangle |= |\langle x',y'-b_i\rangle +\langle x'-a_i,b_i\rangle |\leq \|y'-b_i\|_*+\|x'-a_i\|\leq 2\epsilon .\end{equation*}

We conclude that for every $x'$ with $\|x'\|=1$ we have

\begin{equation*}n_{2d}(x')\geq (1-2\epsilon )\left (\min _{i=1,\dots, m}\frac {\textrm {Vol}(B_i^{\circ })}{\textrm {Vol}(B^{\circ })}\right )^{\frac {1}{2d}}\end{equation*}

and the right-hand side can be made larger than $1-3\epsilon$ by choosing a sufficiently large $d$ .

The previous theorem shows that norms defined by sums of powers of Hermitian squares of linear forms are sufficiently general so as to approximate all norms. Now we will consider a relaxation which has the advantage of being expressible via Hermitian semidefinite programming. To this end, let $\gamma \geq 0$ be any real number, let $L(z)$ be a Hermitian polynomial in the variables $z_1,z_2,\dots, z_n$ , and assume that the following conditions are met:

1. (1) $L(z)$ is a Hermitian sum-of-squares of forms of degree $d$ in $z_1,\dots, z_n$ . In particular, $L$ is real-valued in $\mathbb{C}^n$ .

2. (2) There exists $\epsilon \gt 0$ such that $L(z)\geq \epsilon \|z\|^{2d}$ .

3. (3) For every $(z,w)\in \mathbb{C}^{n}\times \mathbb{C}^n$ , the inequality $w^*H_L(z)w\geq 0$ holds, where $H_L(z)$ denotes the (Hermitian) Hessian matrix of $L(z)$ .

4. (4) The inequalities $L(A_jz)\leq \gamma ^{2d}L(z)$ hold.

Theorem [[Reference Ahmadi, de Klerk and HallAdKH], Theorem 2.1] and condition $(1)$ , which guarantees the correct behaviour for scalar multiplication, imply that $V(z)\;:\!=\;L(z)^{\frac{1}{2d}}$ is a complex norm. By $(4)$ , its induced operator norm proves that $\textrm{jsr}(A_1,\dots, A_m)\leq \gamma$ . Conversely, if $\textrm{jsr}(A_1,\dots, A_m)\lt \gamma$ , then there exists an integer $d$ such that $F_{2d}(z)$ from Theorem 4.6 satisfies items $(1)$ , $(3)$ and $(4)$ with strict inequalities, so the set of $L$ ’s satisfying the above inequalities strictly are able to guarantee that $\textrm{jsr}(A_1,\dots, A_m)\lt \gamma$ when this is the case. Quillen’s positivity theorem [[Reference Blekherman, Parrilo and ThomasBPT], Theorem 9.50], which states that every strictly positive byhomogeneous form $f(z,\overline{z})$ becomes a sum of Hermitian squares (HSOS) when multiplied by $\|z\|^{2r}$ for some sufficiently large integer $r$ , can now be used to construct the desired hierarchy of Hermitian semidefinite programmes. More precisely, we have proven.

Our final example illustrates the sum-of-squares approach for estimating Fourier jsrs. The values of the characters of the symmetric group are rational numbers and therefore we can limit ourselves to real sums of squares when computing Fourier jsrs for distributions on $S_n$ .

Example 4.8. We wish to estimate the Fourier spectral radius of the distributions $Q_1,Q_2$ defined in Example 4.3 relative to $\mathbb{C} S_3$ . In the sign representation $\rho _{sgn}$ the Fourier transforms satisfy $\hat{Q}_1(\rho _{\textrm{sgn}})=1/4$ and $\hat{Q}_2(\rho _{\textrm{sgn}})=0$ , so we know that

\begin{equation*}\overline {\omega }(Q_1,Q_2)=\max \left (\frac {1}{4}, \textrm {jsr}(N_1,N_2)\right ),\end{equation*}

where $N_1$ and $N_2$ are the Fourier transforms on the irreducible representation $S^{(2,1)}$ , computed explicitly in Example 4.3. To estimate the jsr of $N_1$ and $N_2$ we solve the optimization problem above. This problem constructs a polynomial $F(x)$ of degree $2d=4$ such that $V(x)\;:\!=\;F(x)^{\frac{1}{2d}}$ is a norm which certifies that the inequality $\textrm{jsr}(N_1,N_2)\leq 0.25$ holds, proving that $\overline{\omega }(Q_1,Q_2)=1/4$ .