---
title: Burnside Process in Markov Chains
url: https://www.emergentmind.com/topics/burnside-process
type: topic
---

# Burnside Process in Markov Chains

Searching arXiv for recent papers on the Burnside process and related variants.
The Burnside process is a Markov chain attached to a finite group action \(G\curvearrowright X\). From a current state \(x\in X\), it samples a group element from the stabilizer of \(x\) and then samples a new state from the corresponding fixed-point set, producing a reversible chain on \(X\) whose projection to the orbit space \(X/G\) has the uniform stationary distribution on orbits. In this form it is a general orbit-sampling mechanism rather than a sampler on orbit labels directly, and it has been developed for set partitions, conjugacy classes, contingency tables, parking functions, Dyck paths, and several weighted or dual variants [2510.25202] [2207.14269].

## 1. General construction and stationary law

Let \(X\) be a finite set and let \(G\) be a finite group acting on \(X\). For \(x\in X\), write \(G_x=\{g\in G:g\cdot x=x\}\) for the stabilizer, \(X^g=\{y\in X:g\cdot y=y\}\) for the fixed-point set, and \(O_x\) for the orbit of \(x\). The classical Burnside kernel is
\[
K(x,y)=\sum_{g\in G_x\cap G_y}\frac{1}{|G_x|}\frac{1}{|X^g|}.
\]
Equivalently, one step is: choose \(g\in G_x\) uniformly, then choose \(y\in X^g\) uniformly. A direct detailed-balance calculation gives the stationary law
\[
\pi_K(x)=\frac{|G_x|}{\sum_{u\in X}|G_u|}=\frac{1}{z\,|O_x|},
\]
where \(z=|X/G|\). Burnside’s lemma,
\[
\sum_{g\in G}|X^g|=|G|\,|X/G|,
\]
provides the normalization. When the chain is lumped by orbits, the induced chain on \(X/G\) has the uniform stationary distribution. Since the identity lies in every stabilizer and fixes every state, all entries \(K(x,y)\) are positive, so the chain is irreducible and aperiodic [2510.25202].

In the terminology of Diaconis and Zhong, the Burnside process is also a special case of the Swendsen–Wang or data-augmentation paradigm. In the examples where the lumped chain admits an explicit diagonalization, this interpretation connects orbit sampling to orthogonal-polynomial spectral theory, beta-binomial mixtures, and Mallows-type distributions on permutations [2012.13829].

## 2. Value permutations on \([k]^n\) and uniform sampling of set partitions

A central model takes \(X=[k]^n\) with \(k\ge n\), and \(G=S_k\) acting by permuting the values of a tuple coordinate-wise:
\[
(\sigma\cdot u)_i=\sigma(u_i),\qquad i=1,\dots,n.
\]
If \(u\in[k]^n\), let \(j_u\) be the number of distinct values appearing in \(u\), and define \(\pi(u)\in\Pi_n\) by \(i\sim j\) iff \(u_i=u_j\). Then two tuples lie in the same orbit exactly when they induce the same set partition of \([n]\), and
\[
\mathrm{Orb}(u)=\pi^{-1}(\pi(u)),\qquad |\mathrm{Orb}(u)|=\frac{k!}{(k-j_u)!}.
\]
Thus the orbit space is identified with set partitions of \([n]\), and running the Burnside chain on \([k]^n\) and returning \(\pi(u_t)\) yields a sampler for the uniform distribution on \(\Pi_n\). In this model the kernel admits a closed form: if \(u,v\in[k]^n\), \(j_u\) and \(j_v\) are their numbers of distinct values, and \(j\) is the size of the union of their value-sets, then
\[
K(u,v)=\frac{(k-j)!}{(k-j_u)!}\,\mathbb{E}\bigl[(Y+j)^n\bigr],
\]
where \(Y\) is the number of fixed points of a uniformly random permutation in \(S_{k-j}\). The chain is reversible with
\[
\pi(u)=\frac{(k-j_u)!}{k!}\,B_n^{-1},
\]
so that the lumped chain on \(\Pi_n\) has the uniform stationary distribution [2207.14269].

The same work gives quantitative convergence bounds. For \(k\ge n\), if
\[
d(t)=\max_u\|K^t(u,\cdot)-\pi\|_{\mathrm{TV}},
\]
then
\[
d(t)\le n\exp(-t/2^k),
\qquad
t_{\mathrm{mix}}(\varepsilon)\le 2^k\bigl(\log n+\log(1/\varepsilon)\bigr).
\]
The proof uses a two-stage coupling: first coupling stabilizer permutations on the union of the free labels, then coupling the relabeling step by a maximal-matching coupling on fixed-point sets. For \(k<n\), a global minorization gives
\[
K(u,v)\ge (k-1)!/k^n
\]
for all \(u,v\), hence
\[
t_{\mathrm{mix}}(\varepsilon)\le \frac{k^n}{(k-1)!}\ln(1/\varepsilon).
\]
On the lumped chain \(\bar K\) on \(\Pi_n\), the spectral gap satisfies
\[
1-\lambda_2(\bar K)\ge (n+1)^{-2}B_n^{-1},
\qquad
1-\lambda_2(\bar K)\le 5(\log n)B_n^{-1},
\]
so
\[
t_{\mathrm{mix}}(\varepsilon)=\Theta\bigl(B_n\log(1/\varepsilon)\bigr)
\]
up to polynomial-in-\(n\) factors. The resulting sampler is therefore rapidly mixing when \(k\) grows at most polynomially in \(n\) [2207.14269].

