首页/论文/1708.09012

arXiv 1708.090122017-08math.DS

伊甸园和规格

Garden of Eden and Specification

Hanfeng Li

备注：: 16 pages. Minor changes. To appear in ETDS
发表信息：: Ergod. Th. Dynam. Sys. 39 (2019) 3075-3088
DOI：: 10.1017/etds.2018.6

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文对具有弱规范性质的顺从群的扩张代数作用建立了伊甸园定理，即对任何从基空间到自身的连续等变映射T，T是预内射的当且仅当它是满射的.特别地，这适用于顺从群的所有扩张主代数作用和具有CPE的Z^d的扩张代数作用。

英文摘要：

We establish a Garden of Eden theorem for expansive algebraic actions of amenable groups with the weak specification property, i.e. for any continuous equivariant map T from the underlying space to itself, T is pre-injective if and only if it is surjective. In particular, this applies to all expansive principal algebraic actions of amenable groups and expansive algebraic actions of Z^d with CPE.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于B-自由子移位的伊甸园定理

On the Garden of Eden theorem for B-free subshifts

本文证明在满足Erdös条件的B-自由子移位上，所有元胞自动机均可由单调滑动块码决定，从而推出伊甸园定理对该类系统成立。

2024-09-04math.DS

关于非均匀元胞自动机的满射性与伊甸园定理

On the surjunctivity and the Garden of Eden theorem for non-uniform cellular automata

本文研究非均匀元胞自动机（NUCA）的满射性与伊甸园定理，证明均匀回归或一维回归分布下定理成立，非回归分布存在反例，且渐近回归分布定义满射NUCA。

2025-07-09math.DS

环面上Anosov同态的伊甸园定理

A Garden of Eden theorem for Anosov diffeomorphisms on tori

设$f$是$n$维环面${\mathbb{T}}^n$的Anosov同构，$τ$是${\mathbb{T}}^n$与$f$交换的连续自映射.我们证明了$τ$是满射的当且仅当$τ$对$f$的每一个同宿类的限制是内射的。

2016-06-24math.DS

伊甸园中的生命游戏

Gardens of Eden in the Game of Life

我们证明了在生命游戏中，如果矩形模式的厚度为4的补零不是孤儿，那么相应的有限支撑构形就不是伊甸园，并且每个有限支撑构形的原像都有稠密的半线性构形.特别是有限支集的伊甸园是co-NP。

2019-12-03cs.FLmath.DS

单调动力系统的伊甸园状态与不动点

Garden-of-Eden states and fixed points of monotone dynamical systems

本文研究单调序列动力系统（SDS）的伊甸园（GoE）状态和不动点。对于任何单调SDS和固定更新时间表，我们识别一组特定的状态，每个状态要么是GoE状态，要么达到固定点，而确定状态是否是GoE状态和找出所有不动点通常都很难。结果表明，它们的极限环的最大尺寸严格小于${n\choose \lfloor n/2 \rfloor}$。我们将这些结果与Knaster-Tarski定理和LYM不等式联系起来。最后，我们建立，存在单调，并行动力系统（PDS），不能表示为单调SDS，尽管事实上，相反的总是正确的。

2018-05-08math.COmath.DS

关于非均匀元胞自动机的伊甸园定理

On the Garden of Eden theorem for non-uniform cellular automata

本文扩展了非均匀元胞自动机的伊甸园定理，定量揭示部分预内射性与像大小的关系，并为强不可约有限型子移位上的多维元胞自动机提供了增强的满射性结果。

2023-04-03cs.DMmath-phmath.DS

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

线性子移位的伊甸园定理

A Garden of Eden theorem for linear subshifts

设$G$是顺从群，$V$是任意域$\K$上的有限维向量空间。证明了如果$X \subset V^G$是有限型强不可约线性子移位，$τ\colon X \to X$是线性元胞自动机，则$τ$是满射的当且仅当它是预内射的.证明了如果$G$是可数的，且$X \subset V^G$是强不可约线性子移位，则每个内射线性元胞自动机$τ\colon X \to X$都是满射的.

