Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Nouvelles statistiques de partitions pour les q-nombres de Stirling de seconde espece
Published
• View Publication
• BIB
Steingrimsson has recently introduced a partition analogue of Foata-Zeilberger's mak statistic for permutations and conjectured that its generating function is equal to the classical q-Stirling numbers of second kind. In this paper we prove a generalization of Steingrimsson's conjecture.
Y-systems and generalized associahedra
Published
• View Publication
• BIB
We prove, for an arbitrary finite root system, the periodicity conjecture of Al.B.Zamolodchikov concerning Y-systems, a particular class of functional relations arising in the theory of thermodynamic Bethe ansatz. Algebraically, Y-systems can be viewed as families of rational functions defined by certain birational recurrences formulated in terms of the underlying root system. In the course of proving periodicity, we obtain explicit formulas for all these rational functions, which turn out to always be Laurent polynomials.
In a closely related development, we introduce and study a family of simplicial complexes that can be associated to arbitrary root systems. In type A, our construction produces Stasheff's associahedron, whereas in type B, it gives the Bott-Taubes polytope, or cyclohedron. We enumerate the faces of these complexes, prove that their geometric realization is always a sphere, and describe them in concrete combinatorial terms for the classical types ABCD.
The signature of a toric variety
Published
• View Publication
• BIB
We identify a combinatorial quantity (the alternating sum of the h-vector) defined for any simple polytope as the signature of a toric variety. This quantity was introduced by Charney and Davis in their work, which in particular showed that its non-negativity is closely related to a conjecture of Hopf on the Euler characteristic of a non-positively curved manifold.
We prove positive (or non-negative) lower bounds for this quantity under geometric hypotheses on the polytope. These hypotheses lead to ampleness (or weaker conditions) for certain line bundles on toric divisors, and then the lower bounds follow from calculations using the Hirzebruch Signature Formula.
Moreoever, we show that under these hypotheses on the polytope, the i-th L-class of the corresponding toric variety is (-1)^i times an effective class for any i.
Discrete gap probabilities and discrete Painleve equations
Published
• View Publication
• BIB
We prove that Fredholm determinants of the form det(1-K_s), where K_s is the restriction of either the discrete Bessel kernel or the discrete {}_2F_1 kernel to {s,s+1,...}, can be expressed through solutions of discrete Painleve II and V equations, respectively.
These Fredholm determinants can also be viewed as distribution functions of the first part of the random partitions distributed according to a poissonized Plancherel measure and a z-measure, or as normalized Toeplitz determinants with symbols exp(η(u+1/u)) and (1+u)^z(1+ξ/u)^{z'}.
The proofs are based on a general formalism involving discrete integrable operators and discrete Riemann-Hilbert problem. A continuous version of the formalism has been worked out in math-ph/0111007.
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.
Four-Weight Spin Models and Jones Pairs
Published in Trans. Amer. Math. Soc., 355 (2003), 2305-2325
• View Publication
• BIB
We introduce and discuss Jones pairs. These provide a generalization and a new approach to the four-weight spin models of Bannai and Bannai. We show that each four-weight spin model determines a ``dual'' pair of association schemes.
Computing Cocycles on Simplicial Complexes
Published in Proceedings of the 2nd Workshop on Computer Algebra and Scientific Computing CASC'99 (1999) 177-190
• Search Publication
In this note, working in the context of simplicial sets, we give a detailed study of the complexity for computing chain level Steenrod squares, in terms of the number of face operators required. This analysis is based on the combinatorial formulation given in [R. Gonzalez-Diaz, P. Real. A Combinatorial Method for Computing Steenrod Squares. J. of Pure and Applied Algebra, 139 (1999) 89-108]. As an application, we give here an algorithm for computing cup-$i$ products over integers on a simplicial complex at chain level.
Asymptotic representation theory and Riemann-Hilbert problem
Published
• View Publication
• BIB
We show how the Riemann-Hilbert problem can be used to compute correlation kernels for determinantal point processes arising in different models of asymptotic combinatorics and representation theory. The Whittaker kernel and the discrete Bessel kernel are computed as examples.
The generalized Borwein conjecture. II. Refined q-trinomial coefficients
Published in Discrete Mathematics 272 (2003), 215-258
• View Publication
• BIB
Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be applied to prove many instances of Bressoud's generalized Borwein conjecture.
A Combinatorial Method for Computing Steenrod Squares
Published in Journal of Pure and Applied Algebra 139 (1999) 89-108
• View Publication
• BIB
We present here a combinatorial method for computing cup-$i$ products and Steenrod squares of a simplicial set $X$. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal approximation (i.e., a family of morphisms measuring the lack of commutativity of the cup product on the cochain level) in terms of face operators of $X$. A generalization of this method to Steenrod reduced powers is sketched. This description can be considered as a translation of the most ancient definition of Steenrod squares to the general setting of the Simplicial Topology.
A comparison of Vassiliev and Ziegler-Zivaljevic models for homotopy types of subspace arrangements
Published in Topology Appl. 126 (2002), no. 1-2, 119--129.
• View Publication
• BIB
In this paper we represent the Vassiliev model for the homotopy type of the one-point compactification of subspace arrangements as a homotopy colimit of an appropriate diagram over the nerve complex of the intersection semilattice of the arrangement. Furthermore, using a generalization of simplicial collapses to diagrams of topological spaces over simplicial complexes, we construct an explicit deformation retraction from the Vassiliev model to the Ziegler-Zivaljevic model.
Crepant Resolutions of Gorenstein Toric Singularities and Upper Bound Theorem
A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls.
Integrals over Grassmannians and Random permutations
Published
• View Publication
• BIB
In testing the independence of two Gaussian populations, one computes the distribution of the sample canonical correlation coefficients, given that the actual correlation is zero. The "Laplace transform" of this distribution is not only an integral over the Grassmannian of p-dimensional planes in complex n-space, but is also related to a generalized hypergeometric function. Such integrals are solutions of Painlevé-like equations. They also have expansions, related to random words of length l formed with an alphabet of p letters. Given that each letter appears in the word, the maximal length of the disjoint union of p increasing subsequences of the word clearly equals l. But the maximal length of the disjoint union of p-1 increasing subsequences leads to a non-trivial distribution. It is precisely this probability which appears in the expansion above.
A remark on Fourier pairing and binomial formula for Macdonald polynomials
Published
• View Publication
• BIB
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.
Kalai's squeezed 3-spheres are polytopal
Published
• View Publication
• BIB
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 Publication
• BIB
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.
An algorithm to generate exactly once every tiling with lozenges of a domain
Published
• View Publication
• BIB
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 Publication
• BIB
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.
Coding Distributive Lattices with Edge Firing Games
Published
• View Publication
• BIB
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.
A polytope combinatorics for semisimple groups
Published
• View Publication
• BIB
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.