首页/论文/1502.04368

arXiv 1502.043682015-02cs.DMcs.FL

可逆因果图动力学

Reversible Causal Graph Dynamics

Pablo Arrighi, Simon Martiel, Simon Perdrix

备注：: 33 pages, 10 figures
DOI：: 10.1007/978-3-319-40578-0_5

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

因果图动力学将元胞自动机扩展到任意、有界度、时变图。整个图以离散的时间步长演化，这种全局演化需要具有许多类似物理学的对称性：平移不变性（它在任何地方都起作用）和因果关系（信息具有有限的传播速度）。我们再加上一个类似物理学的对称性，即可逆性。关键词：双射，可逆，单射，满射，一对一，到，凯莱图，Hedlund，块表示，格气自动机，可逆细胞自动机。

英文摘要：

Causal Graph Dynamics extend Cellular Automata to arbitrary, bounded-degree, time-varying graphs. The whole graph evolves in discrete time steps, and this global evolution is required to have a number of physics-like symmetries: shift-invariance (it acts everywhere the same) and causality (information has a bounded speed of propagation). We add a further physics-like symmetry, namely reversibility. KEYWORDS: Bijective, invertible, injective, surjective, one-to-one, onto, Cayley graphs, Hedlund, Block representation, Lattice-gas automaton, Reversible Cellular Automata.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

大小可变的可逆因果图动力学

Size-varying reversible causal graph dynamics

Université Paris-Saclay（巴黎萨克雷大学）；Inria（法国国家数字与信息系统研究所）；CNRS（法国国家科学研究中心）；LMF（数学与建模实验室）；CEA（法国原子能和替代能源委员会）；List（法国计量科学研究院）；Université d’Orléans（奥尔良大学）；LIFO EA 4022（信息学实验室）

研究根据可逆最近邻动力学演化的网络能否改变大小，此前问题已否定解决，本文在三种宽松设置下实现可逆局部节点创建/销毁并证明等价性，从理论计算机科学和物理两方面推动相关工作。

2026-07-13cs.DM

时间对称可逆元胞自动机的简单块表示

A simple block representation of reversible cellular automata with time-symmetry

可逆元胞自动机（RCA）是一种类似于物理学的计算模型，它由一组相同的元胞组成，通过迭代一个全局演化G，以离散的时间步长演化。此外，G需要是平移不变的（它在任何地方都是一样的），因果的（信息的传输速度不能超过每个时间步的固定数量的细胞），可逆的（它有一个逆来验证相同的要求）。一个重要的，但最近才研究的特殊情况是时间对称细胞自动机（TSCA），其中G和它的逆是通过本地操作相关的。本文重新讨论RCA的块表示问题，即给出了实现G的可逆电路描述的存在性的一个非常简单的证明。G的这种可操作的、自下而上的描述被证明是时间对称的，这表明它与TSCA有着有趣的联系。事实上，我们证明，使用类似的技术，他们中的一个广泛的类承认一个精确的块表示（EBR），即一个不增加状态空间。

2012-01-26cs.DMcs.FLquant-ph

图灵自动机和图机

Turing Automata and Graph Machines

引入指标么半群代数作为自对偶紧闭范畴的一个等价结构，并证明了这类代数范畴的一个凝聚定理。通过推广经典的图灵机概念，定义了图灵自动机和图灵图机，使这类机器的集合成为一个指标幺半群代数。通过对冯·诺依曼数据流计算机体系结构的类比，提出了图灵图机作为潜在可逆的低级通用计算设备，并给出了一个真正可逆的分子尺寸硬件模型作为例子.

2010-06-08cs.DMcs.FL

Cayley图与可逆电路综合的量子代价分析

Cayley graphs and analysis of quantum cost for reversible circuit synthesis

我们提出的凯莱图的理论作为一个框架来分析门计数和量子成本所造成的可逆电路合成。在可逆逻辑综合文献中已经提出了几种方法，考虑不同的库，其门与某些凯莱图的生成集相关联。在凯莱图中，两个顶点之间的距离对应于最佳电路大小。凯莱图直径的下界也是使用相应门库的任何算法的最坏情况的下界。本文研究了对称群$S_{2^n}$上的两个Cayley图：第一个Cayley图由广义Toffoli门的生成集定义，记作$I_n$;第二个Cayley图由多控制Toffoli门的生成集定义，记作超立方体Cayley图$H_n$.这两个Cayley图具有度$n2^{n-1}$和阶$2^n!$。Maslov，Dueck和Miller提出了一种可逆电路综合，我们用Cayley图$I_n$来建模。提出了一种基于Cayley图$H_n$的多控制Toffoli门综合算法，该算法具有$(n-1)2^{n}+1$多控制Toffoli门的上界.另外，Cayley图$H_n$的直径给出了$n2^{n-1}$的一个下界.

