Binary-one-prefix Euler-transform recurrence conjecture for Lyndon words

A Lyndon word over {0,1}\{0,1\} is a word that is the unique minimum among all of its rotations. For k2k\geq2, let α=(1,0,0,,0)\alpha=(1,0,0,\dots,0) be the prefix of length kk, and let Lα\mathcal{L}_\alpha be the sequence counting Lyndon words of length nn with prefix α\alpha. If \pazocalE(Lα)={tnα}n=1\pazocal{E}(\mathcal{L}_\alpha)=\{t_n^\alpha\}_{n=1}^\infty denotes its Euler transform, then binary-one-prefix recurrence conjecture.

tn+kα=i=0k1tn+iαt_{n+k}^\alpha=\sum_{i=0}^{k-1}t_{n+i}^\alpha

for all n1n\geq1. This specific recurrence is supported by the computational data reported in the source.

Sources & referencesView supporting material

Primary source

Peter Kagey, “Ranking and Unranking Restricted Permutations”, arXiv:2210.17021 (2023).

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.