arXiv++ Combinatorics

An invariant for cospectral graphs is a property shared by all cospectral graphs. In this paper, we establish three novel arithmetic invariants for cospectral graphs, revealing deep connections between spectral properties and combinatorial structures. More precisely, one of our main results shows that for any two cospectral graphs $G$ and $H$ with adjacency matrices $A(G)$ and $A(H)$, respectively, the following congruence holds for all integers $m\geq 0$:\[e^{\rm T}A(G)^me\equiv e^{\rm T}A(H)^me \pmod{4},\] where $e$ is the all-one vector. Moreover, we present a number of fascinating applications. Specifically: i) Resolving a conjecture proposed by the third author, we demonstrate that under certain conditions, every graph cospectral with a graph $G$ is determined by its generalized spectrum. ii) We demonstrate that whenever the complements of two trees are cospectral, then one tree has a perfect matching if and only if the other does. An analogous result holds for the existence of triangles in general graphs. iii) An unexpected connection to the polynomial reconstruction problem is also provided, showing that the parity of the constant term of the characteristic polynomial is reconstructible.

In this paper, we give inductive sum formulas to calculate the number of diagonally symmetric, and diagonally \& anti-diagonally symmetric domino tilings of Aztec Diamonds. As a byproduct, we also find such a formula for the unrestricted case as well. Our proofs rely on a new technique for counting the number of perfect matchings of graphs, proposed by the authors recently.

Snake graphs and their perfect matchings play a key role in the description of cluster variables of cluster algebras associated to surfaces. In this paper, we introduce triangular snake graphs and establish a bijection between their routes (non-intersecting lattice paths), perfect matchings of their underlying snake graphs, and tilings. As an application, we show that the number of perfect matchings in straight snake graphs can be expressed in terms of determinants of Hankel matrices with Catalan number entries. Moreover, we prove that the number of perfect matchings in snake graphs can be expressed as a sum of products of Fibonacci numbers, and we show how Fibonacci and Pell sequences arise from determinants of matrices with Fibonacci entries.

We study Hamiltonicity in the union of an $n$-vertex graph $H$ with high minimum degree and a binomial random graph on the same vertex set. In particular, we consider the case when $H$ has minimum degree close to $n/2$. We determine the perturbed threshold for Hamiltonicity in this setting. To be precise, let $η:= n/2-δ(H)$. For $η=ω(1)$, we show that it suffices to add $Θ(η)$ random edges to $H$ to a.a.s. obtain a Hamiltonian graph; for $η=Θ(1)$, we show that $ω(1)$ edges suffice. In fact, when $η=o(n)$ and $η=ω(1)$, we show that $(8+o(1))η$ random edges suffice, which is best possible up to the error term. This determines the sharp perturbed threshold for Hamiltonicity in this range of degrees. We also obtain analogous results for perfect matchings, showing that, in this range of degrees, the sharp perturbed thresholds for Hamiltonicity and for perfect matchings differ by a factor of $2$.

For cluster algebras of surface type, Musiker, Schiffler and Williams gave a formula for cluster variables in terms of perfect matchings of snake graphs. Building on this, we provide a simple determinantal formula for cluster variables via the weighted biadjacency matrix of the associated snake graphs, thus circumventing the enumeration of their perfect matchings.

In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.

An edge-colouring of a graph $G$ is said to be colour-balanced if there are equally many edges of each available colour. We are interested in finding a colour-balanced perfect matching within a colour-balanced clique $K_{2nk}$ with a palette of $k$ colours. While it is not necessarily possible to find such a perfect matching, one can ask for a perfect matching as close to colour-balanced as possible. In particular, for a colouring $c:E(K_{2nk})\rightarrow [k]$, we seek to find a perfect matching $M$ minimising $f(M) = \sum_{i=1}^k\bigl||c^{-1}(i)\cap M|-n\bigr|$. The previous best upper bound, due to Pardey and Rautenbach, was $\min f(M)\leq \mathcal{O}(k\sqrt{nk\log k})$. We remove the $n$-dependence, proving the existence of a matching $M$ with $f(M)\leq 4^{k^2}$ for all $k$.

Let $G$ be a plane bipartite graph and $\mathcal{M}(G)$ be the set of all perfect matchings of $G$. The resonance graph $R(G)$ is a graph whose vertex set is $\mathcal{M}(G)$, and two perfect matchings are adjacent in $R(G)$ if their symmetric difference is a cycle forming the periphery of a finite face of $G$. It is known that any connected resonance graph can be isometrically embedded as a finite distributive lattice into hypercubes. The isometric dimension of a connected $R(G)$, denoted by $\mathrm{idim}(R(G))$, is the smallest dimension of a hypercube that $R(G)$ can be isometrically embedded into. Let $d$ be the number of finite faces of $G$ such that there are no forbidden edges on their peripheries. We show that any connected $R(G)$ has $\mathrm{idim}(R(G)) \ge d$ and provide characterizations on when the equality holds. Moreover, if a connected $R(G)$ has $\mathrm{idim}(R(G)) = d$, then we design an algorithm to generate a binary coding of length $d$ for all perfect matchings of $G$ which induces an isometric embedding of $R(G)$ as a finite distributive lattice into a $d$-dimensional hypercube without generating $\mathcal{M}(G)$. Our results provide answers for the fundamental cases of both open questions raised in [\textit{SIAM J. Discrete Math.} {\bf 22} (2008) 971--984.]

