Minimum overlap problem

In number theory and set theory, the minimum overlap problem is a problem proposed by Hungarian mathematician Paul Erdős in 1955.[1][2]

Formal statement of the problem

edit

Let A = {ai} and B = {bj} be two complementary subsets, a splitting of the set of natural numbers {1, 2, …, 2n}, such that both have the same cardinality, namely n. Denote by Mk the number of solutions of the equation ai − bj = k, where k is an integer varying between −2n and 2n. M (n) is defined as:

 

The problem is to estimate M (n) when n is sufficiently large.[2]

History

edit

This problem can be found amongst the problems proposed by Paul Erdős in combinatorial number theory, known by English speakers as the Minimum overlap problem. It was first formulated in the 1955 article Some remarks on number theory[3] (in Hebrew) in Riveon Lematematica, and has become one of the classical problems described by Richard K. Guy in his book Unsolved problems in number theory.[1]

Partial results

edit

Since it was first formulated, there has been continuous progress made in the calculation of lower bounds and upper bounds of M (n), with the following results:[1][2]

Lower

edit
Limit inferior Author(s) Year
  P. Erdős 1955
  P. Erdős, Scherk 1955
  S. Swierczkowski 1958
  L. Moser 1966
  J. K. Haugland 1996
  E. P. White 2022

Upper

edit
Limit superior Author(s) Year
  P. Erdős 1955
  T. S. Motzkin, K. E. Ralston and J. L. Selfridge, 1956
  J. K. Haugland 1996
  J. K. Haugland 2016

J. K. Haugland showed that the limit of M (n) / n exists and that it is less than 0.385694. For his research, he was awarded a prize in a young scientists competition in 1993.[4] In 1996, he improved the upper bound to 0.38201 using a result of Peter Swinnerton-Dyer.[5][2] This has now been further improved to 0.38093.[6] In 2022, the lower bound was shown to be at least 0.379005 by E. P. White.[7]

The first known values of M(n)

edit

The values of M (n) for the first 15 positive integers are the following:[1]

  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ...
  1 1 2 2 3 3 3 4 4 5 5 5 6 6 6 ...

It is just the Law of Small Numbers that it is  [1]

References

edit
  1. ^ a b c d e Guy, Richard K. (2004). "C17". In Bencsáth, Katalin A.; Halmos, Paul R. (eds.). Unsolved Problems in Number Theory. New York: Springer Science+Business Media Inc. pp. 199–200. ISBN 0-387-20860-7.
  2. ^ a b c d Finch, Steven (2 July 2004). "Erdös' minimum overlap problem" (PDF). Archived from the original (PDF) on 5 April 2015. Retrieved 15 December 2013.
  3. ^ P. Erdős: Some remarks on number theory (in Hebrew), Riveon Lematematika 9 (1955), 45-48 MR17,460d.
  4. ^ Haugland, Jan Kristian. "The minimum overlap problem". Retrieved 20 September 2016.
  5. ^ Haugland, Jan Kristian (1996). "Advances in the Minimum Overlap Problem". Journal of Number Theory. 58 (1). Ohio (USA): 71–78. doi:10.1006/jnth.1996.0064. ISSN 0022-314X.
  6. ^ Haugland, Jan Kristian (2016). "The minimum overlap problem revisited". arXiv:1609.08000 [math.GM].
  7. ^ White, Ethan Patrick (2022). "Erdős' minimum overlap problem". arXiv:2201.05704 [math.CO].