polynomial
11422 papers tagged with this keyword
Power maps on General Linear groups over finite principal ideal local rings of length two
Word maps have been studied for matrix groups over a field. We initiate the study of problems related to word maps in the context of the group $\mathrm{GL}_n(\mathscr O_2)$, where $\mathscr O_2$ is a finite local principal ideal ring of length two (e.g. $\mathbb{Z}/p^2\mathbb{Z}$ and $\mathbb F_q[t]/\langle t^2\rangle$). We study the power map $g\mapsto g^L$, where $L$ is a positive integer. We consider $L$ to be coprime to $p$ (an odd prime), the characteristic of the residue field $k$ of $\mathscr O_2$. We classify all the elements in the image, whose mod-$\mathfrak m$ reduction in $\mathrm{GL}_n(k)$ are either regular semisimple or cyclic, where $\mathfrak m$ is the unique maximal ideal of $\mathscr O_2$. Our main tool is a Hensel lifting for polynomial equations over $\mathrm{M}_n(\mathscr O_2)$, which we establish in this work.
A central contribution of this work is the construction of canonical forms for certain natural classes of matrices over $\mathscr O_2$. As applications, we derive explicit generating functions for the probabilities that a random element of $\mathrm{GL}_n(\mathscr O_2)$ is regular semisimple, $L$-power regular semisimple, compatible cyclic, or $L$-power compatible cyclic.
Furstenberg--Sárközy theorem over number fields
We introduce the notion of intersective polynomials having coefficients in the ring of integers $\mathscr{O}_K$ of a number field $K$, and define a notion of upper density of subsets of $\mathscr{O}_K$. We prove that given any intersective polynomial $p(x)$ over $\mathscr{O}_K$, every subset $A$ of $\mathscr{O}_K$ of positive upper density contains two distinct elements whose difference is equal to $p(x)$ for some element $x$ in $\mathscr{O}_K$. Moreover, we obtain a quantitative version of this result. The proof is motivated by an argument due to Lucier, and the Fourier-free proof of the Furstenberg--Sárközy theorem over the integers by Green, Tao and Ziegler.
Hook immanantal equalities for linear combination matrices of (di)graphs and their applications
Let $χ_λ$ be an irreducible character of the symmetric group $S_n$. For an $n \times n$ matrix $M = (m_{ij})$, define the immanant of $M$ corresponding to $χ_λ$ by \begin{eqnarray*} d_λ(M) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n m_{iσ(i)}. \end{eqnarray*} For $λ= (k, 1^{n-k})$, the immanant $d_{(k, 1^{n-k})}(M)$ is called the hook immanant and denoted by $d_k(M)$. The hook immanant polynomial of matrix $M$ is defined as $d_{k}(xI_n - M)$, where $I_n$ is the $n \times n$ identity matrix. Let $G$ and $\overrightarrow{G}$ be a graph and a digraph, respectively. Suppose that $D(G)$ and $A(G)$ (resp. $D(\overrightarrow{G})$ and $A(\overrightarrow{G})$) are the degree matrix and adjacency matrix of $G$ (resp. $\overrightarrow{G}$), respectively. In this paper, we characterize two hook immanantal equalities for the linear combination of matrices $βD(G)+γA(G)$ and $βD(\overrightarrow{G})+γA(\overrightarrow{G})$, where $β$ and $γ$ are real numbers. As applications, we derive recursive formulas for the hook immanantal polynomials and hook immanants of graph matrices.
A note on the recursive computation of the bracket polynomial for closed 4-tangles
Given a 4-tangle shadow, we concatenate it with itself n times and form a knot by applying a closure operation that connects each top endpoint to the corresponding bottom endpoint on the same side without introducing any crossings. We then compute the Kauffman bracket polynomial for the resulting knot using a states matrix defined with respect to the basis of the Kauffman 4-strand diagram monoid.
Hilbert-Kunz multiplicity of quadrics via Ehrhart theory
We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove that the Hilbert-Kunz multiplicity of quadrics of fixed characteristic is a decreasing function of dimension and recover results of Trivedi and Gessel-Monsky on the behaviour of said Hilbert-Kunz multiplicity as a function of characteristic.
Flipping odd matchings in geometric and combinatorial settings
We study the problem of reconfiguring odd matchings, that is, matchings that cover all but a single vertex. Our reconfiguration operation is a so-called flip where the unmatched vertex of the first matching gets matched, while consequently another vertex becomes unmatched. We consider two distinct settings: the geometric setting, in which the vertices are points embedded in the plane and all occurring odd matchings are crossing-free, and a combinatorial setting, in which we consider odd matchings in general graphs.
For the latter setting, we provide a complete polynomial time checkable characterization of graphs in which any two odd matchings can be reconfigured into each another. This complements the previously known result that the flip graph is always connected in the geometric setting [Aichholzer, Brötzner, Perz, and Schnider. Flips in odd matchings]. In the combinatorial setting, we prove that the diameter of the flip graph, if connected, is linear in the number of vertices. Furthermore, we establish that deciding whether there exists a flip sequence of length $k$ transforming one given matching into another is NP-complete in both the combinatorial and the geometric settings. To prove the latter, we introduce a framework that allows us to transform partial order types into general position with only polynomial overhead. Finally, we demonstrate that when parameterized by the flip distance $k$, the problem is fixed-parameter tractable (FPT) in the geometric setting when restricted to convex point sets.
Zero-free sector of the Wronski map on the totally nonnegative Grassmannian
A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \fracπ{n}$ of the complex plane, and the bound $\fracπ{n}$ is tight. Motivated by the Shapiro--Shapiro conjecture and related problems in real Schubert calculus, we generalize this result to Wronskians of polynomials. Namely, let $f_1(z), \dots, f_k(z)$ be linearly independent polynomials of degree at most $n$ whose coefficient matrix has all nonnegative $k\times k$ minors (that is, the polynomials span an element of the totally nonnegative Grassmannian in the sense of Lusztig and Postnikov). We show that the Wronskian polynomial $\operatorname{Wr}(f_1, \dots, f_k)$ has no complex zeros in the sector $|\arg(z)| < \fracπ{n}$ (independent of $k$), and the bound $\fracπ{n}$ is tight. Our proof uses classical results of Gantmakher and Krein (1950) and Obreschkoff (1923) on sign variation.
Polynomial Property Testing
Published
• View Publication
• BIB
Property testers are fast, randomized "election polling"-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is $\varepsilon$-far from the property. In the dense graph model of property testing, it is known that many properties can be tested with query complexity that depends only on the error parameter $\varepsilon$ (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of $1/\varepsilon$. Which properties can be tested efficiently, i.e., with $\mathrm{poly}(1/\varepsilon)$ queries? This survey presents the state of knowledge on this general question, as well as some key open problems.
Complexity and recurrence in infinite words and related structures
Published
• View Publication
• BIB
We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures.
We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are arbitrarily close to linear, but whose discrete derivatives are not bounded from above by $p_w(n)/n$. Moreover, we construct words of polynomially bounded complexity whose discrete derivatives exceed $p_w(n)/n^\varepsilon$ infinitely often, for every given $\varepsilon>0$. These provide negative answers in a strong sense to an open question of Cassaigne from 1997, showing that his theorem on words of linear complexity is best possible.
Next, we characterize, up to a linear multiplicative error, the complexity functions of strictly ergodic subshifts, showing that every non-decreasing, submultiplicative function arises in this setting. This gives the first `industrial' construction of strictly ergodic subshifts of prescribed subexponential complexity.
We then investigate quantitative recurrence in uniformly recurrent words and, as an application, address a question of Bavula from 2006 related to holonomic inequalities on the spectrum of possible filter dimensions of simple associative algebras: we construct simple algebras of prescribed filter dimension in $[1,\infty)$ and essentially settling the problem entirely in the graded case. Throughout, we construct uniformly recurrent words of linear complexity and with arbitrary polynomial recurrence growth.
Chow polynomials of simplicial posets with positive $h$-vector are real-rooted
We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Macaulay simplicial posets and in particular lattices of flats of uniform matroids.
On Vanishing of Gromov--Witten Invariants
We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH), and therefore lies in the second level of polynomial hierarchy ${\sf PH}$.
For the proof, we construct an explicit system of polynomial equations through a translation of the defining equations. We also need to prove an extension of the Parametric Hilbert's Nullstellensatz to obtain our central reduction.
The fundamental module of $S_3$-symmetric tridiagonal algebra associated with cycles
Published
• View Publication
• BIB
Terwilliger recently introduced the $S_3$-symmetric tridiagonal algebra, a generalization of the tridiagonal algebra. This algebra has six generators naturally associated with the vertices of a regular hexagon: adjacent generators satisfy the tridiagonal relations, while non-adjacent ones commute. To each $Q$-polynomial distance-regular graph $Γ$, we associate scalars $β, γ, γ^*, \varrho, \varrho^*$, and define the corresponding $S_3$-symmetric tridiagonal algebra $\mathbb{T} = \mathbb{T}(β, γ, γ^*, \varrho, \varrho^*)$. Let $V$ denote the standard module of $Γ$. Then the tensor $V^{\otimes 3} := V \otimes V \otimes V$ supports a $\mathbb{T}$-module structure, and within it exists a unique irreducible $\mathbb{T}$-submodule called the fundamental $\mathbb{T}$-module, denoted by $Λ$. In this paper, we focus on the case where $Γ$ is a cycle with vertex set $X$ and diameter $D$. We show that the associated scalars satisfy: \begin{align*} β= ζ+ ζ^{-1}, \quad γ= γ^* = 0, \quad \varrho = \varrho^* = -(ζ-ζ^{-1})^2, \end{align*} where $ζ$ is a fixed primitive $|X|$th root of unity. We prove that \begin{align*} \operatorname{dim}(Λ) & = \left\{\begin{array}{ll} \textstyle 2D^2+2 & \text{if } |X| \text{ is even},\\ \textstyle 2D^2 + 2D +1 & \text{if } |X| \text{ is odd}, \end{array} \right. \end{align*} and construct two explicit bases for $Λ$, each of which diagonalizes half of the generators of $\mathbb{T}$. Finally, we verify that Terwilliger's conjectures hold when $Γ$ is a cycle.
Amplitude maximization in stable systems, Schur positivity, and some conjectures on polynomial interpolation
For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.
On chain polynomials of geometric lattices
Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.
Cactus, Pascal, and Pappus Point-Line Configurations: An Algebraic-Geometric Perspective
We study point-line configurations and their associated matroid and circuit varieties. We aim to find a finite set of defining equations for matroid varieties and an irreducible decomposition for circuit varieties.
To solve the former problem, we use some classical techniques from algebraic geometry, including the Grassmann-Cayley algebra and the liftability technique. From this, we can respectively derive the Grassmann-Cayley ideal, introduced by Sidman, Traves and Wheeler, and the lifting ideal, introduced by Liwski, Mohammadi, Clarke and Masiero. Since the circuit ideal, the Grassmann-Cayley ideal and the lifting ideal are contained in the matroid ideal and explicit generators are known for them, it is a natural question to identify point-line configurations for which a generating set of the matroid ideal is formed by the circuit polynomials, Grassmann-Cayley polynomials and lifting polynomials. For these point-line configurations, we obtain an explicit and finite description of the matroid variety. In this thesis, we prove that the matroid ideal of cactus configurations, the Pascal configuration and the Pappus configuration can be generated by these three types of polynomials.
To find an irreducible decomposition for the circuit varieties of point-line configurations, we use the decomposition strategy developed by Clarke, Grace, Mohammadi and Motwani. If the point-line configuration has some points lying on at most two lines, we develop a shorter alternative as well. We find such a decomposition for cactus configurations, up to irredundancy. Moreover, we find an irreducible decomposition for the Pascal configuration and the third configuration $9_3$, which is a point-line configuration with nine points and nine lines, such that every point is on three lines and every line contains three points.
The separating variety for matrix invariants
Published
• View Publication
• BIB
Let $G$ be a linear algebraic group defined over an algebraically closed field $k$, and let $V$ be a vector space on which $G$ acts linearly. The separating variety $\mathcal{S}_{G,V}$ is the subvariety of $V^2$ consisting of pairs of points indistinguishable by invariant polynomials in $k[V]^G$. Its geometry places restrictions on the existence of small separating sets, i.e. sets of invariants which distinguish the same points as the full algebra of invariants. The purpose of this article is to study the separating variety in the important special case where $G=\mathrm{GL}_p(\mathbb{C})$ acts on the set $V$ of $n$-tuples of $p \times p$ matrices by simultaneous conjugation. We define a purely combinatorial poset, $\mathcal{P}_{p,n}$, whose maximal elements are in 1-1 correspondence with the irreducible components of $\mathcal{S}_{G,V}$. We show that $\mathcal{S}_{G,V}$ is a variety of dimension $(n+1)p^2-1$, and determine its subdimension for all $n$ and $p$. In particular we show the subdimension is $(n+1)p^2-p$ if $n \geq 3$, or $n \geq 2$ and $p \geq 4$. In the case $n \geq 3$, we give a formula for the number of components of given codimension in $\mathcal{S}_{G,V}$. We give explicit decompositions of $\mathcal{S}_{G,V}$ for all $n$ where $p=2,3$ or $4$. Our results in particular show that when $n\geq 2$ and $p\geq 4$, or $n\geq 3$ and $p=3$, $\mathbb{C}[V]^G$ does not contain a polynomial or hypersurface separating set. It was proven in arXiv:2202.05717 that the same is true if $n \geq 4$ and $p=2$. The author made a conjecture in arXiv:2211.17088 generalising the Skronowski-Weyman theorem for representations of quivers. The results of this paper prove that conjecture in two important special cases: for the quiver with one vertex and an arbitrary number, $n$, of loops, and for the quiver with two vertices and $n$ arrows between them.
Tropicalized quantum field theory and global tropical sampling
Published
• View Publication
• BIB
We explain how to tropicalize scalar quantum field theory and show that tropicalized massive scalar quantum field theory is exactly solvable. This exact solution manifests as a non-linear recursion equation fulfilled by the expansion coefficients of the quantum effective action. Geometrically, this recursion computes specific volumes of moduli spaces of metric graphs and is thereby analogous to Mirzakhani's volume recursions on the moduli space of curves. Building on this exact solution, we construct an algorithm that samples points from the moduli space of graphs approximately proportional to their perturbative contribution. Remarkably, this algorithm requires only polynomial time and memory, suggesting that perturbative quantum field theory computations lie in the polynomial-time complexity class, while all known algorithms for evaluating individual Feynman integrals are exponential in time and memory. To demonstrate the capabilities of the algorithm, we evaluate the primitive contribution to the $φ^4$ beta function at 50 loops with a proof-of-concept implementation.
A Poisson Type Operator Deformed by Generalized Fibonacci Numbers and Its Combinatorial Moment Formula
We introduce a two-parameter deformation of the classical Poisson distribution from the viewpoint of noncommutative probability theory, by defining a $(q,t)$-Poisson type operator (random variable) on the $(q,t)$-Fock space \cite{Bl12} (See also \cite{BY06, AY20}). From the analogous viewpoint of the classical Poisson limit theorem in probability theory, we are naturally led to a family of orthogonal polynomials, which we call the $(q,t)$-Charlier polynomials. These generalize the $q$-Charlier polynomials of Saitoh-Yoshida \cite{SY00a, SY00b} and reflect deeper combinatorial symmetries through the additional deformation parameter $t$. A central feature of this paper is the derivation of a combinatorial moment formula of the $(q,t)$-Poisson type operator and the $(q,t)$-Poisson distribution. This is accomplished by means of a card arrangement technique, which encodes set partitions together with crossing and nesting statistics. The resulting expression naturally exhibits a duality between these statistics, arising from a structure rooted in generalized Fibonacci numbers. Our approach provides a concrete framework where methods in combinatorics and theory of orthogonal polynomials are used to investigate the probabilistic properties arising from the $(q,t)$-deformation.
On the Carlitz-Mehler formula for Hermite polynomials
Carlitz proved a few generalizations of Mehler's formula. Later, Srivastava et al. gave a new proof for some extensions of Carlitz's formula. Here, a direct proof of the further generalization is given.
Configured spaces and their Möbius polynomials
An arbitrary dependence structure between a finite family of events of a probability space defines a hypergraph structure. We study the converse operation, starting from a hypergraph structure, to determine a canonical probability space with events indexed by the vertices and that satisfy the prescribed dependence structure; we also require that events that are not mutually independent must be mutually exclusive. Such a hypergraph structure, we call a configuration.
Requiring furthermore that all events are given the same positive probability $t$, converts this problem to the study of a family of Möbius polynomials, which we call the relative Möbius polynomials (or independence polynomial) of the configuration. This study was very much already complete in the case where the configuration actually derives from a graph structure, but remained open in the general case.
We show the existence and uniqueness of an optimal real $t$, optimal in the sense that the events cover a subset of maximal probability. We base our study on a new formula for the derivative of the Möbius polynomial.