polynomial
11432 papers tagged with this keyword
Linear and Rational Factorization of Tropical Polynomials
Already for bivariate tropical polynomials, factorization is an NP-Complete problem. In this paper, we give an efficient algorithm for factorization and rational factorization of a rich class of tropical polynomials in $n$ variables. Special families of these polynomials have appeared in economics, discrete convex analysis, and combinatorics. Our theorems rely on an intrinsic characterization of regular mixed subdivisions of integral polytopes, and lead to many open problems of interest in discrete geometry.
Walk algebras, distinguished subexpressions, and point counting in Kac-Moody flag varieties
Published
• View Publication
• BIB
We study walk algebras and Hecke algebras for Kac-Moody root systems. Each choice of orientation for the set of real roots gives rise to a corresponding "oriented" basis for each of these algebras. We show that the notion of distinguished subexpression naturally arises when studying the transition matrix between oriented bases. We then relate these notions to the geometry of Kac-Moody flag varieties and Bott-Samelson varieties. In particular, we show that the number of points over a finite field in certain intersections of these varieties is given by change of basis coefficients between oriented bases of the Hecke algebra. Using these results we give streamlined derivations of Deodhar's formula for $R$-polynomials and point-counting formulas for specializations of nonsymmetric Macdonald polynomials $E_λ(\mathsf{q},t)$ at $\mathsf{q}=0,\infty$.
The Tutte q-Polynomial
$q$-Matroids are defined on complemented modular support lattices. Minors of length 2 are of four types as in a "classical" matroid. Tutte polynomials $τ(x,y)$ of matroids are calculated either by recursion over deletion/contraction of single elements, by an enumeration of bases with respect to internal/external activities, or by substitution $x \to (x-1),\; y \to (y-1)$ in their rank generating functions $ρ(x,y)$. The $q$-analogue of the passage from a Tutte polynomial to its corresponding RGF is straight-forward, but the analogue of the reverse process $x \to (x-1),\; y \to (y-1)$ is more delicate.
For matroids $M(S)$ on a set $S$, and relative to any linear order on the points, the concept of internal/external activity of a point relative to a basis gives rise to a partition of the underlying Boolean algebra $B(S)$ into a set of "prime-free" (or "structureless") minors, such minors being direct sums of loops and isthmi (coloops), with one such prime-free minor for each basis. What usually goes unnoticed is that each prime-free minor has a unique clopen flat. The latter property carries over to $q$-matroids, but each prime-free minor will contain many bases. So internal and external activity in $q$-matroids must be defined not for points relative to bases, but rather for coverings in the underlying complemented modular lattice. Following lattice paths from arbitrary subspaces $A$ along active coverings (downward for internally active, upward for externally active) will lead to the unique clopen subspace in the prime-free minor containing the subspace $A$.
There are a number of interesting questions concerning $q$-matroids that remain unsolved.
Rank Two Non-Commutative Laurent Phenomenon and Pseudo-Positivity
Published
• View Publication
• BIB
We study polynomial generalizations of the Kontsevich automorphisms acting on the skew-field of formal rational expressions in two non-commuting variables. Our main result is the Laurentness and pseudo-positivity of iterations of these automorphisms. The resulting expressions are described combinatorially using a generalization of the combinatorics of compatible pairs in a maximal Dyck path developed by Lee, Li, and Zelevinsky. By specializing to quasi-commuting variables we obtain pseudo-positive expressions for rank 2 quantum generalized cluster variables. In the binomial case when all internal exchange coefficients are zero, this quantum specialization provides a positive combinatorial construction of counting polynomials for Grassmannians of submodules in exceptional representations of valued quivers with two vertices.
Generalized minimum distance functions
Published in J. Algebraic Combin. 50 (2019), no. 3, 317-346
• View Publication
• BIB
Using commutative algebra methods we study the generalized minimum distance function (gmd function) and the corresponding generalized footprint function of a graded ideal in a polynomial ring over a field. The number of solutions that a system of homogeneous polynomials has in any given finite set of projective points is expressed as the degree of a graded ideal. If $\mathbb{X}$ is a set of projective points over a finite field and $I$ is its vanishing ideal, we show that the gmd function and the Vasconcelos function of $I$ are equal to the $r$-th generalized Hamming weight of the corresponding Reed-Muller-type code $C_\mathbb{X}(d)$ of degree $d$. We show that the generalized footprint function of $I$ is a lower bound for the $r$-th generalized Hamming weight of $C_\mathbb{X}(d)$. Then we present some applications to projective nested cartesian codes. To give applications of our lower bound to algebraic coding theory, we show an interesting integer inequality. Then we show an explicit formula and a combinatorial formula for the second generalized Hamming weight of an affine cartesian code.
The stringy Euler number of Calabi-Yau hypersurfaces in toric varieties and the Mavlyutov duality
Published
• View Publication
• BIB
We show that minimal models of nondegenerated hypersufaces defined by Laurent polynomials with a $d$-dimensional Newton polytope $Δ$ are Calabi-Yau varieties $X$ if and only if the Fine interior of $Δ$ consists of a single lattice point. We give a combinatorial formula for computing the stringy Euler number of $X$. This formula allows to test mirror symmetry in cases when $Δ$ is not a reflexive polytope. In particular we apply this formula to pairs of lattice polytopes $(Δ, Δ^{\vee})$ that appear in the Mavlyutov's generalization of the polar duality for reflexive polytopes. Some examples of Mavlyutov's dual pairs $(Δ, Δ^{\vee})$ show that the stringy Euler numbers of the corresponding Calabi-Yau varieties $X$ and $X^{\vee}$ may not satisfy the expected topological mirror symmetry test: $e_{\rm st}(X) = (-1)^{d-1} e_{\rm st}(X^{\vee})$. This shows the necessity of an additional condition on Mavlyutov's pairs $(Δ, Δ^\vee)$.
Macdonald cumulants, $G$-inversion polynomials and $G$-parking functions
Published in European J. Combin., 75, 172-194, 2019
• View Publication
• BIB
We prove a combinatorial formula for Macdonald cumulants which generalizes the celebrated formula of Haglund for Macdonald polynomials. We provide several applications of our formula. Firstly, it gives a new, constructive proof of a strong factorization property of Macdonald polynomials proven recently by the author of this paper. Moreover it proves that Macdonald cumulants are $q,t$--positive in the monomial and in the fundamental quasisymmetric bases. Furthermore, we use our formula to prove the recent higher-order Macdonald positivity conjecture for the coefficients of the Schur polynomials indexed by hooks. Our combinatorial formula relates Macdonald cumulants to the generating function of $G$-parking functions, or equivalently to a certain specialization of the Tutte polynomials.
Computing spectral bounds of the Heisenberg ferromagnet from geometric considerations
Published
• View Publication
• BIB
We give a polynomial-time algorithm for computing upper bounds on some of the smaller energy eigenvalues in a spin-1/2 ferromagnetic Heisenberg model with any graph $G$ for the underlying interactions. An important ingredient is the connection between Heisenberg models and the symmetric products of $G$. Our algorithms for computing upper bounds are based on generalized diameters of graphs. Computing the upper bounds amounts to solving the minimum assignment problem on $G$, which has well-known polynomial-time algorithms from the field of combinatorial optimization. We also study the possibility of computing the lower bounds on some of the smaller energy eigenvalues of Heisenberg models. This amounts to estimating the isoperimetric inequalities of the symmetric product of graphs. By using connections with discrete Sobolev inequalities, we show that this can be performed by considering just the vertex-induced subgraphs of $G$. If our conjecture for a polynomial time approximation algorithm to solve the edge-isoperimetric problem holds, then our proposed method of estimating the energy eigenvalues via approximating the edge-isoperimetric properties of vertex-induced subgraphs will yield a polynomial time algorithm for estimating the smaller energy eigenvalues of the Heisenberg ferromagnet.
Few Non-derogatory Directed Graphs from Directed Cycles
Published in International Journal of Graph Theory, 2 (1), April 2013
• Search Publication
We constructed a few non-derogatory digraphs by adding arcs to a directed cycle and computed their characteristic polynomials and exponents.
The limit point of the pentagram map
Published
• View Publication
• BIB
The pentagram map is a discrete dynamical system defined on the space of polygons in the plane. In the first paper on the subject, R. Schwartz proved that the pentagram map produces from each convex polygon a sequence of successively smaller polygons that converges exponentially to a point. We investigate the limit point itself, giving an explicit description of its Cartesian coordinates as roots of certain degree three polynomials.
The Matroid Structure of Representative Triple Sets and Triple-Closure Computation
Published
• View Publication
• BIB
The closure $\textrm{cl}(R)$ of a consistent set $R$ of triples (rooted binary trees on three leaves) provides essential information about tree-like relations that are shown by any supertree that displays all triples in $R$. In this contribution, we are concerned with representative triple sets, that is, subsets $R'$ of $R$ with $\textrm{cl}(R') = \textrm{cl}(R)$. In this case, $R'$ still contains all information on the tree structure implied by $R$, although $R'$ might be significantly smaller. We show that representative triple sets that are minimal w.r.t.\ inclusion form the basis of a matroid. This in turn implies that minimal representative triple sets also have minimum cardinality. In particular, the matroid structure can be used to show that minimum representative triple sets can be computed in polynomial time with a simple greedy approach. For a given triple set $R$ that "identifies" a tree, we provide an exact value for the cardinality of its minimum representative triple sets. In addition, we utilize the latter results to provide a novel and efficient method to compute the closure $\textrm{cl}(R)$ of a consistent triple set $R$ that improves the time complexity $\mathcal{O}(|R||L_R|^4)$ of the currently fastest known method proposed by Bryant and Steel (1995). In particular, if a minimum representative triple set for $R$ is given, it can be shown that the time complexity to compute $\textrm{cl}(R)$ can be improved by a factor up to $|R||L_R|$. As it turns out, collections of quartets (unrooted binary trees on four leaves) do not provide a matroid structure, in general.
Bounding the number of common zeros of multivariate polynomials and their consecutive derivatives
Published
• View Publication
• BIB
We upper bound the number of common zeros over a finite grid of multivariate polynomials and an arbitrary finite collection of their consecutive Hasse derivatives (in a coordinate-wise sense). To that end, we make use of the tool from Gröbner basis theory known as footprint. Then we establish and prove extensions in this context of a family of well-known results in algebra and combinatorics. These include Alon's combinatorial Nullstellensatz, existence and uniqueness of Hermite interpolating polynomials over a grid, estimations on the parameters of evaluation codes with consecutive derivatives, and bounds on the number of zeros of a polynomial by DeMillo and Lipton, Schwartz, Zippel, and Alon and Füredi. As an alternative, we also extend the Schwartz-Zippel bound to weighted multiplicities and discuss its connection with our extension of the footprint bound.
Factorizations of symmetric Macdonald polynomials
Published
• View Publication
• BIB
We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory.
Hook formulas for skew shapes III. Multivariate and product formulas
Published in Algebraic Combinatorics, Volume 2 (2019) no. 5, pp. 815-861
• View Publication
• BIB
We give new product formulas for the number of standard Young tableaux of certain skew shapes and for the principal evaluation of the certain Schubert polynomials. These are proved by utilizing symmetries for evaluations of factorial Schur functions, extensively studied in the first two papers in the series "Hook formulas for skew shapes" [arxiv:1512.08348, arxiv:1610.04744]. We also apply our technology to obtain determinantal and product formulas for the partition function of certain weighted lozenge tilings, and give various probabilistic and asymptotic applications.
Polynomial bases: positivity and Schur multiplication
Published
• View Publication
• BIB
We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule for the product of a Schur polynomial and a quasi-key polynomial. This rule simultaneously extends Haglund, Luoto, Mason and van Willigenburg's (2011) Littlewood-Richardson rule for quasi-Schur polynomials and refines their Littlewood-Richardson rule for Demazure characters. We also establish bijections connecting combinatorial models for these polynomials including semi-skyline fillings and quasi-key tableaux.
Spectra of Digraph Transformations
Published in Linear Algebra and its Applications, 439 (2013) 106-132
• View Publication
• BIB
For a digraph D and three parameters x, y, z in {0,1,+,-} we define the digraph D^(x,y,z) and call it the (x,y,z)-transformation of D. We show that for every r-regular digraph D the adjacency characteristic polynomial A(t, D^(x,y,z)) of (x,y,z)-transformation of D is uniquely defined by r and the adjacency characteristic polynomial A(t, D) of digraph D and we give a description of this function A(t, D^(x,y,z)) = F(r, A(t, D)). We also obtain similar results for some non-regular digraphs, namely, for so-called digraph-functions and their inverse. Also using the (x,y,z)-transformations of digraphs, we give various new constructions of non-isomorphic adjacency cospectral digraphs.
On Symmetric But Not Cyclotomic Numerical Semigroups
Published
• View Publication
• BIB
A numerical semigroup is called cyclotomic if its corresponding numerical semigroup polynomial $P_S(x)=(1-x)\sum_{s\in S}x^s$ is expressable as the product of cyclotomic polynomials. Ciolan, García-Sánchez, and Moree conjectured that for every embedding dimension at least $4$, there exists some numerical semigroup which is symmetric but not cyclotomic. We affirm this conjecture by giving an infinite class of numerical semigroup families $S_{n, t}$, which for every fixed $t$ is symmetric but not cyclotomic when $n\ge \max(8(t+1)^3,40(t+2))$ and then verify through a finite case check that the numerical semigroup families $S_{n, 0}$, and $S_{n, 1}$ yield acyclotomic numerical semigroups for every embedding dimension at least $4$.
On the combinatorics of Riordan arrays and Sheffer polynomials: monoids, operads and monops
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of properties of cancellative set-monops we construct a family of partially ordered sets whose prototypical examples are the Dowling lattices. They generalize the partition posets associated to a cancellative operad, and the subset posets associated to a cancellative monoid. Their generalized Withney numbers of the first and second kind are the entries of a Riordan matrix and its inverse. Equivalently, they are the connecting coefficients of two umbral inverse Sheffer sequences with the family of powers $\{x^n\}_{n=0}^{\infty}$. We study algebraic monops, their associated algebras and the free monop-algebras, as part of a program in progress to develop a theory of Koszul duality for monops.
On the Number of Circuit-cocircuit Reversal Classes of an Oriented Matroid
Published
• View Publication
• BIB
The first author introduced the circuit-cocircuit reversal system of an oriented matroid, and showed that when the underlying matroid is regular, the cardinalities of such system and its variations are equal to special evaluations of the Tutte polynomial (e.g., the total number of circuit-cocircuit reversal classes equals $t(M;1,1)$, the number of bases of the matroid). By relating these classes to activity classes studied by the first author and Las Vergnas, we give an alternative proof of the above results and a proof of the converse statements that these equalities fail whenever the underlying matroid is not regular. Hence we extend the above results to an equivalence of matroidal properties, thereby giving a new characterization of regular matroids.
On a theorem of Morlaye and Joly and its generalization
Published in European J. Combin. 80 (2019) 37-42
• View Publication
• BIB
We show that a weaker version of the well-known theorem of Morlaye and Joly on diagonal equations is a simple consequence of a restricted variable version of the Chevalley-Warning theorem. Moreover, we extend the result of Morlaye and Joly to the case of an equation of the form $$b_1D_{m_1}(X_1,a_1)+\dots+b_nD_{m_n}(X_n,a_n)=c,$$ where $D_{m_1}(X_1,a_1),\dots,D_{m_n}(X_n,a_n)$ are Dickson polynomials.