matching
3272 papers tagged with this keyword
Characterizing Matchings as the Intersection of Matroids
Published
• View Publication
• BIB
This paper deals with the problem of representing the matching independence system in a graph as the intersection of finitely many matroids. After characterizing the graphs for which the matching independence system is the intersection of two matroids, we study the function mu(G), which is the minimum number of matroids that need to be intersected in order to obtain the set of matchings on a graph G, and examine the maximal value, mu(n), for graphs with n vertices. We describe an integer programming formulation for deciding whether mu(G)<= k. Using combinatorial arguments, we prove that mu(n)is in Omega(loglog n). On the other hand, we establish that mu(n) is in O(log n / loglog n). Finally, we prove that mu(n)=4 for n=5,...,12, and mu(n)=5 for n=13,14,15.
Loops, matchings and alternating-sign matrices
Published in Discr. Math. 298 (2005) 365-388
• Search Publication
The appearance of numbers enumerating alternating sign matrices in stationary states of certain stochastic processes is reviewed. New conjectures concerning nest distribution functions are presented as well as a bijection between certain classes of alternating sign matrices and lozenge tilings of hexagons with cut off corners.
On a hypergraph Turan problem of Frankl
Published
• View Publication
• BIB
Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete graph $K_r$: each vertex has been replaced with a set of size $k$. We determine the exact Turan number of $C^{2k}_3$ and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of $(r-2) / (r-1)$ for the Turán density of $C^{2k}_r$ for any $r$, and a construction establishing a matching lower bound when $r$ is of the form $2^p + 1$. We show that when $r = 2^p + 1$, any $C^4_r$-free hypergraph of density $(r-2)/(r-1) - o(1)$ looks approximately like Sidorenko's construction. On the other hand, when $r$ is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density of $C^4_r$ to $(r-2)/(r-1) - c(r)$, where $c(r)$ is a constant depending only on $r$.
The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.
Almost sure convergence of the minimum bipartite matching functional in Euclidean space
Published in Combinatorica 22(4):523-530 (2002)
• View Publication
• BIB
Let $L_N = L_{MBM}(X_1,..., X_N; Y_1,..., Y_N)$ be the minimum length of a bipartite matching between two sets of points in $\mathbf{R}^d$, where $X_1,..., X_N,...$ and $Y_1,..., Y_N,...$ are random points independently and uniformly distributed in $[0,1]^d$. We prove that for $d \ge 3$, $L_N/N^{1-1/d}$ converges with probability one to a constant $β_{MBM}(d)>0$ as $N\to \infty $.
Even circuits of prescribed clockwise parity
Published
• View Publication
• BIB
We show that a graph has an orientation under which every circuit of even length is clockwise odd if and only if the graph contains no subgraph which is, after the contraction of at most one circuit of odd length, an even subdivision of K_{2,3}. In fact we give a more general characterisation of graphs that have an orientation under which every even circuit has a prescribed clockwise parity. This problem was motivated by the study of Pfaffian graphs, which are the graphs that have an orientation under which every alternating circuit is clockwise odd. Their significance is that they are precisely the graphs to which Kasteleyn's powerful method for enumerating perfect matchings may be applied.
Homogeneous multivariate polynomials with the half-plane property
Published in Adv. Appl. Math. 32, 88-187 (2004)
• View Publication
• BIB
A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the (weighted) generating polynomial of an r-uniform set system. We prove that the support (set of nonzero coefficients) of a homogeneous multiaffine polynomial with the half-plane property is necessarily the set of bases of a matroid. Conversely, we ask: For which matroids M does the basis generating polynomial P_{B(M)} have the half-plane property? Not all matroids have the half-plane property, but we find large classes that do: all sixth-root-of-unity matroids, and a subclass of transversal (or cotransversal) matroids that we call "nice". Furthermore, the class of matroids with the half-plane property is closed under minors, duality, direct sums, 2-sums, series and parallel connection, full-rank matroid union, and some special cases of principal truncation, principal extension, principal cotruncation and principal coextension. Our positive results depend on two distinct (and apparently unrelated) methods for constructing polynomials with the half-plane property: a determinant construction (exploiting "energy" arguments), and a permanent construction (exploiting the Heilmann-Lieb theorem on matching polynomials). We conclude with a list of open questions.
On the eigenvalue estimates for the weighted Laplacian on metric graphs
Published in In the book: INTERNATIONAL MATHEMATICAL SERIES. Nonlinear Problems in Mathematical Physics and Related Topics I. In Honor of Professor Ladyzhenskaya. Kluwer Academic/Plenum Publishers, 2002, p.327 - 348
• View Publication
• BIB
Eigenvalue behavior for the equation -λy"=Vu on the edges of a graph G of final total length, with a non-negative weight function V and under the Kirchhoff matching conditions at the vertices and zero boundary condition at at least one point of G, is studied. It is shown that the eigenvalues satisfy an inequality which involves the length |G| and the total mass corresponding to V but otherwise does not depend on the graph. Applications and generalizations of this result are also discussed.
On the Expansion of Graphs of 0/1-Polytopes
Published
• View Publication
• BIB
The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at least one. A proof of this (or even a weaker) conjecture would imply solutions of several long-standing open problems in the theory of randomized approximate counting. We present different techniques for bounding the edge expansion of a 0/1-polytope from below. By means of these tools we show that several classes of 0/1-polytopes indeed have graphs with edge expansion at least one. These classes include all 0/1-polytopes of dimension at most five, all simple 0/1-polytopes, all hypersimplices, all stable set polytopes, and all (perfect) matching polytopes.
Generalized domino-shuffling
Published in Theoret. Comput. Sci. 303, no. 2-3, 267--301, Tilings of the plane (2003).
• View Publication
• BIB
The problem of counting tilings of a plane region using specified tiles can often be recast as the problem of counting (perfect) matchings of some subgraph of an Aztec diamond graph A_n, or more generally calculating the sum of the weights of all the matchings, where the weight of a matching is equal to the product of the (pre-assigned) weights of the constituent edges (assumed to be non-negative). This article presents efficient algorithms that work in this context to solve three problems: finding the sum of the weights of the matchings of a weighted Aztec diamond graph A_n; computing the probability that a randomly-chosen matching of A_n will include a particular edge (where the probability of a matching is proportional to its weight); and generating a matching of A_n at random. The first of these algorithms is equivalent to a special case of Mihai Ciucu's cellular complementation algorithm and can be used to solve many of the same problems. The second of the three algorithms is a generalization of not-yet-published work of Alexandru Ionescu, and can be employed to prove an identity governing a three-variable generating function whose coefficients are all the edge-inclusion probabilities; this formula has been used as the basis for asymptotic formulas for these probabilities, but a proof of the generating function identity has not hitherto been published. The third of the three algorithms is a generalization of the domino-shuffling algorithm described by Elkies, Kuperberg, Larsen and Propp; it enables one to generate random ``diabolo-tilings of fortresses'' and thereby to make intriguing inferences about their asymptotic behavior.
Kasteleyn cokernels
Published in Electron. J. Combin. 9 (2002), #R29
• View Publication
• BIB
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices.
We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.
2-enumerations of halved alternating sign matrices
Published in Séminaire Lotharingien Combin. 46, (2001), Article B46c, 11pp
• Search Publication
We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.
Bipartite graphs with uniquely restricted maximum matchings and their corresponding greedoids
Published
• View Publication
• BIB
A maximum stable set in a graph G is a stable set of maximum size. S is a local maximum stable set if it is a maximum stable set of the subgraph of G spanned by the union of S and N(S), where N(S) is the neighborhood of S. A matching M is uniquely restricted if its saturated vertices induce a subgraph which has a unique perfect matching, namely M itself. One theorem of Nemhauser and Trotter Jr., working as a useful sufficient local optimality condition for the weighted maximum stable set problem, ensures that any local maximum stable set of G can be enlarged to a maximum stable set of G. In one of our previous papers it is proven that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. In this paper we obtain a generalization of this assertion claiming that the family of all local maximum stable sets of a bipartite graph G is a greedoid if and only if all maximum matchings of G are uniquely restricted.
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
A stable set in a graph G is a set of mutually non-adjacent vertices, alpha(G) is the size of a maximum stable set of G, and core(G) is the intersection of all its maximum stable sets. In this paper we demonstrate that in a tree T, of order n greater than 1, any stable set of size greater or equal to n/2 contains at least one pendant vertex. Hence, we deduce that any maximum stable set in a tree contains at least one pendant vertex. Our main finding is the theorem claiming that if T does not own a perfect matching, then at least two pendant vertices an even distance apart belong to core(T). While it is proved by Levit and Mandrescu that if G is a connected bipartite graph of order at least 2, then the size of core(G) is different from 1, our new statement reveals an additional structure of the intersection of all maximum stable sets of a tree. The above assertions give refining of one result of Hammer, Hansen and Simeone, stating that if a graph G is of order less than 2*alpha(G), then core(G) is non-empty, and also of a result of Jamison, Gunter, Hartnel and Rall, and Zito, saying that for a tree T of order at least two, the size of core(G) is different from 1.
On $α^{++}$-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. A graph is well-covered if every maximal stable set has the same size. G is a Koenig-Egervary graph if its order equals alpha(G) + mu(G), where mu(G) is the cardinality of a maximum matching in G. In this paper we characterize $α^{++}$-stable graphs, namely, the graphs whose stability numbers are invariant to adding any two edges from their complements. We show that a König-Egerváry graph is $α^{++}$-stable if and only if it has a perfect matching consisting of pendant edges and no four vertices of the graph span a cycle. As a corollary it gives necessary and sufficient conditions for $α^{++}$-stability of bipartite graphs and trees. For instance, we prove that a bipartite graph is $α^{++}$-stable if and only if it is well-covered and C4-free.
On $α$-Critical Edges in König-Egerváry Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. If alpha(G-e) > alpha(G), then e is an alpha-critical edge, and if mu(G-e) < mu(G), then e is a mu-critical edge, where mu(G) is the cardinality of a maximum matching in G. G is a Koenig-Egervary graph if alpha(G) + mu(G) equals its order. Beineke, Harary and Plummer have shown that the set of alpha-critical edges of a bipartite graph is a matching. In this paper we generalize this statement to Koenig-Egervary graphs. We also prove that in a Koenig-Egervary graph alpha-critical edges are also mu-critical, and that they coincide in bipartite graphs. We obtain that for any tree its stability number equals the sum of the cardinality of the set of its alpha-critical vertices and the size of the set of its alpha-critical edges. Eventually, we characterize the Koenig-Egervary graphs enjoying this property.
On $α$-Square-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a maximum stable set, and mu(G) is the cardinality of a maximum matching in G. If alpha(G) + mu(G) equals its order, then G is a Koenig-Egervary graph. We call G an $α$-square-stable graph, shortly square-stable, if alpha(G) = alpha(G*G), where G*G denotes the second power of G. These graphs were first investigated by Randerath and Wolkmann. In this paper we obtain several new characterizations of square-stable graphs. We also show that G is an square-stable Koenig-Egervary graph if and only if it has a perfect matching consisting of pendant edges. Moreover, we find that well-covered trees are exactly square-stable trees. To verify this result we give a new proof of one Ravindra's theorem describing well-covered trees.
A tree version of Konig's theorem
Published
• View Publication
• BIB
Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The proof uses a recent extension of Hall's theorem to families of hypergraphs, by the first author and P. Haxell.
Combinatorial Properties of the Family of Maximum Stable Sets of a Graph
Published
• View Publication
• BIB
The stability number alpha(G) of a graph G is the cardinality of a maximum stable set in G, xi(G) denotes the size of core(G), where core(G) is the intersection of all maximum stable sets of G. In this paper we prove that for a graph G without isolated vertices, the following assertions are true: (i) if xi(G)< 2, then G is quasi-regularizable; (ii) if G is of order n and alpha(G) > (n+k-1)/2, for some k > 0, then xi(G) > k, and xi(G) > k+1, whenever n+k-1 is even. The last finding is a strengthening of a result of Hammer, Hansen, and Simeone, which states that alpha(G) > n/2 implies xi(G) > 0. G is a Koenig-Egervary graph if n equals the sum of its stability number and the cardinality of a maximum matching. For Koenig-Egervary graphs, we prove that alpha(G) > n/2 holds if and only if xi(G) is greater than the size of the neighborhood of core(G). Moreover, for bipartite graphs without isolated vertices, alpha(G) > n/2 is equivalent to xi(G) > 1. We also show that Hall's marriage Theorem is valid for Koenig-Egervary graphs, and it is sufficient to check Hall's condition only for one specific stable set, namely, for core(G).
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
One theorem of Nemhauser and Trotter ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer, Hansen, and Simeone, stating that if half of order of G is less than the cardinality of a maximum stable set of G, then the intersection of all its maximum stable sets is non-empty.
On $α^{+}$-Stable Koenig-Egervary Graphs
Published
• View Publication
• BIB
The stability number of a graph G, is the cardinality of a stable set of maximum size in G. If the stability number of G remains the same upon the addition of any edge, then G is called $α^{+}$-stable. G is a König-Egervary graph if its order equals the sum of its stability number and the cardinality of a maximum matching. In this paper we characterize $α^{+}$-stable König-Egervary graphs, generalizing some previously known results on bipartite graphs and trees. Namely, we prove that a König-Egervary graph is $α^{+}$-stable if and only if either the set of vertices belonging to no maximum stable set is empty, or the cardinality of this set equals one, and G has a perfect matching. Using this characterization we obtain several new findings on general König-Egervary graphs, for example, the equality between the cardinalities of the set of vertices belonging to all maximum stable sets and the set of vertices belonging to no maximum stable set of G is a necessary and sufficient condition for a König-Egervary graph G to have a perfect matching.