Combinatorial Nullstellensatz Techniques

Daniel L. Freed

2024-08-08

Abstract:We present different techniques for applying Combinatorial Nullstellensatz to polynomials over finite fields. For examples, we generalize theorems from Noga Alon's paper on the subject, and present a few of our own.

Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

A Gröbner Basis Approach to Combinatorial Nullstellensatz

Yang Xu,Haibin Kan,Guangyue Han

2023-04-16

Abstract:In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gröbner bases consisting of monic polynomials, which helps us to establish a Nullstellensatz from a Gröbner basis perspective. As corollaries of this general Nullstellensatz, we establish four special Nullstellensatz, which, among others, include a common generalization of the Nullstellensatz for multisets established in Kós, Rónyai and Mészáros \cite{23,24} and the Nullstellensatz with multiplicity established in Ball and Serra \cite{9}, and include a punctured Nullstellensatz, generalizing several existing results in the literature. As applications of our punctured Nullstellensatz, we extend some results on hyperplane covering in \cite{9,23,24} to wider settings, and give an alternative proof of the generalized Alon-Füredi theorem established in Bishnoi, Clark, Potukuchi and Schmitt \cite{12}. Unless specified otherwise, all our results are established over an arbitrary commutative ring $R$.

Combinatorics,Commutative Algebra
Motivated exposition of combinatorial Nullstellensatz

M. Lozhkin,A. Skopenkov

2024-07-19

Abstract:In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations. The note is accessible to mathematicians not specialized in the area, and to students familiar with polynomials.

History and Overview,Combinatorics
A Gr\"{o}bner Basis Approach to Combinatorial Nullstellensatz

Yang Xu,Haibin Kan,Guangyue Han

DOI: https://doi.org/10.48550/arxiv.2304.07701

2023-01-01

Abstract: In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gr\"{o}bner bases consisting of monic polynomials, which helps us to establish a Nullstellensatz from a Gr\"{o}bner basis perspective. As corollaries of this general Nullstellensatz, we establish four special Nullstellensatz, which, among others, include a common generalization of the Nullstellensatz for multisets established in K\'{o}s, R\'{o}nyai and M\'{e}sz\'{a}ros \cite{23,24} and the Nullstellensatz with multiplicity established in Ball and Serra \cite{9}, and include a punctured Nullstellensatz, generalizing several existing results in the literature. As applications of our punctured Nullstellensatz, we extend some results on hyperplane covering in \cite{9,23,24} to wider settings, and give an alternative proof of the generalized Alon-F\"{u}redi theorem established in Bishnoi, Clark, Potukuchi and Schmitt \cite{12}. Unless specified otherwise, all our results are established over an arbitrary commutative ring $R$.
Dimension-free matricial Nullstellensätze for noncommutative polynomials

Jurij Volčič

2024-03-11

Abstract:Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding vanishing sets of polynomials in several matrix variables without restricting the matrix size, prompted by developments in noncommutative function theory, control systems, operator algebras, and quantum information theory. The emerging results vary according to the interpretation of what vanishing means. For example, given a collection of noncommutative polynomials, one can consider all matrix tuples at which the values of these polynomials are all zero, singular, have common kernel, or have zero trace. This survey reviews Nullstellensätze for the above types of vanishing sets, and identifies their structural counterparts in the free algebra.

Rings and Algebras,Operator Algebras
Some new results on permutation polynomials over finite fields

Jingxue Ma,Tao Zhang,Tao Feng,Gennian Ge

DOI: https://doi.org/10.1007/s10623-016-0236-1

2016-01-01

Abstract:Permutation polynomials over finite fields constitute an active research area and have applications in many areas of science and engineering. In this paper, four classes of monomial complete permutation polynomials and one class of trinomial complete permutation polynomials are presented, one of which confirms a conjecture proposed by Wu et al. (Sci China Math 58:2081–2094, 2015 ). Furthermore, we give two classes of permutation trinomial, and make some progress on a conjecture about the differential uniformity of power permutation polynomials proposed by Blondeau et al. (Int J Inf Coding Theory 1:149–170, 2010 ).
Projective Nullstellensatz for not necessarily algebraically closed fields

Rati Ludhani

2024-11-10

