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

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++qn2xn2=qn1xn1.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.

Sources & referencesView supporting material

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.