Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the Eulerian Polynomials of Type D
Published
• View Publication
• BIB
We introduce sub-Eulerian polynomials to count elements of $D_n$ by which a recurrence relation for the Eulerian polynomials of type $D$ is obtained.
An algorithm for computing the global basis of an irreducible $U_{q}(sp_{2n})$-module
Published
• View Publication
• BIB
We describe a simple algorithm for computing the canonical basis of any finite-dimensional $U_{q}(sp_{2n})$-module.
Vanishing theorems and character formulas for the Hilbert scheme of points in the plane
Published in Invent. Math. 149, no. 2 (2002) 371-407
• View Publication
• BIB
Earlier we showed that the Hilbert scheme of $n$ points in the plane can be identified with the Hilbert scheme of regular $S_n$ orbits on $C^{2n}$. Using this result, together with a recent theorem of Bridgeland, King and Reid on the generalized McKay correspondence, we prove vanishing theorems for tensor powers of tautological bundles on the Hilbert scheme. We apply the vanishing theorems to establish (among other things) the character formula for diagonal harmonics conjectured by Garsia and the author. In particular we prove that the dimension of the space of diagonal harmonics is equal to $(n+1)^{n-1}$.
Equivariant Euler characteristics of discriminants of reflection groups
Published
• View Publication
• BIB
Let G be a finite, complex reflection group and f its discriminant polynomial. The fibers of f admit commuting actions of G and a cyclic group. The virtual $G\times C_m$ character given by the Euler characteristic of the fiber is a refinement of the zeta function of the geometric monodromy, calculated in a paper of Denef and Loeser. We compute the virtual character explicitly, in terms of the poset of normalizers of centralizers of regular elements of G, and of the subspace arrangement given by proper eigenspaces of elements of G. As a consequence, we compute orbifold Euler characteristics and find some new "case-free" information about the discriminant.
Additive Complexity and the Roots of Polynomials Over Number Fields and p-adic Fields
Published
• View Publication
• BIB
Consider any nonzero univariate polynomial with rational coefficients, presented as an elementary algebraic expression (using only integer exponents). Letting sigma(f) denotes the additive complexity of f, we show that the number of rational roots of f is no more than 15 + sigma(f)^2 (24.01)^{sigma(f)} sigma(f)!. This provides a sharper arithmetic analogue of earlier results of Dima Grigoriev and Jean-Jacques Risler, which gave a bound of C^{sigma(f)^2} for the number of real roots of f, for some constant C with 1<C<32. We extend our new bound to arbitrary finite extensions of the ordinary or p-adic rationals, roots of bounded degree over a number field, and geometrically isolated roots of multivariate polynomial systems. We thus extend earlier bounds of Hendrik W. Lenstra, Jr. and the author to encodings more efficient than monomial expansions. We also mention a connection to complexity theory and note that our bounds hold for a broader class of fields.
Classes of Lattices Induced by Chip Firing (and Sandpile) Dynamics
Published
• View Publication
• BIB
In this paper we study three classes of models widely used in physics, computer science and social science: the Chip Firing Game, the Abelian Sandpile Model and the Chip Firing Game on a mutating graph. We study the set of configurations reachable from a given initial configuration, called the configuration space of a model, and try to determine the main properties of such sets. We study the order induced over the configurations by the evolution rule. This makes it possible to compare the power of expression of these models. It is known that the configuration spaces we obtain are lattices, a special kind of partially ordered set. Although the Chip Firing Game on a mutating graph is a generalization of the usual Chip Firing Game, we prove that these models generate exactly the same configuration spaces. We also prove that the class of lattices induced by the Abelian Sandpile Model is strictly included in the class of lattices induced by the Chip Firing Game, but contains the class of distributive lattices, a very well known class.
Restricted 132-Involutions and Chebyshev Polynomials
We study generating functions for the number of involutions in $S_n$ avoiding (or containing once) 132, and avoiding (or containing once) an arbitrary permutation $τ$ on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind. In particular, we establish that involutions avoiding both 132 and $12... k$ have the same enumerative formula according to the length than involutions avoiding both 132 and any {\em double-wedge pattern} possibly followed by fixed points of total length $k$. Many results are also shown with a combinatorial point of view.
The cohomology ring of weight varieties and polygon spaces
Published in Advances in Mathematics 160 (2001), no. 2, pp. 175-204
• View Publication
• BIB
We use a theorem of Tolman and Weitsman to find explicit formulæfor the rational cohomology rings of the symplectic reduction of flag varieties in C^n, or generic coadjoint orbits of SU(n), by (maximal) torus actions. We also calculate the cohomology ring of the moduli space of $n$ points in CP^k, which is isomorphic to the Grassmannian of k-planes in C^n, by realizing it as a degenerate coadjoint orbit.
Computational methods for cones and polytopes with symmetry
Every polyhedral cone can be described either by its facets or by its extreme rays. Computation of one description from the other is a problem that can be very complex, i.e. one encounter the combinatorial explosion. We present here several methods which allow us to use symmetries for the computation of extreme rays and facets of cones. I give an algorithm for computing adjacencies using a linear programming approach. I give a complete description of the method of incidence, adjacency decomposition method and of the subcone method used for computing with symmetric cones.
Critical and Tricritical Hard Objects on Bicolorable Random Lattices: Exact Solutions
Published in J.Phys.A35:3821-3854,2002
• View Publication
• BIB
We address the general problem of hard objects on random lattices, and emphasize the crucial role played by the colorability of the lattices to ensure the existence of a crystallization transition. We first solve explicitly the naive (colorless) random-lattice version of the hard-square model and find that the only matter critical point is the non-unitary Lee-Yang edge singularity. We then show how to restore the crystallization transition of the hard-square model by considering the same model on bicolored random lattices. Solving this model exactly, we show moreover that the crystallization transition point lies in the universality class of the Ising model coupled to 2D quantum gravity. We finally extend our analysis to a new two-particle exclusion model, whose regular lattice version involves hard squares of two different sizes. The exact solution of this model on bicolorable random lattices displays a phase diagram with two (continuous and discontinuous) crystallization transition lines meeting at a higher order critical point, in the universality class of the tricritical Ising model coupled to 2D quantum gravity.
Polyhedral Cones of Magic Cubes and Squares
Published
• View Publication
• BIB
Using computational algebraic geometry techniques and Hilbert bases of polyhedral cones we derive explicit formulas and generating functions for the number of magic squares and magic cubes.
Bruhat order for two flags and a line
Published
• View Publication
• BIB
The classical Ehresmann-Bruhat order describes the possible degenerations of a pair of flags in a linear space V under linear transformations of V; or equivalently, it describes the closure of an orbit of GL(V) acting diagonally on the product of two flag varieties.
We consider the degenerations of a triple consisting of two flags and a line, or equivalently the closure of an orbit of GL(V) acting diagonally on the product of two flag varieties and a projective space. We give a simple rank criterion to decide whether one triple can degenerate to another. We also classify the minimal degenerations, which involve not only reflections (i.e., transpositions) in the Weyl group S_n, n=dim(V), but also cycles of arbitrary length. Our proofs use only elementary linear algebra and combinatorics.
A poset classifying non-commutative term orders
Published in Discrete Mathematics and Theoretical Computer Science (AA) 2001, pp 301-314
• View Publication
• BIB
We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.
Schensted-type correspondence, plactic monoid and jeu de taquin for type C
Published
• View Publication
• BIB
We use Kashiwara's theory of crystal bases to study the plactic monoid for type C. Then we describe the correponding sliding and bumping algorithms.
Entropy, dimension and the Elton-Pajor Theorem
The Vapnik-Chervonenkis dimension of a set K in R^n is the maximal dimension of the coordinate cube of a given size, which can be found in coordinate projections of K. We show that the VC dimension of a convex body governs its entropy. This has a number of consequences, including the optimal Elton's theorem and a uniform central limit theorem in the real valued case.
On the eigenvalue estimates for the weighted Laplacian on metric graphs
Published in In the book: INTERNATIONAL MATHEMATICAL SERIES. Nonlinear Problems in Mathematical Physics and Related Topics I. In Honor of Professor Ladyzhenskaya. Kluwer Academic/Plenum Publishers, 2002, p.327 - 348
• View Publication
• BIB
Eigenvalue behavior for the equation -λy"=Vu on the edges of a graph G of final total length, with a non-negative weight function V and under the Kirchhoff matching conditions at the vertices and zero boundary condition at at least one point of G, is studied. It is shown that the eigenvalues satisfy an inequality which involves the length |G| and the total mass corresponding to V but otherwise does not depend on the graph. Applications and generalizations of this result are also discussed.
Estimating Maximum by Moments for Functions on Orbits
Published
• View Publication
• BIB
Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the multidimensional assignment problem, a hard problem of combinatorial optimization (in which case G is the symmetric group).
Data mining for cones of metrics, quasi-metrics, hemi-metrics and super-metrics
Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data on related cones - the number of facets, of extreme rays, of their orbits and diameters - are collected in Table \ref{tab:MainLovelyTable}. We study also criterion of adjacency for skeletons of those cones and their duals. Some families of extreme rays and operations on them are also given.
Tokens: An Algebraic Construction Common in Combinatorics, Analysis, and Physics
Published in Func. An.: Proc. of the Ukr. Math. Congress-2001, Kiev, 2002. p. 146-155
• Search Publication
We give a brief account of a construction called tokens here, which is significant in algebra, analysis, combinatorics, and physics. Tokens allow to express a semigroup on one set via a semigroup convolution on another set. Therefore tokens are similar to intertwining operators but are more flexible.
Keywords: semigroups, hypergroups, tokens, poset, multiplicative functions, polynomial sequence of binomial type, integral kernel, wavelets, refinement equation, special functions, quantum propagator, path integral, quantum computing.
The number of "magic" squares and hypercubes
Published in American Mathematical Monthly 110, no. 8 (2003), 707-717
• View Publication
• BIB
We define a magic square to be a square matrix whose entries are nonnegative integers and whose rows, columns, and main diagonals sum up to the same number. We prove structural results for the number of such squares as a function of the size of the matrix and the line sum. We give examples for small sizes and show similar results for symmetric, pandiagonal magic squares, and magic hypercubes.