English
Related papers

Related papers: Restricted Variable Chevalley-Warning Theorems

200 papers

Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula can contain, the variables can be nested within scopes of…

Logic in Computer Science · Computer Science 2024-11-12 Simon Raßmann , Georg Schindling , Pascal Schweitzer

The unrestricted T-system is a family of relations in the Grothendieck ring of the category of the finite-dimensional modules of the Yangian or the quantum affine algebra associated with a complex simple Lie algebra. The unrestricted…

Quantum Algebra · Mathematics 2010-05-26 Rei Inoue , Osamu Iyama , Atsuo Kuniba , Tomoki Nakanishi , Junji Suzuki

We establish a version "over the ring" of the celebrated Hilbert Irreducibility Theorem. Given finitely many polynomials in $k+n$ variables, with coefficients in $\mathbb Z$, of positive degree in the last $n$ variables, we show that if…

Number Theory · Mathematics 2021-11-29 Arnaud Bodin , Pierre Dèbes , Joachim König , Salah Najib

Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…

Computational Complexity · Computer Science 2020-05-13 Shaull Almagor , Dmitry Chistikov , Joël Ouaknine , James Worrell

A well-known problem in the theory of polynomials over finite fields is the characterization of minimal value set polynomials (MVSPs) over the finite field $\mathbb{F}_q$, where $q = p^n$. These are the nonconstant polynomials $F \in…

Number Theory · Mathematics 2025-08-12 Herivelto Borges , Lucas Reis

We deal with the algebraicity of an iterated Puiseux series in several variables in terms of the properties of its coefficients. Our aim is to generalize to several variables the results from [HM15]. We show that the algebraicity of such a…

Commutative Algebra · Mathematics 2019-02-04 Michel Hickel , Mickaël Matusinski

We prove a new lower bound for the Mahler measure of a polynomial in one and in several variables that depends on the complex coefficients, and the number of monomials. In one variable our result generalizes a classical inequality of…

Number Theory · Mathematics 2022-03-22 Shabnam Akhtari , Jeffrey D. Vaaler

This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform…

Optimization and Control · Mathematics 2024-10-29 Mareike Dressler , Simon Foucart , Mioara Joldes , Etienne de Klerk , Jean Bernard Lasserre , Yuan Xu

We give both a sufficient condition for and an obstruction to the derived category of a commutative ring being generated by its residue fields. As an illustration, we exhibit a ring for which Foxby's small support classifies localizing…

Commutative Algebra · Mathematics 2026-05-20 Scott Balchin , Juan Omar Gómez , Greg Stevenson

This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of…

Combinatorics · Mathematics 2017-05-04 Hector Blandin

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…

Algebraic Geometry · Mathematics 2017-06-08 Tobias Friedl , Cordian Riener , Raman Sanyal

Let $\mathcal{F}_{n}^*$ be the set of Boolean functions depending on all $n$ variables. We prove that for any $f\in \mathcal{F}_{n}^*$, $f|_{x_i=0}$ or $f|_{x_i=1}$ depends on the remaining $n-1$ variables, for some variable $x_i$. This…

Computational Complexity · Computer Science 2015-02-05 Chia-Jung Lee , Satya V. Lokam , Shi-Chun Tsai , Ming-Chuan Yang

In this paper, we establish bounds for the eigenvalues of matrix polynomials. Specifically, we find different generalizations of the Enestrom-Kakeya Theorem for matrix polynomials.

Classical Analysis and ODEs · Mathematics 2025-06-12 Idrees Qasim

We give degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a complex variation of Hodge structures outside a simple normal crossing divisor, beyond the unipotent variation case. This note aims to…

Algebraic Geometry · Mathematics 2026-05-14 Ze Yun

We study the polynomial coefficients of lightning self-attention as coordinates of an algebraic variety. We identify linear and nonlinear families of algebraic invariants, including Chow-type, low-rank, Veronese-type, and Sylvester…

Algebraic Geometry · Mathematics 2026-04-21 Yulia Alexandr , Hao Duan , Guido Montúfar

We prove that almost all random subsets of a finite vector space are weak Salem sets (small Fourier coefficient), which extends a result of Hayes to a different probability model.

Classical Analysis and ODEs · Mathematics 2017-02-23 Changhao Chen

We study questions around the existence of bounds and the dependence on parameters for linear-algebraic problems in polynomial rings over rings of an arithmetic flavor.In particular, we show that the module of syzygies of polynomials…

Commutative Algebra · Mathematics 2007-05-23 Matthias Aschenbrenner

A univariate graph polynomial P(G;X) is weakly distinguishing if for almost all finite graphs G there is a finite graph H with P(G;X)=P(H;X). We show that the clique polynomial and the independence polynomial are weakly distinguishing.…

Combinatorics · Mathematics 2023-06-22 Johann A. Makowsky , Vsevolod Rakita

We construct a family of fibered threefolds $X_m \to (S , \Delta)$ such that $X_m$ has no \'etale cover that dominates a variety of general type but it dominates the orbifold $(S,\Delta)$ of general type. Following Campana, the threefolds…

Algebraic Geometry · Mathematics 2021-07-23 Erwan Rousseau , Amos Turchet , Julie Tzu-Yueh Wang

Rayleigh quotient minimization deals with optimizing a quadratic homogeneous function over a sphere. Its critical points correspond to the normalized eigenvectors of the symmetric matrix associated with the quadratic form. In this paper, we…

Algebraic Geometry · Mathematics 2025-10-21 Flavio Salizzoni , Luca Sodomaco , Julian Weigert