Polynomial method in combinatorics

From HandWiki - Reading time: 5 min

In mathematics, the polynomial method is an algebraic approach to combinatorics problems that involves capturing some combinatorial structure using polynomials and proceeding to argue about their algebraic properties. Recently, the polynomial method has led to the development of remarkably simple solutions to several long-standing open problems.[1] The polynomial method encompasses a wide range of specific techniques for using polynomials and ideas from areas such as algebraic geometry to solve combinatorics problems. While a few techniques that follow the framework of the polynomial method, such as Alon's Combinatorial Nullstellensatz,[2] have been known since the 1990s, it was not until around 2010 that a broader framework for the polynomial method has been developed.

Mathematical overview

Many uses of the polynomial method follow the same high-level approach. The approach is as follows:

  • Embed some combinatorial problem into a vector space.
  • Capture the hypotheses of the problem by constructing a polynomial of low-degree that is zero on a certain set
  • After constructing the polynomial, argue about its algebraic properties to deduce that the original configuration must satisfy the desired properties.

Example

As an example, we outline Dvir's proof of the Finite Field Kakeya Conjecture using the polynomial method.[3]

Finite Field Kakeya Conjecture: Let [math]\displaystyle{ \mathbb{F}_q }[/math] be a finite field with [math]\displaystyle{ q }[/math] elements. Let [math]\displaystyle{ K \subseteq \mathbb{F}_q^n }[/math] be a Kakeya set, i.e. for each vector [math]\displaystyle{ y \in \mathbb{F}_q^n }[/math]there exists [math]\displaystyle{ x \in \mathbb{F}_q^n }[/math] such that [math]\displaystyle{ K }[/math] contains a line [math]\displaystyle{ \{x + ty, t \in \mathbb{F}_q \} }[/math]. Then the set [math]\displaystyle{ K }[/math] has size at least [math]\displaystyle{ c_nq^n }[/math]where [math]\displaystyle{ c_n \gt 0 }[/math] is a constant that only depends on [math]\displaystyle{ n }[/math].

Proof: The proof we give will show that [math]\displaystyle{ K }[/math] has size at least [math]\displaystyle{ c_nq^{n-1} }[/math]. The bound of [math]\displaystyle{ c_nq^n }[/math] can be obtained using the same method with a little additional work.

Assume we have a Kakeya set [math]\displaystyle{ K }[/math] with

[math]\displaystyle{ |K| \lt {q+n-3\choose n-1} }[/math]

Consider the set of monomials of the form [math]\displaystyle{ x_1^{d_1}x_2^{d_2} \dots x_n^{d_n} }[/math] of degree exactly [math]\displaystyle{ q-2 }[/math]. There are exactly [math]\displaystyle{ {q+n-3\choose n-1} }[/math] such monomials. Thus, there exists a nonzero homogeneous polynomial [math]\displaystyle{ P(x_1,x_2, \dots , x_n) }[/math] of degree [math]\displaystyle{ q-2 }[/math] that vanishes on all points in [math]\displaystyle{ K }[/math]. Note this is because finding such a polynomial reduces to solving a system of [math]\displaystyle{ |K| }[/math] linear equations for the coefficients.

Now we will use the property that [math]\displaystyle{ K }[/math] is a Kakeya set to show that [math]\displaystyle{ P }[/math] must vanish on all of [math]\displaystyle{ \mathbb{F}_q^n }[/math]. Clearly [math]\displaystyle{ P(0,0 \dots , 0) = 0 }[/math]. Next, for [math]\displaystyle{ y \neq 0 }[/math], there is an [math]\displaystyle{ x }[/math] such that the line [math]\displaystyle{ \{x + ty, t \in \mathbb{F}_q \} }[/math] is contained in [math]\displaystyle{ K }[/math]. Since [math]\displaystyle{ P }[/math] is homogeneous, if [math]\displaystyle{ P(z) = 0 }[/math] for some [math]\displaystyle{ z \in \mathbb{F}_q^n }[/math] then [math]\displaystyle{ P(cz) = 0 }[/math] for any [math]\displaystyle{ c \in \mathbb{F}_q }[/math]. In particular

[math]\displaystyle{ P(tx + y) = P(t(x+t^{-1}y)) = 0 }[/math]

for all nonzero [math]\displaystyle{ t \in \mathbb{F}_q }[/math]. However, [math]\displaystyle{ P(tx+y) }[/math] is a polynomial of degree [math]\displaystyle{ q-2 }[/math] in [math]\displaystyle{ t }[/math] but it has at least [math]\displaystyle{ q-1 }[/math] roots corresponding to the nonzero elements of [math]\displaystyle{ \mathbb{F}_q }[/math] so it must be identically zero. In particular, plugging in [math]\displaystyle{ t = 0 }[/math] we deduce [math]\displaystyle{ P(y) = 0 }[/math].

