Showing 20 papers (Total: 81680 papers, 47334 authors in database)
The KP hierarchy, branched covers, and triangulations
Published
• View Publication
• BIB
The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.
The tropical $j$-invariant
Published in LMS J. Comput. Math. 12, 2009, 275-294.
• View Publication
• BIB
If (Q,A) is a marked polygon with one interior point, then a general polynomial f in K[x,y] with support A defines an elliptic curve C on the toric surface X_A. If K has a non-archimedean valuation into the real numbers we can tropicalize C to get a tropical curve Trop(C). If the Newton subdivision induced by f is a triangulation, then Trop(C) will be a graph of genus one and we show that the lattice length of the cycle of that graph is the negative of the valuation of the j-invariant of C.
Improved Lower Bounds for Constant GC-Content DNA Codes
Published in IEEE Transactions on Information Theory, vol. 54, no. 1, pp. 391-394, 2008
• View Publication
• BIB
The design of large libraries of oligonucleotides having constant GC-content and satisfying Hamming distance constraints between oligonucleotides and their Watson-Crick complements is important in reducing hybridization errors in DNA computing, DNA microarray technologies, and molecular bar coding. Various techniques have been studied for the construction of such oligonucleotide libraries, ranging from algorithmic constructions via stochastic local search to theoretical constructions via coding theory. We introduce a new stochastic local search method which yields improvements up to more than one third of the benchmark lower bounds of Gaborit and King (2005) for n-mer oligonucleotide libraries when n <= 14. We also found several optimal libraries by computing maximum cliques on certain graphs.
The Sizes of Optimal q-Ary Codes of Weight Three and Distance Four: A Complete Solution
Published in IEEE Transactions on Information Theory, vol. 54, no. 3, pp. 1291-1295, 2008
• View Publication
• BIB
This correspondence introduces two new constructive techniques to complete the determination of the sizes of optimal q-ary codes of constant weight three and distance four.
On bijections between 231-avoiding permutations and Dyck paths
We construct a bijection between 231-avoiding permutations and Dyck paths that sends the sum of the major index and the inverse major index of a 231-avoiding permutation to the major index of the corresponding Dyck path. Furthermore, we relate this bijection to others and exhibit a bistatistic on 231-avoiding permutations which is related to the q,t-Catalan numbers.
Set families with a forbidden subposet
Published
• View Publication
• BIB
We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's theorem.
On the gap between representability and collapsibility
A simplicial complex K is called d-representable if it is the nerve of a collection of convex sets in R^d; K is d-collapsible if it can be reduced to an empty complex by repeatedly removing a face of dimension at most d-1 that is contained in a unique maximal face; and K is d-Leray if every induced subcomplex of K has vanishing homology of dimension d and larger.
It is known that d-representable implies d-collapsible implies d-Leray, and no two of these notions coincide for d greater or equal to 2. The famous Helly theorem and other important results in discrete geometry can be regarded as results about d-representable complexes, and in many of these results "d-representable" in the assumption can be replaced by "d-collapsible" or even "d-Leray".
We investigate "dimension gaps" among these notions, and we construct, for all positive integers d, a 2d-Leray complex that is not (3d-1)-collapsible and a d-collapsible complex that is not (2d-2)-representable. In the proofs we obtain two results of independent interest: (i) The nerve of every finite family of sets, each of size at most d, is d-collapsible. (ii) If the nerve of a simplicial complex K is d-representable, then K embeds in R^d.
Affine partitions and affine Grassmannians
Published
• View Publication
• BIB
We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. For type $A_{n}$, the affine colored partitions form another family of combinatorial objects in bijection with $n+1$-core partitions and $n$-bounded partitions. Our main application is to characterize the rationally smooth Schubert varieties in the affine Grassmannians in terms of affine partitions and a generalization of Young's lattice which refines weak order and is a subposet of Bruhat order. Several of the proofs are computer assisted.
Factors in random graphs
Published
• View Publication
• BIB
Let $H$ be a fixed graph on $v$ vertices. For an $n$-vertex graph $G$ with $n$ divisible by $v$, an $H$-{\em factor} of $G$ is a collection of $n/v$ copies of $H$ whose vertex sets partition $V(G)$.
In this paper we consider the threshold $th_{H} (n)$ of the property that an Erdős-Rényi random graph (on $n$ points) contains an $H$-factor. Our results determine $th_{H} (n)$ for all strictly balanced $H$.
The method here extends with no difficulty to hypergraphs. As a corollary, we obtain the threshold for a perfect matching in random $k$-uniform hypergraph, solving the well-known "Shamir's problem."
Separable d-permutations and guillotine partitions
Published
• View Publication
• BIB
We characterize separable multidimensional permutations in terms of forbidden patterns and enumerate them by means of generating function, recursive formula and explicit formula. We find a connection between multidimensional permutations and guillotine partitions of a box. In particular, a bijection between $d$-dimensional permutations and guillotine partitions of a $2^{d-1}$-dimensional box is constructed. We also study enumerating problems related to guillotine partitions under certain restrictions revealing connections to other combinatorial structures. This allows us to obtain results on avoided patterns in permutations.
Knuth Relations for the Hyperoctahedral Groups
Published
• View Publication
• BIB
C. Bonnaf{é}, M. Geck, L. Iancu, and T. Lam have conjectured a description of one-sided cells in unequal parameter Hecke algebras of type $B$ which is based on domino tableaux of arbitrary rank. In the integer case, this generalizes the work of D. Garfinkle whose methods we adapt to construct a family of operators which generate the conjectured combinatorial description.
Bimonotone enumeration
Published
• View Publication
• BIB
Solutions of a diophantine equation $f(a,b) = g(c,d)$, with $a,b,c,d$ in some finite range, can be efficiently enumerated by sorting the values of $f$ and $g$ in ascending order and searching for collisions. This article considers functions that are bimonotone in the sense that $f(a,b) \le f(a',b')$ whenever $a \le a'$ and $b \le b'$. A two-variable polynomial with non-negative coefficients is a typical example. The problem is to efficiently enumerate all pairs $(a,b)$ such that the values $f(a,b)$ appear in increasing order. We present an algorithm that is memory-efficient and highly parallelizable. In order to enumerate the first $n$ values of $f$, the algorithm only builds up a priority queue of length at most $\sqrt{2n}+1$. In terms of bit-complexity this ensures that the algorithm takes time $O(n \log^2 n)$ and requires memory $O(\sqrt{n} \log n)$, which considerably improves on the memory bound $Θ(n \log n)$ provided by a naive approach, and extends the semimonotone enumeration algorithm previously considered by R.L. Ekl and D.J. Bernstein.
Maximalite des varietes toriques de dimension 4
A complex algebraic variety defined over the reals is maximal when the sum of its Betti numbers for Borel Moore homology with $\zz$ coefficients coincides with the sum of the Betti numbers of its real part. We will show in this paper that toric varieties of dimension 4 are maximal.
Asymptotics of coefficients of multivariate generating functions: improvements for smooth points
Published in Electronic Journal of Combinatorics, Volume 15, Number 1, 2008, Research Paper 89, 17
• View Publication
• BIB
Let $\sum_{β\in\nats^d} F_βx^β$ be a multivariate power series. For example $\sum F_βx^β$ could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function $F=G/H^p$ where $G$ and $H$ are holomorphic and $p$ is a positive integer. Given a direction $α\in\pnats^d$ for which the asymptotics are controlled by a smooth point of the singular variety $H = 0$, we compute the asymptotics of $F_{n α}$ as $n\to\infty$. We do this via multivariate singularity analysis and give an explicit formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our examples.
Minors in random regular graphs
Published
• View Publication
• BIB
We show that there is a constant c>0 so that for any fixed r which is at least 3 a.a.s. an r-regular graph on n vertices contains a complete graph on c n^{1/2} vertices as a minor. This confirms a conjecture of Markstrom. Since any minor of an r-regular graph on n vertices has at most rn/2 edges, our bound is clearly best possible up to the value of the constant c. As a corollary, we also obtain the likely order of magnitude of the largest complete minor in a random graph G(n,p) during the phase transition (i.e. when pn is close to 1).
Graph polynomials and their applications I: The Tutte polynomial
Published
• View Publication
• BIB
In this survey of graph polynomials, we emphasize the Tutte polynomial and a selection of closely related graph polynomials. We explore some of the Tutte polynomial's many properties and applications and we use the Tutte polynomial to showcase a variety of principles and techniques for graph polynomials in general. These include several ways in which a graph polynomial may be defined and methods for extracting combinatorial information and algebraic properties from a graph polynomial. We also use the Tutte polynomial to demonstrate how graph polynomials may be both specialized and generalized, and how they can encode information relevant to physical applications. We conclude with a brief discussion of computational complexity considerations.
Vector spaces as unions of proper subspaces
Published in Linear Algebra and its Applications 431 (2009), no. 9, 1681-1686
• View Publication
• BIB
In this note, we find a sharp bound for the minimal number (or in general, indexing set) of subspaces of a fixed (finite) codimension needed to cover any vector space V over any field. If V is a finite set, this is related to the problem of partitioning V into subspaces.
Periodicity of non-central integral arrangements modulo positive integers
Published in Annals of Combinatorics 15 (2011) 449-464
• View Publication
• BIB
An integral coefficient matrix determines an integral arrangement of hyperplanes in R^m. After modulo q reduction, the same matrix determines an arrangement A_q of "hyperplanes" in Z^m. In the special case of central arrangements, Kamiya, Takemura and Terao [J. Algebraic Combin., to appear] showed that the cardinality of the complement of A_q in Z_q^m is a quasi-polynomial in q. Moreover, they proved in the central case that the intersection lattice of A_q is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement B_m^{[0,a]} of Athanasiadis [J. Algebraic Combin. Vol.10 (1999), 207-225] to illustrate our results.
(l,k)-Routing on Plane Grids
Published in Journal of Interconnection. Networks (JOIN), 10(1-2):27-57, 2009
• View Publication
• BIB
The packet routing problem plays an essential role in communication networks. It involves how to transfer data from some origins to some destinations within a reasonable amount of time. In the $(\ell,k)$-routing problem, each node can send at most $\ell$ packets and receive at most $k$ packets. Permutation routing is the particular case $\ell=k=1$. In the $r$-central routing problem, all nodes at distance at most $r$ from a fixed node $v$ want to send a packet to $v$. In this article we study the permutation routing, the $r$-central routing and the general $(\ell,k)$-routing problems on plane grids, that is square grids, triangular grids and hexagonal grids. We use the \emph{store-and-forward} $Δ$-port model, and we consider both full and half-duplex networks. We first survey the existing results in the literature about packet routing, with special emphasis on $(\ell,k)$-routing on plane grids. Our main contributions are the following:
1. Tight permutation routing algorithms on full-duplex hexagonal grids, and half duplex triangular and hexagonal grids.
2. Tight $r$-central routing algorithms on triangular and hexagonal grids.
3. Tight $(k,k)$-routing algorithms on square, triangular and hexagonal grids.
4. Good approximation algorithms (in terms of running time) for $(\ell,k)$-routing on square, triangular and hexagonal grids, together with new lower bounds on the running time of any algorithm using shortest path routing.
These algorithms are all completely distributed, i.e., can be implemented independently at each node. Finally, we also formulate the $(\ell,k)$-routing problem as a \textsc{Weighted Edge Coloring} problem on bipartite graphs.
An Identity of Andrews and a New Method for the Riordan Array Proof of Combinatorial Identities
Published
• View Publication
• BIB
We consider an identity relating Fibonacci numbers to Pascal's triangle discovered by G. E. Andrews. Several authors provided proofs of this identity, most of them rather involved or else relying on sophisticated number theoretical arguments. We present a new proof, quite simple and based on a Riordan array argument. The main point of the proof is the construction of a new Riordan array from a given Riordan array, by the elimination of elements. We extend the method and as an application we obtain other identities, some of which are new. An important feature of our construction is that it establishes a nice connection between the generating function of the $A-$sequence of a certain class of Riordan arrays and hypergeometric functions.