Related papers: Some halting problems for abelian sandpiles are un…
We show that the following problem is undecidable: given two polygonal prototiles, determine whether the plane can be tiled with rotated and translated copies of them. This improves a result of Demaine and Langerman [SoCG 2025], who showed…
We prove that the Abelian sandpile model on a random binary and binomial tree, as introduced in \cite{rrs}, is not critical for all branching probabilities $p<1$; by estimating the tail of the annealed survival time of a random walk on the…
With a toppling rule which generates metastable sites, we explore the properties of a gradient-driven sandpile that is minimally perturbed at one boundary. In two dimensions we find that the transport of grains takes place along deep…
Consider the Abelian sandpile measure on $\mathbb{Z}^d$, $d \ge 2$, obtained as the $L \to \infty$ limit of the stationary distribution of the sandpile on $[-L,L]^d \cap \mathbb{Z}^d$. When adding a grain of sand at the origin, some region,…
The divisible sandpile starts with i.i.d. random variables ("masses") at the vertices of an infinite, vertex-transitive graph, and redistributes mass by a local toppling rule in an attempt to make all masses at most 1. The process…
We propose a formal proof of the undecidability of the model checking problem for alternating- time temporal logic under imperfect information and perfect recall semantics. This problem was announced to be undecidable according to a…
In this thesis we present few theoretical studies of the models of self-organized criticality. Following a brief introduction of self-organized criticality, we discuss three main problems. The first problem is about growing patterns formed…
We introduce a simple one-dimensional sandpile model that undergoes relaxation oscillations. A single model can account for self-organized critical behavior and relaxation oscillations, depending on the manner in which it is driven,…
We introduce a family of abelian sandpile models with two parameters $n, m \in {\bf N}$ defined on finite lattices on $d$-dimensional torus. Sites with $2dn+m$ or more grains of sand are unstable and topple, and in each toppling $m$ grains…
A popular theory of self-organized criticality relates the critical behavior of driven dissipative systems to that of systems with conservation. In particular, this theory predicts that the stationary density of the abelian sandpile model…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
We check the universality properties of the two-dimensional Abelian sandpile model by computing some of its properties on the honeycomb lattice. Exact expressions for unit height correlation functions in presence of boundaries and for…
We consider the standard Abelian sandpile process on the Bethe lattice. We show the existence of the thermodynamic limit for the finite volume stationary measures and the existence of a unique infinite volume Markov process exhibiting…
Rotational constraint representing a local external bias generally has non-trivial effect on the critical behavior of lattice statistical models in equilibrium critical phenomena. In order to study the effect of rotational bias in a out of…
We use techniques from the theory of electrical networks to give nearly tight bounds for the transience class of the Abelian sandpile model on the two-dimensional grid up to polylogarithmic factors. The Abelian sandpile model is a discrete…
The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network…
We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be…
The Abelian Sandpile Model is a discrete diffusion process defined on graphs (Dhar \cite{DD90}, Dhar et al. \cite{DD95}) which serves as the standard model of \textit{self-organized criticality}. The transience class of a sandpile is…
In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a…
The two dimensional directed sandpile with dissipation is transformed into a (1+1) dimensional problem with discrete space and continuous `time'. The master equation for the conditional probability that K grains preserve their initial order…