[seqfan] Re: Message from Marc LeBrun

jean-paul allouche jean-paul.allouche at imj-prg.fr
Thu May 12 19:53:17 CEST 2016


Yep I was not sure you received the messages from the list again
amities
jp

Le 12/05/16 11:46, Jeffrey Shallit a écrit :
>
>
>
>>> ...the Beatty sequence
>>>     floor(n*alpha) for n >= 1
>>> is an eigensequence for the discriminator if and only if
>>> 1 <= alpha < 3/2.  There is a one-line proof!
>>
>>    Thanks, Dr. Shallit.
>>    It's more than just Beatty sequences. If a sequence begins "1,2",
>>    and thereafter (a(n+1) - a(n)) is in {1,2}, it's an eigensequence.
>>
>
> Yes, this is my one-line proof.
>
> -- 
> Seqfan Mailing list - http://list.seqfan.eu/



More information about the SeqFan mailing list