2010-02-21math.DSmath.GR

伊甸园定理：旧与新

The Garden of Eden theorem: old and new

本文综述元胞自动机和动力系统领域中围绕 Moore–Myhill 伊甸园定理的经典与新近主题。

2018-06-08cs.ITmath.DSmath.GR

主代数作用的伊甸园定理

A Garden of Eden theorem for principal algebraic actions

设$Γ$是可数阿贝尔群且$f \in \Z[Γ]$，其中$\Z[Γ]$表示$Γ$的整群环.考虑循环$\Z[Γ]$ -模$\Z[Γ]/\Z[Γ] f$的Pontryagin对偶$X_f$，并假设$Γ$在$X_f$上的自然作用是可扩的，且$X_f$是连通的.证明了如果$τ\colon X_f \to X_f$是$Γ$ -等变连续映射，则$τ$是满射的当且仅当$τ$对每个$Γ$ -同宿类的限制是内射的.这是一个类似的经典伊甸园定理的摩尔和Myhill的细胞自动机有限字母表上$Γ$。

2017-06-20math.DSmath.FAmath.GR

关于符号algebraic varieties自同态的伊甸园定理

On the Garden of Eden theorem for endomorphisms of symbolic algebraic varieties

设$G$是顺从群，$X$是代数闭域$K$上的不可约完全代数簇.设$A$表示$X$的$K$ -点集，$τ\colon A^G \to A^G$是$(G,X,K)$上的代数元胞自动机，即，群$G$和字母表$A$上的元胞自动机，其局部定义映射由$K$ -代数簇的态射诱导。引入了代数细胞自动机预内射性的一个弱概念，即$(*)$ -预内射性，证明了$τ$是满射的当且仅当它是$(*)$ -预内射的.特别地，$τ$具有Myhill性质，即，当它是前内射的时候，它是满射的。我们的结果对Gromov在~ \cite{gromov-esav}中提出的一个问题给出了肯定的回答，并得到了经典的Moore-Myhill伊甸园定理的一个类似结果.

2018-03-23math.AGmath.DSmath.GR

Smale空间的伊甸园定理

A Garden of Eden theorem for Smale spaces

该研究针对动力系统的伊甸园定理相关性质，证明了不可约Smale空间同时满足Moore与Myhill性质即符合伊甸园定理，非游荡Smale空间具有满射性与Moore性质，拓展了该定理的适用范围。

2025-08-04math-phmath.DSmath.MP

伊甸园与群的某些扩张作用的弱周期点

Garden of Eden and weakly periodic points for certain expansive actions of groups

本文给出了最近由S. Barbieri，F. García-Ramos和H. Li，并由伪轨跟踪性质所暗示的，对紧空间上的一般扩张群作用。首先证明了紧致可度量化空间上可数顺从群的任意扩张作用满足弱规范和强拓扑马尔可夫性，即满足Moore性质，即这种动力系统的满射自同构都是预内射的.这与H.本文重新证明了Myhill性质的Li（其中不需要强拓扑马氏性），建立了紧致可度量化空间上可数顺从群的所有扩张作用满足弱规范和强拓扑马尔可夫性的伊甸园定理.我们暗示如何容易地推广这一结果，甚至不可数顺从的群体和一般的紧凑，不一定度量化，空间。其次，推广了D. B. Cohen证明了至少有两个端点的有限生成群的任何有限型子移位都有弱周期点。我们证明了这样一个群的每一个扩张作用都有一个弱周期点，这个群具有一定的马尔可夫拓扑性质，这也是伪轨跟踪性质所隐含的。如果它还具有弱规格性质，则这样的点的集合是稠密的。

2021-10-08math.DSmath.GR

调和模型的同宿扩张作用与伊甸园定理

Homoclinically expansive actions and a Garden of Eden theorem for harmonic models

