polynomial
11257 papers tagged with this keyword
Computing Tropical Resultants
Published in J. Algebra 387 (2013), 287-319
• View Publication
• BIB
We fix the supports A=(A_1,...,A_k) of a list of tropical polynomials and define the tropical resultant TR(A) to be the set of choices of coefficients such that the tropical polynomials have a common solution. We prove that TR(A) is the tropicalization of the algebraic variety of solvable systems and that its dimension can be computed in polynomial time. The tropical resultant inherits a fan structure from the secondary fan of the Cayley configuration of A and we present algorithms for the traversal of TR(A) in this structure. We also present a new algorithm for recovering a Newton polytope from the support of its tropical hypersurface. We use this to compute the Newton polytope of the sparse resultant polynomial in the case when TR(A) is of codimension 1. Finally we consider the more general setting of specialized tropical resultants and report on experiments with our implementations.
From double quantum Schubert polynomials to k-double Schur functions via the Toda lattice
We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.
Optimal Multivalued Shattering
We have found the most general extension of the celebrated Sauer, Perles and Shelah, Vapnik and Chervonenkis result from 0-1 sequences to $k$-ary codes still giving a polynomial bound. Let $\mathcal{C}\subseteq \{0,1,..., k-1}^n$ be a $k$-ary code of length $n$. For a subset of coordinates $S\subset{1,2,...,n}$ the projection of $\mathcal{C}$ to $S$ is denoted by $\mathcal{C}|_S$. We say that $\mathcal{C}$ $(i,j)$-{\em shatters} $S$ if $\mathcal{C}|_S$ contains all the $2^{|S|}$ distinct vectors (codewords) with coordinates $i$ and $j$. Suppose that $\mathcal{C}$ does not $(i,j)$-shatter any coordinate set of size $s_{i,j}\geq 1$ for every $1\leq i< j\leq q$ and let $p=\sum (s_{i,j}-1)$. Using a natural induction we prove that $$ |{\mathcal C}|\leq O(n^p)$$ for any given $p$ as $n\to \infty$ and give a construction showing that this exponent is the best possible. Several open problems are mentioned.
Explicit formula for generalization of Poly-Bernoulli numbers and polynomials with a,b,c parameters
Published in Journal of Classical Analysis Volume 6, Number 2 (2015), 119-135
• View Publication
• BIB
In this paper we investigate special generalized Bernoulli polynomials with a,b,c parameters that generalize classical Bernoulli numbers and polynomials. The present paper deals with some recurrence formulae for the generalization of poly-Bernoulli numbers and polynomials with a,b,c parameters. Poly-Bernoulli numbers satisfy certain recurrence relationships which are used in many computations involving poly-Bernoulli numbers. Obtaining a closed formula for generalization of poly-Bernoulli numbers with a,b,c paramerers therefore seems to be a natural and important problem. By using the generalization of poly-Bernoulli polynomials with a,b,c parameters of negative index we define symmetrized generalization of poly-Bernoulli polynomials with a,b parameters of two variables and we prove duality property for them. Also by stirling numbers of the second kind we will find a closed formula for them. Furthermore we generalize the Arakawa-Kaneko Zeta functions and by using the Laplace-Mellin integral, we define generalization of Arakawa-Kaneko Zeta functions with a,b parameters and we obtain an interpolation formula for the generalization of poly-Bernoulli numbers and polynomials with a,b parameters. Furthermore we present a link between this type of Zeta functions and Dirichlet series. By our interpolation formula, we will interpolate the generalization of Arakawa-Kaneko Zeta functions with a,b parameters.
Some nice Hankel determinants
I study Hankel determinants of a class of sequences which can be interpreted as generalizations of the Catalan numbers and the central binomial coefficients. They follow a modular pattern with a frequent appearance of zeroes, so that the theory of orthogonal polynomials is not applicable. Even so our theorems and conjectures show some similarity with the relations between Catalan numbers and Fibonacci polynomials or between central binomial coefficients and Lucas polynomials.
Polynomial analogues of Ramanujan congruences for Han's hooklength formula
Published
• View Publication
• BIB
This article considers the eta power $\prod {(1-q^k)}^{b-1}$. It is proved that the coefficients of $\frac{q^n}{n!}$ in this expression, as polynomials in $b$, exhibit equidistribution of the coefficients in the nonzero residue classes mod 5 when $n=5j+4$. Other symmetries, as well as symmetries for other primes and prime powers, are proved, and some open questions are raised.
Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part
Published in Discrete and Computational Geometry 47 (2012), 624--628
• View Publication
• BIB
The symmetric edge polytopes of odd cycles (del Pezzo polytopes) are known as smooth Fano polytopes. In this paper, we show that if the length of the cycle is 127, then the Ehrhart polynomial has a root whose real part is greater than the dimension. As a result, we have a smooth Fano polytope that is a counterexample to the two conjectures on the roots of Ehrhart polynomials.
Free arrangements and coefficients of characteristic polynomials
Published
• View Publication
• BIB
Ziegler showed that free arrangements have free restricted multiarrangements (multirestrictions). After Ziegler's work, several results concerning "reverse direction", namely characterizing freeness of an arrangement via that of multirestriction, have appeared. In this paper, we prove that the second Betti number of the arrangement plays a crucial role.
Veroneseans, power subspaces and independence
Published
• View Publication
• BIB
Results are proved indicating that the Veronese map v_d often increases independence of both sets of points and sets of subspaces. For example, any d+1 Veronesean points of degree d are independent. Similarly, the dth power map on the space of linear forms of a polynomial algebra also often increases independence of both sets of points and sets of subspaces. These ideas produce d+1-independent families of subspaces in a natural manner.
Sabitov polynomials for volumes of polyhedra in four dimensions
Published in Advances in Mathematics 252 (2014) 586-611
• View Publication
• BIB
In 1996 I.Kh. Sabitov proved that the volume of a simplicial polyhedron in a 3-dimensional Euclidean space is a root of certain polynomial with coefficients depending on the combinatorial type and on edge lengths of the polyhedron only. Moreover, the coefficients of this polynomial are polynomials in edge lengths of the polyhedron. This result implies that the volume of a simplicial polyhedron with fixed combinatorial type and edge lengths can take only finitely many values. In particular, this yields that the volume of a flexible polyhedron in a 3-dimensional Euclidean space is constant. Until now it has been unknown whether these results can be obtained in dimensions greater than 3. In this paper we prove that all these results hold for polyhedra in a 4-dimensional Euclidean space.
Graph colorings, flows and arithmetic Tutte polynomial
We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled edges, which generalize the notions of colorings and flows over a graph.
We show that the corresponding arithmetic chromatic polynomial and arithmetic flow polynomial are given by suitable specializations of the associated arithmetic Tutte polynomial, generalizing classical results of Tutte.
Stationary Distribution and Eigenvalues for a de Bruijn Process
Published in Advances in Combinatorics 2013, Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011, pp 101-120, Kotsireas, Ilias S and Zima, Eugene V. (Eds.)
• View Publication
• BIB
We define a de Bruijn process with parameters n and L as a certain continuous-time Markov chain on the de Bruijn graph with words of length L over an n-letter alphabet as vertices. We determine explicitly its steady state distribution and its characteristic polynomial, which turns out to decompose into linear factors. In addition, we examine the stationary state of two specializations in detail. In the first one, the de Bruijn-Bernoulli process, this is a product measure. In the second one, the Skin-deep de Bruin process, the distribution has constant density but nontrivial correlation functions. The two point correlation function is determined using generating function techniques.
Quantum double Schubert polynomials represent Schubert classes
Published
• View Publication
• BIB
The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods.
On sub-determinants and the diameter of polyhedra
Published
• View Publication
• BIB
We derive a new upper bound on the diameter of a polyhedron P = {x \in R^n : Ax <= b}, where A \in Z^{m\timesn}. The bound is polynomial in n and the largest absolute value of a sub-determinant of A, denoted by Δ. More precisely, we show that the diameter of P is bounded by O(Δ^2 n^4 log nΔ). If P is bounded, then we show that the diameter of P is at most O(Δ^2 n^3.5 log nΔ).
For the special case in which A is a totally unimodular matrix, the bounds are O(n^4 log n) and O(n^3.5 log n) respectively. This improves over the previous best bound of O(m^16 n^3 (log mn)^3) due to Dyer and Frieze.
The Stabilizer Of Immanants
Published
• View Publication
• BIB
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
Topological expansion of the coefficients of zonal polynomials in genus one
We use a combinatorial interpretation of the coefficients of zonal Kerov polynomials as a number of unoriented maps to derive an explicit formula for the coefficients in genus one.
Evaluations of topological Tutte polynomials
Published
• View Publication
• BIB
We find new properties of the topological transition polynomial of embedded graphs, $Q(G)$. We use these properties to explain the striking similarities between certain evaluations of Bollobás and Riordan's ribbon graph polynomial, $R(G)$, and the topological Penrose polynomial, $P(G)$. The general framework provided by $Q(G)$ also leads to several other combinatorial interpretations these polynomials. In particular, we express $P(G)$, $R(G)$, and the Tutte polynomial, $T(G)$, as sums of chromatic polynomials of graphs derived from $G$; show that these polynomials count $k$-valuations of medial graphs; show that $R(G)$ counts edge 3-colourings; and reformulate the Four Colour Theorem in terms of $R(G)$. We conclude with a reduction formula for the transition polynomial of the tensor product of two embedded graphs, showing that it leads to additional relations among these polynomials and to further combinatorial interpretations of $P(G)$ and $R(G)$.
The Entropic Discriminant
Published in Advances in Mathematics, 244 (2013) pp. 678-707
• View Publication
• BIB
The entropic discriminant is a non-negative polynomial associated to a matrix. It arises in contexts ranging from statistics and linear programming to singularity theory and algebraic geometry. It describes the complex branch locus of the polar map of a real hyperplane arrangement, and it vanishes when the equations defining the analytic center of a linear program have a complex double root. We study the geometry of the entropic discriminant, and we express its degree in terms of the characteristic polynomial of the underlying matroid. Singularities of reciprocal linear spaces play a key role. In the corank-one case, the entropic discriminant admits a sum of squares representation derived from the discriminant of a characteristic polynomial of a symmetric matrix.
Around Poisson--Mehler summation formula
We study polynomials in $x$ and $y$ of degree $n+m:\allowbreak \{Q_{m,n}(x,y|t,q)\}_{n,m\geq 0}$ that appeared recently in the following identity: $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak γ_{0,0}(x,y|t,q) \allowbreak Q_{m,n}(x,y|t,q) $ where $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak \sum_{i\geq 0}\frac{t^{i}}{[i]_{q}}H_{i+n}(x|q) H_{m+i}(y|q)$, $\allowbreak $ $\{H_{n}(x|q)}_{n\geq -1}$ are the so-called $q-$% Hermite polynomials (qH). In particular we show that the spaces $span\{Q_{i,n-i}(x,y|t,q) :i=0,...,n\}_{n\geq 0}$ are orthogonal with respect to a certain measure (two-dimensional $(t,q)-$Normal distribution) on the square $\{(x,y):|x|,|y|\leq 2/\sqrt{1-q}\} . $ We study structure of these polynomials expressing them with the help of the so-called Al-Salam--Chihara (ASC) polynomials and showing that they are rational functions of parameters $t$ and $q$. We use them in various infinite expansions that can be viewed as simple generalization of the Poisson-Mehler summation formula. Further we use them in the expansion of the reciprocal of the right hand side of the Poisson-Mehler formula.
Factorial Schur functions and the Yang-Baxter equation
Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.