polynomial
11184 papers tagged with this keyword
On the degree of polynomials computing square roots mod p
For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$.
When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$.
We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$.
In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.
The $A_α$-spectra of graph operations based on generalized (edge) corona
Let $G, H_{i}$ be simple graphs with $n=|V(G)|$, $m=|E(G)|$ and $i=1, 2, \ldots, n(m)$. The generalized corona, denoted $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{n}$ and joining the $i$th vertex of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq n$. The generalized edge corona, denoted by $G[H_i]_1^m$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{m}$ and then joining two end-vertices of the $i$th edge of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq m$. For any real $α\in[0,1]$, the matrix $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree matrix of a graph $G$, respectively. In this paper, we obtain the $A_α$-characteristic polynomial of $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, which extends some known results. Meanwhile, we determine the $A_α$-characteristic polynomial of $G[H_i]_1^m$ and get the $A_α$-spectrum of $G[H_i]_1^m$ when $G$ and $H_i$ are regular graphs for $1\le i\le m$. As an application of the above conclusions, we construct infinitely many pairs of non-regular $A_α$-cospectral graphs.
Bender-Knuth involutions for types B and C
Published in Electron. J. Comb. 31(2) (2024) P2.59
• View Publication
• BIB
We show that the combinatorial definitions of King and Sundaram of the symmetric polynomials of types B and C are indeed symmetric, in the sense that they are invariant by the action of the Weyl groups. Our proof is combinatorial and inspired by Bender and Knuth's classic involutions for type A.
Polynomial realizations of natural Hopf algebras of nonsymmetric operads
The natural Hopf algebra $\mathcal{N} \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We introduce new bases of these Hopf algebras deriving from free operads via new lattice structures on their basis elements. We construct polynomial realizations of $\mathcal{N} \mathcal{O}$ by using alphabets of variables endowed with unary and binary relations. By specializing our polynomial realizations, we discover links between $\mathcal{N} \mathcal{O}$ and the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the Connes-Kreimer Hopf algebra of Foissy, the Faà di Bruno Hopf algebra and its deformations, and the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon.
Shuffle series
Published in J Algebr Comb 61, 19 (2025)
• View Publication
• BIB
We apply operad theory to enumerative combinatorics in order to count the number of shuffles between series-parallel posets and chains. We work with three types of shuffles, two of them noncommutative, for example a left deck-divider shuffle $A$ between $P$ and $Q$ is a shuffle of the posets in which, on every maximal chain $m\subset A$, the minimum and maximum elements belong to $P$ and no two consecutive points of $Q$ appear consecutively on $m$. The number of left deck-divider shuffles of $P$ and $Q$ differ from the number of left deck-divider shuffles of $Q$ and $P$.
The generating functions whose $n$ coefficient counts shuffles between a poset $P$ and $1<2<\cdots<n$ are called shuffle series. We explain how shuffle series are isomorphic to order series as algebras over the operad of series parallel posets.
The weak and strict order polynomials are well known in the literature. At the level of generating series, with the theory of sets with a negative number of elements, we introduce a third order series and prove a theorem in the style of Stanley's Reciprocity Theorem compatible with the structure of algebras over the operad of finite posets.
We conclude by describing the relationship of our work with the combinatorial properties of the operadic tensor product of free trees operads.
A new shift operator-based polynomial method in additive combinatorics
We introduce a new form of the polynomial method based on what we call "shift operators," which we use to give efficient and intuitive new proofs of results previously shown using a wide range of polynomial methods, including Alon's Combinatorial Nullstellensatz and the Croot-Lev-Pach method. We end by discussing some potential new directions in which the tools introduced here may be fruitfully applied.
Alternating patterns in commutator monomials
Considering commutator monomials of the non-commutative associative variables $X_1,\ldots,X_n$; we determine the maximal possible number of alternating associative monomials in their noncommutative polynomial expansions. This is achieved by replacing generating functions with polytope sequences, which turn out to be finitely generated in some sense.
From Trees to Polynomials and Back Again: New Capacity Bounds with Applications to TSP
We give simply exponential lower bounds on the probabilities of a given strongly Rayleigh distribution, depending only on its expectation. This resolves a weak version of a problem left open by Karlin-Klein-Oveis Gharan in their recent breakthrough work on metric TSP, and this resolution leads to a minor improvement of their approximation factor for metric TSP. Our results also allow for a more streamlined analysis of the algorithm.
To achieve these new bounds, we build upon the work of Gurvits-Leake on the use of the productization technique for bounding the capacity of a real stable polynomial. This technique allows one to reduce certain inequalities for real stable polynomials to products of affine linear forms, which have an underlying matrix structure. In this paper, we push this technique further by characterizing the worst-case polynomials via bipartitioned forests. This rigid combinatorial structure yields a clean induction argument, which implies our stronger bounds.
In general, we believe the results of this paper will lead to further improvement and simplification of the analysis of various combinatorial and probabilistic bounds and algorithms.
Noncommutative invariants of dihedral groups
We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.
Schröder trees, antipode formulas and non-commutative probability
We obtain a cancellation-free formula, represented in terms of Schröder trees, for the antipode in the double tensor Hopf algebra introduced by Ebrahimi-Fard and Patras. We apply the antipode formula in the context of non-commutative probability and recover cumulant-moment formulas as well as a new expression for Anshelevich's free Wick polynomials in terms of Schröder trees.
Monomial expansions for $q$-Whittaker and modified Hall-Littlewood polynomials
We consider the monomial expansion of the $q$-Whittaker polynomials given by the fermionic formula and via the inv and quinv statistics. We construct bijections between the parametrizing sets of these three models which preserve the $x$- and $q$-weights, and which are compatible with natural projection and branching maps. We apply this to the limit construction of local Weyl modules and obtain a new character formula for the basic representation of $\widehat{\mathfrak{sl}_n}$. Finally, we indicate how our main results generalize to the modified Hall-Littlewood case.
Reconfiguration of basis pairs in regular matroids
In recent years, combinatorial reconfiguration problems have attracted great attention due to their connection to various topics such as optimization, counting, enumeration, or sampling. One of the most intriguing open questions concerns the exchange distance of two matroid basis sequences, a problem that appears in several areas of computer science and mathematics. In 1980, White proposed a conjecture for the characterization of two basis sequences being reachable from each other by symmetric exchanges, which received a significant interest also in algebra due to its connection to toric ideals and Gröbner bases. In this work, we verify White's conjecture for basis sequences of length two in regular matroids, a problem that was formulated as a separate question by Farber, Richter, and Shan and Andres, Hochstättler, and Merkel. Most of previous work on White's conjecture has not considered the question from an algorithmic perspective. We study the problem from an optimization point of view: our proof implies a polynomial algorithm for determining a sequence of symmetric exchanges that transforms a basis pair into another, thus providing the first polynomial upper bound on the exchange distance of basis pairs in regular matroids. As a byproduct, we verify a conjecture of Gabow from 1976 on the serial symmetric exchange property of matroids for the regular case.
Spectral properties of random graphs with fixed equitable partition
We define a graph to be $S$-regular if it contains an equitable partition given by a matrix $S$. These graphs are generalizations of both regular and bipartite, biregular graphs. An $S$-regular matrix is defined then as a matrix on an $S$-regular graph consistent with the graph's equitable partition. In this paper we derive the limiting spectral density for large, random $S$-regular matrices as well as limiting functions of certain statistics for their eigenvector coordinates as a function of eigenvalue. These limiting functions are defined in terms of spectral measures on $S$-regular trees. In general, these spectral measures do not have a closed-form expression; however, we provide a defining system of polynomials for them. Finally, we explore eigenvalue bounds of $S$-regular graph, proving an expander mixing lemma, Alon-Bopana bound, and other eigenvalue inequalities in terms of the eigenvalues of the matrix $S$.
On the trace-zero doubly stochastic matrices of order 5
Published in Linear Algebra and its Applications, 2024
• Search Publication
We propose a graph theoretic approach to determine trace of product of two permutation matrices through a weighted digraph representation of the permutation matrices. Consequently, we derive trace-zero doubly stochastic (DS) matrices of order $5$ whose $k$-th power is also a trace-zero DS matrix for $k\in\{2,3,4,5\}$. Then, we determine necessary conditions for the coefficients of a generic polynomial of degree $5$ to be realizable as the characteristic polynomial of a trace-zero DS matrix of order $5$. Finally, we approximate the eigenvalue region of trace-zero DS matrices of order $5.$
The combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids
Ferroni and Larson gave a combinatorial interpretation of the braid Kazhdan-Lusztig polynomials in terms of series-parallel matroids. As a consequence, they confirmed an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with odd rank, as conjectured by Elias, Proudfoot, and Wakefield. Based on Ferroni and Larson's work, we further explore the combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids. The main results of this paper include an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with even rank, a simple expression for the number of simple series-parallel matroids of rank k + 1 on 2k elements, and explicit formulas for the leading coefficients of inverse Kazhdan-Lusztig polynomials of braid matroids. The binomial identity for the Abel polynomials plays an important role in the proofs of these formulas.
A Whitney polynomial for hypermaps
We introduce a Whitney polynomial for hypermaps and use it to generalize the results connecting the circuit partition polynomial to the Martin polynomial and the results on several graph invariants.
Posets for $F$-polynomials in cluster algebras from surfaces
We prove a simple formula for arbitrary cluster variables in the marked surfaces model. As part of the formula, we associate a labeled poset to each tagged arc, such that the associated $F$-polynomial is a weighted sum of order ideals. Each element of the poset has a weight, and the weight of an ideal is the product of the weights of the elements of the ideal. In the unpunctured case, the weight on each element is a single $\hat{y}_i$, in the usual sense of principal coefficients. In the presence of punctures, some elements may have weights of the form $\hat{y}_i/\hat{y}_j$. Our search for such a formula was inspired by the Fundamental Theorem of Finite Distributive Lattices combined with work of Gregg Musiker, Ralf Schiffler, and Lauren Williams that, in some cases, organized the terms of the $F$-polynomial into a distributive lattice. The proof consists of a simple and poset-theoretically natural argument in a special case, followed by a hyperbolic geometry argument using a cover of the surface to prove the general case.
On polynomials of small range sum
In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characterise all of these polynomials having degree exactly $\frac{p-1}{2}$, if $p$ is large enough. As a consequence, for the same set of primes we re-establish the characterisation of sets with few determined directions due to Lovász and Schrijver using discrete Fourier analysis.
Root and weight semigroup rings for signed posets
We consider a pair of semigroups associated to a signed poset, called the root semigroup and the weight semigroup, and their semigroup rings, $R_P^\mathrm{rt}$ and $R_P^\mathrm{wt}$, respectively.
Theorem 4.1.5 gives generators for the toric ideal of affine semigroup rings associated to signed posets and, more generally, oriented signed graphs. These are the subrings of Laurent polynomials generated by monomials of the form $t_i^{\pm 1},t_i^{\pm 2},t_i^{\pm 1}t_j^{\pm 1}$. This result appears to be new and generalizes work of Boussicault, Féray, Lascoux and Reiner, of Gitler, Reyes, and Villarreal, and of Villarreal. Theorem 4.2.12 shows that strongly planar signed posets $P$ have rings $R_P^\mathrm{rt}$, $R_{P^{\scriptscriptstyle\vee}}$ which are complete intersections, with Corollary 4.2.20 showing how to compute $Ψ_P$ in this case. Theorem 5.2.3 gives a Gröbner basis for the toric ideal of $R_P^{\mathrm{wt}}$ in type B, generalizing Proposition 6.4 of Féray and Reiner. Theorems 5.3.10 and 5.3.1 give two characterizations (via forbidden subposets versus via inductive constructions) of the situation where this Gröbner basis gives a complete intersection presentation for its initial ideal, generalizing Theorems 10.5 and 10.6 of Féray and Reiner.
Deformations and q-convolutions. Old and new results
This paper is the survey of some of our results related to $q$-deformations of the Fock spaces and related to $q$-convolutions for probability measures on the real line $\mathbb{R}$. The main idea is done by the combinatorics of moments of the measures and related $q$-cumulants of different types. The main and interesting $q$-convolutions are related to classical continuous (discrete) $q$-Hermite polynomial. Among them are classical ($q=1$) convolutions, the case $q=0$, gives the free and Boolean relations, and the new class of $q$-analogue of classical convolutions done by Carnovole, Koornwinder, Biane, Anshelovich, and Kula. The paper contains many questions and problems related to the positivity of that class of $q$-convolutions. The main result is the construction of Brownian motion related to $q$-Discrete Hermite polynomial of type I.