2012-09-14cs.DMquant-ph

时空可逆图重写

Space-time reversible graph rewriting

本文基于时空确定性图重写框架形式化时空可逆性，给出保证规则可逆的充分局部条件，并以时间膨胀示例展示其与广义相对论思想的联系。

2025-09-29cs.DMmath-phmath.MP

动态图上的可逆随机游动

Reversible Random Walks on Dynamic Graphs

最近，动态图上的随机游动由于其对现实世界网络的时变结构的适应性而得到了研究。一般来说，对于惰性简单随机游走，静态图和动态图设置之间存在巨大的差距：尽管$O(n^3)$覆盖时间对于任何$n$顶点的静态图都有显示，但存在具有指数命中时间的边变化动态图。另一方面，以前的工作表明，随机游走的动态图上的时间齐次平稳分布的行为几乎相同的静态图。在本文中，我们加强了这种洞察力，获得一般和改进的界限。具体地说，我们考虑一个随机游动根据序列$(P_t)_{t\geq 1}$的不可约和可逆的过渡矩阵，使所有的$P_t$有相同的平稳分布。我们根据最坏固定$P_t$，根据随机游动的击中时间和松弛时间来约束混合时间、击中时间和覆盖时间。此外，我们还得到了动态图上多重随机游动的击中时间、覆盖时间和合并时间的第一界。这些界可以看作是著名的静态图上的随机游动的界的扩展。我们的结果推广了以前的上界为特定的随机游动动态图，例如，懒惰简单随机游动和$d_{\max}$ -懒惰游动，并在各种情况下给出了改进的和紧的上界.作为一个有趣的结果，我们的推广，我们得到严格的限制懒惰大都会步行[Nonaka，Ono，Sadakane，和Yamashita，TCS 10]的任何动态图：$O(n^2)$混合时间，$O(n^2)$命中时间，和$O(n^2\log n)$覆盖时间。此外，我们的合并时间界限意味着在动态图上拉投票的共识时间界…

2022-01-17cs.DM

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

稀疏有向无圈图的Markov等价类的可逆MCMC

Reversible MCMC on Markov equivalence classes of sparse directed acyclic graphs

图形模型是一种流行的统计工具，用于表示相关或因果的复杂系统。统计等价的因果或有向图模型被称为属于马尔可夫等价类。描述和理解这些类的空间是非常有趣的。然而，与目前已知的算法，在这样的类的采样是唯一可行的图形与少于约20个顶点。在本文中，我们设计可逆的不可约马尔可夫链的马尔可夫等价类的空间，提出了一个完美的运营商，确定的马尔可夫链的转移。本文提出的马尔可夫链的平稳分布具有封闭形式，易于计算。具体来说，我们构造了一个具体的完美集稀疏马尔可夫等价类的运营商通过引入适当的条件，对每个可能的运营商。给出了有效生成马尔可夫链的算法及其加速版本，并研究了具有数千个顶点的稀疏有向无环图（DAG）的马尔可夫等价类的性质.我们通过实验发现，在大多数稀疏DAG的马尔可夫等价类中，（1）大多数边是有向的，（2）大多数无向子图是小的，（3）这些无向子图的数量随着顶点的数量近似线性地增长。本文包含补充arXiv：1303.0632，http://dx.doi.org/10.1214/13-AOS1125SUPP

2014-01-27cs.DMstat.MEstat.ML

无标度图和Erdens-Rényi随机图中的可逆级联

On reversible cascades in scale-free and Erdős-Rényi random graphs

考虑以下在具有直径$Δ$的简单无向图$G(V,E)$上的级联过程。在第0轮中，顶点的集合$S\subseteq V$（称为种子）处于活动状态。在循环$i+1,$ $i\in\mathbb{N},$中，如果在循环$i$中至少一部分相邻顶点的$ρ\in(\,0,1\,]$是活动的，则非孤立顶点被激活;否则它被去激活。对于$k\in\mathbb{N},$，令$\text{min-seed}^{(k)}(G,ρ)$为在舍入$k$中或之前激活所有顶点所需的最小种子数。本文导出了$\text{min-seed}^{(k)}(G,ρ)$的上界。特别地，如果$G$是连通的，并且存在常数$C>0$和$γ>2$，使得对于所有$k\in\mathbb{Z}^+,$，$G$中的度- $k$顶点的分数至多为$C/k^γ$，则$\text{min-seed}^{(Δ)}(G,ρ)=O(\lceilρ^{γ-1}\,|\,V\,|\rceil)$。此外，对于$n\in\mathbb{Z}^+,$ $p=Ω((\ln{(e/ρ)})/(ρn))$和概率$1-\exp{(-n^{Ω(1)})}$在Erdens-Rényi随机图$G(n,p),$ $\text{min-seed}^{(1)}(G(n,p),ρ)=O(ρn)$。

