matching
3168 papers tagged with this keyword
Random matchings in linear hypergraphs
For a given hypergraph $H$ and a vertex $v\in V(H)$, consider a random matching $M$ chosen uniformly from the set of all matchings in $H.$ In $1995,$ Kahn conjectured that if $H$ is a $d$-regular linear $k$-uniform hypergraph, the probability that $M$ does not cover $v$ is $(1 + o_d(1))d^{-1/k}$ for all vertices $v\in V(H).$ This conjecture was proved for $k = 2$ by Kahn and Kim in $1998.$
In this paper, we disprove this conjecture for all $k \geq 3.$ For infinitely many values of $d,$ we construct $d$-regular linear $k$-uniform hypergraph $H$ containing two vertices $v_1$ and $v_2$ such that $\mathcal{P}(v_1 \notin M) = 1 - \frac{(1 + o_d(1))}{d^{k-2}}$ and $\mathcal{P}(v_2 \notin M) = \frac{(1 + o_d(1))}{d+1}.$ The gap between $\mathcal{P}(v_1 \notin M)$ and $\mathcal{P}(v_2 \notin M)$ in this $H$ is best possible. In the course of proving this, we also prove a hypergraph analog of Godsil's result on matching polynomials and paths in graphs, which is of independent interest.
The monopole-dimer model on high-dimensional cylindrical, toroidal, Möbius and Klein grids
The dimer (monomer-dimer) model deals with weighted enumeration of perfect matchings (matchings). The monopole-dimer model is a signed variant of the monomer-dimer model whose partition function is a determinant. In 1999, Lu and Wu evaluated the partition function of the dimer model on two-dimensional grids embedded on a Möbius strip and a Klein bottle. While the partition function of the dimer model has been known for the two-dimensional grids with different boundary conditions, we present a similar product formula for the partition function of the monopole-dimer model on higher dimensional cylindrical and toroidal grid graphs. We also evaluate the same for the three-dimensional Möbius and Klein grid graphs and show that the formula does not generalise for the higher dimensions. Further, we present a relation between the product formula for the three-dimensional cylindrical and Möbius grid.
Induced matching vs edge open packing: trees and product graphs
Published in Discrete Mathematics, 2025
• View Publication
• BIB
Given a graph $G$, the maximum size of an induced subgraph of $G$ each component of which is a star is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. Similarly, the maximum size of an induced subgraph of $G$ each component of which is the star $K_{1,1}$ is the induced matching number, $ν_I(G)$, of $G$. While the inequality $ρ_e^o(G)\geq ν_{I}(G)$ clearly holds for all graphs $G$, we provide a structural characterization of those trees that attain the equality. We prove that the induced matching number of the lexicographic product $G\circ H$ of arbitrary two graphs $G$ and $H$ equals $α(G)ν_I(H)$. By similar techniques, we prove sharp lower and upper bounds on the edge open packing number of the lexicographic product of graphs, which in particular lead to NP-hardness results in triangular graphs for both invariants studied in this paper. For the direct product $G\times H$ of two graphs we provide lower bounds on $ν_I(G\times H)$ and $ρ_{e}^{o}(G\times H)$, both of which are widely sharp. We also present sharp lower bounds for both invariants in the Cartesian and the strong product of two graphs. Finally, we consider the edge open packing number in hypercubes establishing the exact values of $ρ_e^o(Q_n)$ when $n$ is a power of $2$, and present a closed formula for the induced matching number of the rooted product of arbitrary two graphs over an arbitrary root vertex.
Energy of a graph and Randić index of subgraphs
We give a new inequality between the energy of a graph and a weighted sum over the edges of the graph. Using this inequality we prove that $\mathcal{E}(G)\geq 2R(H)$, where $ \mathcal{E}(G)$ is the energy of a graph $G$ and $R(H)$ is the Randić index of any subgraph of $G$ (not necessarily induced). In particular, this generalizes well-known inequalities $\mathcal{E}(G)\geq 2R(G)$ and $\mathcal{E}(G)\geq 2μ(G)$ where $μ(G)$ is the matching number. We give other inequalities as applications to this result.
A Ramsey-type theorem on deficiency
Ramsey's Theorem states that a graph $G$ has bounded order if and only if $G$ contains no complete graph $K_n$ or empty graph $E_n$ as its induced subgraph. The Gyárfás-Sumner conjecture says that a graph $G$ has bounded chromatic number if and only if it contains no induced subgraph isomorphic to $K_n$ or a tree $T$. The deficiency of a graph is the number of vertices that cannot be covered by a maximum matching. In this paper, we prove a Ramsey type theorem for deficiency, i.e., we characterize all the forbidden induced subgraphs for graphs $G$ with bounded deficiency. As an application, we answer a question proposed by Fujita, Kawarabayashi, Lucchesi, Ota, Plummer and Saito (JCTB, 2006).
A note on the Nearly Dispersability of Odd Toroidal Grids
The \emph{matching book thickness} $mbt(G)$ of $G$ is the minimum integer $m$ such that an $m$-page matching book embedding exists. A graph $G$ is called \emph{dispersable} if $mbt(G)=Δ(G)$, \emph{nearly dispersable} if $mbt(G)=Δ(G)+1$. Recently, the authors determined the nearly dispersability of odd toroidal grids $T_{s,t}$. In this note, we further present a brief proof for this result.
Removable edges in near-bipartite bricks
An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. The notion of removable edge arises in connection with ear decompositions of matching covered graphs introduced by Lovász and Plummer. A nonbipartite matching covered graph $G$ is a brick if it is free of nontrivial tight cuts. Carvalho, Lucchesi, and Murty proved that every brick other than $K_4$ and $\overline{C_6}$ has at least $Δ-2$ removable edges. A brick $G$ is near-bipartite if it has a pair of edges $\{e_1,e_2\}$ such that $G-\{e_1,e_2\}$ is a bipartite matching covered graph. In this paper, we show that in a near-bipartite brick $G$ with at least six vertices, every vertex of $G$, except at most six vertices of degree three contained in two disjoint triangles, is incident with at most two nonremovable edges; consequently, $G$ has at least $\frac{|V(G)|-6}{2}$ removable edges. Moreover, all graphs attaining this lower bound are characterized.
Monochromatic graph decompositions inspired by anti-Ramsey colorings
Published in Discrete Applied Mathematics, 363 (2025), 190-200
• Search Publication
We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent.
Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$.
The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973.
Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$.
The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$.
(1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$.
(2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$.
Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more.
We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples.
For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.
Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver rings
Every simple finite graph $G$ has an associated Lovász-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry, commutative algebra and combinatorics. We find a link between algebraic properties such as normality, factoriality and strong $F$-regularity of $R_G(d)$ and combinatorial invariants of the graph $G$. In particular we prove that if $d \geq \text{pmd}(G)+k(G)$ then $R_G(d)$ is $F$-regular in finite characteristic and rational singularity in characteristic $0$ and furthermore if $d \geq \text{pmd}(G)+k(G)+1$ then $R_G(d)$ is UFD. Here $\text{pmd}(G)$ is the positive matching decomposition number of $G$ and $k(G)$ is its degeneracy number.
Claw-free minimal matching covered graphs
A matching covered graph $G$ is minimal if for each edge $e$ of $G$, $G-e$ is not matching covered. An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Thus a matching covered graph is minimal if and only if it is free of removable edges. For bipartite graphs, Lovász and Plummer gave a characterization of bipartite minimal matching covered graphs. For bricks, Lovász showed that the only bricks that are minimal matching covered are $K_4$ and $\overline{C_6}$. In this paper, we present a complete characterization of minimal matching covered graphs that are claw-free. Moreover, for cubic claw-free matching covered graphs that are not minimal matching covered, we obtain the number of their removable edges (with respect to their bricks), and then prove that they have at least 12 removable edges (the bound is sharp).
Generalized Ramsey numbers via conflict-free hypergraph matchings
Given graphs $G, H$ and an integer $q \ge 2$, the generalized Ramsey number, denoted $r(G,H,q)$, is the minimum number of colours needed to edge-colour $G$ such that every copy of $H$ receives at least $q$ colours. In this paper, we prove that for a fixed integer $k \ge 3$, we have $r(K_n,C_k,3) = n/(k-2)+o(n)$. This generalises work of Joos and Muybayi, who proved $r(K_n,C_4,3) = n/2+o(n)$. We also provide an upper bound on $r(K_{n,n}, C_k, 3)$, which generalises a result of Joos and Mubayi that $r(K_{n,n},C_4,3) = 2n/3+o(n)$. Both of our results are in fact specific cases of more general theorems concerning families of cycles.
Two lower bounds for maximum matching
In this paper, we prove two lower bounds for the maximum matching size in an arbitrary undirected graph. Despite their simplicity, these results are not widely known. This article aims to bring pleasure to the reader by giving short combinatorial proofs of these easy-to-state estimates.
Tropical hyperplane arrangements and combinatorial mutations of the matching field polytopes of Grassmannians
A sequence of combinatorial mutations of matching field polytopes preserves the property of giving rise to a toric degeneration of Grassmannians. In this paper, we find a way to check that two matching field polytopes are combinatorial mutation equivalence using tropical hyperplane arrangements, ``literally at a glance". Our way can prove that block diagonal matching fields are combinatorial mutations equivalent to diagonal matching fields. This is one of main results in \cite{clarke2021combinatorial}. Our result can be regarded as a generalization of that result.
Planar cycle-extendable graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 13, 2025) dmtcs:13929
• View Publication
• BIB
For most problems pertaining to perfect matchings, one may restrict attention to matching covered graphs - that is, connected nontrivial graphs with the property that each edge belongs to some perfect matching. There is extensive literature on these graphs that are also known as 1-extendable graphs (since each edge extends to a perfect matching) including an ear decomposition theorem due to Lovász and Plummer.
A cycle $C$ of a graph $G$ is conformal if $G-V(C)$ has a perfect matching; such cycles play an important role in the study of perfect matchings, especially when investigating the Pfaffian orientation problem. A matching covered graph $G$ is cycle-extendable if - for each even cycle $C$ - the cycle $C$ is conformal, or equivalently, each perfect matching of $C$ extends to a perfect matching of $G$, or equivalently, $C$ is the symmetric difference of two perfect matchings of $G$, or equivalently, $C$ extends to an ear decomposition of $G$. In the literature, these are also known as cycle-nice or as 1-cycle resonant graphs.
Zhang, Wang, Yuan, Ng and Cheng, 2022, provided a characterization of claw-free cycle-extendable graphs. Guo and Zhang, 2004, and independently Zhang and Li, 2012, provided characterizations of bipartite planar cycle-extendable graphs. In this paper, we establish a characterization of all planar cycle-extendable graphs - in terms of $K_2$ and four infinite families.
On the path ideals of chordal graphs
Published in Journal of Algebraic Combinatorics, 62(27), 2025
• View Publication
• BIB
In this article, we give combinatorial formulas for the regularity and the projective dimension of $3$-path ideals of chordal graphs, extending the well-known formulas for the edge ideals of chordal graphs given in terms of the induced matching number and the big height, respectively. As a consequence, we get that the $3$-path ideal of a chordal graph is Cohen-Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of the $3$-path ideal of a tree is vertex splittable, thereby resolving the $t=3$ case of a recent conjecture in [Internat. J. Algebra Comput., 33(3):481--498, 2023]. Also, we give examples of chordal graphs where the duals of their $t$-path ideals are not vertex splittable for $t\ge 3$. Furthermore, we extend the formula of the regularity of $3$-path ideals of chordal graphs to all $t$-path ideals of caterpillar graphs. We then provide some families of graphs to show that these formulas for the regularity and the projective dimension cannot be extended to higher $t$-path ideals of chordal graphs (even in the case of trees).
Cluster expansion formulas and perfect matchings for type B and C
Published in Journal of Algebraic Combinatorics 62.40 (2025)
• View Publication
• BIB
Let $\mathbf{P}_{2n+2}$ be the regular polygon with $2n+2$ vertices, and let $θ$ be the rotation of 180$^\circ$. Fomin and Zelevinsky proved that $θ$-invariant triangulations of $\mathbf{P}_{2n+2}$ are in bijection with the clusters of cluster algebras of type $B_n$ or $C_n$. Furthermore, cluster variables correspond to the orbits of the action of $θ$ on the diagonals of $\mathbf{P}_{2n+2}$. In this paper, we associate a labeled modified snake graph $\mathcal{G}_{ab}$ to each $θ$-orbit $[a,b]$, and we get the cluster variables of type $B_n$ and $C_n$ which correspond to $[a,b]$ as perfect matching Laurent polynomials of $\mathcal{G}_{ab}$. This extends the work of Musiker for cluster algebras of type B and C to every seed.
Permutation invariant matrix quantum thermodynamics and negative specific heat capacities in large N systems
Published in J. High Energ. Phys. 2024, 161 (2024)
• Search Publication
We study the thermodynamic properties of the simplest gauged permutation invariant matrix quantum mechanical system of oscillators, for general matrix size $N$. In the canonical ensemble, the model has a transition at a temperature $T$ given by $x = e^{ -1/ T } \sim x_c=e^{-1/T_c}=\frac{\log N}{N}$, characterised by a sharp peak in the specific heat capacity (SHC), which separates a high temperature from a low temperature region. The peak grows and the low-temperature region shrinks to zero with increasing $N$. In the micro-canonical ensemble, for finite $N$, there is a low energy phase with negative SHC and a high energy phase with positive SHC. The low-energy phase is dominated by a super-exponential growth of degeneracies as a function of energy which is directly related to the rapid growth in the number of directed graphs, with any number of vertices, as a function of the number of edges. The two ensembles have matching behaviour above the transition temperature. We further provide evidence that these thermodynamic properties hold in systems with $U(N)$ symmetry such as the zero charge sector of the 2-matrix model and in certain tensor models. We discuss the implications of these observations for the negative specific heat capacities in gravity using the AdS/CFT correspondence.
Almost Bipartite non-König-Egerváry Graphs Revisited
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in $G=\left( V,E\right) $. It is known that if $α(G)+μ(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph.
The critical difference $d(G)$ is $\max\{d(I):I\in\mathrm{Ind}(G)\}$, where $\mathrm{Ind}(G)$\ denotes the family of all independent sets of $G$. If $A\in\mathrm{Ind}(G)$ with $d\left( X\right) =d(G)$, then $A$ is a critical independent set. For a graph $G$, let $\mathrm{diadem}(G)=\bigcup\{S:S$ is a critical independent set in $G\}$, and $\varrho_{v}\left( G\right) $ denote the number of vertices $v\in V\left( G\right) $, such that $G-v$ is a König-Egerváry graph. A graph is called almost bipartite if it has a unique odd cycle.
In this paper, we show that if $G$ is an almost bipartite non-König-Egerváry graph with the unique odd cycle $C$, then the following assertions are true:
1. every maximum matching of $G$ contains $\left\lfloor {V(C)}/{2}\right\rfloor $ edges belonging to $C$;
2. $V(C)\cup N_{G}\left[ \mathrm{diadem}\left( G\right) \right] =V$ and $V(C)\cap N_{G}\left[ \mathrm{diadem}\left( G\right) \right] =\emptyset$;
3. $\varrho_{v}\left( G\right) =\left\vert \mathrm{corona}\left( G\right) \right\vert -\left\vert \mathrm{diadem}\left( G\right) \right\vert $, where $\mathrm{corona}\left( G\right) $ is the union of all maximum independent sets of $G$;
4. $\varrho_{v}\left( G\right) =\left\vert V\right\vert $ if and only if $G=C_{2k+1}$ for some integer $k\geq1$.
Regularity of normal Rees algebras of edge ideals of graphs
We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.
Sharp PDE estimates for random two-dimensional bipartite matching with power cost function
We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal transport cost. Our results establish new asymptotic connections between the energy of the solution to the PDE and the optimal transport cost, providing insights on their asymptotic behavior.