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

 

标志
提示
(来自的问候整数序列在线百科全书!)
A285347型 1英寸的位置A285345型; 的补语A285346型. 8
1, 2, 5, 6, 9, 11, 13, 14, 17, 18, 21, 23, 25, 26, 29, 31, 32, 35, 37, 38, 41, 42, 45, 47, 49, 50, 53, 54, 57, 59, 61, 62, 65, 67, 68, 71, 73, 74, 77, 78, 81, 83, 85, 86, 89, 91, 92, 95, 96, 99, 101, 103, 104, 107, 109, 110, 113, 114, 117, 119, 121, 122, 125 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,2
评论
猜想:当n>=1时,2n-1-a(n)在{0,1}中。
发件人米歇尔·德金2019年9月14日:(开始)
金伯利猜想的证明。我会证明的
(*)2n-1-a(n)=A189668号(n) 对于n>0,
哪里A189668号是由下式给出的态射增量的不动点
增量(0)=010,增量(1)=100。
首先我们必须找到a(n)的第一差分的序列d(n):=a(n+1)-a(n)。我们更愿意考虑同态的镜像:0->10,1->1100,由sigma:0->0011,1->01给出。然后,当然,A285345型是sigma的不动点xS=0011001101010011…的二进制补码(镜像)。所以(a(n))给出了xS中0的位置。
设u=0、v=01和w=011是序列xS中0的返回字。[返回词的定义见Justin&Vuillon(2000)-N.J.A.斯隆2019年9月23日]
然后
σ(u)=uw,σ(v)=uwv,∑(w)=uvv。
根据返回词的长度对返回词进行编码,这将给出一个具有
α(1)=13,α(2)=132,α(3)=1322。
我们发现差分序列(d(n))等于不动点xA=131322131322132=A326420型同态α。
请注意,它显示在的评论中A326420型xA=xB,其中xB是由
β(1)=131,β(2)=132,β(3)=322。
为了证明(*),我们注意到,证明差序列的对应关系就足够了,因为1-a(n)=0=A189668号(1).
那么必须显示的是
(**)d(n)=a(n+1)-a(n)=2-δ。
为了得到差分序列(delta(n+1)-delta(n)),我们考虑由delta生成的两块态射delta-hat_2。长度为2的块出现在A189668号态射三角洲的不动点为00、01和10。一个人发现
delta-hat_2(00)=01,10,00,
delta-hat_2(01)=01,10,01,
delta-hat_2(10)=10,00,00。
这个态射与字母表{-1,0,1}上的态射伽马以(δ(n+1)-delta(n))为不动点呈1:1对应。一个有
伽马(0)=1,-1,0,伽马(1)=1,-1,1,伽马值(-1)=-1,0,0。
由于映射x->2-x将字母{-1,0,1}映射到{3,2,1},因此我们看到序列(2-delta(n+1)+delta(n))只不过是beta的不动点。这证明了(**)。
(结束)
链接
克拉克·金伯利,n=1..10000时的n,a(n)表
F.Michel Dekking,形态、符号序列及其标准形式《整数序列杂志》,第19卷(2016年),第16.1.1条。
雅克·贾斯汀和劳伦特·维隆,斯图尔语和书信体语中的返回词,RAIRO-理论信息学与应用34.5(2000):343-356。
例子
总之,A285345型=1100110…,其中1位于位置1、2、5、6、9,。。。
数学
s=嵌套[#/.{0->{1,0},1->{1、1、0、0}}]&,{0}、10](*A285345型*)
u=压扁[位置[s,0]](*A285346型*)
压扁[位置[s,1]](*A285347型*)
交叉参考
囊性纤维变性。A189668号,A285345型,A285346型.
关键词
非n,容易的
作者
克拉克·金伯利,2017年4月25日
状态
经核准的

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

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

上次修改时间:美国东部夏令时2024年6月20日12:38。包含373527个序列。(在oeis4上运行。)