This is a continuation of the 900-999 thread of the polymath1 project, which is now full. We’ve made quite a bit of progress so far on our original mission of bounding density Hales-Jewett numbers. In particular, we have shown

- : Any subset of with 451 points contains a combinatorial line; and there is exactly one example with 450 points with no combinatorial line. (We have two proofs, one by a large integer program, and the other being purely human-verifiable; the latter can be found here.)
- : Any subset of with 125 points contains a geometric line; and we have several examples with 124 points with no geometric line. (The proof is partly computer-assisted; details are here.)
- : A genetic algorithm has constructed 353-point solutions in with no geometric line; in the other direction, linear and integer programming methods have shown that any set with 362 points must have a geometric line.
- : In the triangular grid , any set of 41 points contains an upwards-pointing equilateral triangle with ; and we have 40-point examples without such triangles. This was conducted by an integer program.

This timeline shows the history of these and other developments in the project.

There are still several numbers that look feasible to compute. For instance, the bounds on should be able to be narrowed further. Work is slowly progressing also on the equal-slices Hales-Jewett numbers , which are hyper-optimistically conjectured to equal the Fujimura numbers ; this has been verified by hand up to n=3 and by integer programming up to n=5. We are also looking at trying to reduce the dependence on computer assistance in establishing the result; the best human result so far is .

Some progress has recently been made on some other related questions. For instance, we now have a precise description of the lower bound on coming from the Behrend-Elkin construction, namely

for some absolute constant c.

Also, it is probably a good time to transport some of the discussion in earlier threads to the wiki and make it easier for outsiders to catch up. (Incidentally, we need a logo for that wiki; any suggestions would be welcome!)

Comments on this thread should be numbered starting at 1100.

### Like this:

Like Loading...

*Related*

## 118 comments

Comments feed for this article

14 March, 2009 at 9:08 am

Terence Tao1100. Moser & Elkin

Michael, thanks for the corrected inequalities at 993. I plugged them into the linear program, of course, but unfortunately the bounds did not budge, only the extremisers, which means that we chipped away a little bit but not as much as before. I can imagine that there is a law of diminishing returns in play here.

Kevin: thanks very much for the precise computation! I put it on the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Upper_and_lower_bounds#Asymptotics

but I suppose it could be cleaned up more. (Actually, the same holds for just about everything else on the wiki.)

14 March, 2009 at 9:15 am

Terence Tao1101. Hyper-optimistic conjecture

Kristal and Jason: looks like we’re off to a good start with the human proof of . I copied Kristal’s text to the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Hyper-optimistic_conjecture

but presumably we could develop it further.

Given how successful the linear programming method based on sphere densities has been for Moser, I think it is worth a shot at working out linear inequalities for slice densities for the HOC; indeed one can view Kristal’s argument as implicitly using these slice densities.

14 March, 2009 at 9:27 am

Terence Tao1102. Genetic algorithm

Kareem, I put some of the description of your GA on the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Genetic_algorithm

If you had any further commentary (e.g. on the performance of the algorithm, and links to data) that would be great. Do you still think that verification of the line-free property is the bottleneck? One thought I had on this was to break up the lookup table into pieces, and only apply a piece of the table to each organism. The problem with this though is that it may allow organisms with one or two lines to survive for a bit longer than they should.

14 March, 2009 at 9:45 am

Terence Tao1103. Kakeya

Seva, this is a great suggestion! I transcribed your post to the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Kakeya_problem

A recent result of Dvir, Kopparty, Saraf, and Sudan show that a Kakeya set in has size at least , while an earlier example of Dvir (and reproduced in an appendix of a paper by Saraf and Sudan) constructs a Kakeya set of size . These are asymptotically tight to within a factor of 2 when q is large, but it doesn’t look like it works all that well for small q.

So, we have a new low-dimensional problem to chew on: is (i.e. is it impossible to have a 26-point set in [3]^4 that contains a line in every direction)? I guess a starting point would be to get a human proof of .

14 March, 2009 at 10:30 am

Kareem Carr1104.

Thanks Terry. I don’t have a lot of time right now but I will add any extra commentary in a few days.

I am not completely sure that the line-free property is the bottleneck with respect to the speed of the program but it is probably a big contributor. I will have to do some experimenting. The line-free property causes limitations in several senses. It grows exponentially with n. The largest lookup table I have made is about half a gigabyte. It takes a long time to read into memory. If I only take part of it then I do think that could speed things up tremendously. One could squeeze some more speed up out of this idea by picking a random selection of lines in the lookup table and evaluating a whole generation with the same lines. This reduces cache misses. If it’s not the same group of lines each time then maybe this won’t hurt us too much.

14 March, 2009 at 10:40 am

Kristal Cantwell1105. c^{\mu}_3=6

I have made some changes to one of the cases, that case is

where there is one point removed of the form aaa

c^{\mu}_3=6

If we have all

Three points of the form xxx removed

Then the remaining points have value 7 and

We have covered all lines any set of moving coordinates

And all constant points equal to one value this leaves

The lines xab a,b not equal. Each point of the set

abc covers three of these lines the entire set covers each of these lines

there is no duplication the only alternative is to remove a point

abc and cover the lines with points of the form aab which have

a higher weight and only cover one line each this would lower the weight

so the maximum weight occurs when all of abc is omitted along with

the three points xxx and the weight is 6

If we have only two points removed of the form xxx then

The weight is at most 8 say the point not removed is 222

Then we must cover the lines xx2 and x22 we have three six such

Lines and all the xx2 must be covered one at a time by either 112

Or 332 the x22 must be covered one at a time by 322 or 122

These points must be removed and the that lowers the weight

To 8 – 3*(2/6) – 3*(2/6) = 6 again we have c^{\mu} must be less than 6

If 111 is removed

then we must cover all lines of

the form xx2 xx3 and x22 and x33

Look at the pairs of lines such as xx2 and 33x

one with moving coordinates in two positions and

a fixed coordinate equal to 2 or 3 say 2

the other with fixed coordinates equal to the other

value which in this case is 2 so if the fixed coordinate(s)

in one point of the pair is 2 in the other they or it will

Then we must have one of the points 222

112 332 removed to block the first line of the pair

and for the second line we can use 333

332 331. However we do not have the points

222 or 333 removed in this case so we must have

either 332 or the pair 112 or 331.

For every one of the six point 332 or 223

we will have a similar choice forcing either

the removal of the point itself or the associated

pair. After these choices have been made more points

of the form aab can be added but there must be

a subset corresponding to one set of the above six choices

since in each case there are only two ways to cover the lines noted.

If we start with the configuration 111 removed all six points with

two 2’s and one three and two 3’s and one two removed and all points of

the form abc removed then this configuration has weight 6

then we can perform a series of steps which will

reach all combinatorial line free configurations.

These steps are as follows:

1 Making choices as above and allowing the addition

Of all possible abcs

2.Removal of points of the form aab and addition of all possible abc’s

3.Removal of abc

It will be shown that with each step the weight decreases or remains the same

so the weight is 6 or less

This will give all line free configurations as we must have sub configuration

corresponding to one of the six choices and all we can do is add points

of the form aab and take the resulting set with the most possible

Abc’s and them remove any arbitrary abcs that we wish to remove.

Are the making of the six choices noted above and the addition of

any points of the form abc where possible without forming a combinatorial line.

At the start each point of the form abc cannot be added because it has

two lines which are some permutations of x12 and x13 now

look at the points possibly blocking x12 they are 112 212 and 312 initially

point 312 which is removed could not be added because the two points

112 and 212 are not removed as each choice is moved then each of the

removed lines of type 113 covers two lines of the form permutations of x13

similarly lines of type 133 covers two lines of the form permutations of x13

now each choice to replace a line of the form 332 increase the number of

points removed with two coordinates the same by one thus lowers the weight

by one third and blocks four lines of the form x13 or x12 thus after

n such choices we have reduced the weight by n/3 and covered 4n such

lines since every point of the of the form permutations of 123

starts out with 2 such lines which it is blocking and can only be added

when they are filled we can only add at most 2n such points which

since they have weight 1/6 at the end of n such steps the weight

is unchanged now afterwards if we remove more points of the form

aab they cover at most two lines of the form xab and thus allow

at most two points of the form abc to be added thus the change in weight

is at most -1/3 +1/6 +1/6=0 finally afterwards we can remove points

of the form abc but that will only lower the weight.

Finally we have no points of the form xxx removed but then we will

have a line of the form xxx

14 March, 2009 at 12:13 pm

Jason DyerMetacomment: Logo

A tongue-in-cheek suggestion.

14 March, 2009 at 12:37 pm

Seva1106. Here is a sketch of what, hopefully, can be developed into a human proof of . The argument depends heavily on the fact that, applying a non-degenerate affine transformation to a Kakeya set, we get a Kakeya set. Let be the standard basis of .

Suppose that is a Kakeya set with . For each of the directions in fix a line in this direction inside . We thus have lines, with points on each line, resulting in point-line incidences — and just points; therefore, there is a point in , incident with (at least) four lines. Shifting suitably, we assume that and contains four lines through .

If all lines through in are contained in a subspace of dimension , then actually contains this subspace, and without loss of generality we can assume that the subspace is . Fix a vector in outside this subspace; WLOG, this vector is . Thus, consists of , , and two more vectors, and the proof is easy to complete in this case showing that such a set cannot contain a line in every direction.

Therefore, the four lines through are not contained in a proper subspace. Hence, applying a suitable linear transformation, we can assume that the directions, determined by these lines, are , and , with some vector of weight at least . (The weight of a vector for this purpose is the number of non-zero coordinates in its expansion in the standard basis.) That is, . If the weight of is , then, changing the signs of the vectors of the standard basis as needed (which is a linear transformation, of course), we can assume ; similarly, if the weight of is , then we can assume .

We thus are left with two cases to consider, as follows. Case (A): consists of , and three more vectors. Case (B): consists of , and three more vectors. Hopefully, both these cases can be completed with some moderate effort.

14 March, 2009 at 2:25 pm

Terence Tao1107. Kakeya

I realised that I can import some existing arguments in the literature to get some better lower bounds on Kakeya in this low characteristic, high dimensional regime than the (3/2)^n bound from Dvir-Kopparty-Saraf-Sudan.

For instance, we can use the “bush” argument. There are different directions. Take a line in every direction, let E be the union of these lines, and let be the maximum multiplicity of these lines (i.e. the largest number of lines that are concurrent at a point). On the one hand, from double counting we see that E has cardinality at least . On the other hand, by considering the “bush” of lines emanating from a point with multiplicity , we see that E has cardinality at least . If we minimise over all possible values of one obtains approximately as a lower bound of |E|, which is asymptotically better than .

Or, we can use the “slices” argument. Let be the three slices of a Kakeya set E. We can form a graph G between A and B by connecting A and B by an edge if there is a line in E joining A and B. The restricted sumset is essentially C, while the difference set is all of . Using an estimate from my paper with Nets Katz, we conclude that , leading to the bound , which is asymptotically better still.

For an upper bound, I can invert the “slices” idea and use a construction of Imre Ruzsa. Let be the set of strings with 1’s, 0’s, and no 2’s; let be the set of strings with 2’s, 0’s, and no 1’s, and let . From Stirling’s formula we have . Now I claim that for most , there exists an algebraic line in the direction (1,t). Indeed, typically t will have 0s, 1s, and 2s, thus where e and f are strings with 1s and no 2s, with the 1-sets of e and f being disjoint. One then checks that the line lies in E.

This is already a positive fraction of directions in E. One can use the random rotations trick to get the rest of the directions in E (losing a polynomial factor in n).

Putting all this together, I think we have

or

This seems consistent with your conjecture .

15 March, 2009 at 5:20 am

Seva1108. Kakeya in

Dear Terry,

As I see it, your 1107 post essentially solves the problem: the gap between the lower and upper bounds is not that large now, and narrowing it further may be both pointless and tedious (while finding a sharp asymptotic may be hopeless). I would also say that the values of for small are not of much interest now that is known to hold.

A couple of minor remarks.

The “bush argument” gives the very same estimate as that indicated in my original post. Since this estimates supersedes the Dvir-Kopparty-Saraf-Sudan bound, I have not mentioned the latter.

For the estimate mentioned in my post I used restricted addition and Balog-Szemeredi; so, the “slices argument” is kind of an improvement of what I did.

Also, for the slices argument: I don’t quite see why “the restricted sumset is essentially “, but it is contained in , which is just fine for our purposes; correct?

15 March, 2009 at 8:11 am

Terence Tao1109. Kakeya in

