polynomial
11184 papers tagged with this keyword
Harmonic Geometric Polynomials via Geometric Polynomials and Their Applications
The aim of this study is to show that harmonic geometric polynomials can be represented in terms of geometric polynomials. This problem was first considered by Keller [14]; however, the corresponding coefficients were not fully determined. In the present work, we provide several explicit representations of harmonic geometric polynomials in terms of geometric polynomials. Moreover, several applications of one of these representations are subsequently developed. In particular, we obtain a generalization of the classical identity for the harmonic numbers, compute an integral involving harmonic geometric polynomials and an integral involving products of harmonic geometric and geometric polynomials in terms of Bernoulli numbers. These integral formulas lead to new explicit expressions for Bernoulli numbers. In addition, we give several recurrence relations for harmonic geometric polynomials and evaluate a finite sum involving harmonic numbers and positive powers of integers.
Intersection problems for linear codes and polynomials over finite fields
This paper proves a stability result for a variation of the Erdős-Ko-Rado theorem in the context of polynomials over finite fields. Let $\mathcal F$ be a family of polynomials of degree at most $k \geq 3$ in $\mathbb F_q[X]$. Call $\mathcal F$ intersecting if for any two polynomials $f, g$ in $\mathcal F$, there exists a point $x \in \mathbb F_q$ for which $f(x) = g(x)$. An intersecting family is called a star if it consists of all polynomials $f$ with ${\rm deg } f \leq k$ such that $f(x) = y$ for some fixed points $x, y \in \mathbb F_q$. In this paper we prove that if $\mathcal F$ is an intersecting family with $|\mathcal F| \geq \frac 1{\sqrt 2} q^k + \mathcal O(q^{k-1})$, then $\mathcal F$ is contained in a star. In fact, we prove that this is still true if we also evaluate the polynomials "at infinity", which is equivalent to studying the problem for homogeneous bivariate polynomials.
The proof technique extends to a general framework for intersection problems of linear codes $C$. One has to investigate the geometry of the projective system $\mathcal S$ associated to $C$. If the hyperplanes that don't intersect $\mathcal S$ are well spread out with respect to the points not on $\mathcal S$, then one obtains stability results, showing that any intersecting family of reasonably large size is contained in a star.
Generalized Interlacing Families: New Error Bounds for CUR Matrix Decompositions
This paper introduces the concept of generalized interlacing families of polynomials, which extends the classical interlacing polynomial method to handle polynomials of varying degrees. We establish a fundamental property for these families, proving the existence of a polynomial with a desired degree whose smallest root is greater than or equal to the smallest root of the expected polynomial. Applying this framework to the generalized CUR matrix approximation problem, we derive a theoretical upper bound on the spectral norm of a residual matrix, expressed in terms of the largest root of the expected polynomial. We then explore two important special cases: the classical CUR matrix decompositions and the row subset selection problem. For classical CUR matrix decompositions, we derive an explicit upper bound for the largest root of the expected polynomial. This yields a tighter spectral norm error bound for the residual matrix compared to many existing results. Furthermore, we present a deterministic polynomial-time algorithm for solving the classical CUR problem under certain matrix conditions. For the row subset selection problem, we establish the first known spectral norm error bound. This paper extends the applicability of interlacing families and deepens the theoretical foundations of CUR matrix decompositions and related approximation problems.
Some explicit values of a $q$-multiple zeta function whose denominator power is not uniform
One of the generalizations of multiple zeta values is the $q$-version, and in the case of finite sums, they may be expressed explicitly in polynomial form. Several results have been found when the powers of the factors in the denominator are equal and when they are small. In this paper, we give explicit formulas for the case when the powers are unequal and are small.
Crystal skeleton polynomials with major index, charge and depth
We introduce a new family of polynomials, crystal skeleton polynomials, to better understand enumeration of standard Young tableaux, quasi-Yamanouchi tableaux and interactions with Gessel's expansion of a Schur function, quasi-crystals and crystal skeletons as Maas-Gariépy introduced in 2023. After developing calculus of those polynomials, we organize thoughts on major index, charge, depth, inversions with RSK correspondence and a bivariate factorial. Also, we revisit the theorem on internal zeros of fake degree polynomials by Billey--Konvalinka--Swanson (2020). These results altogether improve Gessel's expansion.
Fourier Sparsity of Delta Functions and Matching Vector PIRs
In this paper we study a basic and natural question about Fourier analysis of Boolean functions, which has applications to the study of Matching Vector based Private Information Retrieval (PIR) schemes. For integers m and r, define a delta function on {0,1}^r to be a function f: Z_m^r -> C with f(0) = 1 and f(x) = 0 for all nonzero Boolean x. The basic question we study is how small the Fourier sparsity of a delta function can be; namely how sparse such an f can be in the Fourier basis?
In addition to being intrinsically interesting and natural, such questions arise naturally when studying "S-decoding polynomials" for the known matching vector families. Finding S-decoding polynomials of reduced sparsity, which corresponds to finding delta functions with low Fourier sparsity, would improve the current best PIR schemes.
We show nontrivial upper and lower bounds on the Fourier sparsity of delta functions. Our proofs are elementary and clean. These results imply limitations on improving Matching Vector PIR schemes simply by finding better S-decoding polynomials. In particular, there are no S-decoding polynomials that can make Matching Vector PIRs based on the known matching vector families achieve polylogarithmic communication with a constant number of servers. Many interesting questions remain open.
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
The Polynomial Freiman-Ruzsa (Marton) Conjecture in Integers and Finite Fields via Spectral Stability
We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is a subgroup $H$ of index at most $K^{O(1)}$ such that $A$ is contained in at most $K^{O(1)}$ cosets of $H$. The proof is based on a new spectral stability dichotomy for the $L^4$ Fourier mass of $\mathbf{1}_A$: either this mass is concentrated on a span of size $K^{O(1)}$, or, after passing to a quotient of codimension $K^{O(1)}$, the doubling constant of the image of $A$ decreases by a definite power of $K$. Using Freiman modeling we transfer this dichotomy to cyclic groups, obtain polynomial Bogolyubov-type bounds, and deduce Marton's conjecture in $\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$. As a corollary, we also recover and extend the finite-field formulation of Marton's conjecture: in odd characteristic we obtain a direct spectral proof, and together with the characteristic-2 result of Green, Gowers, Manners, and Tao this yields a complete resolution of the conjecture for all finite fields. For context beyond finite fields, we recall their theorem for abelian groups of bounded exponent.
Inhomogeneous $q$-Whittaker Polynomials I: Duality and Expansions
We introduce a new family of symmetric polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ arising from exactly solvable lattice models associated with the quantised loop algebra $\mathcal{U}_{q}(\mathfrak{sl}_{2}[z^\pm])$. The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ unify $q$-Whittaker polynomials, inhomogeneous $q$-Whittaker polynomials, Grothendieck polynomials and their duals. Using Yang--Baxter equation, we derive Cauchy identities and combinatorial formulas for the transition coefficients.
On formulas and fractional exponents for umbral operators
This study presents a new formula for umbral operators which provides three key insights. First, it clarifies a connection between umbral calculus and iteration theory. Second, it paves the way for a definition of fractional exponents of umbral operators. And lastly, its proof synthesizes a multitude of existing operational calculus results that demonstrates a new level of effectiveness in the field. We demonstrate its application through a new and natural extension of the Laguerre polynomials.
The $cd$-index of base polytopes for connected split matroids
We compute the $cd$-index $Ψ_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed $\dim σ_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schröter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $Ψ_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $Ψ_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats.
This allows us to implement computations requiring only the counts $λ(r,h)$ and $μ(α,β,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids.
There exist infinite cube-free words over any sequence of binary alphabets
We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least $1.35^n$ cube-free words in $\mathcal{A}_1\times\mathcal{A}_2\times\dots\times \mathcal{A}_n$. We also prove that if the list of alphabets is computable then one of these words is computable and its $n$th letter can be computed in time polynomial in $n$.
Asymptotically maximal Schubitopes
We find a layered permutation $w\in S_n$ whose Schubert polynomial $\mathfrak S_w(x_1, \dots, x_n)$ has support of size asymptotically at least $n!/4^n$. This gives precise asymptotics for the growth rate of $β(n):= \max_{w\in S_n}|\mathrm{supp}(\mathfrak S_w)|$. We find a different layered permutation $w\in S_n$ whose Grothendieck polynomial has support of size asymptotically at least $n!/e^{\sqrt{2n} \cdot \ln(n)}$ and obtain more precise asymptotics for the growth rate of $β^{\mathfrak G}(n):=\max_{w\in S_n}|\mathrm{supp}(\mathfrak G_w)|$.
Permutation Flows I: Triangulations of Flow Polytopes (Research Announcement)
We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations.
This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows.
The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.
A dimer view on Fox's trapezoidal conjecture
Fox's conjecture (1962) states that the sequence of absolute values of the coefficients of the Alexander polynomial of alternating links is trapezoidal. While the conjecture remains open in general, a number of special cases have been settled, some quite recently: Fox's conjecture was shown to hold for special alternating links by Hafner, Mészáros, and Vidinas (2023) and for certain diagrammatic Murasugi sums of special alternating links by Azarpendar, Juhász, and Kálmán (2024). In this paper, we give an alternative proof of Azarpendar, Juhász, and Kálmán's aforementioned beautiful result via a dimer model for the Alexander polynomial. In doing so, we not only obtain a significantly shorter proof of Azarpendar, Juhász, and Kálmán's result than the original, but we also obtain several theorems of independent interest regarding the Alexander polynomial, which are readily visible from the dimer point of view.
Signed Mahonian Polynomials on Colored Derangements
The polynomial $\sum_{π\in W}q^{maj(π)}$ of major index over a classical Weyl group $W$ with a generating set $S$ is called the Mahonian polynomial over $W$, and also the polynomial $\sum_{π\in W}(-1)^{l(π)}q^{maj(π)}$ of major index together with sign over the group $W$ is called the signed Mahonian polynomial over the group $W$, where $l$ is the length function on $W$ defined in terms of the generating set $S$. We concern with the signed Mahonian polynomial $$\sum_{π\in D_{n}^{(c)}}(-1)^{L(π)}q^{fmaj(π)}$$ on the set $D_{n}^{(c)}$ of colored derangements in the group $G_{c,n}$ of colored permutations, where $L$ denotes the length function defined by means of a complex root system described by Bremke and Malle in $G_{c,n}$ and $fmaj$ defined by Adin and Roichman in $G_{c,n}$ represents the \textit{flag-major index}, which is a Mahonian statistic. As an application of the formula for signed Mahonian polynomials on the set of colored derangements, we will derive a formula to count colored derangements of even length in $G_{c,n}$ when $c$ is an even number. Finally, we conclude by providing a formula for the difference between the number of derangements of even and odd lengths in $G_{c,n}$ for every positive integer $c$, regardless of whether c is odd or even.
Atomic decomposition for an affine Weyl group of type $G_2$
We show that the elements of the Kazhdan--Lusztig basis of the spherical Hecke algebra of type $G_2$ have an atomic decomposition. As a by-product, we obtain a new algorithm to compute generalized Kostka--Foulkes polynomials in type $G_2$.
Counting Lattice Points in Generalized Permutohedra From A to B
We derive a formula for the number of lattice points in type B generalized permutohedra, providing a concise alternative to the formula obtained recently by Eur, Fink, Larson, and Spink as a result from a study of delta-matroids. Our approach builds upon the existing framework and techniques introduced by Postnikov in his work on type A generalized permutohedra, a family of polytopes interconnected with many mathematical concepts such as matroids and Weyl groups. In particular, we express the number of lattice points in type B generalized permutohedra in terms of Postnikov's notion of G-draconian sequences, from which their Ehrhart polynomials and volume formula follow as consequences.
On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
Previous work of the second author and Wolf showed that given a set $A\subseteq \mathbb{F}_p^n$ of bounded $\textrm{VC}_2$-dimension, there is a high rank quadratic factor $\mathcal{B}$ of bounded complexity such that $A$ is approximately equal to a union of atoms of $\mathcal{B}$. That proof yielded bounds of tower type on the linear and quadratic complexities. It was later shown by the same authors that the quadratic complexity can be improved to logarithmic, however that proof provided no improvement on the linear component. In this paper we prove that the bound on the linear complexity can be improved to a triple exponential in the case of linear rank functions, and a quadruple exponential for polynomial rank functions of higher degree.
Our strategy is based on the one developed by Gishboliner, Wigderson, and Shapira to prove the analogous result in the hypergraph setting. Step 1 is to prove a``cylinder" version of the quadratic arithmetic regularity lemma, which says that given a set $A\subseteq G=\mathbb{F}_p^n$, there is a partition of $G$ into atoms of (possibly distinct) quadratic factors of high rank and bounded complexity, so that most atoms in the partition are uniform with respect to the set $A$, in the sense of a certain local $U^3$ norm. Step 2 is to show that if $A$ has bounded $\textrm{VC}_2$-dimension, then it has density near $0$ or $1$ on all atoms which are uniform in the sense of Step 1. Step 1 relies on a recent local version of the $U^3$ inverse theorem due to Prendiville, and is necessarily phrased in terms of a local $U^3$ norm implicit in that paper. On the other hand, Step 2 relies on a counting lemma for a different local $U^3$ due to Terry and Wolf, which we prove here is approximately the same as the local $U^3$ norm used in Step 1.
Free boundary q-Whittaker and Hall-Littlewood processes
We study the free boundary $q$-Whittaker and Hall--Littlewood processes, two probability measures on sequences of partitions. We prove that a certain observable of the free boundary $q$-Whittaker process exhibits a $(q,t)$ symmetry after a random shift, generalizing a previous result of Imamura, Mucciconi, and Sasamoto, and an extension of that result due to the first author. Our proof is completely different, and as part of our proof, we find contour integral formulas for the free boundary $q$-Whittaker process. We also show a matching between certain observables in the free boundary Hall--Littlewood process and a quasi-open six vertex model, and explain how work of Finn and Vanicat gives an evaluation of a bounded sum over skew Hall--Littlewood functions as a rectangular Koornwinder polynomial.