TOPICS
Search

Moser's Cube Problem


Moser's cube problem asks for the largest size f_3(n) of a subset of {0,1,2}^n containing no three distinct collinear points in real Euclidean space (Moser 1970). The exact values begin 2, 6, 16, 43, 124, 353, ... (OEIS A003142), with the displayed terms corresponding to n=1, 2, ..., 6 (Polymath 2010). General values remain unknown.

The density Hales-Jewett theorem implies f_3(n)=o(3^n), since a combinatorial line is a collinear triple. Here o denotes little-O notation. This real-geometric condition differs from the cap set condition over the finite field with three elements. For example, a full line parallel to a coordinate axis is forbidden in both settings, but in dimension 2 the respective maxima are 6 and 4 (Polymath 2010).

The density-zero assertion is problem 185 in the Erdős problems collection (Bloom 2026).


See also

Cap Set, Density Hales-Jewett Theorem, Erdős Problems

Explore with Wolfram|Alpha

References

Bloom, T. F. "Erdős Problem 185." Accessed Oct. 26, 2026. https://www.erdosproblems.com/185.Moser, L. "Problem P.170." Canad. Math. Bull. 13, 268, 1970.Polymath, D. H. J. "Density Hales-Jewett and Moser Numbers." In An Irregular Mind: Szemerédi Is 70 (Ed. I. Bárány, J. Solymosi, and G. Sági). Berlin, Germany: Springer, pp. 689-753, 2010. https://doi.org/10.1007/978-3-642-14444-8_22.Sloane, N. J. A. Sequence A003142in "The On-Line Encyclopedia of Integer Sequences."

Cite this as:

Weisstein, Eric W. "Moser's Cube Problem." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/MosersCubeProblem.html

Subject classifications