Fair enough. It may still be interesting to know the dependence on the field size though. For each prime power q, let be the minimal size of a Kakeya set in , then we know from submultiplicativity that converges to a limit . For instance I think one can show that , and we now know that . What happens for other values of q? Dvir et al. show that for all q, and of course . I don’t know which bound is closer to the truth.

Your Balog-Szemeredi argument, by the way, sounds very similar to the original slices argument of Bourgain in which my paper with Nets was based (and the Bourgain paper was in turn inspired by Tim Gowers’ paper on Szemeredi’s theorem, and in particular on his version of the Balog-Szemeredi lemma):

http://www.ams.org/mathscinet-getitem?mr=1692486

In our language, the Bourgain argument would give .

p.s. Yes, “contained in -C” is what I meant by “essentially C”. I got lazy and didn’t want to work out the exact relationship :)

15 March, 2009 at 11:03 am

Seva1110. Kakeya in ${\mathbb F}_3^r$ (in reply to 1109)

> Your Balog-Szemeredi argument, by the way, sounds

> very similar to the original slices argument of Bourgain

Not surprising: the idea to use this approach was actually suggested to me by Bourgain!

Also, upon some thinking. It seems that Ruzsa’s argument that you mention is not really about slices; it is about a clever modification of the construction from my initial post. Namely, instead of the set of all vectors in with either , or missing among their coordinates, consider its subset , where is the set of all those vectors with coordinates equal to and the rest equal to , and is the set of all those vectors with coordinates equal to and the rest equal to . Then , being of size just about , contains lines in positive proportion of directions. No slices!

15 March, 2009 at 1:10 pm

Kristal Cantwell1111. Moser sets n=4

If a Moser set for n=4 has 5 or more points with three 2’s it must have less than 41 points it must have the following statistics:

(7, 15, 14, 5,0), (6, 15, 15, 5,0)

I have already proved the case with 6 or more points cannot occur so all I need to do here is get the case n=5. We note that there cannot be a point with four 2’s as then we would have 39 points. We have 5 points with exactly three 2’s and one coordinate not equal to 2. That gives 5 values not equal to 2 and four coordinates one coordinate must have the coordinate value not equal to 2 from 2 of the five points. One value must be three the other one. We slice at this point and get two cubes with the center point filled which by the n=3 section of the wiki on Moser sets must have 13 points or less. Since there are 5 points with three 2’s the center slice must have the remaining three. Now if we have 41 or more points it must have a center slice equal to 15 points or more. However by the Pareto-optimal statistics in the section n=3 of the wiki we see that a cube with c greater than three can have value at most 15. Further it must have the statistics (3,9,3,0) The two side cubes must have statistics 3,6,3,1) or (4,6,2,1) this gives three possible combinations which give the following possible sets of statsitcs:

(8, 15, 13, 5,0), (7, 15, 14, 5,0), (6, 15, 15, 5,0)

Now the statistics (8, 15, 13, 5,0) violate the following inequality from the section n=4 of the wiki

4a + b + c + d is less than or equal to 64 as it equals 65. So we are left with:

(7, 15, 14, 5,0), (6, 15, 15, 5,0) and we are done.

15 March, 2009 at 2:02 pm

Kareem Carr1112. Terry suggested that these types of visualizations might be more useful. I have made a few.

http://twofoldgaze.wordpress.com/2009/03/15/visualizing-solutions-i/

http://twofoldgaze.wordpress.com/2009/03/15/visualizing-solutions-ii/

15 March, 2009 at 4:13 pm

Terence Tao1113. 4D Moser

Kristal, I played around with Michael’s linear inequalities using maple and I think I can rule out d=5 completely for the 41+ point sets using them via a purely human proof (which was found, of course, using maple). On the 3D section of the Wiki, we have the inequalities

(1)

(2)

which when averaged on middle slices gives the 4D inequalities

(3)

. (4)

Averaging (1) on side slices similarly gives

. (5)

Computing 9/4 *(3) + (4) + 4*(5) gives

and so if then we must have .

I got maple to find the integer solutions to that were consistent with all known inequalities. They are: (6,16,15,4,0,0), (7,16,14,4,0,0), (7,17,13,4,0,0), and (7,18,12,4,0,0).

15 March, 2009 at 4:47 pm

Kareem Carr1114. An animation of extremals of type c’_5:

http://twofoldgaze.wordpress.com/2009/03/16/visualizations-iii/

16 March, 2009 at 7:58 am

Kareem Carr1115.

I found a new largest solution for c’_7:

(Text)

http://twofoldgaze.wordpress.com/2009/03/16/solution-of-size-989-text/

(Image)

http://twofoldgaze.wordpress.com/2009/03/16/solution-of-size-989-image/

16 March, 2009 at 2:17 pm

Christian Elsholtz1116. Kareem’s 989 Moser-example in dimension 7.

here is an analysis which perhaps helps improving your programme:

I do not exactly know how your programme works, so the analysis is how a programme could have found the 989 set from the 988 set.

The 988 solution and the new 989 solution do not differ very much.

Start with the 988 solution.

Delete {1112223, 1311231}

and add {1111233, 1112333, 2312231}

and you have the 989 solution.

While a complete search to find such an exchange might need about

988 times 987/2 steps for the deletion, multiplied with

(2187-988)times (2187-989) times (2187-990)/6 steps for the

addition, the following speeds it up considerably:

Start with a progression-free set.

Take a loop over one element to be added. (Here say 988 steps).

Write down all clashes. (those must include of course the new element, so the search may be efficient).

If there are many forget about this case,

if there are very few, delete some of them.

Check if all clashes are avoided, and for any pair of two

elements list those elements that extend the two to a progression.

In this example this works extremely well.

Start with the 988 set.

add {1111233}, giving 989 elements.

The set of clashes is built by the five elements.

{1111233, 1112223, 1113213, 1211232, 1311231}

Choose subsets of 2 of the 4 elements. (of course avoid 1111233 which we

just added).

If in this way you delete for example {1112223,1311231}, and check for elements which

are now not the last point of an arithmetic progression, then you find

{1112333, 2312231}.

(Well, I may have been lucky with this choice, but the point is that there are not so many cases.)

More generally, it seems one can iterate this:

instead of deleting k and adding k+1 elements, which seems to produce many

cases, proceed in the above balanced way:

add one, and only use those cases with very few clashes.

Choose from these few clashes two (or more) elements to delete,

and check which elements can then be added etc.

16 March, 2009 at 3:41 pm

Kareem Carr1117. Christian’s idea sounds like a great idea for a mutation operator. The current one is somewhat dumb, it adds one where it can and doesn’t do any global considerations of the whole solution. I ruled out any kind of global examination of the solution as too slow but now that more computations aren’t yielding dramatically better results, a slow operator doesn’t seem as expensive as it did before.

I had been intending to solicit advice on small tricks that people have found useful in generating new solutions. (If Christian or any one else has any ideas please let me know.)

Thanks for the idea, Christian. There are an ever growing list of things that need to be done with this project but I will implement this one as soon as I can.

16 March, 2009 at 4:00 pm

Micahael BaconI can’t contribute directly to these types of developments, but I would be interested in Mr. Tao’s thoughts regarding what I think is the amazing ability of web-based approaches to these and many other math and physics issues. Does this new rapid and multi-personal addressing of issues offer hope that much more rapid progress will be made?

16 March, 2009 at 4:14 pm

Terence Tao1118. 4D Moser extremals

The 3D Moser extremals that Michael found (by computer exhaustion of the 2^{27} cases, though I would imagine that we could also verify the resulting linear inequalities by hand if needed) have been very useful in higher D. It would thus be nice to obtain a list of 4D Moser extremals. Even just knowing the e=1 extremals would presumably improve our inequalities somewhat.

Unfortunately, direct exhaustion requires 2^{81} cases to check, which is too huge. There is a symmetry group of size to cut things down a little bit, and we can of course close off any branch of the exhaustion that contains a line, but this is still not feasible.

On the other hand, by collapsing the 81 points of into the five classes a,b,c,d,e (with 16, 32, 24, 8, 1 points in each) we get a much more tractable integer program, and we can already get quite far just from using the linear inequalities inherited from 3 and lower dimensions. But it doesn’t quite give us everything we need, e.g. it gives an upper bound of 44 off the bat, and additional work is needed to get 43, and we still can’t rule out d=4 41-point sets other than via Klas’s data.

So I propose an intermediate regime, in which we identify 1s and 3s but leave the 2s intact. Let’s use x to denote letters that are either 1 or 3, then the 81 points get split up into 16 groups: 2222 (1 point), 222x, 22×2, 2×22, x222 (two points each), 22xx, 2x2x, x22x, 2xx2, x2x2, xx22 (four points each), 2xxx, x2xx, xx2x, xxx2 (eight points each), xxxx (sixteen points). Let c(w) denote the number of points inside a group w, e.g. c(xx22) is the number of points of the form xx22 inside the set, and is thus an integer from 0 to 4.

Every combinatorial line in gives rise to an inequality between the corresponding c’s. For instance, the line gives rise to the inequality (as can be seen by considering the four lines connecting a 222x point to two 2xxxx points) and more generally we have whenever is a line where u has a 2’s and v has b 2’s with .

