14
个编辑
更改
跳到导航
跳到搜索
第1行：
第1行： − 此词条暂由水流心不竞初译，未经审校，带来阅读不便，请见谅。此词条由Zcy初步审校。 + 第17行：
第17行： + 第33行：
第34行： + 第46行：
第48行： + 第68行：
第71行： + 第95行：
第99行： + 第100行：
第105行： + − + + − + + + + 第131行：
第141行： + + + 第151行：
第164行： + + + + 第176行：
第193行： − 芯片结构的稳定遵循一种“[[最小作用原理|最小作用原理]]”的形式：每个顶点在稳定过程中不超过必要的崩塌量。+ + + + + + + 第192行：
第215行： + 第201行：
第225行： + 第208行：
第233行： + + 第216行：
第243行： + + 第225行：
第254行： + + + + + + + 第250行：
第286行： + 第255行：
第292行： + 第263行：
第301行： + + 第276行：
第316行： + + +
无编辑摘要
{{short description|Cellular automaton}}
{{short description|Cellular automaton}}
[[File:Sandpile identity 300x205.png|upright=1.25|thumb|The identity element of the sandpile group of a rectangular grid. Yellow pixels correspond to vertices carrying three particles, lilac to two particles, green to one, and black to zero.]]
[[File:Sandpile identity 300x205.png|upright=1.25|thumb|The identity element of the sandpile group of a rectangular grid. Yellow pixels correspond to vertices carrying three particles, lilac to two particles, green to one, and black to zero.]]
[[File:Sandpile identity 300x205.png|upright=1.25|thumb|沙堆在矩形网格上的标识。黄色像素对应三颗沙粒的顶点，淡紫色代表两颗沙粒，绿色表示一颗沙粒，黑色表示零颗沙粒。]]
[[File:Sandpile identity 300x205.png|upright=1.25|thumb|沙堆在矩形网格上的标识。黄色像素对应三颗沙粒的顶点，淡紫色代表两颗沙粒，绿色表示一颗沙粒，黑色表示零颗沙粒。]]
| pmid=10035754
| pmid=10035754
|author-link=Per Bak |author2-link=Chao Tang }}</ref>
|author-link=Per Bak |author2-link=Chao Tang }}</ref>
'''<font color="#ff8000"> 阿贝尔沙堆模型Abelian sandpile model</font>'''，也被称为 Bak-Tang-Wiesenfeld 模型，是第一个发现的动力系统展示自组织临界性的例子。它是由 Per Bak，Chao Tang 和 Kurt Wiesenfeld 在1987年的一篇论文<ref name=Bak1987>
'''<font color="#ff8000"> 阿贝尔沙堆模型Abelian sandpile model</font>'''，也被称为 Bak-Tang-Wiesenfeld 模型，是第一个发现的动力系统展示自组织临界性的例子。它是由 Per Bak，Chao Tang 和 Kurt Wiesenfeld 在1987年的一篇论文<ref name=Bak1987>
The model is a [[cellular automaton]]. In its original formulation, each site on a finite grid has an associated value that corresponds to the slope of the pile. This slope builds up as "grains of sand" (or "chips") are randomly placed onto the pile, until the slope exceeds a specific threshold value at which time that site collapses transferring sand into the adjacent sites, increasing their slope. Bak, Tang, and Wiesenfeld considered process of successive random placement of sand grains on the grid; each such placement of sand at a particular site may have no effect, or it may cause a cascading reaction that will affect many sites.
The model is a [[cellular automaton]]. In its original formulation, each site on a finite grid has an associated value that corresponds to the slope of the pile. This slope builds up as "grains of sand" (or "chips") are randomly placed onto the pile, until the slope exceeds a specific threshold value at which time that site collapses transferring sand into the adjacent sites, increasing their slope. Bak, Tang, and Wiesenfeld considered process of successive random placement of sand grains on the grid; each such placement of sand at a particular site may have no effect, or it may cause a cascading reaction that will affect many sites.
这个模型是一种'''<font color="#ff8000"> 细胞自动机模型Cellular automaton</font>'''。在最初的公式中，有限网格上的每个位置都有一个与沙堆的坡度相对应的关联值。当“沙粒”(或“碎片”)被随机放置在沙堆上时，放置位置的斜坡就会堆积起来，直到倾斜程度超过一个特定的阈值，这个位置倒塌，沙子会转移到邻近的位置，增加它们的斜坡。这个斜坡以“沙粒”(或“碎片”)随机放置的方式逐渐形成，直到斜坡超过一个特定的阈值，在这个阈值的时候，这个位置倒塌，将沙子转移到邻近的位置，增加它们的斜坡。Bak，Tang和 Wiesenfeld考虑了在网格上连续随机放置沙粒的过程; 每次这样在特定位置放置沙粒有可能没有产生影响，也有可能会引起级联反应，影响到周围的其他位置。
这个模型是一种'''<font color="#ff8000"> 细胞自动机模型Cellular automaton</font>'''。在最初的公式中，有限网格上的每个位置都有一个与沙堆的坡度相对应的关联值。当“沙粒”(或“碎片”)被随机放置在沙堆上时，放置位置的斜坡就会堆积起来，直到倾斜程度超过一个特定的阈值，这个位置倒塌，沙子会转移到邻近的位置，增加它们的斜坡。这个斜坡以“沙粒”(或“碎片”)随机放置的方式逐渐形成，直到斜坡超过一个特定的阈值，在这个阈值的时候，这个位置倒塌，将沙子转移到邻近的位置，增加它们的斜坡。Bak，Tang和 Wiesenfeld考虑了在网格上连续随机放置沙粒的过程; 每次这样在特定位置放置沙粒有可能没有产生影响，也有可能会引起级联反应，影响到周围的其他位置。
| bibcode=1987PhRvL..59..381B
| bibcode=1987PhRvL..59..381B
|arxiv=0801.3306|isbn=978-3-7643-8785-3 |s2cid=7313023 }}</ref> It is closely related to the [[Chip-firing game#Biggs's Variant|dollar game]], a variant of the [[chip-firing game]] introduced by Biggs.<ref>{{cite journal|last=Biggs|first=Norman L.|date=25 June 1997|title=Chip-Firing and the Critical Group of a Graph|url=ftp://ftp.math.ethz.ch/hg/EMIS/journals/JACO/Volume9_1/m6g7032786582625.fulltext.pdf|journal=Journal of Algebraic Combinatorics|pages=25–45|accessdate=10 May 2014}}</ref>
|arxiv=0801.3306|isbn=978-3-7643-8785-3 |s2cid=7313023 }}</ref> It is closely related to the [[Chip-firing game#Biggs's Variant|dollar game]], a variant of the [[chip-firing game]] introduced by Biggs.<ref>{{cite journal|last=Biggs|first=Norman L.|date=25 June 1997|title=Chip-Firing and the Critical Group of a Graph|url=ftp://ftp.math.ethz.ch/hg/EMIS/journals/JACO/Volume9_1/m6g7032786582625.fulltext.pdf|journal=Journal of Algebraic Combinatorics|pages=25–45|accessdate=10 May 2014}}</ref>
该模型已经在无限栅格、其他(非方形)栅格和任意图(包括有向多重图)上进行了研究。<ref name=Hol2008>{{cite book
该模型已经在无限栅格、其他(非方形)栅格和任意图(包括有向多重图)上进行了研究。<ref name=Hol2008>{{cite book
| author = Holroyd, A. |author2=Levine, L. |author3=Mészáros, K. |author4=Peres, Y. |author5=Propp, J. |author6=Wilson, B.
| author = Holroyd, A. |author2=Levine, L. |author3=Mészáros, K. |author4=Peres, Y. |author5=Propp, J. |author6=Wilson, B.
The dynamics of the automaton at iteration <math>i\in\mathbb{N}</math> are then defined as follows:
The dynamics of the automaton at iteration <math>i\in\mathbb{N}</math> are then defined as follows:
自动机的动力学过程在第<math> i\in\mathbb{N} </math>次迭代时的定义如下:
自动机的动力学过程在第<math> i\in\mathbb{N} </math>次迭代时的定义如下:
:<math>z(v) \to z(v) - \deg(v)</math>
:<math>z(v) \to z(v) - \deg(v)</math>
:<math>z(u) \to z(u) + 1</math> for all <math>u\sim v</math>, <math>u\neq s</math>.
:<math>z(u) \to z(u) + 1</math> for all <math>u\sim v</math>, <math>u\neq s</math>.
为了将'''<font color="#ff8000"> 沙堆模型</font>'''从标准方格的矩形网格推广到任意无向有限多重图 <math> G=(V,E)</math> ，在 <math> V</math> 中指定了一个不允许崩塌的特殊沉没顶点<math> s</math>。模型的配置(状态)服从函数<math> z:V\setminus\{s\}\rightarrow\mathbb{N}_0</math>，计算每个非沉没顶点上的非负沙粒数。非沉没顶点<math> v\in V\setminus\{s\} </math>当满足<math> z(v)\geq \deg(v) </math>时是不稳定的，它会产生崩塌，将给它的每个(非沉没)邻居分发一颗沙粒：
为了将'''<font color="#ff8000"> 沙堆模型</font>'''从标准方格的矩形网格推广到任意无向有限多重图 <math> G=(V,E)</math> ，在 <math> V</math> 中指定了一个不允许崩塌的特殊沉没顶点<math> s</math>。模型的配置(状态)服从函数<math> z:V\setminus\{s\}\rightarrow\mathbb{N}_0</math>，计算每个非沉没顶点上的非负沙粒数。非沉没顶点<math> v\in V\setminus\{s\} </math>当满足<math> z(v)\geq \deg(v) </math>时是不稳定的，它会产生崩塌，将给它的每个(非沉没)邻居分发一颗沙粒：
:<math>z(v) \to z(v) - \deg(v)</math>
:<math>z(v) \to z(v) - \deg(v)</math>
The cellular automaton then progresses as before, i.e. by adding, in each iteration, one particle to a randomly chosen non-sink vertex and toppling until all vertices are stable.
The cellular automaton then progresses as before, i.e. by adding, in each iteration, one particle to a randomly chosen non-sink vertex and toppling until all vertices are stable.
元胞自动机像之前一样进行，即在每次迭代中，向随机选择的非沉没顶点添加一个沙粒，不断进行崩塌过程，直到所有顶点都稳定。
元胞自动机像之前一样进行，即在每次迭代中，向随机选择的非沉没顶点添加一个沙粒，不断进行崩塌过程，直到所有顶点都稳定。
The definition of the sandpile model given above for finite rectangular grids <math>\Gamma\subset\mathbb{Z}^2</math> of the standard square lattice <math>\mathbb{Z}^2</math> can then be seen as a special case of this definition: consider the graph <math>G=(V,E)</math> which is obtained from <math>\Gamma</math> by adding an additional vertex, the sink, and by drawing additional edges from the sink to every boundary vertex of <math>\Gamma</math> such that the [[Degree (graph theory)|degree]] of every non-sink vertex of <math>G</math> is four. In this manner, also sandpile models on non-rectangular grids of the standard square lattice (or of any other lattice) can be defined: Intersect some bounded subset <math>S</math> of <math>\mathbb{R}^2</math> with <math>\mathbb{Z}^2</math>. [[Edge contraction|Contract every edge]] of <math>\mathbb{Z}^2</math> whose two endpoints are not in <math>S\cap\mathbb{Z}^2</math>. The single remaining vertex outside of <math>S\cap\mathbb{Z}^2</math> then constitutes the sink of the resulting sandpile graph.
The definition of the sandpile model given above for finite rectangular grids <math>\Gamma\subset\mathbb{Z}^2</math> of the standard square lattice <math>\mathbb{Z}^2</math> can then be seen as a special case of this definition: consider the graph <math>G=(V,E)</math> which is obtained from <math>\Gamma</math> by adding an additional vertex, the sink, and by drawing additional edges from the sink to every boundary vertex of <math>\Gamma</math> such that the [[Degree (graph theory)|degree]] of every non-sink vertex of <math>G</math> is four. In this manner, also sandpile models on non-rectangular grids of the standard square lattice (or of any other lattice) can be defined: Intersect some bounded subset <math>S</math> of <math>\mathbb{R}^2</math> with <math>\mathbb{Z}^2</math>. [[Edge contraction|Contract every edge]] of <math>\mathbb{Z}^2</math> whose two endpoints are not in <math>S\cap\mathbb{Z}^2</math>. The single remaining vertex outside of <math>S\cap\mathbb{Z}^2</math> then constitutes the sink of the resulting sandpile graph.
上面给出的沙堆模型的定义，是在标准正方形网格\mathbb{Z}^2上的有限矩形网格\Gamma\subset\mathbb{Z}^2，它可以看作是下面定义的一个特例：考虑图G=(V,E)，从\Gamma添加一个沉没顶点，并添加从沉没顶点到每个边界顶点的边，使得G的每个非沉没顶点的度数为4。以这种方式，也可以定义标准正方形网格(或任何其他类型网格)的非矩形格上的沙堆模型: 将\mathbb{R}^2的一些有界子集S与\mathbb{Z}^2相交。收缩\mathbb{Z}^2的每条边，其两个端点不在S\cap\mathbb{Z}^2中。S\cap\mathbb{Z}^2之外的一个单独剩余顶点构成了最终沙堆图的沉没顶点。
上面给出的沙堆模型的定义，是在标准正方形网格<math>\mathbb{Z}^2</math>上的有限矩形网格<math>\Gamma\subset\mathbb{Z}^2</math>，它可以看作是下面定义的一个特例：考虑图<math>G=(V,E)</math>，从<math>\Gamma</math>添加一个沉没顶点，并添加从沉没顶点到每个边界顶点的边，使得<math>G</math>的每个非沉没顶点的度数为4。以这种方式，也可以定义标准正方形网格(或任何其他类型网格)的非矩形格上的沙堆模型: 将<math>\mathbb{R}^2</math>的一些有界子集<math>S</math>与<math>\mathbb{R}^2</math>相交。收缩<math>\mathbb{Z}^2</math>的每条边，其两个端点不在<math>S\cap\mathbb{Z}^2</math>中。<math>S\cap\mathbb{Z}^2</math>之外的一个单独剩余顶点构成了最终沙堆图的沉没顶点。
==Transient and recurrent configurations瞬态和循环构型==
==Transient and recurrent configurations瞬态和循环构型==
In the dynamics of the sandpile automaton defined above, some stable configurations (<math>0\leq z(v)<4</math> for all <math>v\in G\setminus\{s\}</math>) appear infinitely often, while others can only appear a finite number of times (if at all). The former are referred to as ''recurrent configurations'', while the latter are referred to as ''transient configurations''. The recurrent configurations thereby consist of all stable non-negative configurations which can be reached from any other stable configuration by repeatedly adding grains of sand to vertices and toppling. It is easy to see that the ''minimally stable configuration'' <math>z_m</math>, where every vertex carries <math>z_m(v)=deg(v)-1</math> grains of sand, is reachable from any other stable configuration (add <math>deg(v)-z(v)-1\geq 0</math> grains to every vertex). Thus, equivalently, the recurrent configurations are exactly those configurations which can be reached from the minimally stable configuration by only adding grains of sand and stabilizing.
In the dynamics of the sandpile automaton defined above, some stable configurations (<math>0\leq z(v)<4</math> for all <math>v\in G\setminus\{s\}</math>) appear infinitely often, while others can only appear a finite number of times (if at all). The former are referred to as ''recurrent configurations'', while the latter are referred to as ''transient configurations''. The recurrent configurations thereby consist of all stable non-negative configurations which can be reached from any other stable configuration by repeatedly adding grains of sand to vertices and toppling. It is easy to see that the ''minimally stable configuration'' <math>z_m</math>, where every vertex carries <math>z_m(v)=deg(v)-1</math> grains of sand, is reachable from any other stable configuration (add <math>deg(v)-z(v)-1\geq 0</math> grains to every vertex). Thus, equivalently, the recurrent configurations are exactly those configurations which can be reached from the minimally stable configuration by only adding grains of sand and stabilizing.
在上面定义的沙堆自动机的动力学过程中，一些稳定状态的构型（对于所有<math>v\In G\setminus\{s\}</math>，<math>0\leq z（v）<4</math>）经常无限次出现，而另一些则只能出现有限次（如果真的发生的话）。前者被称为“循环构型”，而后者被称为“瞬态构型”。因此，周期性构形由所有稳定的非负构形组成，这些构形可以从任何其他稳定构形中，通过反复向顶点添加沙粒，产生崩塌而得到。很容易看出，“最小稳定配置”<math>zum</math>，其中每个顶点放置<math>zum（v）=deg（v）-1</math>颗沙粒，可从任何其他稳定构型得到（通过向每个顶点添加<math>deg（v）-z（v）-1\geq 0</math>颗沙粒）。因此，也就是说，周期性构型可以从最小稳定构型开始，通过添加沙粒，再稳定化得到。
在上面定义的沙堆自动机的动力学过程中，一些稳定状态的构型（对于所有<math>v\in G\setminus\{s\}</math>，<math>0\leq z(v)<4</math>）经常无限次出现，而另一些则只能出现有限次（如果真的发生的话）。前者被称为“循环构型”，而后者被称为“瞬态构型”。因此，周期性构形由所有稳定的非负构形组成，这些构形可以从任何其他稳定构形中，通过反复向顶点添加沙粒，产生崩塌而得到。很容易看出，“最小稳定配置”<math>zum</math>，其中每个顶点放置<math>z_m(v)=deg(v)-1</math>颗沙粒，可从任何其他稳定构型得到（通过向每个顶点添加<math>deg(v)-z(v)-1\geq 0</math>颗沙粒）。因此，也就是说，周期性构型可以从最小稳定构型开始，通过添加沙粒，再稳定化得到。
Not every non-negative stable configuration is recurrent. For example, in every sandpile model on a graph consisting of at least two connected non-sink vertices, every stable configuration where both vertices carry zero grains of sand is non-recurrent. To prove this, first note that the addition of grains of sand can only increase the total number of grains carried by the two vertices together. To reach a configuration where both vertices carry zero particles from a configuration where this is not the case thus necessarily involves steps where at least one of the two vertices is toppled. Consider the last one of these steps. In this step, one of the two vertices has to topple last. Since toppling transfers a grain of sand to every neighboring vertex, this implies that the total number of grains carried by both vertices together cannot be lower than one, which concludes the proof.
Not every non-negative stable configuration is recurrent. For example, in every sandpile model on a graph consisting of at least two connected non-sink vertices, every stable configuration where both vertices carry zero grains of sand is non-recurrent. To prove this, first note that the addition of grains of sand can only increase the total number of grains carried by the two vertices together. To reach a configuration where both vertices carry zero particles from a configuration where this is not the case thus necessarily involves steps where at least one of the two vertices is toppled. Consider the last one of these steps. In this step, one of the two vertices has to topple last. Since toppling transfers a grain of sand to every neighboring vertex, this implies that the total number of grains carried by both vertices together cannot be lower than one, which concludes the proof.
并非所有非负稳定构型都是循环的。例如，在一个至少包含由两个连通的非沉没顶点的图结构的沙堆模型中，如果这两个顶点没有放置沙粒，那么这个稳定结构是非循环的。为了证明这一点，首先要注意的是，沙粒的增加只能增加两个顶点放置的沙粒的总数。为了达到两个顶点都不放置沙粒的构型，从一个不是这种情况的构型出发，必然涉及到两个顶点中至少有一个崩塌的步骤。考虑这些步骤中的最后一个，在这个步骤中，两个顶点中的一个必须最后崩塌。由于崩塌会将对每个相邻的顶点转移一颗沙粒，这意味着两个顶点共同放置的沙粒总数不能低于一颗，因而得证。
并非所有非负稳定构型都是循环的。例如，在一个至少包含由两个连通的非沉没顶点的图结构的沙堆模型中，如果这两个顶点没有放置沙粒，那么这个稳定结构是非循环的。为了证明这一点，首先要注意的是，沙粒的增加只能增加两个顶点放置的沙粒的总数。为了达到两个顶点都不放置沙粒的构型，从一个不是这种情况的构型出发，必然涉及到两个顶点中至少有一个崩塌的步骤。考虑这些步骤中的最后一个，在这个步骤中，两个顶点中的一个必须最后崩塌。由于崩塌会将对每个相邻的顶点转移一颗沙粒，这意味着两个顶点共同放置的沙粒总数不能低于一颗，因而得证。
==Sandpile group沙堆群==
==Sandpile group沙堆群==
Given a configuration <math>z</math>, <math>z(v)\in\mathbb{N}_0</math> for all <math>v\in G\setminus\{s\}</math>, toppling unstable non-sink vertices on a finite connected graph until no unstable non-sink vertex remains leads to a unique ''stable'' configuration <math>z^\circ</math>, which is called the ''stabilization'' of <math>z</math>. Given two stable configurations <math>z</math> and <math>w</math>, we can define the operation <math>z*w \to (z+w)^\circ</math>, corresponding to the vertex-wise addition of grains followed by the stabilization of the resulting sandpile.
Given a configuration <math>z</math>, <math>z(v)\in\mathbb{N}_0</math> for all <math>v\in G\setminus\{s\}</math>, toppling unstable non-sink vertices on a finite connected graph until no unstable non-sink vertex remains leads to a unique ''stable'' configuration <math>z^\circ</math>, which is called the ''stabilization'' of <math>z</math>. Given two stable configurations <math>z</math> and <math>w</math>, we can define the operation <math>z*w \to (z+w)^\circ</math>, corresponding to the vertex-wise addition of grains followed by the stabilization of the resulting sandpile.
给定一个构型<math>z</math>，<math>z(v)\in\mathbb{N}_0</math>对于所有<math>v\in G\setminus\{s\}</math>，在有限连通图上使不稳定的非沉没顶点崩塌，直到没有不稳定的非汇顶点保留，这将导致唯一的“稳定”配置math>z^\circ</math>，这就是<math>z</math>的“稳定化”。给定两个稳定构型<math>z</math>和<math>w</math>，我们可以定义运算<math>z*w \to (z+w)^\circ</math>，对应于沙粒的顶点方向相加，然后稳定得到的沙堆。
给定一个构型<math>z</math>，<math>z(v)\in\mathbb{N}_0</math>对于所有<math>v\in G\setminus\{s\}</math>，在有限连通图上使不稳定的非沉没顶点崩塌，直到没有不稳定的非汇顶点保留，这将导致唯一的“稳定”配置math>z^\circ</math>，这就是<math>z</math>的“稳定化”。给定两个稳定构型<math>z</math>和<math>w</math>，我们可以定义运算<math>z*w \to (z+w)^\circ</math>，对应于沙粒的顶点方向相加，然后稳定得到的沙堆。
In this case, <math>\mathbf{x}</math> is referred to as the ''toppling'' or ''odometer function'' (of the stabilization of <math>z</math>).
In this case, <math>\mathbf{x}</math> is referred to as the ''toppling'' or ''odometer function'' (of the stabilization of <math>z</math>).
在这种情况下，<math>\mathbf{x}</math>被称为崩塌或<math>z</math>的稳定过程的里程计函数。
在这种情况下，<math>\mathbf{x}</math>被称为崩塌或<math>z</math>的稳定过程的里程计函数。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）odometer function翻译存疑
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）odometer function翻译存疑
Under the operation <math>*</math>, the set of recurrent configurations forms an [[abelian group]] isomorphic to the cokernel of the reduced graph Laplacian <math>\Delta'</math>, i.e. to <math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>, whereby <math>n</math> denotes the number of vertices (including the sink). More generally, the set of stable configurations (transient and recurrent) forms a [[commutative monoid]] under the operation <math>*</math>. The minimal [[Semigroup#Subsemigroups and ideals|ideal]] of this monoid is then isomorphic to the group of recurrent configurations.
Under the operation <math>*</math>, the set of recurrent configurations forms an [[abelian group]] isomorphic to the cokernel of the reduced graph Laplacian <math>\Delta'</math>, i.e. to <math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>, whereby <math>n</math> denotes the number of vertices (including the sink). More generally, the set of stable configurations (transient and recurrent) forms a [[commutative monoid]] under the operation <math>*</math>. The minimal [[Semigroup#Subsemigroups and ideals|ideal]] of this monoid is then isomorphic to the group of recurrent configurations.
在<math>*</math>运算下，递归构形的集合构成一个与约化图拉普拉斯矩阵<math>\Delta'</math>的核同构的阿贝尔群。对于 <math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>，其中<math>n</math> 表示顶点数（包括沉没顶点）。更一般地说，稳定构型集（瞬态和循环）在<math>*</math>.运算下形成'''<font color="#ff8000"> 交换幺半群Commutative monoid</font>'''。这个幺半群的最小理想同构于循环构型群。
在<math>*</math>运算下，递归构形的集合构成一个与约化图拉普拉斯矩阵<math>\Delta'</math>的核同构的阿贝尔群。对于 <math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>，其中<math>n</math> 表示顶点数（包括沉没顶点）。更一般地说，稳定构型集（瞬态和循环）在<math>*</math>.运算下形成'''<font color="#ff8000"> 交换幺半群Commutative monoid</font>'''。这个幺半群的最小理想同构于循环构型群。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）ideal翻译存疑
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）ideal翻译存疑
{{main|Self-organized criticality}}
{{main|Self-organized criticality}}
The original interest behind the model stemmed from the fact that in simulations on lattices, it is attracted to its [[critical state]], at which point the correlation length of the system and the correlation time of the system go to infinity, without any fine tuning of a system parameter. This contrasts with earlier examples of critical phenomena, such as the [[phase transition]]s between solid and liquid, or liquid and gas, where the critical point can only be reached by precise tuning (e.g., of temperature). Hence, in the sandpile model we can say that the criticality is [[self-organization|self-organized]].
The original interest behind the model stemmed from the fact that in simulations on lattices, it is attracted to its [[critical state]], at which point the correlation length of the system and the correlation time of the system go to infinity, without any fine tuning of a system parameter. This contrasts with earlier examples of critical phenomena, such as the [[phase transition]]s between solid and liquid, or liquid and gas, where the critical point can only be reached by precise tuning (e.g., of temperature). Hence, in the sandpile model we can say that the criticality is [[self-organization|self-organized]].
模型最初源于这样一个事实，即在晶格上的模拟中，它被吸引到了它的[[临界状态]]，此时系统的关联长度和关联时间趋于无穷大，不需要对系统参数进行任何微调。这与早期临界现象的例子形成了对比，例如固体和液体之间，或液体和气体之间的[[相变]]，其中临界点只能通过精确调节（例如，温度）来达到。因此，在沙堆模型中，我们可以说临界性是自组织的。
模型最初源于这样一个事实，即在晶格上的模拟中，它被吸引到了它的[[临界状态]]，此时系统的关联长度和关联时间趋于无穷大，不需要对系统参数进行任何微调。这与早期临界现象的例子形成了对比，例如固体和液体之间，或液体和气体之间的[[相变]]，其中临界点只能通过精确调节（例如，温度）来达到。因此，在沙堆模型中，我们可以说临界性是自组织的。
Once the sandpile model reaches its critical state there is no correlation between the system's response to a [[wiktionary:perturbation|perturbation]] and the details of a perturbation. Generally this means that dropping another grain of sand onto the pile may cause nothing to happen, or it may cause the entire pile to collapse in a massive slide. The model also displays [[1/f noise|1/''ƒ'' noise]], a feature common to many complex systems in nature.
Once the sandpile model reaches its critical state there is no correlation between the system's response to a [[wiktionary:perturbation|perturbation]] and the details of a perturbation. Generally this means that dropping another grain of sand onto the pile may cause nothing to happen, or it may cause the entire pile to collapse in a massive slide. The model also displays [[1/f noise|1/''ƒ'' noise]], a feature common to many complex systems in nature.
一旦沙堆模型达到其临界状态，系统对扰动的响应和扰动细节之间就没有关联。一般来说，这意味着再往沙堆形成的斜坡上撒一粒沙子可能不会导致任何事情发生，或者可能导致整个沙堆形成的斜坡在大规模滑坡中崩塌。该模型还显示了[[1/f noise|1/''ƒ'' noise]]，这是自然界中许多复杂系统的共同特征。
一旦沙堆模型达到其临界状态，系统对扰动的响应和扰动细节之间就没有关联。一般来说，这意味着再往沙堆形成的斜坡上撒一粒沙子可能不会导致任何事情发生，或者可能导致整个沙堆形成的斜坡在大规模滑坡中崩塌。该模型还显示了[[1/f noise|1/''ƒ'' noise]]，这是自然界中许多复杂系统的共同特征。
This model only displays critical behaviour in two or more dimensions. The sandpile model can be expressed in 1D; however, instead of evolving to its critical state, the 1D sandpile model instead reaches a minimally stable state where every lattice site goes toward the critical slope.
This model only displays critical behaviour in two or more dimensions. The sandpile model can be expressed in 1D; however, instead of evolving to its critical state, the 1D sandpile model instead reaches a minimally stable state where every lattice site goes toward the critical slope.
此模型仅在两个或多个维度中显示关键行为。沙堆模型可以用一维来表示; 然而，一维沙堆模型不是演化到临界状态，而是达到最小稳定状态，其中每个格点都趋向临界坡度。
此模型仅在两个或多个维度中显示关键行为。沙堆模型可以用一维来表示; 然而，一维沙堆模型不是演化到临界状态，而是达到最小稳定状态，其中每个格点都趋向临界坡度。
For two dimensions, it has been hypothesized that the associated [[conformal field theory]] is consists of [[symplectic fermion]]s with a [[central charge]] ''c'' = −2.<ref>{{cite journal |author=S. Moghimi-Araghi |author2=M. A. Rajabpour |author3=S. Rouhani |title=Abelian Sandpile Model: a Conformal Field Theory Point of View |arxiv=cond-mat/0410434 |year=2004 |doi=10.1016/j.nuclphysb.2005.04.002 |volume=718|issue=3|journal=Nuclear Physics B|pages=362–370|bibcode = 2005NuPhB.718..362M |s2cid=16233977 }}</ref>
For two dimensions, it has been hypothesized that the associated [[conformal field theory]] is consists of [[symplectic fermion]]s with a [[central charge]] ''c'' = −2.<ref>{{cite journal |author=S. Moghimi-Araghi |author2=M. A. Rajabpour |author3=S. Rouhani |title=Abelian Sandpile Model: a Conformal Field Theory Point of View |arxiv=cond-mat/0410434 |year=2004 |doi=10.1016/j.nuclphysb.2005.04.002 |volume=718|issue=3|journal=Nuclear Physics B|pages=362–370|bibcode = 2005NuPhB.718..362M |s2cid=16233977 }}</ref>
对于二维，相关共形场理论被认为是中心电荷为''c'' = −2的symplectic fermion辛费米子组成的；<ref>{{cite journal |author=S. Moghimi-Araghi |author2=M. A. Rajabpour |author3=S. Rouhani |title=Abelian Sandpile Model: a Conformal Field Theory Point of View |arxiv=cond-mat/0410434 |year=2004 |doi=10.1016/j.nuclphysb.2005.04.002 |volume=718|issue=3|journal=Nuclear Physics B|pages=362–370|bibcode = 2005NuPhB.718..362M |s2cid=16233977 }}</ref>
对于二维，相关共形场理论被认为是中心电荷为''c'' = −2的symplectic fermion辛费米子组成的；<ref>{{cite journal |author=S. Moghimi-Araghi |author2=M. A. Rajabpour |author3=S. Rouhani |title=Abelian Sandpile Model: a Conformal Field Theory Point of View |arxiv=cond-mat/0410434 |year=2004 |doi=10.1016/j.nuclphysb.2005.04.002 |volume=718|issue=3|journal=Nuclear Physics B|pages=362–370|bibcode = 2005NuPhB.718..362M |s2cid=16233977 }}</ref>
| pages=143–159|arxiv = 0901.3805 |bibcode = 2010JSP...138..143F |s2cid=7180488}}</ref>
| pages=143–159|arxiv = 0901.3805 |bibcode = 2010JSP...138..143F |s2cid=7180488}}</ref>
芯片构型的稳定遵循一种“[[最小作用原理|最小作用原理]]”的形式：每个顶点在稳定过程中不超过必要的崩塌量。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）chip configurations的翻译存疑
This can be formalized as follows. Call a sequence of topples ''legal'' if it only topples unstable vertices, and ''stabilizing'' if it results in a stable configuration. The standard way of stabilizing the sandpile is to find a maximal legal sequence; i.e., by toppling so long as it is possible. Such a sequence is obviously stabilizing, and the Abelian property of the sandpile is that all such sequences are equivalent up to permutation of the toppling order; that is, for any vertex <math>v</math>, the number of times <math>v</math> topples is the same in all legal stabilizing sequences. According to the least action principle, a '''minimal stabilizing''' sequence is also equivalent up to permutation of the toppling order to a legal (and still stabilizing) sequence. In particular, the configuration resulting from a minimal stabilizing sequence is the same as results from a maximal legal sequence.
This can be formalized as follows. Call a sequence of topples ''legal'' if it only topples unstable vertices, and ''stabilizing'' if it results in a stable configuration. The standard way of stabilizing the sandpile is to find a maximal legal sequence; i.e., by toppling so long as it is possible. Such a sequence is obviously stabilizing, and the Abelian property of the sandpile is that all such sequences are equivalent up to permutation of the toppling order; that is, for any vertex <math>v</math>, the number of times <math>v</math> topples is the same in all legal stabilizing sequences. According to the least action principle, a '''minimal stabilizing''' sequence is also equivalent up to permutation of the toppling order to a legal (and still stabilizing) sequence. In particular, the configuration resulting from a minimal stabilizing sequence is the same as results from a maximal legal sequence.
这可以形式化如下。如果一个崩塌序列只推倒不稳定的顶点，则称其为“合法的”，使用一组合法的顶点序列，如果它的结果是一个稳定的构型，则称其为“稳定的”。稳定沙堆的标准方法是找到一个最大的合法崩塌序列，也就是说，让崩塌序列尽可能地长。这种序列具有明显的稳定性，沙堆的可交换性质是所有这些序列都等价于倾斜序列的置换，也就是说，对于任何顶点<math>v</math>，在所有合法的稳定序列中<math>v</math>的崩塌次数都是相同的。根据最小作用原理，最小稳定序列等价于合法的（且稳定的）崩塌序列的置换。特别地，由最小稳定序列产生的构型与由最大合法序列产生的构型是相同的。
这可以形式化如下。如果一个崩塌序列只推倒不稳定的顶点，则称其为“合法的”，使用一组合法的顶点序列，如果它的结果是一个稳定的构型，则称其为“稳定的”。稳定沙堆的标准方法是找到一个最大的合法崩塌序列，也就是说，让崩塌序列尽可能地长。这种序列具有明显的稳定性，沙堆的可交换性质是所有这些序列都等价于倾斜序列的置换，也就是说，对于任何顶点<math>v</math>，在所有合法的稳定序列中<math>v</math>的崩塌次数都是相同的。根据最小作用原理，最小稳定序列等价于合法的（且稳定的）崩塌序列的置换。特别地，由最小稳定序列产生的构型与由最大合法序列产生的构型是相同的。
More formally, if <math>\mathbf{u}</math> is a vector such that <math>\mathbf{u}(v)</math> is the number of times the vertex <math>v</math> topples during the stabilization (via the toppling of unstable vertices) of a chip configuration <math>z</math>, and <math>\mathbf{n}</math> is an integral vector (not necessarily non-negative) such that <math>z-\mathbf{n}\Delta'</math> is stable, then <math>\mathbf{u}(v) \leq \mathbf{n}(v)</math> for all vertices <math>v</math>.
More formally, if <math>\mathbf{u}</math> is a vector such that <math>\mathbf{u}(v)</math> is the number of times the vertex <math>v</math> topples during the stabilization (via the toppling of unstable vertices) of a chip configuration <math>z</math>, and <math>\mathbf{n}</math> is an integral vector (not necessarily non-negative) such that <math>z-\mathbf{n}\Delta'</math> is stable, then <math>\mathbf{u}(v) \leq \mathbf{n}(v)</math> for all vertices <math>v</math>.
更正式地说，如果<math>\mathbf{u}</math>是一个向量， <math>\mathbf{u}（v）</math>是碎片构型<math>z</math>在稳定过程中（通过不稳定顶点的崩塌）顶点<math>v</math>崩塌的次数，并且<math>\mathbf{n}</math>是一个积分向量（不一定是非负的），使得<math>z-\mathbf{n}\Delta'</math>是稳定的，那么对于所有顶点<math>v</math>，<math>\mathbf{u}(v) \leq \mathbf{n}(v)</math>。
更正式地说，如果<math>\mathbf{u}</math>是一个向量， <math>\mathbf{u}（v）</math>是碎片构型<math>z</math>在稳定过程中（通过不稳定顶点的崩塌）顶点<math>v</math>崩塌的次数，并且<math>\mathbf{n}</math>是一个积分向量（不一定是非负的），使得<math>z-\mathbf{n}\Delta'</math>是稳定的，那么对于所有顶点<math>v</math>，<math>\mathbf{u}(v) \leq \mathbf{n}(v)</math>。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）<math>\mathbf{n}</math> is an integral vector (not necessarily non-negative)这一句话的翻译存疑。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）<math>\mathbf{n}</math> is an integral vector (not necessarily non-negative)这一句话的翻译存疑。
=== Scaling limits缩放限制===
=== Scaling limits缩放限制===
[[File:Scaling sandpile identity.gif|thumb|Animation of the sandpile identity on square grids of increasing size. Black color denotes vertices with 0 grains, green is for 1, purple is for 2, and gold is for 3.]]
[[File:Scaling sandpile identity.gif|thumb|Animation of the sandpile identity on square grids of increasing size. Black color denotes vertices with 0 grains, green is for 1, purple is for 2, and gold is for 3.]]
[[File:Scaling sandpile identity.gif|thumb|沙堆标识在方形网格不断增加的动画。 黑色表示沙粒数为0的顶点，绿色表示沙粒数为1，紫色表示沙粒数为2，金色表示沙粒数为3。]]
[[File:Scaling sandpile identity.gif|thumb|沙堆标识在方形网格不断增加的动画。 黑色表示沙粒数为0的顶点，绿色表示沙粒数为1，紫色表示沙粒数为2，金色表示沙粒数为3。]]
<ref name=Pegden2016>{{cite arxiv |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Stability of patterns in the Abelian sandpile.|eprint=1708.09432 | date=2017 | ref=Pegden2017|class=math.AP }}</ref>
<ref name=Pegden2016>{{cite arxiv |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Stability of patterns in the Abelian sandpile.|eprint=1708.09432 | date=2017 | ref=Pegden2017|class=math.AP }}</ref>
.<ref name=Pegden2013>{{cite journal |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Convergence of the Abelian sandpile |journal=Duke Mathematical Journal |date=2013 |volume=162 |issue=4 |pages=627–642 |doi=10.1215/00127094-2079677 |ref=Pegden2013|arxiv=1105.0111 |s2cid=13027232 }}</ref> In further joint work with Lionel Levine, they use the scaling limit to explain the fractal structure of the sandpile on square grids.<ref name=Levine2016>{{cite journal |last1=Levine |first1=Lionel |last2=Pegden |first2=Wesley |title=Apollonian structure in the Abelian sandpile |journal=Geometric and Functional Analysis |date=2016 |volume=26 |issue=1 |pages=306–336 |doi=10.1007/s00039-016-0358-7 |ref=Levine2016|hdl=1721.1/106972 |s2cid=119626417 |hdl-access=free }}</ref>
.<ref name=Pegden2013>{{cite journal |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Convergence of the Abelian sandpile |journal=Duke Mathematical Journal |date=2013 |volume=162 |issue=4 |pages=627–642 |doi=10.1215/00127094-2079677 |ref=Pegden2013|arxiv=1105.0111 |s2cid=13027232 }}</ref> In further joint work with Lionel Levine, they use the scaling limit to explain the fractal structure of the sandpile on square grids.<ref name=Levine2016>{{cite journal |last1=Levine |first1=Lionel |last2=Pegden |first2=Wesley |title=Apollonian structure in the Abelian sandpile |journal=Geometric and Functional Analysis |date=2016 |volume=26 |issue=1 |pages=306–336 |doi=10.1007/s00039-016-0358-7 |ref=Levine2016|hdl=1721.1/106972 |s2cid=119626417 |hdl-access=free }}</ref>
动画显示了对应网格尺寸<math>N\geq 1</math>不断增大，不同大小的<math>N\times N</math>正方形网格上的沙堆群标识的重复配置，从而重新缩放配置以始终具有相同的物理维度。从视觉上看，更大网格上的标识似乎变得越来越详细，并且“收敛到一个连续的图像”。从数学上讲，这表明基于弱收敛的概念（或其他一些广义的收敛概念），正方形网格上沙堆恒等式存在标度极限。事实上，Wesley-Pegden和Charles-Smart已经证明了循环沙堆结构标度极限的存在性。<ref name=Pegden2016>{{cite arxiv |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Stability of patterns in the Abelian sandpile.|eprint=1708.09432 | date=2017 | ref=Pegden2017|class=math.AP }}</ref>
动画显示了对应网格尺寸<math>N\geq 1</math>不断增大，不同大小的<math>N\times N</math>正方形网格上的沙堆群标识的重复配置，从而重新缩放配置以始终具有相同的物理维度。从视觉上看，更大网格上的标识似乎变得越来越详细，并且“收敛到一个连续的图像”。从数学上讲，这表明基于弱收敛的概念（或其他一些广义的收敛概念），正方形网格上沙堆恒等式存在标度极限。事实上，Wesley-Pegden和Charles-Smart已经证明了循环沙堆结构标度极限的存在性。<ref name=Pegden2016>{{cite arxiv |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Stability of patterns in the Abelian sandpile.|eprint=1708.09432 | date=2017 | ref=Pegden2017|class=math.AP }}</ref>
.<ref name=Pegden2013>{{cite journal |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Convergence of the Abelian sandpile |journal=Duke Mathematical Journal |date=2013 |volume=162 |issue=4 |pages=627–642 |doi=10.1215/00127094-2079677 |ref=Pegden2013|arxiv=1105.0111 |s2cid=13027232 }}</ref> In further joint work with Lionel Levine, they use the scaling limit to explain the fractal structure of the sandpile on square grids.<ref name=Levine2016>{{cite journal |last1=Levine |first1=Lionel |last2=Pegden |first2=Wesley |title=Apollonian structure in the Abelian sandpile |journal=Geometric and Functional Analysis |date=2016 |volume=26 |issue=1 |pages=306–336 |doi=10.1007/s00039-016-0358-7 |ref=Levine2016|hdl=1721.1/106972 |s2cid=119626417 |hdl-access=free }}</ref>
.<ref name=Pegden2013>{{cite journal |last1=Pegden |first1=Wesley |last2=Smart |first2=Charles |title=Convergence of the Abelian sandpile |journal=Duke Mathematical Journal |date=2013 |volume=162 |issue=4 |pages=627–642 |doi=10.1215/00127094-2079677 |ref=Pegden2013|arxiv=1105.0111 |s2cid=13027232 }}</ref> In further joint work with Lionel Levine, they use the scaling limit to explain the fractal structure of the sandpile on square grids.<ref name=Levine2016>{{cite journal |last1=Levine |first1=Lionel |last2=Pegden |first2=Wesley |title=Apollonian structure in the Abelian sandpile |journal=Geometric and Functional Analysis |date=2016 |volume=26 |issue=1 |pages=306–336 |doi=10.1007/s00039-016-0358-7 |ref=Levine2016|hdl=1721.1/106972 |s2cid=119626417 |hdl-access=free }}</ref>
=== Sandpile models on infinite grids有向图上的沙堆模型===
=== Sandpile models on infinite grids有向图上的沙堆模型===
[[File:Sandpile on infinite grid, 3e7 grains.png|thumb|right|upright=1.25|30 million grains dropped to a site of the infinite square grid, then toppled according to the rules of the sandpile model. White color denotes sites with 0 grains, green is for 1, purple is for 2, gold is for 3. The bounding box is 3967×3967.]]
[[File:Sandpile on infinite grid, 3e7 grains.png|thumb|right|upright=1.25|30 million grains dropped to a site of the infinite square grid, then toppled according to the rules of the sandpile model. White color denotes sites with 0 grains, green is for 1, purple is for 2, gold is for 3. The bounding box is 3967×3967.]]
[[File:Sandpile on infinite grid, 3e7 grains.png|thumb|right|upright=1.25|3000万粒沙粒落在无限方形网格的一个位置上，然后按照沙堆模型的规则产生崩塌。白色表示0颗沙粒位置，绿色表示1颗，紫色表示2颗，金色表示3颗。图中框的大小是3967×3967。]]
[[File:Sandpile on infinite grid, 3e7 grains.png|thumb|right|upright=1.25|3000万粒沙粒落在无限方形网格的一个位置上，然后按照沙堆模型的规则产生崩塌。白色表示0颗沙粒位置，绿色表示1颗，紫色表示2颗，金色表示3颗。图中框的大小是3967×3967。]]
A rather popular model on the (infinite) square lattice with sites <math>(x,y)\in\mathbb{Z}^2</math> is defined as follows:
A rather popular model on the (infinite) square lattice with sites <math>(x,y)\in\mathbb{Z}^2</math> is defined as follows:
在（无限）方格上有一个相当流行的模型，其位置<math>(x,y)\in\mathbb{Z}^2</math>定义如下：
在（无限）方格上有一个相当流行的模型，其位置<math>(x,y)\in\mathbb{Z}^2</math>定义如下：
Begin with some nonnegative configuration of values <math>z(x,y)\in \mathbf{Z}</math> which is finite, meaning
Begin with some nonnegative configuration of values <math>z(x,y)\in \mathbf{Z}</math> which is finite, meaning
从\mathbf{z}</math>中有限值<math>z(x,y)\in \mathbf{Z}</math>的一些非负配置开始，这意味着
从\mathbf{z}</math>中有限值<math>z(x,y)\in \mathbf{Z}</math>的一些非负配置开始，这意味着
Any site <math>(x,y)</math> with
Any site <math>(x,y)</math> with
任何位置<math>(x,y)</math>有
任何位置<math>(x,y)</math>有
:<math>z(x,y)\geq 4</math>
:<math>z(x,y)\geq 4</math>
is ''unstable'' and can ''topple'' (or ''fire''), sending one of its chips to each of its four neighbors:
is ''unstable'' and can ''topple'' (or ''fire''), sending one of its chips to each of its four neighbors:
就是“不稳定的”，并且会产生崩塌，将它位置上的沙粒分发给它的四个邻居：
就是“不稳定的”，并且会产生崩塌，将它位置上的沙粒分发给它的四个邻居：
:<math>z(x,y) \rightarrow z(x,y) - 4,</math>
:<math>z(x,y) \rightarrow z(x,y) - 4,</math>
Since the initial configuration is finite, the [[Action (philosophy)|process]] is guaranteed to terminate, with the grains scattering outward.
Since the initial configuration is finite, the [[Action (philosophy)|process]] is guaranteed to terminate, with the grains scattering outward.
由于初始构型是有限的，这一过程必然会随着沙粒向外散布终止。
由于初始构型是有限的，这一过程必然会随着沙粒向外散布终止。
A popular special case of this model is given when the initial configuration is zero for all vertices except the origin. If the origin carries a huge number of grains of sand, the configuration after relaxation forms fractal patterns (see figure). When letting the initial number of grains at the origin go to infinity, the rescaled stabilized configurations were shown to converge to a unique limit.<ref name="Pegden2013" /><ref name="Levine2016" />
A popular special case of this model is given when the initial configuration is zero for all vertices except the origin. If the origin carries a huge number of grains of sand, the configuration after relaxation forms fractal patterns (see figure). When letting the initial number of grains at the origin go to infinity, the rescaled stabilized configurations were shown to converge to a unique limit.<ref name="Pegden2013" /><ref name="Levine2016" />
给出了该模型的一个常见特例，即除原点外的所有顶点的初始配置都为零。如果原点放置大量沙粒，松弛后的构型形成分形图案(见图)。当初始颗粒数趋于无穷时，重缩放的稳定构型收敛到唯一极限。<ref name="Pegden2013" /><ref name="Levine2016" />
给出了该模型的一个常见特例，即除原点外的所有顶点的初始配置都为零。如果原点放置大量沙粒，松弛后的构型形成分形图案(见图)。当初始颗粒数趋于无穷时，重缩放的稳定构型收敛到唯一极限。<ref name="Pegden2013" /><ref name="Levine2016" />
=== Sandpile models on directed graphs有向图上的沙堆模型===
=== Sandpile models on directed graphs有向图上的沙堆模型===
The sandpile model can be generalized to arbitrary directed multigraphs. The rules are that any vertex <math>v</math> with
The sandpile model can be generalized to arbitrary directed multigraphs. The rules are that any vertex <math>v</math> with
沙堆模型可以推广到任意有向多重图。规则是任何顶点<math>v</math>有
沙堆模型可以推广到任意有向多重图。规则是任何顶点<math>v</math>有
:<math>z(v)\geq \deg^{+}(v)</math>
:<math>z(v)\geq \deg^{+}(v)</math>
is unstable; toppling again sends chips to each of its neighbors, one along each outgoing edge:
is unstable; toppling again sends chips to each of its neighbors, one along each outgoing edge:
则是不稳定的；崩塌将它的碎片沿着边的输出方向，分发给它的邻居：
则是不稳定的；崩塌将它的碎片沿着边的输出方向，分发给它的邻居：
:<math>z(v) \rightarrow z(v) - \deg^{+}(v) + \deg(v,v)</math>
:<math>z(v) \rightarrow z(v) - \deg^{+}(v) + \deg(v,v)</math>
and, for each <math>u\neq v</math>:
and, for each <math>u\neq v</math>:
并且，对于每个<math>u\neq v</math>：
并且，对于每个<math>u\neq v</math>：
:<math>z(u) \rightarrow z(u) + \deg(v,u)</math>
:<math>z(u) \rightarrow z(u) + \deg(v,u)</math>
where <math>\deg(v,u)</math> is the number of edges from <math>v</math> to <math>u</math>.
where <math>\deg(v,u)</math> is the number of edges from <math>v</math> to <math>u</math>.
其中，<math>\deg(v,u)</math>是从<math>v</math>到<math>u</math>的边数。
其中，<math>\deg(v,u)</math>是从<math>v</math>到<math>u</math>的边数。
In this case the Laplacian matrix is not symmetric. If we specify a sink <math>s</math> such that there is a path from every other vertex to <math>s</math>, then the stabilization operation on finite graphs is well-defined and the sandpile group can be written
In this case the Laplacian matrix is not symmetric. If we specify a sink <math>s</math> such that there is a path from every other vertex to <math>s</math>, then the stabilization operation on finite graphs is well-defined and the sandpile group can be written
在这种情况下，拉普拉斯矩阵是不对称的。如果我们指定一个沉没顶点<math>s</math>，使得每一个顶点都有一条到<math>s</math>的路径，那么有限图上的稳定操作是定义良好的，并且沙堆群可以像之前一样被写出来
在这种情况下，拉普拉斯矩阵是不对称的。如果我们指定一个沉没顶点<math>s</math>，使得每一个顶点都有一条到<math>s</math>的路径，那么有限图上的稳定操作是定义良好的，并且沙堆群可以像之前一样被写出来
The order of the sandpile group is again the determinant of <math>\Delta'</math>, which by the general version of the [[Kirchhoff's theorem|matrix tree theorem]] is the number of oriented [[spanning tree]]s rooted at the sink.
The order of the sandpile group is again the determinant of <math>\Delta'</math>, which by the general version of the [[Kirchhoff's theorem|matrix tree theorem]] is the number of oriented [[spanning tree]]s rooted at the sink.
沙堆群的顺序又是<math>\Delta'</math>的行列式，根据[[矩阵树定理]]的一般版本，它是根在沉没顶点的有向[[spanning tree]]生成树的数目。
沙堆群的顺序又是<math>\Delta'</math>的行列式，根据[[矩阵树定理]]的一般版本，它是根在沉没顶点的有向[[spanning tree]]生成树的数目。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）The order of the sandpile group翻译存疑。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）The order of the sandpile group翻译存疑。
=== The extended sandpile model扩展沙堆模型===
=== The extended sandpile model扩展沙堆模型===
[[File:Harmonic Sandpile Dynamics.gif|thumb|Sandpile dynamics induced by the harmonic function H=x*y on a 255x255 square grid.]]
[[File:Harmonic Sandpile Dynamics.gif|thumb|Sandpile dynamics induced by the harmonic function H=x*y on a 255x255 square grid.]]
[[File:Harmonic Sandpile Dynamics.gif|thumb|由谐波函数H=x*y在255x255方格网格上引起的沙堆动力学。]]
[[File:Harmonic Sandpile Dynamics.gif|thumb|由谐波函数H=x*y在255x255方格网格上引起的沙堆动力学。]]
Also the recurrent configurations of the extended sandpile model form an abelian group, referred to as the ''extended sandpile group'', of which the usual sandpile group is a [[discrete subgroup]]. Different to the usual sandpile group, the extended sandpile group is however a continuous [[Lie group]]. Since it is generated by only adding grains of sand to the boundary <math>\partial\Gamma</math> of the grid, the extended sandpile group furthermore has the [[topological group|topology]] of a [[torus]] of dimension <math>|\partial\Gamma|</math> and a volume given by the order of the usual sandpile group.<ref name="Lang2019" />
Also the recurrent configurations of the extended sandpile model form an abelian group, referred to as the ''extended sandpile group'', of which the usual sandpile group is a [[discrete subgroup]]. Different to the usual sandpile group, the extended sandpile group is however a continuous [[Lie group]]. Since it is generated by only adding grains of sand to the boundary <math>\partial\Gamma</math> of the grid, the extended sandpile group furthermore has the [[topological group|topology]] of a [[torus]] of dimension <math>|\partial\Gamma|</math> and a volume given by the order of the usual sandpile group.<ref name="Lang2019" />
扩展沙堆模型的递归构型也形成了一个阿贝尔群，称为“扩展沙堆群”，通常的扩展沙堆群是一个[[离散子群]]。与通常的沙堆群不同，扩展沙堆群是一个连续的[[李群]]。只因为它是由添加沙粒到网格的边界<math>\partial\Gamma</math>上形成的，扩展后的沙堆群还具有维度<math>|\partial\Gamma|</math>的环面拓扑结构，并且按通常沙堆组的顺序给出的体积。<ref name="Lang2019" />
扩展沙堆模型的递归构型也形成了一个阿贝尔群，称为“扩展沙堆群”，通常的扩展沙堆群是一个[[离散子群]]。与通常的沙堆群不同，扩展沙堆群是一个连续的[[李群]]。只因为它是由添加沙粒到网格的边界<math>\partial\Gamma</math>上形成的，扩展后的沙堆群还具有维度<math>|\partial\Gamma|</math>的环面拓扑结构，并且按通常沙堆组的顺序给出的体积。<ref name="Lang2019" />
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）a volume given by the order of the usual sandpile group.翻译存疑。
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）a volume given by the order of the usual sandpile group.翻译存疑。
Of specific interest is the question how the recurrent configurations dynamically change along the continuous [[geodesic]]s of this torus passing through the identity. This question leads to the definition of the sandpile dynamics
Of specific interest is the question how the recurrent configurations dynamically change along the continuous [[geodesic]]s of this torus passing through the identity. This question leads to the definition of the sandpile dynamics
特别感兴趣的问题是循环构型如何通过恒等式，沿着这个环面的连续[[测地线]]动态变化的问题。这个问题引出了沙堆动力学的定义
特别感兴趣的问题是循环构型如何通过恒等式，沿着这个环面的连续[[测地线]]动态变化的问题。这个问题引出了沙堆动力学的定义
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）identity在整篇文章中的翻译需进行统一，如何翻译？？同一性，恒等式？？
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）identity在整篇文章中的翻译需进行统一，如何翻译？？同一性，恒等式？？
For low-order polynomial harmonic functions, the sandpile dynamics are characterized by the
For low-order polynomial harmonic functions, the sandpile dynamics are characterized by the
smooth transformation and apparent conservation of the patches constituting the sandpile identity. For example, the harmonic dynamics induced by <math>H=xy</math> resemble the "smooth stretching" of the identity along the main diagonals visualized in the animation. The configurations appearing in the dynamics induced by the same harmonic function on square grids of different sizes were furthermore conjectured to weak-* converge, meaning that there supposedly exist scaling limits for them.<ref name="Lang2019" /> This proposes a natural [[renormalization]] for the extended and usual sandpile groups, meaning a mapping of recurrent configurations on a given grid to recurrent configurations on a sub-grid. Informaly, this renormalization simply maps configurations appearing at a given time <math>t</math> in the sandpile dynamics induced by some harmonic function <math>H</math> on the larger grid to the corresponding configurations which appear at the same time in the sandpile dynamics induced by the restriction of <math>H</math> to the respective sub-grid.<ref name="Lang2019" />
smooth transformation and apparent conservation of the patches constituting the sandpile identity. For example, the harmonic dynamics induced by <math>H=xy</math> resemble the "smooth stretching" of the identity along the main diagonals visualized in the animation. The configurations appearing in the dynamics induced by the same harmonic function on square grids of different sizes were furthermore conjectured to weak-* converge, meaning that there supposedly exist scaling limits for them.<ref name="Lang2019" /> This proposes a natural [[renormalization]] for the extended and usual sandpile groups, meaning a mapping of recurrent configurations on a given grid to recurrent configurations on a sub-grid. Informaly, this renormalization simply maps configurations appearing at a given time <math>t</math> in the sandpile dynamics induced by some harmonic function <math>H</math> on the larger grid to the corresponding configurations which appear at the same time in the sandpile dynamics induced by the restriction of <math>H</math> to the respective sub-grid.<ref name="Lang2019" />
由整值调和函数<math>H</math>在时间<math>t\in\mathbb{R}\setminus\mathbb{Z}</math>，沙堆群的同一性<math>I</math>和底函数<math>\lfloor.\rfloor</math>导出的。<ref name="Lang2019" />对于低阶多项式调和函数，沙堆动力学的特征是组成沙堆恒等式的斑块的光滑变换和明显守恒。例如，由<math>H=xy</math> 诱导的谐波动力学类似于动画中可视化的主对角线上恒等式的“平滑拉伸”。进一步推测了由相同的谐函数在不同尺寸的正方形网格上引起的动力学构型的弱收敛，这意味着可能存在标度限制。<ref name="Lang2019" />这为扩展的和普通的沙堆组提出了一个自然的[[重归一化]]，这意味着在给定网格上的重复配置映射到子网格上的重复配置。非正式地，重归一化简单地映射了沙堆动力学中给定时间<math>t</math>时的构型，动力学由大型网格上的谐波函数<math>H</math>导出到相应的构型，这种构型在<math>H</math>限制到各自子网格的沙堆动力学中时同时出现。<ref name="Lang2019" />
由整值调和函数<math>H</math>在时间<math>t\in\mathbb{R}\setminus\mathbb{Z}</math>，沙堆群的同一性<math>I</math>和底函数<math>\lfloor.\rfloor</math>导出的。<ref name="Lang2019" />对于低阶多项式调和函数，沙堆动力学的特征是组成沙堆恒等式的斑块的光滑变换和明显守恒。例如，由<math>H=xy</math> 诱导的谐波动力学类似于动画中可视化的主对角线上恒等式的“平滑拉伸”。进一步推测了由相同的谐函数在不同尺寸的正方形网格上引起的动力学构型的弱收敛，这意味着可能存在标度限制。<ref name="Lang2019" />这为扩展的和普通的沙堆组提出了一个自然的[[重归一化]]，这意味着在给定网格上的重复配置映射到子网格上的重复配置。非正式地，重归一化简单地映射了沙堆动力学中给定时间<math>t</math>时的构型，动力学由大型网格上的谐波函数<math>H</math>导出到相应的构型，这种构型在<math>H</math>限制到各自子网格的沙堆动力学中时同时出现。<ref name="Lang2019" />
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）上面的长句翻译需要重新审校Informaly, this renormalization simply maps
==[[用户:Zcy|Zcy]]（[[用户讨论:Zcy|讨论]]）上面的长句翻译需要重新审校Informaly, this renormalization simply maps
=== The divisible sandpile 可分割的沙堆===
=== The divisible sandpile 可分割的沙堆===
A strongly related model is the so called '''divisible sandpile model''', introduced by Levine and Peres in 2008,<ref>{{Cite journal|last1=Levine|first1=Lionel|last2=Peres|first2=Yuval|date=2008-10-29|title=Strong Spherical Asymptotics for Rotor-Router Aggregation and the Divisible Sandpile|journal=Potential Analysis|language=en|volume=30|issue=1|pages=1–27|doi=10.1007/s11118-008-9104-6|issn=0926-2601|arxiv=0704.0688|s2cid=2227479}}</ref> in which, instead of a discrete number of particles in each site <math>x</math>, there is a real number <math>s(x)</math> representing the amount of mass on the site. In case such mass is negative, one can understand it as a hole. The topple occurs whenever a site has mass larger than 1; it topples the excess evenly between its neighbors resulting in the situation that, if a site is full at time <math>t</math>, it will be full for all later times.
A strongly related model is the so called '''divisible sandpile model''', introduced by Levine and Peres in 2008,<ref>{{Cite journal|last1=Levine|first1=Lionel|last2=Peres|first2=Yuval|date=2008-10-29|title=Strong Spherical Asymptotics for Rotor-Router Aggregation and the Divisible Sandpile|journal=Potential Analysis|language=en|volume=30|issue=1|pages=1–27|doi=10.1007/s11118-008-9104-6|issn=0926-2601|arxiv=0704.0688|s2cid=2227479}}</ref> in which, instead of a discrete number of particles in each site <math>x</math>, there is a real number <math>s(x)</math> representing the amount of mass on the site. In case such mass is negative, one can understand it as a hole. The topple occurs whenever a site has mass larger than 1; it topples the excess evenly between its neighbors resulting in the situation that, if a site is full at time <math>t</math>, it will be full for all later times.