Computational Complexity of Avalanches in the Kadanoff two-dimensional Sandpile Model

15 pagesIn this paper we prove that the avalanche problem for Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circuit value problem by building logic gates and wires which work with configurations in KSPM. The proof is also related to the known prediction problem for sandpile which is in NC for one-dimensional sandpiles and is P-complete for dimension 3 or greater. The computational complexity of the prediction problem remains open for two-dimensional sandpiles

Self-organized criticality as an absorbing-state phase transition

We explore the connection between self-organized criticality and phase transitions in models with absorbing states. Sandpile models are found to exhibit criticality only when a pair of relevant parameters - dissipation epsilon and driving field h - are set to their critical values. The critical values of epsilon and h are both equal to zero. The first is due to the absence of saturation (no bound on energy) in the sandpile model, while the second result is common to other absorbing-state transitions. The original definition of the sandpile model places it at the point (epsilon=0, h=0+): it is critical by definition. We argue power-law avalanche distributions are a general feature of models with infinitely many absorbing configurations, when they are subject to slow driving at the critical point. Our assertions are supported by simulations of the sandpile at epsilon=h=0 and fixed energy density (no drive, periodic boundaries), and of the slowly-driven pair contact process. We formulate a field theory for the sandpile model, in which the order parameter is coupled to a conserved energy density, which plays the role of an effective creation rate.Comment: 19 pages, 9 figure

Proceedings of JAC 2010. Journées Automates Cellulaires

The second Symposium on Cellular Automata “Journ´ees Automates Cellulaires” (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku–Mariehamn–Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku. The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit´e de Strasbourg, France), Bruno Durand (Universit´e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit¨at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume. The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible. These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.Siirretty Doriast

Self-organization without conservation: true or just apparent scale-invariance?

The existence of true scale-invariance in slowly driven models of self-organized criticality without a conservation law, as forest-fires or earthquake automata, is scrutinized in this paper. By using three different levels of description - (i) a simple mean field, (ii) a more detailed mean-field description in terms of a (self-organized) branching processes, and (iii) a full stochastic representation in terms of a Langevin equation-, it is shown on general grounds that non-conserving dynamics does not lead to bona fide criticality. Contrarily to conserving systems, a parameter, which we term "re-charging" rate (e.g. the tree-growth rate in forest-fire models), needs to be fine-tuned in non-conserving systems to obtain criticality. In the infinite size limit, such a fine-tuning of the loading rate is easy to achieve, as it emerges by imposing a second separation of time-scales but, for any finite size, a precise tuning is required to achieve criticality and a coherent finite-size scaling picture. Using the approaches above, we shed light on the common mechanisms by which "apparent criticality" is observed in non-conserving systems, and explain in detail (both qualitatively and quantitatively) the difference with respect to true criticality obtained in conserving systems. We propose to call this self-organized quasi-criticality (SOqC). Some of the reported results are already known and some of them are new. We hope the unified framework presented here helps to elucidate the confusing and contradictory literature in this field. In a second accompanying paper, we shall discuss the implications of the general results obtained here for models of neural avalanches in Neuroscience for which self-organized scale-invariance in the absence of conservation has been claimed.Comment: 40 pages, 7 figures