Abstract:The Nullstellensatz, proved by Hilbert in 1893, is a classical result that holds when the base field is algebraically closed. When the base field is finite, a version of Hilbert's Nullstellensatz is given by Terjanian in 1966. Laksov in 1987 generalized Hilbert's Nullstellensatz to a $K$-Nullstellensatz when the base field $K$ is not necessarily algebraically closed. However, unlike Tarjanian's Nullstellensatz, Laksov's Nullstellensatz is not very explicit. Later, Laksov and Westin in 1990 proposed a strengthening to Laksov's Nullstellensatz in the form of four conjectures. A projective analogue of Nullstellensatz of the classical Nullstellensatz of Hilbert is well-known for projective varieties over algebraically closed fields. For finite fields, the projective analogue of the Nullstellensatz can be derived as an application of Hilbert's Nullstellensatz, though it is not as efficient as Terjanian's Nullstellensatz. Gimenez, Ruano and San-José in 2023 strengthened this result by identifying a computationally efficient set. Here, we introduce an even more efficient set that establishes the projective analogue of the Nullstellensatz for finite fields. Additionally, we provide counterexamples to three of the conjectures of Laksov and Westin.

Commutative Algebra
A new shift operator-based polynomial method in additive combinatorics

Sammy Luo

2023-11-15

Abstract:We introduce a new form of the polynomial method based on what we call "shift operators," which we use to give efficient and intuitive new proofs of results previously shown using a wide range of polynomial methods, including Alon's Combinatorial Nullstellensatz and the Croot-Lev-Pach method. We end by discussing some potential new directions in which the tools introduced here may be fruitfully applied.

Combinatorics
Combinatorics and N-Koszul algebras

Roland Berger

DOI: https://doi.org/10.48550/arXiv.0901.1061

2009-01-08

Abstract:The numerical Hilbert series combinatorics and the comodule Hilbert series combinatorics are introduced, and some applications are presented, including the MacMahon Master Theorem.

Rings and Algebras,Combinatorics
Analytic Nullstellensätze and the model theory of valued fields

Matthias Aschenbrenner,Ahmed Srhir

2024-03-08

Abstract:We present a uniform framework for establishing Nullstellensätze for power series rings using quantifier elimination results for valued fields. As an application we obtain Nullstellensätze for $p$-adic power series (both formal and convergent) analogous to Rückert's complex and Risler's real Nullstellensatz, as well as a $p$-adic analytic version of Hilbert's 17th Problem. Analogous statements for restricted power series, both real and $p$-adic, are also considered.

Logic,Commutative Algebra
Hilbert's Nullstellensatz over quaternions

Masood Aryapoor

2023-12-18

Abstract:Using the Rabinowitsch trick, we prove a version of Nullstellensatz over quaternions, which generalizes Hilbert's Nullstellensatz over complex numbers.

Rings and Algebras
A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

Hao Liang

2024-06-11

Abstract:Positivstellens{ä}tze are a group of theorems on the positivity of involution algebras over $\mathbb{R}$ or $\mathbb{C}$. One of the most well-known Positivstellensatz is the solution to Hilbert's 17th problem given by E. Artin, which asserts that a real polynomial in $n$ commutative variables is nonnegative on real affine space if and only if it is a sum of fractional squares. Let $m$ and $n$ be two positive integers. For the free group $F_n$ generated by $n$ letters, and a symmetric polynomial $b$ with variables in $F_n$ and with $n$-by-$n$ complex matrices coefficients, we use real algebraic geometry to give a new proof showing that $b$ is a sum of Hermitian squares if and only if $b$ is mapped to a positive semidefinite matrix under any finitely dimensional unitary representation of $F_n$.

Representation Theory,Group Theory
Extended Hilbert's Nullstellensatz

Keqin Liu

DOI: https://doi.org/10.48550/arXiv.math/0702739

2007-02-25

Algebraic Geometry

Abstract:We prove the extended Hilbert's Nullstellensatz in the context of Hu-Liu polynomial trirings.
Extended Nullstellensatz proof systems

Jan Krajicek

2023-09-27

