11
$\begingroup$

I've been reading about the Abelian Sandpile Model and noticed the identity element of the sandpile group on the square has self-similar components.

enter image description here

The sandpile group of the 198x198 square of height 4 above is a finite abelian group. However, the sandpile corresponding to elements of this group can be fractal. Where is the complexity coming from?

Also, how does can you find the identity element (say, with a computer)?

$\endgroup$
  • 2
    $\begingroup$ According to the paper you link to, this work arxiv.org/abs/0809.3416 studies the question of the fractal structure. $\endgroup$ – j.c. Jul 8 '10 at 16:36
6
$\begingroup$

Since the time this question was asked, there have been some important breakthroughs on the convergence of the scaling limit of the sandpile model (and its identity element), which may explain some of the self-similarity you note.

See especially the papers: http://arxiv.org/abs/1105.0111 and http://arxiv.org/abs/1208.4839 and http://arxiv.org/abs/1309.3267

$\endgroup$
  • $\begingroup$ Could you please fix the first link to go to the abstract rather than directly to the PDF? Thank you! $\endgroup$ – Harry Altman Nov 25 '13 at 23:37
  • $\begingroup$ @HarryAltman: fixed. $\endgroup$ – Sam Hopkins Nov 25 '13 at 23:39
  • $\begingroup$ Added much later: I'm actually not sure that these papers address convergence of the identity element on a finite two-dimensional grid. Their main focus is on the stabilization of a large number of chips placed at the origin of the infinite two-dimensional grid. At any rate, fractal patterns emergence in both settings and I believe they are at least very closely morally related. $\endgroup$ – Sam Hopkins Jun 15 '18 at 21:30
5
$\begingroup$

As per your second question, the following algorithm allows one to compute the identity element.

Let $c$ denote the maximal stable configuration; i.e. $c = \sum_{v\in V}(d(v)-1) v$ This is always recurrent. Let $a^{\circ}$ denote the stabilization of a configuration $a$. Then this will give you the identity $e$:

$e =(2c - (2c)^\circ)^\circ$

If you are interested, check out this applet for doing a lot of this stuff (and it's pretty, too): http://people.reed.edu/~davidp/sand/program/program.html

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.