Bosma–Dekking–Steiner metallic-mean iteration conjecture

For an integer j1j\geq 1, let αj\alpha_j be the jj-th metallic mean, so that αj2=jαj+1\alpha_j^2=j\alpha_j+1. Let r1r_1 be the unique positive real number such that all terms defined by

rn+1=n2rnjn+1r_{n+1}=\frac{n^2}{r_n-jn+1}

are positive. Bosma, Dekking, and Steiner's conjecture. The iterative sequence rn\lfloor r_n\rfloor equals the Beatty sequence

αjn1+αj2αjj.\left\lfloor \alpha_j n-\frac{1+\alpha_j}{2\alpha_j-j}\right\rfloor.

This conjecture concerns extending the known iterated-function description from the displayed example to all metallic means; its resolution is not given in the supplied text.

Sources & referencesView supporting material

Primary source

Robbert Fokkink and Gandhar Joshi, “On Cloitre's hiccup sequences”, arXiv:2507.16956 (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.