matching
3165 papers tagged with this keyword
Algebraic and combinatorial properties of ideals and algebras of uniform clutters of TDI systems
Published in J. Comb. Optim. 21 (2011), no. 3, 269-292
• View Publication
• BIB
Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gröbner bases of toric ideals and to Ehrhart rings.
On k-resonant fullerene graphs
Published in SIAM J. DISCRETE MATH. Vol. 23 (2009) pp. 1023
• View Publication
• BIB
A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.
A most general edge elimination graph polynomial
Published in Eur. J. Comb. 31(1): 1-17 (2010)
• View Publication
• BIB
We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$.
Nestings of Matchings and Permutations and North Steps in PDSAWs
Published
• View Publication
• BIB
We present a simple bijective proof of the fact that matchings of [2n] with N nestings are equinumerous to partially directed self avoiding walks confined to the symmetric wedge defined by y=+-x, with n east steps and N north steps. A very similar construction connects permutations with N nestings and PDSAWs remaining below the x-axis, again with N north steps. Furthermore, both bijections transport several combinatorially meaningful parameters.
Grid graphs, Gorenstein polytopes, and domino stackings
Published in Graphs Combin. 25 (2009), 409-426
• View Publication
• BIB
We examine domino tilings of rectangular boards, which are in natural bijection with perfect matchings of grid graphs. This leads to the study of their associated perfect matching polytopes, and we present some of their properties, in particular, when these polytopes are Gorenstein. We also introduce the notion of domino stackings and present some results and several open questions. Our techniques use results from graph theory, polyhedral geometry, and enumerative combinatorics.
Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials : One Theorem for all
Published in The Electronic Journal of Combinatorics, 2008
• View Publication
• BIB
Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory.
The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$
This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms.
Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.
Rainbow number of matchings in regular bipartite graphs
Published
• View Publication
• BIB
Given a graph $G$ and a subgraph $H$ of $G$, let $rb(G,H)$ be the minimum number $r$ for which any edge-coloring of $G$ with $r$ colors has a rainbow subgraph $H$. The number $rb(G,H)$ is called the rainbow number of $H$ with respect to $G$. Denote $mK_2$ a matching of size $m$ and $B_{n,k}$ a $k$-regular bipartite graph with bipartition $(X,Y)$ such that $|X|=|Y|=n$ and $k\leq n$. In this paper we give an upper and lower bound for $rb(B_{n,k},mK_2)$, and show that for given $k$ and $m$, if $n$ is large enough, $rb(B_{n,k},mK_2)$ can reach the lower bound. We also determine the rainbow number of matchings in paths and cycles.
Ptolemy relations for punctured discs
Published
• View Publication
• BIB
We construct frieze patterns of type D_N with entries which are numbers of matchings between vertices and triangles of corresponding triangulations of a punctured disc. For triangulations corresponding to orientations of the Dynkin diagram of type D_N, we show that the numbers in the pattern can be interpreted as specialisations of cluster variables in the corresponding Fomin-Zelevinsky cluster algebra.
Symmetry classes of spanning trees of Aztec diamonds and perfect matchings of odd squares with a unit hole
Published
• View Publication
• BIB
We say that two graphs are similar if their adjacency matrices are similar matrices. We show that the square grid $G_n$ of order $n$ is similar to the disjoint union of two copies of the quartered Aztec diamond $QAD_{n-1}$ of order $n-1$ with the path $P_n^{(2)}$ on $n$ vertices having edge weights equal to~2. Our proof is based on an explicit change of basis in the vector space on which the adjacency matrix acts. The arguments verifying that this change of basis works are combinatorial. In particular, this allows computing the number of spanning trees of quartered Aztec diamonds.
We present and analyze three more families of graphs that share the above described ``linear squarishness'' property of square grids: odd Aztec diamonds, mixed Aztec diamonds, and Aztec pillowcases--graphs obtained from two copies of an Aztec diamond by identifying the corresponding vertices on their convex hulls.
We apply the above results to enumerate all the symmetry classes of spanning trees of the even Aztec diamonds, and all the symmetry classes not involving rotations of the spanning trees of odd and mixed Aztec diamonds. We also enumerate all but the base case of the symmetry classes of perfect matchings of odd square grids with the central vertex removed. In addition, we obtain a product formula for the number of spanning trees of Aztec pillowcases.
A graph theoretic expansion formula for cluster algebras of classical type
Published
• View Publication
• BIB
In this paper we give a graph theoretic combinatorial interpretation for the cluster variables that arise in most cluster algebras of finite type. In particular, we provide a family of graphs such that a weighted enumeration of their perfect matchings encodes the numerator of the associated Laurent polynomial while decompositions of the graphs correspond to the denominator. This complements recent work by Schiffler and Carroll-Price for a cluster expansion formula for the A_n case while providing a novel interpretation for the B_n, C_n, and D_n cases.
Crossings and Nestings of Two Edges in Set Partitions
Let $π$ and $λ$ be two set partitions with the same number of blocks. Assume $π$ is a partition of $[n]$.
For any integer $l, m \geq 0$, let $\mathcal{T}(π, l)$ be the set of partitions of $[n+l]$ whose restrictions to the last $n$ elements are isomorphic to $π$, and $\mathcal{T}(π, l, m)$ the subset of $\mathcal{T}(π,l)$ consisting of those partitions with exactly $m$ blocks. Similarly define $\mathcal{T}(λ, l)$ and $\mathcal{T}(λ, l,m)$. We prove that if the statistic $cr$ ($ne$), the number of crossings (nestings) of two edges, coincides on the sets $\mathcal{T}(π, l)$ and $\mathcal{T}(λ, l)$ for $l =0, 1$, then it coincides on $\mathcal{T}(π, l,m)$ and $\mathcal{T}(λ, l,m)$ for all $l, m \geq 0$. These results extend the ones obtained by Klazar on the distribution of crossings and nestings for matchings.
Compatible Geometric Matchings
Published in Computational Geometry: Theory & Applications 42(6-7):617-626, 2009.
• View Publication
• BIB
This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are \emph{compatible} if they have the same vertex set and their union is also non-crossing. Our first result states that for any two perfect matchings $M$ and $M'$ of the same set of $n$ points, for some $k\in\Oh{\log n}$, there is a sequence of perfect matchings $M=M_0,M_1,...,M_k=M'$, such that each $M_i$ is compatible with $M_{i+1}$. This improves the previous best bound of $k\leq n-2$. We then study the conjecture: \emph{every perfect matching with an even number of edges has an edge-disjoint compatible perfect matching}. We introduce a sequence of stronger conjectures that imply this conjecture, and prove the strongest of these conjectures in the case of perfect matchings that consist of vertical and horizontal segments. Finally, we prove that every perfect matching with $n$ edges has an edge-disjoint compatible matching with approximately $4n/5$ edges.
A comment on Ryser's conjecture for intersecting hypergraphs
Published
• View Publication
• BIB
Let $τ(\mathcal{H})$ be the cover number and $ν(\mathcal{H})$ be the matching number of a hypergraph $\mathcal{H}$. Ryser conjectured that every $r$-partite hypergraph $\mathcal{H}$ satisfies the inequality $τ(\mathcal{H}) \leq (r-1) ν(\mathcal{H})$. This conjecture is open for all $r \ge 4$. For intersecting hypergraphs, namely those with $ν(\mathcal{H})=1$, Ryser's conjecture reduces to $τ(\mathcal{H}) \leq r-1$. Even this conjecture is extremely difficult and is open for all $ r \ge 6$. For infinitely many $r$ there are examples of intersecting $r$-partite hypergraphs with $τ(\mathcal{H})=r-1$, demonstrating the tightness of the conjecture for such $r$. However, all previously known constructions are not optimal as they use far too many edges. How sparse can an intersecting $r$-partite hypergraph be, given that its cover number is as large as possible, namely $τ(\mathcal{H}) \ge r-1$? In this paper we solve this question for $r \le 5$, give an almost optimal construction for $r=6$, prove that any $r$-partite intersecting hypergraph with $τ(H) \ge r-1$ must have at least $(3-\frac{1}{\sqrt{18}})r(1-o(1)) \approx 2.764r(1-o(1))$ edges, and conjecture that there exist constructions with $Θ(r)$ edges.
Combinatorics of the Dimer Model on a Strip
In this note, we give a closed formula for the partition function of the dimer model living on a (2 x n) strip of squares or hexagons on the torus for arbitrary even n. The result is derived in two ways, by using a Potts model like description for the dimers, and via a recursion relation that was obtained from a map to a 1D monomer-dimer system. The problem of finding the number of perfect matchings can also be translated to the problem of finding a minmal feedback arc set on the dual graph.
The combinatorics of associated Hermite polynomials
Published in European J. Combinatorics, May 2009, vol 30 no 4, pp 1005-1021
• View Publication
• BIB
We develop a combinatorial model of the associated Hermite polynomials and their moments, and prove their orthogonality with a sign-reversing involution. We find combinatorial interpretations of the moments as complete matchings, connected complete matchings, oscillating tableaux, and rooted maps and show weight-preserving bijections between these objects. Several identities, linearization formulas, the moment generating function, and a second combinatorial model are also derived.
Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of König type
Published in J. Pure Appl. Algebra 212(7) (2008), 1770-1786
• View Publication
• BIB
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $Δ_\mathcal{C}$ is pure if and only if $Δ_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $Δ_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $Δ_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the König property without 3-cycles or 4-cycles.
Multiplicity Bounds for Quadratic Monomial Ideals
We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic monomial ideals. We attach a directed graph to a bipartite graph with perfect matching, and describe operations on the directed graph that would reduce the problem to a Cohen-Macaulay bipartite graph. We determine when equality holds in the conjectured bound for edge ideals of bipartite graphs, and verify that when equality holds, the resolution is pure. We characterize bipartite graphs that have Cohen-Macaulay edge ideals and quasi-pure resolutions.
Star-uniform Graphs
Published
• View Publication
• BIB
A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each of its component is a star. Clearly, every graph without isolated vertices has a star factor. A graph $G$ is called {\it star-uniform} if all star-factors of $G$ have the same number of components. To characterize star-uniform graphs was an open problem posed by Hartnell and Rall, which is motivated by the minimum cost spanning tree and the optimal assignment problems. We use the concepts of factor-criticality and domination number to characterize all star-uniform graphs with the minimum degree at least two. Our proof is heavily relied on Gallai-Edmonds Matching Structure Theorem.
Matching polytopes, toric geometry, and the non-negative part of the Grassmannian
Published
• View Publication
• BIB
In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.
Towards the Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published
• View Publication
• BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of r-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph) of at most d edges to a signed sum of restricted lattice walks in Z^d, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).
We also initiate the study of pattern avoidance in bipartite multigraphs and derive a generalized Gessel identity for the number of bipartite 2-regular multigraphs avoiding a specific (monotone) pattern.