Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Polynomial Relations Among Characters coming from Quantum Affine Algebras
Published in Mathematical Research Letters 5 (1998), 731--742
• View Publication
• BIB
The Jacobi-Trudi formula implies some interesting quadratic identities for characters of representations of $gl_n$. Earlier work of Kirillov and Reshetikhin proposed a generalization of these identities to the other classical Lie algebras, and conjectured that the characters of certain finite-dimensional representations of $U_q(g-affine)$ satisfy it. Here we use a positivity argument to show that the generalized identities have only one solution.
The number of ramified coverings of the sphere by the torus and surfaces of higher genera
Published
• View Publication
• BIB
We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher genera for a small number of ramification points, and conjecture the general form for this number in terms of a symmetric polynomial that appears to be new. The approach involves the analysis of the action of a transposition to derive a system of linear partial differential equations that give the generating series for the desired numbers.
Symmetric Polynomials and $U_q(\hat{sl}_2)$
Published in Represent. Theory 4 (2000), 46-63.
• View Publication
• BIB
We study the explicit formula of Lusztig's integral forms of the level one quantum affine algebra $U_q(\hat{sl}_2)$ in the endomorphism ring of symmetric functions in infinitely many variables tensored with the group algebra of $\mathbb Z$. Schur functions are realized as certain orthonormal basis vectors in the vertex representation associated to the standard Heisenberg algebra. In this picture the Littlewood-Richardson rule is expressed by integral formulas, and is used to define the action of Lusztig's $\mathbb Z[q, q]$-form of $U_q(\hat{sl}_2)$ on Schur polynomials.
A Generalization of Redfield's Master Theorem
Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct consequences, one obtains several graphical corollaries. Given graphs $Γ_1,\hdots ,Γ_k$, with $d$ vertices, together with their automorphism groups $W_1\leq S_d,\hdots, W_k\leq S_d$, one can find the number of superpositions of $Γ_1,\hdots ,Γ_k$, whose automorphism groups satisfy one of the following conditions: (1) the groups consist of even permutations; (2) the groups are trivial, in case at least one of $W_m$'s is cyclic; (3) the groups are of odd order, in case at least one of $W_m$'s is dihedral and its order is not divisible by 4; (4) the groups are of order dividing a natural number $r$, in case at least one of $W_m$'s has a normal solvable subgroup of order $r$, such that the corresponding factor-group is cyclic of order relatively prime to $r$; (5) the groups are $q$-groups ($q$ is a prime), in case at least one of $W_m$'s has a normal $q$-subgroup such that the corresponding factor-group is cyclic of order relatively prime to $q$.
A Generalization of Polya's Enumeration Theorem or the Secret Life of Certain Index Sets
Polya's fundamental enumeration theorem is generalized in terms of Schur-Macdonald's theory (S-MT) of invariant matrices. Given a permutation group $W\leq S_d$ and a one-dimensional character $χ$ of $W$, the polynomial functor $F_χ$ corresponding via S-MT to the induced monomial representation $U_χ= ind_W^{S_d}(χ)$ of $S_d$, is studied. It turns out that the characteristic $ch(F_χ)$ is the weighted inventory of some set $J(χ)$ of $W$-orbits in the integer-valued hypercube $[0,\infty)^d$. The elements of $J(χ) can be distinguished among all $W$-orbits by a maximum property. The identity $ch(F_χ) = ch(U_χ)$ of both characteristics is a consequence of S-MT. Polya's theorem can be obtained from the above identity by specialization $χ=1_W$, where $1_W$ is the unit character of $W$.
Factorization of Kazhdan-Lusztig elements for Grassmanians
Published
• View Publication
• BIB
We show that the Kazhdan-Lusztig basis elements $C_w$ of the Hecke algebra of the symmetric group, when $w \in S_n$ corresponds to a Schubert subvariety of a Grassmann variety, can be written as a product of factors of the form $T_i+f_j(v)$, where $f_j$ are rational functions.
The Average-Case Area of Heilbronn-Type Triangles
Published in T. Jiang, M. Li, and P. Vitanyi, The average-case area of Heilbronn-type triangles, Random Structures and Algorithms, 20:2(2002), 206-219
• View Publication
• BIB
From among $ {n \choose 3}$ triangles with vertices chosen from $n$ points in the unit square, let $T$ be the one with the smallest area, and let $A$ be the area of $T$. Heilbronn's triangle problem asks for the maximum value assumed by $A$ over all choices of $n$ points. We consider the average-case: If the $n$ points are chosen independently and at random (with a uniform distribution), then there exist positive constants $c$ and $C$ such that $c/n^3 < μ_n < C/n^3$ for all large enough values of $n$, where $μ_n$ is the expectation of $A$. Moreover, $c/n^3 < A < C/n^3$, with probability close to one. Our proof uses the incompressibility method based on Kolmogorov complexity; it actually determines the area of the smallest triangle for an arrangement in ``general position.''
A geometric parametrization for the virtual Euler characteristic for the moduli spaces of real and complex algebriac curves
Published
• View Publication
• BIB
We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=γ^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the Jack symmetric functions. The development uses Strebel differentials to triangulate the moduli spaces, and the identification of $γ$ both as a parameter in a Jack symmetric function and as a parameter in a matrix model through generalized Selberg integrals.
A combinatorial proof of the log-concavity of the numbers of permutations with $k$ runs
We combinatorially prove that the number $R(n,k)$ of permutations of length $n$ having $k$ runs is a log-concave sequence in $k$, for all $n$. We also give a new combinatorial proof for the log-concavity of the Eulerian numbers.
Advanced Determinant Calculus
Published in Séminaire Lotharingien Combin. 42 (1999) (The Andrews Festschrift), paper B42q, 67 pp
• View Publication
• BIB
The purpose of this article is threefold. First, it provides the reader with a few useful and efficient tools which should enable her/him to evaluate nontrivial determinants for the case such a determinant should appear in her/his research. Second, it lists a number of such determinants that have been already evaluated, together with explanations which tell in which contexts they have appeared. Third, it points out references where further such determinant evaluations can be found.
A proof of a conjecture for the number of ramified coverings of the sphere by the torus
Published
• View Publication
• BIB
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.
The number of ramified coverings of the sphere by the double torus, and a general form for higher genera
Published
• View Publication
• BIB
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general form of the series is conjectured for the number of these coverings by a surface of arbitrary genus that is at least two.
Longest increasing subsequences of random colored permutations
Published
• View Publication
• BIB
We compute the limit distribution for (centered and scaled) length of the longest increasing subsequence of random colored permutations. The limit distribution function is a power of that for usual random permutations computed recently by Baik, Deift, and Johansson (math.CO/9810105). In two--colored case our method provides a different proof of a similar result by Tracy and Widom about longest increasing subsequences of signed permutations (math.CO/9811154).
Our main idea is to reduce the `colored' problem to the case of usual random permutations using certain combinatorial results and elementary probabilistic arguments.
Enumeration of Symmetry Classes of Parallelogram Polyominoes
Published in Annales des Sciences mathematiques du Quebec, 25 (2001), 71-90
• Search Publication
Parallelogram polyominoes are a subclass of convex polyominoes in the square lattice that has been studied extensively in the literature. Recently congruence classes of convex polyominoes with respect to rotations and reflections have been enumerated by counting orbits under the action of the dihedral group D4, of symmetries of the square, on (translation-type) convex polyominoes. Asymmetric convex polyominoes were also enumerated using Moebius inversion in the lattice of subgroups of D4. Here we extend these results to the subclass of parallelogram polyominos using a subgroup D2 of D4 which acts of this class.
Schur Q-functions and degeneracy locus formulas for morphisms with symmetries
Published
• View Publication
• BIB
We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.
On the distribution of the length of the second row of a Young diagram under Plancherel measure
Published
• View Publication
• BIB
We investigate the probability distribution of the length of the second row of a Young diagram of size $N$ equipped with Plancherel measure. We obtain an expression for the generating function of the distribution in terms of a derivative of an associated Fredholm determinant, which can then be used to show that as $N\to\infty$ the distribution converges to the Tracy-Widom distribution [TW] for the second largest eigenvalue of a random GUE matrix. This paper is a sequel to [BDJ], where we showed that as $N\to\infty$ the distribution of the length of the first row of a Young diagram, or equivalently, the length of the longest increasing subsequence of a random permutation, converges to the Tracy-Widom distribution [TW] for the largest eigenvalue of a random GUE matrix.
Multiplicities of Points on Schubert Varieties in Grassmannians
Published
• View Publication
• BIB
We obtain an explicit determinantal formula for the multiplicity of any point on a classical Schubert variety.
Rewriting as a Special Case of Noncommutative Groebner Basis Theory
Published
• View Publication
• BIB
Rewriting for semigroups is a special case of Groebner basis theory for noncommutative polynomial algebras. The fact is a kind of folklore but is not fully recognised. The aim of this paper is to elucidate this relationship, showing that the noncommutative Buchberger algorithm corresponds step-by-step to the Knuth-Bendix completion procedure.
A conjecture about partitions
We present a conjecture about partitions, with a very elementary formulation.
A bijection between Littlewood-Richardson tableaux and rigged configurations
Published in Selecta Mathematica, N.S., 8 (2002) 67-135
• View Publication
• BIB
A bijection is defined from Littlewood-Richardson tableaux to rigged configurations. It is shown that this map preserves the appropriate statistics, thereby proving a quasi-particle expression for the generalized Kostka polynomials, which are q-analogues of multiplicities in tensor products of irreducible general linear group modules indexed by rectangular partitions.