第7行: |
第7行: |
| | | |
| | | |
− | '''<font color="#ff8000"> 阿贝尔沙堆模型 Abelian sandpile model</font>''',也被称为 Bak-Tang-Wiesenfeld 模型,是第一个发现的动力系统展现[[自组织临界性]]的例子。它是由 Per Bak,Chao Tang 和 Kurt Wiesenfeld 在1987年的一篇论文<ref name=Bak1987> | + | ''' 阿贝尔沙堆模型 Abelian sandpile model''',也被称为 Bak-Tang-Wiesenfeld 模型,是第一个发现的动力系统展现[[自组织临界性]]的例子。它是由 Per Bak,Chao Tang 和 Kurt Wiesenfeld 在1987年的一篇论文<ref name=Bak1987> |
| {{cite journal | | {{cite journal |
| | author = Bak, P. |author2=Tang, C. |author3-link=Kurt Wiesenfeld |author3=Wiesenfeld, K. | | | author = Bak, P. |author2=Tang, C. |author3-link=Kurt Wiesenfeld |author3=Wiesenfeld, K. |
第22行: |
第22行: |
| | | |
| | | |
− | 这个模型是一种<font color="#ff8000"> [[元胞自动机]]模型 Cellular automaton</font>。在最初的公式中,有限网格上的每个位置都有一个与沙堆的坡度相对应的关联值。当“沙粒”(或“碎片”)被随机放置在沙堆上时,被放置位置的坡度就会不断累加,直到坡度超过一个特定的阈值时,这个位置便发生崩塌,沙子就会转移到其邻近的位置,而增加后者的坡度。Bak, Tang和 Wiesenfeld考虑了在网格上持续随机放置沙粒的过程; 每次这样在某个位置放置沙粒有可能不会产生影响,也有可能会引起[[级联反应]]而影响一大片位置。 | + | 这个模型是一种 [[元胞自动机]]模型 Cellular automaton。在最初的公式中,有限网格上的每个位置都有一个与沙堆的坡度相对应的关联值。当“沙粒”(或“碎片”)被随机放置在沙堆上时,被放置位置的坡度就会不断累加,直到坡度超过一个特定的阈值时,这个位置便发生崩塌,沙子就会转移到其邻近的位置,而增加后者的坡度。Bak, Tang和 Wiesenfeld考虑了在网格上持续随机放置沙粒的过程; 每次这样在某个位置放置沙粒有可能不会产生影响,也有可能会引起[[级联反应]]而影响一大片位置。 |
| | | |
| | | |
第34行: |
第34行: |
| | doi = 10.1007/978-3-7643-8786-0_17 | | | doi = 10.1007/978-3-7643-8786-0_17 |
| | bibcode=1987PhRvL..59..381B | | | bibcode=1987PhRvL..59..381B |
− | |arxiv=0801.3306|isbn=978-3-7643-8785-3 |s2cid=7313023 }}</ref>。它与美元博弈游戏密切相关,这个游戏是Biggs提出的一种<font color="#ff8000">开除碎片 chip-firing 游戏的变体</font>。<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>。它与美元博弈游戏密切相关,这个游戏是Biggs提出的一种开除碎片 chip-firing 游戏的变体。<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> |
| | | |
| | | |
第40行: |
第40行: |
| | | |
| | | |
− | 沙堆模型起初是一个定义在<math> N\times M </math>矩形网格(棋盘格)上的'''<font color="#ff8000">元胞自动机cellular automaton </font>'''。 | + | 沙堆模型起初是一个定义在<math> N\times M </math>矩形网格(棋盘格)上的'''元胞自动机cellular automaton '''。 |
| | | |
| | | |
第95行: |
第95行: |
| | | |
| | | |
− | 在这种情况下,<math>\mathbf{x}</math>被称为<math>z</math>的稳定过程的崩塌或计程函数 <font color="#ff8000">odometer function</font>。 | + | 在这种情况下,<math>\mathbf{x}</math>被称为<math>z</math>的稳定过程的崩塌或计程函数 odometer function。 |
| | | |
| | | |
− | 在<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>.运算下形成''' 交换幺半群Commutative monoid'''。这个幺半群的最小理想同构于常返构型群。 |
| | | |
− | 由常返构型形成的群,以及与之同构的群<math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>,通常被称为'''<font color="#ff8000"> 沙堆群Sandpile group</font>'''。同样的群也常被称作为“临界群”、“Jacobian群”或(比较不常见的)“Picard群”。 | + | 由常返构型形成的群,以及与之同构的群<math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>,通常被称为''' 沙堆群Sandpile group'''。同样的群也常被称作为“临界群”、“Jacobian群”或(比较不常见的)“Picard群”。 |
| | | |
− | 然而,要注意的是,有些作者只把常返构型形成的组称为沙堆组,而为由<math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>(或相关的同构定义)定义的同构群保留Jacobian群或临界群的称呼。最后,一些作者使用Picard群来指代沙堆群和<math>\mathbb{Z}</math>的直积,后者出现在与沙堆模型密切相关的[[元胞自动机]]中,被称为'''<font color="#ff8000"> 开除碎片或美元博弈游戏Chip firing or Dollar game</font>'''。 | + | 然而,要注意的是,有些作者只把常返构型形成的组称为沙堆组,而为由<math>\mathbf{Z}^{n-1}/\mathbf{Z}^{n-1}\Delta'</math>(或相关的同构定义)定义的同构群保留Jacobian群或临界群的称呼。最后,一些作者使用Picard群来指代沙堆群和<math>\mathbb{Z}</math>的直积,后者出现在与沙堆模型密切相关的[[元胞自动机]]中,被称为''' 开除碎片或美元博弈游戏Chip firing or Dollar game'''。 |
| | | |
| 给定上述同构,沙堆群的阶是<math>\Delta'</math>的行列式,根据矩阵树定理,它是图的生成树的个数。 | | 给定上述同构,沙堆群的阶是<math>\Delta'</math>的行列式,根据矩阵树定理,它是图的生成树的个数。 |