496 research outputs found
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular
automata presentation of deduction. In this presentation inference rules play
the role of cellular-automatic local transition functions. In this approach we
completely avoid axioms as necessary notion of deduction theory and therefore
we can use cyclic proofs without additional problems. As a result, a theory of
massive-parallel proofs within unconventional computing is proposed for the
first time.Comment: 13 page
East-West Paths to Unconventional Computing
Unconventional computing is about breaking boundaries in thinking, acting and computing. Typical topics of this non-typical field include, but are not limited to physics of computation, non-classical logics, new complexity measures, novel hardware, mechanical, chemical and quantum computing. Unconventional computing encourages a new style of thinking while practical applications are obtained from uncovering and exploiting principles and mechanisms of information processing in and functional properties of, physical, chemical and living systems; in particular, efficient algorithms are developed, (almost) optimal architectures are designed and working prototypes of future computing devices are manufactured. This article includes idiosyncratic accounts of âunconventional computingâ scientists reflecting on their personal experiences, what attracted them to the field, their inspirations and discoveries.info:eu-repo/semantics/publishedVersio
Computational universes
Suspicions that the world might be some sort of a machine or algorithm
existing ``in the mind'' of some symbolic number cruncher have lingered from
antiquity. Although popular at times, the most radical forms of this idea never
reached mainstream. Modern developments in physics and computer science have
lent support to the thesis, but empirical evidence is needed before it can
begin to replace our contemporary world view.Comment: Several corrections of typos and smaller revisions, final versio
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
Computation in Finitary Stochastic and Quantum Processes
We introduce stochastic and quantum finite-state transducers as
computation-theoretic models of classical stochastic and quantum finitary
processes. Formal process languages, representing the distribution over a
process's behaviors, are recognized and generated by suitable specializations.
We characterize and compare deterministic and nondeterministic versions,
summarizing their relative computational power in a hierarchy of finitary
process languages. Quantum finite-state transducers and generators are a first
step toward a computation-theoretic analysis of individual, repeatedly measured
quantum dynamical systems. They are explored via several physical systems,
including an iterated beam splitter, an atom in a magnetic field, and atoms in
an ion trap--a special case of which implements the Deutsch quantum algorithm.
We show that these systems' behaviors, and so their information processing
capacity, depends sensitively on the measurement protocol.Comment: 25 pages, 16 figures, 1 table; http://cse.ucdavis.edu/~cmg; numerous
corrections and update
Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration
The search for symmetry as an unusual yet profoundly appealing phenomenon,
and the origin of regular, repeating configuration patterns have long been a
central focus of complexity science and physics. To better grasp and understand
symmetry of configurations in decentralized toroidal architectures, we employ
group-theoretic methods, which allow us to identify and enumerate these inputs,
and argue about irreversible system behaviors with undesired effects on many
computational problems. The concept of so-called configuration shift-symmetry
is applied to two-dimensional cellular automata as an ideal model of
computation. Regardless of the transition function, the results show the
universal insolvability of crucial distributed tasks, such as leader election,
pattern recognition, hashing, and encryption. By using compact enumeration
formulas and bounding the number of shift-symmetric configurations for a given
lattice size, we efficiently calculate the probability of a configuration being
shift-symmetric for a uniform or density-uniform distribution. Further, we
devise an algorithm detecting the presence of shift-symmetry in a
configuration.
Given the resource constraints, the enumeration and probability formulas can
directly help to lower the minimal expected error and provide recommendations
for system's size and initialization. Besides cellular automata, the
shift-symmetry analysis can be used to study the non-linear behavior in various
synchronous rule-based systems that include inference engines, Boolean
networks, neural networks, and systolic arrays.Comment: 22 pages, 9 figures, 2 appendice
Physical computation and compositionality
Developments in quantum computing and, more in general, non-standard
computing systems, represent a clear indication that the very notion of what a
physical computing device is and does should be recast in a rigorous and sound
framework. Physical computing has opened a whole stream of new research aimed
to understand and control how information is processed by several types of
physical devices. Therefore, classical definitions and entire frameworks need
to be adapted in order to fit a broader notion of what physical computing
systems really are. Recent studies have proposed a formalism that can be used
to carve out a more proper notion of physical computing. In this paper we
present a framework which capture such results in a very natural way via some
basic constructions in Category Theory. Furthermore, we show that, within our
framework, the compositional nature of physical computing systems is naturally
formalized, and that it can be organized in coherent structures by the means of
their relational nature
A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications
Cellular automata (CAs) are dynamical systems which exhibit complex global
behavior from simple local interaction and computation. Since the inception of
cellular automaton (CA) by von Neumann in 1950s, it has attracted the attention
of several researchers over various backgrounds and fields for modelling
different physical, natural as well as real-life phenomena. Classically, CAs
are uniform. However, non-uniformity has also been introduced in update
pattern, lattice structure, neighborhood dependency and local rule. In this
survey, we tour to the various types of CAs introduced till date, the different
characterization tools, the global behaviors of CAs, like universality,
reversibility, dynamics etc. Special attention is given to non-uniformity in
CAs and especially to non-uniform elementary CAs, which have been very useful
in solving several real-life problems.Comment: 43 pages; Under review in Natural Computin
- âŠ