Restricted smallest-root conjecture for incomplete positive linear recurrence sequences

At least 5 years old · documented by

Let L∈Z>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

xL−xL−1−NL−1.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=1Lci≤⌈L(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.

References

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.