Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Melzer's identities revisited
Published in Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), 207--234, Contemp. Math., 248, Amer. Math. Soc., Providence, RI, 1999.
• View Publication
• BIB
We further develop the finite length path generating transforms introduced previously, and use them to obtain constant sign polynomial expressions that reduce, in the limit of infinite path lengths, to parafermion and ABF Virasoro characters. This provides us, in the ABF case, with combinatorial proofs of Melzer's boson-fermion polynomial identities.
Random Unitary Matrices, Permutations and Painleve
Published in Commun. Math. Phys. 207 (1999), 665-685
• View Publication
• BIB
This paper is concerned with certain connections between the ensemble of n x n unitary matrices -- specifically the characteristic function of the random variable tr(U) -- and combinatorics -- specifically Ulam's problem concerning the distribution of the length of the longest increasing subsequence in permutation groups -- and the appearance of Painleve functions in the answers to apparently unrelated questions. Among the results is a representation in terms of a Painleve V function for the characteristic function of tr(U) and (using recent results of Baik, Deift and Johansson) an expression in terms of a Painleve II function for the limiting distribution of the length of the longest increasing subsequence in the hyperoctahedral group.
Capelli elements in the classical universal enveloping algebras
Published in Adv. Studies Pure Math. 28 (2000), 261-285
• View Publication
• BIB
For any complex classical group $G=O_N,Sp_N$ consider the ring $Z(g)$ of $G$-invariants in the corresponding enveloping algebra $U(g)$. Let $u$ be a complex parameter. For each $n=0,1,2,...$ and every partition $ν$ of $n$ into at most $N$ parts we define a certain rational function $Z_ν(u)$ which takes values in $Z(g)$. Our definition is motivated by the works of Cherednik and Sklyanin on the reflection equation, and also by the classical Capelli identity. The degrees in $U(g)$ of the values of $Z_ν(u)$ do not exceed $n$. We describe the images of these values in the $n$-th symmetric power of $g$. Our description involves the plethysm coefficients as studied by Littlewood, see Theorem 3.4 and Corollary 3.6.
Graphical Enumeration: A Species-Theoretic Approach
An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory.
In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.
New Lower Bounds for Some Multicolored Ramsey Numbers
Published
• View Publication
• BIB
We use finite fields and extend a result of Fan Chung to give eight new, nontrivial, lower bounds.
Proof of a Conjecture of Chan, Robbins, and Yuen
Using the celebrated Morris Constant Term Identity, we deduce a recent conjecture of Chan, Robbins, and Yuen (math.CO/9810154), that asserts that the volume of a certain $n(n-1)/2$-dimensional polytope is given by the product of the first n-1 Catalan numbers.
Planar lattice gases with nearest-neighbour exclusion
Published in Ann.Comb.3:191-203,1999
• View Publication
• BIB
We discuss the hard-hexagon and hard-square problems, as well as the corresponding problem on the honeycomb lattice. The case when the activity is unity is of interest to combinatorialists, being the problem of counting binary matrices with no two adjacent 1's. For this case we use the powerful corner transfer matrix method to numerically evaluate the partition function per site, density and some near-neighbour correlations to high accuracy. In particular for the square lattice we obtain the partition function per site to 43 decimal places.
Totally nonnegative and oscillatory elements in semisimple groups
Published
• View Publication
• BIB
We generalize the well known characterizations of totally nonnegative and oscillatory matrices, due to F.R.Gantmacher, M.G.Krein, A.Whitney, C.Loewner, M.Gasca, and J.M.Pena to the case of an arbitrary complex semisimple Lie group.
On some partial orders associated to generic initial ideals
Published in S{é}minaire Lotharingien de Combinatoire, B43h (2000), 23 pp
• Search Publication
We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are precisely the strongly stable and the stable monoid ideals. These ideals arise in the study of generic initial ideals.
Polygon dissections and Euler, Fuss, Kirkman and Cayley numbers
Published
• View Publication
• BIB
We give a short proof for a formula for the number of divisions of a convex (sn+2)-gon along non-crossing diagonals into (sj+2)-gons, where 1<=j<=n-1. In other words, we consider dissections of an (sn+2)-gon into pieces which can be further subdivided into (s+2)-gons. This formula generalizes the formulas for classical numbers of polygon dissections: Euler-Catalan number, Fuss number and Kirkman-Cayley number.
Our proof is elementary and does not use the method of generating functions.
Tree Structures: A Variational Approach to Shannon--Wiener Information
Published in "Trends in Quantum Physics", editors Krasnoholovets, Volodymyr; Columbus, Frank. ISBN: 1-59454-000-4. Pub. Date 2004
• Search Publication
Entanglement measures based on a logarithmic functional form naturally emerge in any attempt to quantify the degree of entanglement in the state of a multipartite quantum system. These measures can be regarded as generalizations of the classical Shannon-Wiener information of a probability distribution into the quantum regime. In the present work we introduce a previously unknown approach to the Shannon-Wiener information which provides an intuitive interpretation for its functional form as well as putting all entanglement measures with a similar structure into a new context: By formalizing the process of information gaining in a set-theoretical language we arrive at a mathematical structure which we call ''tree structures'' over a given set. On each tree structure, a tree function can be defined, reflecting the degree of splitting and branching in the given tree. We show in detail that the minimization of the tree function on, possibly constrained, sets of tree structures renders the functional form of the Shannon-Wiener information. This finding demonstrates that entropy-like information measures may themselves be understood as the result of a minimization process on a more general underlying mathematical structure, thus providing an entirely new interpretational framework to entropy-like measures of information and entanglement. We suggest three natural axioms for defining tree structures, which turn out to be related to the axioms describing neighbourhood topologies on a topological space. The same minimization that renders the functional form of the Shannon-Wiener information from the tree function then assigns a preferred topology to the underlying set, hinting at a deep relation between entropy-like measures and neighbourhood topologies.
Counting faces of cubical spheres modulo two
Published
• View Publication
• BIB
Several recent papers have addressed the problem of characterizing the $f$-vectors of cubical polytopes. This is largely motivated by the complete characterization of the $f$-vectors of simplicial polytopes given by Stanley, Billera, and Lee in 1980. Along these lines Blind and Blind have shown that unlike in the simplicial case, there are parity restrictions on the $f$-vectors of cubical polytopes. In particular, except for polygons, all even dimensional cubical polytopes must have an even number of vertices. Here this result is extended to a class of zonotopal complexes which includes simply connected odd dimensional manifolds. This paper then shows that the only modular equations which hold for the $f$-vectors of all d-dimensional cubical polytopes (and hence spheres) are modulo two. Finally, the question of which mod two equations hold for the $f$-vectors of PL cubical spheres is reduced to a question about the Euler characteristics of multiple point loci from codimension one PL immersions into the $d$-sphere. Some results about this topological question are known (Eccles,Herbert,Lannes) and Herbert's result we translate into the cubical setting, thereby removing the PL requirement. A central definition in this paper is that of the derivative complex, which captures the correspondence between cubical spheres and codimension one immersions.
WZ Theory, Chapter II
The impact of the computer on present and especially future mathematics is illustrated by means of the iconic example of WZ theory.
n-Schur Functions and Determinants on an Infinite Grassmannian
A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $τ$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $τ$-functions as a sum with Plucker coordinates as coefficients.
A sefl-dual poset on objects counted by the Catalan numbers
We examine the poset $P$ of 132-avoiding $n$-permutations ordered by descents. We show that this poset is the "coarsening" of the well-studied poset $Q$ of noncrossing partitions . In other words, if $x<y$ in $Q$, then $f(y)<f(x)$ in $P$, where $f$ is the canonical bijection from the set of noncrossing partitions onto that of 132-avoiding permutations. This enables us to prove many properties of $P$.
Semiinvariants of Finite Reflection Groups
Published in J. Algebra 220, 314-326 (1999).
• View Publication
• BIB
Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χhas an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between χ-invariant forms and logarithmic forms.
Combinatorial Identities Related to Representations of $U_q(\tilde{gl_2})$
Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras.
We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{ρ,γ}(sl_2)$.
Composition sums related to the hypergeometric function
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
A short proof that ``proper = unit''
Published
• View Publication
• BIB
A short proof is given that the graphs with proper interval representations are the same as the graphs with unit interval representations.
The saturation conjecture (after A. Knutson and T. Tao)
In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equivalent to the original Littlewood-Richardson rule.