polynomial
11257 papers tagged with this keyword
Double theta polynomials and equivariant Giambelli formulas
Published in Math. Proc. Camb. Phil. Soc. 160 (2016) 353-377
• View Publication
• BIB
We use Young's raising operators to introduce and study double theta polynomials, which specialize to both the theta polynomials of Buch, Kresch, and Tamvakis, and to double (or factorial) Schur S-polynomials and Q-polynomials. These double theta polynomials give Giambelli formulas which represent the equivariant Schubert classes in the torus-equivariant cohomology ring of symplectic Grassmannians, and we employ them to obtain a new presentation of this ring in terms of intrinsic generators and relations.
Coefficients and roots of peak polynomials
Published in Experimental Mathematics 25(2): 165-175 (2016)
• View Publication
• BIB
Given a permutation $π=π_1π_2\cdots π_n \in \mathfrak{S}_n$, we say an index $i$ is a peak if $π_{i-1} < π_i > π_{i+1}$. Let $P(π)$ denote the set of peaks of $π$. Given any set $S$ of positive integers, define ${\mathcal{P}_S(n)=\{π\in \mathfrak{S}_n:P(π)=S\}}$. Billey-Burdzy-Sagan showed that for all fixed subsets of positive integers $S$ and sufficiently large $n$, $|\mathcal{P}_S(n)|=p_S(n)2^{n-|S|-1}$ for some polynomial $p_S(x)$ depending on $S$. They conjectured that the coefficients of $p_S(x)$ expanded in a binomial coefficient basis centered at $\max(S)$ are all positive. We show that this is a consequence of a stronger conjecture that bounds the modulus of the roots of $p_S(x)$. Furthermore, we give an efficient explicit formula for peak polynomials in the binomial basis centered at $0$, which we use to identify many integer roots of peak polynomials along with certain inequalities and identities.
Irrational mixed decomposition and sharp fewnomial bounds for tropical polynomial systems
Published
• View Publication
• BIB
Given convex polytopes $P_1,...,P_r$ in $R^n$ and finite subsets $W_I$ of the Minkowsky sums $P_I=\sum_{i \in I} P_i$, we consider the quantity $N(W)=\sum_{I \subset {\bf [}r {\bf ]}} {(-1)}^{r-|I|} \big| W_I \big|$. We develop a technique that we call irrational mixed decomposition which allows us to estimate $N(W)$ under some assumptions on the family $W=(W_I)$. In particular, we are able to show the nonnegativity of $N(W)$ in some important cases. The quantity $N(W)$ associated with the family defined by $W_I=\sum_{i \in I} W_i$ is called discrete mixed volume of $W_1,...,W_r$. We show that for $r=n$ the discrete mixed volume provides an upper bound for the number of nondegenerate solutions of a tropical polynomial system with supports $W_1,...,W_n$. We also prove that the discrete mixed volume of $W_1,...,W_r$ is bounded from above by the Kouchnirenko number $\prod_{i=1}^r (|W_i|-1)$. For $r=n$ this number was proposed as a bound for the number of nondegenerate positive solutions of any real polynomial system with supports $W_1,...,W_n$. This conjecture was disproved, but our result shows that the Kouchnirenko number is a sharp bound for the number of nondegenerate positive solutions of real polynomial systems constructed by means of the combinatorial patchworking.
Tensor product of Kraśkiewicz and Pragacz's modules
Published
• View Publication
• BIB
This paper explores further properties of modules related with Schubert polynomials, introduced by Kraśkiewicz and Pragacz. In this paper we show that any tensor product of Kraśkiewicz-Pragacz modules admits a filtration by Kraśkiewicz-Pragacz modules. This result can be seen as a module-theoretic counterpart of a classical result that the product of Schubert polynomials is a positive sum of Schubert polynomials.
Tutte polynomial of a fractal scale-free lattice
The Tutte polynomial of a graph, or equivalently the $q$-state Potts model partition function, is a two-variable polynomial graph invariant of considerable importance in both combinatorics and statistical physics. The computation of this invariant for a graph is NP-hard in general. In this paper, based on their self-similar structures, we recursively describe the Tutte polynomials of an infinite family of scale-free lattices. Furthermore, we give some exact analytical expressions of the Tutte polynomial for several special points at $(X,Y)$-plane.
Rectangular symmetries for coefficients of symmetric functions
Published
• View Publication
• BIB
We show that some of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker coefficients, plethysm coefficients, and the Kostka--Foulkes polynomials) share symmetries related to the operations of taking complements with respect to rectangles and adding rectangles.
Valence independent formula for the equilibrium measure
We derive a new formula for the equilibrium measure for eigenvalues of random matrices sampled from polynomial perturbations of the GUE, valid in the one-cut case. The virtue of our formula is that it depends on the potential only implicitly through the endpoints of support of the equilibrium measure. Our motivation is the problem of computing explicit formulas for generating functions which enumerate graphs embedded in a Riemann surface. To demonstrate the utility of our formula for the equilibrium measure, we derive a formula for the generating function $e_1$ enumerating maps on the torus. This formula is "valence independent" in the sense that it holds regardless of what numbers of edges are allowed to meet at vertices; furthermore it subsumes formulas for $e_1$ given by other authors as special cases.
A note on the values of independence polynomials at $-1$
Published
• View Publication
• BIB
The independence polynomial $I(G;x)$ of a graph $G$ is $I(G;x)=\sum_{k=1}^{α(G)} s_k x^k$, where $s_k$ is the number of independent sets in $G$ of size $k$. The decycling number of a graph $G$, denoted $φ(G)$, is the minimum size of a set $S\subseteq V(G)$ such that $G-S$ is acyclic. Engström proved that the independence polynomial satisfies $|I(G;-1)| \leq 2^{φ(G)}$ for any graph $G$, and this bound is best possible. Levit and Mandrescu provided an elementary proof of the bound, and in addition conjectured that for every positive integer $k$ and integer $q$ with $|q|\leq 2^k$, there is a connected graph $G$ with $φ(G)=k$ and $I(G;-1)=q$. In this note, we prove this conjecture.
Symmetric bilinear forms over finite fields with applications to coding theory
Published
• View Publication
• BIB
Let $q$ be an odd prime power and let $X(m,q)$ be the set of symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$. The partition of $X(m,q)$ induced by the action of the general linear group gives rise to a commutative translation association scheme. We give explicit expressions for the eigenvalues of this scheme in terms of linear combinations of generalised Krawtchouk polynomials. We then study $d$-codes in this scheme, namely subsets $Y$ of $X(m,q)$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $X(m,q)$. Finally, with every subset $Y$ of $X(m,q)$, we associate two classical codes over $\mathbb{F}_q$ and show that their Hamming distance enumerators can be expressed in terms of the inner distribution of $Y$. As an example, we obtain the distance enumerators of certain cyclic codes, for which many special cases have been previously obtained using long ad hoc calculations.
A combinatorial algorithm for the planar multiflow problem with demands located on three holes
Published
• View Publication
• BIB
We consider an undirected multi(commodity)flow demand problem in which a supply graph is planar, each source-sink pair is located on one of three specified faces of the graph, and the capacities and demands are integer-valued and Eulerian. It is known that such a problem has a solution if the cut and (2,3)-metric conditions hold, and that the solvability implies the existence of an integer solution. We develop a purely combinatorial strongly polynomial solution algorithm.
Recipe theorems for polynomial invariants on ribbon graphs with half-edges
We provide recipe theorems for the Bollobàs and Riordan polynomial $\mathcal{R}$ defined on classes of ribbon graphs with half-edges introduced in arXiv:1310.3708[math.GT]. We also define a generalized transition polynomial $Q$ on this new category of ribbon graphs and establish a relationship between $Q$ and $\mathcal{R}$.
All known prime Erdős-Hajnal tournaments satisfy $ε(H) = Ω(\frac{1}{|H|^{5}\log(|H|)})$
We prove that there exists $C>0$ such that $ε(H) \geq \frac{C}{|H|^{5}\log(|H|)}$, where $ε(H)$ is the Erdős-Hajnal coefficient of the tournament $H$, for every prime tournament $H$ for which the celebrated Erdős-Hajnal Conjecture has been proven so far. This is the first polynomial bound on the EH coefficient obtained for all known prime Erdős-Hajnal tournaments, in particular for infinitely many prime tournaments. As a byproduct of our analysis, we answer affirmatively the question whether there exists an infinite family of prime tournaments $H$ with $ε(H)$ lower-bounded by $\frac{1}{\textit{poly}(|H|)}$, where $\textit{poly}$ is a polynomial function. Furthermore, we give much tighter bounds than those known so far for the EH coefficients of tournaments without large homogeneous sets. This enables us to significantly reduce the gap between best known lower and upper bounds for the EH coefficients of tournaments. As a corollary we prove that every known prime Erdős-Hajnal tournament $H$ satisfies: $-5 + o(1) \leq \frac{\log(ε(H))}{\log(|H|)} \leq -1 + o(1)$. No lower bound on that expression was known before. We also show the applications of those results to the tournament coloring problem. In particular, we prove that for every known prime Erdős-Hajnal tournament $H$ every $H$-free tournament has \textit{chromatic number} at most $O(n^{1-\frac{C}{|H|^{5}\log(|H|)}}\log(n))$, where $C>0$ is some universal constant. The related coloring can be constructed algorithmically in the quasipolynomial time by following straightforwadly the proof of our main result. In comparison, the standard Ramsey theory gives only $O(\frac{n}{\log(n)})$ bounds for the tournament chromatic number.
Bounds on Kronecker and $q$-binomial coefficients
Published
• View Publication
• BIB
We present a lower bound on the Kronecker coefficients for tensor squares of the symmetric group via the characters of~$S_n$, which we apply to obtain various explicit estimates. Notably, we extend Sylvester's unimodality of $q$-binomial coefficients $\binom{n}{k}_q$ as polynomials in~$q$ to derive sharp bounds on the differences of their consecutive coefficients. We then derive effective asymptotic lower bounds for a wider class of Kronecker coefficients.
Determinantal identities for flagged Schur and Schubert polynomials
Published in European Journal of Mathematics 2:1, 227-245 (2016)
• View Publication
• BIB
We prove new determinantal identities for a family of flagged Schur polynomials. As a corollary of these identities we obtain determinantal expressions of Schubert polynomials for certain vexillary permutations.
Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals
Published
• View Publication
• BIB
We revisit a well-known family of polynomial ideals encoding the problem of graph-$k$-colorability. Our paper describes how the inherent combinatorial structure of the ideals implies several interesting algebraic properties. Specifically, we provide lower bounds on the difficulty of computing Gröbner bases and Nullstellensatz certificates for the coloring ideals of general graphs. For chordal graphs, however, we explicitly describe a Gröbner basis for the coloring ideal, and provide a polynomial-time algorithm.
Multiparameter poly-Cauchy and poly-Bernoulli numbers and polynomials
Published
• View Publication
• BIB
Recently, Komastu introduced the concept of poly-Cauchy numbers and polynomials which generalize Cauchy numbers and polynomials. In this paper, we introduce new generaliza- tion of poly-Cauchy and poly-Bernoulli numbers and polynomials. Also, we introduce new generalizations of Cauchy numbers and polynomials. Moreover, we derive some identities involving the new numbers and polynomials and some types of Stirling numbers. These gives generalization of some relations poly-Cauchy and poly-Bernoulli numbers and poly- nomials. Furthermore, we obtain some relations between the multiparameter poly-Cauchy numbers and polynomials and new multiparameter poly-Bernoulli numbers and polyno- mials.
An overpartition analogue of the $q$-binomial coefficients
Published
• View Publication
• BIB
We define an overpartition analogue of Gaussian polynomials (also known as $q$-binomial coefficients) as a generating function for the number of overpartitions fitting inside the $M \times N$ rectangle. We call these new polynomials over Gaussian polynomials or over $q$-binomial coefficients. We investigate basic properties and applications of over $q$-binomial coefficients. In particular, via the recurrences and combinatorial interpretations of over q-binomial coefficients, we prove a Rogers-Ramaujan type partition theorem.
Antipodes and involutions
Published
• View Publication
• BIB
If H is a connected, graded Hopf algebra, then Takeuchi's formula can be used to compute its antipode. However, there is usually massive cancellation in the result. We show how sign-reversing involutions can sometimes be used to obtain cancellation-free formulas. We apply this idea to nine different examples. We rederive known formulas for the antipodes in the Hopf algebra of polynomials, the shuffle Hopf algebra, the Hopf algebra of quasisymmertic functions in both the monomial and fundamental bases, the Hopf algebra of multi-quasisymmetric functions in the fundamental basis, and the incidence Hopf algebra of graphs. We also find cancellation-free expressions for particular values of the antipode in the immaculate basis for the noncommutative symmetric functions as well as the Malvenuto-Reutenauer and Porier-Reutenauer Hopf algebras, some of which are the first of their kind. We include various conjectures and suggestions for future research.
Möbius Polynomials of Face Posets of Convex Polytopes
Published in Communications in Algebra 2016 44(11):4945-4972
• View Publication
• BIB
The Möbius polynomial is an invariant of ranked posets, closely related to the Möbius function. In this paper, we study the Möbius polynomial of face posets of convex polytopes. We present formulas for computing the Möbius polynomial of the face poset of a pyramid or a prism over an existing polytope, or of the gluing of two or more polytopes in terms of the Möbius polynomials of the original polytopes. We also present general formulas for calculating Möbius polynomials of face posets of simplicial polytopes and of Eulerian posets in terms of their $f$-vectors and some additional constraints.
Nerve complexes of circular arcs
Published in Discrete & Computational Geometry, 56(2):251-273, 2017
• View Publication
• BIB
We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log n). For the particular case of the nerve complex of evenly-spaced arcs of the same length, we determine the dihedral group action on homology, and we relate the complex to a cyclic polytope with n vertices. We give three applications of our knowledge of the homotopy types of nerve complexes of circular arcs. First, we use the connection to cyclic polytopes to give a novel topological proof of a known upper bound on the distance between successive roots of a homogeneous trigonometric polynomial. Second, we show that the Lovasz bound on the chromatic number of a circular complete graph is either sharp or off by one. Third, we show that the Vietoris--Rips simplicial complex of n points in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension, and furthermore this homotopy type can be computed in time O(n log n).