SearcharxivSearch

arXiv subjects

Holden Mui

Publications and source records attributed to Holden Mui.

3 recordsLinked to original sources

Coalescence Probabilities of Cycle Products

Generalizing a formula of Stanley, we prove combinatorially that the probability that $1, 2, \dots, k$ are contained in the same cycle of a product of two random $n$-cycles is \[\frac{1}{k} + \frac{4 (-1)^n}{ \binom{2k}{k}} \sum_{\substack{1 \leq i \leq k-1 \\ i \not\equiv n \bmod 2}} \binom{2k-1}{k+i} \left(\frac{1}{n+i+1} - \frac{1}{n-i}\right).\]

math.CO

Flip Graphs on Self-Complementary Ideals of Chain Products

In this paper, we introduce a flip operation on self-complementary ideals of chain product posets and study the resulting flip graphs. We give asymptotics for the number of vertices in these graphs, compute their diameters, and give bounds for their radii. We also define similar flip operations on self-complementary ideals of the chain product $[2r]\times [2r]\times [2r]$ satisfying additional symmetries, and we achieve similar results for the resulting flip graphs.

math.CO

Symmetric Operations on Domains of Size at Most 4

To convert a fractional solution to an instance of a constraint satisfaction problem into a solution, a rounding scheme is needed, which can be described by a collection of symmetric operations with one of each arity. An intriguing possibility, raised in a recent paper by Carvalho and Krokhin, would imply that any clone of operations on a set $D$ which contains symmetric operations of arities $1, 2, \ldots, \lvert D \rvert$ contains symmetric operations of all arities in the clone. If true, then it is possible to check whether any given family of constraint satisfaction problems is solved by its linear programming relaxation. We characterize all idempotent clones containing symmetric operations of arities $1, 2, \ldots, \lvert D \rvert$ for all sets $D$ with size at most four and prove that each one contains symmetric operations of every arity, proving the conjecture above for $\lvert D \rvert \leq 4$.

math.RA