polynomial
11250 papers tagged with this keyword
Stability and complexity of mixed discriminants
Published
• View Publication
• BIB
We show that the mixed discriminant of $n$ positive semidefinite $n \times n$ real symmetric matrices can be approximated within a relative error $ε>0$ in quasi-polynomial $n^{O(\ln n -\ln ε)}$ time, provided the distance of each matrix to the identity matrix in the operator norm does not exceed some absolute constant $γ_0 >0$. We deduce a similar result for the mixed discriminant of doubly stochastic $n$-tuples of matrices from the Marcus - Spielman - Srivastava bound on the roots of the mixed characteristic polynomial. Finally, we construct a quasi-polynomial algorithm for approximating the sum of $m$-th powers of principal minors of a matrix, provided the operator norm of the matrix is strictly less than 1. As is shown by Gurvits, for $m=2$ the problem is $\#P$-hard and covers the problem of computing the mixed discriminant of positive semidefinite matrices of rank 2.
Leading Coefficients and the Multiplicity of Known Roots
Published
• View Publication
• BIB
We show that a monic univariate polynomial over a field of characteristic zero, with $k$ distinct non-zero known roots, is determined by its $k$ proper leading coefficients by providing an explicit algorithm for computing the multiplicities of each root. We provide a version of the result and accompanying algorithm when the field is not algebraically closed by considering the minimal polynomials of the roots. Furthermore, we show how to perform the aforementioned algorithm in a numerically stable manner over $\mathbb{C}$, and then apply it to obtain new characteristic polynomials of hypergraphs.
Bounds on sizes of general caps in $AG(n,q)$ via the Croot-Lev-Pach polynomial method
Published
• View Publication
• BIB
In 2016, Ellenberg and Gijswijt employed a method of Croot, Lev, and Pach to show that a maximal cap in $AG(n, q)$ has size $O(q^{cn})$ for some $c < 1$. In this paper, we show more generally that if $S$ is a subset of $AG(n, q)$ containing no $m$ points on any $(m - 2)$- flat, then $|S| < q^{c_mn}$ for some $c_m < 1$, as long as $q$ is odd or $m$ is even.
Trees, parking functions, and standard monomials of skeleton ideals
Published in Australas. J. Comb. 81(1) (2021), pp. 126--151
• Search Publication
Parking functions are a widely studied class of combinatorial objects, with connections to several branches of mathematics. On the algebraic side, parking functions can be identified with the standard monomials of $M_n$, a certain monomial ideal in the polynomial ring $S = {\mathbb K}[x_1, \dots, x_n]$ where a set of generators are indexed by the nonempty subsets of $[n] = \{1,2,\dots,n\}$. Motivated by constructions from the theory of chip-firing on graphs we study generalizations of parking functions determined by $M^{(k)}_n$, a subideal of $M_n$ obtained by allowing only generators corresponding to subsets of $[n]$ of size at most $k$. For each $k$ the set of standard monomials of $M^{(k)}_n$, denoted $\text{stan}_n^k$, contains the usual parking functions and has interesting combinatorial properties in its own right. For general $k$ we show that elements of $\text{stan}_n^k$ can be recovered as certain vector-parking functions, which in turn leads to a formula for their count via results of Yan. The symmetric group $S_n$ naturally acts on the set $\text{stan}_n^k$ and we also obtain a formula for the number of orbits under this action. For the case of $k = n-2$ we study combinatorial interpretations of $\text{stan}_n^{n-2}$ and relate them to properties of uprooted trees in terms of root degree and surface inversions. As a corollary we obtain a combinatorial identity for $n^n$ involving Catalan numbers, reminiscent of a result of Benjamin and Juhnke. For the case of $k = 1$ we observe that the number of elements $\text{stan}_n^1$ is given by the determinant of the reduced `signless' Laplacian, which provides a weighted count for $|\text{stan}_n^1|$ in terms generalized spanning trees known as `spanning TU-subgraphs'. Our constructions naturally generalize to arbitrary graphs and lead to a number of open questions.
Schur Function Expansions and the Rational Shuffle Theorem
Published
• View Publication
• BIB
Gorsky and Negut introduced operators $Q_{m,n}$ on symmetric functions and conjectured that, in the case where $m$ and $n$ are relatively prime, the expression ${Q}_{m,n}(1)$ is given by the Hikita polynomial ${H}_{m,n}[X;q,t]$. Later, Bergeron-Garsia-Leven-Xin extended and refined the conjectures of ${Q}_{m,n}(1)$ for arbitrary $m$ and $n$ which we call the Extended Rational Shuffle Conjecture. In the special case ${Q}_{n+1,n}(1)$, the Rational Shuffle Conjecture becomes the Shuffle Conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov, which was proved in 2015 by Carlsson and Mellit as the Shuffle Theorem. The Extended Rational Shuffle Conjecture was later proved by Mellit as the Extended Rational Shuffle Theorem. The main goal of this paper is to study the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$ in certain special cases. Leven gave a combinatorial proof of the Schur function expansion of ${Q}_{2,2n+1}(1)$ and ${Q}_{2n+1,2}(1)$. In this paper, we explore several symmetries in the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$. Especially, we study the hook-shaped Schur function coefficients, and the Schur function expansion of ${Q}_{m,n}(1)$ in the case where $m$ or $n$ equals $3$.
The block spectrum of RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we analyze the length-spectrum of blocks in $γ$-structures. $γ$-structures are a class of RNA pseudoknot structures that plays a key role in the context of polynomial time RNA folding. A $γ$-structure is constructed by nesting and concatenating specific building components having topological genus at most $γ$. A block is a substructure enclosed by crossing maximal arcs with respect to the partial order induced by nesting. We show that, in uniformly generated $γ$-structures, there is a significant gap in this length-spectrum, i.e., there asymptotically almost surely exists a unique longest block of length at least $n-O(n^{1/2})$ and that with high probability any other block has finite length. For fixed $γ$, we prove that the length of the longest block converges to a discrete limit law, and that the distribution of short blocks of given length tends to a negative binomial distribution in the limit of long sequences. We refine this analysis to the length spectrum of blocks of specific pseudoknot types, such as H-type and kissing hairpins. Our results generalize the rainbow spectrum on secondary structures by the first and third authors and are being put into context with the structural prediction of long non-coding RNAs.
Polynomials from combinatorial $K$-theory
Published in Can. J. Math.-J. Can. Math. 73 (2021) 29-62
• View Publication
• BIB
We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasiLascoux basis, which is simultaneously both a $K$-theoretic deformation of the quasikey basis and also a lift of the $K$-analogue of the quasiSchur basis from quasisymmetric polynomials to general polynomials. We give positive expansions of this quasiLascoux basis into the glide and Lascoux atom bases, as well as a positive expansion of the Lascoux basis into the quasiLascoux basis. As a special case, these expansions give the first proof that the $K$-analogues of quasiSchur polynomials expand positively in multifundamental quasisymmetric polynomials of T. Lam and P. Pylyavskyy.
The second new basis is the kaon basis, a $K$-theoretic deformation of the fundamental particle basis. We give positive expansions of the glide and Lascoux atom bases into this kaon basis.
Throughout, we explore how the relationships among these $K$-analogues mirror the relationships among their cohomological counterparts. We make several 'alternating sum' conjectures that are suggestive of Euler characteristic calculations.
The $f$- and $h$-vectors of Interval Subdivisions
Published in J. Combin. Theory Ser. A 169, (2020), 105 -124
• View Publication
• BIB
The interval subdivision Int$(Δ)$ of a simplicial complex $Δ$ was introduced by Walker. We give the complete combinatorial description of the entries of the transformation matrices from the $f$- and $h$-vectors of $Δ$ to the $f$- and $h$-vectors of Int$(Δ)$. We show that if $Δ$ has non-negative $h$-vector then the $h$-polynomial of its interval subdivision has only real roots. As a consequence, we prove the Charney-Davis conjecture for Int$(Δ)$, if $Δ$ has non-negative reciprocal $h$-vector.
Hibi algebras and representation theory
Published
• View Publication
• BIB
This paper gives a survey on the relation between Hibi algebras and representation theory. The notion of Hodge algebras or algebras with straightening laws has been proved to be very useful to describe the structure of many important algebras in classical invariant theory and representation theory. In particular, a special type of such algebras introduced by Hibi provides a nice bridge between combinatorics and representation theory of classical groups. We will examine certain poset structures of Young tableaux and affine monoids, Hibi algebras in toric degenerations of flag varieties, and their relations to polynomial representations of the complex general linear group.
On uniformity of $q$-multiplicative sequences
Published
• View Publication
• BIB
We show that any $q$-multiplicative sequence which is \emph{oscillating} of order $1$, i.e.\ does not correlate with linear phase functions $e^{2πi nα}$ ($α\in \mathbb{R})$, is Gowers uniform of all orders, and hence in particular does not correlate with polynomial phase functions $e^{2πi p(n)}$ ($p \in \mathbb{R}[x]$). Quantitatively, we show that any $q$-multiplicative sequence which is of Gelfond type of order 1 is automatically of Gelfond type of all orders. Consequently, any such $q$-multiplicative sequence is a good weight for ergodic theorems. We also obtain combinatorial corollaries concerning linear patterns in sets which are described in terms of sums of digits.
Acyclic orientations with degree constraints
In this note we study the complexity of some generalizations of the notion of $st$-numbering.
Suppose that given some functions $f$ and $g$, we want to order the vertices of a graph such that every vertex $v$ is preceded by at least $f(v)$ of its neighbors and succeeded by at least $g(v)$ of its neighbors.
We prove that this problem is solvable in polynomial time if $fg\equiv 0$, but it becomes NP-complete for $f\equiv g \equiv 2$.
This answers a question of the first author posed in 2009.
A fast algorithm for solving linearly recurrent sequences
Published
• View Publication
• BIB
We present an algorithm which computes the $D^{th}$ term of a sequence satisfying a linear recurrence relation of order $d$ over a field $K$ in $O( \mathsf{M}(\bar d)\log(D) + \mathsf{M}(d)\log(d))$ operations in $K$, where $\bar d \leq d$ is the degree of the squarefree part of the annihilating polynomial of the recurrence and $\mathsf{M}$ is the cost of polynomial multiplication in $K$. This is a refinement of the previously optimal result of $O( \mathsf{M}(d)\log(D) )$ operations, due to Fiduccia.
Boolean product polynomials and Schur-positivity
We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements.
A Proof the Functional Equation Conjecture
In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties predicted by the Compositional Shuffle Conjecture remain valid for each family of Parking Functions with prescribed diagonal cars. The validity of this property was reduced to the proof of a functional equation satisfied by a Catalan family of univariate polynomials. The main result in this paper is a proof of this functional equation. The Compositional Shuffle Conjecture was proved in 2015 by Eric Carlsson and Anton Mellit [3]. Our proof of the Functional Equation removes one of the main obstacles in the completion of the Garsia-Hicks approach to the proof of the Compositional Shuffle Conjecture. At the end of this writing we formulate a few further conjectures including what remains to be proved to complete this approach.
On iterated product sets with shifts II
Published
• View Publication
• BIB
The main result of this paper is the following: for all $b \in \mathbb Z$ there exists $k=k(b)$ such that \[ \max \{ |A^{(k)}|, |(A+u)^{(k)}| \} \geq |A|^b, \] for any finite $A \subset \mathbb Q$ and any non-zero $u \in \mathbb Q$. Here, $|A^{(k)}|$ denotes the $k$-fold product set $\{a_1\cdots a_k : a_1, \dots, a_k \in A \}$.
Furthermore, our method of proof also gives the following $l_{\infty}$ sum-product estimate. For all $γ>0$ there exists a constant $C=C(γ)$ such that for any $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any $c_1,c_2 \in \mathbb Q \setminus \{0\}$, there are at most $K^C|A|^γ$ solutions to \[ c_1x + c_2y =1 ,\,\,\,\,\,\,\, (x,y) \in A \times A. \] In particular, this result gives a strong bound when $K=|A|^ε$, provided that $ε>0$ is sufficiently small, and thus improves on previous bounds obtained via the Subspace Theorem.
In further applications we give a partial structure theorem for point sets which determine many incidences and prove that sum sets grow arbitrarily large by taking sufficiently many products.
We utilise a query-complexity analogue of the polynomial Freiman-Ruzsa conjecture, due to Zhelezov and Pálvölgyi. This new tool replaces the role of the complicated setup of Bourgain and Chang, which we had previously used. Furthermore, there is a better quantitative dependence between the parameters.
Counting walks with large steps in an orthant
Published
• View Publication
• BIB
In the past fifteen years, the enumeration of lattice walks with steps takenin a prescribed set S and confined to a given cone, especially the firstquadrant of the plane, has been intensely studied. As a result, the generating functions ofquadrant walks are now well-understood, provided the allowed steps aresmall, that is $S \subset \{-1, 0,1\}^2$. In particular, having smallsteps is crucial for the definition of a certain group of bi-rationaltransformations of the plane. It has been proved that this group is finite ifand only if the corresponding generating function is D-finite (that is, it satisfies a lineardifferential equation with polynomial coefficients). This group is also thekey to the uniform solution of 19 of the 23 small step models possessing afinite group.In contrast, almost nothing is known for walks with arbitrary steps. In thispaper, we extend the definition of the group, or rather of the associatedorbit, to this general case, and generalize the above uniform solution ofsmall step models. When this approach works, it invariably yields a D-finitegenerating function. We apply it to many quadrant problems, including some infinite families.After developing the general theory, we consider the $13\ 110$ two-dimensionalmodels with steps in $\{-2,-1,0,1\}^2$ having at least one $-2$ coordinate. Weprove that only 240 of them have a finite orbit, and solve 231 of them withour method. The 9 remaining models are the counterparts of the 4 models of thesmall step case that resist the uniform solution method (and which are knownto have an algebraic generating function). We conjecture D-finiteness for their generatingfunctions, but only two of them are likely to be algebraic. We also provenon-D-finiteness for the $12\ 870$ models with an infinite orbit, except for16 of them.
Some coefficient sequences related to the descent polynomial
Published
• View Publication
• BIB
The descent polynomial of a finite $I\subseteq \mathbb{Z}^+$ is the polynomial $d(I,n)$, for which the evaluation at $n>\max(I)$ is the number of permutations on $n$ elements, such that $I$ is the set of indices where the permutation is descending. In this paper we will prove some conjectures concerning coefficient sequences of $d(I,n)$. As a corollary we will describe some zero-free regions for the descent polynomial.
Distance Distribution to Received Words in Reed-Solomon Codes
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field of $q$ elements. In this paper we obtain bounds on the following counting problem: given a polynomial $f(x)\in \mathbb{F}_q[x]$ of degree $k+m$ and a non-negative integer $r$, count the number of polynomials $g(x)\in \mathbb{F}_q[x]$ of degree at most $k-1$ such that $f(x)+g(x)$ has exactly $r$ roots in $\mathbb{F}_q$. Previously, explicit formulas were known only for the cases $m=0, 1, 2$. As an application, we obtain an asymptotic formula on the list size of the standard Reed-Solomon code $[q, k, q-k+1]_q$.
New Semifields and new MRD Codes from Skew Polynomial Rings
Published
• View Publication
• BIB
In this article we construct a new family of semifields, containing and extending two well-known families, namely Albert's generalised twisted fields and Petit's cyclic semifields (also known as Johnson-Jha semifields). The construction also gives examples of semifields with parameters for which no examples were previously known. In the case of semifields two dimensions over a nucleus and four-dimensional over their centre, the construction gives all possible examples.
Furthermore we embed these semifields in a new family of maximum rank-distance codes, encompassing most known current constructions, including the (twisted) Delsarte-Gabidulin codes, and containing new examples for most parameters.
The lemniscate tree of a random polynomial
Published
• View Publication
• BIB
To each generic complex polynomial $p(z)$ there is associated a labeled binary tree (here referred to as a "lemniscate tree") that encodes the topological type of the graph of $|p(z)|$. The branching structure of the lemniscate tree is determined by the configuration (i.e., arrangement in the plane) of the singular components of those level sets $|p(z)|=t$ passing through a critical point.
In this paper, we address the question "How many branches appear in a typical lemniscate tree?" We answer this question first for a lemniscate tree sampled uniformly from the combinatorial class and second for the lemniscate tree arising from a random polynomial generated by i.i.d. zeros. From a more general perspective, these results take a first step toward a probabilistic treatment (within a specialized setting) of Arnold's program of enumerating algebraic Morse functions.