matching
3165 papers tagged with this keyword
Graphs whose edge set can be partitioned into maximum matchings
Published
• View Publication
• BIB
This article provides structural characterization of simple graphs whose edge-set can be partitioned into maximum matchings. We use Vizing's classification of simple graphs based on edge chromatic index.
Covering cubic graphs with matchings of large size
Let m be a positive integer and let G be a cubic graph of order 2n. We consider the problem of covering the edge-set of G with the minimum number of matchings of size m. This number is called excessive [m]-index of G in literature. The case m=n, that is a covering with perfect matchings, is known to be strictly related to an outstanding conjecture of Berge and Fulkerson. In this paper we study in some details the case m=n-1. We show how this parameter can be large for cubic graphs with low connectivity and we furnish some evidence that each cyclically 4-connected cubic graph of order 2n has excessive [n-1]-index at most 4. Finally, we discuss the relation between excessive [n-1]-index and some other graph parameters as oddness and circumference.
A natural barrier in random greedy hypergraph matching
Published in Combinator. Probab. Comp. 28 (2019) 816-825
• View Publication
• BIB
Let $r \ge 2$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D \to \infty$ as $N \to \infty$ and that degrees of pairs of vertices in ${\mathcal H}$ are at most $L$ where $L \ = D/ (\log N)^{ω(1)}$. We consider the random greedy algorithm for forming a matching in $ \mathcal{H}$. We choose a matching at random by iteratively choosing edges uniformly at random to be in the matching and deleting all edges that share at least one vertex with a chosen edge before moving on to the next choice. This process terminates when there are no edges remaining in the graph. We show that with high probability the proportion of vertices of $ {\mathcal H}$ that are not saturated by the final matching is at most $ (L/D)^{ \frac{ 1}{ 2(r-1) } + o(1) } $. This point is a natural barrier in the analysis of the random greedy hypergraph matching process.
A greedy algorithm for finding a large 2-matching on a random cubic graph
Published
• View Publication
• BIB
A 2-matching of a graph $G$ is a spanning subgraph with maximum degree two. The size of a 2-matching $U$ is the number of edges in $U$ and this is at least $n-\k(U)$ where $n$ is the number of vertices of $G$ and $\k$ denotes the number of components. In this paper, we analyze the performance of a greedy algorithm \textsc{2greedy} for finding a large 2-matching on a random 3-regular graph. We prove that with high probability, the algorithm outputs a 2-matching $U$ with $\k(U) = \tildeΘ\of{n^{1/5}}$.
Invariant polynomial functions on tensors under the action of a product of orthogonal groups
Published
• View Publication
• BIB
Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of degree d homogeneous polynomial functions on V. To accomplish this, we compute a formula for the number of matchings which commute with a fixed permutation. Finally, we provide formulas for the invariants and describe a bijection between a basis for the space of invariants and the isomorphism classes of certain r-regular graphs on d vertices, as well as a method of associating each invariant to other combinatorial settings such as phylogenetic trees.
Snake graph calculus and cluster algebras from surfaces
Published
• View Publication
• BIB
Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we identify each cluster variable with its snake graph, and interpret relations among the cluster variables in terms of these graphs. In particular, we give a new proof of skein relations of two cluster variables.
A Bijection for Crossings and Nestings
For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show that the bijection cannot be applied to a similar class of coloured arc annotated diagrams.
On the spectral moment of trees with given degree sequences
Let $A(G)$ be the adjacency matrix of graph $G$ with eigenvalues $λ_1(G), λ_2(G),..., λ_n(G)$ in non-increasing order. The number $S_k(G):=\sum_{i=1}^{n}λ_i^{k}(G)\, (k=0, 1,..., n-1)$ is called the $k$th spectral moment of $G$. Let $S(G) = (S_0(G), S_1(G),..., S_{n-1}(G))$ be the sequence of spectral moments of $G.$ For two graphs $G_1, G_2$, we have $G_1\prec_{s}G_2$ if for some $k \in \{1,2,3,...,n-1\}$, we have $S_i(G_1) = S_i(G_2)\, ,\, i = 0, 1,..., k-1$ and $S_k(G_1)<S_k(G_2).$ In this paper, the last $n$-vertex tree with a given degree sequence in an $S$-order is determined. Consequently, we also obtain the last trees in an $S$-order in the sets of all trees of order $n$ with the largest degree, the leaves number, the independence number and the matching number, respectively.
2-Colored Matchings in a 3-Colored K^{3}_{12}
Let $K_{n}^{r}$ denote the complete $r$-uniform hypergraph on $n$ vertices. A matching $M$ in a hypergraph is a set of pairwise vertex disjoint edges. Recent Ramsey-type results rely on lemmas about the size of monochromatic matchings. A starting point for this study comes from a well-known result of Alon, Frankl, and Lovász (1986). Our motivation is to find the smallest $n$ such that every $t$-coloring of $K_{n}^{r}$ contains an $s$-colored matching of size $k$. It has been conjectured that in every coloring of the edges of $K_n^r$ with 3 colors there is a 2-colored matching of size at least $k$ provided that $n \geq kr + \lfloor \frac{k-1}{r+1} \rfloor$. The smallest test case is when $r=3$ and $k=4$. We prove that in every 3-coloring of the edges of $K_{12}^3$ there is a 2-colored matching of size 4.
Fully Packed Loops in a triangle: matchings, paths and puzzles
Published
• View Publication
• BIB
Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only local constraints. Three main contributions are provided. Firstly, we show that the number of ordinary TFPLs can be extracted from a weighted enumeration of oriented TFPLs and thus it suffices to consider the latter. Secondly, we decompose oriented TFPLs into two matchings and use a classical bijection to obtain two families of nonintersecting lattice paths (path tangles). This point of view turns out to be extremely useful for giving easy proofs of previously known conditions on the boundary of TFPLs necessary for them to exist. One example is the inequality d(u)+d(v)<=d(w) where u,v,w are 01-words that encode the boundary conditions of ordinary TFPLs and d(u) is the number of cells in the Ferrers diagram associated with u. In the third part we consider TFPLs with d(w)- d(u)-d(v)=0,1; in the first case their numbers are given by Littlewood-Richardson coefficients, but also in the second case we provide formulas that are in terms of Littlewood-Richardson coefficients. The proofs of these formulas are of a purely combinatorial nature.
Rainbow matchings and partial transversals of Latin squares
In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow \rm if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.
Matching expectations
The game of memory is played with a deck of n pairs of cards. The cards in each pair are identical. The deck is shuffled and the cards laid face down. A move consists of flipping over first one card then another. The cards are removed from play if they match. Otherwise, they are flipped back over and the next move commences. A game ends when all pairs have been matched. We determine that, when the game is played optimally, as n tends to infinity: 1) The expected number of moves is (3 - 2 ln 2)n + 7/8 - 2 ln 2 (approximately 1.61 n), 2) The expected number of times two matching cards are unwittingly flipped over is ln 2, and 3) The expected number of flips until two matching cards have been seen is asymptotically sqrt{pi n}.
Matching subspaces in a field extension
In this paper, we formulate and prove linear analogues of results concerning matchings in groups. A matching in a group G is a bijection f between two finite subsets A,B of G with the property, motivated by old questions on symmetric tensors, that the product af(a)does not belong to A for all a \in A. Necessary and sufficient conditions on G, ensuring the existence of matchings under appropriate hypotheses, are known. Here we consider a similar question in a linear setting. Given a skew field extension K \subset L, where K commutative and central in L, we introduce analogous notions of matchings between finite-dimensional K-subspaces A,B of L, and obtain existence criteria similar to those in the group setting. Our tools mix additive number theory, combinatorics and algebra.
Game matching number of graphs
Published in Discrete Applied Math. Vol. 161(13-14), 2013, pp. 1828-1836
• View Publication
• BIB
We study a competitive optimization version of $α'(G)$, the maximum size of a matching in a graph $G$. Players alternate adding edges of $G$ to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted $\Max(G)$ and $\Min(G)$, respectively. We show that always $|\Max(G)-\Min(G)|\le 1$. We obtain a sufficient condition for $\Max(G)=α'(G)$ that is preserved under cartesian product. In general, $\Max(G)\ge \frac23α'(G)$, with equality for many split graphs, while $\Max(G)\ge\frac34α'(G)$ when $G$ is a forest. Whenever $G$ is a 3-regular $n$-vertex connected graph, $\Max(G) \ge n/3$, and there are such examples with $\Max(G)\le 7n/18$. For an $n$-vertex path or cycle, the answer is roughly $n/7$.
The Cutting Plane Method is Polynomial for Perfect Matchings
Published
• View Publication
• BIB
The cutting plane approach to optimal matchings has been discussed by several authors over the past decades (e.g., Padberg and Rao '82, Grotschel and Holland '85, Lovasz and Plummer '86, Trick '87, Fischetti and Lodi '07) and its convergence has been an open question. We give a cutting plane algorithm that converges in polynomial-time using only Edmonds' blossom inequalities; it maintains half-integral intermediate LP solutions supported by a disjoint union of odd cycles and edges. Our main insight is a method to retain only a subset of the previously added cutting planes based on their dual values. This allows us to quickly find violated blossom inequalities and argue convergence by tracking the number of odd cycles in the support of intermediate solutions.
Moments of Askey-Wilson polynomials
Published
• View Publication
• BIB
New formulas for the nth moment of the Askey-Wilson polynomials are given. These are derived using analytic techniques, and by considering three combinatorial models for the moments: Motzkin paths, matchings, and staircase tableaux. A related positivity theorem is given and another one is conjectured.
Principal minors Pfaffian half-tree theorem
Published in J. Combin. Theory Ser. A. 124 (2014) 1-40
• Search Publication
A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating perfect matchings and trees on the same graph. As a consequence of the Pfaffian half-tree theorem, we obtain a refined version of the matrix-tree theorem in the case of skew-symmetric matrices, as well as a line-bundle version of this result.
A note on large rainbow matchings in edge-coloured graphs
Published
• View Publication
• BIB
A rainbow subgraph in an edge-coloured graph is a subgraph such that its edges have distinct colours. The minimum colour degree of a graph is the smallest number of distinct colours on the edges incident with a vertex over all vertices. Kostochka, Pfender, and Yancey showed that every edge-coloured graph on $n$ vertices with minimum colour degree at least $k$ contains a rainbow matching of size at least $k$, provided $n\geq (17/4)k^2$. In this paper, we show that $n\geq 4k-4$ is sufficient for $k \ge 4$.
Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing
Published
• View Publication
• BIB
This paper is motivated by two applications, namely i) generalizations of cuckoo hashing, a computationally simple approach to assigning keys to objects, and ii) load balancing in content distribution networks, where one is interested in determining the impact of content replication on performance. These two problems admit a common abstraction: in both scenarios, performance is characterized by the maximum weight of a generalization of a matching in a bipartite graph, featuring node and edge capacities. Our main result is a law of large numbers characterizing the asymptotic maximum weight matching in the limit of large bipartite random graphs, when the graphs admit a local weak limit that is a tree. This result specializes to the two application scenarios, yielding new results in both contexts. In contrast with previous results, the key novelty is the ability to handle edge capacities with arbitrary integer values. An analysis of belief propagation algorithms (BP) with multivariate belief vectors underlies the proof. In particular, we show convergence of the corresponding BP by exploiting monotonicity of the belief vectors with respect to the so-called upshifted likelihood ratio stochastic order. This auxiliary result can be of independent interest, providing a new set of structural conditions which ensure convergence of BP.
Various Theorems on Tournaments
In this thesis we prove a variety of theorems on tournaments. A \emph{prime} tournament is a tournament $G$ such that there is no $X \subseteq V(G)$, $1 < |X| < |V(G)|$, such that for every vertex $v \in V(G) \minus X$, either $v \ra x$ for all $x \in X$ or $x \ra v$ for all $x \in X$. First, we prove that given a prime tournament $G$ which is not in one of three special families of tournaments, for any prime subtournament $H$ of $G$ with $5 \le |V(H)| < |V(G)|$ there exists a prime subtournament of $G$ with $|V(H)| + 1$ vertices that has a subtournament isomorphic to $H$. We next prove that for any two cyclic triangles $C$, $C^\prime$ in a prime tournament $G$, there is a sequence of cyclic triangles $C_1,...,C_n$ such that $C_1 = C$, $C_n = C^\prime$, and $C_i$ shares an edge with $C_{i+1}$ for all $1 \le i \le n-1$. Next, we consider what we call \emph{matching tournaments}, tournaments whose vertices can be ordered in a horizontal line so that every vertex is the head or tail of at most one edge that points right-to-left. We determine the conditions under which a tournament can have two different orderings satisfying the above conditions. We also prove that there are infinitely many minimal tournaments that are not matching tournaments. Finally, we consider the tournaments $K_n$ and $K_n^\ast$, which are obtained from the transitive tournament with $n$ vertices by reversing the edge from the second vertex to the last vertex and from the first vertex to the second-to-last vertex, respectively. We prove a structure theorem describing tournaments which exclude $K_n$ and $K_n^\ast$ as subtournaments.