On 1-factorizations of Bipartite Kneser Graphs

It is a challenging open problem to construct an explicit 1-factorization of the bipartite Kneser graph $H(v,t)$, which contains as vertices all $t$-element and $(v-t)$-element subsets of $[v]:=\{1,\ldots,v\}$ and an edge between any two vertices when one is a subset of the other. In this paper, we propose a new framework for designing such 1-factorizations, by which we solve a nontrivial case where $t=2$ and $v$ is an odd prime power. We also revisit two classic constructions for the case $v=2t+1$ --- the \emph{lexical factorization} and \emph{modular factorization}. We provide their simplified definitions and study their inner structures. As a result, an optimal algorithm is designed for computing the lexical factorizations. (An analogous algorithm for the modular factorization is trivial.)Comment: We design the first explicit 1-factorization of H(2,q), where q is a odd prime powe

Higher melonic theories

We classify a large set of melonic theories with arbitrary $q$-fold interactions, demonstrating that the interaction vertices exhibit a range of symmetries, always of the form $\mathbb{Z}_2^n$ for some $n$, which may be $0$. The number of different theories proliferates quickly as $q$ increases above $8$ and is related to the problem of counting one-factorizations of complete graphs. The symmetries of the interaction vertex lead to an effective interaction strength that enters into the Schwinger-Dyson equation for the two-point function as well as the kernel used for constructing higher-point functions.Comment: 43 pages, 12 figure