polynomial
11250 papers tagged with this keyword
Fibonacci, Motzkin, Schroder, Fuss-Catalan and other Combinatorial Structures: Universal and Embedded Bijections
A combinatorial structure, $\mathcal{F}$, with counting sequence $\{a_n\}_{n\ge 0}$ and ordinary generating function $G_\mathcal{F}=\sum_{n\ge0} a_n x^n$, is positive algebraic if $G_\mathcal{F}$ satisfies a polynomial equation $G_\mathcal{F}=\sum_{k=0}^N p_k(x)\,G_\mathcal{F}^k $ and $p_k(x)$ is a polynomial in $x$ with non-negative integer coefficients. We show that every such family is associated with a normed $\mathbf{n}$-magma. An $\mathbf{n}$-magma with $\mathbf{n}=(n_1,\dots, n_k)$ is a pair $\mathcal{M}$ and $\mathcal{F}$ where $\mathcal{M}$ is a set of combinatorial structures and $\mathcal{F}$ is a tuple of $n_i$-ary maps $f_i\,:\,\mathcal{M}^{n_i}\to \mathcal{M}$. A norm is a super-additive size map $||\cdot||\,:\, \mathcal{M}\to \mathbb{N} $.
If the normed $\mathbf{n}$-magma is free then we show there exists a recursive, norm preserving, universal bijection between all positive algebraic families $\mathcal{F}_i$ with the same counting sequence. A free $\mathbf{n}$-magma is defined using a universal mapping principle. We state a theorem which provides a combinatorial method of proving if a particular $\mathbf{n}$-magma is free. We illustrate this by defining several $\mathbf{n}$-magmas: eleven $(1,1)$-magmas (the Fibonacci families), seventeen $(1,2)$-magmas (nine Motzkin and eight Schröder families) and seven $(3)$-magmas (the Fuss-Catalan families). We prove they are all free and hence obtain a universal bijection for each $\mathbf{n}$. We also show how the $\mathbf{n}$-magma structure manifests as an embedded bijection.
Multi-Macdonald polynomials
We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.
Bounds on Rudin-Shapiro polynomials of arbitrary degree
Let $P_{<n}(z)$ be the Rudin-Shapiro polynomial of degree $n-1$. We show that $|P_{<n}(z)|\le \sqrt{6n-2}-1$ for all $n\ge0$ and $|z|=1$, confirming a longstanding conjecture. This bound is sharp in the case when $n=(2\cdot 4^k+1)/3$ and $z=1$. We also show that for $n\ge m\ge0$, $|P_{<n}(z)-P_{<m}(z)|\le \sqrt{10(n-m)}$, which is asymptotically sharp in the sense that for any $\varepsilon>0$ there exists $n>m\ge0$ and $z$ with $|z|=1$ and $|P_{<n}(z)-P_{<m}(z)|\ge\sqrt{(10-\varepsilon)(n-m)}$, contradicting a conjecture of Montgomery.
On the Todd Class of the Permutohedral variety
Published
• View Publication
• BIB
In the special case of braid fans, we give a combinatorial formula for the Berline-Vergne's construction for an Euler-Maclaurin type formula that computes number of lattice points in polytopes. Our formula is obtained by computing a symmetric expression for the Todd class of the permutohedral variety. By showing that this formula does not always have positive values, we prove that the Todd class of the permutohedral variety $X_d$ is not effective for $d\geq 24$.
Additionally, we prove that the linear coefficient in the Ehrhart polynomial of any lattice generalized permutohedron is positive.
On a conjecture about a class of permutation quadrinomials
Published
• View Publication
• BIB
Very recently, Tu et al. presented a sufficient condition about $(a_1,a_2,a_3)$, see Theorem 1.1, such that $f(x) = x^{3\cdot 2^m} + a_1 x^{2^{m+1}+1}+ a_2 x^{2^m+2} + a_3 x^3$ is a class of permutation polynomials over $\gf_{2^{n}}$ with $n=2m$ and $m$ odd. In this present paper, we prove that the sufficient condition is also necessary.
A polynomial time approximation schema for maximum k-vertex cover in bipartite graphs
The paper presents a polynomial time approximation schema for the edge-weighted version of maximum k-vertex cover problem in bipartite graphs.
Generalized permutahedra: Minkowski linear functionals and Ehrhart positivity
Published
• View Publication
• BIB
We characterize all signed Minkowski sums that define generalized permutahedra, extending results of Ardila-Benedetti-Doker (2010). We use this characterization to give a complete classification of all positive, translation-invariant, symmetric Minkowski linear functionals on generalized permutahedra. We show that they form a simplicial cone and explicitly describe their generators. We apply our results to prove that the linear coefficients of Ehrhart polynomials of generalized permutahedra, which include matroid polytopes, are non-negative, verifying conjectures of De Loera-Haws-Koeppe (2009) and Castillo-Liu (2018) in this case. We also apply this technique to give an example of a solid-angle polynomial of a generalized permutahedron that has negative linear term and obtain inequalities for beta invariants of contractions of matroids.
A sharper Ramsey theorem for constrained drawings
Given a graph $G$ and a collection $\mathcal C$ of subsets of $\mathbb{R}^d$ indexed by the subsets of vertices of $G$, a constrained drawing of $G$ is a drawing, where each edge is drawn inside some set from $\mathcal C$, in such a way that non-adjacent edges are drawn in sets with disjoint indices. In this paper we prove a Ramsey type result for such drawings. Furthermore we show how the result can be used to obtain Helly type theorems.
More precisely, we prove the following. For each $n$ and $b$, there is $N=O(b^{2n-3})$ with the following properties: If $G$ is a drawing of a graph on $N$ vertices and $\mathcal C$ is a collection of sets of $\mathbb{R}^d$ such that each $(b+1)$-tuple $T$ of vertices lies in a set indexed by $T$ and contains at least one edge in $T$, then in $G$, we can find a constrained copy of the complete graph $K_n$.
As a direct consequence we obtain the following Helly type result: For each $d$, there is a polynomial $h(b)$ of degree at most $2d+3$ such that the following holds. For every family $\mathcal F$ of sets in $\mathbb{R}^d$, its Helly number is at most $h(b)$, provided that the intersection of any non-empty subfamily has at most $b$ path-connected components, and trivial homology groups $H_1$, $H_2$, .... $H_{\lceil d/2\rceil-1}$. This dramatically improves the original theorem by Matoušek which had stronger assumption and a tower-like bound on $h(b)$. Under the same assumptions, our technique can also be used to bound Radon numbers.
Regular matroids have polynomial extension complexity
Published
• View Publication
• BIB
We prove that the extension complexity of the independence polytope of every regular matroid on $n$ elements is $O(n^6)$. Past results of Wong and Martin on extended formulations of the spanning tree polytope of a graph imply a $O(n^2)$ bound for the special case of (co)graphic matroids. However, the case of a general regular matroid was open, despite recent attempts. We also consider the extension complexity of circuit dominants of regular matroids, for which we give a $O(n^2)$ bound.
Dynamics of balanced parentheses, lexicographic series and Dyck polynomials
The article deals with a lexicographic order in various sequences. Consider the axiomatic of lexicographic series, based on the properties of the natural numbers. Elements of the set are ordered first the code length; further in each sign range, sorting is performed according to the given order on the alphabet. The sequence of the Dyck words, Dyck series, is analyzed as an example of such lexicographical series. The basis of this series is the dynamics of the Dyck words. We solve the direct and inverse problem of identification of elements of the Dyck series. The polynomial equation on the Dyck triangle is investigated. We give a recursive equation for Dyck polynomials. A matrix of polynomial coefficients is constructed to solve some problems. In conclusion, the reader is offered a software service for identification of the Dyck words with index up to $10^{10}$.
A condition for scattered linearized polynomials involving Dickson matrices
Published in J. Geom. (2019) 110:50
• View Publication
• BIB
A linearized polynomial over $\mathbb F_{q^n}$ is called scattered when for any $t,x\in\mathbb F_{q^n}$, the condition $xf(t)-tf(x)=0$ holds if and only if $x$ and $t$ are $\mathbb F_q$-linearly dependent. General conditions for linearized polynomials over $\mathbb F_{q^n}$ to be scattered can be deduced from the recent results in [4,7,15,19]. Some of them are based on the Dickson matrix associated with a linearized polynomial. Here a new condition involving Dickson matrices is stated. This condition is then applied to the Lunardon-Polverino binomial $x^{q^s}+δx^{q^{n-s}}$, allowing to prove that for any $n$ and $s$, if $\mathbb N_{q^n/q}(δ)=1$, then the binomial is not scattered. Also, a necessary and sufficient condition for $x^{q^s}+bx^{q^{2s}}$ to be scattered is shown which is stated in terms of a special plane algebraic curve.
On a series for the upper incomplete Gamma function
We define an absolutely convergent series for the upper incomplete Gamma function $Γ(s,z)$ for $z\geq 1$ and $s\in \mathbb{C}$. We express this series using certain polynomials which we define using the Stirling numbers of the first kind. We prove that these polynomials have positive coefficients by defining a three-parameter family of integers and certain linear operators on vector spaces of polynomials. We then apply this series to obtain a formula for the Riemann xi function valid at any $s \in \mathbb{C}$.
Describing the Jelonek set of polynomial maps via Newton polytopes
Let $\K=\C$, or $\R$, and $S_f$ be the set of points in $\K^n$ at which a polynomial map $f:\K^n\rightarrow\K^n$ is non-proper. Jelonek proved that $S_f$ is a semi-algebraic set that is ruled by polynomial curves, with $\dim S_f\leq n-1$, and provided a method to compute $S_f$ for $\K = \C$. However, such methods do not exist for $\K = \R$.
In this paper, we establish a straightforward description of $S_f$ for a large family of non-proper maps $f$ using the Newton polytopes of the polynomials appearing in $f$. Thus resulting in a new method for computing $S_f$ that works for $\K=\R$, and highlights an interplay between the geometry of polytopes and that of $S_f$. As an application, we recover some of Jelonek's results, and provide conditions on (non-)properness of $f$. Moreover, we discover another large family of maps $f$ whose $S_f$ has dimension $n-1$ (even for $\K=\R$), satisfies an explicit stratification, and weak smoothness properties. This novel description allows our tools to be extended to all non-proper maps.
Upper Bounds of Schubert Polynomials
Published
• View Publication
• BIB
Let $w$ be a permutation of $\{1,2,\ldots,n \}$, and let $D(w)$ be the Rothe diagram of $w$. The Schubert polynomial $\mathfrak{S}_w(x)$ can be realized as the dual character of the flagged Weyl module associated to $D(w)$. This implies a coefficient-wise inequality \[\mathrm{Min}_w(x)\leq \mathfrak{S}_w(x)\leq \mathrm{Max}_w(x),\] where both $\mathrm{Min}_w(x)$ and $\mathrm{Max}_w(x)$ are polynomials determined by $D(w)$. Fink, Mészáros and St.$\,$Dizier found that $\mathfrak{S}_w(x)$ equals the lower bound $\mathrm{Min}_w(x)$ if and only if $w$ avoids twelve permutation patterns. In this paper, we show that $\mathfrak{S}_w(x)$ reaches the upper bound $\mathrm{Max}_w(x)$ if and only if $w$ avoids two permutation patterns 1432 and 1423. Similarly, for any given composition $α\in \mathbb{Z}_{\geq 0}^n$, one can define a lower bound $\mathrm{Min}_α(x)$ and an upper bound $\mathrm{Max}_α(x)$ for the key polynomial $κ_α(x)$. Hodges and Yong established that $κ_α(x)$ equals $\mathrm{Min}_α(x)$ if and only if $α$ avoids five composition patterns. We show that $κ_α(x)$ equals $\mathrm{Max}_α(x)$ if and only if $α$ avoids a single composition pattern $(0,2)$. As an application, we obtain that when $α$ avoids $(0,2)$, the key polynomial $κ_α(x)$ is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St.$\,$Dizier.
Real Zeros of SONC Polynomials
Published
• View Publication
• BIB
We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact determination of the number $B''_{n+1,2d}$ for all $n$ and $d$. $B''_{n+1,2d}$ is defined to be the supremum of the number of zeros of all homogeneous $n+1$-variate polynomials of degree $2d$ in the SONC cone. The analogously defined numbers $B_{n+1,2d}$ and $B'_{n+1,2d}$ for the nonnegativity cone and the cone of sums of squares were first introduced and studied by Choi, Lam, and Reznick. In strong contrast to our case, the determination of both $B_{n+1,2d}$ and $B'_{n+1,2d}$ for general $n$ and $d$ is still an open question.
Moreover, we initiate the study of the exposed faces of the SONC cone. In particular, we explicitly consider small dimensions and analyze dimension bounds on the exposed faces. When comparing the exposed faces of the SONC cone with those of the nonnegativity cone we observe dimensional differences between them.
Efficient Rational Creative Telescoping
Published
• View Publication
• BIB
We present a new algorithm to compute minimal telescopers for rational functions in two discrete variables. As with recent reduction-based approaches, our algorithm has the important feature that the computation of a telescoper is independent of its certificate. In addition, our algorithm uses a compact representation of the certificate, which allows it to be easily manipulated and analyzed without knowing the precise expanded form. This representation hides potential expression swell until the final (and optional) expansion, which can be accomplished in time polynomial in the size of the expanded certificate. A complexity analysis, along with a Maple implementation, indicates that our algorithm has better theoretical and practical performance than the reduction-based approach in the rational case.
The steady-state degree and mixed volume of a chemical reaction network
Published
• View Publication
• BIB
The steady-state degree of a chemical reaction network is the number of complex steady-states, which is a measure of the algebraic complexity of solving the steady-state system. In general, the steady-state degree may be difficult to compute. Here, we give an upper bound to the steady-state degree of a reaction network by utilizing the underlying polyhedral geometry associated with the corresponding polynomial system. We focus on three case studies of infinite families of networks, each generated by joining smaller networks to create larger ones. For each family, we give a formula for the steady-state degree and the mixed volume of the corresponding polynomial system.
New Results on Higher-Order Changhee Numbers and Polynomials
We derive new matrix representation for higher-order changhee numbers and polynomials. This helps us to obtain simple and short proofs of many previous results on higher-order changhee numbers and polynomials. Moreover, we obtain recurrence relations, explicit formulas and some new results for these numbers and polynomials. Furthermore, we investigate the relations between these numbers and polynomials and Stirling numbers, Norlund and Bernoulli numbers of higher-order. Some numerical results using Mathcad program are introduced.
Degeneracy locus formulas for amenable Weyl group elements
Published in Nagoya Math. J. 261 (2026) e13
• View Publication
• BIB
We define a class of amenable Weyl group elements in the Lie types B, C, and D, which we propose as the analogues of vexillary permutations in these Lie types. Our amenable signed permutations index flagged theta and eta polynomials, which generalize the double theta and eta polynomials of Wilson and the author. In geometry, we obtain corresponding formulas for the cohomology classes of symplectic and orthogonal degeneracy loci.
On the relative size of toric bases
Published in Journal of Algebra and its Applications, 2021
• View Publication
• BIB
We consider the Graver basis, the universal Groebner basis, a Markov basis and the set of the circuits of a toric ideal. Let $A, B$ be any two of these bases such that $A\not \subset B$, we prove that there is no polynomial on the size or on the maximal degree of the elements of $B$ which bounds the size or the maximal degree of the elements of $A$ correspondingly.