matching
3168 papers tagged with this keyword
Channels, Billiards, and Perfect Matching 2-Divisibility
Published in Elec. J. of Combin. 28(2) (2021), #P2.51
• View Publication
• BIB
Let $m_G$ denote the number of perfect matchings of the graph $G$. We introduce a number of combinatorial tools for determining the parity of $m_G$ and giving a lower bound on the power of 2 dividing $m_G$. In particular, we introduce certain vertex sets called channels, which correspond to elements in the kernel of the adjacency matrix of $G$ modulo $2$. A result of Lovász states that the existence of a nontrivial channel is equivalent to $m_G$ being even. We give a new combinatorial proof of this result and strengthen it by showing that the number of channels gives a lower bound on the power of $2$ dividing $m_G$ when $G$ is planar. We describe a number of local graph operations which preserve the number of channels. We also establish a surprising connection between 2-divisibility of $m_G$ and dynamical systems by showing an equivalency between channels and billiard paths. We exploit this relationship to show that $2^{\frac{\gcd(m+1,n+1)-1}{2}}$ divides the number of domino tilings of the $m\times n$ rectangle. We also use billiard paths to give a fast algorithm for counting channels (and hence determining the parity of the number of domino tilings) in simply connected regions of the square grid.
On random stable matchings: cyclic matchings with strict preferences and two-side matchings with partially ordered preferences
Published
• View Publication
• BIB
Consider a cyclically ordered collection of $r$ equinumerous agent sets with strict preferences of every agent over the agents from the next agent set. A weakly stable cyclic matching is a partition of the set of agents into disjoint union of $r$-long cycles, one agent from each set per cycle, such that there are no destabilizing $r$-long cycles, i.e. cycles in which every agent strictly prefers its successor to its successor in the matching. Assuming that the preferences are uniformly random and independent, we show that the expected number of stable matchings grows with $n$ (cardinality of each agent set) as $(n\log n)^{r-1}$. We also consider a bipartite stable matching problem where preference list of each agent forms a partially ordered set. Each partial order is an intersection of several, $k_i$ for side $i$, independent, uniformly random, strict orders. For $k_1+k_2>2$, the expected number of stable matchings is analyzed for three, progressively stronger, notions of stability. The expected number of weakly stable matchings is shown to grow super-exponentially fast. In contrast, for $\min(k_1,k_2)>1$, the fraction of instances with at least one strongly stable (super-stable) matching is super-exponentially small.
Near perfect matchings in uniform hypergraphs
Published
• View Publication
• BIB
In this paper, we study degree conditions for the existence of large matchings in uniform hypergraphs. We prove that for integers $k,l,n$ with $k\ge 3$, $k/2<l<k$, and $n$ large, if $H$ is a $k$-uniform hypergraph on $n$ vertices and $δ_{l}(H)>{n-l\choose k-l}-{(n-l)-(\lceil n/k \rceil-2)\choose 2}$, then $H$ has a matching covering all but a constant number of vertices. When $l=k-2$ and $k\ge 5$, such a matching is near perfect and our bound on $δ_l(H)$ is best possible. When $k=3$, with the help of an absorbing lemma of Hán, Person, and Schacht, our proof also implies that $H$ has a perfect matching, a result proved by K\" uhn, Osthus, and Treglown and, independently, of Kahn.
Weighted Triangle-free 2-matching Problem with Edge-disjoint Forbidden Triangles
Published
• View Publication
• BIB
The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.
On the Relativized Alon Second Eigenvalue Conjecture V: Proof of the Relativized Alon Conjecture for Regular Base Graphs
This is the fifth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this article we use the results of Articles~III and IV in this series to prove that if the base graph is regular, then as the degree, $n$, of the covering map tends to infinity, some new adjacency eigenvalue has absolute value outside the Alon bound with probability bounded by $O(1/n)$. In addition, we give upper and lower bounds on this probability that are tight to within a multiplicative constant times the degree of the covering map. These bounds depend on two positive integers, the \emph{algebraic power} (which can also be $+\infty$) and the \emph{tangle power} of the model of random covering map.
We conjecture that the algebraic power of the models we study is always $+\infty$, and in Article~VI we prove this when the base graph is regular and \emph{Ramanujan}. When the algebraic power of the model is $+\infty$, then the results in this article imply stronger results, such as (1) the upper and lower bounds mentioned above are matching to within a multiplicative constant, and (2) with probability smaller than any negative power of the degree, the some new eigenvalue fails to be within the Alon bound only if the covering map contains one of finitely many "tangles" as a subgraph (and this event has low probability).
On the Relativized Alon Second Eigenvalue Conjecture VI: Sharp Bounds for Ramanujan Base Graphs
This is the sixth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this article we show that if the fixed graph is regular Ramanujan, then the {\em algebraic power} of the model of random covering graphs is $+\infty$. This implies a number of interesting results, such as (1) one obtains the upper and lower bounds---matching to within a multiplicative constant---for the probability that a random covering map has some new adjacency eigenvalue outside the Alon bound, and (2) with probability smaller than any negative power of the degree of the covering map, some new eigenvalue fails to be within the Alon bound without the covering map containing one of finitely many "tangles" as a subgraph (and this tangle containment event has low probability).
The cyclic matching sequenceability of regular graphs
Published
• View Publication
• BIB
The cyclic matching sequenceability of a simple graph $G$, denoted $\mathrm{cms}(G)$, is the largest integer $s$ for which there exists a cyclic ordering of the edges of $G$ so that every set of $s$ consecutive edges forms a matching. In this paper we consider the minimum cyclic matching sequenceability of $k$-regular graphs. We completely determine this for $2$-regular graphs, and give bounds for $k \geq 3$.
The Alon-Tarsi number of $K_5$-minor-free graphs
Published
• View Publication
• BIB
In this paper, we show the following three theorems. Let $G$ be a $K_5$-minor-free graph. Then Alon-Tarsi number of $G$ is at most $5$, there exists a matching $M$ of $G$ such that the Alon-Tarsi number of $G-M$ is at most $4$, and there exists a forest $F$ such that the Alon-Tarsi number of $G-E(F)$ is at most $3$.
Matchings in 1-planar graphs with large minimum degree
Published
• View Publication
• BIB
In 1979, Nishizeki and Baybars showed that every planar graph with minimum degree 3 has a matching of size $\frac{n}{3}+c$ (where the constant $c$ depends on the connectivity), and even better bounds hold for planar graphs with minimum degree 4 and 5. In this paper, we investigate similar matching-bounds for {\em 1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. We show that every 1-planar graph with minimum degree 3 has a matching of size at least $\frac{1}{7}n+\frac{12}{7}$, and this is tight for some graphs. We provide similar bounds for 1-planar graphs with minimum degree 4 and 5, while the case of minimum degree 6 and 7 remains open.
Structural Properties of Connected Domination Critical Graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut vertices of $G$ and let $ζ_{0}$ be the maximum number of cut vertices that can be contained in one block. For an integer $\ell \geq 0$, a graph $G$ is $\ell$-factor critical if $G - S$ has a perfect matching for any subset $S$ of vertices of size $\ell$. It was proved that, for $k \geq 3$, every $k$-$γ_{c}$-critical graph has at most $k - 2$ cut vertices and the graphs with maximum number of cut vertices were characterized. It was proved further that, for $k \geq 4$, every $k$-$γ_{c}$-critical graphs satisfies the inequality $ζ_{0}(G) \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$. In this paper, we characterize all $k$-$γ_{c}$-critical graphs having $k - 3$ cut vertices. Further, we establish realizability that, for given $k \geq 4$, $2 \leq ζ\leq k - 2$ and $2 \leq ζ_{0} \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$, there exists a $k$-$γ_{c}$-critical graph with $ζ$ cut vertices having a block which contains $ζ_{0}$ cut vertices. Finally, we proved that every $k$-$γ_{c}$-critical graph of odd order with minimum degree two is $1$-factor critical if and only if $1 \leq k \leq 2$. Further, we proved that every $k$-$γ_{c}$-critical $K_{1, 3}$-free graph of even order with minimum degree three is $2$-factor critical if and only if $1 \leq k \leq 2$.
Linear Time Recognition of Equimatchable Split Graphs
A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $G-M$ forms an independent set. A graph $G$ is called equimatchable if all maximal matchings have the same number of edges. On the other hand, $G$ is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.
Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes
Published
• View Publication
• BIB
We illustrate the limitations of the hyperplane separation bound, a non-combinatorial lower bound on the extension complexity of a polytope. Most notably, this bounding technique is used by Rothvoß (J ACM 64.6:41, 2017) to establish an exponential lower bound for the perfect matching polytope. We point out that the technique is sensitive to the particular choice of slack matrix. For the canonical slack matrices of the spanning tree polytope and the completion time polytope, we show that the lower bounds produced by the hyperplane separation method are trivial. These bounds may, however, be strengthened by normalizing rows and columns of the slack matrices.
Packing Trees into 1-planar Graphs
Published
• View Publication
• BIB
We introduce and study the 1-planar packing problem: Given $k$ graphs with $n$ vertices $G_1, \dots, G_k$, find a 1-planar graph that contains the given graphs as edge-disjoint spanning subgraphs. We mainly focus on the case when each $G_i$ is a tree and $k=3$. We prove that a triple consisting of three caterpillars or of two caterpillars and a path may not admit a 1-planar packing, while two paths and a special type of caterpillar always have one. We then study 1-planar packings with few crossings and prove that three paths (resp. cycles) admit a 1-planar packing with at most seven (resp. fourteen) crossings. We finally show that a quadruple consisting of three paths and a perfect matching with $n \geq 12$ vertices admits a 1-planar packing, while such a packing does not exist if $n \leq 10$.
Optimal Adaptive Detection of Monotone Patterns
We investigate adaptive sublinear algorithms for detecting monotone patterns in an array. Given fixed $2 \leq k \in \mathbb{N}$ and $\varepsilon > 0$, consider the problem of finding a length-$k$ increasing subsequence in an array $f \colon [n] \to \mathbb{R}$, provided that $f$ is $\varepsilon$-far from free of such subsequences. Recently, it was shown that the non-adaptive query complexity of the above task is $Θ((\log n)^{\lfloor \log_2 k \rfloor})$. In this work, we break the non-adaptive lower bound, presenting an adaptive algorithm for this problem which makes $O(\log n)$ queries. This is optimal, matching the classical $Ω(\log n)$ adaptive lower bound by Fischer [2004] for monotonicity testing (which corresponds to the case $k=2$), and implying in particular that the query complexity of testing whether the longest increasing subsequence (LIS) has constant length is $Θ(\log n)$.
Remarks on the distribution of colors in Gallai colorings
Published in Discrete Mathematics, Volume 343, Issue 10, 2020, 111996
• View Publication
• BIB
A Gallai coloring of a complete graph $K_n$ is an edge coloring without triangles colored with three different colors. A sequence $e_1\ge \dots \ge e_k$ of positive integers is an $(n,k)$-sequence if $\sum_{i=1}^k e_i=\binom{n}{2}$. An $(n,k)$-sequence is a G-sequence if there is a Gallai coloring of $K_n$ with $k$ colors such that there are $e_i$ edges of color $i$ for all $i,1\le i \le k$. Gyárfás, Pálvölgyi, Patkós and Wales proved that for any integer $k\ge 3$ there exists an integer $g(k)$ such that every $(n,k)$-sequence is a G-sequence if and only if $n\ge g(k)$. They showed that $g(3)=5, g(4)=8$ and $2k-2\le g(k)\le 8k^2+1$. We show that $g(5)=10$ and give almost matching lower and upper bounds for $g(k)$ by showing that with suitable constants $α,β>0$, $\frac{αk^{1.5}}{\ln k}\le g(k) \le βk^{1.5}$ for all sufficiently large $k$.
Thresholds versus fractional expectation-thresholds
Published
• View Publication
• BIB
Proving a conjecture of Talagrand, a fractional version of the 'expectation-threshold' conjecture of Kalai and the second author, we show for any increasing family $F$ on a finite set $X$ that $p_c (F) =O( q_f (F) \log \ell(F))$, where $p_c(F)$ and $q_f(F)$ are the threshold and 'fractional expectation-threshold' of $F$, and $\ell(F)$ is the largest size of a minimal member of $F$. This easily implies several heretofore difficult results and conjectures in probabilistic combinatorics, including thresholds for perfect hypergraph matchings (Johansson--Kahn--Vu), bounded-degree spanning trees (Montgomery), and bounded-degree spanning graphs (new). We also resolve (and vastly extend) the 'axial' version of the random multi-dimensional assignment problem (earlier considered by Martin--Mézard--Rivoire and Frieze--Sorkin). Our approach builds on a recent breakthrough of Alweiss, Lovett, Wu and Zhang on the Erdős--Rado 'Sunflower Conjecture'.
The Alon-Tarsi number of planar graphs without cycles of lengths $4$ and $l$
Published
• View Publication
• BIB
This paper proves that if $G$ is a planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$, then there exists a matching $M$ such that $AT(G-M)\leq 3$. This implies that every planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$ is 1-defective 3-paintable.
Bounded degree complexes of forests
Published in Discrete Mathematics, Volume 343, Issue 10, October 2020
• View Publication
• BIB
Given an arbitrary sequence of non-negative integers $\vecλ=(λ_1,\dots,λ_n)$ and a graph $G$ with vertex set $\{v_1,\dots,v_n\}$, the bounded degree complex, denoted $\text{BD}^{\vecλ}(G)$, is a simplicial complex whose faces are the subsets $H\subseteq E(G)$ such that for each $i \in \{1,\dots,n\}$, the degree of vertex $v_i$ in the induced subgraph $G[H]$ is at most $λ_i$. When $λ_i=k$ for all $i$, the bounded degree complex $\text{BD}^{\vecλ}(G)$ is called the $k$-matching complex, denoted $M_k(G)$.
In this article, we determine the homotopy type of bounded degree complexes of forests. In particular, we show that, for all $k\geq 1$, the $k$-matching complexes of caterpillar graphs are either contractible or homotopy equivalent to a wedge of spheres, thereby proving a conjecture of Julianne Vega \cite[Conjecture 7.3]{Vega19}. We also give a closed form formula for the homotopy type of the bounded degree complexes of those caterpillar graphs in which every non-leaf vertex is adjacent to at least one leaf vertex.
Cubic graphs with equal independence number and matching number
Published
• View Publication
• BIB
Caro, Davila, and Pepper (arXiv:1909.09093) recently proved $δ(G) α(G)\leq Δ(G) μ(G)$ for every graph $G$ with minimum degree $δ(G)$, maximum degree $Δ(G)$, independence number $α(G)$, and matching number $μ(G)$. Answering some problems they posed, we characterize the extremal graphs for $δ(G)<Δ(G)$ as well as for $δ(G)=Δ(G)=3$.
Snake graphs and their characteristic polynomials
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.