The generalized periodic characterization conjecture for S_{1,g,g+1}

About 1 year old · traced to

For g≥2g\geq 2, let S1,g,g+1S_{1,g,g+1} be the greedy 3-subsumfree sequence beginning with 1,g,g+11,g,g+1, where each subsequent term is the smallest larger integer that is not the sum of three distinct previous terms. The generalized periodic characterization conjecture. For every g≥2g\geq2,

z∈S1,g,g+1  ⟺  z∈{1,2g+1,6g+1} or z mod (10g+3)∈{g,g+1,…,2g}∪{6g+2,6g+3,…,7g+1}.z\in S_{1,g,g+1}\iff z\in\{1,2g+1,6g+1\}\ \text{or}\ z\bmod(10g+3)\in\{g,g+1,\ldots,2g\}\cup\{6g+2,6g+3,\ldots,7g+1\}.

In particular, after the first g+4g+4 entries, the sequence modulo 10g+310g+3 is periodic with period 2g+12g+1. The paper reports verification only for g∈{2,3,…,10}g\in\{2,3,\ldots,10\} and leaves the parametrized statement conjectural.

References

Primary source

Wieb Bosma, Rene Bruin, Robbert Fokkink, Jonathan Grube, Anniek Reuijl and Thian Tromp, “Using Walnut to solve problems from the OEIS”, arXiv:2503.04122 (2025).

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.