This is an integer program on 16 variables and 80 line inequalities (plus the upper bound and the 16 inequalities asserting that all c(w) are non-negative), which looks tractable. One should be able to get a list of Pareto-optimal and extremal c-statistics either by integer-programming or by brute force. (The total number of possible c-statistics is , which is at the edge of what brute force can deal with, but presumably one can use symmetries to cut things down a bit (e.g. assuming cuts things down by a factor of 13 or so; also, c(xxxx) can be easily maximised after making all the other choices, potentially saving a factor of 17). The e=1 case (when c(2222)=1) should be particularly doable (the total number of possibilities here is now , and after using symmetries this should be quite manageable). Once the possible c-statistics are known, the (a,b,c,d,e) statistics can then be recovered (for instance, we may be able to improve the current upper bound of 39 for the size of e=1 4D Moser sets). (Also, the c-statistics also reveal the (a,b,c,d,e) statistics of 4D diagonal cubes in higher dimensions, e.g. xxyyzw, which could lead to further improvement in the 6D and 7D bounds.)

Of course, just as the a,b,c,d,e inequalities didn’t fully recover all possible statistics of Moser sets, it could be that the c-inequalities (which are only “averaged” versions of the property of having no combinatorial lines) don’t quite capture the full truth of the situation. But they should do better than the (a,b,c,d,e) inequalities method, and seem within range of a reasonable computer search.

16 March, 2009 at 4:27 pm

Kareem Carr1119. I thought this analysis of the solutions of c_7 might be of interest:

http://twofoldgaze.wordpress.com/2009/03/16/the-structure-of-the-extremal-1302/

http://twofoldgaze.wordpress.com/2009/03/16/the-structure-of-the-extremals-of-1302-ii/

16 March, 2009 at 4:28 pm

Terence Tao1120. c-statistics

I should say that perhaps it would be wise to first see if this method can already recover the known extremals in 3D. I can at least do 2D by hand: here we have four integers , , obeying the inequalities

.

By symmetry we may also impose (say) . The extremals for are then (0,0,0,4), (0,2,2,2), (1,1,1,2), which correspond exactly to the (a,b,c) extremals (0,0,4), (0,4,2), (1,2,2).

Also, every linear c-inequality at a given dimension implies further linear c-inequalities at higher dimensions by suitable averaging over cubes (but we don’t average as much as in the (a,b,c,d,e) case, we only average over permutations of 1 and 3). One could imagine iteratively building up the c-inequalities much as we have been doing for the coarser (a,b,c,d,e) type inequalities. For instance the above 2D extremals show that , which can be leveraged to higher dimensions (e.g. the first inequality implies that and , and also , by looking at yz2, yzx, and yyz cubes respectively, where the wildcard x is understood to be 1 or 3 but the other wildcards are unrestricted.)

Dear Micahael: these issues are being discussed over at Gowers’ blog at

http://gowers.wordpress.com/2009/03/10/polymath1-and-open-collaborative-mathematics/

16 March, 2009 at 5:26 pm

Kristal Cantwell1121. Alternative to c-statistics

One alternative is breaking up points according to their number of 1’s, 2’s and 3’s this would grow as as opposed to c-statistics which might be exponential. Also both could be combined in order to get more information.

17 March, 2009 at 9:57 am

Michael Peake1122. Alternative to c-statistics

Kristal, isn’t that just the slices we have been using? It only grows as because the total number of 1s, 2s and 3s is constant.

I am running Terry’s idea for at home, and it looks like it will take a day or two.

17 March, 2009 at 10:06 am

Kristal Cantwell1123. Alternative to c-statistics

Yes I think these are the slices we have been using and I agree they are quadratic, .

17 March, 2009 at 4:12 pm

Kareem Carr1124. The next installment in my new series ‘Better know an extremal …':

http://twofoldgaze.wordpress.com/2009/03/17/the-structure-of-the-extremals-of-1302-iii/

18 March, 2009 at 2:05 am

Michael Peake1125. c-statistics

I ran a search for the sixteen c-statistics (2×22, 22×2, etc)

I could only find 65 rules, from the 65 combinatorial lines.

My results limit the total possible points for 4D Moser below 73, which is higher than 43. Either I have a bug, or there was too little connection between the various c statistics.

For the record, the Pareto extremals it found were

16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0

8,8,8,8,8,4,4,4,4,4,4,2,2,2,2,1

12,4,4,4,4,2,2,2,2,2,2,1,1,1,1,0

14,2,2,2,2,1,1,1,1,1,1,0,0,0,0,0

10,6,6,6,6,3,3,3,3,3,3,1,1,1,1,0

15,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0

13,3,3,3,3,1,1,1,1,1,1,0,0,0,0,0

11,5,5,5,5,2,2,2,2,2,2,1,1,1,1,0

9,7,7,7,7,3,3,3,3,3,3,1,1,1,1,0

18 March, 2009 at 4:14 am

Michael Peake1126. c-statistics

I ran through the 2^27 subsets of the 3D cube, looking for Moser sets. I classified them with the c-statistics. I collected Pareto optimal points. Then, from the extremal points I found a set of twenty linear inequalities satisfied by all Moser sets. They are the same linear inequalities found earlier for the ‘xxxxyyz diagonals’. They are on Sheet 8 of a spreadsheet in the Moser section of the wiki.

I don’t yet know their effects in 4D

18 March, 2009 at 9:52 am

Jason Dyer1127. Progress on

What I have typed so far is at the talk page about Fujimura’s on the wiki. My time is limited (my wife is close to giving birth to our first child) so it may be a while before I can finish all the cases.

18 March, 2009 at 10:57 am

Kristal Cantwell1128. Progress on \overline{c}^\mu_6 = 15

“My time is limited (my wife is close to giving birth to our first child)”

Congratulations!

18 March, 2009 at 11:12 am

Kristal Cantwell1129. c^{\mu}_4=9

If c^{\mu}_4 is greater than 9 then the counterexample must occur

when there is exactly one point of the form aaaa removed. The other three cases are below.

If we have all

three points of the form aaaa removed

then the remaining points have value 12 and

we have covered all lines any set of moving coordinates

with all constant points equal to one value this leaves

the lines xxab, xabc and xaab. let us also remove the three sets of the form aabc, a, b, c not equal. These block the remaining lines and the size is now 9.

Now suppose we try to replace the removed points of the form aabc by points of the form aaab or aabb. Now we must cover the lines of the form xaab each point of the form aabc covers two and has a weight 1/12 each point of the form aabb covers 4 and has a weight 1/6 each point of the form aaab covers three and has a weight of 1/3 and since each element of the form covers two elements of the form xaab that no other element of the set aabc covers and as noted above all lines of the form xaab are covered by the the elements of the three sets of the form aabc we cannot improve on the weight as we can only cover the xaab’s by the same or higher weight lowering the total from 9 so for this case the value is 9.

If we have two points removed of the form aaaa then

the weight is at most 13 say the point not removed is 2222

then we must cover the lines xxx2 and x222 we have eight such

lines and all six xx22 must be covered one at a time by either 1122

or 3322 the four x222 must be covered one at a time by 3222 or 1222

the four xxx2 must be covered by 3332 or 1112

these points must be removed and the that lowers the weight

To 13 – 4*(6/24) – 6*(1/6) – 4(6/24) = 10.

We also have 24 lines of the form xabc which can only be covered

two at a time by the aabc which have weight 1/12 so we need to cover

these with at least 12 of these which we can do by choosing all points which are permutations of

1123 this reduces the number to 9 and

again we have c^{\mu} must be 9.

Finally we have no points of the form aaaa removed but then we will

have a line of the form xxxx.

19 March, 2009 at 3:25 pm

Jason Dyer1130

from the bound for general n.

Note that there are ten extremal solutions to :

Solution I: remove 300, 020, 111, 003

Solution II (and 2 rotations): remove 030, 111, 201, 102

Solution III (and 2 rotations): remove 030, 021, 210, 102

Solution III’ (and 2 rotations): remove 030, 120, 012, 201

Also consider the same triangular lattice with the point 020 removed, making a trapezoid. Solutions based on I-III are:

Solution IV: remove 300, 111, 003

Solution V: remove 201, 111, 102

Solution VI: remove 210, 021, 102

Solution VI': remove 120, 012, 201

The on the 7x7x7 triangular lattice triangle 141-411-114 must have at least one point removed. Remove 141, noting by symmetry any logic that follows will also work for either of the other two points.

Suppose we can remove all equilateral triangles on our 7×7×7 triangular lattice with only 12 removals.

Here, “top triangle” means the top four rows of the lattice (with 060 at top) and “bottom trapezoid” means the bottom three rows.

At least 4 of those removals must come from the top triangle (the solutions of mentioned above).

The bottom trapezoid includes the overlapping trapezoids 600-420-321-303 and 303-123-024-006. If the solutions of these trapezoids come from V, VI, or VI’, then 6 points have been removed. Suppose the trapezoid 600-420-321-303 uses the solution IV (by symmetry the same logic will work with the other trapezoid). Then there are 3 disjoint triangles 402-222-204, 213-123-114, and 105-015-006. Then 6 points have been removed. Therefore at least six removals must come from the bottom trapezoid.

To make a total of 12 removals there must be either:

Case A: 4 removals from the top triangle and 8 from the bottom trapezoid.

Case B: 5 removals from the top triangle and 7 from the bottom trapezoid.

Case C: 6 removals from the top triangle and 6 from the bottom trapezoid.

* Suppose case A is true.

Because 141 is already removed, the solution to the upper triangle must remove either solution I (remove 060, 330, 033), solution II (remove 060, 231, 132), solution IIb (remove 033, 150, 240) or solution IIc (remove 330, 051, 042)

Suppose I is the solution for the upper triangle.

Suppose 222 is open. Then 420, 321, 123, and 024 must all be removed. This leaves five disjoint triangles which require removals in the bottom trapezoid (150-600-105, 051-501-006, 222-402-204, 231-411-213, 132-312-114); therefore the bottom trapezoid needs at least 9 removals, but we can only make 8, therefore 222 is closed.

Suppose 411 is open. Then 213 and 015 must be removed. This leaves five disjoint triangles such that each triangle must have exactly one removal (420-150-123, 321-051,024, 600-510-501, 402-312-303, 204-114-105), so the remaining point (006) must be open, forcing 501 to be removed. This makes 600 and 510 open, and based on the triangles 600-240-204 and 510-150-114 both 204 and 114 must both be removed, but 204 and 114 are on the same disjoint triangle, contradicting the statement that each triangle must have exactly one removal. So 411 is closed.

This leaves six disjoint triangles each which must have at least one removal (420-123-150, 321-024-051, 510-213-240, 312-015-042, 501-204-231, 402-105-132). This forces 600 and 006 to be open. Based on the triangles 006-501-051 and 600-204-240, this forces 501 and 204 to be open. But then there are no removals from the triangle 501-204-231, which is a contradiction. Therefore the solution of the upper triangle cannot be I.

Suppose II is the solution for the upper triangle.

There are seven disjoint triangles (150-600-105, 051-501-006, 222-402-204, 240-510-213, 042-312-015, 330-420-321, 033-123-024), therefore of the three points remaining in the bottom trapezoid (411, 303, 114) exactly one must be removed.

Suppose 411 is removed. Then 114 and 303 are open; 114 open forces 510 to be removed, forcing 213 to be open. 114 and 213 open force 123 to be closed, forcing 024 to be open. 024 open forces 222 to be closed, which forces 204 to be open, which leaves the triangle 213-303-204 open so we have a contradiction.

By symmetry 114 also can’t be removed. Therefore we must remove 303. This leaves 411 and 114 open, forcing 510 and 015 closed. 510 and 015 closed forces 312 and 213 open, forcing 222 closed. 222 closed forces 402 and 204 open. 402 and 204 open force 501 and 105 closed. 510 and 105 closed force 600 and 006 open, leaving equilateral triangles 600-204-240 and 402-006-042 open. Therefore 303 can’t be removed, and so the solution of the upper triangle can’t be II.

Suppose IIb is the solution for the upper triangle.

Suppose 024 is open. This forces 420, 321, and 222 closed. Five disjoint triangles remain (510-600-501, 231-411-213, 132-312-114, 123-303-105, 024-204-006) so each must have exactly one point removed, and the remaining points in the lower trapezoid (402, 015) must be open. This forces 312, 411, 510, and 006 closed, which then force the the other points in their disjoint triangles open (600, 501, 231, 213, 132, 114, 204). The triangle 501-231-204 is therefore open, so we have a contradiction, therefore 024 is closed.

Suppose 006 is open. This forces 600, 501 and 402 to be closed, and leaves five disjoint triangles (510-420-411, 321-231-222, 312-132-114, 303-213-204, 105-015-006) and so 123 must be open. This forces 222 closed, which forces 321 open, which forces 420 closed, which forced 510 and 411 open, which forces 213 closed, which forces 303 and 204 open, which forces 105 closed, which forces 015 and 006 to be open, leaving an open triangle at 411-015-051. Therefore we have a contradiction, so 006 is closed.

Given 024 and 006 closed, now note there are six disjoint triangles (600-510-501, 402-312-303, 204-114-105, 420-330-321, 222-132-123, 411-231-213). Therefore the remaining point in the lower trapezoid 015 must be open, forcing 510, 411, and 312 to be closed. Using the disjoint triangles this forces 600, 501, 402, 303 and 213 to be open, which then forces 420 and 321 to be closed. Both 420 and 321 are on the same disjoint triangle, therefore we have a contradiction, so IIb can’t be solution.

Note by symmetry, the same logic for IIb will apply for IIc. Therefore case A isn’t true.

* Suppose case B is true.

The row 330-231-132-033 has ten possible solutions (excluding reflections, which by symmetry will be handled by the same logic):

Case Q: open-open-open-open

Case R: closed-closed-closed-closed

Case S: closed-open-open-open

Case T: closed-open-closed-closed

Case U: open-closed-closed-closed

Case V: closed-open-closed-closed

Case W: closed-closed-open-open

Case X: closed-open-closed-open

Case Y: open-closed-closed-open

Case Z: closed-open-open-closed

Consider all 10 cases. Note in all these cases we are still assuming 141 is removed.

(Case Q) 330, 231, 132, 033 open forces 060, 150, 051, 240, 141, 042 closed, but the upper triangle only allows 5 removals, so case Q forms a contradiction.

(Case R) 060-240-042 is left open, so case R forms a contradiction.

(Case S) 231, 132, and 033 open force 031 and 042 removed, which means from 240, 150, 061 there must be exactly one removal.

Suppose 213 is open. Then 411 and 015 are closed, and five disjoint triangles are left where each triangle must have exactly one removal (600-420-402, 501-321-303, 312-222-213, 204-105-114, 123-024-033). So the two remaining points in the lower trapezoid (510 and 006) must be open. 510 and 006 open force 303 closed, which forces 321 and 501 open, which forces 204 closed, which forces 114 and 103 open, which forces 402 and 312 closed, forcing 222 open, leaving 321-231-222 as an open triangle, so we have a contradiction.

Therefore 213 is closed. This leaves six disjoint triangles (600-420-402, 501-231-204, 303-033-006, 411-321-312, 222-132-123, 114-024-015) which each have exactly one removal. Therefore 510 from the lower trapezoid is open. Note since one of 150 and 060 must be open, then one of 114 or 015 must be closed; therefore 024 is open. This forces 123 closed, forcing 222 to be open, forcing 321 to be closed, forcing 411 and 312 open, forcing 421 closed, forcing 600 and 402 open, forcing 303 closed, forcing 006 open, forcing 204 closed, forcing 501 open, leaving the triangle 600-510-501 open and a contradiction.

(Case T) 231 is closed, and 330, 132, and 033 open force 060, 150, and 042 closed. Since 141 is already closed we have five removals from the top triangle, so 240 and 051 are open.

Suppose 024 is open. This forces 321 and 123 closed, leaving five disjoint triangles (600-510-501, 402-312-303, 204-114-105, 420-240-222, 213-033-015). Therefore 006 and 411 remaining in the lower trapezoid are open, forcing 501, 303 and 015 closed, forcing 600, 510, 312, 402, and 213 open, forcing 222 closed, forcing 420 open, leaving the open triangle 420-510-411, so we have a contradiction.

Therefore 024 is closed. There are now six disjoint triangles (510-600-501, 330-420-321, 312-402-303, 132-222-123, 033-213-015, 114-204-105). This leaves 411 and 006 open, which forces 015 and 501 closed, which forces 510 and 213 open, leaving the triangle 240-510-213 open, so we have a contradiction.

(Case U) Given the removals 231, 132, 033, and 141, the only possible removal to not leave any equilateral triangles in the upper triangle is 060. So 330, 240, 150, 051, and 042 are open.

Suppose 420 is open. This forces 321, 222, and 123 closed. This leaves five disjoint triangles (600-330-303, 510-420-411, 204-105-114, 501-051-006, and 312-042-015), so we have a contradiction.

Therefore 420 is closed. This leaves six disjoint triangles (600-330-303, 501-051-006, 204-114-105, 510-240-213, 411-321-312, 222-042-024). 015 in the lower trapezoid is therefore open, forcing 312 and 411 closed, but 312 and 411 are on the same disjoint triangle, so we have a contradiction.

(Case V) Given the removals 330, 132, and 033, the only possible removal to not leave any equilateral triangles in the upper triangle is 060. So 150, 051, 240, 042, and 231 are open.

Suppose 420 is open. Then 222 and 123 are closed, and we are left with 6 disjoint triangles (150-600-105, 240-510-213, 231-501-204, 024-114-015, 042-402-006, 411-321-312). This exceeds our limit of 7 removals in the bottom trapezoid, so we have a contradiction.

Therefore 420 is closed. Again we are left with the same 6 disjoint triangles (150-600-105, 240-510-213, 231-501-204, 024-114-015, 042-402-006, 411-321-312). Therefore 222, 123, and 303 are open. This forces 321, 024, and 105 to be closed, which then forces 411 and 015 to be open, forming an open triangle at 051-411-015, so we have a contradiction.

(Case W) Given the removals 330 and 231 with 132 and 033 open, 132 and 033 open force 042 closed. Given 141 is already closed, that leaves one more removal on the upper triangle, which must be one of 060-150-051, so 240 must be open.

Suppose 024 is open. This forces 123 to be closed, and leaves 6 disjoint triangles (600-510-501, 420-240-222, 411-321-312, 402-132-105, 213-033-015, 204-024-006). So 303 and 114 in the lower trapezoid are left open, forcing 312 and 005 to be closed, forcing 204 and 321 to be open, forcing 600 and 501 to be closed. 600 and 501 are on the same disjoint triangle so we have a contradiction.

Therefore 024 is closed. Suppose 312 is open. This forces 114 to be closed, and leaevs 5 disjoint triangles (600-510-501, 411-321-312, 303-213-204, 222-132-123, 105-015-006). Therefore 402 in the lower trapezoid is open, which forces 105 to be closed, which forces 015 and 006 to be open, which forces 213 and 303 to be closed, which are on the same disjoint triangle, so we have a contradiction.

Therefore 312 is closed. This leaves five disjoint triangles (510-240-213, 501-411-402, 222-132-123, 204-114-105, 303-033-006), and leaves 600, 420, 321, and 015 in the lower trapezoid open. This forces 402 and 213 to be closed, which forces 510 and 411 to be open, leaving an open triangle at 510-420-411, so we have a contradiction.

(Case X) 330 and 132 closed and 231 and 033 open imply 051 is closed, and since 141 is closed and we have only one more removal in the upper triangle it must be one of 240, 042, or 060. This leaves 150 open.

Suppose 321 is open. This forces 222 to be closed and leaves six disjoint triangles (600-420-402, 510-150-114, 411-321-312, 303-213-204, 105-015-006, 123-033-024), leaving 501 in the lower trapezoid open. This forces 204 to be closed, which forces 303 to be open, leaving an open triangle at 501-321-303.

So 321 is closed. This leaves six disjoint triangles (600-420-402, 510-150-114, 501-231-204, 312-222-213, 123-033-024, 105-015-006) and leaves 303 and 411 in the lower trapezoid open. This forces 213 and 006 to be closed, and forces 312, 222, 105, and 015 to be open. This forces 600 to be closed and 402 to be open, leaving an open triangle at 402-312-303. So we have a contradiction.

(Case Y) 330 and 033 are open, 330 and 033 open force 060 to be closed. With 141 closed there can be only one more removal, so suppose 150 is open (and note that if 150 was closed, we can use symmetry considering 051 to be open).

Suppose 600 is open. This forces 303 to be closed, and leaves six disjoint triangles (510-150-114, 420-330-321, 411-501-402, 222-312-213, 033-123-024, 015-105-006). So 204 in the lower trapezoid is left open. 600 and 150 open implies 105 is closed, forcing 015 and 006 to be open, forcing 024 and 213 to be closed, forcing 312, 222, and 123 to be open, forcing 042 in the upper triangle to be closed (so 051 and 240 are open). 051 and 015 open force 411 to be closed, which forces 501 to be open and leaves the open triangle 051-501-006.

So 600 is closed. This leaves six disjoint triangles (510-150-114, 420-330-321, 411-501-402, 222-312-213, 033-123-024, 015-105-006). 015 is the lower trapezoid is then left open, forcing 312 and 411 to be closed. However, 312 and 411 are on the same disjoint triangle, so we have a contradiction.

(Case Z) 330, 141, and 033 are closed, and 231 and 132 are open. Suppose 051 is open (note that if this forms a contradiction, by symmetrical argument we can say both 150 and 051 are closed).

Suppose 114 is closed. This leaves six disjoint triangles (600-510-501, 402-312-303, 105-015-006, 411-231-213, 222-132-123, 321-051-024) and so 420 and 204 are open. This forces 501 to be closed, which forces 510 and 600 to be open, which forces 411 and 402 to be closed, which forces 213 and 303 to be open, leaving an open triangle at 213-303-204.

So 114 is open. Suppose 213 is closed. This leaves five disjoint triangles (600-420-402, 501-321-303, 411-051-015, 222-132-123, 204-024-006) and in the lower trapezoid 510 and 105 are open. This forces 204 to be closed, forcing 024 and 006 to be open, forcing 015 to be closed, forcing 411 to be open, forcing 420 to be closed, forcing 402 to be open, leaving the open triangle 402-132-105.

So both 114 and 213 are open. Therefore 411 and 312 are closed. This leaves five disjoint triangles (600-510-501, 303-213-204, 105-015-006, 222-132-123, 321-051-024). The remaining points in the lower trapezoid (420, 402) are then open, forcing 105 to be closed, forcing 015 and 006 to be open, forcing 024 to be closed. Also note 114 and 213 open force 123 to be closed, which forces 222 to be open, which forces 321 to be closed. 321 and 024 are on the same disjoint triangle, so we have a contradiction.

So 150 and 051 are both closed. However, this leaves the triangle 240-042-060 open, so case Z is impossible.

Since all ten solutions have been eliminated, case B is impossible.

* Suppose case C is true.

Suppose the trapezoid 600-420-321-303 used solution IV. There are three disjoint triangles 402-222-204, 213-123-114, and 105-015-006. The remainder of the points in the lower trapezoid (420, 321, 510, 501, 402, 312, 024) must be left open. 024 being open forces either 114 or 015 to be removed.

Suppose 114 is removed. Then 213 is open, and with 312 open that forces 222 to be removed. Then 204 is open, and with 024 that forces 006 to be removed. So the bottom trapezoid is a removal configuration of 600-411-303-222-114-006, and the rest of the points in the bottom trapezoid are open. All 10 points in the upper triangle form equilateral triangles with bottom trapezoid points, hence 10 removals in the upper triangle would be needed (more than the 6 allowed), so 114 being removed doesn’t work.

Suppose 015 is removed. Then 006-024 forces 204 to be removed. Regardless of where the removal in 123-213-114, the points 420, 321, 222, 024, 510, 312, 501, 402, 105, and 006 must be open. This forces upper triangle removals at 330, 231, 042, 060, 051, 132, our remaining 6 removals on the top triangle. However, we have already removed 141, forcing one removal too many, so the trapezoid 600-420-321-303 doesn’t use solution IV.

Suppose the trapezoid 600-420-321-303 uses solution VI. The trapezoid 303-123-024-006 can’t be IV (already eliminated by symmetry) or VI’ (leaves the triangle 402-222-204). Suppose the trapezoid 303-123-024-006 is solution VI. The removals from the lower trapezoid are then 420, 501, 312, 123, 204, and 015, leaving the remaining points in the lower trapezoid open. The remaining open points is forces 10 upper triangle removals, so the trapezoid 600-420-321-303 doesn’t use solution VI. Therefore the trapezoid 303-123-024-006 is solution V. The removals from the lower trapezoid are then 420, 510, 312, 204, 114, and 105. The remaining points in the lower trapezoid are open, and force 9 upper triangle removals, hence the trapezoid 303-123-024-006 can’t be V, and the solution for 600-420-321-303 can’t be VI.

The solution VI’ for the trapezoid 600-420-321-303 can be eliminated by the same logic by symmetry.

Therefore it is impossible for the bottom trapezoid to use only 6 removals.

We have determined cases A, B, and C to be impossible, therefore it impossible to form a triangle free configuration on the 7x7x7 lattice with only 12 removals. Therefore .

19 March, 2009 at 3:30 pm

Jason Dyer1130.

The proof is complete.

I tried to post it here but I guess it was too large and got caught by the spam filter? It’s definitely a level of complexity over latex \overline{c}^\mu_5$.

20 March, 2009 at 5:44 am

Michael Peake1131 c-statistics

The 3D cube has 14 ways to fit in the 4D cube: 4 side-slices 2yzw, 4 middle slices xyzw, and six diagonal slices wwyz. So twenty inequalities for the cube become 280 inequalities for the 4D cube. There is some repetition, so there are only 239 different inequalities. One solution of these inequalities has 44 points: and permutations.

There were 2150 inequalities for the 5D cube with c-statistics; I have not yet found the maximum for that.

20 March, 2009 at 8:30 am

Jason Dyer1132. Commentary on .

The basic proof strategy was to set up removals such that there would be enough disjoint triangles to say that each triangle needed to have one removal. Then any points not in the union of disjoint triangles were forced to be in , and those points could be used to force a chain of removals leading to an impossibility.

Unfortunately the process was not very mechanical, so it’d be hard to come up with a mathematical generalization. Each case was like its own individual puzzle, and I often had to go through multiple bad attempts before I found a set that broke things open.

However, there was a technique I used in making solution sketches which may have some useful general properties — look for all the possible disjoint triangle sets on a possible configuration, then pick the “overlay pattern” that was the most useful (possibly switching patterns mid-problem).

For example, here’s a simple mathematical property:

Suppose some set of points on the triangular lattice that has a maximal number of disjoint triangles where removals are also sufficient to produce a triangle-free set. Let be the triangle-free sets of (if the solution is unique, ).

Consider all sets where is the number of possible configurations of disjoint triangles in the set .

Then for each , must be a subset of .

(In other words, any points remaining after locating disjoint triangles must be open, considering all of the possible disjoint triangle configurations.)

It’s also possible to set up a graph representing where the disjoint triangles overlap.

Let me take the case of . There are two disjoint triangle configurations: A = 030-120-021, B = 210-300-201, C = 012, 102, 003 and D = 030-210-012, E = 120-300-102, F=021-201-003. Any removal from A has to remove also remove from either D, E, or F; any removal from B has to remove from either D, E, or F, and any removal from C has to remove from either D, E, or F. This can be represented as a complete bipartite graph between A, B, C and D, E, F.

I’m not sure if anything in this will be useful for solving general n, but it might be possible to scrounge some tools to work on low-n cases.

21 March, 2009 at 8:22 am

Michael Peake1132 Kakeya k_3 > 12

We try to find a set A containing twelve points in F_3^3 that form a Kakeya set.

Seva showed in 1106 that we can assume A contains four lines through the origin, including the three axes. (000),(001),(002),(010),(020),(100),(200)

Case A: The fourth line is in the xy plane z=0. Then seven points are in this plane, leaving five points in the two planes z=1, z=2. There are nine directions not parallel to the xy plane; each direction must contain two of the five points, one in the z=1 plane and one in the z=2 plane. This is impossible.

Case B: The fourth line is (000),(111),(222)

If there is a sixth point in the z=0 plane, there are only six points left in z=1 and z=2. To form nine directions out of the xy plane, we need three points in z=1 and three in z=2. We also need none of the nine directions parallel to each other. But (002)-(111) is parallel to (222)-(001), so we can’t get nine non-parallel directions out of the plane.

So the z=0 plane only contains points along the axes. Likewise the x=0 and y=0 planes. There are three points left to place, and they all lie in the cube [1,2]^3.

To form a (120) line, we need to include (121) and (211). Then, to form a (110) line, we need to include either (112) or (221)

Case B1: the extra three points are (121),(211),(112). There is no (112) line.

Case B2: the extra three points are (121),(211),(221). There is no (102) or (012) line.

21 March, 2009 at 11:43 am

Kristal Cantwell1133. c^{\mu}_4=9

This is the final case of the partial proof in 1129.

If one point of the form aaaa is removed say 1111

then we must cover all lines of

the form xxx2 xxx3 and xx22 and xx33 and x222 and x333

Look at the pairs of lines such as xxx2 and 333x

one with moving coordinates in three positions and

a fixed coordinate equal to 2 or 3 say 2

the other with fixed coordinates equal to the other

value which in this case is 3.

Then we must have one of the points 2222

1112 3332 removed to block the first line of the pair

and for the second line we can use 3333

3332 3331. However we do not have the points

2222 or 3333 removed in this case so we must have

either 3332 or the pair 1112 or 3331.

For every one of the eight points 3332 or 2223

we will have a similar choice forcing either

the removal of the point itself or the associated

pair. After these choices have been made more points

of the form aaab can be added but there must be

a subset corresponding to one set of the above eight choices

since in each case there are only two ways to cover the lines noted.

Look at the pairs of lines such as 22xx and xx33

one with moving coordinates in two positions and

a two fixed coordinates equal to 2 or 3 say 2

the other with two fixed coordinates equal to the other

value which in this case is 2 so if the fixed coordinate(s)

in one point of the pair is 2 in the other they or it will

Then we must have one of the points 2211

2222 2233 removed to block the first line of the pair

and for the second line we can use 3333

2233 1133. However we do not have the points

2222 or 3333 removed in this case so we must have

either 2233 or the pair 1133 or 2211.

For every one of the six points with two threes and two twos

we will have a similar choice forcing either

the removal of the point itself or the associated

pair. After these choices have been made more points

of the form aabb can be added but there must be

a subset corresponding to one set of the above six choices

If we start with the configuration 1111 removed all eight points with three 2’s and one three and three 3’s and one two removed and all points with two 3’s and two 2’s removed and all points of the form aabc removed then this configuration has weight 8

then we can perform a series of steps in order which will

reach all combinatorial line free configurations.

These steps are as follows:

1 Making choices as above for elements of the form aaab and allowing the addition

of all possible aabc’ss.

2 Making choices as above for elements of the form aabb and allowing the addition

of all possible aabc’ss.

3.Removal of points of the form aabb or aaab and addition of all possible aabc’s.

4.Removal of aabc’s.

At present none of the aabc can be added

there are lines of the form xx12 and xx13 and x113 and x112

which each have to blocked to allow their addition

What we are going to do is perform the previous steps in order.

we will show that each step eliminates twice as much in weight

of elements of the form aabc as it adds of all other forms. To facilitate the proof

we will have to perform the operations in the order listed. However we will

be able to reach every possible configuration. We must have a subconfiguration

corresponding to one set of choices above then we can delete various elements

of the form aabb and aaab to get all possible line free sets of the elements of

the form aabb and aaab and then for each set we add the maximum possible number

of elements of the form aabc.

The point is doing this is that we can only add two units in weight

of the form aabc as the lines of the form xabc must be covered and they

Can only be covered by one unit in weight of elements of the form abc

So if we have the two to one ratio or better and have to stop at two we will

End up with a net change of 2-1 which will raise the weight to 9 or less

And we still have the maximum weight of is 9.

When we make a choice deleting a pair and adding say

2223 which will give 1113 and 2221 we block three lines

of the form xx13 and three of the form xx12 thus allowing

the addition of 6 points of weight 1/12 which give a total

change of weight 1/2 which is exactly twice the net change in

weight caused by the addition of 2223 and the removal of 1113

of 2221

Now with each substitution there will also be the blocking of lines

of the form x113 or x112 however to allow the point say 2113

To be added we must block both x113 and 211x and to do this

We must make choices adding both 2223 and 2333 which unblocks

The line 2xx1 and forbids the addition of the point 2113 thus the increase in

material of the form aabc is twice the net change in weight of the other types

1122 can block the 11×2 two at a time but their

weight is 1/6 so even if they block two of the 11×2

and allow the addition of two 1132’s the weight will

remain the same and since each replacement of 2233

by 1133 and 2211 has only one element of the form

2211 we are done with step one.

For the choices of elements

of the form aabb if we replace an element of the form

2223 by 1113 and 2221 we will be able to block three lines

of the form x113 which gets rid of 3 elements of the form

2113 but the weight of the addional aaab element created is 1/4 and the weight of the removed elements is the same. So step

two can not improve the weight. So we are done with the choices mentioned above and move on two steps 3 and 4 deleting individual elements.

If we add an element of the form 2233 and delete 1133 and 2211 then it can unblock two lines of the form x113 and two of the form x112 thus allowing the addition of at most 4 points of the form

3112 thus giving a net change of -1/4 +4/12 and again the ratio is 2 to one.

Then after all the above choices have been made we can delete elements of the form 2223 which will block at most three lines

Of the form 2xx3 if created by the above choices

And the ratio of points added to points deleted is at most one

And so is less than 1/2 and we are done. The case 3332

is handled the same way.

If we delete an element of the form 1112 we unblock three lines

Of the form xx12 and three of x112 we free at most 6 points with

Weight 1/12 giving a total weight of 1/2 the point removed is weight 1/4 so the ratio is 2 to 1 and we are done the case of

1113 is similar.

If we delete an element of the form 3331 it can unblock three lines

of the form xx31 and we free three points for possible addition

The have total weight equal to the weight of 3331 so the ratio is

less than 2 to 1. The case of an element of the form 2221 is similar.

If we delete a point of the form 2233

We don’t unblock any lines so we can’t

Add any points of the form aabc.

If we delete a point of the form 1133 we unblock two lines

Of the form xx13 and two of x113 and so can add four points

With weight 1/12 which has total 1/3 which is twice the weight

Of the point 1133 so the ratio is less than or equal to 2 and we are

Done. The case of deleting a point of the form 1122 is handled similarly.

So we are done with step three.

If we delete a point of the form aabc the weight is less. So we have gone through all steps and the ratio in them 2 or less and thus in this case the weight is 9 or less and we are done. Since this is the final case we have proved the theorem and the weight is 9.

21 March, 2009 at 11:48 am

Kristal Cantwell1133. c^{\mu}_4=9

This is the final case of the partial proof in 1129. It is divided

into two parts. Here is part one:

If one point of the form aaaa is removed say 1111

then we must cover all lines of

the form xxx2 xxx3 and xx22 and xx33 and x222 and x333

Look at the pairs of lines such as xxx2 and 333x

one with moving coordinates in three positions and

a fixed coordinate equal to 2 or 3 say 2

the other with fixed coordinates equal to the other

value which in this case is 3.

Then we must have one of the points 2222

1112 3332 removed to block the first line of the pair

and for the second line we can use 3333

3332 3331. However we do not have the points

2222 or 3333 removed in this case so we must have

either 3332 or the pair 1112 or 3331.

For every one of the eight points 3332 or 2223

we will have a similar choice forcing either

the removal of the point itself or the associated

pair. After these choices have been made more points

of the form aaab can be added but there must be

a subset corresponding to one set of the above eight choices

since in each case there are only two ways to cover the lines noted.

Look at the pairs of lines such as 22xx and xx33

one with moving coordinates in two positions and

a two fixed coordinates equal to 2 or 3 say 2

the other with two fixed coordinates equal to the other

value which in this case is 2 so if the fixed coordinate(s)

in one point of the pair is 2 in the other they or it will

Then we must have one of the points 2211

2222 2233 removed to block the first line of the pair

and for the second line we can use 3333

2233 1133. However we do not have the points

2222 or 3333 removed in this case so we must have

either 2233 or the pair 1133 or 2211.

For every one of the six points with two threes and two twos

we will have a similar choice forcing either

the removal of the point itself or the associated

pair. After these choices have been made more points

of the form aabb can be added but there must be

a subset corresponding to one set of the above six choices

If we start with the configuration 1111 removed all eight points with three 2’s and one three and three 3’s and one two removed and all points with two 3’s and two 2’s removed and all points of the form aabc removed then this configuration has weight 8

then we can perform a series of steps in order which will

reach all combinatorial line free configurations.

These steps are as follows:

1 Making choices as above for elements of the form aaab and allowing the addition

of all possible aabc’ss.

2 Making choices as above for elements of the form aabb and allowing the addition

of all possible aabc’ss.

3.Removal of points of the form aabb or aaab and addition of all possible aabc’s.

4.Removal of aabc’s.

21 March, 2009 at 11:50 am

Kristal Cantwell1134. c^{\mu}_4=9

Part 2 continued form 1133:

At present none of the aabc can be added

there are lines of the form xx12 and xx13 and x113 and x112

which each have to blocked to allow their addition

What we are going to do is perform the previous steps in order.

we will show that each step eliminates twice as much in weight

of elements of the form aabc as it adds of all other forms. To facilitate the proof

we will have to perform the operations in the order listed. However we will

be able to reach every possible configuration. We must have a subconfiguration

corresponding to one set of choices above then we can delete various elements

of the form aabb and aaab to get all possible line free sets of the elements of

the form aabb and aaab and then for each set we add the maximum possible number

of elements of the form aabc.

The point is doing this is that we can only add two units in weight

of the form aabc as the lines of the form xabc must be covered and they

Can only be covered by one unit in weight of elements of the form abc

So if we have the two to one ratio or better and have to stop at two we will

End up with a net change of 2-1 which will raise the weight to 9 or less

And we still have the maximum weight of is 9.

When we make a choice deleting a pair and adding say

2223 which will give 1113 and 2221 we block three lines

of the form xx13 and three of the form xx12 thus allowing

the addition of 6 points of weight 1/12 which give a total

change of weight 1/2 which is exactly twice the net change in

weight caused by the addition of 2223 and the removal of 1113

of 2221

Now with each substitution there will also be the blocking of lines

of the form x113 or x112 however to allow the point say 2113

To be added we must block both x113 and 211x and to do this

We must make choices adding both 2223 and 2333 which unblocks

The line 2xx1 and forbids the addition of the point 2113 thus the increase in

Material of the form aabc is twice the net change in weight of the other types

1122 can block the 11×2 two at a time but their

weight is 1/6 so even if they block two of the 11×2

and allow the addition of two 1132’s the weight will

remain the same and since each replacement of 2233

by 1133 and 2211 has only one element of the form

2211 we are done.

For the choices of elements

of the form aabb if we replace an element of the form

2223 by 1113 and 2221 we will be able to block three lines

of the form x113 which gets rid of 3 elements of the form

2113 but the weight of the addional aaab element created is 1/4 and the weight of the removed elements is the same. So step

two can not improve the weight. So we are done with step 2 and move on to step three

If we add an element of the form 2233 and delete 1133 and 2211 then it can unblock two lines of the form x113 and two of the form x112 thus allowing the addition of at most 4 points of the form

3112 thus giving a net change of -1/4 +4/12 and again the ratio is 2 to one.

Then after all the above choices have been made we can delete elements of the form 2223 which will block at most three lines

Of the form 2xx3 if created by the above choices

And the ratio of points added to points deleted is at most one

And so is less than 1/2 and we are done. The case 3332

is handled the same way.

If we delete an element of the form 1112 we unblock three lines

Of the form xx12 and three of x112 we free at most 6 points with

Weight 1/12 giving a total weight of 1/2 the point removed is weight 1/4 so the ratio is 2 to 1 and we are done the case of

1113 is similar.

If we delete an element of the form 3331 it can unblock three lines

of the form xx31 and we free three points for possible addition

The have total weight equal to the weight of 3331 so the ratio is

less than 2 to 1. The case of an element of the form 2221 is similar.

If we delete a point of the form 2233

We don’t unblock any lines so we can’t

Add any points of the form aabc.

If we delete a point of the form 1133 we unblock two lines

Of the form xx13 and two of x113 and so can add four points

With weight 1/12 which has total 1/3 which is twice the weight

Of the point 1133 so the ratio is less than or equal to 2 and we are

Done. The case of deleting a point of the form 1122 is handled similarly. So Step 3 is finished.

If we delete a point of the form aabc the weight is less. So we have gone through all steps and the ratio in them 2 or less and thus in this case the weight is 9 or less and we are done. Since this is the final case we have proved the theorem.

23 March, 2009 at 5:27 am

Klas Markström1135. Other values of k

I have been busy the last few days, with both work and more everyday things like having a cold, but I decided to let the computers to do some new work by expandingto new values of k.

Here

http://abel.math.umu.se/~klasm/Data/HJ/

is a table with the optimum sizes for subsets of [k]^n without combinatorial lines, and the optimal solutions for some cases. (Anyone who can edit the wiki is welcome to add it there)

One natural question here is; For which values of n and k is the optimum size (k-1)k^n ?

Kareem, maybe your program can improve the lower bounds for the values my program could not determine?

23 March, 2009 at 9:25 am

Kristal Cantwell1136. c^{\mu}_4=9

Sorry about the duplication I put the proof for the final case in and it did not go through then I split it in half and it went through later the original finally went through. I have put the cases 3 and 4 in the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Hyper-optimistic_conjecture

23 March, 2009 at 7:07 pm

Jason Dyer1137. Dimension 2, any k

Regarding the data in Markström.1135, it is simple to show when restricting to dimension two the maximal set size has to be k(k-1). This can be done by removing the diagonal values 11, 22, 33, …, kk. Since they are in disjoint lines this removal is minimal.

23 March, 2009 at 11:07 pm

Michael Peake1138. Dimension 2, any k

The k missing points are one per line and one per column.

So their y-coordinates are a shuffle of their x-coordinates.

There are k! rearrangements of the numbers 1 to k.

The k points include a point on the diagonal, so this shuffle is not a derangement. There are k!/e derangements of the numbers 1 to k, so k!(1-1/e) optimal solutions

24 March, 2009 at 1:03 am

Klas Markström1139. Dimension 3, k at least 3

Let S be a latin square of side k on the symbols 1…k, with colour i in position (i,i) ( This is not possible for k=2 )

Let axis one in S correspond to coordinate 1 in [k]^3, axis two to coordinate 2 and interpret the colour in position (i,j) as the third coordinate. Delete the points so defined.

The line with three wild cards has now been removed.

A line with two wildcards will be missing the point corresponding to the diagonal in S.

A line with a single wildcard will be missing a point corresponding to an off diagonal point in S.

Something similar should work in higher dimensions if one can find latin cubes etc with the right diagonal properties.

24 March, 2009 at 5:26 am

Michael Peake1140. , k prime

Delete those points whose coordinates add up to a multiple of k.

Every combinatorial line has one point deleted, except for the major diagonal of d=k, which has all points deleted.

24 March, 2009 at 8:34 am

Kristal Cantwell1141. Values near primes

Could we extend 1140 to values near primes with only a slight loss? For instance for 100 we delete all values equal to zero mod 101 and 1 mod 101 then all combinatorial lines with d less than 101 will have 100 different values mod 101 and hence will have one deleted value. So we will have a line free set for d equal to 101 or less with density 99/101 or more.

24 March, 2009 at 8:51 am

Kristal Cantwell1142. All values

I am looking for a further extension of 1141 according to

R. C. Baker and G. Harman, “The difference between consecutive primes,” Proc. Lond. Math. Soc., series 3, 72 (1996) 261–280. MR 96k:11111

Abstract: The main result of the paper is that for all large x, the interval A=[x-x^0.535,x] contains prime numbers.

This is from the abstract at

http://primes.utm.edu/references/refs.cgi?long=BH96

I found it using:

http://primes.utm.edu/notes/gaps.html

So for any number n there is a nearby prime p whose difference from

n is x^.535 so then we remove x^.535 +1 values mod p and for those values the density will be (p-x^.535-1)/p

of d less than p we will have no combinatorial lines.

24 March, 2009 at 9:12 am

Kristal Cantwell1142. lower bounds on line free sets

I think the results of 1141 can be used to get lower bounds on lines free sets for large n for all values of k. For any k and any n we can find a prime prelatively close to k^n then we remove the first k+1 values mod p then we pick a value then we remove the must k+1 so we only have k+2, 2k+3, etch

the idea is to prevent any two values on a line because two points on a combinatorial line increase by at most k. This has density 1/k so we have

a line free density of 1/(k+1).

24 March, 2009 at 9:34 am

Kristal Cantwell1143. I think the bound in 1142 could possibly be improved. First by getting most of the set concentrated around the point with equal numbers of ones twos and threes or the point with values closes to equality the standard deviation should be something like the square root of n. Then we could apply the near prime with sets c(k^.5 + 1) and get a density of roughly c/k^.5

which I think will be better than the Behrend-Elkin construction as e^-x will eventually be less than 1/x as x increases without limit and the square root of k will increase without limit.

24 March, 2009 at 2:09 pm

Terence TaoJust a quick note to say that I’m traveling at present and have not been able to reply to all the interesting progress made in the last week or so, but it looks like the project is humming along nicely without my assistance anyway! I’ll try to say something more constructive when I return next week.

24 March, 2009 at 3:36 pm

Kevin O'Bryant1144. Implication of Behrend/Elkin for .

If is sufficiently large, then , where the ‘s are base 2.

I’ve posted the details to the wiki under “Hyper-optimistic conjecture” (http://michaelnielsen.org/polymath1/index.php?title=Hyper-optimistic_conjecture).

24 March, 2009 at 3:39 pm

Kevin O'Bryant1145. Gaps between primes

If I recall correctly, then the Riemann hypothesis implies that there is always a prime between and (provided of course that is large enough, while the truth is believed to be that there is a prime between and , and some people have guessed .

24 March, 2009 at 4:23 pm

Anonymous1146. Hyper-optimistic conjecture extended beyond 3

If the Hyper-optimistic conjecture is extended to 4, 5 etc I can prove it for some specific values.

Specifically I think I can prove it Hyper-optimistic conjecture for all the values k greater than d where k is prime as in 1140, the key is every incidence is exactly one and every incidence is of minimum weight on the lines consisting of x repeated d times x followed by d-1 a’s not divisible by the prime k, x followed by d-2 a’s not divisible by the prime k etc these lines will have to be blocked somehow and this can only be done at greater or equal cost. So for the extension of this conjecture beyond 3 we have that it holds true for primes p for values less than or equal to p.

24 March, 2009 at 4:25 pm

Kristal Cantwell1147. Hyper-optimistic conjecture extended beyond 3

The previous anonymous comment was by me, I forgot to include my information.

24 March, 2009 at 7:23 pm

Kristal Cantwell1148. Extending Hyper-optimistic conjecture

To extend this conjecture we need to define a weight beyond 3

we do this by letting the weight of a point with a ones b twos c threes

and d fours to be a!b!c!d!/a+b+c+d! Similarly we can add e for 5 f for6

the general pattern should be clear.

We also need to extend slices thus in the case of k=4 we add a d which is the number of 4’s in the slice similarly we add an e in the case of k=5. The extension of the conjecture would that the maximal weight is realized by a set of slices.

24 March, 2009 at 7:38 pm

Kareem Carr1149.

Klas,

I will look into it. I did not have much time last week but things are opening up now.

Kareem

24 March, 2009 at 7:47 pm

Kristal Cantwell1148. Extending Hyper-optimistic conjecture

I am going to try to prove part of the result I tried to prove in 1146, there is at least one mistake.

I want to prove that if p is a prime and d is a dimension less than p and the Hyper-optimistic conjecture is extended as in 1148 for p then for the specific values of d

less than p the Hyper-optimistic conjecture is true.

To try to prove this try we remove all points whose sum is divisible by p, then since permuting the coordinates will not change the sum this is a set of slices we only need to prove it is minimal in weight and it covers all combinatorial lines. So I have it is a set of slices.

It covers all combinatorial lines because the line since d is less than p must increase by a number less than p hence all values modulo p will be realized including p and we are done. So I have it covers all combinatorial lines.

I still need to prove the weight is minimal though to get the result I want.

I thought I could do this in 1146 but what I wrote did not work.

24 March, 2009 at 11:50 pm

Klas Markström1149. Gaps between primes.

There is a later improvement of the gap result.

Baker, R. C.(1-BYU); Harman, G.(4-LNDHB); Pintz, J.(H-AOS)

The difference between consecutive primes. II.

Proc. London Math. Soc. (3) 83 (2001), no. 3, 532–562.

Here they find a prime in [x-x^{0.525},x]

25 March, 2009 at 7:06 am

Jason Dyer1150. Dimension 2, any k

The number of optimal solutions is this sequence.

25 March, 2009 at 11:57 am

Klas Markström1151. Bounds on c_n from Fujmura.

Has anyone calculated which lower bounds for c_n we get from the optimal solutions to Fujimura’s problem I constructed a while ago?

26 March, 2009 at 12:56 pm

Kristal Cantwell1152. Bounds on c_n from Fujmura.

I have gone back to the posts 923 through 927 where you gave some of these solutions. I didn’t find any improvement to our current bounds. I think to go over some of these solutions the process will have to be automated since there are a lot of solutions in some cases. Possibly we might be able to improve some of the bounds at higher levels by going through all the cases.

26 March, 2009 at 1:09 pm

Klas Markström1153. Bounds on c_n from Fujmura.

Yes for the smaller n we might actually already have the optimal values, but for higher n we could possibly get better bounds than we get from the bounds for general n.

Does anyone want to volunteer to automate this?

I can probably find the full set of optimal solutions to Fujimura’s problem for a few more values of n too.

26 March, 2009 at 1:14 pm

Klas Markström1154.

Do we have any “hand made” values for small n for the quadruple version of Fujimura’s problem Kristal suggested?

26 March, 2009 at 4:42 pm

Jason Dyer1156. Higher-dimensional Fujimura

for k=4:

When n=2, the largest triangle-free set is trivially 2 (remove for example 1000 and 0100).

When n=3, the largest triangle-free set is 6 (remove 0200, 1010, 1001, 0011). Proof: One of 2000, 0200, 0020 must be removed — say it is 0200, and note by symmetry the logic that follows will apply if 2000 or 0020 is removed. There are three disjoint triangles (1010-0110-0020, 2000-1100-1001, 0002-0101-0011) which must all have at least one removal, so the minimal number of removals is 4, so we have proven our solution to be optimal.

26 March, 2009 at 4:44 pm

Jason Dyer1157. Higher-dimensional Fujimura

Oops, my n=3 is wrong. Higher dimensions are tricky: I left 2000-0020-0002 open. Let me fiddle and come back.

26 March, 2009 at 4:49 pm

Jason Dyer1158. Higher-dimensional Fujimura

Do over!

When n=3, the largest triangle-free set is 6 (remove 2000, 0200, 0020, 0002). Proof: One of 2000, 0200, 0020 must be removed — say it is 0200, and note by symmetry the logic that follows will apply if 2000 or 0020 is removed. There are three disjoint triangles (1010-0110-0020, 2000-1100-1001, 0002-0101-0011) which must all have at least one removal, so the minimal number of removals is 4, so we have proven our solution to be optimal.

Note this not only leaves “upside down” triangles but “lateral” triangles like 1100-1010-0010, but none seem to form a combinatoric line.

26 March, 2009 at 7:43 pm

Jason Dyer1159. Higher-dimensional Fujimura

My n are one off from our convention, I of course mean:

When k=4 and n=1, the largest triangle-free set is 2.

When k=4 and n=2, the largest triangle-free set is 6.

I believe that when k=4 and n=3, the largest triangle free set is 12, but I do not have a proof yet.

The lower bound is 6(n-1), using the exact same pattern on each face of the tetrahedron as general n bound with the k=3 case.

We also need a symbol to represent the problem. It’s tempting to use for k=4 but we might be working with larger k (making the stack rather large).

26 March, 2009 at 8:12 pm

Michael Peake1160. Lower bounds on line-free sets

There are disjoint lines *abcd..m, so the density of removed points must be at least 1/k, and retained points at most (k-1)/k.

If then one can get a density of (p-1)/p by deleting points whose coordinates sum to a multiple of p.

The lower bound (p-1)/p approaches (k-1)/k as .

26 March, 2009 at 9:05 pm

Jason Dyer1161. Tetrahedron geometry

In the k = 3 case of Fujimura things get tricky when n >= 3 because the internal points in the tetrahedral lattice must be considered. I believe my early lower bound was too hasty.

26 March, 2009 at 10:59 pm

Jason Dyer1162. k=4 Fujimura

Now I see where my problem has been, we need the tetrahedron-free set to match combinatoric lines, not the triangle-free set.

So n=1 would just be one removal and a set size of 3.

and n=2 would be two removals (say, 1100 and 0002) and a set size of 8.

26 March, 2009 at 11:09 pm

Klas Markström1162. Higher-dimensional Fujimura

Jason, are you considering triangles or squares? I’m just wondering if you are looking at the problem Kristal posted at Tim’s blog or a different version?

26 March, 2009 at 11:11 pm

Klas MarkströmIt seems you answered my question while I was writing it.

27 March, 2009 at 11:50 am

Jason Dyer1163. Fixing k=4 Fujimura

Just in case I make any more mistakes I will putting current progress for now on the talk page of the Wiki.

The current values I have now (barring any further mistakes *cough*) are:

n = 0, largest set of 1

n = 1, largest set of 3

n = 2, largest set of 7

I’m using for now (until we decide on a better notation).

27 March, 2009 at 12:27 pm

Kristal Cantwell1164. HJ(3,3) is greater than 7

For a fixed r and k, the least n needed for the Hales-Jewett theorem to apply is denoted HJ(k,r).

See http://michaelnielsen.org/polymath1/index.php?title=Coloring_Hales-Jewett_theorem

Currently we have:

HJ(3,1) = 1

HJ(3,2) = 4

HJ(3,3) > 6

We start with the set formed by removing (0,1,6), (1,0,6), (0,5,2), (5,0,2) , (1,5,1), (5,1,1),(1,6,0), (6,1,0) from D_7.

Note that none of (0,1,6), (1,0,6), (0,5,2), (5,0,2) , (1,5,1), (5,1,1),(1,6,0), (6,1,0)contains a point whose coordinate sum is divisible by three we give it color 1

where (a,b,c) is shorthand for the slice Γ_a,b,c.

It is combinatorial line free from the n=7 section of the upper and lower bounds wiki at

http://michaelnielsen.org/polymath1/index.php?title=Upper_and_lower_bounds#n.3D7

then we divide the remaining points into all points whose coordinate sum is not equal to 0 mod 9 and

all points of (0,1,6), (1,0,6), (0,5,2), (5,0,2) , (1,5,1), (5,1,1),(1,6,0), (6,1,0)whose coordinate sum is equal to 1 mod 3 We give these color 2

then we take all points of (0,1,6), (1,0,6), (0,5,2), (5,0,2) , (1,5,1), (5,1,1),(1,6,0), (6,1,0)whose coordinate sum equal to 2 mod 3 and those points

whose sum is equal to 0 mod 9. We give these color 3.

Then with this coloring there are nor monochromatic lines. If there are any monochromatic

Lines with number of moving coordinates not divisible by three in color 2 they must contain point whose coordinate sum is equal to 2 mod three

But there are no such points with color 2. If there are any monochromatic lines whose coordinate sum is divisible by three

Than they must contain points whose coordinate sum is 0 mod 9 but there are no such points with color 2. So there

Are no monochromatic combinatorial lines with color 2.

If there are any monochromatic

Lines with number of moving coordinates not divisible by three in color 3 they must contain point whose coordinate sum is equal to 1 mod three

But there are no such points with color 3. If there are any monochromatic lines whose coordinate sum is divisible by three

Than they must contain points whose coordinate sum is not 0 mod 9 but there are no such points with color 3.

As already noted color 1 is combinatorial line free and we are done.

27 March, 2009 at 12:32 pm

Kristal Cantwell1165. Bounds on c_n from Fujmura.

I have been looking at the upper bounds that we have and I think some of them come from lower bounds from Fujimura problem so I think that improvements to this problem could give better bounds.

28 March, 2009 at 1:35 am

Klas Markström1166. Higher-dimensional Fujimura

Jason, how about using where k is the size of the tuples, or the dimension of the Z^k used?

The original Fujimura problem would correpspond to and the quadruple version to

You get a non-constructive quadratic lower bound for the quadruple problem by taking a random subset of size . If c is not too large the linearity of expectation shows that the expected number of tetrahedrons in such a set is less than one, and so there must be a set of that size with no tetrahedrons.

28 March, 2009 at 5:36 am

Jason Dyer1167.

Klas, I have adopted your notation and added your non-constructive bound to the talk page.

Should this be merged into the regular page or should we be making a separate one for the k > 3 cases?

28 March, 2009 at 10:08 am

Michael Peake1168.

if the coordinates of points (a,b,c,d), then a+2b+3c is a four-term arithmetic progression for any of these tetrahedrons.

We include slices a+2b+3c = constant.

http://arxiv.org/PS_cache/arxiv/pdf/0811/0811.3057v2.pdf this paper shows that the proportion of slices included can be at least

for some constant C.

28 March, 2009 at 10:54 am

Klas Markström1169.

Michael, this should give a lower bound for general k as well.

Likewise the counting argument gives an upper bound for general k too.

It is also possible to use a triangle-free set to build a tetrahedron-free set for a larger value of n, but I’m not sure how efficient such constructions can be made.

28 March, 2009 at 12:56 pm

Kristal Cantwell1170.

In general for the series a + 2b + 3c+…

continued to k-1 terms will be a k-term arithmetic progression for

the points of any configuration (a+r, b,..), (a,b+r .. which is the generalization

of an upward triangle, an upward k-1 dimensional simplex. So as in 1160

for the case k=4

we can get a formula in this case the general formula from the paper

http://arxiv.org/PS_cache/arxiv/pdf/0811/0811.3057v2.pdf

and we get if k is greater than 2^n +1

This is actually a set of formulas as n will have to be chosen given k

it is the greatest integer less than log base 2 of k-1.

29 March, 2009 at 10:53 am

Kristal Cantwell1171. 4D Moser

If a Moser set has 4 points with 3 2’s and its size is 41

or more then it must not have two sets of two points with three twos with

the same c statistic.

To prove this assume that it is true then we must have two

points without lost of generality of the form x222 then

one must have one in the first position the other must

have 3 we can then cut at the first coordinate and get

the side slices must have 13 or less points which means

that the center slice must have 15 or more points and

the remaining two points of the form say 2×22 are in the

center cube so we can slice and the side squares have

The center spot occupied that means that total number

of points in the center cube with one coordinate equal

to 2 in the cube and two in the configuration must be

At most 8 two each from the side squares since the center

spot is occupied and possibly all 4 from the center square.

Then form the Pareto optimal statistics in section n=3

of the Moser wiki

and the fact the center cube has 15 points and has c=2

we have the statistics of the center

slice must be (4,9,2,0) but from the above we have

At most 8 points with one coordinate equal to 2 so we are done.

29 March, 2009 at 2:22 pm

Terence Tao1172.

I suppose it is reasonable to call the size of the largest line-free subset of . Thus .

Sperner’s theorem tells us that . We have so let’s forget about the k=1 case.

Dyer.1137, Markstrom.1139 show that for n=1,2,3 (one needs k at least 3 when n=3), while Peake.1140 shows that this is also the case for n up to k if k is prime. Kristal has various modifications of this in the non-prime case.

Here is a naive conjecture: the above are the

onlyvalues of (n,k) for which one has (i.e. exactly one point deleted from each row or column), thus if n is at least 4 and k is composite then has to be strictly less than . Actually it suffices to check this claim for n=4 since .Klas’s tables at http://abel.math.umu.se/~klasm/Data/HJ/ indeed show that for k=4,6.

When k=3 we obtained this inequality by exploiting the fact that there was a unique 3D line-free set with points. Unfortunately, as Klas’s tables show, this is no longer the case in higher D, but perhaps we can still understand the 3D extremisers well enough to settle this conjecture (e.g. do they all correspond to Latin squares as in Markstrom.1139?)

29 March, 2009 at 2:30 pm

Terence Tao1173. HJ(k,r)

Kristal, that’s a nice lower bound construction for HJ(3,3), which is better than the existing bound in the literature; I put it on the wiki. One may hope to get some better asymptotic bounds for HJ(n,k) too, by leveraging Behrend sets or something. There is a way to use the Behrend construction to colour [n] with relatively few colours in such a way that there are no monochromatic arithmetic progressions, which should then lift to HJ by the same sorts of methods as in, say, 1170. There should also be some existing lower bounds on HJ(n,k) in the literature, though I don’t have them on hand right now…

29 March, 2009 at 3:53 pm

Jason Dyer1174.

In between baby holdings, so I don’t have time to check the lemma on this, but:

For proving the n=4 case you cite for all k, wouldn’t it suffice to form some sort of controlled exchange between coordinate positions such that the number of combinatorial lines is never increased? Therefore any configuration hopeful of finding can be shuffled to the diagonal, which is clearly not a line-free set?

29 March, 2009 at 4:17 pm

Kristal Cantwell1175. HJ(k,r)

I found this pre-print:

http://www.math.ucsd.edu/~etressle/hj32.pdf

29 March, 2009 at 4:29 pm

Jason Dyer1176.

Wait, can’t we just immediately shift all the points to the diagonal and claim that for each point the number of intersecting combinatorial lines has to either stay the same or increase? The maximal intersections are clearly where you have a maximal number of possible wildcards, that is, the largest number of identical coordinates that can be substituted by the * wildcard. Shifting everything immediately to the diagonal does not necessarily cause an increase of intersections in a particular point (since now the blocking of the diagonal is duplicated in every point) but it can’t cause a decrease, either, since the highest possible duplication for each point is 1 line.

29 March, 2009 at 4:58 pm

Kristal Cantwell1175. k=4 Fujimura

I think this is 12. Taking all slices for which a +2b+3b is one of three different values mod 5 gives this as any arithmetic progression a +kr in this set must have r less than 4, so the four values in the arithmetic progression will have four different values mod 5 so this set of slices will not contain any tetrahedrons and 3/5 of 20 is 12 so we have 12 works.

29 March, 2009 at 6:01 pm

Jason DyerMetacomment.

I have made a new page for higher-dimensional Fujimura and moved the content from the talk page (although not deleted it yet).

29 March, 2009 at 6:47 pm

Kristal Cantwell1177. k=4 Fujimura

I think this is 12 for k=4, n=3. I didn’t give the value of n in the previous post.

29 March, 2009 at 7:49 pm

Kristal Cantwell1178. HJ(p,2)

Let p be prime then HJ(p,2) is greater than p-1.

We take p-1 values mod p and let them be one color

and let the remaining value take the other color, then

each combinatorial line with less than p moving coordinates

will run through all values mod p and hence will not be monochromatic

so we are done.

29 March, 2009 at 7:55 pm

Kristal Cantwell1179. HJ(n,2)

From post 1149 we get this reference

Baker, R. C.(1-BYU); Harman, G.(4-LNDHB); Pintz, J.(H-AOS)

The difference between consecutive primes. II.

Proc. London Math. Soc. (3) 83 (2001), no. 3, 532–562.

Here they find a prime in [x-x^{0.525},x]

so HJ(n,2) will be greater than n-n^.525-1 as we can find a prime and

use the above argument namely take p-1 values of the prime in color

and the remaining value in a second color and as long as the number

of moving coordinates in the combinatorial line is less than p all values

will be realized mod p and we will have the combinatorial line not monochromatic.

29 March, 2009 at 8:15 pm

Kristal Cantwell1180. HJ(n,2)

HJ(n,2) is greater than 2n-(2n)^{0.525}.

We can find a prime less than 2n greater than 2n-(2n)^{0.525}

as in the previous post

then we divide the classes modulo this prime into two nearly equal classes

there may be a disparity of one between them both classes will have

cardinality less than n we give color 1 to one class and two to the other, the combinatorial lines smaller than or equal to 2n-(2n)^{0.525}

will realize different values modulo that prime for each point there are n points in a combinatorial line so we must have members of both classes and we are done.

29 March, 2009 at 8:21 pm

Kristal Cantwell1181. HJ(n,m)

HJ(n,m) is greater than mn-(mn)^{0.525}

We can find a prime less than mn greater than mn-(mn)^{0.525}

as in 1179

then we divide the classes modulo this prime into m nearly equal classes

there may be a disparity of one between them All classes will have

cardinality less than n we give one color to each class, the combinatorial lines smaller than or equal to mn-(mn)^{0.525}

will realize different values modulo that prime for each point, there are n points in a combinatorial line so we must have members of more than one class and we are done.

29 March, 2009 at 10:08 pm

Kristal Cantwell1182.

For n= 35

To see this select one value modulo 35 and eliminate it.

Combinatorial lines with one, two, three or four moving coordinates will

realize all values modulo 35 as one, two, three, or four are units modulo 35.

This generalizes in the following way:

if k is less than all divisors of n.

29 March, 2009 at 10:10 pm

Kristal Cantwell1183.

That should be for n= 35 c_{35,4} = 34*35^{3}

[Corrected - T.]29 March, 2009 at 10:39 pm

Klas Markström1182. Fujimura k=4

I’ve had my program running during the weekend and it reports the following values for Fujimura’s problem with k=4

d=2 size 7

d=3 size 14

d=4 size 24

d=5 size 37

d=6 size 55

Right now it has a lower bound of 78 for d=7

I’ll update my table page and put the solutions there too.

Jason, congratulations on your baby!

30 March, 2009 at 1:03 am

Klas Markström1185. HOC k=4

Unless I have messed something up this is a line free set with weight 7.5 in the n=2, k=4 version of the HOC

{{1, 1}, {1, 2}, {1, 3}, {2, 1}, {2, 3}, {2, 4}, {3, 2}, {3, 3}, {3,

4}, {4, 1}, {4, 2}, {4, 4}}

30 March, 2009 at 4:01 am

ks1186 HOC:

I agree with 1185. One can still considers the alternate HOC. In the

original case, let be the maximal

weighted triangle-free subset of with weighted by . Then we have and equality holds for (when is known). The more natural HOC is perhaps i.e. the optimal line free sets are union of slices

(both sides are integers now). For , by 1182,1185 we have

but we still have

by Klas’s example in 1185 and

Jason’s example .

30 March, 2009 at 4:23 am

Terence Tao1187.

Well, so much for the naive conjecture… but it does make me curious now to figure out exactly what pairs of n,k admit “saturated” configurations, i.e. line-free sets of size . Right now the set of such “saturated” pairs includes

* (n,1) for all n [this is trivial]

* (1,k) for all k >= 1

* (2,k) for all k >= 1

* (3,k) for all k >= 3

* (n,k) whenever n is less than all divisors of k [note there is a notational mismatch in 1182]

* not (4,4) or (4,6)

So I guess the first unknown cases are (4,8) and then (4,9).

I’ve moved the higher-d DHJ numbers data to their own page on the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Higher-dimensional_DHJ_numbers

it could still do with some editing.

30 March, 2009 at 5:56 am

Michael Peake1188. Regarding

I split the points into five sorts of points: xyzw, xxyz, xxyy, xxxy and xxxx, where different letters represent different digits.

Then there are seven sorts of lines: *xyz, *xxy,*xxx, **xy, **xx, ***x, ****.

Linear inequalities connect the number of each type of point to each type of line. For example, each xxyz point covers two *xyz lines, two *xxy lines and one **xy line. The maximum number of *xyz lines removed is 4*number of xyzw points + 2*number of xxyz points.

If there is a solution with missing points, there must be

*(k-1)(k-2)(k-3) missing xyzw points

*6(k-1)(k-2) missing xxyz points

*3(k-1) missing xxyy points

*4(k-1) missing xxxy points

*1 missing xxxx point.

30 March, 2009 at 7:25 am

Michael Peake1189. Regarding

There is another possible solution to the linear inequalities

* k(k-1)(k-5) missing xyzw points

* 6k(k-1) missing xxyz points

* k missing xxxx points

and probably other solutions with values intermediate between this post and the previous post. The difference between the new and old solutions is

* 6(k-1) fewer xyzw points

* 12(k-1) extra xxyz points

* 3(k-1) fewer xxyy points

* 4(k-1) fewer xxxy points

* k-1 extra xxxx points

which hints at k different solutions altogether.

30 March, 2009 at 10:49 am

Kristal Cantwell1190. H(4,2) is greater than 11

We take the slices of the eleven dimensional hypercube

of side four in the following way:

We start with the Van der Warden number W(4,2) for which

we have an exact value:

W(4,2) =35

from the Ramsey theory book by Graham Rothschild and Spencer

second addition

We give the slice (a,b,c,d) the color associated

with a + 2b + 3b+1 then the maximum value is 34

We add one because the coloring in W(4,2) starts with one

and we have zero values in our slices.

Then we will not have a monochromatic combinatorial line

because it would correspond to a monochromatic upward

tetrahedron (a+r,b,c,d) (a,b+r,c,d) etc. so we are done.

This is an improvement in the old value of HJ(4,2) is greater than 6.

30 March, 2009 at 10:55 am

Kristal Cantwell1191. H(3,3) is greater than 13

We take the slices of the eleven dimensional hypercube

of side four in the following way:

We start with the Van der Warden number W(3,3) for which

we have an exact value:

W(3,3) =27

same source as 1190

We give the slice (a,b,c,) the color associated

with a + 2b +1 then the maximum value is 27

We add one because the coloring in W(3,3) starts with one

and we have zero values in our slices.

Then we will not have a monochromatic combinatorial line

because it would correspond to a monochromatic upward

triangle and a monochromatic upward triangle would lead to

an arithmetic progression of lenght three but we have forbidden such a progression by our choice of coloring so we are done.

This is an improvement in the old value of HJ(3,3) is my value of 7 before that there was a computer generated value of 6 in the paper I cited in 1175.

30 March, 2009 at 10:59 am

Kristal Cantwell1192. H(4,2) is greater than 11 redo

I am redoing this because I omitted part of the proof:

We take the slices of the eleven dimensional hypercube

of side four in the following way:

We start with the Van der Warden number W(4,2) for which

we have an exact value:

W(4,2) =35

from the Ramsey theory book by Graham Rothschild and Spencer

second addition

We give the slice (a,b,c,d) the color associated

with a + 2b + 3b+1 then the maximum value is 34

We add one because the coloring in W(4,2) starts with one

and we have zero values in our slices.

Then we will not have a monochromatic combinatorial line

because it would correspond to a monochromatic upward

tetrahedron (a+r,b,c,d) (a,b+r,c,d) etc. and a monochromatic upward tetrahedron would lead to

an arithmetic progression of length four but we have forbidden such a progression by our choice of coloring so we are done.

This is an improvement in the old value of HJ(4,2) is greater than 6.

30 March, 2009 at 11:04 am

Kristal Cantwell1193. H(5,2) is greater than 59

We color the slices of the 59 dimensional hypercube

of side four in the following way:

We start with the Van der Warden number W(5,2) for which

we have an exact value:

W(5,2) =178

from the Ramsey theory book by Graham Rothschild and Spencer

second addition

We give the slice (a,b,c,d) the color associated

with a + 2b + 3b+1 then the maximum value is 178

We add one because the coloring in W(5,2) starts with one

and we have zero values in our slices.

Then we will not have a monochromatic combinatorial line

because it would correspond to a monochromatic upward

tetrahedron (a+r,b,c,d) (a,b+r,c,d) etc. and a monochromatic upward tetrahedron would lead to

an arithmetic progression of length four but we have forbidden such a progression by our choice of coloring so we are done.

30 March, 2009 at 11:10 am

Kristal Cantwell1194. H(3,4) is greater than 37

We color the slices of the 37 dimensional hypercube

of side three in the following way:

We start with the Van der Warden number W(3,4) for which

we have an exact value:

W(3,4) =76

from the Ramsey theory book by Graham Rothschild and Spencer

second addition

We give the slice (a,b,c,d) the color associated

with a + 2b + 1 then the maximum value is 75

We add one because the coloring in W(5,2) starts with one

and we have zero values in our slices.

Then we will not have a monochromatic combinatorial line

because it would correspond to a monochromatic upward

triangle and a monochromatic upward triangle would lead to

an arithmetic progression of length three but we have forbidden such a progression by our choice of coloring so we are done.

30 March, 2009 at 11:18 am

Klas Markström1195. HOC k=4

After finding the example for HOC k=4 I decided to modify my program to work for this case too. The example is optimal and I get the values.

d=2 weight 7.5 points 12 solutions 8

d=3 weight 14.5 points 45 solutions 112

d=4 weight 25 points 180 solutions 24

The solutions are here

http://abel.math.umu.se/~klasm/Data/HJ/HOC/

30 March, 2009 at 11:26 am

Kristal Cantwell1195. H(n,2)

We start with the fact W(p+1, 2) is greater than or equal to p*2^p

From the book mentioned above

then for any n we an find a prime p less than n greater than n-n^.525

then we get a sequence of length p*2^p free of progressions of length

p and hence of length progressions of length n we look at the largest integer

less than or equal to p*2p/n-1 then subtract one from it that will be the dimension of our slice space we give each slice the coloring associated with

the p*2^p for a + 2b+ 3c .. continued for n terms the maximum value will be less than or equal to p*2^p we will not have an upward n-1 dimensional simplex hence avoid combinatorial lines because if we did we would have a monochromatic arithmetic progression of length p which we have forbidden thus we get a bound H(n,2) is greater than ((n-n^5.35)*2^(n-n.535)/n-1)-2 (the two comes from possible rounding in taking the greatest integer and th subtraction of one).

30 March, 2009 at 12:22 pm

Kristal Cantwell1196. H(n,r)

We start with the bound W(n,r) is greater than r^n/erk(1+o(1))

which is from the website

http://mathworld.wolfram.com/vanderWaerdenNumber.html

which gives the reference

Heule, M. J. H. “Improving the Odds: New Lower Bounds for Van der Waerden Numbers.” March 4, 2008. http://www.st.ewi.tudelft.nl/sat/slides/waerden.pdf.

then we take that coloring and give it to a +2b+.. continued n-1 times

we can do this if the dimension is less than ((n^r/ern(1+o(1)))/n-1) -2

we then will get no n-1 dimensional upward simplex as then we would

have a monochromatic arithmetic progression which we have forbidden but since we have no monochromatic upward n-1 dimensional simplex we will have no combinatorial lines and so we are done and we have

H(n,r) is greater than ((n^r/ern(1+o(1)))/n-1) -2

30 March, 2009 at 12:29 pm

Kristal Cantwell1196. HJ(n,r)

I should have written that not H(n,r) in 1190-1194 and in 1195-6 thus the above should be:

HJ(n,r) is greater than ((n^r/ern(1+o(1)))/n-1) -2

HJ(n,2) is greater than ((n-n^5.35)*2^(n-n.535)/n-1)-2

HJ(3,4) is greater than 37

HJ(5,2) is greater than 59

HJ(3,4) is greater than 37

HJ(4,2) is greater than 11

HJ(3,3) is greater than 13

30 March, 2009 at 12:38 pm

Klas Markström1197. Fujimura k=3 n= 13

The computation for k=3 n=13 has finished. The optimal size is 46 and I have added the solutions to my table page.

This required some spare time from a linux cluster to be possible so I will not try to extend Fujimura for k=3 unless it turns out to be needed for something specific.

30 March, 2009 at 1:10 pm

Kristal Cantwell1198. and generalization beyond 3

We have HJ(3,r) is greater than ((3^r/er3(1+o(1)))/2) -2

so we c_n greater than 3^n/r for n is less than ((3^r/er3(1+o(1)))/2) -2

and we get c_n is is greater than 3^n/(logn-log (log n) -log 3e(1+(o)1))

similarly we get in general the maximal number of points in a combinatorial line free cube of side m and dimension n is m^n/(logn-log (log n) -log (me(1+o1))

30 March, 2009 at 1:12 pm

Kristal Cantwell1198. correction

imilarly we get in general the maximal number of points in a combinatorial line free cube of side m and dimension n is m^n/(logn-log (log n) -log (me(1+o1)) should be

imilarly we get in general the maximal number of points in a combinatorial line free cube of side m and dimension n is greater than m^n/(logn-log (log n) -log (me(1+o1))

30 March, 2009 at 1:26 pm

DHJ(k): 1200-1299 (Density Hales-Jewett type numbers) « What’s new[...] March, 2009 in math.CO | Tags: polymath1 | by Terence Tao This is a continuation of the 1100-1199 thread of the polymath1 project, which is now full. The focus has now mostly shifted on generalisations [...]

30 March, 2009 at 1:30 pm

Kristal Cantwell1199. More HJ numbers

We have from

http://www.st.ewi.tudelft.nl/sat/waerden.php

W(3,5) is greater than 170 from this we get

using methods similar to the above HJ(3,5) is

greater than 84 this actually makes a difference for values of

82,83 and 84 for c_n in the table at http://spreadsheets.google.com/ccc?key=p5T0SktZY9DsU-uZ1tK7VEg as the maximal density must be greater than

.2

We have from

the same source

W(3,6) is greater than 207

so by similar method as above we have

HJ(3,6) is greater than 103 again this makes a difference in

the table starting at 82 and continuing through 98 as the maximal density must be greater than 1/6

30 March, 2009 at 3:23 pm

Terence TaoLooks like the thread has been wrapped up just in time! Of course, we start afresh at the new thread:

http://terrytao.wordpress.com/2009/03/30/dhjk-1200-1299-density-hales-jewett-type-numbers/

12 April, 2009 at 12:02 pm

The Twofold Gaze[...] should say that if anyone is wondering when I will return to the genetic algorithm solutions to the Hales-Jewett related problems, I am sorry to say that it might be a month or two. However, if there is a specific aspect of the [...]