matching
3168 papers tagged with this keyword
Perfect matchings, Hamiltonian cycles and edge-colourings in a class of cubic graphs
Published in Ars Math. Contemp. 23, No. 3, #P3.01 (2023)
• View Publication
• BIB
A graph $G$ has the Perfect-Matching-Hamiltonian property (PMH-property) if for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. The study of graphs that have the PMH-property, initiated in the 1970s by Las Vergnas and Häggkvist, combines three well-studied properties of graphs, namely matchings, Hamiltonicity and edge-colourings. In this work, we study these concepts for cubic graphs in an attempt to characterise those cubic graphs for which every perfect matching corresponds to one of the colours of a proper 3-edge-colouring of the graph. We discuss that this is equivalent to saying that such graphs are even-2-factorable (E2F), that is, all 2-factors of the graph contain only even cycles. The case for bipartite cubic graphs is trivial, since if $G$ is bipartite then it is E2F. Thus, we restrict our attention to non-bipartite cubic graphs. A sufficient, but not necessary, condition for a cubic graph to be E2F is that it has the PMH-property. The aim of this work is to introduce an infinite family of E2F non-bipartite cubic graphs on two parameters, which we coin papillon graphs, and determine the values of the respective parameters for which these graphs have the PMH-property or are just E2F. We also show that no two papillon graphs with different parameters are isomorphic.
Excluding a Planar Matching Minor in Bipartite Graphs
Published
• View Publication
• BIB
Matching minors are a specialisation of minors fit for the study of graph with perfect matchings. The notion of matching minors has been used to give a structural description of bipartite graphs on which the number of perfect matchings can becomputed efficiently, based on a result of Little, by McCuaig et al. in 1999.In this paper we generalise basic ideas from the graph minor series by Robertson and Seymour to the setting of bipartite graphs with perfect matchings. We introducea version of Erdos-Posa property for matching minors and find a direct link between this property and planarity. From this, it follows that a class of bipartite graphs withperfect matchings has bounded perfect matching width if and only if it excludes aplanar matching minor. We also present algorithms for bipartite graphs of bounded perfect matching width for a matching version of the disjoint paths problem, matching minor containment, and for counting the number of perfect matchings. From our structural results, we obtain that recognising whether a bipartite graphGcontains afixed planar graphHas a matching minor, and that counting the number of perfect matchings of a bipartite graph that excludes a fixed planar graph as a matching minor are both polynomial time solvable.
Nordhaus-Gaddum type inequality for the fractional matching number of a graph
Published
• View Publication
• BIB
The fractional matching number of a graph G, is the maximum size of a fractional matching of G. The following sharp lower bounds for a graph G of order n are proved, and all extremal graphs are characterized in this paper. (1)The sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than n/2 , where n is not less than 2. (2) If G and its complement are non-empty, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+1)/2, where n is not less than 28. (3) If G and its complement have no isolated vertices, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+4)/2, where n is not less than 28.
The Number of Locally $p$-stable Functions on $Q_n$
Published in Discrete Mathematics, Volume 345, Issue 6, 2022, p. 112848, ISSN 0012-365X
• View Publication
• BIB
A Boolean function $f:V \to \{-1,1\}$ on the vertex set of a graph $G=(V,E)$ is locally $p$-stable if for every vertex $v$ the proportion of neighbours $w$ of $v$ with $f(v)=f(w)$ is exactly $p$. This notion was introduced by Gross and Grupel in [1] while studying the scenery reconstruction problem. They give an exponential type lower bound for the number of isomorphism classes of locally $p$-stable functions when $G=Q_n$ is the $n$-dimensional Boolean hypercube and ask for more precise estimates. In this paper we provide such estimates by improving the lower bound to a double exponential type lower bound and finding a matching upper bound. We also show that for a fixed $k$ and increasing $n$, the number of isomorphism classes of locally $(1-k/n)$-stable functions on $Q_n$ is eventually constant. The proofs use the Fourier decomposition of functions on the Boolean hypercube.
Perfect Matchings in the Semi-random Graph Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a perfect matching in as few rounds as possible. In particular, we present an adaptive strategy for the player which achieves a perfect matching in $βn$ rounds, where the value of $β< 1.206$ is derived from a solution to some system of differential equations. This improves upon the previously best known upper bound of $(1+2/e+o(1)) \, n < 1.736 \, n$ rounds. We also improve the previously best lower bound of $(\ln 2 + o(1)) \, n > 0.693 \, n$ and show that the player cannot achieve the desired property in less than $αn$ rounds, where the value of $α> 0.932$ is derived from a solution to another system of differential equations. As a result, the gap between the upper and lower bounds is decreased roughly four times.
Constructive Characterization of Critical Bipartite Grafts
Factor-critical graphs are a classical concept in matching theory that constitute an important component of the Gallai-Edmonds canonical decomposition and Edmonds' algorithm for maximum matchings. Lovász provided a constructive characterization of factor-critical graphs in terms of ear decompositions. This characterization has been a useful inductive tool for studying factor-critical graphs and also connects them with Edmonds' algorithm.
Joins in grafts, also known as $T$-joins in graphs, are a classical variant of matchings proposed in terms of parity. Minimum joins and grafts are generalizations of perfect matchings and graphs with perfect matchings, respectively. Accordingly, graft analogues of fundamental concepts and results from matching theory, such as canonical decompositions, will develop the theory of minimum join. In this paper, we propose a new concept, critical quasicombs, as a bipartite graft analogue of factor-critical graphs and provide a constructive characterization of critical quasicombs using a graft version of ear decompositions. This characterization can be considered as a bipartite graft analogue of Lovász' result. From our results, the Dulmage-Mendelsohn canonical decomposition, originally a theory for bipartite graphs, has been generalized for bipartite grafts.
Large rainbow matchings in edge-colored graphs with given average color degree
Published
• View Publication
• BIB
A rainbow matching in an edge-colored graph is a matching in which no two edges have the same color. The color degree of a vertex v is the number of different colors on edges incident to v. Kritschgau [Electron. J. Combin. 27(2020)] studied the existence of rainbow matchings in edge-colored graph G with average color degree at least 2k, and proved some sufficient conditions for a rainbow marching of size k in G. The sufficient conditions include that |V(G)|>=12k^2+4k, or G is a properly edge-colored graph with |V(G)|>=8k. In this paper, we show that every edge-colored graph G with |V(G)|>=4k-4 and average color degree at least 2k-1 contains a rainbow matching of size k. In addition, we also prove that every strongly edge-colored graph G with average degree at least 2k-1 contains a rainbow matching of size at least k. The bound is sharp for complete graphs.
Rainbow spanning structures in graph and hypergraph systems
Published
• View Publication
• BIB
We study the following rainbow version of subgraph containment problems in a family of (hyper)graphs, which generalizes the classical subgraph containment problems in a single host graph. For a collection $\textbf{G}=\{G_1, G_2,\ldots, G_{m}\}$ of not necessarily distinct $k$-graphs on the same vertex set $[n]$, a (sub)graph $H$ on $[n]$ is rainbow if there exists an injection $\varphi: E(H)\rightarrow[m]$ such that $e\in E(G_{\varphi(e)})$ for each $e\in E(H)$. Note that if $|E(H)|=m$, then $\varphi$ is a bijection and thus $H$ contains exactly one edge from each $G_i$. Our main results focus on rainbow clique-factors in (hyper)graph systems with minimum $d$-degree conditions. Specifically, we establish the following: (1) A rainbow analogue of an asymptotical version of the Hajnal--Szemerédi theorem, namely, if $t\mid n$ and $δ(G_i)\geq(1-\frac{1}{t}+\varepsilon)n$ for each $i\in[\frac{n}{t}\binom{t}{2}]$, then $\textbf{G}$ contains a rainbow $K_t$-factor; (2) Essentially a minimum $d$-degree condition forcing a perfect matching in a $k$-graph also forces rainbow perfect matchings in $k$-graph systems for $d\in[k-1]$. The degree assumptions in both results are asymptotically best possible (although the minimum $d$-degree condition forcing a perfect matching in a $k$-graph is in general unknown). For (1) we also discuss two directed versions and a multipartite version. Finally, to establish these results, we in fact provide a general framework to attack this type of problems, which reduces it to subproblems with finitely many colors.
Squarefree powers of edge ideals of forests
Published in The Electronic Journal of Combinatorics, 28(2) (2021), P2.32
• View Publication
• BIB
Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for any forest $G$.
Total Coloring and Total Matching: Polyhedra and Facets
Published
• View Publication
• BIB
A total coloring of a graph $G = (V, E)$ is an assignment of colors to vertices and edges such that neither two adjacent vertices nor two incident edges get the same color, and, for each edge, the end-points and the edge itself receive different colors. Any valid total coloring induces a partition of the elements of $G$ into total matchings, which are defined as subsets of vertices and edges that can take the same color. In this paper, we propose Integer Linear Programming models for both the Total Coloring and the Total Matching problems, and we study the strength of the corresponding Linear Programming relaxations. The total coloring is formulated as the problem of finding the minimum number of total matchings that cover all the graph elements. This covering formulation can be solved by a Column Generation algorithm, where the pricing subproblem corresponds to the Weighted Total Matching Problem. Hence, we study the Total Matching Polytope. We introduce three families of nontrivial valid inequalities: vertex-clique inequalities based on standard clique inequalities of the Stable Set Polytope, congruent-$2k3$ cycle inequalities based on the parity of the vertex set induced by the cycle, and even-clique inequalities induced by complete subgraphs of even order. We prove that congruent-$2k3$ cycle inequalities are facet-defining only when $k = 4$, while the vertex-clique and even-cliques are always facet-defining. Finally, we present preliminary computational results of a Column Generation algorithm for the Total Coloring Problem and a Cutting Plane algorithm for the Total Matching Problem.
Rainbow perfect matchings for 4-uniform hypergraphs
Published
• View Publication
• BIB
Let $n$ be a sufficiently large integer with $n\equiv 0\pmod 4$ and let $F_i \subseteq{[n]\choose 4}$ where $i\in [n/4]$. We show that if each vertex of $F_i$ is contained in more than ${n-1\choose 3}-{3n/4\choose 3}$ edges, then $\{F_1, \ldots ,F_{n/4}\}$ admits a rainbow matching, i.e., a set of $n/4$ edges consisting of one edge from each $F_i$. This generalizes a deep result of Khan on perfect matchings in 4-uniform hypergraphs.
A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture
We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the geometric von Neumann conjecture.
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
The overfullness of graphs with small minimum degree and large maximum degree
Published
• View Publication
• BIB
Given a simple graph $G$, denote by $Δ(G)$, $δ(G)$, and $χ'(G)$ the maximum degree, the minimum degree, and the chromatic index of $G$, respectively. We say $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ(G)+1$ and $χ'(H)\le Δ(G)$ for every proper subgraph $H$ of $G$; and $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2 \rfloor$. Since a maximum matching in $G$ can have size at most $\lfloor |V(G)|/2 \rfloor$, it follows that $χ'(G) = Δ(G) +1$ if $G$ is overfull. Conversely, let $G$ be a $Δ$-critical graph. The well known overfull conjecture of Chetwynd and Hilton asserts that $G$ is overfull provided $Δ(G) > |V(G)|/3$. In this paper, we show that any $Δ$-critical graph $G$ is overfull if $Δ(G) - 7δ(G)/4\ge(3|V(G)|-17)/4$.
Filtered simplicial homology, graph dissimilarity and überhomology
Published
• View Publication
• BIB
We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.
A clique-free pseudorandom subgraph of the pseudo polarity graph
Published
• View Publication
• BIB
We provide a new family of $K_k$-free pseudorandom graphs with edge density $Θ(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.
On the sum of sizes of overlapping families
Published
• View Publication
• BIB
Let $\mathcal{A}_1,\ldots,\mathcal{A}_m$ be families of $k$-subsets of an $n$-set. Suppose that one cannot choose pairwise disjoint edges from $s+1$ distinct families. Subject to this condition we investigate the maximum of $|\mathcal{A}_1|+\ldots+|\mathcal{A}_m|$. Note that the subcase $m=s+1$, $\mathcal{A}_1=\ldots=\mathcal{A}_m$ is the Erdős Matching Conjecture, one of the most important open problems in extremal set theory. We provide some upper bounds, a general conjecture and its solution for the range $n\geq 4k^2s$.
A combinatorial algorithm for computing the entire sequence of the maximum degree of minors of a generic partitioned polynomial matrix with $2 \times 2$ submatrices
Published
• View Publication
• BIB
In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{αβ} x_{αβ} t^{d_{αβ}})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{αβ}$ is an indeterminate, and $d_{αβ}$ is an integer for $α= 1,2,\dots, μ$ and $β= 1,2,\dots,ν$, and $t$ is an additional indeterminate. This problem can be viewed as an algebraic generalization of the maximum weight bipartite matching problem.
The main result of this paper is a combinatorial $O(μν\min\{μ, ν\}^2)$-time algorithm for computing the entire sequence of the maximum degree of minors of a $(2 \times 2)$-type generic partitioned polynomial matrix of size $2μ\times 2ν$. We also present a minimax theorem, which can be used as a good characterization (NP $\cap$ co-NP characterization) for the computation of the maximum degree of minors of order $k$. Our results generalize the classical primal-dual algorithm (the Hungarian method) and minimax formula (Egerváry's theorem) for the maximum weight bipartite matching problem.
Reductions for the 3-Decomposition Conjecture
Published
• View Publication
• BIB
The 3-decomposition conjecture is wide open. It asserts that every finite connected cubic graph can be decomposed into a spanning tree, a disjoint union of cycles, and a matching. We show that every such decomposition is derived from a homeomorphically irreducible spanning tree (HIST). This allows us to propose a novel reformulation of the 3-decomposition conjecture: the HIST-extension conjecture.
We also prove that the following graphs are reducible configurations with respect to the 3-decomposition conjecture: the triangle, the K_{2,3}, the Petersen graph with one vertex removed, the claw-square, the twin-house, and the domino. As an application, we show that all 3-connected graphs of tree-width at most 3 or of path-width at most 4 satisfy the 3-decomposition conjecture and that a 3-connected minimum counterexample to the conjecture is triangle-free, all cycles of length at most 6 are induced, and every edge is in the centre of an induced P_6.
Finally, we automate the naive part of the process of checking whether a configuration is reducible and we prove that all graphs of order at most 20 satisfy the 3-decomposition conjecture.
The number of perfect matchings, and the nesting properties, of random regular graphs
Published
• View Publication
• BIB
We prove that the number of perfect matchings in ${\mathcal G}(n,d)$ is asymptotically normal when $n$ is even, $d\to\infty$ as $n\to\infty$, and $d=O(n^{1/7}/\log^2 n)$. This is the first distributional result of spanning subgraphs of ${\mathcal G}(n,d)$ when $d\to\infty$.
Moreover, we prove that ${\mathcal G}(n,d-1)$ and ${\mathcal G}(n,d)$ can be coupled so that ${\mathcal G}(n,d-1)$ is a subgraph of ${\mathcal G}(n,d)$ with high probability when $d\to\infty$ and $d=o(n^{1/3})$. Further, if $d=Ω(\log^7 n)$, $d=O(n^{1/7}/\log^2n)$, and $d\le d'\le n-1$ then ${\mathcal G}(n,d)$ and ${\mathcal G}(n,d')$ can be coupled so that asymptotically almost surely ${\mathcal G}(n,d)$ is a subgraph of ${\mathcal G}(n,d')$.