matching
3272 papers tagged with this keyword
On diameter perfect constant-weight ternary codes
Published in Discrete Math. 308(14) 2008, 3104-3114
• View Publication
• BIB
From cosets of binary Hamming codes we construct diameter perfect constant-weight ternary codes with weight $n-1$ (where $n$ is the code length) and distances 3 and 5. The class of distance 5 codes has parameters unknown before. Keywords: constant-weight codes, ternary codes, perfect codes, diameter perfect codes, perfect matchings, Preparata codes
Graphical condensation of plane graphs: a combinatorial approach
Published
• View Publication
• BIB
The method of graphical vertex-condensation for enumerating perfect matchings of plane bipartite graph was found by Propp (Theoret. Comput. Sci. 303(2003), 267-301), and was generalized by Kuo (Theoret. Comput. Sci. 319 (2004), 29-57) and Yan and Zhang (J. Combin. Theory Ser. A, 110(2005), 113-125). In this paper, by a purely combinatorial method some explicit identities on graphical vertex-condensation for enumerating perfect matchings of plane graphs (which do not need to be bipartite) are obtained. As applications of our results, some results on graphical edge-condensation for enumerating perfect matchings are proved, and we count the sum of weights of perfect matchings of weighted Aztec diamond.
A unified approach to polynomial sequences with only real zeros
Published in Advances in Applied Mathematics, 38 (2007) 542-560
• View Publication
• BIB
We give new sufficient conditions for a sequence of polynomials to have only real zeros based on the method of interlacing zeros. As applications we derive several well-known facts, including the reality of zeros of orthogonal polynomials, matching polynomials, Narayana polynomials and Eulerian polynomials. We also settle certain conjectures of Stahl on genus polynomials by proving them for certain classes of graphs, while showing that they are false in general.
Stein's Method and Random Character Ratios
Published
• View Publication
• BIB
Stein's method is used to prove limit theorems for random character ratios. Tools are developed for four types of structures: finite groups, Gelfand pairs, twisted Gelfand pairs, and association schemes. As one example an error term is obtained for a central limit theorem of Kerov on the spectrum of the Cayley graph of the symmetric group generated by i-cycles, or equivalently for the character ratio of a Plancherel distributed representation on an i-cycle. Other main examples include an error term for a central limit theorem of Ivanov on character ratios of random projective representations of the symmetric group, and a new central limit theorem for the spectrum of certain graphs whose vertices are the set of perfect matchings on 2n symbols. The error terms in the resulting limit theorems are typically O(n^{-1/4}) or better. The results are obtained with remarkably little information: a character formula for a single representation close to the trivial representation and estimates on two step transition probabilities of a random walk. Although the limit theorems stated in this paper are all for the case of normal approximation, many of the tools developed are quite general. Indeed, both the construction of an exchangeable pair used for Stein's method and lemmas computing certain moments are useful for arbitrary distributional approximation.
The Symmetric Traveling Salesman Problem
Let M be an nXn symetric matrix, n, even, T, an upper bound for T_OPT, an optimal tour, sigma_T, the smaller-valued perfect matching obtained from alternate edges of T expressed as a product of 2-cycles. Applying the modified Floyd-Warshall algorithm to (sigma_T)^-1M^-, we construct acceptable and 2-circuit cycles some sets of which may yield circuits that can be patched into tours. We obtain necessary and sufficient conditions for a set, S, of cycles to yield circuits that may be patched into a tour.Assume that the following (Condition A)is valid: If (sigma_T)s = T*, |T*|<T, then all cycles of s have values less than |T| - |sigma_T|.Let SFWOPT),S(OPT)be the respective sets of cycles yielding T_FWOPT, T_OPT. Given Condition(A), using F-W, we can always obtain S(FWOPT). Using Condition A but not F-W, S_OPT is always obtainable from a subset of the cycles obtained.
A proof of hyperbolic van der Waerden conjecture : the right generalization is the ultimate simplification
Consider a homogeneous polynomial $p(z_1,...,z_n)$ of degree $n$ in $n$ complex variables . Assume that this polynomial satisfies the property : \\
$|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i)$ on the domain $\{(z_1,...,z_n) : Re(z_i) \geq 0, 1 \leq i \leq n \}$ . \\
We prove that $|\frac{\partial^n}{\partial z_1...\partial z_n} p | \geq \frac{n!}{n^n}$ . Our proof is relatively short and self-contained (i.e. we only use basic properties of hyperbolic polynomials). As the van der Waerden conjecture for permanents, proved by D.I. Falikman and G.P. Egorychev, as well Bapat's conjecture for mixed discriminants, proved by the author, are particular cases of this result. We also prove so called "small rank" lower bound (in the permanents context it corresponds to sparse doubly-stochastic matrices, i.e. with small number of non-zero entries in each column). The later lower bound generalizes (with simpler proofs) recent lower bounds by A.Schrijver for the number of perfect matchings of $k$-regular bipartite graphs.
We present some important algorithmic applications of the result, including a polynomial time deterministic algorithm approximating the permanent of $n \times n$ nonnegative entry-wise matrices within multiplicative factor $\frac{e^n}{n^m}$ for any fixed positive $m$ .
Matchings Avoiding Partial Patterns
Published
• View Publication
• BIB
We show that matchings avoiding certain partial patterns are counted by the 3-Catalan numbers. We give a characterization of 12312-avoiding matchings in terms of restrictions on the corresponding oscillating tableaux. We also find a bijection between Schröder paths without peaks at level one and matchings avoiding both patterns 12312 and 121323. Such objects are counted by the super-Catalan numbers or the little Schröder numbers. A refinement of the super-Catalan numbers is obtained by fixing the number of crossings in the matchings. In the sense of Wilf-equivalence, we find that the patterns 12132, 12123, 12321, 12231, 12213 are equivalent to 12312.
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 $\ZZ^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).
Dyck paths and pattern-avoiding matchings
Published in European Journal of Combinatorics, vol. 28 (1), 202-213, 2007
• View Publication
• BIB
How many matchings on the vertex set V={1,2,...,2n} avoid a given configuration of three edges? Chen, Deng and Du have shown that the number of matchings that avoid three nesting edges is equal to the number of matchings avoiding three pairwise crossing edges. In this paper, we consider other forbidden configurations of size three. We present a bijection between matchings avoiding three crossing edges and matchings avoiding an edge nested below two crossing edges. This bijection uses non-crossing pairs of Dyck paths of length 2n as an intermediate step.
Apart from that, we give a bijection that maps matchings avoiding two nested edges crossed by a third edge onto the matchings avoiding all configurations from an infinite family, which contains the configuration consisting of three crossing edges. We use this bijection to show that for matchings of size n>3, it is easier to avoid three crossing edges than to avoid two nested edges crossed by a third edge.
In this updated version of this paper, we add new references to papers that have obtained analogous results in a different context.
On identities concerning the numbers of crossings and nestings of two edges in matchings
Published
• View Publication
• BIB
Let M,N be two matchings on [2n]={1, 2, ..., 2n} (possibly M=N) and for a nonnegative integer l let T(M,l) be the set of those matchings on [2n+2l] which can be obtained from M by successively adding l times in all ways the first edge, and similarly for T(N,l). Let s,t in {cr,ne} where cr is the statistic of the number of crossings (in a matching) and ne is the statistic of the number of nestings (possibly s=t). We prove that if the statistics s and t coincide on the sets of matchings T(M,l) and T(N,l) for l=0,1, they must coincide on these sets for every l >= 0; similar identities hold for the joint statistic of cr and ne. These results are instances of a general identity in which crossings and nestings are weighted by elements from an abelian group.
On the number of fully packed loop configurations with a fixed associated matching
Published in Electronic J. Combin. 11(2) (2005), Article #R16, 43 pp
• View Publication
• BIB
We show that the number of fully packed loop configurations corresponding to a matching with $m$ nested arches is polynomial in $m$ if $m$ is large enough, thus essentially proving two conjectures by Zuber [Electronic J. Combin. 11 (2004), Article #R13].
Perfect matchings and perfect powers
Published in J. Algebraic Combin. 17 (2003), 335-375
• View Publication
• BIB
In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers. In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.
The minimum number of 4-cliques in graphs with triangle-free complement
Write f(n) for the minimum number of 4-cliques in graphs of order n with triangle-free complement. Finding f(n) is a particular case of a problem raised by Erdos in 1962. We give an upper bound of f(n) and a matching lower bound when the graph is close to regular.
Crossings and Nestings of Matchings and Partitions
Published
• View Publication
• BIB
We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numbers are distributed symmetrically over all partitions of $[n]$, as well as over all matchings on $[2n]$. As a corollary, the number of $k$-noncrossing partitions is equal to the number of $k$-nonnesting partitions. The same is also true for matchings. An application is given to the enumeration of matchings with no $k$-crossing (or with no $k$-nesting).
Longest common subsequences and the Bernoulli matching model: numerical work and analyses of the r-reach simplification
The expected length of longest common subsequences is a problem that has been in the literature for at least twenty five years. Determining the limiting constants γ_k appears to be quite difficult, and the current best bounds leave much room for improvement. Boutet de Monvel explores an independent version of the problem he calls the Bernoulli Matching model. He explores this problem and its relation to the longest common subsequence problem. This paper continues this pursuit by focusing on a simplification we term r-reach. For the string model, L_r(u,v) is the longest common subsequence of u and v given that each matched pair of letters is no more than r letters apart.
Note on the lamp lighting problem
Published in Advances of Applied Mathematics 27, 2001, pages 357-366
• View Publication
• BIB
We answer some questions concerning the so called sigma-game of Sutner. It is played on a graph where each vertex has a lamp, the light of which is toggled by pressing any vertex with an edge directed to the lamp.
For example, we show that every configuration of lamps can be lit if and only if the number of complete matchings in the graph is odd. In the special case of an orthogonal grid one gets a criterion for whether the number of monomer-dimer tilings of an m times n grid is odd or even.
Conjectures on three-dimensional stable matching
Published
• View Publication
• BIB
We consider stable three-dimensional matchings of three categories of agents, such as women, men and dogs. This was suggested long ago by Knuth (1976), but very little seems to have been published on this problem. Based on computer experiments, we present a couple of conjectures as well as a few counter-examples to other natural but discarded conjectures. In particular, a circular 3D matching is one where women only care about the man, men only care about the dog, and dogs only care about the woman they are matched with. We conjecture that a stable outcome always exists for any circular 3D matching market, and we prove it for markets with at most four agents of each category.
Non-interactive correlation distillation, inhomogeneous Markov chains, and the reverse Bonami-Beckner inequality
Published
• View Publication
• BIB
In this paper we study non-interactive correlation distillation (NICD), a generalization of the study of noise sensitivity of boolean functions. We extend the model to NICD on trees. In this model there is a fixed undirected tree with players at some of the nodes. One node is given a uniformly random string and this string is distributed throughout the network, with the edges of the tree acting as independent binary symmetric channels. The goal of the players is to agree on a shared random bit without communicating. Our new contributions include the following: 1. In the case of a k-leaf star graph, we resolve the open question of whether the success probability must go to zero as k goes to infinity. We show that this is indeed the case and provide matching upper and lower bounds on the asymptotically optimal rate (a slowly-decaying polynomial). 2. In the case of the k-vertex path graph, we show that it is always optimal for all players to use the same 1-bit function. 3. In the general case we show that all players should use monotone functions. 4. For certain trees it is better if not all players use the same function. Our techniques include the use of the reverse Bonami-Beckner inequality.
Complexes of graphs with bounded matching size
Published
• View Publication
• BIB
For positive integers k,n, we investigate the simplicial complex NM_k(n) of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy equivalent to a wedge of spheres. The number and dimension of the spheres in the wedge are determined, and (partially conjectural) links to other combinatorially defined complexes are described. In addition we study for positive integers r,s and k the simplicial complex BNM_k(n) of all bipartite graphs G on bipartition [r] \cup [\bar{s}] such that there is no matching of size k in G, and obtain results similar to those obtained for NM_k(n).
Torsion in the Matching Complex and Chessboard Complex
Published
• View Publication
• BIB
Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.