## 3. Coordinate permutations, the binary cube, and Hahn-polynomial diagonalization

A second explicit setting uses the action of \(S_n\) on \(\{0,1\}^n\) by permuting coordinates. All binary strings of Hamming weight \(j\) lie in a single orbit, so the Burnside chain lumps to a chain \(Q\) on \(\{0,1,\dots,n\}\) recording the current weight. From a binary vector \(x\) of weight \(j\), one samples a permutation \(\sigma\in S_j\times S_{n-j}\) uniformly from the stabilizer of \(x\), writes \(\sigma\) in cycle form, independently labels each cycle by \(0\) or \(1\) with probability \(1/2\), and assigns that label to all coordinates in the cycle. The lumped chain is reversible with the uniform law
\[
\pi(j)=\frac{1}{n+1},\qquad j=0,1,\dots,n.
\]
This provides one of the cleanest exact Burnside-process spectral analyses [2012.13829].

The orthogonal polynomials for the uniform weight on \(\{0,\dots,n\}\) are the Hahn polynomials with parameters \(\alpha=\beta=1\), which here become the discrete Chebyshev polynomials \(T_k\). The spectrum is explicit: all odd-degree polynomials \(T_{2k-1}\) are annihilated, while the even-degree polynomials \(T_{2k}\) are eigenfunctions with eigenvalues
\[
\lambda_k=\frac{\binom{2k}{k}^2}{2^{4k}},\qquad
k=0,1,2,\dots,\lfloor n/2\rfloor.
\]
The \(l\)-step kernel therefore has a full spectral expansion in the \(T_{2k}\). Using orthogonality and a \(\chi^2\)-bound, one gets
\[
\|Q^l(i,\cdot)-\pi\|_{\mathrm{TV}}\le C(1/4)^l
\]
for worst-case initial states such as \(i=0\) or \(i=n\), together with the matching lower bound
\[
\|Q^l(i,\cdot)-\pi\|_{\mathrm{TV}}\ge \frac14(1/4)^l.
\]
Hence the chain mixes in exactly \(\Theta(1)\) steps. This example is the setting in which the Burnside process is diagonalized by Hahn polynomials and where sharp geometric convergence is obtained rather than only polynomial upper bounds [2012.13829].

## 4. Partitions, contingency tables, parking functions, and Dyck paths

When \(X=G=S_n\) and the action is conjugation, the orbits are conjugacy classes, equivalently integer partitions \(\lambda\vdash n\). The Burnside step becomes: from a permutation \(\sigma\), sample \(g\) uniformly from the centralizer \(\mathrm{C}_{S_n}(\sigma)\), then sample \(\tau\) uniformly from \(\mathrm{C}_{S_n}(g)\), and set the next state to \(\tau\). On cycle counts \(\lambda=(1^{a_1}2^{a_2}\dots)\), the centralizer decomposes as
\[
\mathrm{C}_{S_n}(\sigma)\cong \prod_{l\ge1}(C_l\wr S_{a_l}),
\]
and the cycle-type of a uniform element in each \(C_l\wr S_a\) can be sampled by a discrete stick-breaking construction together with independent uniform choices in \(\{1,\dots,l\}\). The resulting lumped Burnside step on partitions runs in average \(O(\sqrt n\,\log n)\) time and space. A parallel construction for the action of \(S_\lambda\times S_\mu\) on \(S_n\) by left-right multiplication yields a Burnside sampler for contingency tables with margins \(\lambda,\mu\); in lumped form it runs in \(O(IJ\,\log n)\) average time and memory and exploits Fisher–Yates sampling on cellwise cycle data [2503.02818].

For Catalan structures, let \(\mathrm{PF}_n\subset[n]^n\) be the parking functions and let \(S_n\) act by permuting coordinates. Because the parking condition depends only on the sorted multiset of entries, orbits are indexed by weakly increasing parking functions \(\mathrm{IPF}_n\), and \(|\mathrm{IPF}_n|=C_n\). The stationary distribution on \(\mathrm{PF}_n\) is
\[
\pi(x)=\frac{\prod_{a=1}^n h_a(x)!}{n!\,C_n},
\]
where \(h_a(x)\) is the histogram of value \(a\), so the lumped chain is uniform on \(\mathrm{IPF}_n\). Via the \(S_n\)-equivariant bijection \(\mathrm{PF}_n\leftrightarrow \mathrm{LD}_{2n}\), the same

Source: https://www.emergentmind.com/topics/burnside-process