polynomial
11173 papers tagged with this keyword
Polynomial Sequences of Binomial Type and Path Integrals
Published in Ann. of Combinatorics, 6(2002), no. 1, pp. 45-56.
• View Publication
• BIB
Polynomial sequences $p_n(x)$ of binomial type are a principal tool in the umbral calculus of enumerative combinatorics. We express $p_n(x)$ as a \emph{path integral} in the ``phase space'' $\Space{N}{} \times {[-π,π]}$. The Hamiltonian is $h(φ)=\sum_{n=0}^\infty p_n'(0)/n! e^{inφ}$ and it produces a Schrödinger type equation for $p_n(x)$. This establishes a bridge between enumerative combinatorics and quantum field theory. It also provides an algorithm for parallel quantum computations.
Keywords: Feynman path integral, umbral calculus, polynomial sequence of binomial type, token, Schrödinger equation, propagator, wave function, cumulants, quantum computation.
A Heterosexual Mehler Formula for the Straight Hermite Polynomials (A La Foata)
The celebrated Foata combinatorial model for Hermite polynomials, and his seminal and beautiful proof of the Mehler formula, are straightened to deal with two sexes rather than one, with the exclusion of same-sex relationships (both marital and non-marital).
Gauss Sums, Jacobi Sums, and $p$-ranks of Cyclic Difference Sets
Published in J. Combin. Theory Ser. A 87 (1999), 174-219
• View Publication
• BIB
We study quadratic residue difference sets, GMW difference sets, and difference sets arising from monomial hyperovals, all of which are $(2^d-1, 2^{d-1}-1, 2^{d-2}-1)$ cyclic difference sets in the multiplicative group of the finite field $F_{2^d}$ of $2^d$ elements, with $d \geq 2$. We show that, except for a few cases with small $d$, these difference sets are all pairwise inequivalent. This is accomplished in part by examining their 2-ranks. The 2-ranks of all of these difference sets were previously known, except for those connected with the Segre and Glynn hyperovals. We determine the 2-ranks of the difference sets arising from the Segre and Glynn hyperovals, in the following way. Stickelberger's theorem for Gauss sums is used to reduce the computation of these 2-ranks to a problem of counting certain cyclic binary strings of length $d$. This counting problem is then solved combinatorially, with the aid of the transfer matrix method. We give further applications of the 2-rank formulas, including the determination of the nonzeros of certain binary cyclic codes, and a criterion in terms of the trace function to decide for which $β$ in $F_{2^d}^*$ the polynomial $x^6 + x + β$ has a zero in $F_{2^d}$, when $d$ is odd.
Crystal Bases of Quantum Affine Algebras and Affine Kazhdan-Lusztig Polynomials
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our algorithm allows fast computation of these decomposition numbers.
Canonical Basis and Macdonald Polynomials
Published in Advances in Math. 140 (1998), 95-127.
• View Publication
• BIB
In the basic representation of $U_q(\hat{sl}(2))$ realized via the algebra of symmetric functions we compare the canonical basis with the basis of Macdonald polynomials with $q=t^2$. We show that the Macdonald polynomials are invariant with respect to the bar involution defined abstractly on the representations of quantum groups. We also prove that the Macdonald scalar product coincides with the abstract Kashiwara form. This implies, in particular, that the Macdonald polynomials form an intermediate basis between the canonical basis and the dual canonical basis, and the coefficients of the transition matrix are necessarily bar invariant. We also discuss the positivity and integrality of these coefficients. For level $k$, we expect a similar relation between the canonical basis and Macdonald polynomials with $q^2=t^{k}.$
The number of independent Vassiliev invariants in the Homfly and Kauffman polynomials
Published in Documenta Mathematica, Vol 5(2000), 275-299
• View Publication
• BIB
We consider vector spaces H(n,l) and F(n,l) spanned by the degree-n coefficients in power series forms of the Homfly and Kauffman polynomials of links with l components. Generalizing previously known formulas, we determine the dimensions of the spaces H(n,l), F(n,l) and H(n,l)+F(n,l) for all values of n and l. Furthermore, we show that for knots the algebra generated by H(n,1)+F(n,1) (n > 0) is a polynomial algebra with dim(H(n,1)+F(n,1))-1=n+[n/2]-4 generators in degree n>3 and one generator in degrees 2 and 3.
Spanning trees and a conjecture of Kontsevich
Published
• View Publication
• BIB
Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q. We have been unable to settle Kontsevich's conjecture. However, we can evaluate f(G,q) explicitly for certain graphs G, such as the complete graph. We also point out the connection between Kontsevich's conjecture and such topics as the Matrix-Tree Theorem and orthogonal geometry.
A Combinatorial Proof of Bass's Evaluations of the Ihara-Selberg Zeta Function for Graphs
Published
• View Publication
• BIB
We derive combinatorial proofs of the main two evaluations of the Ihara-Selberg Zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the third proof it is shown that the first evaluation is an immediate consequence of Amitsur's identity on the characteristic polynomial of a sum of matrices. The second evaluation of the Ihara-Selberg Zeta function is first derived by means of a sign-changing involution technique. Our second approach makes use of a short matrix-algebra argument.
Orlik-Solomon algebras and Tutte polynomials
Published
• View Publication
• BIB
The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic.
We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $§$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $§\oplus P(\A_0,\A_1)$ have diffeomorphic complements.
Enumeration of m-ary cacti
Published in Advances in Applied Mathematics, 24 (2000), 22-56
• Search Publication
The purpose of this paper is to enumerate various classes of cyclically colored m-gonal plane cacti, called m-ary cacti. This combinatorial problem is motivated by the topological classification of complex polynomials having at most m critical values, studied by Zvonkin and others. We obtain explicit formulae for both labelled and unlabelled m-ary cacti, according to i) the number of polygons, ii) the vertex-color distribution, iii) the vertex-degree distribution of each color. We also enumerate m-ary cacti according to the order of their automorphism group. Using a generalization of Otter's formula, we express the species of m-ary cacti in terms of rooted and of pointed cacti. A variant of the m-dimensional Lagrange inversion is then used to enumerate these structures. The method of Liskovets for the enumeration of unrooted planar maps can also be adapted to m-ary cacti.
Graded characters of modules supported in the closure of a nilpotent conjugacy class
Published
• View Publication
• BIB
We study the Poincare polynomials of isotypic components of a natural family of graded GL(n)-modules supported in the closure of a nilpotent conjugacy class. These polynomials generalize the Kostka-Foulkes and are q-analogues of Littlewood-Richardson coefficients corresponding to arbitrary tensor products of irreducibles. Many properties and formulas for these polynomials are derived, such as a generalized Morris recurrence, q-Kostant formula, and a conjectural formula in terms of catabolizable tableaux and charge.
Multi-atoms and monotonicity of generalized Kostka polynomials
Published
• View Publication
• BIB
The generalized Kostka polynomials are the Poincare polynomials of isotypic components of certain graded GL(n)-modules. The former satisfy a monotonicity property arising from natural surjections of the corresponding modules. This monotonicity property is realized combinatorially by a directed system of order- and statistic-preserving embeddings between the sets of Littlewood-Richardson (LR) tableaux that describe the generalized Kostka polynomials. Each set of LR tableaux is embedded into a cocyclage poset of column-strict tableaux of a fixed content, and the image is characterized in terms of catabolizable tableaux.
Raising operators of row type for Macdonald polynomials
Published
• View Publication
• BIB
Raising operators of row type are constructed by means of an interpolation method. These are a dual version of the raising operators of column type by A.N.Kirillov and M.Noumi. An extension of the q-binomial coefficients is introduced in relation to the raising operators.
Inhomogeneous lattice paths, generalized Kostka polynomials and A$_{n-1}$ supernomials
Published in Commun. Math. Phys. 202 (1999) 359-401
• View Publication
• BIB
Inhomogeneous lattice paths are introduced as ordered sequences of rectangular Young tableaux thereby generalizing recent work on the Kostka polynomials by Nakayashiki and Yamada and by Lascoux, Leclerc and Thibon. Motivated by these works and by Kashiwara's theory of crystal bases we define a statistic on paths yielding two novel classes of polynomials. One of these provides a generalization of the Kostka polynomials while the other, which we name the A$_{n-1}$ supernomial, is a $q$-deformation of the expansion coefficients of products of Schur polynomials. Many well-known results for Kostka polynomials are extended leading to representations of our polynomials in terms of a charge statistic on Littlewood-Richardson tableaux and in terms of fermionic configuration sums. Several identities for the generalized Kostka polynomials and the A$_{n-1}$ supernomials are proven or conjectured. Finally, a connection between the supernomials and Bailey's lemma is made.
Zeros of reliability polynomials and f-vectors of matroids
Published
• View Publication
• BIB
For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.
The algebra of flows in graphs
Published
• View Publication
• BIB
We define a contravariant functor K from the category of finite graphs and graph morphisms to the category of finitely generated graded abelian groups and homomorphisms. For a graph X, an abelian group B, and a nonnegative integer j, an element of Hom(K^j(X),B) is a coherent family of B-valued flows on the set of all graphs obtained by contracting some (j-1)-set of edges of X; in particular, Hom(K^1(X),R) is the familiar (real) ``cycle-space'' of X. We show that K(X) is torsion-free and that its Poincare polynomial is the specialization t^{n-k}T_X(1/t,1+t) of the Tutte polynomial of X (here X has n vertices and k components). Functoriality of K induces a functorial coalgebra structure on K(X); dualizing, for any ring B we obtain a functorial B-algebra structure on Hom(K(X),B). When B is commutative we present this algebra as a quotient of a divided power algebra, leading to some interesting inequalities on the coefficients of the above Poincare polynomial. We also provide a formula for the theta function of the lattice of integer-valued flows in X, and conclude with ten open problems.
Bandwidth and density for block graphs
Published in Discrete Mathematics 189(1998), 163-176
• View Publication
• BIB
The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result is best possible in various ways. Furthermore, for two classes of graphs that are ``almost'' caterpillars, the bandwidth problem is NP-complete.
Characteristic and Ehrhart polynomials
Published in J. Algebraic Combin. 7 (1998), 115-126
• View Publication
• BIB
Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion in various bases for the polynomial ring R[t]. Next we prove that the characteristic polynomial of any Weyl hyperplane arrangement can be expressed in terms of an Ehrhart quasi-polynomial for its affine Weyl chamber. Note that our first result deals with all subspace arrangements embedded in B_n while the second deals with all finite Weyl groups but only their hyperplane arrangements.
Mobius functions of lattices
Published in Adv. in Math. 127 (1997), 94-123
• View Publication
• BIB
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.
The Wiener polynomial of a graph
Published in Internat. J. of Quantum Chem. 60 (1996), 959-969
• Search Publication
The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.