首页/论文/math/0608222

arXiv math/06082222006-08-09math.DSmath.GN

Markov子群上线性元胞自动机Haar测度的吸引性

Attractiveness of the Haar measure for linear cellular automata on Markov subgroups

Alejandro Maass, Servet Mart\'{ı}nez, Marcus Pivato, Reem Yassawi

备注：: Published at http://dx.doi.org/10.1214/074921706000000130 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)
发表信息：: IMS Lecture Notes--Monograph Series 2006, Vol. 48, 100-108
DOI：: 10.1214/074921706000000130

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对于代数元胞自动机在Markov子群上的作用，证明了马尔可夫测度的迭代的Cesàro平均收敛于Haar测度.这是证明通过使用组合的二项式系数的再生建设的马尔可夫测度。

英文摘要：

For the action of an algebraic cellular automaton on a Markov subgroup, we show that the Cesàro mean of the iterates of a Markov measure converges to the Haar measure. This is proven by using the combinatorics of the binomial coefficients on the regenerative construction of the Markov measure.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

仿射元胞自动机的极限测度

Limit Measures for Affine Cellular Automata

设M是么半群（例如格Z^D），A是阿贝尔群。A^M则是一个紧阿贝尔群;线性元胞自动机（LCA）是一个连续自同态F：A^M --> A^M，它与所有移位映射交换。设μ是A^M上的一个（可能是非平稳的）概率测度，我们给出了μ和F的充分条件，使得序列{F^N μ}（N= 1，2，3，.）弱 *-收敛到A^M上的Haar测度，在密度上（因此，也在Cesaro平均上）。作为应用，我们证明了：如果A=Z/p（p素数），F是A^{（Z^D）}上的任何"非平凡“LCA，μ属于一个广泛的测度类（包括大多数Bernoulli测度（当D >= 1时）和”完全可测的“N步马尔可夫测度（当D=1时）），则F^N μ弱 *-依密度收敛于Haar测度.

2002-08-31math.DS

线性元胞自动机的模移位与刚性度量

Module Shifts and Measure Rigidity in Linear Cellular Automata

设R是有限的素特征交换环，A是有限的R-模，M：=Z^D x N^E，F是A^M上的R-线性元胞自动机.如果μ是一个F-不变测度，且以某种方式是多重移位混合的，则证明了μ一定是A^M的某个子模移位的陪集上的Haar测度.在一定条件下，这意味着μ必须是A^M上的一致伯努利测度。

2007-07-10math.DS

线性细胞自动机、渐近随机化和熵

Linear cellular automata, asymptotic randomization, and entropy

若A=Z/2，则A^Z是紧阿贝尔群。一个“线性元胞自动机”是A^Z的移位交换自同态F。如果P是A^Z上的概率测度，则F“渐近随机化”P，如果F^j P收敛于哈尔测度，当j-->oo，其中j在Cesaro密度为1的子集中。通过反例，我们证明了P的非零熵对于渐近随机化既不是必要的，也不是充分的。

2002-10-16math.DSmath.PR

代数双置换元胞自动机的刚性测度

Measure rigidity for algebraic bipermutative cellular automata

设$(\az,F)$是一个双置换代数元胞自动机。我们提出的条件，迫使概率测度是不变的$\N\times\Z$ -作用的$F$和移位映射$\s$的Haar测度$\gs$，一个封闭的移位不变子群的阿贝尔紧群$\az$ .这同时推广了B. Host，A. Maass和S. Mart \cite{Host-Maass-Martinez-2003}和M. Pivato \cite{Pivato-2003}。当$F$是$\an$上的一个特殊的可逆可扩元胞自动机时，这个结果被应用于给出一个条件，该条件也迫使一个$(F,\s)$ -不变概率测度成为一致Bernoulli测度.

2006-01-24math.DS

自动机作为$p$ -adic动力系统

Automata as $p$-adic Dynamical Systems

字母表$\mathbb F_p=\{0,1,\ldots,p-1\}$上的无限词的自动机变换（其中$p$是素数）与$p$-adic整数的环$\mathbb Z_p$的连续变换（关于$p$ -adic度量）一致。研究对象是$\mathbb Z_p$空间上由自动机映射生成的非阿基米德动力系统。这种动力系统的测度保持性（相对于Haar测度）和遍历性在密码学中起着重要的作用（例如，对于伪随机生成器和流密码设计）。使用$p$ -进方法和自动机的几何图像的可能性允许传递（或遍历）自动机的特征。本文研究了与同步和异步自动机相关的保测度遍历映射。我们得到了与异步自动机相联系的$n$ -单位延迟映射的测度保持性准则。此外，我们还得到了这类映射遍历性的一个充分条件。

2018-04-02cs.FLmath.DS

用线性元胞自动机实现sofic位移的渐近随机化

