polynomial
11184 papers tagged with this keyword
On an analogue of BRK-type sets in finite fields
A Besicovitch-Rado-Kinney (BRK) set in $\mathbb{R}^n$ contains a hypersphere of every radius. In $\mathbb{F}_q^n$, BRK-type sets of degree $\ell$ analogously contain a family of $(n-1)$-dimensional surfaces, parametrized by a dilation factor and determined by a fixed homogeneous polynomial of degree $\ell$. We define $(n,d)$-BRK-type sets of degree $\ell$, which contain a family of $d$-dimensional sets parametrized by an $(n-d)$-dimensional dilation factor and determined by fixed homogeneous polynomials of degree $\ell$. We use the polynomial method to obtain a lower bound $|S| \gtrsim_{n, \ell} q^n$ on $(n,d)$-BRK-type sets $S$ of degree $\ell$. We obtain an improved lower bound $|S| \geq \frac{(q-1)^n}{(\ell + 1 - 2\ell/q)^n}$ by implementing the method of multiplicities; this is the same bound obtained by Trainor on BRK-type sets of degree $\ell$, and we obtain this bound independently of $d$.
Improved bound for the $k$-variate Elekes--Rónyai theorem
Let $f\in \mathbb{R}[x_1,\ldots, x_k]$, for $k\ge 2$. For any finite sets $A_1,\ldots, A_k\subset \mathbb{R}$, consider the set $$ f(A_1,\ldots, A_k):=\{f(a_1,\ldots, a_k)\mid (a_1,\cdots,a_k)\in A_1\times\cdots \times A_k\}, $$ that is, the image of $A_1\times \cdots\times A_k$ under $f$. Extending a theorem of Elekes and Rónyai, which deals with the case $k=2$, and a result of Raz, Sharir, and De Zeeuw, dealing with the case $k=3$, it was proved Raz and Shem Tov, that for every choice of finite $A_1,\ldots, A_k\subset \mathbb{R}$, each of size $n$, one has \begin{equation}\label{RSbound} |f(A_1,\ldots,A_k)|=Ω(n^{3/2}), \end{equation} unless $f$ has some degenerate special form.
In this paper, we introduce the notion of a {\it rank} of a $k$-variate polynomial $f$, denoted as ${\rm rank}(f)$. Letting $r={\rm rank}(f)$, we prove that \begin{equation} |f(A_1,\ldots,A_k)|=Ω\left(n^{\frac{5r-4}{2r}-\varepsilon}\right), \end{equation} for every $\varepsilon>0$, where the constant of proportionality depends on $\varepsilon$ and on ${\rm deg}(f)$. This improves the previous lower bound, for polynomials $f$ for which ${\rm rank}(f)\ge 3$.
We present an application of our main result, to lower bound the number of distinct $d$-volumes spanned by $(d+1)$-tuples of points lying on the moment curve in $\mathbb{R}^d$.
A random polynomial with multiplicative coefficients is almost surely irreducible
Assume that the Riemann hypothesis holds for Dedekind zeta functions. Under this assumption, we prove that a degree $d$ polynomial with random multiplicative $\pm1$ coefficients is irreducible in $\mathbb{Z}[x]$ with probability $1-O(d^{-1/2+\varepsilon})$.
Polynomials Arising from Sorted Binomial Coefficients
The triangle of sorted binomial coefficients $\left\langle {n \atop k} \right\rangle = \binom{n}{\lfloor \frac{n - k}{2} \rfloor}$ for $0 \leq k \leq n$ has appeared several times in recent combinatorial works but has evaded dedicated study. Here we refer to $\left\langle {n \atop k} \right\rangle$ as the Pascalian numbers and unify the various perspectives of $\left\langle {n \atop k} \right\rangle$. We then view each row of the $\left\langle {n \atop k} \right\rangle$ triangle as the coefficients of the $n$th Pascalian polynomial, which we denote $P_n(z)$. We derive recursions, formulae, and bounds on $P_n(z)$'s roots in $\mathbb{C}$, and characterize the asymptotics of these roots. We show the roots of $P_n(z)$ converge uniformly to a curve $\partial Γ\subset \mathbb{C}$ and asymptotically fill the curve densely. We conclude with a discussion of the reducibility and Galois groups of $P_n(z)$. Our work has natural connections to the truncated binomial polynomials, asymptotic analysis, and well-known integer families.
Pure minimal injective resolutions and perfect modules for lattices
In a recent article, Iyama and Marczinzik showed that a lattice is distributive if and only if the incidence algebra is Auslander regular, giving a new connection between homological algebra and lattice theory. In this article we study when a distributive lattice has a pure minimal injective coresolution, a notion first introduced and studied in a work of Ajitabh, Smith and Zhang. We will see that this problem naturally leads to studying when certain antichain modules are perfect modules. We give a classification of perfect antichain modules under the assumption that their canonical antichain resolution is minimal and use this to give a completion classification in lattice theoretic terms of incidence algebras of distributive lattices with pure minimal injective coresolution. We use our results to answer a question raised by Ajitabh, Smith and Zhang by showing that there exist Auslander-Gorenstein polynomial identity rings without a pure injective coresolution.
Polynomial identities for quivers via incidence algebras
We show that the path algebra of a quiver satisfies the same polynomial identities of an algebra of matrices, if any. In particular, the algebra of nxn matrices is PI-equivalent to the path algebra of the oriented cycle with n vertices.
Zeros of Stern polynomials in the complex plane
The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(λ)$ by Klavžar et. al. by defining $S_0(λ) = 0$, $S_1(λ) = 1$, and $$S_{2n}(λ) = λS_n(λ),\quad S_{2n+1}(λ) = S_n(λ) + S_{n+1}(λ).$$ Dilcher et. al. conjectured that all roots of $S_n(λ)$ lie in the half-plane $\{\operatorname{Re} w < 1\}$. We make partial progress on this conjecture by proving that $\{|w-2| \leq 1\}\subseteq\mathbb C$ does not contain any roots of $S_n(λ)$. Our proof uses the Parabola Theorem for convergence of complex continued fractions. As a corollary, we establish a conjecture of Ulas and Ulas by showing that $S_p(λ)$ is irreducible in $\mathbb Z[λ]$ whenever $p$ is a positive prime.
Arithmetic Circuits and Neural Networks for Regular Matroids
We prove that there exist uniform $(+,\times,/)$-circuits of size $O(n^3)$ to compute the basis generating polynomial of regular matroids on $n$ elements. By tropicalization, this implies that there exist uniform $(\max,+,-)$-circuits and ReLU neural networks of the same size for weighted basis maximization of regular matroids. As a consequence in linear programming theory, we obtain a first example where taking the difference of two extended formulations can be more efficient than the best known individual extended formulation of size $O(n^6)$ by Aprile and Fiorini. Such differences have recently been introduced as virtual extended formulations. The proof of our main result relies on a fine-tuned version of Seymour's decomposition of regular matroids which allows us to identify and maintain graphic substructures to which we can apply a local version of the star-mesh transformation.
On Abel's Identity
We provide a natural duality that matches, in reverse order, the coefficients of the characteristic polynomial of the Maurer-Cartan of the Wronskian matrix with the coefficients of the original differential equation. Abel's identity is recovered as a corollary.
An identity involving counts of binary matrices
In the context of generating uniform random contingency tables with pre-specified marginals, the number of (binary) matrices with given row- and column-sums is a well-studied object in the literature. We will denote this number by $N(p,q)$, where $p$ and $q$ are the vectors of row- and column-sums. The existing literature is mainly focused on computing or approximating $N(p,q)$. In this paper, we present two identities for polynomials whose coefficients depend on the $N(p,q)$ and explore some consequences.
Hermite-Jensen limits and $d$ log-concavity of $q$-multinomials
In 1878, Sylvester proved Cayley's Conjecture that the coefficients of the Gaussian $q$-binomial coefficients are unimodal. In 1990, O'Hara famously discovered a constructive combinatorial proof, and in 2013, Pak and Panova proved the stronger property of strict unimodality for sufficiently large parameters. We move from unimodality to log-concavity and higher degree $ d$ log-concavity, known as Turán inequalities. Although $q$-binomial coefficients are not always log- or degree $d$ log-concave, it's natural to ask to what extent these inequalities hold. In infinite families with limiting aspect ratio bounded away from zero and one, we prove that these stronger inequalities hold uniformly, for each $C>0,$ on the central window $|m-μ|< Cσ,$ where $μ$ and $σ$ are the mean and standard deviation of the normalized distribution. More generally, we obtain the same conclusions for $q$-multinomial coefficients. These results stem from the asymptotic behavior of normalized Jensen polynomials, which are approximated by Hermite polynomials.
Percolation on graphs of polynomial growth is local: analyticity, supercritical sharpness, isoperimetry
We investigate locality of the supercritical regime for Bernoulli percolation on transitive graphs with polynomial growth, by which we mean the following. Take a transitive graph of polynomial growth $\mathscr{G}$ satisfying $p_c(\mathscr{G})<1$ and take $p>p_c(\mathscr{G})$. Let $\mathscr{H}$ be another such graph and assume that $\mathscr{G}$ and $\mathscr{H}$ have the same ball of radius $r$ for $r$ large. We prove that various quantities regarding percolation of parameter close to $p$ on $\mathscr{H}$ can be well understood from $(\mathscr{G},p)$ alone.
This includes uniform versions of supercritical sharpness as well as the Kesten-Zhang bound on the probability of observing a large finite cluster: the constants involved can be chosen to depend only on $(\mathscr{G},p)$. We also prove that $θ_\mathscr{H}$ is an analytic function of $p$ in the whole supercritical regime and that, for a suitable $\varepsilon=\varepsilon(\mathscr{G},p)>0$, the analytic extension of $θ_\mathscr{H}$ to the $\varepsilon$-neighbourhood of $p$ in $\mathbb C$ is, uniformly, well approximated by the analytic extension of $θ_\mathscr{G}$. The proof relies on new results on the connectivity of minimal cutsets; in particular, we answer a question asked by Babson and Benjamini in 1999. We further discuss connections with the conjecture of non-percolation at criticality.
A note on canonical stable Grothendieck functions
In this article, we offer a new way to prove the Murnaghan-Nakayama type rule for the stable Grothendieck polynomials, originally established by Nguyen-Hiep-Son-Thuy. Additionally, we establish a Murnaghan-Nakayama type rule for cannoical stable Grothendieck functions.
Bumpless Pipe Dream Fragments -- Equivariant Geometry of Clans
In this paper, we establish a new geometric setting for bumpless pipe dreams and double Schubert polynomials. Building on the notion of bumpless pipe dream fragments, we define clan polynomials as their weight generating functions. It turns out that clan polynomials arise naturally in the equivariant geometry of ($GL_p\times GL_q$)-orbits over the flag variety $Fl_{p+q}$ parametrized by $(p,q)$-clans. Furthermore, we show that the coefficients in the equivariant Schubert expansion of the fundamental classes of ($GL_p\times GL_q$)-orbit closures are exactly clan polynomials, which resolves an open problem posed by Wyser and Yong.
Constructing Hall-Littlewood Functions via a Deformation of the Bernstein Operator
The Bernstein operator $\mathbf{B}_n$ acts on a Schur function $S_λ$ by appending a part to the index, i.e., $\mathbf{B}_n S_λ=S_{(n,λ)}$. This provides a method of constructing the vertex operator representation of Schur functions since its homogeneous components are essentially just these Bernstein operators. Meanwhile, the Hall-Littlewood functions are an important generalization of the Schur functions, and they also have a vertex operator representation due to Jing. In this paper, we construct a $t$-analogue of the Bernstein operator, which allows for an explicit construction of the Jing operator. We show that the usual involution $ω$ is fundamental to this construction, revealing further combinatorial structure. As an application, we use this vertex operator to prove stability of certain structure coefficients, including the Hall polynomials.
Multiple breaks of log-concavity in the independence polynomials of trees
We construct infinite families of trees whose independence polynomials violate log-concavity at an arbitrary number of indices. This affirmatively answers a question of D. Galvin.
Isotropy and completeness indices of multilinear maps
Structures of multilinear maps are characterized by invariants. In this paper we introduce two invariants, named the isotropy index and the completeness index. These invariants capture the tensorial structure of the kernel of a multilinear map. We establish bounds on both indices in terms of the partition rank, geometric rank, analytic rank and height, and present three applications: 1) Using the completeness index as an interpolator, we establish upper bounds on the aforementioned tensor ranks in terms of the subrank. This settles an open problem raised by Kopparty, Moshkovitz and Zuiddam, and consequently answers a question of Derksen, Makam and Zuiddam. 2) We prove a Ramsey-type theorem for the two indices, generalizing a recent result of Qiao and confirming a conjecture of his. 3) By computing the completeness index, we obtain a polynomial-time probabilistic algorithm to estimate the height of a polynomial ideal.
Ergodic averages for sparse corners
We develop a framework for the study of the limiting behavior of multiple ergodic averages with commuting transformations when all iterates are given by the same sparse sequence; this enables us to partially resolve several longstanding problems. First, we address a special case of the joint intersectivity question of Bergelson, Leibman, and Lesigne by giving necessary and sufficient conditions under which the multidimensional polynomial Szemerédi theorem holds for length-three patterns. Second, we show that for two commuting transformations, the Furstenberg averages remain unchanged when the iterates are taken along sparse sequences such as $[n^c]$ for a positive noninteger $c$, advancing a conjecture of the first author. Third, we extend a result of Chu on popular common differences in linear corners to polynomial and Hardy corners. Lastly, we answer open problems of Le, Moreira, and Richter concerning decomposition results for double correlation sequences. Our toolbox includes recent degree lowering and seminorm smoothing techniques, the machinery of magic extensions of Host, and novel structured extensions motivated by works of Tao and Leng. Combined, these techniques reduce the analysis to settings where the Host-Kra theory of characteristic factors and equidistribution on nilmanifolds yield a family of striking identities from which our main results follow.
D-algebraic Guessing
Given finitely many consecutive terms of an infinite sequence, we discuss the construction of a polynomial difference equation that the sequence may satisfy. We also present a method to seek a candidate polynomial differential equation for its generating function. It appears that these methods often lead to effective D-algebraic operations.
Constructive Characterization and Recognition Algorithm for Grafts with a Connected Minimum Join
Minimum joins in a graft $(G, T)$, also known as minimum $T$-joins of a graph $G$, are said to be connected if they determine a connected subgraph of $G$. Grafts with a connected minimum join have gained interest ever since Middendorf and Pfeiffer showed that they satisfy Seymour's min-max formula for joins and $T$-cut packings; that is, in such grafts, the size of a minimum join is equal to the size of a maximum packing of $T$-cuts. In this paper, we provide a constructive characterization of grafts with a connected minimum join. We also obtain a polynomial time algorithm that decides whether a given graft has a connected minimum join and, if so, outputs one. Our algorithm has two bottlenecks; one is the time required to compute a minimum join of a graft, and the other is the time required to solve the single-source all-sink shortest path problem in a graph with conservative $\pm 1$-valued edge weights. Thus, our algorithm runs in $O(n(m + n\log n) )$ time. In the nondense case, it improves upon the time bound for this problem due to Sebő and Tannier that was introduced as an application of their results on metrics on graphs.