View source for Upper and lower bounds

<center>'''Upper and lower bounds for <math>c_n</math> for small values of n.'''</center>

<math>c_n</math> is the size of the largest subset of <math>[3]^n</math> that does not contain a combinatorial line.  A spreadsheet for all the latest bounds on <math>c_n</math> [http://spreadsheets.google.com/ccc?key=p5T0SktZY9DsU-uZ1tK7VEg can be found here].  In this page we record the proofs justifying these bounds.


{|
| n || 0 || 1 || 2 || 3 || 4 || 5 || 6 || 7
|-
| <math>c_n</math> || 1 || 2 || 6 || 18 || 52 || 150 || 450 || [1302,1348]
|}

== Basic constructions ==

For all <math>n \geq 1</math>, a basic example of a mostly line-free set is

:<math>D_n := \{ (x_1,\ldots,x_n) \in [3]^n: \sum_{i=1}^n x_i \neq 0 \ \operatorname{mod}\ 3 \}</math>.  (1)

This has cardinality <math>|D_n| = 2 \times 3^{n-1}</math>.  The only lines in <math>D_n</math> are those with

# A number of wildcards equal to a multiple of three;
# The number of 1s unequal to the number of 2s modulo 3.

One way to construct line-free sets is to start with <math>D_n</math> and remove some additional points.  We also have the variants <math>D_{n,0}=D_n, D_{n,1}, D_{n,2}</math> defined as

:<math>D_{n,j} := \{ (x_1,\ldots,x_n) \in [3]^n: \sum_{i=1}^n x_i \neq j \ \operatorname{mod}\ 3 \}</math>.  (1')

When n is not a multiple of 3, then <math>D_{n,0}, D_{n,1}, D_{n,2}</math> are all cyclic permutations of each other; but when n is a multiple of 3, then <math>D_{n,0}</math> plays a special role (though <math>D_{n,1}, D_{n,2}</math> are still interchangeable).

Another useful construction proceeds by using the slices <math>\Gamma_{a,b,c} \subset [3]^n</math> for <math>(a,b,c)</math> in the triangular grid

:<math>\Delta_n := \{ (a,b,c) \in {\Bbb Z}_+^3: a+b+c = n \},</math>.  (2)

where <math>\Gamma_{a,b,c}</math> is defined as the strings in <math>[3]^n</math> with <math>a</math> 1s, <math>b</math> 2s, and <math>c</math> 3s.  Note that

:<math>|\Gamma_{a,b,c}| = \frac{n!}{a! b! c!}.</math> (3)

Given any set <math>B \subset \Delta_n</math> that avoids equilateral triangles <math> (a+r,b,c), (a,b+r,c), (a,b,c+r)</math>, the set

:<math>\Gamma_B := \bigcup_{(a,b,c) \in B} \Gamma_{a,b,c}</math> (4)

is line-free and has cardinality

:<math>|\Gamma_B| = \sum_{(a,b,c) \in B} \frac{n!}{a! b! c!},</math> (5)

and thus provides a lower bound for <math>c_n</math>:

:<math>c_n \geq \sum_{(a,b,c) \in B} \frac{n!}{a! b! c!}.</math> (6)

All lower bounds on <math>c_n</math> have proceeded so far by choosing a good set of B and applying (6).  Note that <math>D_n</math> is the same as <math>\Gamma_{B_n}</math>, where <math>B_n</math> consists of those triples <math>(a,b,c) \in \Delta_n</math> in which <math>a \neq b\ \operatorname{mod}\ 3</math>.

Note that if one takes a line-free set and permutes the alphabet <math>\{1,2,3\}</math> in any fashion (e.g. replacing all 1s by 2s and vice versa), one also gets a line-free set.  This potentially gives six examples from any given starting example of a line-free set, though in practice there is enough symmetry that the total number of examples produced this way is less than six.  (These six examples also correspond to the six symmetries of the triangular grid <math>\Delta_n</math> formed by rotation and reflection.)

Another symmetry comes from permuting the <math>n</math> indices in the strings of <math>[3]^n</math> (e.g. replacing every string by its reversal).  But the sets <math>\Gamma_B</math> are automatically invariant under such permutations and thus do not produce new line-free sets via this symmetry.

== The basic upper bound ==

Because <math>[3]^{n+1}</math> can be expressed as the union of three copies of <math>[3]^n</math>, we have the basic upper bound

:<math>c_{n+1} \leq 3 c_n.</math> (7)

Note that equality only occurs if one can find an <math>n+1</math>-dimensional line-free set such that every n-dimensional slice has the maximum possible cardinality of <math>c_n</math>.

== n=0 ==

:<math>c_0=1</math>:

This is clear.

== n=1 ==

:<math>c_1=2</math>:

The three sets <math>D_1 = \{1,2\}</math>, <math>D_{1,1} = \{2,3\}</math>, and <math>D_{1,2} = \{1,3\}</math> are the only two-element sets which are line-free in <math>[3]^1</math>, and there are no three-element sets.

== n=2 ==

:<math>c_2=6</math>:

There are four six-element sets in <math>[3]^2</math> which are line-free, which we denote <math>x = D_{2,2}</math>, <math>y=D_{2,1}</math>, <math>z=D_2</math>, and <math>w</math> and are displayed graphically as follows.

     13 .. 33       .. 23 33       13 23 ..       13 23 ..
 x = 12 22 ..   y = 12 .. 32   z = .. 22 32   w = 12 .. 32
     .. 21 31       11 21 ..       11 .. 31       .. 21 31

Combining this with the basic upper bound (7) we see that <math>c_2=6</math>.

== n=3 ==

:<math>c_3=18</math>:

We describe a subset <math>A</math> of <math>[3]^3</math> as a string <math>abc</math>, where <math>a, b, c \subset [3]^2</math> correspond to strings of the form <math>1**</math>, <math>2**</math>, <math>3**</math> in <math>[3]^3</math> respectively.  Thus for instance <math>D_3 = xyz</math>, and so from (7) we have <math>c_3=18</math>.

'''Lemma 1.'''
* The only 18-element line-free subset of <math>[3]^3</math> is <math>D_3 = xyz</math>.
* The only 17-element line-free subsets of <math>[3]^3</math> are formed by removing a point from <math>D_3=xyz</math>, or by removing either 111, 222, or 333 from <math>D_{3,2} = yzx</math> or <math>D_{3,3}=zxy</math>.

'''Proof'''.  We prove the second claim. As <math>17=6+6+5</math>, and <math>c_2=6</math>, at least two of the slices of a 17-element line-free set must be from x, y, z, w, with the third slice having 5 points.  If two of the slices are identical, the last slice can have only 3 points, a contradiction.  If one of the slices is a w, then the 5-point slice will contain a diagonal, contradiction.  By symmetry we may now assume that two of the slices are x and y, which force the last slice to be z with one point removed.  Now one sees that the slices must be in the order xyz, yzx, or zxy, because any other combination has too many lines that need to be removed.  The sets yzx, zxy contain the diagonal {111,222,333} and so one additional point needs to be removed. 

The first claim follows by a similar argument to the second.
<math>\Box</math>

== n=4 ==

:<math>c_4=52</math>:

Indeed, divide a line-free set in <math>[3]^4</math> into three blocks <math>1***, 2***, 3***</math> of <math>[3]^3</math>.  If two of them are of size 18, then they must both be xyz, and the third block can have at most 6 elements, leading to an inferior bound of 42.  So the best one can do is <math>18+17+17=52</math> which can be attained by deleting the diagonal {1111,2222,3333} from <math>D_{4,1} = xyz\ yzx\ xzy</math>, <math>D_4 = yzx\ zxy\ xyz</math>, or <math>D_{4,2} = zxy\ xyz\ yxz</math>.  In fact,

'''Lemma 2.'''

* The only 52-element line-free sets in <math>[3]^4</math> are formed by removing the diagonal {1111,2222,3333} from <math>D_{4,j}</math> for some j=0,1,2.
* The only 51-element line-free sets in <math>[3]^4</math> are formed by removing the diagonal and one further point from <math>D_{4,j}</math> for some j=0,1,2.
* The only 50-element line-free sets in <math>[3]^4</math> are formed by removing the diagonal and two further points from <math>D_{4,j}</math> for some j=0,1,2  OR is equal to one of the three permutations of the set <math>X := \Gamma_{3,1,0} \cup \Gamma_{3,0,1} \cup \Gamma_{2,2,0} \cup \Gamma_{2,0,2} \cup \Gamma_{1,1,2} \cup \Gamma_{1,2,1} \cup \Gamma_{0,2,2}</math>.

'''Proof''' It suffices to prove the third claim.  In fact it suffices to show that every 50-point line-free set is either contained in the 54-point set <math>D_{4,j}</math> for some j=0,1,2, or is some permutation of the set X. Indeed, if a 50-point line-free set is contained in, say, <math>D_4</math>, then it cannot contain 2222, since otherwise it must omit one point from each of the four pairs formed from {2333, 2111} by permuting the indices, and must also omit one of {1111, 1222, 1333}, leading to at most 49 points in all; similarly, it cannot contain 1111, and so omits the entire diagonal {1111,2222,3333}, with two more points to be omitted.  Similarly when <math>D_4</math> is replaced by one of the other <math>D_{4,j}</math>

Next, observe that every three-dimensional slice of a line-free set can have at most <math>c_3=18</math> points; thus when one partitions a 50-point line-free set into three such slices, it must divide either as 18+16+16, 17+17+16, or some permutation of these.

Suppose that we can slice the set into two slices of 17 points and one slice of 16 points.  By the various symmetries, we may assume that the 1*** slice and 2*** slices have 17 points, and the 3*** slice has 16 points.  By Lemma 1, the 1-slice is <math>\{1\} \times D_{3,j}</math> with one point removed, and the 2-slice is <math>\{2\} \times D_{3,k}</math> with one point removed, for some <math>j,k \in \{0,1,2\}</math>.

If j=k, then the 1-slice and 2-slice have at least 15 points in common, so the 3-slice can have at most <math>27-15=12</math> points, a contradiction.  If jk = 01, 12, or 20, then observe that from Lemma 1 the *1**, *2**, *3** slices cannot equal a 17-point or 18-point line-free set, so each have at most 16 points, leading to only 48 points in all, a contradiction.  Thus we must have jk = 10, 21, or 02.

Let's first suppose that jk=02.  Then by Lemma 1, the 2*** slice contains the nine points formed from {2211, 2322, 2331} and permuting the last three indices, while the 1*** slice contains at least eight of the nine points formed from {1211, 1322, 1311} and permuting the last three indices.  Thus the 3*** slice can contain at most one of the nine points formed from {3211, 3322, 3311} and permuting the last three indices.  If it does contain one of these points, say 3211, then it must omit one point from each of the four pairs {3222, 3233}, {3212, 3213}, {3221, 3231}, {3111, 3311}, leading to at most 15 points on this slice, a contradiction.  So the 3*** slice must omit all nine points, and is therefore contained in <math>\{3\} \times D_{4,1}</math>, and so the 50-point set is contained in <math>D_{4,1}</math>, and we are done by the discussion at the beginning of the proof.

The case jk=10 is similar to the jk=02 case (indeed one can get from one case to the other by swapping the 1 and 2 indices).  Now suppose instead that jk=12.  Then by Lemma 1, the 1*** slice contains the six points from permuting the last three indices of 1123, and similarly the 2*** slice contains the six points from permuting the last three indices of 2123.  Thus the 3*** slice must avoid all six points formed by permuting the last three indices of 3123.  Similarly, as 1133 lies in the 1*** slice and 2233 lies in the 2*** slice, 3333 must be avoided in the 3*** slice.

Now we claim that 3111 must be avoided also; for if 3111 was in the set, then one point from each of the six pairs formed from {3311, 3211}, {3331, 3221} and permuting the last three indices must lie outside the 3*** slice, which reduces the size of that slice to at most <math>27-6-1-6=14</math>, which is too small.  Similarly, 3222 must be avoided, which puts the 3*** slice inside <math>\{3\} \times D_3</math> and then places the 50-point set inside <math>D_4</math>, and we are done by the discussion at the beginning of the proof.

We have handled the case in which at least one of the slicings of the 50-point set is of the form 50=17+17+16.  The only remaining case is when all slicings of the 50-point set are of the form 18+17+16 (or a permutation thereof).  By the symmetries of the situation, we may assume that the 1*** slice has 18 points, and thus by Lemma 1 takes the form <math>\{1\} \times D_3</math>.  Inspecting the *1**, *2**, *3** slices, we then see (from Lemma 1) that only the *1** slice can have 18 points; since we are assuming that this slicing is some permutation of 50=18+17+16, we conclude that the *1** slice must have exactly 18 points, and is thus described precisely by Lemma 1.  Similarly for the **1* and ***1 slices.  Indeed, by Lemma 1, we see that the 50-point set must agree exactly with <math>D_{4,1}</math> on any of these slices.  In particular, on the remaining portion <math>\{2,3\}^4</math> of the cube, there are exactly 6 points of the 50-point set in <math>\{2,3\}^4</math>.

Suppose that 3333 was in the set; then since all permutations of 3311, 3331 are known to lie in the set, then 3322, 3332 must lie outside the set.  Also, as 1222 lies in the set, at least one of 2222, 3222 lie outside the set.  This leaves only 5 points in <math>\{2,3\}^4</math>, a contradiction.  Thus 3333 lies outside the set; similarly 2222 lies outside the set.

Let a be the number of points in the 50-point set which are some permutation of 2233, thus <math>0 \leq a \leq 6</math>.  If a=0 then the set lies in <math>D_{4,1}</math> and we are done.  If a=6 then the set is exactly X and we are done.  Now suppose a=1,2,3.  By symmetry we may assume that 2233 lies in the set.  Then (since 2133, 1233 2231, 2213 are known to lie in the set) 2333, 3233, 2223, 2232 lie outside the set, which leaves at most 5 points inside <math>\{2,3\}^4</math>, a contradiction.

The remaining case is when a=4,5.  Then one of the three pairs {2233, 3322}, {2323, 3232}, {2332, 3223} lie in the set.  By symmetry we may assume that {2233, 3322} lie in the set.  Then by arguing as before we see that all eight points formed by permuting 2333 or 3222 lie outside the set, leading to at most 5 points inside <math>\{2,3\}^4</math>, a contradiction.
<math>\Box</math>

== n=5 ==

:<math>c_5=150</math>:

'''Lemma 3'''.  Any line-free subset of <math>D_{5,j}</math> can have at most 150 points.

'''Proof'''.  By rotation we may work with <math>D_5</math>.  This set has 162 points.  By looking at the triplets {10000, 11110, 12220} and cyclic permutations we must lose 5 points; similarly from the triplets {20000,22220, 21110} and cyclic permutations.  Finally from {11000,11111,11222} and {22000,22222,22111} we lose two more points. <math>\Box</math>

Equality can be attained by removing  <math>\Gamma_{0,4,1}, \Gamma_{0,5,0}, \Gamma_{4,0,1}, \Gamma_{5,0,0}</math> from <math>D_5</math>.  Thus <math>c_5 \geq 150</math>.

Another pattern of 150 points is this: Take the 450 points
in <math>{}[3]^6</math> which are (1,2,3), (0,2,4) and permutations,
then select the 150 whose final coordinate is 1. That gives
this many points in each cube:

17 18 17

17 17 18

12 17 17

'''Lemma 4'''.  A line-free subset of <math>[3]^5</math> with over 150 points cannot have two parallel <math>[3]^4</math> slices, each of which contain at least 51 points.

'''Proof'''.  Suppose not.  By symmetry, we may assume that the 1**** and 2**** slices have at least 51 points, and that the whole set has at least 151 points, which force the third slice to have at least <math>151-2c_4 = 47</math> points.

By Lemma 2, the 1**** slice takes the form <math>\{1\} \times D_{4,j}</math> for some <math>j=0,1,2</math> with the diagonal {11111,12222,13333} and possibly one more point removed, and similarly the 2**** slice takes the form <math>\{2\} \times D_{4,k}</math> for some <math>k=0,1,2</math> with the diagonal {21111,22222,23333} and possibly one more point removed.

Suppose first that j=k.  Then the 1-slice and 2-slice have at least 50 points in common, leaving at most 31 points for the 3-slice, a contradiction.  Next, suppose that jk=01.  Then observe that the *i*** slice cannot look like any of the configurations in Lemma 2 and so must have at most 50 points for i=1,2,3, leading to 150 points in all, a contradiction.  Similarly if jk=12 or 20.  Thus we must have jk equal to 10, 21, or 02.

Let's suppose first that jk=10.  The first slice then is equal to <math>\{1\} \times D_{4,1}</math> with the diagonal and possibly one more point removed, while the second slice is equal to <math>\{2\} \times D_{4,0}</math> with the diagonal and possibly one more point removed.  Superimposing these slices, we thus see that the third slice is contained in <math>\{3\} \times D_{4,2}</math> except possibly for two additional points, together with the one point 32222 of the diagonal that lies outside of <math>\{3\} \times D_{4,2}</math>.

The lines x12xx, x13xx (plus permutations of the last four digits) must each contain one point outside the set.  The first two slices can only absorb two of these, and so at least 14 of the 16 points formed by permuting the last four digits of 31233, 31333 must lie outside the set.  These points all lie in <math>\{3\} \times D_{4,2}</math>, and so the 3**** slice can have at most <math>|D_{4,2}|-14+3=43</math> points, a contradiction.

The case jk=02 is similar to the case jk=10 (indeed one can obtain one from the other by swapping 1 and 2).  Now we turn to the case jk=21.  Arguing as before we see that the third slice is contained in <math>\{3\} \times D_4</math> except possibly for two points, together with 33333.  

If 33333 was in the set, then each of the lines xx333, xxx33 (and permutations of the last four digits) must have a point missing from the first two slices, which cannot be absorbed by the two points we are permitted to remove; thus 33333 is not in the set.  For similar reasons, 33331 is not in the set, as can be seen by looking at xxx31 and permutations of the last four digits.  Indeed, any string containing four threes does not lie in the set; this means that at least 8 points are missing from <math>\{3\} \times D_4</math>, leaving only at most 46 points inside that set.  Furthermore, any point in the 3**** slice outside of <math>\{3\} \times D_4</math> can only be created by removing a point from the first two slices, so the total cardinality is at most <math>46+52+52 = 150</math>, a contradiction.<math>\Box</math>

'''Corollary'''. <math>c_5 \leq 152</math>

'''Proof'''.  By Lemma 4 and the bound <math>c_4=52</math>, any line-free set with over 150 points can have one slice of cardinality 52, but then the other two slices can have at most 50 points. <math>\Box</math>

'''Lemma''' <math>c_5 \leq 150</math>

'''Proof''' Suppose we have 151 points without a line.  From Lemmas 2 and 4, one slice has 51 or 52 points, and another slice has 50 points.  By symmetry, suppose the first slice has 51 or 52 points and the second slice has 50 points.  The first slice must be covered by <math>D_{4,j}</math> for some j, while there are six sets that could cover the second slice.

Using earlier notation, we split subsets of <math>[3]^4</math> into nine subsets of <math>[3]^2</math>.  So we think of x,y,z,a,b and c as subsets of a square.
*<math>D_4 = y'zx,zx'y,xyz</math>
*<math>D_{4,1} = z'xy,xyz,yzx'</math>
*<math>D_{4,2} = xyz,yz'x,zxy'</math>
*<math>X = xyz, ybw, zwc</math>
*<math>Y = axw, xyz, wzc</math>
*<math>Z = awx, wby, xyz</math>

where a, b and c have four points each.

        .. 32 33          31 .. 33         .. .. ..
    a = .. 22 23      b = .. .. ..     c = 21 22 ..
        .. .. ..          11 .. 13         11 12 ..

There are 18 cases to consider.  For each case, we take the nine squares of the first slice, match each with the corresponding square of the second slice.  Then we ask how many points could be included in a third square so the three squares form a line-free cube.  We write the number of possible points in the third square.

*First slice          Second Slice         Max points in third slice
*xyz,yz'x,zxy'        y'zx,zx'y,xyz        655,566,566
*xyz,yz'x,zxy'        z'xy,xyz, yzx'       524,233,434
*xyz,yz'x,zxy'        xyz, yz'x,zxy'       333,343,334
*xyz,yz'x,zxy'        xyz, ybw, zwc        333,354,343
*xyz,yz'x,zxy'        axw, xyz, wzc        425,233,533
*xyz,yz'x,zxy'        awx, wby, xyz        445,456,566

*z'xy,xyz,yzx'        y'zx,zx'y,xyz        543,344,243
*z'xy,xyz,yzx'        z'xy,xyz, yzx'       433,333,334
*z'xy,xyz,yzx'        xyz, yz'x,zxy'       665,665,556
*z'xy,xyz,yzx'        xyz, ybw, zwc        665,665,554
*z'xy,xyz,yzx'        axw, xyz, wzc        434,333,434
*z'xy,xyz,yzx'        awx, wby, xyz        442,464,243

*y'zx,zx'y,xyz        y'zx,zx'y,xyz        433,343,333
*y'zx,zx'y,xyz        z'xy,xyz, yzx'       656,565,656
*y'zx,zx'y,xyz        xyz, yz'x,zxy'       544,464,445
*y'zx,zx'y,xyz        xyz, ybw, zwc        444,454,345
*y'zx,zx'y,xyz        axw, xyz, wzc        544,465,455
*y'zx,zx'y,xyz        awx, wby, xyz        653,553,333

At most three of the numbers in each case might be increased to six by deleting a point from the first or second slice.  So the only cases in which the third slice can contain at least 49 points are rows 6,9,10,14


An integer programming method has established the upper bound <math>c_5\leq 150</math>, with 12 extremal solutions.

[http://abel.math.umu.se/~klasm/extremal-c5 This file] contains the extermisers. One point per line and different extermisers separated by a line with “—”

[http://abel.math.umu.se/~klasm/linprog-d=5-t=3.lpt This is the linear program], readable by Gnu’s glpsol linear programing solver, which also quickly proves that 150 is the optimum.

Each variable corresponds to a point in the cube, numbered according to their lexicografic ordering. If a variable is 1 then the point is in the set, if it is 0 then it is not in the set.
There is one linear inequality for each combinatorial line, stating that at least one point must be missing from the line.

== n=6 ==

:<math>c_6=450</math>:

The upper bound follows since <math>c_6 \leq 3 c_5</math>.   The lower bound can be formed by gluing together all the [[slice]]s <math>\Gamma_{a,b,c}</math> where (a,b,c) is a permutation of (0,2,4) or (1,2,3).

Computer verification, using the <math>c_5=150</math> extremals, has shown that there is exactly one extremiser for <math>c_6=450</math>.

== n=7 ==

:<math>1302 \leq c_7 \leq 1348</math>:

To see the upper bound <math>c_7 \leq 3c_6-2</math>, observe that if two parallel six-dimensional slices had <math>c_6</math> points, then by uniqueness they are identical, and the third slice can have at most <math>3^6-c_6=279</math> points, far too few to get anywhere close to <math>1348</math>.  Thus there can be at most one slice with <math>c_6</math> points, and the other two have at most <math>c_6-1</math>, giving the claim.

The lower bound can be formed by removing 016,106,052,502,151,511,160,610 from <math>D_7</math>.

'''Lemma 5''' Any line-free subset of <math>D_7</math> has at most 1302 points.

'''Proof''' Start with the 1458 points of <math>D_7</math>.  You must lose:

* 42 points from (1,2,4),(1,5,1),(4,2,1)
* 42 points from (2,1,4),(2,4,1),(5,1,1)
* 21 points from (0,2,5),(0,5,2),(3,2,2)
* 21 points from (2,0,5),(2,3,2),(5,0,2)
* 15 points from (0,1,6),(0,4,3),(3,1,3),(0,7,0),(3,4,0),(6,1,0)
* 15 points from (1,0,6),(1,3,3),(4,0,3),(7,0,0),(4,3,0),(1,6,0)

where (a,b,c) is shorthand for the [[slice]] <math>\Gamma_{a,b,c}</math>.
<math>\Box</math>

== Larger n ==

The following construction gives lower bounds for the number of triangle-free points, 
There are of the order <math>2.7 \sqrt{log(N)/N}3^N</math> points for large N (N ~ 5000)

It applies when N is a multiple of 3. 
* For N=3M-1, restrict the first digit of a 3M sequence to be 1.  So this construction has exactly one-third as many points for N=3M-1 as it has for N=3M. 
* For N=3M-2, restrict the first two digits of a 3M sequence to be 12.  This leaves roughly one ninth of the points for N=3M-2 as for N=3M.

The current lower bounds for <math>c_{3m}</math> are built like this, with abc being shorthand for <math>\Gamma_{a,b,c}</math>:

* <math>c_3</math> from (012) and permutations
* <math>c_6</math> from (123,024) and perms
* <math>c_9</math> from (234,135,045) and perms
* <math>c_{12}</math> from (345,246,156,02A,057) and perms (A=10)
* <math>c_{15}</math> from (456,357,267,13B,168,04B,078) and perms (B=11)

To get the triples in each row, add 1 to the triples in the previous row; then include new triples that have a zero.

A general formula for these points is given below.  I think that they are triangle-free.  (For N<21, ignore any triple with a negative entry.)

* There are thirteen groups of points in the centre, formed from adding one of the following points, or its permutation, to (M,M,M), when N=3M:
** (-7,-3,+10), (-7, 0,+7),(-7,+3,+4),(-6,-4,+10),(-6,-1,+7),(-6,+2,+4),(-5,-1,+6),(-5,+2,+3),(-4,-2,+6),(-4,+1,+3),(-3,+1,+2),(-2,0,+2),(-1,0,+1) 
* There are also eight string of points, stretching to the edges of the (abc) triangle:
** For N=6K = 3M
*** M+(-8-2x,-6-2x,14+4x),M+(-8-2x,-3-2x,11+4x),M+(-8-2x,x,8+x),M+(-8-2x,3+x,5+x) and permutations (x>=0, M-8-2x>=0)
*** M+(-9-2x,-5-2x,14+4x),M+(-9-2x,-2-2x,11+4x),M+(-9-2x,1+x,8+x),M+(-9-2x,4+x,5+x) and permutations (x>=0, M-9-2x>=0)


An alternate construction:

First define a sequence, of all positive numbers which, in base 3, do not contain a 1. Add 1 to all multiples of 3 in this sequence. This sequence does not contain a length-3 arithmetic progression.

It starts 1,2,7,8,19,20,25,26,55, …

Second, list all the (abc) triples for which the larger two differ by a number
from the sequence, excluding the case when the smaller two differ by 1, but then including the case when (a,b,c) is a permutation of N/3+(-1,0,1)

== Asymptotics ==

DHJ(3) is equivalent to the upper bound

:<math>c_n \leq o(3^n)</math>

In the opposite direction, observe that if we take a set <math>S \subset [3n]</math> that contains no 3-term arithmetic progressions, then the set <math>\bigcup_{(a,b,c) \in \Delta_n: a+2b \in S} \Gamma_{a,b,c}</math> is line-free.  From this and the Behrend construction it appears that we have the lower bound

:<math>c_n \geq 3^{n-O(\sqrt{\log n})}</math>

though this has to be checked.

[http://terrytao.wordpress.com/2009/02/05/upper-and-lower-bounds-for-the-density-hales-jewett-problem/#comment-35652 Numerics suggest] that the first large n construction given above above give a lower bound of roughly <math>2.7 \sqrt{\log(n)/n} \times 3^n</math>, which would asymptotically be inferior to the Behrend bound.

The second large n construction had numerical asymptotics for \log(c_n/3^n) close to <math>1.2-\sqrt{\log(n)}</math> between n=1000 and n=10000, consistent with the Behrend bound.

== Numerical methods ==

A greedy algorithm [http://thetangentspace.com/wiki/Hales-Jewett_Theorem was implemented here].  The results were sharp for <math>n \leq 3</math> but were slightly inferior to the constructions above for larger n.