This thread is a continuation of the previous thread here on the polymath1 project. Currently, activity is focusing on the following problems:

**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 :

.

We also know that , and are working to narrow this further. The arguments justifying these bounds can be found here. The latest bounds for the next few values of can be found here.

**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:

and

.

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.

Comments on this thread should start at 700. We will also try to record progress made at the polymath1 wiki and at the polymath1 spreadsheet, as appropriate.

### Like this:

Like Loading...

## 103 comments

Comments feed for this article

4 March, 2009 at 1:33 pm

Terence Tao796. Moser(3)

Thanks Kristal! Looks like we are in very good shape now. In particular we now have the situation described in 795; I’ll put that argument on the wiki now.

As this thread is now basically full, I am closing it and we will be moving to the 900 thread at

https://terrytao.wordpress.com/2009/03/04/dhj3-900-999-density-hales-jewett-type-numbers/