The uniqueness conjecture for the coloring c_{2,n} of E(2,n)

At least 15 years old · documented by

For a prime pp and positive integer nn, define the nn-coloring cp,nc_{p,n} of Q∖{0}\mathbb{Q}\setminus\{0\} by

cp,n(q)≡vp(q)(modn),c_{p,n}(q)\equiv v_p(q)\pmod n,

where vp(q)v_p(q) is the pp-adic valuation. For a rational number qq and positive integer nn, let E(q,n)E(q,n) be

x0+qx1+⋯+qn−2xn−2=qn−1xn−1.x_0+qx_1+\dotsb+q^{n-2}x_{n-2}=q^{n-1}x_{n-1}.

Two colorings of the same set are isomorphic if one is obtained from the other by a bijection of their color sets.

The uniqueness conjecture. For n>2n>2, c2,nc_{2,n} is the only nn-coloring, up to isomorphism, of the nonzero rational numbers without a monochromatic solution to E(2,n)E(2,n).

The conjecture was verified in the paper for n=3n=3 and n=4n=4, and by a computer-generated proof for n=5n=5 and n=6n=6. It remains open in general.

References

Primary source

Boris Alexeev, Jacob Fox and Ron Graham, “On minimal colorings without monochromatic solutions to a linear equation”, arXiv:1009.4234 (2010).

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.