arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2302.09436math.NTcs.FL
收藏

基于自动机理论和逻辑的稀疏Thue-Morse和

Rarefied Thue-Morse Sums Via Automata Theory and Logic

Jeffrey Shallit

摘要:

令$t(n)$表示$n$的基$2$表示中的$1$比特的数目,取模$2$。我们展示了如何证明经典的猜想利奥莫泽,在稀薄的总和$\sum_{0\leq i<n} (-1)^{t(3i)}$,使用自动机理论和逻辑的工具。同样的技巧可以用来证明类似和的结果。

英文摘要:

Let $t(n)$ denote the number of $1$-bits in the base-$2$ representation of $n$, taken modulo $2$. We show how to prove the classic conjecture of Leo Moser, on the rarefied sum $\sum_{0\leq i<n} (-1)^{t(3i)}$, using tools from automata theory and logic. The same technique can be used to prove results about analogous sums.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