arXiv++ Combinatorics

The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.

Let $G=(V,E)$ be a matching-covered graph, denote by $P$ its perfect matching polytope, and by $L$ the integer lattice generated by the integral points in $P$. In this paper, we give short, polyhedral proofs for two difficult results established by Lovász (1987), and by Carvalho, Lucchesi, and Murty (2002) in a series of three papers totaling over 120 pages. More specifically, we prove that $L$ has a lattice basis consisting solely of incidence vectors of some perfect matchings of $G$, $2x\in L$ for all $x\in \mathrm{lin}(P)\cap \mathbb{Z}^E$, and if $G$ has no Petersen brick then $L = \mathrm{lin}(P)\cap \mathbb{Z}^E$. Our proof avoids major technical aspects of the previous proofs, the most important of these being a characterization of the dual lattice, and a `Petersen-brick-sensitive' ear-decomposition result for matching-covered graphs. This is achieved by a novel study of the facial structure of the polytope $P$ and its relationship with the lattice $L$. Along the way, we give a new polyhedral characterization of the Petersen graph.

A 1-factorisation of a regular graph $G$ is a partition of its edge set $E(G)$ into perfect matchings of $G$. Behague asked for the minimal $r=r(d)$ such that some $1$-factorisation of the $d$-dimensional hypercube $Q_d$ has the property that the union of any $r$ of its 1-factors is connected. Previous work by Laufer on perfect $1$-factorisations implied that $r$ is at least three, and Behague gave a construction with $r=\big\lceil\frac{d}{2}\big\rceil+1$. We improve this upper bound, giving a random construction with $r=O(\log d)$. In other words, we prove the existence of a 1-factorisation $\mathcal{M} = \{M_1,\dotsc,M_d\}$ of the hypercube $Q_d$ such that every $\mathcal{N}\subseteq \mathcal{M}$ of size $Ω(\log d)$ is such that $\bigcup \mathcal{N}$ is connected.

We will exhibit several instances of the cyclic sieving phenomenon involving statistics and involutions on the following combinatorial families of objects: permutations, set partitions, perfect matchings, D-permutations (and its subclasses). Our results will be based on continued fraction identities enumerating these objects. Our instances of cyclic sieving phenomenon for permutations involve the Corteel involution; this was first studied by Adams, Elder, Lafrenière, McNicholas, Striker and Welch (arxiv~2024). We will reprove several of their results using our setting of continued fractions; we will also prove two of their conjectures. Our study of set partitions and perfect matchings will involve the Kasraoui-Zeng involution and the Chen-Deng-Du-Stanley-Yan (CDDSY) involution. Finally, for D-permutations, we will construct a new involution which we call the Genocchi-Corteel involution. The common feature of all of these involutions, other than the CDDSY involution, is that they are constructed via bijections to weighted lattice paths, and that they exchange crossings and nestings on their respective objects.

In a recent paper, Francis, Illickan, Jose and Rajendraprasad showed that every $n$-vertex plane graph $G$ has (under some natural restrictions) a vertex-partition into two sets $V_1$ and $V_2$ such that each $V_i$ is \emph{dominating} (every vertex of $G$ contains a vertex of $V_i$ in its closed neighbourhood) and \emph{face-hitting} (every face of $G$ is incident to a vertex of $V_i$). Their proof works by considering a supergraph $G'$ of $G$ that has certain properties, and among all such graphs, taking one that has the fewest edges. As such, their proof is not algorithmic. Their proof also relies on the 4-color theorem, for which a quadratic-time algorithm exists, but it would not be easy to implement. In this paper, we give a new proof that every $n$-vertex plane graph $G$ has (under the same restrictions) a vertex-partition into two dominating face-hitting sets. Our proof is constructive, and requires nothing more complicated than splitting a graph into 2-connected components, finding an ear decomposition, and computing a perfect matching in a 3-regular plane graph. For all these problems, linear-time algorithms are known and so we can find the vertex-partition in linear time.

The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. The crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. Using the equitable partition method, the set of distinct distance eigenvalues of the graph $L(Cr(n))$ has been determined which shows that this graph is distance integral [S.Morteza Mirafzal, The line graph of the crown graph is distance integral, Linear and Multilinear Algebra 71, no. 4 (2023): 662-672]. The distance spectrum of the graph $L(Cr(n))$ has not been found yet. In this paper, having the set of distance eigenvalues of $L(Cr(n))$ in the hand, we determine the distance spectrum of this graph.

In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge. For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs. As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma.

In this note, we prove an interesting result about perfect matchings in a complete bipartite graph with 2n vertices on each side, whose edges are colored in red and blue such that each vertex is part of n red edges and n blue edges.

Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.

Let $m$ and $r$ be integers with $m \ge r \ge 3$ and let $G$ be an $r$-regular graph of even order. Let $M$ be a matching in $G$ of size $m$ such that each pair of edges in $M$ is at distance at least $3$. In 2023, Aldred et al. proved that if $G$ is cyclically $(mr-r+1)$-edge-connected and $G$ is bipartite, then there exists a perfect matching of $G$ containing $M$. In this paper, we present non-bipartite analogues of Aldred et al.'s theorem. An odd ear of $U \subseteq V(G)$ is a path of odd length whose ends lie in $U$ but whose internal vertices do not, or a cycle of odd length having exactly one vertex in $U$. Our first result shows that if $G$ is cyclically $(mr - m +1)$-edge-connected and there exist $mr - \left\lceil \frac{r}{2} \right\rceil + 1$ edge-disjoint odd ears of $V(M)$, then $M$ can be extended to a perfect matching of $G$. We further show that if $G$ contains $mr-r+1$ edge-disjoint odd ears of $V(M)$ and no cyclic edge cut in $G$ of size less than $(2m-1)(r-1)$ separates an odd cycle from another cycle, then $M$ can still be extended to a perfect matching. The second result extends Aldred et al.'s theorem to non-bipartite graphs in the case $r \ge 4$, and in the case when $r = 3$ and each pair of edges in $M$ is at distance at least $5$. It is also shown that the above results hold when $m \le r - 1$, without assuming the distance condition on $M$.

Di Francesco conjectured in 2021 that the number of domino tilings of a certain family of regions -- called Aztec triangles -- on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. This turned out to be a real challenge to prove without the use of computers -- each of the two existing proofs (one due to Koutschan, Krattenthaler and Schlosser, the other to Corteel, Huang and Krattenthaler) relies on substantial computer calculations which would be hard to check directly. In this paper we present a short combinatorial proof that relies on the second author's factorization theorem and complementation theorem for perfect matchings.

We initiate the study of the phantom version of Maker-Breaker positional games. In a phantom game, the moves of one of the players are hidden from the other player, who still has the complete information. We look at the biased $(a:b)$ Maker-PhantomBreaker games where the board is the edge set of the complete graph on $n$ vertices, $K_n$, and Maker has no information about PhantomBreaker's choices of edges. We give randomized strategies for both players in four classical games: connectivity game, perfect matching game, mindegree-$k$ game and Hamiltonicity game. In particular, we focus on characterizing all biases $(a:b)$ for which Maker wins asymptotically almost surely.

Dirac's classical theorem asserts that, for $n \ge 3$, any $n$-vertex graph with minimum degree at least $n/2$ is Hamiltonian. Furthermore, if we additionally assume that such graphs are regular, then, by the breakthrough work of Csaba, Kühn, Lo, Osthus and Treglown, they admit a decomposition into Hamilton cycles and at most one perfect matching, solving the well-known Nash-Williams conjecture. In the pseudorandom setting, it has long been conjectured that similar results hold in much sparser graphs. We prove two overarching theorems for graphs that exclude excessively dense subgraphs, which yield asymptotically optimal resilience and Hamilton-decomposition results in sparse pseudorandom graphs. In particular, our results imply that for every fixed $γ> 0$, there exists a constant $C > 0$ such that if $G$ is a spanning subgraph of an $(n,d,λ)$-graph satisfying $δ(G) \ge (\tfrac12 + γ)d$ and $d/λ\ge C$, then $G$ must contain a Hamilton cycle. Secondly, we show that for every $\varepsilon > 0$, there is $C > 0$ so that every $(n,d,λ)$-graph with $d/λ\ge C$ contains at least $(\tfrac12 - \varepsilon)d$ edge-disjoint Hamilton cycles, and, finally, we prove that the entire edge set of $G$ can be covered by no more than $(\tfrac12 + \varepsilon)d$ such cycles. All bounds are asymptotically optimal and significantly improve earlier results on Hamiltonian resilience, packing, and covering in sparse pseudorandom graphs.

A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. A brick $G$ is solid if for any two vertex disjoint odd cycles $C_1$ and $C_2$ of $G$, $G-(V(C_1)\cup V(C_2))$ has no perfect matching. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we show that for a solid brick $G$ of order $n$ that is distinct from $K_4$, every $b$-invariant edge of $G$ is solitary if and only if $G$ is a wheel $W_n$.

We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.

We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.

We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $\smash{2^{n^{Ω(1)}}}$. This improves on the $n^{Ω(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.

Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $δ_{F,d}^T$ be the infimum of $δ>0$ such that for every $α>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $δ_d(H_i)\ge (δ+α)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $δ_d(H_i)\ge (δ_{F,d}^T+α)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=Ω(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, Müyesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.

This paper focuses on the embeddability of hypercubes in an important class of Cayley graphs, known as augmented cubes. An $n$-dimensional augmented cube $AQ_n$ is constructed by augmenting the $n$-dimensional hypercube $Q_n$ with additional edges, thus making $Q_n$ a spanning subgraph of $AQ_n$. Dong and Wang (2019) first posed the problem of determining the number of $Q_n$-isomorphic subgraphs in $AQ_n$, which still remains open. By exploiting the Cayley properties of $AQ_n$, we establish a lower bound for this number. What's more, we develop a method for constructing pairs of $Q_n$-isomorphic subgraphs in $AQ_n$ with the minimum number of common edges. This is accomplished through the use of reciprocal perfect matchings, a technique that also relies on the Cayley property of $AQ_n$. As an application, we prove that $AQ_n$ admits $n-1$ edge-disjoint Hamiltonian cycles when $n\geq3$ is odd and $n-2$ cycles when $n$ is even, thereby confirming a conjecture by Hung (2015) for the odd case. Additionally, we prove that $AQ_n$ has a fault-free cycle of every even length from $4$ to $2^n$ with up to $4n-8$ faulty edges, when each vertex is incident to at least two fault-free edges. This result not only provides an alternative proof for the fault-tolerant Hamiltonicity of established by Hsieh and Cian (2010), but also extends their work by demonstrating the fault-tolerant bipancyclicity of $AQ_n$.

A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.