This question is motivated by integrability of the sequence mistakenly arisen in the question Does this sequence always give an integer?

Let $m_1,\ldots, m_{k-1}$ be positive integers and sequence $\{a_n\}$ is defined by initial conditions $$a_1=\ldots=a_k=1$$ and recurrence $$a_{n+k}a_n=a_{n+1}^{m_1}a_{n+k-1}^{m_{k-1}}+a_{n+2}^{m_{2}}a_{n+3}^{m_{3}}\ldots a_{n+k-2}^{m_{k-2}}\quad(n\ge1).$$ Then the same (George Bergman's) argument described in David Gale's The strange and surprising saga of the Somos sequences, see Tracking the automatic ant and other mathematical explorations allows to prove that $\{a_n\}$ is an integer sequence.

Question: does this sequence belong to any known class of integer sequences?


I believe this is a special case of Case (9) in Theorem 3.9 of Allman, Cuenca and Huang. By the way, this paper was an REU project!


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.