Restricted smallest-root conjecture for incomplete positive linear recurrence sequences

Let LZ>0L\in\mathbb{Z}_{>0}, let

NL=L(L+1)4,N_L=\left\lceil\frac{L(L+1)}{4}\right\rceil,

and let λL\lambda_L be the principal root of

xLxL1NL1.x^L-x^{L-1}-N_L-1.

Restricted smallest-root conjecture. If the sequence generated by [c1,,cL][c_1,\ldots,c_L] is incomplete and satisfies

i=1LciL(L+1)4+2,\sum_{i=1}^{L}c_i\leq \left\lceil\frac{L(L+1)}{4}\right\rceil+2,

then its principal root is at least λL\lambda_L. This is a restricted version of the proposed lower bound for incomplete sequences; the source provides motivation and partial analysis but no proof of the stated claim.

Sources & referencesView supporting material

Primary source

Elżbieta Bołdyriew, John Haviland, Phúc Lâm, John Lentfer, Steven J. Miller and Fernando Trejos Suárez, “Completeness of Positive Linear Recurrence Sequences”, arXiv:2010.01655 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.