设$Γ$是可数阿贝尔群，$f \in \Z[Γ]$是$Γ$的整群环，其中$\Z[Γ]$是$Γ$的整群环.考虑循环$\Z[Γ]$ -模$\Z[Γ]/\Z[Γ] f$的Pontryagin对偶$X_f$，并假设$f$是弱扩张的（例如，$f$在$\ell^1(Γ)$中是可逆的，或者，当$Γ$实际上不是$\Z$或$\Z^2$时，$f$是良好平衡的），并且$X_f$是连通的。证明了：如果$τ\colon X_f \to X_f$是$Γ$ -等变连续映射，则$τ$是满射的当且仅当$τ$对每个$Γ$ -同宿类的限制是内射的.我们还证明了当$Γ= \Z^d$和$f \in \Z[Γ] = \Z[u_1,u_1^{-1}, \ldots, u_d, u_d^{-1}]$是一个不可约的无向多项式，使得它的零集$Z(f)$包含在$[0,1]^d$和$\R^d$中的超平面的有限并集在商映射$\R^d \to \T^d$下的交集的像中时，这种等价性仍然有效（例如，当$d \geq 2$使得$Z(f)$是有限的时）。这两个结果类似于经典的伊甸园定理的Moore和Myhill的细胞自动机有限字母表在$Γ$。

2018-03-08math.DSmath.GR

关于细胞自动机的Moore定理的逆定理

A converse to Moore's theorem on cellular automata

我们证明了一个逆摩尔的“伊甸园”定理：一组G是顺从的，当且仅当所有的细胞自动机生活在G承认相互可擦模式也承认伊甸园。它已经被证明，顺从性可以用元胞自动机来表征。我们证明了这个猜想的第一部分。

2007-09-26cs.ITmath.COmath.DS

符号群簇与对偶超关系

On symbolic group varieties and dual surjunctivity

设$G$是一个群。设$X$是代数闭域$K$上的代数群.用$A=X(K)$表示$X$的有理点集。研究了代数群元胞自动机$τ\colon A^G \to A^G$，它的局部定义映射由代数群$X^M \to X$的一个同态导出，其中$M$是有限存储器.当$G$是sofic且$K$是不可数时，我们证明了如果$τ$是后满射则它是弱预内射.我们的结果扩展了由Capobianco，Kari和Taati提出的有限字母表的Gottschalk猜想的对偶版本。当$G$是顺从的时，我们证明了如果$τ$是满射的则它是弱预内射的，反之，如果$τ$是预内射的则它是满射的.因此，我们得到了一个完整的回答格罗莫夫的伊甸园定理的情况下，代数群细胞自动机的问题。

2021-11-15math.AGmath.COmath.DS

关于sofic群、Kaplansky图和原代数群的自同态

On sofic groups, Kaplansky's conjectures, and endomorphisms of pro-algebraic groups

让$G$成为一个组。设$X$是代数闭域$K$上的连通代数群.用$A=X(K)$表示$X$的$K$-点的集合。研究了一类原代数群的自同态，即$(G,X,K)$上的代数群元胞自动机。它们是元胞自动机$τ\colon A^G \to A^G$，其局部定义映射由代数群$X^M \to X$的同态诱导，其中$M\subset G$是$τ$的有限记忆集。我们的第一个结果是，当$G$是sofic时，这样的代数群细胞自动机$τ$是可逆的，只要它是内射的，并且$\text{char}(K)=0$。作为应用，我们证明了如果$G$是sofic的，且群$X$是交换的，则群环$R[G]$是稳定有限的，其中$R=\text{End}(X)$是$X$的自同态环.当$G$是顺从的，我们证明了代数群元胞自动机$τ$是满射的当且仅当它满足一个弱形式的预内射称为$(\bullet)$-预内射。这产生了经典的摩尔-迈希尔伊甸园定理的类似物。我们还引入了近环$R(K,G)$，它是$K[X_g: g \in G]$作为一个加法群，但乘法是由$G$的群律诱导的。近环$R(K,G)$包含自然的群环$K[G]$和我们扩展Kaplansky的布局到这个新的设置。在其他结果中，我们证明了当$G$是一个有序群时，则$R(K,G)$的所有单侧可逆元素都是平凡的，即，对于某些$g\in G$、$a\in K^*$、$b\in K$，形式为$…

2019-10-28math.AGmath.DSmath.GR