Abstract:For a finite set $\cal F$ of polynomials over fixed finite prime field of size $p$ containing all polynomials $x^2 - x$ a Nullstellensatz proof of the unsolvability of the system $$ f = 0\ ,\ \mbox{ all } f \in {\cal F} $$ in the field is a linear combination $\sum_{f \in {\cal F}} \ h_f \cdot f$ that equals to $1$ in the ring of polynomails. The measure of complexity of such a proof is its degree: $\max_f deg(h_f f)$. We study the problem to establish degree lower bounds for some {\em extended} NS proof systems: these systems prove the unsolvability of $\cal F$ by proving the unsolvability of a bigger set ${\cal F}\cup {\cal E}$, where set $\cal E$ may use new variables $r$ and contains all polynomials $r^p - r$, and satisfies the following soundness condition: -- - Any $0,1$-assignment $\overline a$ to variables $\overline x$ can be appended by an assignment $\overline b$ to variables $\overline r$ such that for all $g \in {\cal E}$ it holds that $g(\overline a, \overline b) = 0$. We define a notion of pseudo-solutions of $\cal F$ and prove that the existence of pseudo-solutions with suitable parameters implies lower bounds for two extended NS proof systems ENS and UENS defined in Buss et al. (1996/97). Further we give a combinatorial example of $\cal F$ and candidate pseudo-solutions based on the pigeonhole principle.

Logic,Computational Complexity
The Evolution of Cluster Substructure

Tesla E. Jeltema,Claude R. Canizares,Mark W. Bautz,David A. Buote

DOI: https://doi.org/10.1007/0-306-48570-2_57

2003-04-26

Abstract:Using Chandra archival data, we have begun a study to quantify the evolution of cluster morphology with redshift. To quantify cluster morphology, we use the power ratio method developed by Buote and Tsai (1995). Power ratios are constructed from moments of the two-dimensional gravitational potential and are, therefore, related to a cluster's dynamical state. Our sample will include around 50 clusters from the Chandra archive with redshifts between 0.11 and 1.1. These clusters were selected from two fairly complete flux-limited X-ray surveys (the ROSAT Bright Cluster Sample and the Einstein Medium Sensitivity Survey), and additional high-redshift clusters were selected from recent ROSAT flux-limited surveys. Here we present preliminary results from the first 15 clusters in this sample. Of these, eight have redshifts below 0.5, and seven have redshifts above 0.5.

Astrophysics
Solving Systems of Algebraic Equations Over Finite Commutative Rings and Applications

Hermann Tchatchiem Kamche,Hervé Talé Kalachi

2023-04-18

Abstract:Several problems in algebraic geometry and coding theory over finite rings are modeled by systems of algebraic equations. Among these problems, we have the rank decoding problem, which is used in the construction of public-key cryptography. In 2004, Nechaev and Mikhailov proposed two methods for solving systems of polynomial equations over finite chain rings. These methods used solutions over the residual field to construct all solutions step by step. However, for some types of algebraic equations, one simply needs partial solutions. In this paper, we combine two existing approaches to show how Gröbner bases over finite chain rings can be used to solve systems of algebraic equations over finite commutative rings. Then, we use skew polynomials and Plücker coordinates to show that some algebraic approaches used to solve the rank decoding problem and the MinRank problem over finite fields can be extended to finite principal ideal rings.

Information Theory
A polynomial-time algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$. A proof of $\mathbf{P}=\mathbf{NP}$ hypothesis

Petar P. Petrov

2024-08-22

Abstract:Let ${\mathbf P}$ be the class of polynomial-time decision problems and $\mathbf{NP}$ be the class of nondeterministic polynomial time decision problems. We prove the following: Theorem 3. The classes ${\mathbf P}$ and $\mathbf{NP}$ are equivalent. That is, ${\mathbf P}=\mathbf{NP}$. Theorem 3 gives a positive answer to the question $$\hbox{Does }{\mathbf P}=\mathbf{NP}?,$$ see S. Cook, The $\mathbf{P}$ versus $\mathbf{NP}$ problem, Official problem description, <a class="link-external link-http" href="http://www.claymath.org/millennium-problems" rel="external noopener nofollow">this http URL</a>. Crucial for its proof is Theorem 2, from which it follows that the $\mathbf{NP}$-complete problem of deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$ belongs to the class ${\mathbf P}$. Theorem 2. There is a constructive algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$, where $\mathbb{Z}_2$ is the space of all complex numbers with integer real and imaginary parts. The number $s(n,m_{\sigma})$ of basic steps of the algorithm, where $n$ is the number of variables and $m_{\sigma}$ is the total length of input polynomials, satisfies the inequality \begin{eqnarray*} & & s(n,m_{\sigma}) \\ & \le & c_2\{m_{\sigma}^2\log m_{\sigma}+\min\{[m_{\sigma}^{(1)}]^3,(d_1)^3\}+\sum_{\ell =1}^{n-2}N^{(l)}\min\{[m_{\sigma}^{(\ell +1)}]^2,(d_{\ell +1})^2)\}\\ && +N^{(n-1)}\min \{m_{\sigma},d_n\} \} \end{eqnarray*} where $c_2$ is an absolute constant, $\{d_{\ell}\}_{\ell=1}^n$ are the maximal partial degrees in $\{z_{\ell}\}_{\ell=1}^n$, respectively, and the numbers $m_{\sigma}^{(\ell)}$ and $N^{(\ell)}$ are characteristics of the input polynomials, concerning partial lengths and numbers of major sub-monomials it the natural order of monomials, defined in the body of the paper.

