与 Thue-Morse 序列相关的序列沿幂级数的线性独立性

Michael Coons, Yohei Tachiya
{"title":"与 Thue-Morse 序列相关的序列沿幂级数的线性独立性","authors":"Michael Coons, Yohei Tachiya","doi":"10.4153/s0008439524000195","DOIUrl":null,"url":null,"abstract":"<p>The Thue–Morse sequence <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$\\{t(n)\\}_{n\\geqslant 0}$</span></span></img></span></span> is the indicator function of the parity of the number of ones in the binary expansion of nonnegative integers <span>n</span>, where <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$t(n)=1$</span></span></img></span></span> (resp. <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$=0$</span></span></img></span></span>) if the binary expansion of <span>n</span> has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E. Miyanohara by showing that, for a fixed Pisot or Salem number <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$\\beta&gt;\\sqrt {\\varphi }=1.272019\\ldots $</span></span></img></span></span>, the set of the numbers <span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_eqnu1.png\"><span data-mathjax-type=\"texmath\"><span>$$\\begin{align*}1,\\quad \\sum_{n\\geqslant1}\\frac{t(n)}{\\beta^{n}},\\quad \\sum_{n\\geqslant1}\\frac{t(n^2)}{\\beta^{n}},\\quad \\dots, \\quad \\sum_{n\\geqslant1}\\frac{t(n^k)}{\\beta^{n}},\\quad \\dots \\end{align*}$$</span></span></img></span>is linearly independent over the field <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$\\mathbb {Q}(\\beta )$</span></span></img></span></span>, where <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$\\varphi :=(1+\\sqrt {5})/2$</span></span></img></span></span> is the golden ratio. Our result yields that for any integer <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$k\\geqslant 1$</span></span></img></span></span> and for any <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$a_1,a_2,\\ldots ,a_k\\in \\mathbb {Q}(\\beta )$</span></span></img></span></span>, not all zero, the sequence {<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline9.png\"/><span data-mathjax-type=\"texmath\"><span>$a_1t(n)+a_2t(n^2)+\\cdots +a_kt(n^k)\\}_{n\\geqslant 1}$</span></span></span></span> cannot be eventually periodic.</p>","PeriodicalId":501184,"journal":{"name":"Canadian Mathematical Bulletin","volume":"156 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Linear independence of series related to the Thue–Morse sequence along powers\",\"authors\":\"Michael Coons, Yohei Tachiya\",\"doi\":\"10.4153/s0008439524000195\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The Thue–Morse sequence <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline1.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\{t(n)\\\\}_{n\\\\geqslant 0}$</span></span></img></span></span> is the indicator function of the parity of the number of ones in the binary expansion of nonnegative integers <span>n</span>, where <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline2.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$t(n)=1$</span></span></img></span></span> (resp. <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline3.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$=0$</span></span></img></span></span>) if the binary expansion of <span>n</span> has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E. Miyanohara by showing that, for a fixed Pisot or Salem number <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline4.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\beta&gt;\\\\sqrt {\\\\varphi }=1.272019\\\\ldots $</span></span></img></span></span>, the set of the numbers <span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_eqnu1.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$$\\\\begin{align*}1,\\\\quad \\\\sum_{n\\\\geqslant1}\\\\frac{t(n)}{\\\\beta^{n}},\\\\quad \\\\sum_{n\\\\geqslant1}\\\\frac{t(n^2)}{\\\\beta^{n}},\\\\quad \\\\dots, \\\\quad \\\\sum_{n\\\\geqslant1}\\\\frac{t(n^k)}{\\\\beta^{n}},\\\\quad \\\\dots \\\\end{align*}$$</span></span></img></span>is linearly independent over the field <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline5.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\mathbb {Q}(\\\\beta )$</span></span></img></span></span>, where <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline6.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\varphi :=(1+\\\\sqrt {5})/2$</span></span></img></span></span> is the golden ratio. Our result yields that for any integer <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline7.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$k\\\\geqslant 1$</span></span></img></span></span> and for any <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline8.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$a_1,a_2,\\\\ldots ,a_k\\\\in \\\\mathbb {Q}(\\\\beta )$</span></span></img></span></span>, not all zero, the sequence {<span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240321105855809-0602:S0008439524000195:S0008439524000195_inline9.png\\\"/><span data-mathjax-type=\\\"texmath\\\"><span>$a_1t(n)+a_2t(n^2)+\\\\cdots +a_kt(n^k)\\\\}_{n\\\\geqslant 1}$</span></span></span></span> cannot be eventually periodic.</p>\",\"PeriodicalId\":501184,\"journal\":{\"name\":\"Canadian Mathematical Bulletin\",\"volume\":\"156 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-03-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Canadian Mathematical Bulletin\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4153/s0008439524000195\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Canadian Mathematical Bulletin","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4153/s0008439524000195","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

Thue-Morse 序列 $\{t(n)\}_{n\geqslant 0}$ 是非负整数 n 的二进制展开中 1 的个数奇偶性的指示函数,其中如果 n 的二进制展开中 1 的个数为奇数(或偶数),则 $t(n)=1$(或 $=0$)。在本文中,我们推广了宫之原(E. Miyanohara)最近的一个结果,证明对于一个固定的皮索特(Pisot)或萨利姆(Salem)数 $\beta>\sqrt {\varphi }=1.272019\ldots $, the set of the numbers $$\begin{align*}1,\quad \sum_{n\geqslant1}\frac{t(n)}{beta^{n}},\quad \sum_{n\geqslant1}\frac{t(n^2)}{beta^{n}}、\quad \dots, \quad \sum_{n\geqslant1}\frac{t(n^k)}{beta^{n}}, \quad \dots \end{align*}$$ 是线性独立于域 $\mathbb {Q}(\beta )$, 其中 $\varphi :=(1+\sqrt {5})/2$ 是黄金分割率。我们的结果表明,对于任意整数 $k\geqslant 1$,并且对于 \mathbb {Q}(\beta )$ 中的任意 $a_1,a_2,\ldots ,a_k\ 都不为零,序列 {$a_1t(n)+a_2t(n^2)+\cdots +a_kt(n^k)\}_{n\geqslant 1}$ 最终不可能是周期性的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Linear independence of series related to the Thue–Morse sequence along powers

The Thue–Morse sequence $\{t(n)\}_{n\geqslant 0}$ is the indicator function of the parity of the number of ones in the binary expansion of nonnegative integers n, where $t(n)=1$ (resp. $=0$) if the binary expansion of n has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E. Miyanohara by showing that, for a fixed Pisot or Salem number $\beta>\sqrt {\varphi }=1.272019\ldots $, the set of the numbers $$\begin{align*}1,\quad \sum_{n\geqslant1}\frac{t(n)}{\beta^{n}},\quad \sum_{n\geqslant1}\frac{t(n^2)}{\beta^{n}},\quad \dots, \quad \sum_{n\geqslant1}\frac{t(n^k)}{\beta^{n}},\quad \dots \end{align*}$$is linearly independent over the field $\mathbb {Q}(\beta )$, where $\varphi :=(1+\sqrt {5})/2$ is the golden ratio. Our result yields that for any integer $k\geqslant 1$ and for any $a_1,a_2,\ldots ,a_k\in \mathbb {Q}(\beta )$, not all zero, the sequence {$a_1t(n)+a_2t(n^2)+\cdots +a_kt(n^k)\}_{n\geqslant 1}$ cannot be eventually periodic.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
On irreducible representations of Fuchsian groups Strong digraph groups General theorems for uniform asymptotic stability and boundedness in finitely delayed difference systems Counting elements of the congruence subgroup Minimal Subfields of Elliptic Curves
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1