Daniel L. Freed
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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to apply the Combinatorial Nullstellensatz (CNSS) and its generalized forms to deal with polynomial problems over finite fields. Specifically, the goals of the paper include:
1. **Generalize existing theorems**:
- The paper generalizes on the basis of Noga Alon's original theorem and proposes its own new theorems and methods.
- For example, it generalizes Chevalley's theorem and proves the existence and quantity of common roots of polynomials.
2. **Exclude specific values**:
- It proposes a method of constructing an "exclusion polynomial" to exclude certain specific values, thereby analyzing the non - zero solutions of polynomials more precisely.
- This method can help to further find other roots or verify the existence of roots when some roots are already known.
3. **Deal with shared roots of polynomials**:
- It studies the number of shared roots of multiple polynomials, especially when considering the relationship between the sum of the degrees of these polynomials and the number of variables.
- For example, when the sum of the degrees of polynomials is less than the number of variables, it is proved that the number of shared roots is a multiple of \(p\); when the sum of the degrees is equal to the number of variables, the result of the number of shared roots modulo \(p\) is given.
4. **Apply to graph theory and other fields**:
- Apply the Combinatorial Nullstellensatz to the subset counting problems in graph theory, such as calculating the number of edge subsets or vertex subsets that satisfy specific conditions.
- By constructing appropriate polynomials, use CNSS to prove the existence or quantitative properties of specific structures in graphs.
### Formula summary
- **Combinatorial Nullstellensatz**:
\[
\text{Let } F \text{ be a field, and } f = f(x_1,\ldots,x_n) \text{ be a polynomial in } F[x_1,\ldots,x_n]. \text{ Suppose } \deg(f)=\sum_{i = 1}^n t_i, \text{ and the coefficient of } \prod_{i = 1}^n x_i^{t_i} \text{ in } f \text{ is non - zero. If } S_1,\ldots,S_n \text{ are subsets of } F, \text{ and } |S_i|>t_i, \text{ then there exist } s_1\in S_1, s_2\in S_2,\ldots, s_n\in S_n \text{ such that } f(s_1,\ldots,s_n)\neq 0.
\]
- **Generalized Combinatorial Nullstellensatz**:
\[
\text{Let } F \text{ be a field, and } f \text{ be a polynomial in } F[x_1,\ldots,x_n]. \text{ Suppose } (a_1,\ldots,a_n) \text{ is the maximal element in } \text{Supp}(f), \text{ then for any subsets } A_1,\ldots,A_n, \text{ if } |A_i|\geq a_i + 1, \text{ then there exist } a_1\in A_1,\ldots,a_n\in A_n \text{ such that } f(a_1,\ldots,a_n)\neq 0.
\]
- **Polynomial for excluding specific values**:
\[
g(x)=-(- 1)^n\prod_{j = 1}^n\prod_{q\in F_p,q\neq c_j}(x_j - q)
\]
where \(c=(c_1,\ldots,c_n)\) is the root to be excluded.
Through these methods, the paper not only extends the existing theories, but also provides a series of new tools and techniques for solving polynomial equations and graph theory.