6
$\begingroup$

I read a book called Things to Make and Do in the Fourth Dimension, written by Australian mathe-matician and comedian, Matt Parker. In one part of the book, I remember him explaining about a conjecture such that for all $n\geqslant 89$, you can arrange the elements of the set $\{1, 2,\ldots,n\}$ in a certain way where each adjacent pair of elements sums to a squared number. For example, let $n = 17$. Al-though $17<89$, below is a good example to demonstrate what I mean:

We have the set $\{1, 2, 3,\ldots, 17\}$ which can also be written as $\mathbb{N}_{\leqslant 17}$. How can we order each number in a certain way such that every adjacent pair of numbers in the ordered sequence add up to a squa-red number? Well, we order it like so:

Let $S_{17} = [\ldots]$ be our sequence that orders the elements from $\{1, 2, 3,\ldots, 17\}$ in a certain way as mentioned in the foregoing then, $$S_{17} := \big[17, 8, 1, 15, 10, 6, 3, 13, 12, 4, 5, 11, 14, 2, 7, 9, 16\big].$$ Here, $17 + 8 = 5^2$, $8 + 1 = 3^2$, $1 + 15 = 4^2,\ldots$

The sequence in the sandbox above is a special case where it has $17$ elements and begins with $17$. Take the sequence $S_{16}$ then this sequence ends with $16$. In fact, it is exactly the same as $S_{17}$ except it does not start from $17$, but $8$ instead. However, the sequence $S_{18}$ does not exist, and there are many sequences with this property that do not exist. The conjecture is interesting because if true, it will prove that there are only finitely many sequences $S_n$ that do not exist, also proving the contrapo-sitive.

I did some research and it seems like this is true for $89\leqslant n \leqslant 300$ thus far, but I do not know the name of this conjecture. Does it even have a name? I also haven’t stumbled across any attempts of proving this conjecture. Can it be done? I guess that is two questions, then.

Thank you in advance.

$\endgroup$
  • 3
    $\begingroup$ Related but different question: math.stackexchange.com/questions/1168983/… $\endgroup$ – Patrick Stevens Feb 5 '18 at 21:17
  • 2
    $\begingroup$ The meaning of the title is impossible to decipher. $\endgroup$ – Did Mar 5 '18 at 11:58
  • 2
    $\begingroup$ If you say so. Anyway, the title does not say that (actually it is difficult to know what the title is really saying). Please modify. $\endgroup$ – Did Mar 6 '18 at 6:55
  • 2
    $\begingroup$ I'm with @Did. However, if the title is meant as a negative advertisement, it worked on me :) $\endgroup$ – yo' Mar 6 '18 at 10:08
  • 3
    $\begingroup$ @user477343 If you really want to know my frank opinion: The title is stupid. It uses non-standard notation ($\mathop{\exists}\limits^\infty$), it has the operators in the wrong order (I suppose you wanna say "for all $n\geq89$ there exist infinitely many") and it contains undefined symbols ($S_n$) that have many meanings in many contexts, and also, it's a title that uses math notation in a place where none is appropriate. Actually, why do you write $\forall n\in \mathbb{N}_{\geq89}$ for something as simple as $\forall n\geq89$? $\endgroup$ – yo' Mar 6 '18 at 10:46
2
$\begingroup$

On the OEIS sequence for counterexamples, R.K.Guy claims that "the problem originated (for n = 15) with Bernardo Recamán Santos of Colombia.", but does not give a name for the problem.

On a Numberphile episode, Matt Parker himself has given this problem the name "The Square-Sum Problem".

I have not evaluated the proof myself, but there is what amounts to a program and description (a preprint?) purporting to prove this conjecture at this mersenneforum post (and the preceding posts help for context) by Robert Gerbicz.

For the same problem but requiring the numbers to make a loop (so that the first and last numbers sum to a square as well), the numbers of solutions for small $n$ are documented in OEIS A071984. Guy attributed that version of the problem to Joe Kisenwether. In fact, the above post by Robert Gerbicz handles the corresponding conjecture for loops (loops exist for all $n\ge32$) as well.

There is a related MSE question and corresponding MO question about perfect powers with or without loops in more generality.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.