polynomial
11422 papers tagged with this keyword
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.
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.
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).
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 computational complexity of the local postage stamp problem
Published
• View Publication
• BIB
The well-studied local postage stamp problem (LPSP) is the following: given a positive integer k, a set of postive integers 1 = a1 < a2 < ... < ak and an integer h >= 1, what is the smallest positive integer which cannot be represented as a linear combination x1 a1 + ... + xk ak where x1 + ... + xk <= h and each xi is a non-negative integer? In this note we prove that LPSP is NP-hard under Turing reductions, but can be solved in polynomial time if k is fixed.
Free martingale polynomials
Published in J. Funct. Anal. 201 (2003), 228-261
• View Publication
• BIB
In this paper we investigate the properties of the free Sheffer systems, which are certain families of martingale polynomials with respect to the free Levy processes. First, we classify such families that consist of orthogonal polynomials; these are the free analogs of the Meixner systems. Next, we show that the fluctuations around free convolution semigroups have as principal directions the polynomials whose derivatives are martingale polynomials. Finally, we indicate how Rota's finite operator calculus can be modified for the free context.
On Filamentations and Virtual Knots
Published in Topology and its Applications. 134 (2003), 23-52.
• View Publication
• BIB
In this paper, we discuss filamentations on oriented chord diagrams. When a filamentation cannot be realized on an oriented chord diagram, then the corresponding flat virtual knot is non-trivial. If a flat knot diagram is non-trivial, then any virtual diagram whose shadow is the flat diagram must also be non-trivial. We introduce a class of flat diagrams for which no filamentations exist. This class gives the first example of an infinite set of virtual knots for which the Jones polynomial and the fundamental group both evaluate trivially. The related generalized Alexander polynomials for the virtual knots in this class turn out to be distinct, proving that the class is indeed infinite.
Moments of characteristic polynomials enumerate two-rowed lexicographic arrays
Published
• View Publication
• BIB
A combinatorial interpretation is provided for the moments of characteristic polynomials of random unitary matrices. This leads to a rather unexpected consequence of the Keating and Snaith conjecture: the moments of $\midξ(1/2+it)\mid$ turn out to be connected with some increasing subsequences problems (such as the last passage percolation problem).
Permutation group algebras
Published in J. Alg. Combinatorics, 19 (2004), pp. 25--45
• Search Publication
We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory. We finish by considering some integer sequences which arise from certain of these groups.
Puzzles and (equivariant) cohomology of Grassmannians
Published in Duke Math. J. 119 (2003), no. 2, 221--260
• View Publication
• BIB
We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case.
The proof of the formula is mostly combinatorial, but requires no prior combinatorics, and only a modicum of equivariant cohomology (which we include).
This formula is closely related to the one in [Molev-Sagan] q-alg/9707028 for multiplying factorial Schur functions in three sets of variables, although their rule does not give a positive formula in the sense of [Graham]. We include a cohomological interpretation of this problem, and a puzzle formulation for it.
A differential ideal of symmetric polynomials spanned by Jack polynomials at $β=-(r-1)/(k+1)$
For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2).
BC_n-symmetric polynomials
We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.
Quantum Cohomology of Grassmannians and Total Positivity
Published
• View Publication
• BIB
We give a proof of a result of D. Peterson's identifying the quantum cohomology ring of a Grassmannian with the reduced coordinate ring of a certain subvariety of $GL_n$. The totally positive part of this subvariety is then constructed and we give closed formulas for the values of the Schubert basis elements on the totally positive points. We then use the developed methods to give a new proof of a formula of Vafa and Intriligator and Bertram for the structure constants (Gromov--Witten invariants). Finally, we use the positivity of these Gromov--Witten invariants to prove certain inequalities for Schur polynomials at roots of unity.
Resonance Category
Published in Commentarii Mathematici Helvetici, 80 (2005), no. 1, 197--223.
• Search Publication
The main purpose of this paper is to introduce a new category, which we call a resonance category, whose combinatorics reflect that of canonical stratifications of $n$-fold symmetric smash products. The study of the stratifications can then be abstracted to the study of functors satisfying certain sets of axioms, which we name resonance functors.
One frequently studied stratification is that of the set of all polynomials of degree $n$, defined by fixing the allowed multiplicities of roots. We apply our abstract combinatorial framework, in particular, the notion of direct product of relative resonances, to study the Arnold problem of computing the algebro-topological invariants of these strata.
Schur function identities, their t-analogs, and k-Schur irreducibility
Published
• View Publication
• BIB
We obtain general identities for the product of two Schur functions in the case where one of the functions is indexed by a rectangular partition, and give their t-analogs using vertex operators. We study subspaces forming a filtration for the symmetric function space that lends itself to generalizing the theory of Schur functions and also provides a convenient environment for studying the Macdonald polynomials. We use our identities to prove that the vertex operators leave such subspaces invariant. We finish by showing that these operators act simply on the k-Schur functions, thus leading to a concept of irreducibility for these functions.
Schur function analogs for a filtration of the symmetric function space
Published
• View Publication
• BIB
We consider a filtration of the symmetric function space given by $Λ^{(k)}_t$, the linear span of Hall-Littlewood polynomials indexed by partitions whose first part is not larger than $k$. We introduce symmetric functions called the $k$-Schur functions, providing an analog for the Schur functions in the subspaces $Λ^{(k)}_t$. We prove several properties for the $k$-Schur functions including that they form a basis for these subspaces that reduces to the Schur basis when $k$ is large. We also show that the connection coefficients for the $k$-Schur function basis with the Macdonald polynomials belonging to $Λ^{(k)}_t$ are polynomials in $q$ and $t$ with integral coefficients. In fact, we conjecture that these integral coefficients are actually positive, and give several other conjectures generalizing Schur function theory.
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.
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.
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.