登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A171587号 斐波纳契单词分形的对角线变体序列。斐波那契瓷砖的顺序。 4
0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0 (列表图表参考历史文本内部格式)
抵消
0.1个
评论
上部Wythoff层序(A001950号)mod 2(参见公式部分)-米歇尔·德金2021年2月1日
这个序列被解释为0=右转和1=左转,它构建了斐波那契单词分形的对角线变体。斐波那契瓷砖的建造基础(通过两种方式平移平面)。
发件人米歇尔·德金2018年5月3日:(开始)
这是一个同态序列,即同态不动点的字母到字母的投影。要了解这一点,可以使用由密集斐波那契单词生成(a(n))的公式A143667号注意,在稠密斐波那契词中,它是态射的不动点
0->10221, 1->1022, 2->1021,
字母0排他地出现在字母1之前。这使我们能够创建一个新的字母3,对单词10进行编码,并创建一个态射
1->322,2->321,3->3223221,
它具有字母到字母投影的属性
1->0, 2->1, 3->0
其不动点3,2,2,3,2,1,3,2,1,。。。等于(a(n))。
(结束)
链接
A.Blondin Massé、S.Brlek、A.Garon、S.Labbé、,Christoffel和Fibonacci瓷砖,DGCI 2009。计算机科学课堂讲稿,第5810卷。
A.Blondin Massé、S.Brlek、A.Garon、S.Labbé、,Christoffel和Fibonacci瓷砖2009年9月。
A.Blondin Massé、S.Brlek、A.Garon、S.Labbé、,Christoffel和Fibonacci瓷砖演示2009年9月。
A.莫内罗-杜曼,斐波那契单词分形,2009年2月。
配方奶粉
这个序列由Blondin-Massé等人定义为递归定义单词q[n]的极限。这里q[0]是空字,q[1]=0。
递归由以下公式给出
q[n]=q[n-1]q[n-2]如果n=2 mod 3,以及
q[n]=q[n-1]bar{q[n-2]},如果n=0或1 mod 3,
其中bar交换0和1。
还有映射1->0,2->1,0->空单词到稠密斐波那契单词的应用A143667号.
猜想:A171587号=(A001950号mod 2),建议n=1,2,。。。,下面的Mathematica程序为500-克拉克·金伯利2011年5月31日
发件人米歇尔·德金2018年5月3日:(开始)
金伯利2011猜想的证明,即该序列是Upper Wythoff序列的奇偶序列A001950号.
第一差分序列3,2,3,3,2、3、2、3。。。上威瑟夫序列的不动点等于态射的唯一不动点
贝塔系数:2->3,3->32(参见。A282162型).
我们定义有限字w上的第一个差分算子D
D(w(1)。。。w(m)=(w(2)-w(1))。。。(w(m)-w(m-1))。
注意D(w)的长度比w的长度小一,并且注意
LEMMA 1:D(vw)=D(v)|w(1)-v(l)|D(w),如果v=v(1)。。。v(l),且w=w(1)。。。w(米)。这里,|w(1)-v(l)|是模2。
我们还需要(通过归纳很容易证明)
LEMMA 2:当且仅当n=0,1,2模6时,单词q[n]的最后一个字母等于0。
几乎微不足道的是
LEMMA 3:当且仅当n=0模2时,β^n(2)的最后一个字母e(n)等于2。
下面的命题暗示了这个猜想。
命题:当n>3时,q[n]的差序列满足D(q[n]=beta^{n-1}(2)e(n-1)^{-1}模2。
注意,根据定义,beta^n(2)e(n)^{-1}只是单词beta^n(2),去掉了最后一个字母。
证据:通过归纳。在q[n]的递归中组合引理1、2和3,对于n=0,。。。,5模6,使用下表:
n模6|0|1|2|3|4|5|
q[n-1]|1|0|0|1|1的最后一个字母|
q[n-2]*|1|1|0|1|1|0的第一个字母|
这里,q[n-2]*表示q[n-2](如果n==2(mod 3))或条{q[n-2%}(如果n=0,1(mod3))。
例如,如果所有等式都是模2,
D(q[8])=D(q[7])0,
其中f(n):=(e(n)mod 2)^{-1}。
(结束)
例子
q[2]=q[1]q[0]=0,q[3]=q[2]条{q[1]}=01,
q[4]=q[3]条{q[2]}=011,q[5]=q[4]q[3]=01101。
数学
(*此程序支持以下推测:A171587号=(A001950号模块2).*)
t=嵌套[扁平[#/.{1->{1,0,2,2},0->{1、0、2、2、1},2->{1,0、2,1}}]&,{1}、5]
w=删除案例[t,0]/。{1 -> 0, 2 -> 1}
u=表[n+楼层[n*GoldenRatio],{n,1500}];v=型号[u,2]
表[w[[n]]-v[[n]],{n,1500}](*支持n=1,2,…,500*的猜想)
(*吨=A143667号,周=A171587号,u=A001950号,猜想:v=w*)
交叉参考
囊性纤维变性。A143667号,A003849号
囊性纤维变性。A001950号(上威瑟夫层序),A085002号(下部Wythoff层序mod 2),A085002号.
关键词
非n
作者
Alexis Monnerot-Dumaine(Alexis.monnerotdumaine(AT)gmail.com),2009年12月12日
扩展
公式由修正和扩展米歇尔·德金,2018年5月3日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月19日09:23。包含371782个序列。(在oeis4上运行。)