General Mathematics
A parametric version of the Hilbert Nullstellensatz

Rida Ait El Manssour,Nikhil Balaji,Klara Nosan,Mahsa Shirmohammadi,James Worrell

2024-10-21

Abstract:Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated with this result, there is the computational problem HN of determining whether a system of polynomials with coefficients in the field of rational numbers has a common zero over the field of algebraic numbers. In an influential paper, Koiran showed that HN can be determined in the polynomial hierarchy assuming the Generalised Riemann Hypothesis (GRH). More precisely, he showed that HN lies in the complexity class AM under GRH. In a later work he generalised this result by showing that the problem DIM, which asks to determine the dimension of the set of solutions of a given polynomial system, also lies in AM subject to GRH. In this paper we study the solvability of polynomial equations over arbitrary algebraically closed fields of characteristic zero. Up to isomorphism, every such field is the algebraic closure of a field of rational functions. We thus formulate a parametric version of HN, called HNP, in which the input is a system of polynomials with coefficients in a function field $\mathbb{Q}(\mathbf{x})$ and the task is to determine whether the polynomials have a common zero in the algebraic closure $\overline{\mathbb{Q}(\mathbf{x})}$. We observe that Koiran's proof that DIM lies in AM can be interpreted as a randomised polynomial-time reduction of DIM to HNP, followed by an argument that HNP lies in AM. Our main contribution is a self-contained proof that HNP lies in AM that follows the same basic idea as Koiran's argument -- namely random instantiation of the parameters -- but whose justification is purely algebraic, relying on a parametric version of Hilbert's Nullstellensatz, and avoiding recourse to semi-algebraic geometry.

Computational Complexity
Sparse Nullstellensatz, resultants and determinants of complexes

Carlos D'Andrea,Gabriela Jeronimo

2024-07-18

Abstract:We refine and extend a result by Tuitman on the supports of a Bézout identity satisfied by a finite sequence of sparse Laurent polynomials without common zeroes in the toric variety associated to their supports. When the number of these polynomials is one more than the dimension of the ambient space, we obtain a formula for computing the sparse resultant as the determinant of a Koszul type complex.

Algebraic Geometry,Commutative Algebra
A polynomial composites

Lukasz Matysiak

DOI: https://doi.org/10.48550/arXiv.2207.08719

2022-07-15

Commutative Algebra

Abstract:Polynomial composites were introduced by Anderson, Anderson, and Zafrullah. In this paper we study many different algebraic properties of polynomial composites like ACCP, atomic, SR property. We study relationships between Noetherian polynomial composites certain field extensions.

Combinatorial Nullstellensatz Techniques

A Gröbner Basis Approach to Combinatorial Nullstellensatz

Motivated exposition of combinatorial Nullstellensatz

A Gr\"{o}bner Basis Approach to Combinatorial Nullstellensatz

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Some new results on permutation polynomials over finite fields

Projective Nullstellensatz for not necessarily algebraically closed fields

A new shift operator-based polynomial method in additive combinatorics

Combinatorics and N-Koszul algebras

Analytic Nullstellensätze and the model theory of valued fields

Hilbert's Nullstellensatz over quaternions

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

Extended Hilbert's Nullstellensatz

Extended Nullstellensatz proof systems

The Evolution of Cluster Substructure

Solving Systems of Algebraic Equations Over Finite Commutative Rings and Applications

A polynomial-time algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$. A proof of $\mathbf{P}=\mathbf{NP}$ hypothesis

A parametric version of the Hilbert Nullstellensatz

Sparse Nullstellensatz, resultants and determinants of complexes

A polynomial composites