6,719 research outputs found
When--and how--can a cellular automaton be rewritten as a lattice gas?
Both cellular automata (CA) and lattice-gas automata (LG) provide finite
algorithmic presentations for certain classes of infinite dynamical systems
studied by symbolic dynamics; it is customary to use the term `cellular
automaton' or `lattice gas' for the dynamic system itself as well as for its
presentation. The two kinds of presentation share many traits but also display
profound differences on issues ranging from decidability to modeling
convenience and physical implementability.
Following a conjecture by Toffoli and Margolus, it had been proved by Kari
(and by Durand--Lose for more than two dimensions) that any invertible CA can
be rewritten as an LG (with a possibly much more complex ``unit cell''). But
until now it was not known whether this is possible in general for
noninvertible CA--which comprise ``almost all'' CA and represent the bulk of
examples in theory and applications. Even circumstantial evidence--whether in
favor or against--was lacking.
Here, for noninvertible CA, (a) we prove that an LG presentation is out of
the question for the vanishingly small class of surjective ones. We then turn
our attention to all the rest--noninvertible and nonsurjective--which comprise
all the typical ones, including Conway's `Game of Life'. For these (b) we prove
by explicit construction that all the one-dimensional ones are representable as
LG, and (c) we present and motivate the conjecture that this result extends to
any number of dimensions.
The tradeoff between dissipation rate and structural complexity implied by
the above results have compelling implications for the thermodynamics of
computation at a microscopic scale.Comment: 16 page
Dense Quantum Coding and a Lower Bound for 1-way Quantum Automata
We consider the possibility of encoding m classical bits into much fewer n
quantum bits so that an arbitrary bit from the original m bits can be recovered
with a good probability, and we show that non-trivial quantum encodings exist
that have no classical counterparts. On the other hand, we show that quantum
encodings cannot be much more succint as compared to classical encodings, and
we provide a lower bound on such quantum encodings. Finally, using this lower
bound, we prove an exponential lower bound on the size of 1-way quantum finite
automata for a family of languages accepted by linear sized deterministic
finite automata.Comment: 12 pages, 3 figures. Defines random access codes, gives upper and
lower bounds for the number of bits required for such (possibly quantum)
codes. Derives the size lower bound for quantum finite automata of the
earlier version of the paper using these result
Massively parallel computing on an organic molecular layer
Current computers operate at enormous speeds of ~10^13 bits/s, but their
principle of sequential logic operation has remained unchanged since the 1950s.
Though our brain is much slower on a per-neuron base (~10^3 firings/s), it is
capable of remarkable decision-making based on the collective operations of
millions of neurons at a time in ever-evolving neural circuitry. Here we use
molecular switches to build an assembly where each molecule communicates-like
neurons-with many neighbors simultaneously. The assembly's ability to
reconfigure itself spontaneously for a new problem allows us to realize
conventional computing constructs like logic gates and Voronoi decompositions,
as well as to reproduce two natural phenomena: heat diffusion and the mutation
of normal cells to cancer cells. This is a shift from the current static
computing paradigm of serial bit-processing to a regime in which a large number
of bits are processed in parallel in dynamically changing hardware.Comment: 25 pages, 6 figure
Generalised compositionality in graph transformation
We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways. Firstly, rules do not have to form pullbacks with their interfaces; this enables graph passing between components, meaning that components may ālearnā and āforgetā subgraphs through communication with other components. Secondly, composition is no longer binary; instead, it can be repeated for an arbitrary number of components
A coalgebraic semantics for causality in Petri nets
In this paper we revisit some pioneering efforts to equip Petri nets with
compact operational models for expressing causality. The models we propose have
a bisimilarity relation and a minimal representative for each equivalence
class, and they can be fully explained as coalgebras on a presheaf category on
an index category of partial orders. First, we provide a set-theoretic model in
the form of a a causal case graph, that is a labeled transition system where
states and transitions represent markings and firings of the net, respectively,
and are equipped with causal information. Most importantly, each state has a
poset representing causal dependencies among past events. Our first result
shows the correspondence with behavior structure semantics as proposed by
Trakhtenbrot and Rabinovich. Causal case graphs may be infinitely-branching and
have infinitely many states, but we show how they can be refined to get an
equivalent finitely-branching model. In it, states are equipped with
symmetries, which are essential for the existence of a minimal, often
finite-state, model. The next step is constructing a coalgebraic model. We
exploit the fact that events can be represented as names, and event generation
as name generation. Thus we can apply the Fiore-Turi framework: we model causal
relations as a suitable category of posets with action labels, and generation
of new events with causal dependencies as an endofunctor on this category. Then
we define a well-behaved category of coalgebras. Our coalgebraic model is still
infinite-state, but we exploit the equivalence between coalgebras over a class
of presheaves and History Dependent automata to derive a compact
representation, which is equivalent to our set-theoretical compact model.
Remarkably, state reduction is automatically performed along the equivalence.Comment: Accepted by Journal of Logical and Algebraic Methods in Programmin
- ā¦