8 research outputs found
Abelian networks II. Halting on all inputs
Abelian networks are systems of communicating automata satisfying a local
commutativity condition. We show that a finite irreducible abelian network
halts on all inputs if and only if all eigenvalues of its production matrix lie
in the open unit disk.Comment: Supersedes sections 5 and 6 of arXiv:1309.3445v1. To appear in
Selecta Mathematic
Abelian networks IV. Dynamics of nonhalting networks
An abelian network is a collection of communicating automata whose state
transitions and message passing each satisfy a local commutativity condition.
This paper is a continuation of the abelian networks series of Bond and Levine
(2016), for which we extend the theory of abelian networks that halt on all
inputs to networks that can run forever. A nonhalting abelian network can be
realized as a discrete dynamical system in many different ways, depending on
the update order. We show that certain features of the dynamics, such as
minimal period length, have intrinsic definitions that do not require
specifying an update order.
We give an intrinsic definition of the \emph{torsion group} of a finite
irreducible (halting or nonhalting) abelian network, and show that it coincides
with the critical group of Bond and Levine (2016) if the network is halting. We
show that the torsion group acts freely on the set of invertible recurrent
components of the trajectory digraph, and identify when this action is
transitive.
This perspective leads to new results even in the classical case of sinkless
rotor networks (deterministic analogues of random walks). In Holroyd et. al
(2008) it was shown that the recurrent configurations of a sinkless rotor
network with just one chip are precisely the unicycles (spanning subgraphs with
a unique oriented cycle, with the chip on the cycle). We generalize this result
to abelian mobile agent networks with any number of chips. We give formulas for
generating series such as where is the number of recurrent chip-and-rotor configurations with
chips; is the diagonal matrix of outdegrees, and is the adjacency
matrix. A consequence is that the sequence completely
determines the spectrum of the simple random walk on the network.Comment: 95 pages, 21 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