Aldous's spectral-gap conjecture for the interchange process

At least 17 years old · documented by

Let XN={0,1}NX_N=\{0,1\}^N be the vertex set of the NN-dimensional hypercube, let XN,2={{i,j}:1≤i<j≤N}X_{N,2}=\{\{i,j\}:1\leq i<j\leq N\} be the set of coordinate pairs, and let q:XN,2→[0,∞)q:X_{N,2}\to[0,\infty) be a rate function. Define the random-walk and interchange-process generators by

ΩNRW(q)=∑{i,j}∈XN,2q({i,j})ΔN,(i,j),ΩNIP(q)=∑{i,j}∈XN,2q({i,j})Δ^N,(i,j).\Omega^{\text{RW}}_N(q)=\sum_{\{i,j\}\in X_{N,2}}q(\{i,j\})\Delta_{N,(i,j)},\qquad \Omega^{\text{IP}}_N(q)=\sum_{\{i,j\}\in X_{N,2}}q(\{i,j\})\widehat{\Delta}_{N,(i,j)}.

Write γNRW(q)=γ(ΩNRW(q))\gamma^{\text{RW}}_N(q)=\gamma(\Omega^{\text{RW}}_N(q)) and γNIP(q)=γ(ΩNIP(q))\gamma^{\text{IP}}_N(q)=\gamma(\Omega^{\text{IP}}_N(q)) for their spectral gaps. Aldous's conjecture. For every N≥2N\geq2 and every q:XN,2→[0,∞)q:X_{N,2}\to[0,\infty),

γNIP(q)=γNRW(q).\gamma^{\text{IP}}_N(q)=\gamma^{\text{RW}}_N(q).

The conjecture asserts that the interchange process has the same spectral gap as the associated random walk for every nonnegative choice of transposition rates; the general resolution status is not specified in the source.

References

Primary source

Matt Conomos and Shannon Starr, “Asymptotics of the Spectral Gap for the Interchange Process on Large Hypercubes”, arXiv:0802.1368 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.