Combining ideas of Pham, Sah, Sawhney, and Simkin on spread perfect matchings in super-regular bipartite graphs with an algorithmic blow-up lemma, we prove a spread version of the blow-up lemma. Intuitively, this means that there exists a probability measure over copies of a desired spanning graph $H$ in a given system of super-regular pairs which does not heavily pin down any subset of vertices. This allows one to complement the use of the blow-up lemma with the recently resolved Kahn-Kalai conjecture. As an application, we prove an approximate version of a conjecture of Böttcher, Parczyk, Sgueglia, and Skokan on the threshold for appearance of powers of Hamilton cycles in perturbed random graphs.

Let $Z_2\times Z_2=\{0, α, β, α+β\}$. If $G$ is a bridgeless cubic graph, $F$ is a perfect matching of $G$ and $\overline{F}$ is the complementary 2-factor of $F$, then a no-where zero $Z_2\times Z_2$-flow $θ$ of $G/\overline{F}$ is called non-conflicting with respect to $\overline{F}$, if $\overline{F}$ contains no edge $e=uv$, such that $u$ is incident to an edge with $θ$-value $α$ and $v$ is incident to an edge with $θ$-value $β$. In this paper, we demonstrate the usefulness of non-conflicting flows by showing that if a cubic graph $G$ admits such a flow with respect to some perfect matching $F$, then $G$ admits a normal 6-edge-coloring. We use this observation in order to show that claw-free bridgeless cubic graphs, bridgeless cubic graphs possessing a 2-factor having at most two cycles admit a normal 6-edge-coloring. We demonstrate the usefulness of non-conflicting flows further by relating them to a recent conjecture of Thomassen about edge-disjoint perfect matchings in highly connected regular graphs. In the end of the paper, we construct infinitely many 2-edge-connected cubic graphs such that $G/\overline{F}$ does not admit a non-conflicting no-where zero $Z_2\times Z_2$-flow with respect to any perfect matching $F$.

Let $G$ be a connected $d$-regular graph of order $n$, where $d\geq3$. Let $λ_{2}(G)$ be the second largest eigenvalue of $G$. For even $n$, we show that $G$ contains $\left\lfloor\frac{2}{3}(d-λ_{2}(G))\right\rfloor$ edge-disjoint perfect matchings. This improves a result stated by Cioabă, Gregory and Haemers \cite{CGH}. Let $t(G)$ be the toughness of $G$. When $G$ is non-bipartite, we give a sharp upper bound of $λ_{2}(G)$ to guarantee that $t(G)>1$. This enriches the previous results on this direction.

In the present paper, we aim to classify monomial ideals whose all matching powers are Cohen-Macaulay. We especially focus our attention on edge ideals. The Cohen-Macaulayness of the last matching power of an edge ideal is characterized, providing an algebraic analogue of the famous Tutte theorem regarding graphs having a perfect matching. For chordal graphs, very well-covered graphs and Cameron-Walker graphs, we completely solve our problem.

A forcing set for a perfect matching of a graph is defined as a subset of the edges of that perfect matching such that there exists a unique perfect matching containing it. A complete forcing set for a graph is a subset of its edges, such that it intersects the edges of every perfect matching in a forcing set of that perfect matching. The size of a smallest complete forcing set of a graph is called the complete forcing number of the graph. In this paper, we derive new upper bounds for the complete forcing number of graphs in terms of other graph theoretical parameters such as the degeneracy or the spectral radius of the graph. We show that for graphs with the number of edges more than some constant times the number of vertices, our result outperforms the best known upper bound for the complete forcing number. For the set of edge-transitive graphs, we present a lower bound for the complete forcing number in terms of maximum forcing number. This result in particular is applied to the hypercube graphs and Cartesian powers of even cycles.

A 3-connected graph is a brick if the graph obtained from it by deleting any two distinct vertices has a perfect matching. The importance of bricks stems from the fact that they are building blocks of the matching decomposition procedure of Kotzig, and Lovasz and Plummer. Lucchesi and Murty conjectured that there exists a positive integer N such that for every n>N, every brick on n vertices has at least n-1 perfect matchings. We present an infinite family of bricks such that for each even integer n (n > 17), there exists a brick with n vertices in this family that contains [0:625n] perfect matchings, showing that this conjecture fails.

