login
A358337
Earliest infinite sequence of distinct integers on a square spiral such that every number equals the sum of its four adjacent neighbors. See the Comments.
2
0, 1, -1, 2, -2, 3, -3, -6, 6, 4, -4, 9, -5, -13, 5, -17, 11, 10, 8, -20, -11, 20, -9, 7, -15, -10, 17, -18, 19, -22, -8, 21, -12, 33, -31, -21, -19, 39, -7, 15, -14, 14, 12, -25, 43, -30, 25, -16, 22, 13, -34, 41, -50, 50, -28, 26, -24, -33, 46, -53, 71, -26, 18, 23, -27, -60, 54, -71, 28, -23
OFFSET
0,4
COMMENTS
We define earliest as the number with the smallest magnitude, and where a positive number is considered earlier than its negative value.
To ensure the sequence is infinite, other than tracking the numbers that have already appeared in the spiral, one must also calculate the numbers around the outside of the spiral whose values have been fixed by their nearest neighbor on the spiral already having three neighbors with set values. These numbers may have similar neighbors which will force the calculation of other values in a cascade of new fixed numbers that appear as a square diamond shape around the currently filled spiral. When the lowest available number is to be chosen one must ensure it does not equal any of these predetermined values. One additional check must be performed to ensure the sequence is infinite; see the examples below. Unlike A358151 here the numbers along the rows/columns are smaller towards the ends of the rows/columns and larger in the middle. See the linked images.
The values that are positive and negative make a pattern around the spiral axes; see the second linked image. There is no occurrence in the first 500000 terms where a positive number is surrounded by eight negative numbers, or vice versa. It is unknown is this can occur.
The sequence is conjectured to be a permutation of the integers. The values grow rapidly in size, e.g., in the first 1000 terms the largest magnitude number is a(976) = -2492394, while the largest magnitude number in the first 500000 terms is a(499495) = -749...021, a number containing 147 digits.
LINKS
Scott R. Shannon, Image showing the sign of the first 250000 terms on the spiral. White is positive, black is negative.
Scott R. Shannon, Image of log_10 of the absolute value of the first 250000 terms on the spiral. The values are scaled across the spectrum from red to violet to show their relative magnitude.
EXAMPLE
The square spiral begins:
. .
.
11...-17...5..-13...-5 -22
| | |
10 -2....2...-1 9 19
| | | | |
8 3 0....1 -4 -18
| | | |
-20 -3...-6....6....4 17
| |
-11...20...-9....7...-15..-10
.
.
See the attached text file for a larger 31 by 31 example.
a(0) = 0. The earliest available integer.
a(1)..a(6) = 1,-1,2,-2,3,-3. These are the earliest available six numbers.
a(7) = -6. This number is fixed by previous numbers as a(0) must equal a(1) + a(3) + a(5) + a(7), therefore a(7) = 0 - 1 - 2 - 3 = -6.
a(8) = 6. The earliest available numbers when a(8) is filled are 4,-4,5,-5 but none of those can be chosen else the sequence would not be infinite. Choosing a(8) = 4 would force a(10), the number next to a(1) = 1, to equal 1 - (-1) - 0 - 4 = = -2, but -2 has already appeared. Choosing a(8) = -4 would force the number below a(7) = -6 to equal -6 - (-3) - 0 - (-4) = 1, but 1 has already appeared. Choosing a(8) = 5 would force a(10) to equal -3 which has already appeared. Note however that 5 has already been excluded as the number above a(3) = 2 must equal 2 - (-2) - (-1) - 0 = 5. Finally, choosing a(8) = -5 would force the number below a(7) to equal 2 which has already appeared. This leave 6 as the earliest available number.
a(9) = 4 as this is the earliest available number and it is not excluded by earlier numbers or by the four forced numbers already calculated around the four existing spiral edges.
a(21) = -11. Another check must be performed when choosing the earliest available number which is first seen when finding a(21). As that number is chosen the spiral is:
.
(15) 8 3
A (X) -20 -3
B * (20)
C
.
where '*' marks the position of a(21) at the lowest-left corner of the spiral, numbers surrounded by brackets are not yet in the sequence but have been fixed by earlier numbers, and 'A','B','C' are not yet fixed. When a(21) is being chosen the earliest available number is -10. If -10 is chosen for '*' then 'X' would be forced to equal -15. But note that 'X' minus 15, the number above it, equals -30, while '*' minus the number next to it is -10 - 20 = -30. But when now calculating the number 'A' we have A = -15 - 15 - (-20) - B, while when calculating 'C' we have C = -10 - 20 - (-20) - B. Note the last two terms are shared, and as -15 - 15 = -10 - 20 that would imply A = C. This is not allowed, so a(21) cannot be -10. The general rule is if the difference between the number being chosen and its orthogonal neighbor is the same as the difference between the number diagonally adjacent to it with that number's orthogonal neighbor then the chosen number must be rejected. As -10 is not possible and 11 has already appeared a(21) = -11.
CROSSREFS
Cf. A358151 (eight neighbors), A358254, A354441, A354435, A358048, A344659.
Sequence in context: A196055 A145787 A096111 * A101081 A373612 A147795
KEYWORD
sign
AUTHOR
Scott R. Shannon, Nov 10 2022
STATUS
approved