matching
3278 papers tagged with this keyword
On sufficient conditions for spanning structures in dense graphs
Published
• View Publication
• BIB
We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and, excluding the bipartite case, contains an odd cycle. A simple consequence of the Robust Expander Theorem of Kühn, Osthus and Treglown tells us that any large enough graph that robustly satisfies these properties must already be Hamiltonian. Our main result generalises this phenomenon to powers of cycles and graphs of sublinear bandwidth subject to natural generalisations of connectivity, matchings and odd cycles.
This answers a question of Ebsen, Maesaka, Reiher, Schacht and Schülke and solves the embedding problem that underlies multiple lines of research on sufficient conditions for spanning structures in dense graphs. As applications, we recover and establish Bandwidth Theorems in a variety of settings including Ore-type degree conditions, Pósa-type degree conditions, deficiency-type conditions, locally dense and inseparable graphs, multipartite graphs as well as robust expanders.
Chords of 2-factors in planar cubic bridgeless graphs
Published in Graphs and Combinatorics 38, 177 (2022)
• View Publication
• BIB
We show that every edge in a 2-edge-connected planar cubic graph is either contained in a 2-edge-cut or is a chord of some cycle that is contained in a 2-factor of the graph. As a consequence, we show that every edge in a cyclically 4-edge-connected planar cubic graph, except $K_2^3$ and $K_4$, is contained in a perfect matching whose removal disconnects the graph. We obtain a complete characterization of 2-edge-connected planar cubic graphs that have an edge such that every 2-factor containing the edge is a Hamiltonian cycle, and also of those that have an edge such that the complement of every perfect matching containing the edge is a Hamiltonian cycle. Another immediate consequence of the main result is that for any two edges contained in a facial cycle of a 2-edge-connected planar cubic graph, there exists a 2-factor in the graph such that both edges are contained in the same cycle of the 2-factor. We conjecture that this property holds for any two edges in a 2-edge-connected planar cubic graph, and prove it for planar cubic bipartite graphs. The main result is proved in the dual form by showing that every plane triangulation admits a vertex 3-coloring such that no face is monochromatic and there is exactly one specified edge between a specified pair of color classes.
A Note on Minimum Degree Condition for Hamiltonian $(a,b)$-Cycles in Hypergraphs
Published
• View Publication
• BIB
Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $α\in (0,1)$ such that $δ_a(\mathcal{H})\geq (α+o(1))\binom{n-a}{b}$ and $δ_b(\mathcal{H})\geq (1-α+o(1))\binom{n-b}{a}$, then $\mathcal{H}$ contains a Hamilton $(a,b)$-cycle. As a corollary, we prove that if $δ_{\ell}(\mathcal{H})\geq (1/2 +o(1))\binom{n-\ell}{k-\ell}$ for some $\ell \geq k/2$, then $\mathcal{H}$ contains a Hamilton $(k-\ell,\ell)$-cycle and this is asymptotically best possible.
Positive matching decompositions of graphs
A matching $M$ in a graph $Γ$ is positive if $Γ$ has a vertex-labeling such that $M$ coincides with the set of edges with positive weights. A positive matching decomposition (pmd) of $Γ$ is an edge-partition $M_1,\ldots,M_p$ of $Γ$ such that $M_i$ is a positive matching in $Γ-M_1\cup\cdots\cup M_{i-1}$, for $i=1,\ldots,p$. The pmds of graphs are used to study algebraic properties of the Lovász-Saks-Schrijver ideals arising from orthogonal representations of graphs. We give a characterization of pmds of graphs in terms of alternating closed walks and apply it to study pmds of various classes of graphs including complete multipartite graphs, (regular) bipartite graphs, cacti, generalized Petersen graphs, etc. We further show that computation of pmds of a graph can be reduced to that of its maximum pendant-free subgraph.
Limit shape of perfect matchings on rail-yard graphs
Published
• View Publication
• BIB
We obtain limit shape of perfect matchings on a large class of rail-yard graphs with right boundary condition given by the empty partition, and left boundary condition given by either by a staircase partition with constant density or a piecewise partition with densities either 1 or 0. We prove the parametric equations for the frozen boundary, and find conditions under which the frozen boundary is a cloud curve, or a union of disjoint cloud curves.
A characterization of two-dimensional Buchsbaum matching complexes
Published
• View Publication
• BIB
The matching complex $M(G)$ of a graph $G$ is the set of all matchings in $G$. A Buchsbaum simplicial complex is a generalization of both a homology manifold and a Cohen--Macaulay complex. We give a complete characterization of the graphs $G$ for which $M(G)$ is a two-dimensional Buchsbaum complex. As an intermediate step, we determine which graphs have matching complexes that are themselves connected graphs.
A family of non-Cayley cores based on vertex-transitive or strongly regular self-complementary graphs
Given a finite simple graph $Γ$ on $n$ vertices its complementary prism is the graph $Γ\barΓ$ that is obtained from $Γ$ and its complement $\barΓ$ by adding a perfect matching, where each its edge connects two copies of the same vertex in $Γ$ and $\barΓ$. It generalizes the Petersen graph, which is obtained if $Γ$ is the pentagon. The automorphism group of $Γ\barΓ$ is described for arbitrary graph $Γ$. In particular, it is shown that the ratio between the cardinalities of the automorphism groups of $Γ\barΓ$ and $Γ$ can attain only values $1$, $2$, $4$, and $12$. It is shown that the Cheeger number of $Γ\barΓ$ equals either 1 or $1-\frac{1}{n}$, and the two corresponding classes of graphs are fully determined. It is proved that $Γ\barΓ$ is vertex-transitive if and only if $Γ$ is vertex-transitive and self-complementary. In this case the complementary prism is Hamiltonian-connected whenever $n>5$, and is not a Cayley graph whenever $n>1$. The main results involve endomorphisms of graph $Γ\barΓ$. It is shown that $Γ\barΓ$ is a core, i.e. all its endomorphisms are automorphisms, whenever $Γ$ is strongly regular and self-complementary. The same conclusion is obtained for many vertex-transitive self-complementary graphs. In particular, it is shown that if there exists a vertex-transitive self-complementary graph $Γ$ such that $Γ\barΓ$ is not a core, then $Γ$ is neither a core nor its core is a complete graph.
An Invariance Principle for the Multi-slice, with Applications
Published
• View Publication
• BIB
Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which $μ(i) = k_i/n$. This answers a question raised by Filmus et al.
As applications of the invariance principle, we show:
1. An analogue of the "dictatorship test implies computational hardness" paradigm for problems with perfect completeness, for a certain class of dictatorship tests. Our computational hardness is proved assuming a recent strengthening of the Unique-Games Conjecture, called the Rich $2$-to-$1$ Games Conjecture. Using this analogue, we show that assuming the Rich $2$-to-$1$ Games Conjecture, (a) there is an $r$-ary CSP $\mathcal{P}_r$ for which it is NP-hard to distinguish satisfiable instances of the CSP and instances that are at most $\frac{2r+1}{2^r} + o(1)$ satisfiable, and (b) hardness of distinguishing $3$-colorable graphs, and graphs that do not contain an independent set of size $o(1)$.
2. A reduction of the problem of studying expectations of products of functions on the multi-slice to studying expectations of products of functions on correlated, product spaces. In particular, we are able to deduce analogues of the Gaussian bounds from \cite{MosselGaussian} for the multi-slice.
3. In a companion paper, we show further applications of our invariance principle in extremal combinatorics, and more specifically to proving removal lemmas of a wide family of hypergraphs $H$ called $ζ$-forests, which is a natural extension of the well-studied case of matchings.
Log-concave poset inequalities
Published in Journal of Association for Mathematical Research, vol. 2, issue 1 (2024), 53--153
• View Publication
• BIB
We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions.
In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case.
A constructive proof of the Bollobás-Varopoulos theorem
The Bollobás-Varopoulos theorem is an analogue of Hall's matching theorem on non-atomic measure spaces. Here we prove a finite version with a completely constructive proof.
The extremal function for structured sparse minors
Let $c(H)$ be the smallest value for which $e(G)/|G|\geq c(H)$ implies $H$ is a minor of $G$. We show a new upper bound on $c(H)$, which improves previous bounds for graphs with a vertex partition where some pairs of parts have many more edges than others -- for instance a complete bipartite graph with a small number of edges placed inside one class. We also show a tight matching lower bound for almost all such graphs. We apply these results to show $c(K_{ft/\log t,t}) = (0.638\dotsc+o_{f}(1))t\sqrt{f}$, for $f = o(\log t) = ω(1)$.
On well-edge-dominated graphs
Published
• View Publication
• BIB
A graph is said to be well-edge-dominated if all its minimal edge dominating sets are minimum. It is known that every well-edge-dominated graph $G$ is also equimatchable, meaning that every maximal matching in $G$ is maximum. In this paper, we show that if $G$ is a connected, triangle-free, nonbipartite, well-edge-dominated graph, then $G$ is one of three graphs. We also characterize the well-edge-dominated split graphs and Cartesian products. In particular, we show that a connected Cartesian product $G\Box H$ is well-edge-dominated, where $G$ and $H$ have order at least $2$, if and only if $G\Box H = K_2 \Box K_2$.
A Flat Wall Theorem for Matching Minors in Bipartite Graphs
Published
• View Publication
• BIB
A major step in the graph minors theory of Robertson and Seymour is the transition from the Grid Theorem which, in some sense uniquely, describes areas of large treewidth within a graph, to a notion of local flatness of these areas in form of the existence of a large flat wall within any huge grid of an H-minor free graph. In this paper, we prove a matching theoretic analogue of the Flat Wall Theorem for bipartite graphs excluding a fixed matching minor. Our result builds on a a tight relationship between structural digraph theory and matching theory and allows us to deduce a Flat Wall Theorem for digraphs which substantially differs from a previously established directed variant of this theorem.
Embedding perfectly balanced 2-caterpillar into its optimal hypercube
A long-standing conjecture on spanning trees of a hypercube states that a balanced tree on $2^n$ vertices with maximum degree at most $3$ spans the hypercube of dimension $n$ \cite{havel1986}. In this paper, we settle the conjecture for a special family of binary trees. A $0$-caterpillar is a path. For $k\geq 1$, a $k$-caterpillar is a binary tree consisting of a path with $j$-caterpillars $(0\leq j\leq k-1)$ emanating from some of the vertices on the path. A $k$-caterpillar that contains a perfect matching is said to be perfectly balanced. In this paper, we show that a perfectly balanced $2$-caterpillar on $2^n$ vertices spans the hypercube of dimension $n$.
Matching forcing polynomial of generalized Petersen graph GP(n, 2)
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.
Finding popular branchings in vertex-weighted digraphs
Published
• View Publication
• BIB
Popular matchings have been intensively studied recently as a relaxed concept of stable matchings. By applying the concept of popular matchings to branchings in directed graphs, Kavitha et al.\ (2020) introduced popular branchings. In a directed graph $G=(V_G,E_G)$, each vertex has preferences over its incoming edges. For branchings $B_1$ and $B_2$ in $G$, a vertex $v\in V_G$ prefers $B_1$ to $B_2$ if $v$ prefers its incoming edge of $B_1$ to that of $B_2$, where having an arbitrary incoming edge is preferred to having none, and $B_1$ is more popular than $B_2$ if the number of vertices that prefer $B_1$ is greater than the number of vertices that prefer $B_2$. A branching $B$ is called a popular branching if there is no branching more popular than $B$. Kavitha et al. (2020) proposed an algorithm for finding a popular branching when the preferences of each vertex are given by a strict partial order. The validity of this algorithm is proved by utilizing classical theorems on the duality of weighted arborescences. In this paper, we generalize popular branchings to weighted popular branchings in vertex-weighted directed graphs in the same manner as weighted popular matchings by Mestre (2014). We give an algorithm for finding a weighted popular branching, which extends the algorithm of Kavitha et al., when the preferences of each vertex are given by a total preorder and the weights satisfy certain conditions. Our algorithm includes elaborated procedures resulting from the vertex-weights, and its validity is proved by extending the argument of the duality of weighted arborescences.
Two Disjoint Alternating Paths in Bipartite Graphs
A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.
An extension of the Erdős-Ko-Rado theorem to set-wise $2$-intersecting families of perfect matchings
Published
• View Publication
• BIB
Two perfect matchings $P$ and $Q$ of the complete graph on $2k$ vertices are said to be set-wise $t$-intersecting if there exist edges $P_{1}, \cdots, P_{t}$ in $P$ and $Q_{1}, \cdots, Q_{t}$ in $Q$ such that the union of edges $P_{1}, \cdots, P_{t}$ has the same set of vertices as the union of $Q_{1}, \cdots, Q_{t}$ has. In this paper we prove an extension of the famous Erdős-Ko-Rado (EKR) theorem to set-wise $2$-intersecting families of perfect matching on all values of $k$, and we conjecture similar statement for all $t\geq 2$.
Proof of Grinblat's conjecture on rainbow matchings in multigraphs
Published
• View Publication
• BIB
Many well-known problems in Combinatorics can be reduced to finding a large rainbow structure in a certain edge-coloured multigraph. Two celebrated examples of this are Ringel's tree packing conjecture and Ryser's conjecture on transversals in Latin squares. In this paper, we answer such a question raised by Grinblat twenty years ago. Let an $(n,v)$-multigraph be an $n$-edge-coloured multigraph in which the edges of each colour span a disjoint union of non-trivial cliques that have in total at least $v$ vertices. Grinblat conjectured that for all $n \geq 4$, every $(n,3n-2)$-multigraph contains a rainbow matching of size $n$. Here, we prove the conjecture for all sufficiently large $n$.
Note on random Latin squares and the triangle removal process
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.