matching
3278 papers tagged with this keyword
On the Maximum Number of Edges in a Hypergraph with Given Matching Number
Published
• View Publication
• BIB
The aim of the present paper is to prove that the maximum number of edges in a 3-uniform hypergraph on n vertices and matching number s is max{\binom(3s+2,3), \binom(n,3) - \binom(n-s,3)} for all n,s, n >= 3s+2.
The maximal energy of classes of integral circulant graphs
Published in Discrete Applied Mathematics, Vol. 160 (2012), pp. 2015-2029
• View Publication
• BIB
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}_n$ and edge set ${{a,b}: a,b\in\mathbb{Z}_n, \gcd(a-b,n)\in {\cal D}}$. For a fixed prime power $n=p^s$ and a fixed divisor set size $|{\cal D}| =r$, we analyze the maximal energy among all matching integral circulant graphs. Let $p^{a_1} < p^{a_2} < ... < p^{a_r}$ be the elements of ${\cal D}$. It turns out that the differences $d_i=a_{i+1}-a_{i}$ between the exponents of an energy maximal divisor set must satisfy certain balance conditions: (i) either all $d_i$ equal $q:=\frac{s-1}{r-1}$, or at most the two differences $[q]$ and $[q+1]$ may occur; %(for a certain $d$ depending on $r$ and $s$) (ii) there are rules governing the sequence $d_1,...,d_{r-1}$ of consecutive differences. For particular choices of $s$ and $r$ these conditions already guarantee maximal energy and its value can be computed explicitly.
Asymptotics of the Upper Matching Conjecture
Published
• View Publication
• BIB
We give upper bounds for the number $Φ_\ell(G)$ of matchings of size $\ell$ in (i) bipartite graphs $G=(X\cup Y, E)$ with specified degrees $d_x$ ($x\in X$), and (ii) general graphs $G=(V,E)$ with all degrees specified. In particular, for $d$-regular, $N$-vertex graphs, our bound is best possible up to an error factor of the form $\exp[o_d(1)N]$, where $o_d(1) \rightarrow 0$ as $d \rightarrow \infty$. This represents the best progress to date on the "Upper Matching Conjecture" of Friedland, Krop, Lundow and Markström. Some further possibilities are also suggested.
Matchings in Random Biregular Bipartite Graphs
Published in Electron. J. Combin. 20 (1), 2013, P60
• View Publication
• BIB
We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs. We also present an application to commutative graphs, a class of graphs that are featured in additive number theory.
A Partially Ordered Structure and a Generalization of the Canonical Partition for General Graphs with Perfect Matchings
Published
• View Publication
• BIB
This paper is concerned with structures of general graphs with perfect matchings. We first reveal a partially ordered structure among factor-components of general graphs with perfect matchings. Our second result is a generalization of Kotzig's canonical partition to a decomposition of general graphs with perfect matchings. It contains a short proof for the theorem of the canonical partition. These results give decompositions which are canonical, that is, unique to given graphs. We also show that there are correlations between these two and that these can be computed in polynomial time.
Proving properties of the edge elimination polynomial using equivalent graph polynomials
Published in Congressus Numerantium 211 (2012) 73-88
• Search Publication
Averbouch, Godlin and Makowsky define the edge elimination polynomial of a graph by a recurrence relation with respect to the deletion, contraction and extraction of an edge. It generalizes some well-known graph polynomials such as the chromatic polynomial and the matching polynomial. By introducing two equivalent graph polynomials, one enumerating subgraphs and the other enumerating colorings, we show that the edge elimination polynomial of a simple graph is reconstructible from its polynomial deck and that it encodes the degree sequence of an arbitrary graph.
A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs
Published
• View Publication
• BIB
The NP-complete Permutation Pattern Matching problem asks whether a $k$-permutation $P$ is contained in a $n$-permutation $T$ as a pattern. This is the case if there exists an order-preserving embedding of $P$ into $T$. In this paper, we present a fixed-parameter algorithm solving this problem with a worst-case runtime of $\mathcal{O}(1.79^{\mathsf{run}(T)}\cdot n\cdot k)$, where $\mathsf{run}(T)$ denotes the number of alternating runs of $T$. This algorithm is particularly well-suited for instances where $T$ has few runs, i.e., few ups and downs. Moreover, since $\mathsf{run}(T)<n$, this can be seen as a $\mathcal{O}(1.79^{n}\cdot n\cdot k)$ algorithm which is the first to beat the exponential $2^n$ runtime of brute-force search. Furthermore, we prove that under standard complexity theoretic assumptions such a fixed-parameter tractability result is not possible for $\mathsf{run}(P)$.
Decompositions of complete graphs into cycles of arbitrary lengths
Published
• View Publication
• BIB
We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the complete graph on $n$ vertices can be decomposed into a perfect matching and $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is even, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\ldots+m_t=\binom n2-\frac n2$.
Large rainbow matchings in large graphs
Published
• View Publication
• BIB
A \textit{rainbow subgraph} of an edge-colored graph is a subgraph whose edges have distinct colors. The \textit{color degree} of a vertex $v$ is the number of different colors on edges incident to $v$. We show that if $n$ is large enough (namely, $n\geq 4.25k^2$), then each $n$-vertex graph $G$ with minimum color degree at least $k$ contains a rainbow matching of size at least $k$.
A Combinatorial Proof of the Enumeration of Alternating Permutations with Given Peak Set
Using the correspondence between a cycle up-down permutation and a pair of matchings, we give a combinatorial proof of the enumeration of alternating permutations according to the given peak set.
New Lower Bounds for Matching Vector Codes
Published
• View Publication
• BIB
A Matching Vector (MV) family modulo $m$ is a pair of ordered lists $U=(u_1,...,u_t)$ and $V=(v_1,...,v_t)$ where $u_i,v_j \in \mathbb{Z}_m^n$ with the following inner product pattern: for any $i$, $< u_i,v_i>=0$, and for any $i \ne j$, $< u_i,v_j> \ne 0$. A MV family is called $q$-restricted if inner products $< u_i,v_j>$ take at most $q$ different values.
Our interest in MV families stems from their recent application in the construction of sub-exponential locally decodable codes (LDCs). There, $q$-restricted MV families are used to construct LDCs with $q$ queries, and there is special interest in the regime where $q$ is constant. When $m$ is a prime it is known that such constructions yield codes with exponential block length. However, for composite $m$ the behaviour is dramatically different. A recent work by Efremenko [STOC 2009] (based on an approach initiated by Yekhanin [JACM 2008]) gives the first sub-exponential LDC with constant queries. It is based on a construction of a MV family of super-polynomial size by Grolmusz [Combinatorica 2000] modulo composite $m$.
In this work, we prove two lower bounds on the block length of LDCs which are based on black box construction using MV families. When $q$ is constant (or sufficiently small), we prove that such LDCs must have a quadratic block length. When the modulus $m$ is constant (as it is in the construction of Efremenko) we prove a super-polynomial lower bound on the block-length of the LDCs, assuming a well-known conjecture in additive combinatorics, the polynomial Freiman-Ruzsa conjecture over $\mathbb{Z}_m$.
Exact Sequences for the Homology of the Matching Complex
Published in J. Combin. Theory Ser. A 115 (2008) 1504-1526
• View Publication
• BIB
Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of long exact sequences for the reduced simplicial homology of the matching complex $M_n$, which is the simplicial complex of matchings in the complete graph $K_n$. Combining these sequences in different ways, we prove several results about the 3-torsion part of the homology of $M_n$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_n;Z)$ whenever $ν_n \le d \le (n-6}/2$, where $ν_n= \lceil (n-4)/3 \rceil$. By results due to Bouc and to Shareshian and Wachs, $H_{ν_n}(M_n;Z)$ is a nontrivial elementary 3-group for almost all $n$ and the bottom nonvanishing homology group of $M_n$ for all $n \neq 2$. Second, we prove that $H_d(M_n;Z)$ is a nontrivial 3-group whenever $ν_n \le d \le (2n-9)/5$. Third, for each $k \ge 0$, we show that there is a polynomial $f_k(r)$ of degree 3k such that the dimension of $H_{k-1+r}(M_{2k+1+3r};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(r)$ for all $r \ge k+2$.
On the 3-torsion Part of the Homology of the Chessboard Complex
Published in Ann. Combin. 14 (2010), no. 4, 487-505
• View Publication
• BIB
Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_{m,n};Z)$ whenever $\frac{m+n-4}{3} \le d \le m-4$ and whenever $6 \le m < n$ and $d=m-3$. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples $(m,n,d)$ satisfying $H_{d}(M_{m,n};Z) \neq 0$. Second, for each $k \ge 0$, we show that there is a polynomial $f_k(a,b)$ of degree 3k such that the dimension of $H_{k+a+2b-2}(M_{k+a+3b-1,k+2a+3b-1};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(a,b)$ for all $a \ge 0$ and $b \ge k+2$. Third, we give a computer-free proof that $H_2(M_{5,5};Z) \cong Z_3$. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of $M_{m,n}$ to the homology of $M_{m-2,n-1}$ and $M_{m-2,n-3}$.
Five-Torsion in the Homology of the Matching Complex on 14 Vertices
Published in J. Algebraic Combin. 29 (2009), no. 1, 81-90
• View Publication
• BIB
J. L. Andersen proved that there is 5-torsion in the bottom nonvanishing homology group of the simplicial complex of graphs of degree at most two on seven vertices. We use this result to demonstrate that there is 5-torsion also in the bottom nonvanishing homology group of the matching complex $M_{14}$ on 14 vertices. Combining our observation with results due to Bouc and to Shareshian and Wachs, we conclude that the case $n=14$ is exceptional; for all other $n$, the torsion subgroup of the bottom nonvanishing homology group has exponent three or is zero. The possibility remains that there is other torsion than 3-torsion in higher-degree homology groups of $M_n$ when $n \ge 13$ and $n \neq 14$.
More Torsion in the Homology of the Matching Complex
Published in Experimental Mathematics 19 (2010), no. 3, 363-383
• View Publication
• BIB
A matching on a set $X$ is a collection of pairwise disjoint subsets of $X$ of size two. Using computers, we analyze the integral homology of the matching complex $M_n$, which is the simplicial complex of matchings on the set $\{1, >..., n\}$. The main result is the detection of elements of order $p$ in the homology for $p \in \{5,7,11,13\}$. Specifically, we show that there are elements of order 5 in the homology of $M_n$ for $n \ge 18$ and for $n \in {14,16}$. The only previously known value was $n = 14$, and in this particular case we have a new computer-free proof. Moreover, we show that there are elements of order 7 in the homology of $M_n$ for all odd $n$ between 23 and 41 and for $n=30$. In addition, there are elements of order 11 in the homology of $M_{47}$ and elements of order 13 in the homology of $M_{62}$. Finally, we compute the ranks of the Sylow 3- and 5-subgroups of the torsion part of $H_d(M_n;Z)$ for $13 \le n \le 16$; a complete description of the homology already exists for $n \le 12$. To prove the results, we use a representation-theoretic approach, examining subcomplexes of the chain complex of $M_n$ obtained by letting certain groups act on the chain complex.
Traffic Analysis in Random Delaunay Tessellations and Other Graphs
In this work we study the degree distribution, the maximum vertex and edge flow in non-uniform random Delaunay triangulations when geodesic routing is used. We also investigate the vertex and edge flow in Erdös-Renyi random graphs, geometric random graphs, expanders and random $k$-regular graphs. Moreover we show that adding a random matching to the original graph can considerably reduced the maximum vertex flow.
Random triangle removal
Published
• View Publication
• BIB
Starting from a complete graph on $n$ vertices, repeatedly delete the edges of a uniformly chosen triangle. This stochastic process terminates once it arrives at a triangle-free graph, and the fundamental question is to estimate the final number of edges (equivalently, the time it takes the process to finish, or how many edge-disjoint triangles are packed via the random greedy algorithm). Bollobás and Erdős (1990) conjectured that the expected final number of edges has order $n^{3/2}$, motivated by the study of the Ramsey number $R(3,t)$. An upper bound of $o(n^2)$ was shown by Spencer (1995) and independently by Rödl and Thoma (1996). Several bounds were given for variants and generalizations (e.g., Alon, Kim and Spencer (1997) and Wormald (1999)), while the best known upper bound for the original question of Bollobás and Erdős was $n^{7/4+o(1)}$ due to Grable (1997). No nontrivial lower bound was available.
Here we prove that with high probability the final number of edges in random triangle removal is equal to $n^{3/2+o(1)}$, thus confirming the 3/2 exponent conjectured by Bollobás and Erdős and matching the predictions of Spencer et al. For the upper bound, for any fixed $ε>0$ we construct a family of $\exp(O(1/ε))$ graphs by gluing $O(1/ε)$ triangles sequentially in a prescribed manner, and dynamically track all homomorphisms from them, rooted at any two vertices, up to the point where $n^{3/2+ε}$ edges remain. A system of martingales establishes concentration for these random variables around their analogous means in a random graph with corresponding edge density, and a key role is played by the self-correcting nature of the process. The lower bound builds on the estimates at that very point to show that the process will typically terminate with at least $n^{3/2-o(1)}$ edges left.
Fast strategies in Maker-Breaker games played on random boards
Published
• View Publication
• BIB
In this paper we analyze classical Maker-Breaker games played on the edge set of a sparse random board $G\sim \gnp$. We consider the Hamiltonicity game, the perfect matching game and the $k$-connectivity game. We prove that for $p(n)\geq \text{polylog}(n)/n$, the board $G\sim \gnp$ is typically such that Maker can win these games asymptotically as fast as possible, i.e. within $n+o(n)$, $n/2+o(n)$ and $kn/2+o(n)$ moves respectively.
Cumulants of the q-semicircular law, Tutte polynomials, and heaps
Published in Can. J. Math.-J. Can. Math. 65 (2013) 863-878
• View Publication
• BIB
The q-semicircular distribution is a probability law that interpolates between the Gaussian law and the semicircular law. There is a combinatorial interpretation of its moments in terms of matchings where q follows the number of crossings, whereas for the free cumulants one has to restrict the enumeration to connected matchings. The purpose of this article is to describe combinatorial properties of the classical cumulants. We show that like the free cumulants, they are obtained by an enumeration of connected matchings, the weight being now an evaluation of the Tutte polynomial of a so-called crossing graph. The case q=0 of these cumulants was studied by Lassalle using symmetric functions and hypergeometric series. We show that the underlying combinatorics is explained through the theory of heaps, which is Viennot's geometric interpretation of the Cartier-Foata monoid. This method also gives results for the classical cumulants of the free Poisson law.
A generalization of Ramsey theory for stars and one matching
A recent question in generalized Ramsey theory is that for fixed positive integers $s\leq t$, at least how many vertices can be covered by the vertices of no more than $s$ monochromatic members of the family $\cal F$ in every edge coloring of $K_n$ with $t$ colors. This is related to {$d$-chromatic Ramsey numbers} introduced by Chung and Liu. In this paper, we first compute these numbers for stars generalizing the well-known result of Burr and Roberts. Then we extend a result of Cockayne and Lorimer to compute $d$-chromatic Ramsey numbers for stars and one matching.