matching
3168 papers tagged with this keyword
A Sparse Regular Approximation Lemma
Published
• View Publication
• BIB
We introduce a new variant of Szemerédi's regularity lemma which we call the "sparse regular approximation lemma" (SRAL). The input to this lemma is a graph $G$ of edge density $p$ and parameters $ε, δ$, where we think of $δ$ as a constant. The goal is to construct an $ε$-regular partition of $G$ while having the freedom to add/remove up to $δ|E(G)|$ edges. As we show here, this weaker variant of the regularity lemma already suffices for proving the graph removal lemma and the hypergraph regularity lemma, which are two of the main applications of the (standard) regularity lemma. This of course raises the following question: can one obtain quantitative bounds for SRAL that are significantly better than those associated with the regularity lemma?
Our first result answers the above question affirmatively by proving an upper bound for SRAL given by a tower of height $O(\log 1/p)$. This allows us to reprove Fox's upper bound for the graph removal lemma. Our second result is a matching lower bound for SRAL showing that a tower of height $Ω(\log 1/p)$ is unavoidable. We in fact prove a more general multicolored lower bound which is essential for proving lower bounds for the hypergraph regularity lemma.
Generalizations of the Matching Polynomial to the Multivariate Independence Polynomial
Published
• View Publication
• BIB
We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph $G$ as the independence polynomial of the line graph of $G$, we determine conditions for the extension of these theorems to the independence polynomial of any graph. In particular, we show that a stability-like property of the multivariate independence polynomial characterizes claw-freeness. Finally, we give and extend multivariate versions of Godsil's theorems on the divisibility of matching polynomials of trees related to $G$.
Spectral determinants and an Ambarzumian type theorem on graphs
Published
• View Publication
• BIB
We consider an inverse problem for Schrödinger operators on connected equilateral graphs with standard matching conditions. We calculate the spectral determinant and prove that the asymptotic distribution of a subset of its zeros can be described by the roots of a polynomial. We verify that one of the roots is equal to the mean value of the potential and apply it to prove an Ambarzumian type result, i.e., if a specific part of the spectrum is the same as in the case of zero potential, then the potential has to be zero.
The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs
An ordered graph $G$ is a graph whose vertex set is a subset of integers. The edges are interpreted as tuples $(u,v)$ with $u < v$. For a positive integer $s$, a matrix $M \in \mathbb{Z}^{s \times 4}$, and a vector $\mathbf{p} = (p,\ldots,p) \in \mathbb{Z}^s$ we build a conflict graph by saying that edges $(u,v)$ and $(x,y)$ are conflicting if $M(u,v,x,y)^\top \geq \mathbf{p}$ or $M(x,y,u,v)^\top \geq \mathbf{p}$, where the comparison is componentwise. This new framework generalizes many natural concepts of ordered and unordered graphs, such as the page-number, queue-number, band-width, interval chromatic number and forbidden ordered matchings.
For fixed $M$ and $p$, we investigate how the chromatic number of $G$ depends on the structure of its conflict graph. Specifically, we study the maximum chromatic number $X_\text{cli}(M,p,w)$ of ordered graphs $G$ with no $w$ pairwise conflicting edges and the maximum chromatic number $X_\text{ind}(M,p,a)$ of ordered graphs $G$ with no $a$ pairwise non-conflicting edges. We determine $X_\text{cli}(M,p,w)$ and $X_\text{ind}(M,p,a)$ exactly whenever $M$ consists of one row with entries in $\{-1,0,+1\}$ and moreover consider several cases in which $M$ consists of two rows or has arbitrary entries from $\mathbb{Z}$.
Turan numbers of extensions of some sparse hypergraphs via Lagrangians
Published
• View Publication
• BIB
Given a positive integer $n$ and an $r$-uniform hypergraph (or $r$-graph for short) $F$, the Turan number $ex(n,F)$ of $F$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain $F$ as a subgraph. The extension $H^F $ of $F$ is obtained as follows: For each pair of vertices $v_i,v_j$ in $F$ not contained in an edge of $F$, we add a set $B_{ij}$ of $r-2$ new vertices and the edge $\{v_i,v_j\} \cup B_{ij}$, where the $B_{ij}$ 's are pairwise disjoint over all such pairs $\{i,j\}$. Let $K^r_p$ denote the complete $r$-graph on $p$ vertices. For all sufficiently large $n$, we determine the Turan numbers of the extensions of a $3$-uniform $t$-matching, a $3$-uniform linear star of size $t$, and a $4$-uniform linear star of size $t$, respectively. We also show that the unique extremal hypergraphs are balanced blowups of $K^3_{3t-1}, K^3_{2t}$, and $K^4_{3t}$, respectively. Our results generalize the recent result of Hefetz and Keevash [7].
A brief overview of the sock matching problem
Published in Ars Combinatoria, vol. 153 (2020) 261-270
• Search Publication
This short note deals with the so-called $ Sock \; Matching \; Problem$. We define $B_{n,k}$ as the number of all the finite sequences $a_1, \ldots, a_{2n}$ of nonnegative integers which contain at least one occurrence of $k$ $(1 \leq k \leq n)$ and for which $a_1 = 1 $, $a_{2n}=0$ and $ \mid a_i -a_{i+1}\mid \; = 1$. The value $a_i$ can be interpreted as the number of unmatched socks being present after having drawn the first $i$ socks randomly out of the pile which initially contained $n$ pairs of socks. Here, establishing a link between this problem and with both some old and some new results, related to the number of restricted Dyck paths, we obtain a few valid forms of the sock matching theorem and prove that the probability for $k$ unmatched socks to appear (in the very process of drawing one sock at a time) approaches $1$ as the number of socks becomes large enough.
Matching preclusion for $n$-grid graphs
Published
• View Publication
• BIB
A matching preclusion set of a graph is an edge set whose deletion results in a graph without perfect matching or almost perfect matching. The Cartesian product of $n$ paths is called an $n$-grid graph. In this paper, we study the matching preclusion problems for $n$-grid graphs and obtain the following results. If an $n$-grid graph has an even order, then it has the matching preclusion number $n$, and every optimal matching preclusion set is trivial. If the $n$-grid graph has an odd order, then it has the matching preclusion number $n+1$, and all the optimal matching preclusion sets are characterized.
The complexity of perfect matchings and packings in dense hypergraphs
Published
• View Publication
• BIB
Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices.
In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph.
For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.
An approximate version of a conjecture of Aharoni and Berger
Published
• View Publication
• BIB
Aharoni and Berger conjectured that in every proper edge-colouring of a bipartite multigraph by $n$ colours with at least $n+1$ edges of each colour there is a rainbow matching using every colour. This conjecture generalizes a longstanding problem of Brualdi and Stein about transversals in Latin squares. Here an approximate version of the Aharoni-Berger Conjecture is proved---it is shown that if there are at least $n+o(n)$ edges of each colour in a proper $n$-edge-colouring of a bipartite multigraph then there is a rainbow matching using every colour.
Decomposing planar cubic graphs
Published
• View Publication
• BIB
The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.
Mixed Determinants and the Kadison-Singer problem
Published
• View Publication
• BIB
We adapt the arguments of Marcus, Spielman and Srivastava in their proof of the Kadison-Singer problem to prove improved paving estimates. Working with Anderson's paving formulation of Kadison-Singer instead of Weaver's vector balancing version, we show that the machinery of interlacing polyomials due to Marcus, Spielman and Srivastava works in this setting as well. The relevant expected characteristic polynomials turn out to be related to the so called "mixed determinants" that have been carefully studied by Borcea and Branden. This technique allows us to show that any projection with diagonal entries strictly less than $\frac{1}{4}$ can be two paved, matching recent results of Bownik, Casazza, Marcus and Speegle, though our estimates are asymptotically weaker. We also show that any projection with diagonal entries at most $\frac{1}{2}$ can be four paved, yielding improvements over currently known estimates. We also relate the problem of finding optimal paving estimates to bounding the root intervals of a natural one parameter deformation of the characteristic polynomial of a matrix that turns out to have some remarkable combinatorial properties.
An Explicit Formula for the Eigenvectors of Acyclic Matrices and Weighted Trees
Let $A$ be an acyclic symmetric matrix of order $n$. There is a weighted forest $F$ whose adjacency matrix is $A$. In this paper, using some results on matching polynomials, we provide an explicit formula for eigenvectors of $A$.
On the representation number of a crown graph
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. It is known that any word-representable graph $G$ is $k$-word-representable for some $k$, that is, there exists a word $w$ representing $G$ such that each letter occurs exactly $k$ times in $w$. The minimum such $k$ is called $G$'s representation number.
A crown graph $H_{n,n}$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. In this paper we show that for $n\geq 5$, $H_{n,n}$'s representation number is $\lceil n/2 \rceil$. This result not only provides a complete solution to the open Problem 7.4.2 in \cite{KL}, but also gives a negative answer to the question raised in Problem 7.2.7 in \cite{KL} on 3-word-representability of bipartite graphs. As a byproduct we obtain a new example of a graph class with a high representation number.
Lots of Aperiodic Sets of Tiles
Published
• View Publication
• BIB
Aperiodic tiling --- a form of complex global geometric structure arising through locally checkable, constant-time matching rules --- has long been closely tied to a wide range of physical, information-theoretic, and foundational applications, but its study and use has been hindered by a lack of easily generated examples. Through readily generalized, robust techniques for controlling hierarchical structure, we increase the catalogue of explicit constructions of aperiodic sets of tiles hundreds-fold, in lots, easily assembled and configured from atomic subsets of 211 tiles, enforcing 25,380 distinct "domino" substitution tiling systems. Among these, we notice three non-periodic, non-unique decomposition substitution tiling systems.
The Pegasus Tiles: an aperiodic pair of tiles
The Pegasus tiles are an aperiodic pair of tiles with "tip to tip" matching rules, first drawn in 1996. We present them here.
Matching Rules for the Sphinx Tiling Substitution
We give a set of tiles that enforces the sphinx tiling substitution system; the tiles are thus aperiodic.
Cluster algebras and continued fractions
Published in Compositio Math. 154 (2018) 565-593
• View Publication
• BIB
We establish a combinatorial realization of continued fractions as quotients of cardinalities of sets. These sets are sets of perfect matchings of certain graphs, the snake graphs, that appear naturally in the theory of cluster algebras. To a continued fraction $[a_1,a_2,\ldots,a_n]$, we associate a snake graph $\mathcal{G}[a_1,a_2,\ldots,a_n]$ such that the continued fraction is the quotient of the number of perfect matchings of $\mathcal{G}[a_1,a_2,\ldots,a_n]$ and $\mathcal{G}[a_2,\ldots,a_n]$. We also show that snake graphs are in bijection with continued fractions.
We then apply this connection between cluster algebras and continued fractions in two directions. First, we use results from snake graph calculus to obtain new identities for the continuants of continued fractions. Then, we apply the machinery of continued fractions to cluster algebras and obtain explicit direct formulas for quotients of elements of the cluster algebra as continued fractions of Laurent polynomials in the initial variables. Building on this formula, and using classical methods for infinite periodic continued fractions, we also study the asymptotic behavior of quotients of elements of the cluster algebra.
Exact Ramsey numbers of odd cycles via nonlinear optimisation
Published
• View Publication
• BIB
For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$.
Supermodularity in Unweighted Graph Optimization I: Branchings and Matchings
The main result of the paper is motivated by the following two, apparently unrelated graph optimization problems: (A) as an extension of Edmonds' disjoint branchings theorem, characterize digraphs comprising $k$ disjoint branchings $B_i$ each having a specified number $μ_i$ of arcs, (B) as an extension of Ryser's maximum term rank formula, determine the largest possible matching number of simple bipartite graphs complying with degree-constraints. The solutions to these problems and to their generalizations will be obtained from a new min-max theorem on covering a supermodular function by a simple degree-constrained bipartite graph. A specific feature of the result is that its minimum cost extension is already NP-complete. Therefore classic polyhedral tools themselves definitely cannot be sufficient for solving the problem, even though they make some good service in our approach.
Supermodularity in Unweighted Graph Optimization II: Matroidal Term Rank Augmentation
Ryser's max term rank formula with graph theoretic terminology is equivalent to a characterization of degree sequences of simple bipartite graphs with matching number at least $\ell$. In a previous paper by the authors, a generalization was developed for the case when the degrees are constrained by upper and lower bounds. Here two other extensions of Ryser's theorem are discussed. The first one is a matroidal model, while the second one settles the augmentation version. In fact, the two directions shall be integrated into one single framework.