matching
3278 papers tagged with this keyword
Detecting strong cliques
A strong clique in a graph is a clique intersecting every maximal independent set. We study the computational complexity of six algorithmic decision problems related to strong cliques in graphs and almost completely determine their complexity in the classes of chordal graphs, weakly chordal graphs, line graphs and their complements, and graphs of maximum degree at most three. Our results rely on connections with matchings and relate to several graph properties studied in the literature, including well-covered graphs, localizable graphs, and general partition graphs.
Stability for maximal independent sets
Published
• View Publication
• BIB
Answering questions of Y. Rabinovich, we prove "stability" versions of upper bounds on maximal independent set counts in graphs under various restrictions. Roughly these say that being close to the maximum implies existence of a large induced matching or triangle matching (depending on assumptions).
Clock theorems for triangulated surfaces
We investigate triangulations of the two-dimensional sphere and torus with the faces properly colored white and black. We focus on matchings between white triangles and incident vertices. On the torus our objects are perfect pairings, whereas on the sphere this is only true after removing one triangle and its vertices. In the latter case, such matchings (first studied by Tutte) extend the notion of state in Kauffman's formal knot theory and we show that his Clock Theorem, in its form due to Gilmer and Litherland, also extends: the set of matchings naturally forms a distributive lattice. Here the role of state transposition is played by a simple local operation about black triangles. By contrast, on the torus, the analogous state transition graph is usually disconnected: some of its components still form distributive lattices with global maxima and minima, while other components contain directed cycles and are without local extrema.
Membership criteria and containments of powers of monomial ideals
Published in Acta Mathematica Vietnamica 44 (2019), 117-139
• View Publication
• BIB
We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This relationship leads to several new results and problems on the containments between these powers.
Rainbow matchings in properly-colored hypergraphs
Published
• View Publication
• BIB
A hypergraph $H$ is properly colored if for every vertex $v\in V(H)$, all the edges incident to $v$ have distinct colors. In this paper, we show that if $H_{1}$, \cdots, $H_{s}$ are properly-colored $k$-uniform hypergraphs on $n$ vertices, where $n\geq3k^{2}s$, and $e(H_{i})>{{n}\choose {k}}-{{n-s+1}\choose {k}}$, then there exists a rainbow matching of size $s$, containing one edge from each $H_i$. This generalizes some previous results on the Erdős Matching Conjecture.
A note on matchings in abelian groups
The question of finding sets of monomials which are removable from a generic homogeneous polynomial through a linear change in its variables was raised by E. K. Wakeford in 1916. This linear algebra question motivated J. Losonczy to define the concept of acyclic matchings in Z n, and later in abelian groups. In this paper, we give a constructive approach to study the acyclic matchings in cyclic groups. We also introduce the notion of weakly matched subsets and investigate its relation with matchings in abelian groups.
A Ramsey-type theorem for the matching number regarding connected graphs
Published
• View Publication
• BIB
A major line of research is discovering Ramsey-type theorems, which are results of the following form: given a graph parameter $ρ$, every graph $G$ with sufficiently large $ρ(G)$ contains a `well-structured' induced subgraph $H$ with large $ρ(H)$. The classical Ramsey's theorem deals with the case when the graph parameter under consideration is the number of vertices; there is also a Ramsey-type theorem regarding connected graphs.
Given a graph $G$, the matching number and the induced matching number of $G$ is the maximum size of a matching and an induced matching, respectively, of $G$. In this paper, we formulate Ramsey-type theorems for the matching number and the induced matching number regarding connected graphs. Along the way, we obtain a Ramsey-type theorem for the independence number regarding connected graphs as well.
Off-diagonal ordered Ramsey numbers of matchings
Published
• View Publication
• BIB
For ordered graphs $G$ and $H$, the ordered Ramsey number $r_<(G,H)$ is the smallest $n$ such that every red/blue edge coloring of the complete graph on vertices $\{1,\dots,n\}$ contains either a blue copy of $G$ or a red copy of $H$, where the embedding must preserve the relative order of vertices. One number of interest, first studied by Conlon, Fox, Lee, and Sudakov, is the "off-diagonal" ordered Ramsey number $r_<(M, K_3)$, where $M$ is an ordered matching on $n$ vertices. In particular, Conlon et al. asked what asymptotic bounds (in $n$) can be obtained for $\max r_<(M, K_3)$, where the maximum is over all ordered matchings $M$ on $n$ vertices. The best-known upper bound is $O(n^2/\log n)$, whereas the best-known lower bound is $Ω((n/\log n)^{4/3})$, and Conlon et al. hypothesize that $r_<(M, K_3) = O(n^{2-ε})$ for every ordered matching $M$. We resolve two special cases of this conjecture. We show that the off-diagonal ordered Ramsey numbers for matchings in which edges do not cross are nearly linear. We also prove a truly sub-quadratic upper bound for random matchings with interval chromatic number $2$.
$PC$-polynomial of graph
We define $PC$-polynomial of graph which is related to clique, (in)dependence and matching polynomials. The growth rate of partially commutative monoid is equal to the largest root $β(G)$ of $PC$-polynomial of the corresponding graph.
The random algebra is defined in such way that its growth rate equals the largest root of $PC$-polynomial of random graph. We prove that for almost all graphs all sufficiently large real roots of $PC$-polynomial lie in neighbourhoods of roots of $PC$-polynomial of random graph. We show how to calculate the series expansions of the latter roots. The average value of $β(G)$ over all graphs with the same number of vertices is computed.
We found the graphs on which the maximal value of $β(G)$ with fixed numbers of vertices and edges is reached. From this, we derive the upper bound of $β(G)$. Modulo one assumption, we do the same for minimal value of $β(G)$.
We study the Nordhaus---Gaddum bounds of $β(G)+β(\bar{G})$ and $β(G)β(\bar{G})$.
Stability for Intersecting Families of Perfect Matchings
Published
• View Publication
• BIB
A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and if equality holds, then $\mathcal{F} = \mathcal{F}_{ij}$ where $ \mathcal{F}_{ij}$ is the family of all perfect matchings of $K_{2n}$ that contain some fixed edge $ij$. In this note, we show that the extremal families are stable, namely, that for any $ε\in (0,1/\sqrt{e})$ and $n > n(ε)$, any intersecting family of perfect matchings of size greater than $(1 - 1/\sqrt{e} + ε)(2n-3)!!$ is contained in $\mathcal{F}_{ij}$ for some edge $ij$. The proof uses the Gelfand pair $(S_{2n},S_2 \wr S_n)$ along with an isoperimetric method of Ellis.
Extending some results on the second neighborhood conjecture
Published
• View Publication
• BIB
A vertex in a directed graph is said to have a large second neighborhood if it has at least as many second out-neighbors as out-neighbors. The Second Neighborhood Conjecture, first stated by Seymour, asserts that there is a vertex having a large second neighborhood in every oriented graph (a directed graph without loops or digons). We prove that oriented graphs whose missing edges can be partitioned into a (possibly empty) matching and a (possibly empty) star satisfy this conjecture. This generalizes a result of Fidler and Yuster. An implication of our result is that every oriented graph without a sink and whose missing edges form a (possibly empty) matching has at least two vertices with large second neighborhoods. This is a strengthening of a theorem of Havet and Thomasse, who showed that the same holds for tournaments without a sink. Moreover, we also show that the conjecture is true for oriented graphs whose vertex set can be partitioned into an independent set and a 2-degenerate graph.
Coloured stochastic vertex models and their spectral theory
Published
• View Publication
• BIB
This work is dedicated to $\mathfrak{sl}_{n+1}$-related integrable stochastic vertex models; we call such models coloured. We prove several results about these models, which include the following:
(1) We construct the basis of (rational) eigenfunctions of the coloured transfer-matrices as partition functions of our lattice models with certain boundary conditions. Similarly, we construct a dual basis and prove the corresponding orthogonality relations and Plancherel formulae; (2) We derive a variety of combinatorial properties of those eigenfunctions, such as branching rules, exchange relations under Hecke divided-difference operators, (skew) Cauchy identities of different types, and monomial expansions; (3) We show that our eigenfunctions are certain (non-obvious) reductions of the nested Bethe Ansatz eigenfunctions; (4) For models in a quadrant with domain-wall (or half-Bernoulli) boundary conditions, we prove a matching relation that identifies the distribution of the coloured height function at a point with the distribution of the height function along a line in an associated colour-blind ($\mathfrak{sl}_2$-related) stochastic vertex model. Thanks to a variety of known results about asymptotics of height functions of the colour-blind models, this implies a similar variety of limit theorems for the coloured height function of our models; (5) We demonstrate how the coloured-uncoloured match degenerates to the coloured (or multi-species) versions of the ASEP, $q$-PushTASEP, and the $q$-boson model; (6) We show how our eigenfunctions relate to non-symmetric Cherednik-Macdonald theory, and we make use of this connection to prove a probabilistic matching result by applying Cherednik-Dunkl operators to the corresponding non-symmetric Cauchy identity.
Combinatorial cluster expansion formulas from triangulated surfaces
Published in Electron. J. Combin. Vol. 26, 2 (2019) P2.33
• View Publication
• BIB
We give a cluster expansion formula for cluster algebras with principal coefficients defined from triangulated surfaces in terms of perfect matchings of angles. Our formula simplifies the cluster expansion formula given by Musiker-Schiffler-Williams in terms of perfect matchings of snake graphs. A key point of our proof is to give a bijection between perfect matchings of angles in some triangulated polygon and perfect matchings of the corresponding snake graph. Moreover, they also correspond bijectively with perfect matchings of the corresponding bipartite graph and minimal cuts of the corresponding quiver with potential.
On local matching property in groups and vector space
In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of local matching property for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra.
Finding perfect matchings in random cubic graphs in linear time
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results in \cite{KS} suggest that the first algorithm is superior. In this paper we show that this is indeed the case, at least for random cubic graphs. We show that w.h.p. the first algorithm will find a matching of size $n/2 - O(\log n)$ on a random cubic graph (indeed on a random graph with degrees in $\{3,4\}$). We also show that the algorithm can be adapted to find a perfect matching w.h.p. in $O(n)$ time, as opposed to $O(n^{3/2})$ time for the worst-case.
Binding Number, Toughness and General Matching Extendability in Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 17, 2019) dmtcs:4723
• View Publication
• BIB
A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect matching $F$ in $G$ such that $M\subseteq F$ and $N\cap F=\emptyset$. Similarly, a connected graph with at least $n+2k+2$ vertices is called $(n,k)$-{\it extendable} if for any vertex set $S$ of size $n$ and any matching $M$ of size $k$ of $G-S$, $G-S-V(M)$ contains a perfect matching. Let $\varepsilon$ be a small positive constant, $b(G)$ and $t(G)$ be the binding number and toughness of a graph $G$. The two main theorems of this paper are: for every graph $G$ with sufficiently large order, 1) if $b(G)\geq 4/3+\varepsilon$, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable; 2) if $t(G)\geq 1+\varepsilon$ and $G$ has a high connectivity, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable. It is worth to point out that the binding number and toughness conditions for the existence of the general matching extension properties are almost same as that for the existence of perfect matchings.
The saturation number of carbon nanocones and nanotubes
The saturation number of a graph is the cardinality of a smallest maximal matching. This paper presents bounds for the saturation number of carbon nanocones which are asymptotically equal. The same techniques are applied for the saturation number of certain families of carbon nanotubes, which improve previous results and in one case, yields the exact value.
Polyominoes with maximally many holes
What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 \right) / 3$ and $h_k = \left( 2^{2k}-1 \right) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$.
Triangle-Free Equimatchable Graphs
A graph is called equimatchable if all of its maximal matchings have the same size. Frendrup et al. [8] provided a characterization of equimatchable graphs with girth at least $5$. In this paper, we extend this result by providing a complete structural characterization of equimatchable graphs with girth at least $4$, i.e., equimatchable graphs with no triangle, by identifying the equimatchable triangle-free graph families. Our characterization also extends the result given by Akbari et al. in [1], which proves that the only connected triangle-free equimatchable $r$-regular graphs are $C_5$, $C_7$ and $K_{r,r}$, where $r$ is a positive integer. Given a non-bipartite graph, our characterization implies a linear time recognition algorithm for triangle-free equimatchable graphs.
On the equality of the induced matching number and the uniquely restricted matching number for subcubic graphs
For a matching $M$ in a graph $G$, let $G(M)$ be the subgraph of $G$ induced by the vertices of $G$ that are incident with an edge in $M$. The matching $M$ is induced, if $G(M)$ is $1$-regular, and $M$ is uniquely restricted, if $M$ is the unique perfect matching of $G(M)$. The induced matching number $ν_s(G)$ of $G$ is the largest size of an induced matching in $G$, and the uniquely restricted matching number $ν_{ur}(G)$ of $G$ is the largest size of a uniquely restricted matching in $G$.
Golumbic, Hirst, and Lewenstein (Uniquely restricted matchings, Algorithmica 31 (2001) 139-154) posed the problem to characterize the graphs $G$ with $ν_s(G)=ν_{ur}(G)$. We give a complete characterization of the $2$-connected subcubic graphs $G$ of sufficiently large order with $ν_s(G)=ν_{ur}(G)$. As a consequence, we are able to show that the subcubic graphs $G$ with $ν_s(G)=ν_{ur}(G)$ can be recognized in polynomial time.