arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2001-10-24
A remark on Fourier pairing and binomial formula for Macdonald polynomials
Published • View PublicationBIB
We give a concise direct proof of the orthogonality of interpolation Macdonald polynomials with respect to the Fourier pairing and briefly discuss some immediate applications of this orthogonality, such as the symmetry of the Fourier pairing and the binomial formula.
2001-10-22
Kalai's squeezed 3-spheres are polytopal
Published • View PublicationBIB
In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5, most of these (d-1)-spheres are not polytopal. However, for d=4, this reasoning fails. We can now show that, as already conjectured by Kalai, all of his 3-spheres are in fact polytopal. Moreover, we can now give a shorter proof of Hebble & Lee's 2000 result that the dual graphs of these 4-polytopes are Hamiltonian. Therefore, the polars of these Kalai polytopes yield another family supporting Barnette's conjecture that all simple 4-polytopes admit a Hamiltonian circuit.
Topological classification of generic real rational functions
Published in J. Knot Theory Ramifications (2002), 11, 1063--1075 • View PublicationBIB
To any real rational function with generic ramification points we assign a combinatorial object, called a garden, which consists of a weighted labeled directed planar chord diagram and of a set of weighted rooted trees each corresponding to a face of the diagram. We prove that any garden corresponds to a generic real rational function, and that equivalent functions have equivalent gardens.
2001-10-21
An algorithm to generate exactly once every tiling with lozenges of a domain
Published • View PublicationBIB
We first show that the tilings of a general domain form a lattice which we then undertake to decompose and generate without any redundance. To this end, we study extensively the relatively simple case of hexagons and their deformations. We show that general domains can be broken up into hexagon-like parts. Finally we give an algorithm to generate exactly once every element in the lattice of the tilings of a general domain.
Characterisation of lattices induced by (extended) Chip Firing Games
Published in DM-TCS (AA) 2001 229-244 • View PublicationBIB
The Chip Firing Game (CFG) is a discrete dynamical model used in physics, computer science and economics. It is known that the set of configurations reachable from an initial configuration (this set is called the configuration space) can be ordered as a lattice. We first present a structural result about this model, which allows us to introduce some useful tools for describing those lattices. Then we establish that the class of lattices that are the configuration space of a CFG is strictly between the class of distributive lattices and the class of upper locally distributive (or ULD) lattices. Finally we propose an extension of the model, the coloured Chip Firing Game, which generates exactly the class of ULD lattices.
2001-10-19
Coding Distributive Lattices with Edge Firing Games
Published • View PublicationBIB
In this note, we show that any distributive lattice is isomorphic to the set of reachable configurations of an Edge Firing Game. Together with the result of James Propp, saying that the set of reachable configurations of any Edge Firing Game is always a distributive lattice, this shows that the two concepts are equivalent.
2001-10-19
A polytope combinatorics for semisimple groups
Published • View PublicationBIB
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.
2001-10-18
Kolmogorov Random Graphs and the Incompressibility Method
Published in H. Buhrman, M. Li, J. Tromp and P.M.B. Vitanyi, Kolmogorov random graphs and the incompressibility method, SIAM J. Comput., 29:2(2000), 590--599 • Search Publication
We investigate topological, combinatorial, statistical, and enumeration properties of finite graphs with high Kolmogorov complexity (almost all graphs) using the novel incompressibility method. Example results are: (i) the mean and variance of the number of (possibly overlapping) ordered labeled subgraphs of a labeled graph as a function of its randomness deficiency (how far it falls short of the maximum possible Kolmogorov complexity) and (ii) a new elementary proof for the number of unlabeled graphs.
2001-10-18
The number of point-splitting circles
Let S be a set of 2n+1 points in the plane such that no three are collinear and no four are concyclic. A circle will be called point-splitting if it has 3 points of S on its circumference, n-1 points in its interior and n-1 in its exterior. We show the surprising property that S always has exactly n^2 point- splitting circles, and prove a more general result.
S-partitions
Published • View PublicationBIB
This note reports on the number of s-partitions of a natural number n. In an s-partition each cell has the form $2^k-1$ for some integer k. Such partitions have potential applications in cryptography, specifically in distributed computations of the form $a^n$ mod m. The main contribution of this paper is a correction to the upper bound on the number of s-partitions presented by Bhatt. We will give a precise asymptotics for the number of such partitions for a given integer n.
A generatingfunctionology approach to a problem of Wilf
Published • View PublicationBIB
Wilf posed the following problem: determine asymptotically as $n\to\infty$ the probability that a randomly chosen part size in a randomly chosen composition of n has multiplicity m. One solution of this problem was given by Hitczenko and Savage. In this paper, we study this question using the techniques of generating functions and singularity analysis.
2001-10-17 v2
On the Castelnuovo-Mumford regularity of products of ideal sheaves
In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.
2001-10-17
Average number of distinct part sizes in a random Carlitz composition
Published • View PublicationBIB
A composition of an integer is called Carlitz if adjacent parts are different. Several characteristics of random Carlitz compsitions have been studied recently by Knopfmacher and Prodinger. We complement their work by establishing the asymptotics of the average number of distinct part sizes in a random Carlitz composition.
2001-10-17
Random partitions with non negative rth differences
Published • View PublicationBIB
Let $P_r(n)$ be the set of partitions of n with non negative rth differences. Let $λ$ be a partition chosen uniformly at random among the set $P_r(n)$. Let $d(λ)$ be a positive rth difference chosen uniformly at random in $λ$. The aim of this work is to show that for every $m\ge 1$, the probability that $d(λ)\ge m$ approaches $m^{-1/r}$ as $n\to\infty$. To prove this result we use bijective, asymptotic/analytic, and probabilistic combinatorics.
2001-10-17
Expected number of distinct part sizes in a random integer composition
Published in Combin. Probab. Comput. 9 (2000), 519-527 • View PublicationBIB
The asymptotics, as $n\to\infty$, for the expected number of distinct part sizes in a random composition of an integer n is obtained.
2001-10-16
On the coefficients of a Fibonacci power series
We give an explicit description of the coefficients of the formal power series (1-x)(1-x^2)(1-x^3)(1-x^5)(1-x^8)(1-x^13)... In particular, we show that all the coefficients are equal to -1, 0 or 1.
2001-10-16
New Identities of Hall-Littlewood Polynomials and Rogers-Ramanujan Type
Published • View PublicationBIB
We prove two new summation formulae of Hall-Littlewood polynomials over partitions into bounded parts and derive some new multiple $q$-identities of Rogers-Ramanujan type.
Depth-3 Arithmetic Circuits for S^2_n(X) and Extensions of the Graham-Pollack Theorem
Published • View PublicationBIB
We consider the problem of computing the second elementary symmetric polynomial S^2_n(X) using depth-three arithmetic circuits of the form "sum of products of linear forms". We consider this problem over several fields and determine EXACTLY the number of multiplication gates required. The lower bounds are proved for inhomogeneous circuits where the linear forms are allowed to have constants; the upper bounds are proved in the homogeneous model. For reals and rationals, the number of multiplication gates required is exactly n-1; in most other cases, it is \ceil{n/2}. This problem is related to the Graham-Pollack theorem in algebraic graph theory. In particular, our results answer the following question of Babai and Frankl: what is the minimum number of complete bipartite graphs required to cover each edge of a complete graph an odd number of times? We show that for infinitely many n, the answer is \ceil{n/2}.
The XXZ spin chain at $Δ=- {1/2}$: Bethe roots, symmetric functions and determinants
Published in J. Math. Phys. 43 (2002), 4135-4146 • View PublicationBIB
A number of conjectures have been given recently concerning the connection between the antiferromagnetic XXZ spin chain at $Δ= - \frac12$ and various symmetry classes of alternating sign matrices. Here we use the integrability of the XXZ chain to gain further insight into these developments. In doing so we obtain a number of new results using Baxter's $Q$ function for the XXZ chain for periodic, twisted and open boundary conditions. These include expressions for the elementary symmetric functions evaluated at the groundstate solution of the Bethe roots. In this approach Schur functions play a central role and enable us to derive determinant expressions which appear in certain natural double products over the Bethe roots. When evaluated these give rise to the numbers counting different symmetry classes of alternating sign matrices.
2001-10-09
Cohen-Macaulay quotients of normal semigroup rings via irreducible resolutions
Published • View PublicationBIB
Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every summand in cohomological degree $i$ has dimension exactly dim(R/I) - i. This Cohen-Macaulay characterization reduces to the Eagon-Reiner theorem by Alexander duality when R is a polynomial ring. The proof exploits a graded ring-theoretic generalization of the Zeeman spectral sequence, thereby also providing a combinatorial topological version for polyhedral cell complexes, involving no commutative algebra.