Kemnitz's conjecture

Last updated

In additive number theory, Kemnitz's conjecture states that every set of lattice points in the plane has a large subset whose centroid is also a lattice point. It was proved independently in the autumn of 2003 by Christian Reiher, then an undergraduate student, and Carlos di Fiore, then a high school student. [1]

The exact formulation of this conjecture is as follows:

Let be a natural number and a set of lattice points in plane. Then there exists a subset with points such that the centroid of all points from is also a lattice point.

Kemnitz's conjecture was formulated in 1983 by Arnfried Kemnitz [2] as a generalization of the Erdős–Ginzburg–Ziv theorem, an analogous one-dimensional result stating that every integers have a subset of size whose average is an integer. [3] In 2000, Lajos Rónyai proved a weakened form of Kemnitz's conjecture for sets with lattice points. [4] Then, in 2003, Christian Reiher proved the full conjecture using the Chevalley–Warning theorem. [5]

Related Research Articles

In additive number theory, the Schnirelmann density of a sequence of numbers is a way to measure how "dense" the sequence is. It is named after Russian mathematician Lev Schnirelmann, who was the first to study it.

In arithmetic combinatorics, Szemerédi's theorem is a result concerning arithmetic progressions in subsets of the integers. In 1936, Erdős and Turán conjectured that every set of integers A with positive natural density contains a k-term arithmetic progression for every k. Endre Szemerédi proved the conjecture in 1975.

<span class="mw-page-title-main">Ben Green (mathematician)</span> British mathematician

Ben Joseph Green FRS is a British mathematician, specialising in combinatorics and number theory. He is the Waynflete Professor of Pure Mathematics at the University of Oxford.

In number theory, zero-sum problems are certain kinds of combinatorial problems about the structure of a finite abelian group. Concretely, given a finite abelian group G and a positive integer n, one asks for the smallest value of k such that every sequence of elements of G of size k contains n terms that sum to 0.

<span class="mw-page-title-main">Happy ending problem</span>

In mathematics, the "happy ending problem" is the following statement:

Erdős' conjecture on arithmetic progressions, often referred to as the Erdős–Turán conjecture, is a conjecture in arithmetic combinatorics. It states that if the sum of the reciprocals of the members of a set A of positive integers diverges, then A contains arbitrarily long arithmetic progressions.

In additive number theory and combinatorics, a restricted sumset has the form

In additive combinatorics and number theory, a subset A of an abelian group G is said to be sum-free if the sumset A + A is disjoint from A. In other words, A is sum-free if the equation has no solution with .

In mathematics, arithmetic combinatorics is a field in the intersection of number theory, combinatorics, ergodic theory and harmonic analysis.

<span class="mw-page-title-main">Christian Reiher</span> German mathematician (born 1984)

Christian Reiher is a German mathematician. He is the fifth most successful participant in the history of the International Mathematical Olympiad, having won four gold medals in the years 2000 to 2003 and a bronze medal in 1999.

The Erdős–Turán conjecture is an old unsolved problem in additive number theory posed by Paul Erdős and Pál Turán in 1941.

In arithmetic combinatorics, the Erdős–Szemerédi theorem states that for every finite set of integers, at least one of , the set of pairwise sums or , the set of pairwise products form a significantly larger set. More precisely, the Erdős–Szemerédi theorem states that there exist positive constants c and such that for any non-empty set

In the mathematical discipline of graph theory, a rainbow matching in an edge-colored graph is a matching in which all the edges have distinct colors.

<span class="mw-page-title-main">Harborth's conjecture</span> On graph drawing with integer edge lengths

In mathematics, Harborth's conjecture states that every planar graph has a planar drawing in which every edge is a straight segment of integer length. This conjecture is named after Heiko Harborth, and would strengthen Fáry's theorem on the existence of straight-line drawings for every planar graph. For this reason, a drawing with integer edge lengths is also known as an integral Fáry embedding. Despite much subsequent research, Harborth's conjecture remains unsolved.

Abraham Ziv was an Israeli mathematician, known for his contributions to the Zero-sum problem as one of the discoverers of the Erdős–Ginzburg–Ziv theorem.

In mathematics, the Erdős–Ulam problem asks whether the plane contains a dense set of points whose Euclidean distances are all rational numbers. It is named after Paul Erdős and Stanislaw Ulam.

In geometry, the distance set of a collection of points is the set of distances between distinct pairs of points. Thus, it can be seen as the generalization of a difference set, the set of distances in collections of numbers.

Hunter Snevily (1956–2013) was an American mathematician with expertise and contributions in Set theory, Graph theory, Discrete geometry, and Ramsey theory on the integers.

References

  1. Savchev, S.; Chen, F. (2005). "Kemnitz' conjecture revisited". Discrete Mathematics . 297 (1–3): 196–201. doi: 10.1016/j.disc.2005.02.018 .
  2. Kemnitz, A. (1983). "On a lattice point problem". Ars Combinatoria . 16b: 151–160.
  3. Erdős, P.; Ginzburg, A.; Ziv, A. (1961). "Theorem in additive number theory". Bull. Research Council Israel. 10F: 41–43.
  4. Rónyai, L. (2000). "On a conjecture of Kemnitz". Combinatorica . 20 (4): 569–573. doi:10.1007/s004930070008.
  5. Reiher, Ch. (2007). "On Kemnitz' conjecture concerning lattice-points in the plane". The Ramanujan Journal. 13: 333–337. arXiv: 1603.06161 . doi:10.1007/s11139-006-0256-y.

Further reading