Re:Mathematicians Solve Long-Standing Coloring Problem
by skinner_ on Monday August 14, 2023 @03:53PM
(#37125991)
The fractional chromatic number of the plane is by definition less than or equal to the regular chromatic number of the plane, but already we know for sure that they are not equal. We know that 5 <= X(R^2) <= 7, and we know that 3.8991 <= X_f(R^2) <= 4.3599 [1]. Jaan Parts has unpublished results indicating that 3.9898059 <= X_f(R^2). Our team believes that it is not a coincidence that the long list of X_f(R^2) lower bounds seems to converge to 4, and we conjecture that X_f(R^2)=4. This conjecture would have the interesting implication that our result on m_1(R^2) cannot be obtained via bounding 1/X_f(R^2), and the harmonic analysis apparatus that we use is fundamental to proving Erdős's conjecture.
m_1(R^2)<=1/X_f(R^2)<=1/X_f(G)<=a(G)/|G|.
What I'm not sure of is how X_f(R^2) relates to X(R^2) that is if we were to find that the chromatic number of the plane is X(R^2)=6 then what can we say about fractional chromatic number X_f(R^2)?
Hope you see this post and if not it was still super useful, thanks a lot!