Strong terminating conjecture for the mean-median map

For an initial condition x[0,1]x\in[0,1], let (xn)(x_n) be the orbit generated by the mean-median map from the initial set [0,x,1][0,x,1]. The strong terminating conjecture. For every x[0,1]x\in[0,1] there is an integer τ\tau such that

xτ+k=xτfor all kN.x_{\tau+k}=x_\tau\quad\text{for all }k\in\mathbb{N}.

Termination means that the orbit eventually stabilises, so this conjecture asserts stabilisation for every initial condition. It is proved in specified neighbourhoods of x=12x=\frac12 and remains unresolved in general.

Sources & referencesView supporting material

Primary source

Jonathan Hoseana and Franco Vivaldi, “Geometrical Properties of the Mean-Median Map”, arXiv:1806.10184 (2019).

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.