The \textit{minimum positive co-degree} of a non-empty $r$-graph $H$, denoted $δ_{r-1}^+(H)$, is the largest integer $k$ such that if a set $S \subset V(H)$ of size $r-1$ is contained in at least one $r$-edge of $H$, then $S$ is contained in at least $k$ $r$-edges of $H$. Motivated by several recent papers which study minimum positive co-degree as a reasonable notion of minimum degree in $r$-graphs, we consider bounds of $δ_{r-1}^+(H)$ which will guarantee the existence of various spanning subgraphs in $H$. We precisely determine the minimum positive co-degree threshold for Berge Hamiltonian cycles in $r$-graphs, and asymptotically determine the minimum positive co-degree threshold for loose Hamiltonian cycles in $3$-graphs. For all $r$, we also determine up to an additive constant the minimum positive co-degree threshold for perfect matchings.

Let $\mathrm{Mat}_{n \times n}(\mathbb{C})$ be the affine space of $n \times n$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times n}]$. We define graded quotients of $\mathbb{C}[\mathbf{x}_{n \times n}]$ which carry an action of the symmetric group $\mathfrak{S}_n$ by simultaneous permutation of rows and columns. These quotient rings are obtained by applying the orbit harmonics method to matrix loci corresponding to all involutions in $\mathfrak{S}_n$ and the conjugacy classes of involutions in $\mathfrak{S}_n$ with a given number of fixed points. In the case of perfect matchings on $\{1, \dots, n\}$ with $n$ even, the Hilbert series of our quotient ring is related to Tracy-Widom distributions and its graded Frobenius image gives a refinement of the plethysm $s_{n/2}[s_2]$.

We prove a conjecture of Bonini et al. on the precise values of the Lin--Lu--Yau curvature of conference graphs, i.e., strongly regular graphs with parameters $(4γ+1,2γ,γ-1,γ)$. Our method depends only on the parameter relations and applies to broader classes of amply regular graphs. In particular, we develop a new combinatorial approach to show the existence of local perfect matchings. A key observation is that counting common neighbors leads to useful quadratic polynomials. As a corollary, we derive an interesting number-theoretic result concerning quadratic residues.

Fractional matching extendability is a concept that brings together two widely studied topics in graph theory, namely that of fractional matchings and that of matching extendability. A {\em fractional matching} of a graph $Γ$ with edge set $E$ is a function $f$ from $E$ to the real interval $[0,1]$ with the property that for each vertex $v$ of $Γ$, the sum of $f$-values of all the edges incident to $v$ is at most $1$. When this sum equals $1$ for each vertex $v$, the fractional matching is {\em perfect}. A graph of order at least $2t+1$ is {\em fractional $t$-extendable} if it contains a matching of size $t$ and if each such matching $M$ can be extended to a fractional perfect matching in the sense that the corresponding function $f$ assigns value $1$ to each edge of $M$. In this paper, we study fractional matching extendability of Cayley graphs of Abelian groups. We show that, except for the odd cycles, all connected Cayley graphs of Abelian groups are fractional $1$-extendable and we classify the fractional $2$-extendable Cayley graphs of Abelian groups. This extends the classification of $2$-extendable (in the classical sense) connected Cayley graphs of Abelian groups of even order from 1995, obtained by Chan, Chen and Yu.

A connected r-regular graph, where $r \geq 3$, is an r-graph if each odd cut has at least r edges. Every r-graph is matching covered - a connected graph whose each edge participates in some perfect matching. We set out to: (i) characterize solitary edges - those edges that participate in only one perfect matching, and (ii) upper bound the number of such edges. Two edges are mutually dependent if every perfect matching containing either of them also contains the other. Clearly, this is an equivalence relation and induces a partition of E(G). It is worth noting that if any member of an equivalence class is solitary then so is every member; we refer to such an equivalence class as a solitary class. This immediately brings us to the notion of solitary pattern of a matching covered graph - the sequence of cardinalities of its solitary classes in nonincreasing order. Clearly, n/2 is an upper bound on the cardinality of any equivalence class, and if equality holds then each largest equivalence class is a solitary class. We provide a characterization of all matching covered graphs that attain this upper bound. However, all such graphs, of order six or more, contain 2-cuts. On the other hand, using a result of Lucchesi and Murty, we deduce that in a 3-edge-connected r-graph, every solitary class has cardinality one or two. We prove that the distance between any two solitary classes in any 3-edge-connected r-graph is at most three; furthermore, if the order is four or more, we establish that the number of solitary classes is at most three and equality holds if and only if r = 3. Ergo, every 3-edge-connected r-graph, of order four or more, has one of the following ten solitary patterns: (2, 2, 2), (2, 2, 1), (2, 1, 1), (1, 1, 1), (2, 2), (2, 1), (2), (1, 1), (1) or (). We provide complete characterizations of 3-edge-connected r-graphs that have one of the first six solitary patterns.

We study conditions under which an edge-coloured hypergraph has a particular substructure that contains more than the trivially guaranteed number of monochromatic edges. Our main result solves this problem for perfect matchings under minimum degree conditions. This answers recent questions of Gishboliner, Glock and Sgueglia, and of Balogh, Treglown and Zárate-Guerén.