Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Unimodular covers of multiples of polytopes
Published
• View Publication
• BIB
Let P be a d-dimensional lattice polytope. We show that there exists a natural number c_d, only depending on d, such that the multiples cP have a unimodular cover for every natural number c >= c_d. Actually, a subexponential upper bound for c_d is provided, together with an analogous result for unimodular covers of rational cones.
Topology of spaces of hyperbolic polynomials and combinatorics of resonances
Published in Israel J. Math. 132 (2002), 189--206.
• View Publication
• BIB
In this paper we study the topology of the strata, indexed by number partitions $λ$, in the natural stratification of the space of monic hyperbolic polynomials of degree $n$. We prove stabilization theorems for removing an independent block or an independent relation in $λ$. We also prove contractibility of the one-point compactifications of the strata indexed by a large class of number partitions, including $λ=(k^m,1^r)$, for $m\geq 2$. Furthermore, we study the maps between the homology groups of the strata, induced by imposing additional relations (resonances) on the number partition $λ$, or by merging some of the blocks of $λ$.
Rational homology of spaces of complex monic polynomials with multiple roots
Published in Mathematika 49 (2002), no. 1-2, 77--91 (2004).
• View Publication
• BIB
We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements reduces the problem to studying certain triangulated spaces $X_{λ,μ}$.
We present a combinatorial description of the cell structure of $X_{λ,μ}$ using the language of marked forests. As applications we obtain a new proof of a theorem of Arnold and a counterexample to a conjecture of Sundaram and Welker, along with a few other smaller results.
Small cones of oriented semi-metrics
Published
• View Publication
• BIB
We consider polyhedral cones, associated with quasi-semi-metrics (oriented distances), in particular, with oriented multi-cuts, on n points. We computed the number of facets and of extreme rays, their adjacencies, and incidences of the cones QMET_n and OMCUT_n for n=3, 4, 5 (see Table 1) and, partially for n=6. Some results for general n are also given
Self-Dual Symmetric Polynomials and Conformal Partitions
A conformal partition function ${\cal P}_n^m(s)$, which arose in the theory of Diophantine equations supplemented with additional restrictions, is concerned with {\it self-dual symmetric polynomials} -- reciprocal ${\sf R}^{\{m\}}_ {S_n}$ and skew-reciprocal ${\sf S}^{\{m\}}_{S_n}$ algebraic polynomials based on the polynomial invariants of the symmetric group $S_n$. These polynomials form an infinite commutative semigroup. Real solutions $λ_n(x_i)$ of corresponding algebraic Eqns have many important properties: homogeneity of 1-st order, duality upon the action of the conformal group ${\sf W}$, inverting both function $λ_n$ and the variables $x_i$, compatibility with trivial solution, {\it etc}. Making use of the relationship between Gaussian generating function for conformal partitions and Molien generating function for usual restricted partitions we derived the analytic expressions for ${\cal P}_n^m(s)$. The unimodality indices for the reciprocal and skew-reciprocal equations were found. The existence of algebraic functions $λ_n(x_i)$ invariant upon the action of both the finite group $G\subset S_n$ and conformal group ${\sf W}$ is discussed.
EL-labelings, Supersolvability and 0-Hecke Algebra Actions on Posets
Published in Journal of Combinatorial Theory (Series A) 101 (2003), 69-89
• View Publication
• BIB
We show that a finite graded lattice of rank n is supersolvable if and only if it has an EL-labeling where the labels along any maximal chain form a permutation. We call such a labeling an S_n EL-labeling and we consider finite graded posets of rank n with unique top and bottom elements that have an S_n EL-labeling. We describe a type A 0-Hecke algebra action on the maximal chains of such posets. This action is local and gives a representation of these Hecke algebras whose character has characteristic that is closely related to Ehrenborg's flag quasi-symmetric function. We ask what other classes of posets have such an action and in particular we show that finite graded lattices of rank n have such an action if and only if they have an S_n EL-labeling.
Counting cycles and finite dimensional Lp norms
Published
• View Publication
• BIB
We obtain sharp bounds for the number of n--cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. We prove sharp estimates on both the sum of k-th powers of the coordinates and the Lk norm subject to the constraints that the sum of squares of the coordinates is fixed, and that the sum of the coordinates vanishes.
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.