Integers in a triangle, and differences

This is the first problem in Chapter 9 of Martin Gardner, Penrose Tiles to Trapdoor Ciphers. In the addendum to the chapter, he writes that Herbert Taylor has proved it can't be done for $n\gt5$. Unfortunately, he gives no reference.

There may be something about the problem in Solomon W Golomb and Herbert Taylor, Cyclic projective planes, perfect circular rulers, and good spanning rulers, in Sequences and their applications (Bergen, 2001), 166–181, Discrete Math. Theor. Comput. Sci. (Lond.), Springer, London, 2002, MR1916130 (2003f:51016).

See also http://www.research.ibm.com/people/s/shearer/dts.html and the literature on difference matrices and difference triangles.

EDIT. Reading a little farther into the Gardner essay, I see he writes,

The only published proof known to me that the conjecture is true is given by G. J. Chang, M. C. Hu, K. W. Lih and T. C. Shieh in "Exact Difference Triangles," Bulletin of the Institute of Mathematics, Academia Sinica, Taipei, Taiwan (vol. 5, June 1977, pages 191- 197).

This paper can be found at http://w3.math.sinica.edu.tw/bulletin/bulletin_old/d51/5120.pdf and the review is MR0491218 (58 #10483).


For small values of $n$, there is a relatively small state space to search.

In the most naive way possible, I found the following (showing the top row of triangle only):

1: 1 way: [1]
2: 4 ways: [1,3], [2,3], [3,1], [3,2]
3: 8 ways: [1,6,4], [2,6,5], [4,1,6], [4,6,1], [5,2,6], [5,6,2], [6,1,4], [6,2,5]
4: 8 ways: [6,1,10,8], [6,10,1,8], [8,1,10,6], [8,3,10,9], [8,10,1,6], [8,10,3,9] [9,3,10,8], [9,10,3,8]
5: 2 ways: [6,14,15,3,13], [13,3,15,14,6]
6: no ways

In particular, it is possible for $n = 5$, but not possible for $n = 6$.

The computation for $n = 7$ seems entirely feasible, and I'm happy to carry it out.


Not an answer, but a question about constraints mod 2. There you are just taking differences, and the number 0s and 1s must be the same for n that is 0 or 3 mod 4 (one different in the other two cases). On the face of it the left edge of the triangle could be any binary sequence. Does this give anything?