1. Upper and lower bounds for for small n.
Let be the largest size of a set in without a combinatorial line. Thanks to efforts from previous threads, we have the first five values of :
2. A hyper-optimistic conjecture
Consider a variant of the above problem in which each element of with a 1s, b 2s, and c 3s is weighted by the factor ; this gives a total weight of . Let be the largest weight of a line-free set of , and let be the largest size of a subset of
which contains no upward-pointing equilateral triangles with . It is known that ; the “hyper-optimistic conjecture” is that one in fact has . This would imply density Hales-Jewett for k=3.
Currently, we know the following values for these sequences:
There are also some further upper and lower bounds known; see this spreadsheet for the latest bounds, and this page for proofs of the bounds. The data so far is consistent with the conjecture, but more work would be needed to obtain a more convincing case for it.
3. Asymptotics for Moser’s cube problem
Moser’s cube problem asks to compute the largest size of a subset of the cube without geometric lines. The first few values of are known:
The best asymptotic lower bound known is . Given that we have a significantly superior lower bound of for , one might hope to similarly improve the lower bound for Moser’s problem. But there seems to be a technical snag, based on the observation that between two slices and with the , there are in fact quite a few combinatorial lines connecting them, and so it is not obvious how to create a geometric line-free set that involves more than one slice per value of c-a.
It is also of interest to work out what asymptotic lower bound for one can get for larger values of k than 3.