polynomial
11239 papers tagged with this keyword
An Inverse Theorem for Certain Directional Gowers Uniformity Norms
Published
• View Publication
• BIB
Let $G$ be a finite-dimensional vector space over a prime field $\mathbb{F}_p$ with some subspaces $H_1, \dots, H_k$. Let $f \colon G \to \mathbb{C}$ be a function. Generalizing the notion of Gowers uniformity norms, Austin introduced directional Gowers uniformity norms of $f$ over $(H_1, \dots, H_k)$ as \[\|f\|_{\mathsf{U}(H_1, \dots, H_k)}^{2^k} = \mathbb{E}_{x \in G,h_1 \in H_1, \dots, h_k \in H_k} \partial_{h_1} \dots \partial_{h_k} f(x)\] where $\partial_u f(x) \colon= f(x + u) \overline{f(x)}$ is the discrete multiplicative derivative.
Suppose that $G$ is a direct sum of subspaces $G = U_1 \oplus U_2 \oplus \dots \oplus U_k$. In this paper we prove the inverse theorem for the norm \[\|\cdot\|_{\mathsf{U}(U_1, \dots, U_k, \smash[b]{\underbrace{\scriptstyle G, \dots, G}_{\scriptscriptstyle \ell}})},\] which is the simplest interesting unknown case of the inverse problem for the directional Gowers uniformity norms. Namely, writing $\|\cdot\|_{\mathsf{U}}$ for the norm above, we show that if $f \colon G \to \mathbb{C}$ is a function bounded by 1 in magnitude and obeying $\|f\|_{\mathsf{U}} \geq c$, provided $\ell < p$, one can find a polynomial $α\colon G \to \mathbb{F}_p$ of degree at most $k + \ell - 1$ and functions $g_i \colon \oplus_{j \in [k] \setminus \{i\}} G_j \to \{z \in \mathbb{C} \colon |z| \leq 1\}$ for $i \in [k]$ such that \[\Big|\mathbb{E}_{x \in G} f(x) ω^{α(x)} \prod_{i \in [k]} g_i(x_1, \dots, x_{i-1}, x_{i+1}, \dots, x_k)\Big| \geq \Big(\exp^{(O_{p,k,\ell}(1))}(O_{p,k,\ell}(c^{-1}))\Big)^{-1}.\]
The proof relies on an approximation theorem for the cuboid-counting function that is proved using the inverse theorem for Freiman multi-homomorphisms.
An efficient algorithm for deciding vanishing of Schubert polynomial coefficients
Published in Adv. Math. 383 (2021), Paper No. 107669, 38 pp
• View Publication
• BIB
Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau criterion to solve this problem, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid. In contrast, we show that computing these coefficients explicitly is #P-complete.
Ramsey properties of algebraic graphs and hypergraphs
Published
• View Publication
• BIB
One of the central questions in Ramsey theory asks how small can be the size of the largest clique and independent set in a graph on $N$ vertices. By the celebrated result of Erdős from 1947, the random graph on $N$ vertices with edge probability $1/2$, contains no clique or independent set larger than $2\log_2 N$, with high probability. Finding explicit constructions of graphs with similar Ramsey-type properties is a famous open problem. A natural approach is to construct such graphs using algebraic tools. Say that an $r$-uniform hypergraph $\mathcal{H}$ is \emph{algebraic of complexity $(n,d,m)$} if the vertices of $\mathcal{H}$ are elements of $\mathbb{F}^{n}$ for some field $\mathbb{F}$, and there exist $m$ polynomials $f_1,\dots,f_m:(\mathbb{F}^{n})^{r}\rightarrow \mathbb{F}$ of degree at most $d$ such that the edges of $\mathcal{H}$ are determined by the zero-patterns of $f_1,\dots,f_m$. The aim of this paper is to show that if an algebraic graph (or hypergraph) of complexity $(n,d,m)$ has good Ramsey properties, then at least one of the parameters $n,d,m$ must be large. In 2001, Rónyai, Babai and Ganapathy considered the bipartite variant of the Ramsey problem and proved that if $G$ is an algebraic graph of complexity $(n,d,m)$ on $N$ vertices, then either $G$ or its complement contains a complete balanced bipartite graph of size $Ω_{n,d,m}(N^{1/(n+1)})$. We extend this result by showing that such $G$ contains either a clique or an independent set of size $N^{Ω(1/ndm)}$ and prove similar results for algebraic hypergraphs of constant complexity. We also obtain a polynomial regularity lemma for $r$-uniform algebraic hypergraphs that are defined by a single polynomial, that might be of independent interest. Our proofs combine algebraic, geometric and combinatorial tools.
Investigating the exceptionality of scattered polynomials
Published
• View Publication
• BIB
Scattered polynomials over a finite field $\mathbb{F}_{q^n}$ have been introduced by Sheekey in 2016, and a central open problem regards the classification of those that are exceptional. So far, only two families of exceptional scattered polynomials are known. Very recently, Longobardi and Zanella weakened the property of being scattered by introducing the notion of L-$q^t$-partially scattered and R-$q^t$-partially scattered polynomials, for $t$ a divisor of $n$. Indeed, a polynomial is scattered if and only if it is both L-$q^t$-partially scattered and R-$q^t$-partially scattered. In this paper, by using techniques from algebraic geometry over finite fields and function fields theory, we show that the property which is is the hardest to be preserved is the L-$q^t$-partially scattered one. On the one hand, we are able to extend the classification results of exceptional scattered polynomials to exceptional L-$q^t$-partially scattered polynomials. On the other hand, the R-$q^t$-partially scattered property seems more stable. We present a large family of R-$q^t$-partially scattered polynomials, containing examples of exceptional R-$q^t$-partially scattered polynomials, which turn out to be connected with linear sets of so-called pseudoregulus type. In order to detect new examples of polynomials which are R-$q^t$-partially scattered, we introduce two different notions of equivalence preserving this property and concerning natural actions of the groups ${\rm ΓL}(2,q^n)$ and ${\rm ΓL}(2n/t,q^t)$. In particular, our family contains many examples of inequivalent polynomials, and geometric arguments are used to determine the equivalence classes under the action of ${\rm ΓL}(2n/t,q^t)$.
$F$- and $H$-Triangles for $ν$-Associahedra
Published in Combinatorial Theory 2 (2022), article 3
• View Publication
• BIB
For any northeast path $ν$, we define two bivariate polynomials associated with the $ν$-associahedron: the $F$- and the $H$-triangle. We prove combinatorially that we can obtain one from the other by an invertible transformation of variables. These polynomials generalize the classical $F$- and $H$-triangles of F.~Chapoton in type $A$. Our proof is completely new and has the advantage of providing a combinatorial explanation of the relation between the $F$- and $H$-triangle.
Matrix forms of immanant inequalities
We translate inequalities and conjectures for immanants and generalized matrix functions into inequalities in the Löwner order. These have the form of trace polynomials and generalize the inequalities from [FH, J. Math. Phys. 62 (2021), 2, 022203].
Generating series and matrix models for meandric systems with one shallow side
Published
• View Publication
• BIB
In this article, we investigate meandric systems having one shallow side: the arch configuration on that side has depth at most two. This class of meandric systems was introduced and extensively examined by I. P. Goulden, A. Nica, and D. Puder in 2020. Shallow arch configurations are in bijection with the set of interval partitions. We study meandric systems by using moment-cumulant transforms for non-crossing and interval partitions, corresponding to the notions of free and boolean independence, respectively, in non-commutative probability. We obtain formulas for the generating series of different classes of meandric systems with one shallow side, by explicitly enumerating the simpler, irreducible objects. In addition, we propose random matrix models for the corresponding meandric polynomials, which can be described in the language of quantum information theory, in particular that of quantum channels.
Symmetric decompositions, triangulations and real-rootedness
Published
• View Publication
• BIB
Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also interlacing are described. Applications yield new classes of polynomials in geometric combinatorics which afford nonnegative, real-rooted symmetric decompositions. Some interesting questions in $f$-vector theory arise from this work.
Flag Hilbert-Poincaré series of hyperplane arrangements and their Igusa zeta functions
Published
• View Publication
• BIB
We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ in terms of total partitions of the respective types. We show that a different specialization of the flag Hilbert-Poincaré series, which we call the coarse flag Hilbert-Poincaré series, exhibits intriguing nonnegativity features and - in the case of Coxeter arrangements - connections with Eulerian polynomials. For numerous classes and examples of hyperplane arrangements, we determine their (coarse) flag Hilbert-Poincaré series. Some computations were aided by a SageMath package we developed.
A combinatorial statistic for labeled threshold graphs
Published in ECA 1:3 (2021) Article S2R22, http://ecajournal.haifa.ac.il/Volume2021/ECA2021_S2A22.pdf
• View Publication
• BIB
Consider the collection of hyperplanes in $\mathbb{R}^n$ whose defining equations are given by $\{x_i + x_j = 0\mid 1\leq i<j\leq n\}$. This arrangement is called the threshold arrangement since its regions are in bijection with labeled threshold graphs on $n$ vertices. Zaslavsky's theorem implies that the number of regions of this arrangement is the sum of coefficients of the characteristic polynomial of the arrangement. In the present article we give a combinatorial meaning to these coefficients as the number of labeled threshold graphs with a certain property, thus answering a question posed by Stanley.
A determinant identity for moments of orthogonal polynomials that implies Uvarov's formula for the orthogonal polynomials of rationally related densities
Let $p_n(x)$, $n=0,1,\dots$, be the orthogonal polynomials with respect to a given density $dμ(x)$. Furthermore, let $dν(x)$ be a density which arises from $dμ(x)$ by multiplication by a rational function in $x$. We prove a formula that expresses the Hankel determinants of moments of $dν(x)$ in terms of a determinant involving the orthogonal polynomials $p_n(x)$ and associated functions $q_n(x)=\int p_n(u) \,dμ(u)/(x-u)$. Uvarov's formula for the orthogonal polynomials with respect to $dν(x)$ is a corollary of our theorem. Our result generalises a Hankel determinant formula for the case where the rational function is a polynomial that existed somehow hidden in the folklore of the theory of orthogonal polynomials but has been stated explicitly only relatively recently (see [arXiv:2101.04225]). Our theorem can be interpreted in a two-fold way: analytically or in the sense of formal series. We apply our theorem to derive several curious Hankel determinant evaluations.
Degree of Orthomorphism Polynomials over Finite Fields
Published in Finite Fields Appl. 75 (2021), 101893
• View Publication
• BIB
An orthomorphism over a finite field $\mathbb{F}_q$ is a permutation $θ:\mathbb{F}_q\mapsto\mathbb{F}_q$ such that the map $x\mapstoθ(x)-x$ is also a permutation of $\mathbb{F}_q$. The degree of an orthomorphism of $\mathbb{F}_q$, that is, the degree of the associated reduced permutation polynomial, is known to be at most $q-3$. We show that this upper bound is achieved for all prime powers $q\notin\{2, 3, 5, 8\}$. We do this by finding two orthomorphisms in each field that differ on only three elements of their domain. Such orthomorphisms can be used to construct $3$-homogeneous Latin bitrades.
Symmetric permutation invariants in some tensor products
This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on Schur functions bringing together several identities of combinatorial generating functions including that of plane partitions.
Linear Recurrences over a Finite Field with Exactly Two Periods
Published
• View Publication
• BIB
In this paper, we study the periodicity structure of finite field linear recurring sequences whose period is not necessarily maximal and determine necessary and sufficient conditions for the characteristic polynomial~\(f\) to have exactly two periods in the sense that the period of any sequence generated by~\(f\) is either one or a unique integer greater than one.
k-apices of minor-closed graph classes. I. Bounding the obstructions
Published
• View Publication
• BIB
Let $\mathcal{G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of $\mathcal{G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to $\mathcal{G}.$ We denote by $\mathcal{A}_k (\mathcal{G})$ the set of all graphs that are $k$-apices of $\mathcal{G}.$ We prove that every graph in the obstruction set of $\mathcal{A}_k (\mathcal{G}),$ i.e., the minor-minimal set of graphs not belonging to $\mathcal{A}_k (\mathcal{G}),$ has size at most $2^{2^{2^{2^{\mathsf{poly}(k)}}}},$ where $\mathsf{poly}$ is a polynomial function whose degree depends on the size of the minor-obstructions of $\mathcal{G}.$ This bound drops to $2^{2^{\mathsf{poly}(k)}}$ when $\mathcal{G}$ excludes some apex graph as a minor.
The Eulerian transformation
Published
• View Publication
• BIB
Eulerian polynomials are fundamental in combinatorics and algebra. In this paper we study the linear transformation $\mathcal{A} : \mathbb{R}[t] \to \mathbb{R}[t]$ defined by $\mathcal{A}(t^n) = A_n(t)$, where $A_n(t)$ denotes the $n$-th Eulerian polynomial. We give combinatorial, topological and Ehrhart theoretic interpretations of the operator $\mathcal{A}$, and investigate questions of unimodality and real-rootedness. In particular, we disprove a conjecture by Brenti (1989) concerning the preservation of real zeros, and generalize and strengthen recent results of Haglund and Zhang (2019) on binomial Eulerian polynomials.
Strongly connected orientation with minimum lexicographic order of indegrees
Published
• View Publication
• BIB
Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we give a positive answer to the conjecture, that is we show that the algorithm SC-PATH-REVERSAL finds a strongly connected orientation that minimizes the lexicographic order of indegrees.
On combinatorial properties and the zero distribution of certain Sheffer sequences
Published
• View Publication
• BIB
We present combinatorial and analytical results concerning a Sheffer sequence with a generating function of the form $G(x,z)=Q(z)^{x}Q(-z)^{1-x}$, where $Q$ is a quadratic polynomial with real zeros. By using the properties of Riordan matrices we address combinatorial properties and interpretations of our Sheffer sequence of polynomials and their coefficients. We also show that apart from two exceptional zeros, the zeros of polynomials with large enough degree in such a Sheffer sequence lie on the line $x=1/2+it$.
Spectra of variants of distance matrices of graphs and digraphs: a survey
Published
• View Publication
• BIB
Distance matrices of graphs were introduced by Graham and Pollack in 1971 to study a problem in communications. Since then, there has been extensive research on the distance matrices of graphs -- a 2014 survey by Aouchiche and Hansen on spectra of distance matrices of graphs lists more than 150 references. In the last ten years, variants such as the distance Laplacian, the distance signless Laplacian, and the normalized distance Laplacian matrix of a graph have been studied. After a brief description of the early history of the distance matrix and its motivating problem, this survey focuses on comparing and contrasting techniques and results for the four types of distance matrices. Digraphs are treated separately after the discussion of graphs, including discussion of similarities and differences between graphs and digraphs. New results are presented that complement existing results, including results for some the matrices on unimodality of characteristic polynomials for graphs, preservation of parameters by cospectrality for graphs, and bounds on spectral radii for digraphs.
Chromatic bounds for the subclasses of $pK_2$-free graphs
Published
• View Publication
• BIB
The concept of $χ$-binding functions for classes of free graphs has been extensively studied in the past. In this paper, we improve the existing $χ$-binding function for $\{2K_2, K_1 + C_4\}$-free graphs. Also, we find a linear $χ$-binding function for $\{2K_2, K_2+P_4\}$-free graphs. In addition, we give alternative proofs for the $χ$-binding function of $\{2K_2,gem\}$-free graphs, $\{2K_2,HVN\}$-free graphs and $\{2K_2, K_5-e\}$-free graphs. Finally, for $p\geq3$, we find polynomial $χ$-binding functions for $\{pK_2, H\}$-free graphs where $H\in \{gem, diamond, K_2+P_4, HVN, K_5-e, butterfly, gem^+, dart, K_1 + C_4, C_4, \overline{P_5}\}$.