matching
3168 papers tagged with this keyword
A Flat Wall Theorem for Matching Minors in Bipartite Graphs
Published
• View Publication
• BIB
A major step in the graph minors theory of Robertson and Seymour is the transition from the Grid Theorem which, in some sense uniquely, describes areas of large treewidth within a graph, to a notion of local flatness of these areas in form of the existence of a large flat wall within any huge grid of an H-minor free graph. In this paper, we prove a matching theoretic analogue of the Flat Wall Theorem for bipartite graphs excluding a fixed matching minor. Our result builds on a a tight relationship between structural digraph theory and matching theory and allows us to deduce a Flat Wall Theorem for digraphs which substantially differs from a previously established directed variant of this theorem.
Embedding perfectly balanced 2-caterpillar into its optimal hypercube
A long-standing conjecture on spanning trees of a hypercube states that a balanced tree on $2^n$ vertices with maximum degree at most $3$ spans the hypercube of dimension $n$ \cite{havel1986}. In this paper, we settle the conjecture for a special family of binary trees. A $0$-caterpillar is a path. For $k\geq 1$, a $k$-caterpillar is a binary tree consisting of a path with $j$-caterpillars $(0\leq j\leq k-1)$ emanating from some of the vertices on the path. A $k$-caterpillar that contains a perfect matching is said to be perfectly balanced. In this paper, we show that a perfectly balanced $2$-caterpillar on $2^n$ vertices spans the hypercube of dimension $n$.
Matching forcing polynomial of generalized Petersen graph GP(n, 2)
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.
Finding popular branchings in vertex-weighted digraphs
Published
• View Publication
• BIB
Popular matchings have been intensively studied recently as a relaxed concept of stable matchings. By applying the concept of popular matchings to branchings in directed graphs, Kavitha et al.\ (2020) introduced popular branchings. In a directed graph $G=(V_G,E_G)$, each vertex has preferences over its incoming edges. For branchings $B_1$ and $B_2$ in $G$, a vertex $v\in V_G$ prefers $B_1$ to $B_2$ if $v$ prefers its incoming edge of $B_1$ to that of $B_2$, where having an arbitrary incoming edge is preferred to having none, and $B_1$ is more popular than $B_2$ if the number of vertices that prefer $B_1$ is greater than the number of vertices that prefer $B_2$. A branching $B$ is called a popular branching if there is no branching more popular than $B$. Kavitha et al. (2020) proposed an algorithm for finding a popular branching when the preferences of each vertex are given by a strict partial order. The validity of this algorithm is proved by utilizing classical theorems on the duality of weighted arborescences. In this paper, we generalize popular branchings to weighted popular branchings in vertex-weighted directed graphs in the same manner as weighted popular matchings by Mestre (2014). We give an algorithm for finding a weighted popular branching, which extends the algorithm of Kavitha et al., when the preferences of each vertex are given by a total preorder and the weights satisfy certain conditions. Our algorithm includes elaborated procedures resulting from the vertex-weights, and its validity is proved by extending the argument of the duality of weighted arborescences.
Two Disjoint Alternating Paths in Bipartite Graphs
A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.
An extension of the Erdős-Ko-Rado theorem to set-wise $2$-intersecting families of perfect matchings
Published
• View Publication
• BIB
Two perfect matchings $P$ and $Q$ of the complete graph on $2k$ vertices are said to be set-wise $t$-intersecting if there exist edges $P_{1}, \cdots, P_{t}$ in $P$ and $Q_{1}, \cdots, Q_{t}$ in $Q$ such that the union of edges $P_{1}, \cdots, P_{t}$ has the same set of vertices as the union of $Q_{1}, \cdots, Q_{t}$ has. In this paper we prove an extension of the famous Erdős-Ko-Rado (EKR) theorem to set-wise $2$-intersecting families of perfect matching on all values of $k$, and we conjecture similar statement for all $t\geq 2$.
Proof of Grinblat's conjecture on rainbow matchings in multigraphs
Published
• View Publication
• BIB
Many well-known problems in Combinatorics can be reduced to finding a large rainbow structure in a certain edge-coloured multigraph. Two celebrated examples of this are Ringel's tree packing conjecture and Ryser's conjecture on transversals in Latin squares. In this paper, we answer such a question raised by Grinblat twenty years ago. Let an $(n,v)$-multigraph be an $n$-edge-coloured multigraph in which the edges of each colour span a disjoint union of non-trivial cliques that have in total at least $v$ vertices. Grinblat conjectured that for all $n \geq 4$, every $(n,3n-2)$-multigraph contains a rainbow matching of size $n$. Here, we prove the conjecture for all sufficiently large $n$.
Note on random Latin squares and the triangle removal process
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.
Matching forcing polynomials of constructable hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive recurrence relations of forcing polynomials for monotonic CHS and the other is CHS with one turning.
Matching anti-forcing polynomials of catacondensed hexagonal systems
Published
• View Publication
• BIB
In this paper, we derive a recurrence relation of anti-forcing polynomial for catacondensed hexagonal systems.
On dispersability of some circulant graphs
Published
• View Publication
• BIB
The matching book thickness of a graph is the least number of pages in a book embedding such that each page is a matching. A graph is dispersable if its matching book thickness equals its maximum degree. Minimum page matching book embeddings are given for bipartite and for most non-bipartite circulants contained in the (Harary) cube of a cycle and for various higher-powers.
Forcing nonperiodic tilings with one tile using a seed
Published in European Journal of Combinatorics, Vol. 100, 103454 (online Oct. 2021, in print Feb. 2022)
• View Publication
• BIB
The so-called "einstein problem" (a pun playing with the famous scientist's name and the German term "ein Stein" for "one stone") asks for a simply connected prototile only allowing nonperiodic tilings without need of any matching rule. So far, researchers come only close to this demand by defining decorated prototiles forcing nonperiodicity of any generated tiling using matching rules. In this paper a class of spiral tilings (and one non-spiral example) is linked to a weaker form of the einstein problem where one or several seed tiles are used. Furthermore, the classical types of matching rules are listed and some new types are discussed.
Moments of permutation statistics and central limit theorems
Published
• View Publication
• BIB
We show that if a permutation statistic can be written as a linear combination of bivincular patterns, then its moments can be expressed as a linear combination of factorials with constant coefficients. This generalizes a result of Zeilberger. We use an approach of Chern, Diaconis, Kane and Rhoades, previously applied on set partitions and matchings. In addition, we give a new proof of the central limit theorem (CLT) for the number of occurrences of classical patterns, which uses a lemma of Burstein and Hasto. We give a simple interpretation of this lemma and an analogous lemma that would imply the CLT for the number of occurrences of any vincular pattern. Furthermore, we obtain explicit formulas for the moments of the descents and the minimal descents statistics. The latter is used to give a new direct proof of the fact that we do not necessarily have asymptotic normality of the number of pattern occurrences in the case of bivincular patterns. Closed forms for some of the higher moments of several popular statistics on permutations are also obtained.
The Optimal Way to Play the Most Difficult Repeated Coordination Games
Published in EPTCS 346, 2021, pp. 101-116
• View Publication
• BIB
This paper investigates repeated win-lose coordination games (WLC-games). We analyse which protocols are optimal for these games, covering both the worst case and average case scenarios, i,e., optimizing the guaranteed and expected coordination times. We begin by analysing Choice Matching Games (CM-games) which are a simple yet fundamental type of WLC-games, where the goal of the players is to pick the same choice from a finite set of initially indistinguishable choices. We give a fully complete classification of optimal expected and guaranteed coordination times in two-player CM-games and show that the corresponding optimal protocols are unique in every case - except in the CM-game with four choices, which we analyse separately.
Our results on CM-games are essential for proving a more general result on the difficulty of all WLC-games: we provide a complete analysis of least upper bounds for optimal expected coordination times in all two-player WLC-games as a function of game size. We also show that CM-games can be seen as the most difficult games among all two-player WLC-games, as they turn out to have the greatest optimal expected coordination times.
Extremal Uniquely Resolvable Multisets
Published
• View Publication
• BIB
For positive integers $n$ and $m$, consider a multiset of non-empty subsets of $[m]$ such that there is a \textit{unique} partition of these subsets into $n$ partitions of $[m]$. We study the maximum possible size $g(n,m)$ of such a multiset. We focus on the regime $n \leq 2^{m-1}-1$ and show that $g(n,m) \geq Ω(\frac{nm}{\log_2 n})$. When $n = 2^{cm}$ for any $c \in (0,1)$, this lower bound simplifies to $Ω(\frac{n}{c})$, and we show a matching upper bound $g(n,m) \leq O(\frac{n}{c}\log_2(\frac{1}{c}))$ that is optimal up to a factor of $\log_2(\frac{1}{c})$. We also compute $g(n,m)$ exactly when $n \geq 2^{m-1} - O(2^{\frac{m}{2}})$.
Shadow of Hypergraphs with Bounded Degree
Published
• View Publication
• BIB
We study the size of the shadow of $k$-uniform hypergraphs with bounded degree. Lower bounds on the ratio of the size of the shadow and the size of the hypergraph are given as a function of the degree bound and $k$. We show that cliques are extremal for a long range of degree bounds, but not for every bound. We give a general, but not sharp lower bound on the shadow ratio and show, that sometimes we can get extremal hypergraphs by deleting disjoint maximal matchings from a clique.
Construction of $k$-matchings and $k$-regular subgraphs in graph products
Published
• View Publication
• BIB
A $k$-matching $M$ of a graph $G=(V,E)$ is a subset $M\subseteq E$ such that each connected component in the subgraph $F = (V,M)$ of $G$ is either a single-vertex graph or $k$-regular, i.e., each vertex has degree $k$. In this contribution, we are interested in $k$-matchings within the four standard graph products: the Cartesian, strong, direct and lexicographic product.
As we shall see, the problem of finding non-empty $k$-matchings ($k\geq 3$) in graph products is NP-complete. Due to the general intractability of this problem, we focus on distinct polynomial-time constructions of $k$-matchings in a graph product $G\star H$ that are based on $k_G$-matchings $M_G$ and $k_H$-matchings $M_H$ of its factors $G$ and $H$, respectively. In particular, we are interested in properties of the factors that have to be satisfied such that these constructions yield a maximum $k$-matching in the respective products. Such constructions are also called "well-behaved" and we provide several characterizations for this type of $k$-matchings.
Our specific constructions of $k$-matchings in graph products satisfy the property of being weak-homomorphism preserving, i.e., constructed matched edges in the product are never "projected" to unmatched edges in the factors. This leads to the concept of weak-homomorphism preserving $k$-matchings. Although the specific $k$-matchings constructed here are not always maximum $k$-matchings of the products, they have always maximum size among all weak-homomorphism preserving $k$-matchings. Not all weak-homomorphism preserving $k$-matchings, however, can be constructed in our manner. We will, therefore, determine the size of maximum-sized elements among all weak-homomorphims preserving $k$-matching within the respective graph products, provided that the matchings in the factors satisfy some general assumptions.
On Shallow Packings and Tusnády's Problem
Tusnády's problem asks to bound the discrepancy of points and axis-parallel boxes in $\mathbb{R}^d$. Algorithmic bounds on Tusnády's problem use a canonical decomposition of Matoušek for the system of points and axis-parallel boxes, together with other techniques like partial coloring and / or random-walk based methods. We use the notion of \emph{shallow cell complexity} and the \emph{shallow packing lemma}, together with the chaining technique, to obtain an improved decomposition of the set system. Coupled with an algorithmic technique of Bansal and Garg for discrepancy minimization, which we also slightly extend, this yields improved algorithmic bounds on Tusnády's problem. For $d\geq 5$, our bound matches the lower bound of $Ω(\log^{d-1}n)$ given by Matoušek, Nikolov and Talwar [IMRN, 2020] -- settling Tusnády's problem, upto constant factors. For $d=2,3,4$, we obtain improved algorithmic bounds of $O(\log^{7/4}n)$, $O(\log^{5/2}n)$ and $O(\log^{13/4}n)$ respectively, which match or improve upon the non-constructive bounds of Nikolov for $d\geq 3$. Further, we also give improved bounds for the discrepancy of set systems of points and polytopes in $\mathbb{R}^d$ generated via translations of a fixed set of hyperplanes. As an application, we also get a bound for the geometric discrepancy of anchored boxes in $\mathbb{R}^d$ with respect to an arbitrary measure, matching the upper bound for the Lebesgue measure, which improves on a result of Aistleitner, Bilyk, and Nikolov [MC and QMC methods, \emph{Springer, Proc. Math. Stat.}, 2018] for $d\geq 4$.
Anti-Ramsey number of matchings in $r$-partite $r$-uniform hypergraphs
Published
• View Publication
• BIB
An edge-colored hypergraph is rainbow if all of its edges have different colors. Given two hypergraphs $\mathcal{H}$ and $\mathcal{G}$, the anti-Ramsey number $ar(\mathcal{G}, \mathcal{H})$ of $\mathcal{H}$ in $\mathcal{G}$ is the maximum number of colors needed to color the edges of $\mathcal{G}$ so that there does not exist a rainbow copy of $\mathcal{H}$. Li et al. determined the anti-Ramsey number of $k$-matchings in complete bipartite graphs. Jin and Zang showed the uniqueness of the extremal coloring. In this paper, as a generalization of these results, we determine the anti-Ramsey number $ar_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ of $k$-matchings in complete $r$-partite $r$-uniform hypergraphs and show the uniqueness of the extremal coloring. Also, we show that $\mathcal{K}_{k-1,n_2,\ldots,n_r}$ is the unique extremal hypergraph for Turán number $ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ and show that $ar_r(\mathcal{K}_{n_1,\ldots,n_r},$ $M_k)=ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_{k-1})+1$, which gives a multi-partite version result of Özkahya and Young's conjecture.
Matching integral 2-connected graphs
In this note we present an infinite family of 2-connected graphs such that their matching polynomials have only integer zeros. This answers in negative a question of Akbari et al. [Graphs with integer matching polynomial zeros, Discrete Appl. Math. 224 (2017), 1-8].