matching
3168 papers tagged with this keyword
The maximal spectral radius of the uniform unicyclic hypergraph with perfect matchings
Published
• View Publication
• BIB
Let $\mathcal{U}(n,k)$ and $Γ(n,k)$ be the set of the $k$-uniform linear and nonlinear unicyclic hypergraphs having perfect matchings with $n$ vertices respectively, where $n\geq k(k-1)$ and $k\geq 3$. By using some techniques of transformations and constructing the incidence matrices for the hypergraphs considered, we get the hypergraphs with the maximal spectral radii among three kinds of hypergraphs, namely $\mathcal{U}(n,k)$ with $n= 2k(k-1)$ and $n\geq 9k(k-1)$, $Γ(n,k)$ with $n\geq k(k-1)$, and $\mathcal{U}(n,k)\cup Γ(n,k)$ with $n\geq 2k(k-1)$, where $k\geq 3$.
Constructing the $r$-uniform supertrees with the same spectral radius and matching energyv
Published
• View Publication
• BIB
An $r$-uniform supertree is a connected and acyclic hypergraph of which each edge has $r$ vertices, where $r\geq 3$. We propose the concept of matching energy for an $r$-uniform hypergraph, which is defined as the sum of the absolute value of all the eigenvalues of its matching polynomial. With the aid of the matching polynomial of an $r$-uniform supertree, three pairs of $r$-uniform supertrees with the same spectral radius and the same matching energy are constructed, and two infinite families of $r$-uniform supertrees with the same spectral radius and the same matching energy are characterized. Some known results about the graphs with the same spectra regarding to their adjacency matrices can be naturally deduced from our new results.
Exact Matching in Graphs of Bounded Independence Number
In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect matching exactly $k$ of whose edges have color red. EM generalizes several important algorithmic problems such as perfect matching and restricted minimum weight spanning tree problems. When introducing the problem in 1982, Papadimitriou and Yannakakis conjectured EM to be $\textbf{NP}$-complete. Later however, Mulmuley et al.~presented a randomized polynomial time algorithm for EM, which puts EM in $\textbf{RP}$. Given that to decide whether or not $\textbf{RP}=\textbf{P}$ represents a big open challenge in complexity theory, this makes it unlikely for EM to be $\textbf{NP}$-complete, and in fact indicates the possibility of a deterministic polynomial time algorithm. EM remains one of the few natural combinatorial problems in $\textbf{RP}$ which are not known to be contained in $\textbf{P}$, making it an interesting instance for testing the hypothesis $\textbf{RP}=\textbf{P}$. Despite EM being quite well-known, attempts to devise deterministic polynomial algorithms have remained illusive during the last 40 years and progress has been lacking even for very restrictive classes of input graphs. In this paper we finally push the frontier of positive results forward by proving that EM can be solved in deterministic polynomial time for input graphs of bounded independence number, and for bipartite input graphs of bounded bipartite independence number. This generalizes previous positive results for complete (bipartite) graphs which were the only known results for EM on dense graphs.
Pushing Blocks by Sweeping Lines
We investigate the reconfiguration of $n$ blocks, or "tokens", in the square grid using "line pushes". A line push is performed from one of the four cardinal directions and pushes all tokens that are maximum in that direction to the opposite direction. Tokens that are in the way of other tokens are displaced in the same direction, as well.
Similar models of manipulating objects using uniform external forces match the mechanics of existing games and puzzles, such as Mega Maze, 2048 and Labyrinth, and have also been investigated in the context of self-assembly, programmable matter and robotic motion planning. The problem of obtaining a given shape from a starting configuration is know to be NP-complete.
We show that, for every $n$, there are "sparse" initial configurations of $n$ tokens (i.e., where no two tokens are in the same row or column) that can be rearranged into any $a\times b$ box such that $ab=n$. However, only $1\times k$, $2\times k$ and $3\times 3$ boxes are obtainable from any arbitrary sparse configuration with a matching number of tokens. We also study the problem of rearranging labeled tokens into a configuration of the same shape, but with permuted tokens. For every initial "compact" configuration of the tokens, we provide a complete characterization of what other configurations can be obtained by means of line pushes.
Matching Theory and Barnette's Conjecture
Published
• View Publication
• BIB
Barnette's Conjecture claims that all cubic, 3-connected, planar, bipartite graphs are Hamiltonian. We give a translation of this conjecture into the matching-theoretic setting. This allows us to relax the requirement of planarity to give the equivalent conjecture that all cubic, 3-connected, Pfaffian, bipartite graphs are Hamiltonian.
A graph, other than the path of length three, is a brace if it is bipartite and any two disjoint edges are part of a perfect matching. Our perspective allows us to observe that Barnette's Conjecture can be reduced to cubic, planar braces. We show a similar reduction to braces for cubic, 3-connected, bipartite graphs regarding four stronger versions of Hamiltonicity. Note that in these cases we do not need planarity. As a practical application of these results, we provide some supplements to a generation procedure for cubic, 3-connected, planar, bipartite graphs discovered by Holton et al. [Hamiltonian Cycles in Cubic 3-Connected Bipartite Planar Graphs, JCTB, 1985]. These allow us to check whether a graph we generated is a brace.
The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number
Let $K_{r_1,\ldots,r_s}$ denote the complete multipartite graph with class sizes $r_1,\ldots,r_s$ and let $K_s$ denote the complete graph of order $s$. In 2018, Luo determined the maximum number of $K_s$ in 2-connected graphs with a given circumference. Recently, Lu, Yuan and Zhang determined the maximum number of $K_{r_1,r_2}$ in 2-connected graphs with a given circumference, and Wang determined the maximum number of $K_s$ or $K_{r_1,1,\ldots,1}$ in graphs with given matching number. Motivated by these works, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in $2$-connected graphs with given circumference and large minimum degree. The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with given matching number and large minimum degree is also given. Consequently, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number. We also solve the corresponding problems for graphs with a given detour order.
Bipyramid Volume, Mahler Measure and Some $\mathbb{Z}^2$-periodic Links
Champanerkar, Kofman and Lalín conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.
Hypergraph LSS-ideals and coordinate sections of symmetric tensors
Published
• View Publication
• BIB
Let K be a field, [n]= {1,...,n} and H=([n],E) be a hypergraph. For an integer d >= 1 the Lovasz-Saks-Schrijver ideal (LSS-ideal) L_H^K (d) in K[y_{ij}~:~(i,j) \in [n] x [d]] is the ideal generated by the polynomials $f^{(d)}_{e}= \sum\limits_{j=1}^{d} \prod\limits_{i \in e} y_{ij}$ for edges e of H. In this paper for an algebraically closed field K and a k-uniform hypergraph H=([n],E) we employ a connection between LSS-ideals and coordinate sections of the closure of the set S_{n,k}^d of homogeneous degree k symmetric tensors in n variables of rank <= d to derive results on the irreducibility of its coordinate sections. To this end we provide results on primality and the complete intersection property of L_H^K (d). We then use the combinatorial concept of positive matching decomposition of a hypergraph H to provide bounds on when L_H^K(d) turns prime to provide results on the irreducibility of coordinate sections of S_{n, k}^d.
Equivariant log-concavity of graph matchings
Published
• View Publication
• BIB
For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map of Kratthenthaler and reduces to the hard Lefschetz theorem.
Critical Equimatchable Graphs
A graph G is equimatchable if every maximal matching of G has the same cardinality. In this paper, we investigate equimatchable graphs such that the removal of any edge harms the equimatchability, called edge-critical equimatchable graphs (ECE-graphs). We show that apart from two simple cases, namely bipartite ECE-graphs and even cliques, all ECE-graphs are 2-connected factor-critical. Accordingly, we give a characterization of factor-critical ECE-graphs with connectivity 2. Our result provides a partial answer to an open question posed by Levit and Mandrescu on the characterization of well-covered graphs with no shedding vertex. We also introduce equimatchable graphs such that the removal of any vertex harms the equimatchability, called vertex-critical equimatchable graphs (VCE-graphs). To conclude, we enlighten the relationship between various subclasses of equimatchable graphs (including ECE-graphs and VCE-graphs) and discuss the properties of factor-critical ECE-graphs with connectivity at least 3.
A Simple LP-Based Approximation Algorithm for the Matching Augmentation Problem
Published
• View Publication
• BIB
The Matching Augmentation Problem (MAP) has recently received significant attention as an important step towards better approximation algorithms for finding cheap $2$-edge connected subgraphs. This has culminated in a $\frac{5}{3}$-approximation algorithm. However, the algorithm and its analysis are fairly involved and do not compare against the problem's well-known LP relaxation called the cut LP. In this paper, we propose a simple algorithm that, guided by an optimal solution to the cut LP, first selects a DFS tree and then finds a solution to MAP by computing an optimum augmentation of this tree. Using properties of extreme point solutions, we show that our algorithm always returns (in polynomial time) a better than $2$-approximation when compared to the cut LP. We thereby also obtain an improved upper bound on the integrality gap of this natural relaxation.
Matchings in matroids over abelian groups
Published
• View Publication
• BIB
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.
Extremal graphs for edge blow-up of lollipops
Given a graph $H$ and an integer $p$ ($p\geq 2$), the edge blow-up $H^{p+1}$ of $H$ is the graph obtained from replacing each edge in $H$ by a clique of order $(p+1)$, where the new vertices of the cliques are all distinct. The Turán numbers for edge blow-up of matchings were first studied by Erdős and Moon. Very recently some substantial progress of the extremal graphs for $H^{p+1}$ of larger $p$ has been made by Yuan. The range of Turán numbers for edge blow-up of all bipartite graphs when $p\geq 3$ and the exact Turán numbers for edge blow-up of all non-bipartite graphs when $p\geq χ(H) +1$ has been determined by Yuan (2022), where $χ(H)$ is the chromatic number of $H$. A lollipop $C_{k,\;\ell}$ is the graph obtained from a cycle $C_k$ by appending a path $P_{\ell+1}$ to one of its vertices. In this paper, we consider the extremal graphs for $C_{k,\;\ell}^{p+1}$ of the rest cases $p=2$ and $p=3$.
Edge-coloured graphs with only monochromatic perfect matchings and their connection to quantum physics
Krenn, Gu and Zeilinger initiated the study of PMValid edge-colourings because of its connection to a problem from quantum physics. A graph is defined to have a PMValid $k$-edge-colouring if it admits a $k$-edge-colouring (i.e. an edge colouring with $k$-colours) with the property that all perfect matchings are monochromatic and each of the $k$ colour classes contain at least one perfect matching.
The matching index of a graph $G$, $μ(G)$ is defined as the maximum value of $k$ for which $G$ admits a PMValid $k$-edge-colouring. It is easy to see that $μ(G)\geq 1$ if and only if $G$ has a perfect matching (due to the trivial $1$-edge-colouring which is PMValid). Bogdanov observed that for all graphs non-isomorphic to $K_4$, $μ(G)\leq 2$ and $μ(K_4)=3$. However, the characterisation of graphs for which $μ(G)=1$ and $μ(G)=2$ is not known. In this work, we answer this question. Using this characterisation, we also give a fast algorithm to compute $μ(G)$ of a graph $G$. In view of our work, the structure of PMValid $k$-edge-colourable graphs is now fully understood for all $k$. Our characterisation, also has an implication to the aforementioned quantum physics problem. In particular, it settles a conjecture of Krenn and Gu for a sub-class of graphs.
On distribution of the depth index on perfect matchings
We study the restriction of depth index statistic on the set of perfect matchings. In particular, we provide additional combinatorial description of the statistic for perfect matchings and calculate the generating polynomial. The main result of the present short paper is that the depth index on perfect matchings is equidistributed with the rank function of the Bruhat order.
On the Keevash-Knox-Mycroft Conjecture
Published
• View Publication
• BIB
Given $1\le \ell <k$ and $δ\ge0$, let $\textbf{PM}(k,\ell,δ)$ be the decision problem for the existence of perfect matchings in $n$-vertex $k$-uniform hypergraphs with minimum $\ell$-degree at least $δ\binom{n-\ell}{k-\ell}$. For $k\ge 3$, $\textbf{PM}(k,\ell,0)$ was one of the first NP-complete problems by Karp. Keevash, Knox and Mycroft conjectured that $\textbf{PM}(k, \ell, δ)$ is in P for every $δ> 1-(1-1/k)^{k-\ell}$ and verified the case $\ell=k-1$.
In this paper we show that this problem can be reduced to the study of the minimum $\ell$-degree condition forcing the existence of fractional perfect matchings. Together with existing results on fractional perfect matchings, this solves the conjecture of Keevash, Knox and Mycroft for $\ell\ge 0.4k$. Moreover, we also supply an algorithm that outputs a perfect matching, provided that one exists.
Removable edges in cubic matching covered graphs
{ An edge $e$ in a matching covered graph $G$ is {\em removable} if $G-e$ is matching covered, which was introduced by Lovász and Plummer in connection with ear decompositions of matching covered graphs. A {\it brick}} is a non-bipartite matching covered graph without non-trivial tight cuts. The importance of bricks stems from the fact that they are building blocks of matching covered graphs. Improving Lovász's result, Carvalho et al. [Ear decompositions of matching covered graphs, {\em Combinatorica}, 19(2):151-174, 1999] showed that each brick other than $K_4$ and $\overline{C_6}$ has $Δ-2$ removable edges, where $Δ$ is the maximum degree of $G$. In this paper, we show that every cubic brick $G$ other than $K_4$ and $\overline{C_6}$ has a matching of size at least $|V(G)|/8$, each edge of which is removable in $G$.
Large induced distance matchings in certain sparse random graphs
Published
• View Publication
• BIB
For a fixed integer $k\geqslant 2$, let $G\in \mathcal{G}(n,p)$ be a simple connected graph on $n\rightarrow\infty$ vertices with the expected degree $d=np$ satisfying $d\geqslant c$ and $d^{k-1}= o(n)$ for some large enough constant $c$. We show that the asymptotical size of any maximal collection of edges $M$ in $G$ such that no two edges in $M$ are within distance $k$, which is called a distance $k$-matching, is between $ \frac{(k-1)n\log d}{4d^{k-1}}$ and $ \frac{k n \log d}{2d^{k-1}}$. We also design a randomized greedy algorithm to generate one large distance $k$-matching in $G$ with asymptotical size $ \frac{kn\log d}{4d^{k-1}}$. Our results partially generalize the results on the size of the largest distance $k$-matchings from the case $k=2$ or $d=c$ for some large constant $c$.
Couplings and Matchings: Combinatorial notes on Strassen's theorem
Published
• View Publication
• BIB
Some mathematical theorems represent ideas that are discovered again and again in different forms. One such theorem is Hall's marriage theorem. This theorem is equivalent to several other theorems in combinatorics and optimization theory, in the sense that these results can easily be derived from each other. In this paper it is shown that this equivalence extends to a finite version of Strassen's theorem, a celebrated result on couplings of probability measures. Though this equivalence is known, probabilistic or combinatorial proofs of this fact are lacking. A novel combinatorial lemma will be introduced that can be used to deduce both Hall's and Strassen's theorems.
Matching Orderable and Separable Hypergraphs
Published in Optimization Letters, 2022
• View Publication
• BIB
A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable hypergraphs is strictly contained in the class of separable hypergraphs. Accordingly, we show that for each fixed $k$, deciding perfect matching for orderable $k$-hypergraphs is polynomial time doable, but for each fixed $k\geq 3$, it is NP-complete for separable hypergraphs.