Let denote the subset of the hypercube
consisting of strings
that satisfy
for
.
Consider the random transposition walk on . That is, at each step choose
uniformly at random (
is allowed), and if swapping
and
yields a sequence in
, then perform this swap, otherwise do nothing. What is the order of magnitude of mixing time of this chain? A natural conjecture is that it is
. A lower bound of that order should not be hard to prove, although the best published bound we are aware of is of order
, see [1], section 4. The best available upper bound, proved in [1], see also [2], is
. The proof is quite ingenious.
REFERENCES
[1] Cohen, Emma, Prasad Tetali, and Damir Yeliussizov. "Lattice path matroids: negative correlation and fast mixing." Link >>
[2] Cohen, Emma. "Problems in catalan mixing and matchings in regular hypergraphs." PhD diss., Georgia Institute of Technology, 2016. Link >>