2010-11-02cs.DM

可逆Bootstrap渗流中的动态垄断

Dynamic Monopolies in Reversible Bootstrap Percolation

研究了（可逆）$r-$自举逾渗过程的一个极值问题。给定一个图和一个初始配置，其中每个顶点都是活动的或不活动的，在$r-$引导渗透过程中，以下规则在离散时间轮中应用：每个顶点如果至少有$r$活动邻居，则成为活动的，并且活动顶点永远保持活动。在可逆的$r$ -自举渗流中，如果每个顶点至少有$r$活动邻居，则每个顶点变为活动的，否则变为不活动的。我们考虑以下问题的$d$维环面：有多少顶点应该是最初活跃的，使整个图成为活跃的？我们的结果解决了Balister，Bollobás，Johnson和Walters的一个公开问题，并推广了Flocchini，Lodi，Luccio，Pagli和Santoro的结果。

2018-05-05cs.DMcs.DSmath.CO

因果性原理在概率元胞自动机公理化中的应用

Applying causality principles to the axiomatization of probabilistic cellular automata

细胞自动机（CA）由一组相同的细胞组成，每个细胞可以采取有限数量的可能状态之一。整个阵列通过迭代全局演化G以离散时间步长演化。此外，这种全局演化G需要是平移不变的（它在任何地方都是一样的）和因果关系的（信息的传输速度不能快于每个时间步的某个固定数量的细胞）。至少在经典的、可逆的和量子的情况下，这两个自上而下的公理化条件足以引起G的更多自下而上的、可操作的描述。我们调查是否同样是真的概率的情况下。保留字：特征化，噪声，马尔可夫过程，随机爱因斯坦局域性，屏蔽，共因原理，非信号，多方非局域盒。

2011-02-08cs.DMcs.FLmath-ph

量子因果图动力学

Quantum Causal Graph Dynamics

考虑一个图，每个节点上都有量子系统。假设整个事物按照一个整体的、酉的因果算子以离散的时间步长演化。因果关系的意思是信息只能以有限的速度传播，相对于图中给出的距离。假设，此外，图形本身是受演化，并可能被驱动到一个量子叠加的图形-根据叠加原理。我们表明，这些单一的因果运营商必须分解为一个有限深度的电路的地方酉门。这统一了量子细胞自动机的结果与另一个可逆因果图动力学。一路上，我们形式化的因果关系的概念，这是有效的时变图的量子叠加的上下文中，并具有一些良好的性能。保留字：量子格子气自动机，块表示，柯蒂斯-赫德伦-林登，无信号，局部化，量子引力，量子图形，因果动态三角剖分，自旋网络，动态网络，图形重写。

2017-06-02cs.DMgr-qcquant-ph

因果图动力学的普适性

Universality of causal graph dynamics

因果图动力学推广了元胞自动机，将其扩展到有界度的时变图。动力学在每一个时间步都相对于两个类似物理学的对称性重写了图：因果关系（信息的有限速度）和同质性（重写在图上的每个时间步都是一样的）。通用性是模拟另一个（或相同）计算模型的每一个其他实例的能力。在这项工作中，我们研究了因果图动力学的三种不同的模拟概念，每个概念都导致了普遍性的定义。

2016-02-03cs.DCcs.DM

因果图动力学的内在普适性

Intrinsic Universality of Causal Graph Dynamics

因果图动力学是图上的变换，它捕捉了物理学的两个重要对称性，即因果性和同质性。它们可以等价地定义为连续和平移不变的变换或函数，这些变换或函数由同时应用于图的每个顶点的局部规则引起。内在通用性是模型的实例模拟模型的每个其他实例的能力，同时在模拟的每一步保持计算的结构。在这项工作中，我们提出了一个家庭的因果图动力学的本质上普遍的情况下，每个实例能够模拟一个子集的实例的建设。

2013-09-05cs.DCcs.DM