Source author record

Janko Gravner

Janko Gravner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2020arXiv

Weakly robust periodic solutions of one-dimensional cellular automata with random rules

We study $2$-neighbor one-dimensional cellular automata with a large number $n$ of states and randomly selected rules. We focus on the rules with weakly robust periodic solutions (WRPS). WRPS are global configurations that exhibit spatial and temporal periodicity and advance into any environment with at least a fixed strictly positive velocity. Our main result quantifies how unlikely WRPS are: the probability of existence of a WRPS within a finite range of periods is asymptotically proportional to $1/n$, provided that a divisibility condition is satisfied. Our main tools come from random graph theory and the Chen-Stein method for Poisson approximation.

preprint2016arXiv

Stability of cellular automata trajectories revisited: branching walks and Lyapunov profiles

We study non-equilibrium defect accumulation dynamics on a cellular automaton trajectory: a branching walk process in which a defect creates a successor on any neighborhood site whose update it affects. On an infinite lattice, defects accumulate at different exponential rates in different directions, giving rise to the Lyapunov profile. This profile quantifies instability of a cellular automaton evolution and is connected to the theory of large deviations. We rigorously and empirically study Lyapunov profiles generated from random initial states. We also introduce explicit and computationally feasible variational methods to compute the Lyapunov profiles for periodic configurations, thus developing an analogue of Floquet theory for cellular automata.

preprint2015arXiv

Bootstrap percolation on products of cycles and complete graphs

Bootstrap percolation on a graph iteratively enlarges a set of occupied sites by adjoining points with at least $θ$ occupied neighbors. The initially occupied set is random, given by a uniform product measure, and we say that spanning occurs if every point eventually becomes occupied. The main question concerns the critical probability, that is, the minimal initial density that makes spanning likely. The graphs we consider are products of cycles of $m$ points and complete graphs of $n$ points. The major part of the paper focuses on the case when two factors are complete graphs and one factor is a cycle. We identify the asymptotic behavior of the critical probability and show that, when $θ$ is odd, there are two qualitatively distinct phases: the transition from low to high probability of spanning as the initial density increases is sharp or gradual, depending on the size of $m$.

preprint2015arXiv

Bootstrap percolation on the Hamming torus

The Hamming torus of dimension $d$ is the graph with vertices $\{1,\dots,n\}^d$ and an edge between any two vertices that differ in a single coordinate. Bootstrap percolation with threshold $θ$ starts with a random set of open vertices, to which every vertex belongs independently with probability $p$, and at each time step the open set grows by adjoining every vertex with at least $θ$ open neighbors. We assume that $n$ is large and that $p$ scales as $n^{-α}$ for some $α>1$, and study the probability that an $i$-dimensional subgraph ever becomes open. For large $θ$, we prove that the critical exponent $α$ is about $1+d/θ$ for $i=1$, and about $1+2/θ+Θ(θ^{-3/2})$ for $i\ge2$. Our small $θ$ results are mostly limited to $d=3$, where we identify the critical $α$ in many cases and, when $θ=3$, compute exactly the critical probability that the entire graph is eventually open.

preprint2015arXiv

Introducing Lyapunov profiles of cellular automata

In line with the stability theory of continuous dynamical systems, Lyapunov exponents of cellular automata (CAs) have been conceived two decades ago to quantify to what extent their dynamics changes following a perturbation of their initial configuration. More precisely, Lyapunov exponents of CAs have either been understood as the rate by which the resulting defect cone widens as these dynamical systems are evolved from a perturbed initial configuration, or as the rate by which defects accumulate during their evolution. The former viewpoint yields insight into the extent of the affected region, whereas the latter tells us something about the intensity of the defect propagation. In this paper, we will show how these viewpoints can be united by relying on Lyapunov profiles of CAs.

preprint2015arXiv

Percolation and disorder-resistance in cellular automata

We rigorously prove a form of disorder-resistance for a class of one-dimensional cellular automaton rules, including some that arise as boundary dynamics of two-dimensional solidification rules. Specifically, when started from a random initial seed on an interval of length $L$, with probability tending to one as $L\to\infty$, the evolution is a replicator. That is, a region of space-time of density one is filled with a spatially and temporally periodic pattern, punctuated by a finite set of other finite patterns repeated at a fractal set of locations. On the other hand, the same rules exhibit provably more complex evolution from some seeds, while from other seeds their behavior is apparently chaotic. A principal tool is a new variant of percolation theory, in the context of additive cellular automata from random initial states.

preprint2014arXiv

Nucleation scaling in jigsaw percolation

Jigsaw percolation is a nonlocal process that iteratively merges connected clusters in a deterministic "puzzle graph" by using connectivity properties of a random "people graph" on the same set of vertices. We presume the Erdos--Renyi people graph with edge probability p and investigate the probability that the puzzle is solved, that is, that the process eventually produces a single cluster. In some generality, for puzzle graphs with N vertices of degrees about D (in the appropriate sense), this probability is close to 1 or small depending on whether pD(log N) is large or small. The one dimensional ring and two dimensional torus puzzles are studied in more detail and in many cases the exact scaling of the critical probability is obtained. The paper settles several conjectures posed by Brummitt, Chatterjee, Dey, and Sivakoff who introduced this model.

preprint2010arXiv

A sharper threshold for bootstrap percolation in two dimensions

Two-dimensional bootstrap percolation is a cellular automaton in which sites become 'infected' by contact with two or more already infected nearest neighbors. We consider these dynamics, which can be interpreted as a monotone version of the Ising model, on an n x n square, with sites initially infected independently with probability p. The critical probability p_c is the smallest p for which the probability that the entire square is eventually infected exceeds 1/2. Holroyd determined the sharp first-order approximation: p_c \sim π^2/(18 log n) as n \to \infty. Here we sharpen this result, proving that the second term in the expansion is -(log n)^{-3/2+ o(1)}, and moreover determining it up to a poly(log log n)-factor. The exponent -3/2 corrects numerical predictions from the physics literature.