polynomial
11432 papers tagged with this keyword
The matroid stratification of the Hilbert scheme of points on P^1
Published
• View Publication
• BIB
Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications.
In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(\mathbb{P}^1)^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(\mathbb{A}^2)^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.
Optimal group testing
Published
• View Publication
• BIB
In the group testing problem the aim is to identify a small set of $k\sim n^θ$ infected individuals out of a population size $n$, $0<θ<1$. We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result iff at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information-theoretic/algorithmic phase transition $\minf$ for non-adaptive group testing, where all tests are conducted in parallel. Thus, with more than $\minf$ tests the infected individuals can be identified in polynomial time \whp, while learning the set of infected individuals is information-theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.
Real Morse polynomials of degrees 5 and 6
Published
• View Publication
• BIB
A real polynomial $p$ of degree $n$ is called a Morse polynomial if its derivative has $n-1$ pairwise differentreal roots and values of $p$ in these roots (critical values) are also pairwise different. The plot of such polynomial is called a "snake". By enumerating critical points and critical values in the increasing order we construct a permutation $a_1,\ldots,a_{n-1}$, where $a_i$ is the number of polynomial's value in $i$-th critical point. This permutation is called the \emph{passport} of the snake (polynomial). In this work for Morse polynomials of degrees 5 and 6 we describe the partition of the coefficient space into domains of constant passport.
Eulerian polynomials for subarrangements of Weyl arrangements
Published in Advances in Applied Mathematics, 120 (2020)
• View Publication
• BIB
Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the Ehrhart quasi-polynomial of the fundamental alcove. The method can also be extended to define two types of deformed Weyl subarrangements containing the families of the extended Shi, Catalan, Linial arrangements and to compute their characteristic quasi-polynomials. We obtain several known results in the literature as specializations, including the formula of the characteristic polynomial of $\mathcal{A}$ via Ehrhart theory due to Athanasiadis (1996), Blass-Sagan (1998), Suter (1998) and Kamiya-Takemura-Terao (2010); and the formula relating the number of coweight lattice points in the fundamental parallelepiped with the Lam-Postnikov Eulerian polynomial due to the third author.
Arithmetic on Balanced Parentheses: The case of Ordered Motzkin Words
We establish a total lexicographical order on the set of Motzkin words. Elements are ordered similarly to Natural Numbers in accordance with known rules (axioms). As a result, we were able to obtain arithmetic and logical operations on the elements of the ordered sequence, Motzkin Row. This sequence consists of balanced brackets without leading zeros, with the exception of the initial word "0". It is the word "0" as well as the alphabetical symbol "0" that are analogues of numeric zero in the corresponding operations. Logical operations allow you to navigate Motzkin Row. Operations on words are accompanied by index equations, index polynomials.
The Hermite-Sylvester criterion for real-rooted polynomials
Published in The Mathematical Gazette 105 (2021), 122--125
• View Publication
• BIB
A polynomial is real-rooted if all of its roots are real. This note gives a simple proof of the Hermite-Sylvester theorem that a polynomial $f(x) \in {\mathbf R}[x]$ is real-rooted if and only if an associated quadratic form is positive semidefinite.
On eigenvalue multiplicity in signed graphs
Published
• View Publication
• BIB
For signed graphs we provide a cubic polynomial upper bound on the multiplicity of its eigenvalues. We show that this bound is sharp by providing examples of signed graphs in which it is attained. We also discuss particular cases in which the bound can be decreased.
Statistical physics approaches to Unique Games
Published
• View Publication
• BIB
We show how two techniques from statistical physics can be adapted to solve a variant of the notorious Unique Games problem, potentially opening new avenues towards the Unique Games Conjecture. The variant, which we call Count Unique Games, is a promise problem in which the "yes" case guarantees a certain number of highly satisfiable assignments to the Unique Games instance. In the standard Unique Games problem, the "yes" case only guarantees at least one such assignment. We exhibit efficient algorithms for Count Unique Games based on approximating a suitable partition function for the Unique Games instance via (i) a zero-free region and polynomial interpolation, and (ii) the cluster expansion. We also show that a modest improvement to the parameters for which we give results would refute the Unique Games Conjecture.
Improved bounds on the size of the smallest representation of relation algebra $32_{65}$
Published
• View Publication
• BIB
In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$.
In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.
Proof of two supercongruences by the Wilf-Zeilberger method
Published in Journal of symbolic computation(2021)
• View Publication
• BIB
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv p\left(\frac{-1}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\left(\frac14\right)\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}(x)$ are the Euler polynomials. This congruence confirms a conjecture of Sun \cite[(2.18)]{sun-numb-2019} with $n=1$.
Roots of descent polynomials and an algebraic inequality on hook lengths
Published
• View Publication
• BIB
We prove a conjecture by Diaz-Lopez et al. that bounds the roots of descent polynomials. To do so, we prove an algebraic inequality, which we refer to as the "Slice and Push Inequality." This inequality compares expressions that come from Naruse's hook-length formula for the number of standard Young tableaux of a skew shape.
Crossings over permutations avoiding some pairs of patterns of length three
Published in Journal of Integer Sequences, Vol. 23 (2020), Article 20.6.3
• Search Publication
In this paper, we compute the distributions of the statistic number of crossings over permutations avoiding one of the pairs $\{321,231\}$, $\{123,132\}$ and $\{123,213\}$. The obtained results are new combinatorial interpretations of two known triangles in terms of restricted permutations statistic. For other pairs of patterns of length three, we find relationships between the polynomial distributions of the crossings over permutations that avoid the pairs containing the pattern 231 on the first hand and the pattern 312 on the other hand.
On the spectral reconstruction problem for digraphs
The idiosyncratic polynomial of a graph $G$ with adjacency matrix $A$ is the characteristic polynomial of the matrix $ A + y(J-A-I)$, where $I$ is the identity matrix and $J$ is the all-ones matrix. It follows from a theorem of Hagos (2000) combined with an earlier result of Johnson and Newman (1980) that the idiosyncratic polynomial of a graph is reconstructible from the multiset of the idiosyncratic polynomial of its vertex-deleted subgraphs. For a digraph $G$ with adjacency matrix $A$, we define its idiosyncratic polynomial as the characteristic polynomial of the matrix $ A + y(J-A-I)+zA^{T}$. By forbidding two fixed digraphs on three vertices as induced subdigraphs, we prove that the idiosyncratic polynomial of a digraph is reconstructible from the multiset of the idiosyncratic polynomial of its induced subdigraphs on three vertices. As an immediate consequence, the idiosyncratic polynomial of a tournament is reconstructible from the collection of its $3$-cycles. Another consequence is that all the transitive orientations of a comparability graph have the same idiosyncratic polynomial.
Whittaker functions from motivic Chern classes
Published
• View Publication
• BIB
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on localization in equivariant K theory, and require a geometric interpretation of how the Hecke dual (or inverse) of a D-L operator acts on the class of a point. We prove that the Hecke dual operators give Grothendieck-Serre dual classes of the motivic classes, a result which might be of independent interest. In an Appendix joint with Dave Anderson we show that if the line bundle is trivial, we recover a generalization of a classical formula by Kostant, Macdonald, Shapiro and Steinberg for the Poincar{é} polynomial of $G/B$; the generalization we consider is due to Akyıldız and Carrell and replaces $G/B$ by any smooth Schubert variety.
A study on Vandermonde-like polynomial matrices
A new class of structured matrices is presented and a closed form formula for their determinant is established. This formula has strong connections with the one for Vandermonde matrices.
Random plane partitions and corner distributions
Published
• View Publication
• BIB
We explore some probabilistic applications arising in connections with $K$-theoretic symmetric functions. For instance, we determine certain corner distributions of random lozenge tilings and plane partitions. We also introduce some distributions that are naturally related to the corner growth model. Our main tools are dual symmetric Grothendieck polynomials and normalized Schur functions.
qFunctions -- A Mathematica package for $q$-series and partition theory applications
Published
• View Publication
• BIB
We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on $q$-differential, $q$-shift equations and recurrences, such as switching between these forms, finding the greatest common divisor of recurrences, and formal substitutions. Here, we also extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate the recurrence system creation of the weighted words approach as well as a scheme on cylindric partitions.
Bivariate systems of polynomial equations with roots of high multiplicity
Published
• View Publication
• BIB
Given a bivariate system of polynomial equations with fixed support sets $A, B$ it is natural to ask which multiplicities its solutions can have. We prove that there exists a system with a solution of multiplicity $i$ for all $i$ in the range $\{0,1,...,|A|-|\mbox{conv}(A)\ominus B|-1\}$, where $A\ominus B$ is the set of all integral vectors that shift B to a subset of $A$. As an application of this result we classify all pairs $(A, B)$ such that the system supported at $(A, B)$ does not have a solution of multiplicity $3$.
On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices
Published
• View Publication
• BIB
We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously
Permutations encoding the local shape of level curves of real polynomials via generic projections
Published in Annales de l'Institut Fourier 2022
• View Publication
• BIB
The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we show that if the chosen projection avoids the bitangents and the inflectional tangencies to the small enough level curves of a real bivariate polynomial function near a strict local minimum at the origin, then the asymptotic Poincare-Reeb tree becomes a complete binary tree and its vertices become endowed with a total order relation. Such a projection direction is called generic. We prove that for any such asymptotic family of level curves, there are finitely many intervals on the real projective line outside of which all the directions are generic with respect to all the curves in the family. If the choice of the direction of projection is generic, then the local shape of the curves can be encoded in terms of alternating permutations, that we call snakes. The snakes offer an effective description of the local geometry and topology, well-suited for further computations.