Spectrum Sequence

A spectrum sequence is a Sequence formed by successive multiples of a Real Number $a$ rounded down to the nearest Integer $s_n=\left\lfloor{na}\right\rfloor$. If $a$ is Irrational, the spectrum is called a Beatty Sequence.

See also Beatty Sequence, Lagrange Spectrum, Markov Spectrum