Asymptotic Randomization of Sofic Shifts by Linear Cellular Automata

设M=Z^D是D维格，A是阿贝尔群. A^M则是一个紧阿贝尔群;一个“线性元胞自动机”（LCA）是一个拓扑群自同态Φ：A^M --> A^M，它与所有移位映射交换。设μ是A^M上的一个概率测度，它的支集是一个有限型子移位或sofic移位.我们给出了Φ“渐近随机化”μ的充分条件（关于Φ和μ），这意味着wk* lim_{J\ni j --> oo} Φ^j μ= η，其中η是A^M上的Haar测度，J的Cesaro密度为1。在Φ=1+σ的情形下，我们给出了关于μ的一个充分必要条件.然后，我们用它来构造一个零熵测度的例子，它是由1+σ渐近随机化的（所有以前已知的例子都有正熵）。

2006-04-13math.DS

更多相关论文收起更多论文

幂零群上的乘法元胞自动机：结构、熵和渐近性

Multiplicative Cellular Automata on Nilpotent Groups: Structure, Entropy, and Asymptotics

如果M是幺半群（例如格Z^D），G是有限（非阿贝尔）群，则G^M是紧群;“乘法细胞自动机”（MCA）是一个连续变换F：G^M-->G^M，它与所有移位映射交换，并且其中附近的坐标使用G的乘法运算组合。我们刻画了MCA是G^M的群自同态的条件，证明了G^M上的MCA继承了G^M的结构的自然结构理论。我们应用这一结构理论计算了MCA的可测熵，并研究了初始测度对Haar测度的收敛性。

2002-08-28math.DS

仿射元胞自动机II的极限测度

Limit Measures for Affine Cellular Automata, II

如果M是么半群（例如格Z^D），A是阿贝尔群，则A^M是紧阿贝尔群;线性元胞自动机（LCA）是一个连续自同态F：A^M --> A^M，它与所有移位映射交换。若F是扩散的，μ是A^M上的调和混合（HM）概率测度，则序列{F^N μ}（N= 1，2，3，.）弱 *-收敛到A^M上的Haar测度，在密度上。当A=Z/p是素循环群时，A^Z上的全支马尔可夫测度是HM，A^{Z^D}上的非平凡LCA是扩散的.本文给出了当A=Z/n是任意循环群或A=[Z/（p^r）]^J（p素数）时，LCA在A^{Z^D}上扩散的充分条件.证明了A^{Z^D}上的全支集马氏随机场是HM（其中A是任意阿贝尔群）.

2003-04-29math.DS

表面尺寸，瓷砖和同步自动机

Surface dimension, tiles, and synchronising automata

研究了紧集$G \subset R^n$的曲面正则性，其中$G \subset R^n$等于数$s\ge 0$的上确界，使得集合$G_{\varepsilon}\setminus G$的测度不超过$C\varepsilon^{s}, \varepsilon > 0$，其中$G_{\varepsilon}$表示~ $G$的$\varepsilon$ -邻域.根据定义，表面尺寸是~ $n$和表面规则性之间的差。这些值为正测度集的规律性提供了一个自然的表征。我们表明，自仿射吸引子和瓷砖这些特性是明确可计算的，并找到他们的一些流行的瓷砖。这，特别是，给出了一个精致的多变量Haar小波的正则性尺度。最高可能的规律性的吸引子的分类解决。给出了多元加细函数和小波的曲面正则性与Hölder正则性之间的关系，最后将曲面正则性应用于同步自动机理论，对应于同步参数的概念。

2021-09-25math.CAmath.DSmath.MG

Abel元胞自动机渐近随机化的特征

Characterizing Asymptotic Randomization in Abelian Cellular Automata

阿贝尔元胞自动机是指当赋予字母表一个阿贝尔群结构时，完全群移位的群自同态。CA随机化初始概率测度，如果它的迭代图像弱 *-收敛到均匀伯努利测量（在此设置中的哈尔测量）。我们感兴趣的结构现象，即随机化的广泛的初始措施（在一些混合假设）。首先，我们证明了一个阿贝尔CA在Ces{à}ro平均下随机化当且仅当它没有孤子，即一个时间演化在空间上保持有界的有限位形.这一特征推广了以前已知的阿贝尔CA与标量或交换系数的充分条件。其次，我们展示了强随机化的例子，即阿贝尔CA随机化在简单的收敛，这是第一次证明这种行为，我们的知识。然而，我们发现，没有CA与交换系数可以强随机化。最后，我们证明了一些阿贝尔CA实现部分随机化而不被随机化：短的有限字的分布趋于均匀分布到某个阈值，但这种收敛失败的较大的字。同样，这种现象不会发生交换系数的阿贝尔CA。

2018-02-12cs.DMmath.DS