Rado's boundedness conjecture

For a linear equation in mm variables, say that it is kk-regular if every kk-coloring of the positive integers yields a monochromatic solution, and say that it is regular if it is kk-regular for every positive integer kk. Rado's boundedness conjecture. For all m1m\ge1, there is a number Δ(m)\Delta(m) such that if a linear equation in mm variables is Δ(m)\Delta(m)-regular, then it is regular.

The conjecture asks whether regularity can be detected using a number of colors depending only on the number of variables. It is known to hold if it holds for homogeneous equations, and the first nontrivial homogeneous three-variable case is established with the bound 2424; the optimality of that bound and the general conjecture remain open.

Sources & referencesView supporting material

Primary source

Yuan Chang, Jesús A. De Loera and William J. Wesley, “Rado Numbers and SAT Computations”, arXiv:2210.03262 (2022).

Additional references

4 papers in this index state this conjecture (2008–2022). The statement above is taken from the most recent of them; the others are arXiv:1701.08252, arXiv:1009.4234, arXiv:0812.1314.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.