English

Embedding arbitrary Boolean circuits into fungal automata

Computational Complexity 2022-08-19 v1 Formal Languages and Automata Theory

Abstract

Fungal automata are a variation of the two-dimensional sandpile automaton of Bak, Tang, and Wiesenfeld (Phys. Rev. Lett. 1987). In each step toppling cells emit grains only to some of their neighbors chosen according to a specific update sequence. We show how to embed any Boolean circuit into the initial configuration of a fungal automaton with update sequence HVHV. In particular we give a constructor that, given the description BB of a circuit, computes the states of all cells in the finite support of the embedding configuration in O(logB)O(\log |B|) space. As a consequence the prediction problem for fungal automata with update sequence HVHV is P\mathsf{P}-complete. This solves an open problem of Goles et al. (Phys. Lett. A, 2020).

Keywords

Cite

@article{arxiv.2208.08779,
  title  = {Embedding arbitrary Boolean circuits into fungal automata},
  author = {Augusto Modanese and Thomas Worsch},
  journal= {arXiv preprint arXiv:2208.08779},
  year   = {2022}
}

Comments

19 pages, 17 figures. To appear in LATIN 2022

R2 v1 2026-06-25T01:47:42.310Z