matching
3278 papers tagged with this keyword
Covering a cubic graph by 5 perfect matchings
Published
• View Publication
• BIB
Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.
Derivatives and real roots of graph polynomials
Published
• View Publication
• BIB
Graph polynomials are polynomials assigned to graphs. Interestingly, they also arise in many areas outside graph theory as well. Many properties of graph polynomials have been widely studied. In this paper, we survey some results on the derivative and real roots of graph polynomials, which have applications in chemistry, control theory and computer science. Related to the derivatives of graph polynomials, polynomial reconstruction of the matching polynomial is also introduced.
Treelike snarks
Published
• View Publication
• BIB
We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hagglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snarks from this family (we call them treelike snarks) have circular flow number five and admit a 5-cycle double cover.
Representation of large matchings in bipartite graphs
Published
• View Publication
• BIB
Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to a constant, namely $f(n) \le \lceil \frac{3}{2}n \rceil+1$.
A Graph Theoretic Proof of the Tight Cut Lemma
Published
• View Publication
• BIB
In deriving their characterization of the perfect matchings polytope, Edmonds, Lovász, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em bricks} as the fundamental building blocks that constitute a graph in studying the matching polytope and can be referred to as a key result in this field. Even though the Tight Cut Lemma is a matching \textup{(}$1$-matching\textup{)} theoretic statement that consists of purely graph theoretic concepts, the known proofs either employ a linear programming argument or are established upon results regarding a substantially wider notion than matchings. This paper presents a new proof of the Tight Cut Lemma, which attains both of the two reasonable features for the first time, namely, being {\em purely graph theoretic} as well as {\em purely matching theory closed}. Our proof uses, as the only preliminary result, the canonical decomposition recently introduced by Kita. By further developing this canonical decomposition, we acquire a new device of {\em towers} to analyze the structure of bricks, and thus prove the Tight Cut Lemma. We believe that our new proof of the Tight Cut Lemma provides a highly versatile example of how to handle bricks.
On graphs decomposable into induced matchings of linear sizes
Published
• View Publication
• BIB
We call a graph $G$ an $(r,t)$-Ruzsa-Szemerédi graph if its edge set can be partitioned into $t$ edge-disjoint induced matchings, each of size $r$. These graphs were introduced in 1978 and has been extensively studied since then. In this paper, we consider the case when $r=cn$. For $c>1/4$, we determine the maximum possible $t$ which is a constant depending only on $c$. On the other hand, when $c=1/4$, there could be as many as $Ω(\log n)$ induced matchings. We prove that this bound is tight up to a constant factor. Finally, when $c$ is fixed strictly between $1/5$ and $1/4$, we give a short proof that the number $t$ of induced matchings is $O(n/\log n)$. We are also able to further improve the upper bound to $o(n/\log n)$ for fixed $c> 1/4-b$ for some positive constant $b$.
The difference and ratio of the fractional matching number and the matching number of graphs
Published in Discrete Mathematics, Volume 339, Issue 4, 6 April 2016, Pages 1382-1386
• View Publication
• BIB
Given a graph $G$, the matching number of $G$, written $α'(G)$, is the maximum size of a matching in $G$, and the fractional matching number of $G$, written $α'_f(G)$, is the maximum size of a fractional matching of $G$. In this paper, we prove that if $G$ is an $n$-vertex connected graph that is neither $K_1$ nor $K_3$, then $α'_f(G)-α'(G) \le \frac{n-2}6$ and $\frac{α'_f(G)}{α'(G)} \le \frac{3n}{2n+2}$. Both inequalities are sharp, and we characterize the infinite family of graphs where equalities hold.
Perfect Matchings in Hypergraphs and the Erdős matching conjecture
Published
• View Publication
• BIB
We prove a new upper bound for the minimum $d$-degree threshold for perfect matchings in $k$-uniform hypergraphs when $d<k/2$. As a consequence, this determines exact values of the threshold when $0.42k \le d < k/2$ or when $(k,d)=(12,5)$ or $(17,7)$. Our approach is to give an upper bound on the Erdős Matching Conjecture and convert the result to the minimum $d$-degree setting by an approach of Kühn, Osthus and Townsend. To obtain exact thresholds, we also apply a result of Treglown and Zhao.
Enumerating matroids of fixed rank
Published
• View Publication
• BIB
It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds.
Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid.
We also obtain that the collection of essential flats and their ranks gives a concise description of matroids.
On an Edge Precoloring Conjecture
Edwards, van den Heuvel, Kang, and Sereni conjectured the following strengthening of Vizing's Theorem: let $G$ be a simple graph, and let $K = Δ(G) + 1$. For any matching $M$ in $G$ and any precoloring of the edges in $M$ using the colors $\{1, \ldots, K\}$, there is some proper $K$-edge-coloring of $G$ extending the given precoloring. We give an infinite family of counterexamples to this conjecture, and prove a weaker version of the conjecture proposed in the same work.
Matching criticality in intersecting hypergraphs
Published
• View Publication
• BIB
A matching in a hypergraph $H$ is a set of pairwise vertex disjoint edges in $H$ and the matching number of $H$ is the maximum cardinality of a matching in $H$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. The transversal number $τ(H)$ of $H$ is the minimum cardinality of a transversal in $H$. A hypergraph $H$ is an intersecting hypergraph if every two distinct edges of $H$ have a non-empty intersection. Equivalently, $H$ is an intersecting hypergraph if and only if it has matching number one. In this paper we study the extremal behavior of matching critical intersecting hypergraphs. We partly solve an open problem on matching critical intersecting hypergraphs posed by Henning and Yeo. We also prove a strengthening of the result for intersecting $r$-uniform hypergraphs.
Graphs, Disjoint Matchings and Some Inequalities
Published in Buletinul Academiei de Stiinte a Republicii Moldova. Matematica 103(3), (2023), 26--36
• View Publication
• BIB
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and $ν_2(G) \leq \frac{|V(G)| + 2\cdot ν_3(G)}{4}$ ~\cite{samvel:2010}. In the first part of the present work, we show that the last two inequalities imply the first two of them.
Moreover, we show that $ν_2(G) \geq α\cdot \frac{|V(G)| + 2\cdot ν_3(G)}{4} $, where
$α=\frac{16}{17}$, if $G$ is a cubic graph,
$α=\frac{20}{21}$, if $G$ is a cubic graph containing a perfect matching,
$α=\frac{44}{45}$, if $G$ is a bridgeless cubic graph.
We also investigate the parameters $ν_2(G)$ and $ν_3(G)$ in the class of claw-free cubic graphs. We improve the lower bounds for $ν_2(G)$ and $ν_3(G)$ for claw-free bridgeless cubic graphs to $ν_2(G)\geq \frac{35}{36}\cdot |V(G)|$
($n \geq 48$), $ν_3(G)\geq \frac{43}{45}\cdot |E(G)|$. On the basis of these inequalities we are able to improve the coefficient $α$ for bridgeless claw-free cubic graphs.
In the second part of the work, we prove lower bounds for $ν_k(G)$ in terms of $\frac{ν_{k-1}(G)+ν_{k+1}(G)}{2}$ for $k\geq 2$ and graphs $G$ containing at most $1$ cycle. We also present the corresponding conjectures for bipartite and nearly bipartite graphs.
On Konig-Egervary Collections of Maximum Critical Independent Sets
Published
• View Publication
• BIB
Let G be a simple graph with vertex set V(G). A set S is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G)+mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum independent set and mu(G) is the cardinality of a maximum matching. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set in G} (Zhang; 1990). Let Omega(G) denote the family of all maximum independent sets. Let us say that a family Gamma of independent sets is a Konig-Egervary collection if |Union of Gamma| + |Intersection of Gamma| = 2alpha(G) (Jarden, Levit, Mandrescu; 2015). In this paper, we show that if the family of all maximum critical independent sets of a graph G is a Konig-Egervary collection, then G is a Konig-Egervary graph. It generalizes one of our conjectures recently validated in (Short; 2015).
The cycle descent statistic on permutations
Published
• View Publication
• BIB
In this paper we study the cycle descent statistic on permutations. Several involutions on permutations and derangements are constructed. Moreover, we construct a bijection between negative cycle descent permutations and Callan perfect matchings.
Laplacian Coefficient, Matching Polynomial and Incidence Energy of of Trees with Described Maximum Degree
Published
• View Publication
• BIB
Let $\mathcal{L}(T,λ)=\sum_{k=0}^n(-1)^{k}c_{k}(T)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix of a tree $T$. This paper studied some properties of the generating function of the coefficients sequence $(c_0, \cdots, c_n)$ which are related with the matching polynomials of division tree of $T$. These results, in turn, are used to characterize all extremal trees having the minimum Laplacian coefficient generation function and the minimum incidence energy of trees with described maximum degree, respectively.
The shape of random tanglegrams
Published
• View Publication
• BIB
A tanglegram consists of two binary rooted trees with the same number of leaves and a perfect matching between the leaves of the trees. We show that the two halves of a random tanglegram essentially look like two independently chosen random plane binary trees. This fact is used to derive a number of results on the shape of random tanglegrams, including theorems on the number of cherries and generally occurrences of subtrees, the root branches, the number of automorphisms, and the height. For each of these, we obtain limiting probabilities or distributions. Finally, we investigate the number of matched cherries, for which the limiting distribution is identified as well.
Symmetric colorings of polypolyhedra
Published in Origami6: Proceedings of the 6th International Meeting of Origami in Science, Mathematics, and Education, The American Mathematical Society, 2015, pp. 21-31
• View Publication
• BIB
Polypolyhedra (after R. Lang) are compounds of edge-transitive 1-skeleta. There are 54 topologically different polypolyhedra, and each has icosidodecahedral, cuboctahedral, or tetrahedral symmetry, all are realizable as modular origami models with one module per skeleton edge. Consider a coloring in which each edge of a given component receives a different color, and where the coloring (up to global color permutation) is invariant under the polypolyhedron's symmetry group. On the Five Intersecting Tetrahedra, the edges of each color form visual bands on the model, and correspond to matchings on the dodecahedron graph. We count the number of such colorings and give three proofs. For each of the non-polygon-component polypolyhedra, there is a corresponding matching coloring, and we count the number of these matching colorings. For some of the non-polygon-component polypolyhedra, there is a corresponding visual-band coloring, and we count the number of these band colorings.
Beyond Aztec Castles: Toric Cascades in the $dP_3$ Quiver
Published
• View Publication
• BIB
Given one of an infinite class of supersymmetric quiver gauge theories, string theorists can associate a corresponding toric variety (which is a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In combinatorial language, a brane tiling is a bipartite graph on a torus and its perfect matchings are of interest to both combinatorialists and physicists alike. A cluster algebra may also be associated to such quivers and in this paper we study the generators of this algebra, known as cluster variables, for the quiver associated to the cone over the del Pezzo surface $dP_3$. In particular, mutation sequences involving mutations exclusively at vertices with two in-coming arrows and two out-going arrows are referred to as toric cascades in the string theory literature. Such toric cascades give rise to interesting discrete integrable systems on the level of cluster variable dynamics. We provide an explicit algebraic formula for all cluster variables which are reachable by toric cascades as well as a combinatorial interpretation involving perfect matchings of subgraphs of the $dP_3$ brane tiling for these formulas in most cases.
On a conjecture for the signless Laplacian spectral radius of cacti with given matching number
Published
• View Publication
• BIB
A connected graph $G$ is a cactus if any two of its cycles have at most one common vertex. Let $\ell_n^m$ be the set of cacti on $n$ vertices with matching number $m.$ S.C. Li and M.J. Zhang determined the unique graph with the maximum signless Laplacian spectral radius among all cacti in $\ell_n^m$ with $n=2m$. In this paper, we characterize the case $n\geq 2m+1$. This confirms the conjecture of Li and Zhang(S.C. Li, M.J. Zhang, On the signless Laplacian index of cacti with a given number of pendant vetices, Linear Algebra Appl. 436, 2012, 4400--4411). Further, we characterize the unique graph with the maximum signless Laplacian spectral radius among all cacti on $n$ vertices.
Cluster Variables and Perfect Matchings of Subgraphs of the $dP_3$ Lattice
We give a combinatorial intepretation of cluster variables of a specific cluster algebra under a mutation sequence of period 6, in terms of perfect matchings of subgraphs of the brane tiling dual to the quiver associated with the cluster algebra.