We have shown that [math]\displaystyle{ P(y) = 0 }[/math] for all [math]\displaystyle{ y \in \mathbb{F}_q^n }[/math] but [math]\displaystyle{ P }[/math] has degree less than [math]\displaystyle{ q - 1 }[/math] in each of the variables so this is impossible by the Schwartz–Zippel lemma. We deduce that we must actually have

[math]\displaystyle{ |K| \ge {q+n-3\choose n-1} \sim \frac{q^{n-1}}{(n-1)!} }[/math]

Polynomial partitioning

A variation of the polynomial method, often called polynomial partitioning, was introduced by Guth and Katz in their solution to the Erdős distinct distances problem.[4] Polynomial partitioning involves using polynomials to divide the underlying space into regions and arguing about the geometric structure of the partition. These arguments rely on results from algebraic geometry bounding the number of incidences between various algebraic curves. The technique of polynomial partitioning has been used to give a new proof of the Szemerédi–Trotter theorem via the polynomial ham sandwich theorem and has been applied to a variety of problems in incidence geometry.[5][6]

Applications

A few examples of longstanding open problems that have been solved using the polynomial method are:

See also

References

  1. Guth, L. (2016). Polynomial Methods in Combinatorics. University Lecture Series. American Mathematical Society. ISBN 978-1-4704-2890-7. https://books.google.com/books?id=t9ZTDAAAQBAJ. Retrieved 2019-12-11. 
  2. Alon, Noga (1999). "Combinatorial Nullstellensatz". Combinatorics, Probability and Computing 8 (1–2): 7–29. doi:10.1017/S0963548398003411. ISSN 0963-5483. 
  3. 3.0 3.1 Dvir, Zeev (2008). "On the size of Kakeya sets in finite fields". Journal of the American Mathematical Society 22 (4): 1093–1097. doi:10.1090/S0894-0347-08-00607-3. ISSN 0894-0347. 
  4. 4.0 4.1 Guth, Larry; Katz, Nets (2015). "On the Erdős distinct distances problem in the plane". Annals of Mathematics: 155–190. doi:10.4007/annals.2015.181.1.2. ISSN 0003-486X. 
  5. Kaplan, Haim; Matoušek, Jiří; Sharir, Micha (2012). "Simple Proofs of Classical Theorems in Discrete Geometry via the Guth–Katz Polynomial Partitioning Technique". Discrete & Computational Geometry 48 (3): 499–517. doi:10.1007/s00454-012-9443-3. ISSN 0179-5376. 
  6. Dvir, Zeev (2012). "Incidence Theorems and Their Applications". Foundations and Trends in Theoretical Computer Science 6 (4): 257–393. doi:10.1561/0400000056. ISSN 1551-305X. Bibcode2012arXiv1208.5073D. 
  7. Ellenberg, Jordan; Gijswijt, Dion (2017). "On large subsets of [math]\displaystyle{ \mathbb{F}_q^n }[/math] with no three-term arithmetic progression". Annals of Mathematics 185 (1): 339–343. doi:10.4007/annals.2017.185.1.8. ISSN 0003-486X. http://resolver.tudelft.nl/uuid:24934b91-cb43-49ef-9423-731dd1fb9306. 
  8. Croot, Ernie; Lev, Vsevolod; Pach, Péter (2017). "Progression-free sets in [math]\displaystyle{ \mathbb{Z}_4^n }[/math] are exponentially small". Annals of Mathematics 185 (1): 331–337. doi:10.4007/annals.2017.185.1.7. ISSN 0003-486X. http://real.mtak.hu/62116/1/prog_free.pdf. 
  9. Guth, Larry; Katz, Nets Hawk (2010). "Algebraic methods in discrete analogs of the Kakeya problem". Advances in Mathematics 225 (5): 2828–2839. doi:10.1016/j.aim.2010.05.015. ISSN 0001-8708. 
  10. Elekes, György; Kaplan, Haim; Sharir, Micha (2011). "On lines, joints, and incidences in three dimensions". Journal of Combinatorial Theory. Series A 118 (3): 962–977. doi:10.1016/j.jcta.2010.11.008. ISSN 0097-3165. 

External links




Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Polynomial_method_in_combinatorics
4 views | Status: cached on August 05 2024 04:17:53
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF