SEARCH · Searcharxiv

Results for “nlin.CG”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 181 records · Page 10Linked to original sources

arXiv2012

A 4-state solution to the Firing Squad Synchronization Problem based on hybrid rule 60 and 102 cellular automata

In this paper, we present a 4-state solution to the Firing Squad Synchronization Problem (FSSP) based on hybrid rule 60/102 Cellular Automata(CA). This solution solves the problem on the line of length 2^n with two generals. Previous work on FSSP for 4-state systems focused mostly on linear cellular automata, where synchronizes an infinite number of lines but not all possible lines. We give time-optimal solutions to synchronize an infinite number of lines by rule 60 and rule 102 respectively, and construct a hybrid rule 60 and 102 states transition table. Compared to the known solutions of cellular automata, the hybrid CA way is simpler and faster, the minimal time is (n-1) step.

nlin.CG↗

arXiv2013

Cellular Automata to More Efficiently Compute the Collatz Map

The Collatz, or 3x+1, Conjecture claims that for every positive integer n, there exists some k such that T^k(n)=1, where T is the Collatz map. We present three cellular automata (CA) that transform the global problem of mimicking the Collatz map in bases 2, 3, and 4 into a local one of transforming the digits of iterates. The CAs streamline computation first by bypassing calculation of certain parts of trajectories: the binary CA bypasses division by two altogether. In addition, they allow for multiple trajectories to be calculated simultaneously, representing both a significant improvement upon existing sequential methods of computing the Collatz map and a demonstration of the efficacy of using a massively parallel approach with cellular automata to tackle iterative problems like the Collatz Conjecture.

math.NT↗

arXiv2013

On Soliton Collisions between Localizations in Complex Elementary Cellular Automata: Rules 54 and 110 and Beyond

In this paper we present a single-soliton two-component cellular automata (CA) model of waves as mobile self-localizations, also known as: particles, waves, or gliders; and its version with memory. The model is based on coding sets of strings where each chain represents a unique mobile self-localization. We will discuss briefly the original soliton models in CA proposed with {\it filter automata}, followed by solutions in elementary CA (ECA) domain with the famous universal ECA {\it Rule 110}, and reporting a number of new solitonic collisions in ECA {\it Rule 54}. A mobile self-localization in this study is equivalent a single soliton because the collisions of these mobile self-localizations studied in this paper satisfies the property of solitonic collisions. We also present a specific ECA with memory (ECAM), the ECAM Rule $ϕ_{R9maj:4}$, that displays single-soliton solutions from any initial codification (including random initial conditions) for a kind of mobile self-localization because such automaton is able to adjust any initial condition to soliton structures.

nlin.CG↗

arXiv2013

A multi-lane traffic simulation model via continuous cellular automata

Traffic models based on cellular automata have high computational efficiency because of their simplicity in describing unrealistic vehicular behavior and the versatility of cellular automata to be implemented on parallel processing. On the other hand, the other microscopic traffic models such as car-following models are computationally more expensive, but they have more realistic driver behaviors and detailed vehicle characteristics. We propose a new class between these two categories, defining a traffic model based on continuous cellular automata where we combine the efficiency of cellular automata models with the accuracy of the other microscopic models. More precisely, we introduce a stochastic cellular automata traffic model in which the space is not coarse-grain but continuous. The continuity also allows us to embed a multi-agent fuzzy system proposed to handle uncertainties in decision making on road traffic. Therefore, we simulate different driver behaviors and study the effect of various compositions of vehicles within the traffic stream from the macroscopic point of view. The experimental results show that our model is able to reproduce the typical traffic flow phenomena showing a variety of effects due to the heterogeneity of traffic.

cs.MA↗

arXiv2013

Initial value problem of evolution equations defined by lattice operators

We propose dynamical systems defined on algebra of lattices, which we call `lattice equations'. We give exact general solutions of initial value problems for a class of lattice equations, and evaluate the complexity of the solutions. Moreover we discuss the relationship between those equations and binary cellular automata.

nlin.SI↗

arXiv2013

Cellular Automata get their Wires Crossed

In three spatial dimensions, communication channels are free to pass over or under each other so as to cross without intersecting; in two dimensions, assuming channels of strictly positive thickness, this is not the case. It is natural, then, to ask whether one can, in a suitable, two-dimensional model, cross two channels in such a way that each successfully conveys its data, in particular without the channels interfering at the intersection. We formalize this question by modelling channels as cellular automata, and answer it affirmatively by exhibiting systems whereby channels are crossed without compromising capacity. We consider the efficiency (in various senses) of these systems, and mention potential applications.

nlin.CG↗

arXiv2013

Computation and Universality: Class IV versus Class III Cellular Automata

This paper examines the claim that cellular automata (CA) belonging to Class III (in Wolfram's classification) are capable of (Turing universal) computation. We explore some chaotic CA (believed to belong to Class III) reported over the course of the CA history, that may be candidates for universal computation, hence spurring the discussion on Turing universality on both Wolfram's classes III and IV.

nlin.CG↗

arXiv2013

City versus wetland: Predicting urban growth in the Vecht area with a cellular automaton model

There are many studies dealing with the protection or restoration of wetlands and the sustainable economic growth of cities as separate subjects. This study investigates the conflict between the two in an area where city growth is threatening a protected wetland area. We develop a stochastic cellular automaton model for urban growth and apply it to the Vecht area surrounding the city of Hilversum in the Netherlands, using topographic maps covering the past 150 years. We investigate the dependence of the urban growth pattern on the values associated with the protected wetland and other types of landscape surrounding the city. The conflict between city growth and wetland protection is projected to occur before 2035, assuming full protection of the wetland. Our results also show that a milder protection policy, allowing some of the wetland to be sacrificed, could be beneficial for maintaining other valuable landscapes. This insight would be difficult to achieve by other analytical means. We conclude that even slight changes in usage priorities of landscapes can significantly affect the landscape distribution in near future. Our results also point to the importance of a protection policy to take the value of surrounding landscapes and the dynamic nature of urban areas into account.

nlin.CG↗

arXiv2013

New aspects of symmetry of elementary cellular automata

We present a new classification of elementary cellular automata. It is based on the structure of the network of states, connected with the transitions between them; the latter are determined by the automaton rule. Recently an algorithm has been proposed to compress the network of states (M. J. Krawczyk, Physica A 390 (2011) 2181). In this algorithm, states are grouped into classes, according to the local symmetry of the network. In the new classification, an automaton is described by the number of classes #(N) as dependent on the system size N. In most cases, the results reflect the known classification into 88 groups. However, the function #(N) also appears to be the same for some rules which have not been grouped together yet. In this way, the automaton 23 is equivalent to 232, 77 to 178, 105 to 150, the pair (43, 113) to the pair (142, 212) and the group (12, 68, 207, 221) to the group (34, 48, 187, 243). Furthermore, automata 51, 204, the pair (15, 85) and the pair (170,240) are all mutually equivalent. Results are also presented on the structure of networks of states.

nlin.CG↗

arXiv2017

Construction of local structure maps for cellular automata

The paper formalizes and extends the idea of local structure approximation for cellular automata originally proposed by Gutowitz et. al. We start with a review of the construction of a probability measure on the set of bi-infinite strings over a finite alphabet of $N$ symbols. We then demonstrate that for a shift-invariant probability measure, probabilities of all blocks of length up to $k$ can be expressed by $(N-1)N^{k-1}$ linearly independent block probabilities. Two choices of these independent blocks are discussed in detail, one in which we choose the longest possible blocks ("long form") and one in which we choose the shortest possible blocks ("short form"). We then proceed to review the method which allows to approximate probabilities of blocks longer than $k$ by blocks of length $k$ or less. This approximation, known as Bayesian extension or Markov measure, is then used to construct approximate orbits of shift-invariant probability measures under the action of probabilistic or deterministic cellular automaton. We show that the aforementioned approximate orbit is completely determined by an $(N-1)N^{k-1}$-dimensional map. When the short form of block probabilities is used, this map takes particularly simple form, often revealing important features of a particular cellular automaton.

nlin.CG↗

arXiv2013

The amazing dynamics of stochastic pattern formation and growth models inspired by the Conway's Game of Life

Several modifications of the famous mathematical Game of Life are introduced by making Game of Life rules stochastic and mutual influence of cells in their 8-neighborhood on a rectangular lattice spatially non-uniform. Results are reported of experimental investigation of evolutionary dynamics of the introduced models. A number of new phenomena in the evolutionary dynamics of the models and collective behavior of patterns they generate are revealed, described and illustrated: formation of maze-like patterns as fixed points of the models, "self-controlled growth", "eternal life" in a bounded space and "coherent shrinkage".

nlin.CG↗

arXiv2014

Microscopic driving theory with non-hypothetical congested steady state: Model and Empirical verification

The essential distinction between the fundamental diagram approach and three-phase theory is the existence of the unique space-gap-speed relationship. In order to verify this relationship, empirical data are analyzed with the following findings: (1) linear relationship between the actual space gap and speed can be identified when the speed difference between vehicles approximates zero; (2) vehicles accelerate or decelerate around the desired space gap most of the time. To explain these phenomena, we propose that, in homogeneous congested traffic flow, the space gap between two vehicles will oscillate around the desired space gap in the noiseless limit. This assumption is formulated in terms of a cellular automaton. Simulations under periodic and open boundary conditions reproduce the empirical findings of three-phase theory. Finally, the model is calibrated and validated. All verification results are acceptable and better than that of previous studies.

nlin.CG↗

arXiv2013

On Creativity of Elementary Cellular Automata

We map cell-state transition rules of elementary cellular automata (ECA) onto the cognitive control versus schizotypy spectrum phase space and interpret cellular automaton behaviour in terms of creativity. To implement the mapping we draw analogies between a degree of schizotypy and generative diversity of ECA rules, and between cognitive control and robustness of ECA rules (expressed via Derrida coefficient). We found that null and fixed point ECA rules lie in the autistic domain and chaotic rules are 'schizophrenic'. There are no highly articulated 'creative' ECA rules. Rules closest to 'creativity' domains are two-cycle rules exhibiting wave-like patterns in the space-time evolution.

nlin.CG↗

arXiv2013

Sequences of preimages in elementary cellular automata

We search for regularities in the sequences of numbers of preimages for elementary cellular automata. For 46 out of 88 "minimal" rules, we find recognizable patterns, usually in the form of second order recurrence equations with constant coefficients. Introducing the concept of asymptotic emulation of CA rules, we then show how the regularities in the sequences of preimage numbers can be used to find rules emulating identity. We also show that the average density of nonzero sites after arbitrary number of steps (starting from disordered configuration) can be computed using the sequences of preimage numbers.

nlin.CG↗

arXiv2013

Lattice Gas Symmetric Cryptography

Lattice gas cellular automata (Lgca) are particular cellular automata that imitate the behavior of par- ticles moving on a lattice. We used a particular set of Lgca rules, called hpp, to mix bits in data blocks and obtain a symmetric cryptographic algorithm. The encryption and decryption keys are the positions of perturbation sites on the lattice (walls). Basically, this paper presents an original way to perform cryp- tographic operations, based on cellular automata. In this paper, we show several characteristics about our algorithm: typical block size (2^(2n-1) ), key-length (2^n ), number of rounds (2^(n+1) ). We also evaluate avalanche and strict avalanche properties with respect to key and plain text. Finally, we highlight the underbellies of our method and give clues to solve them.

cs.CR↗

arXiv2013

Self-Organized Criticality in Asynchronously Tuned Elementary Cellular Automata

Self-organized criticality (SOC) reveals a mechanism by which a system is autonomously evolved to be in a critical state without needing parameter tuning. Whereas various biological systems are found to be in critical states and the significance of SOC is being re-estimated, a simple model in a general platform has not been established. Here, we present SOC in asynchronously tuned elementary cellular automata (ECA), which was based on asynchronously updating and tuning the consistency between local dual modes of transitions. This duality was defined by adjunction, which can be ignored during synchronous updates. Duality coupled with asynchronous updating can demonstrate that SOC coincides with the criticality in a phase transition of asynchronous ECA with respect to density decay.

nlin.CG↗

arXiv2013

A Note on Elementary Cellular Automata Classification

We overview and compare classifications of elementary cellular automata, including Wolfram's, Wuensche's, Li and Packard, communication complexity, power spectral, topological, surface, compression, lattices, and morphological diversity classifications. This paper summarises several classifications of elementary cellular automata (ECA) and compares them with a newly proposed one, that induced by endowing rules with memory.

nlin.CG↗

arXiv2013

Flow on sweeping networks

We introduce a cellular automaton model coupled with a transport equation for flows on graphs. The direction of the flow is described by a switching process where the switching probability dynamically changes according to the value of the transported quantity in the neighboring cells. A motivation is pedestrian dynamics in a small corridor where the propagation of people in a part of the corridor can be either left or rightgoing. Under the assumptions of propagation of chaos and mean-field limit, we derive a master equation and the corresponding meanfield kinetic and macroscopic models. Steady--states are computed and analyzed analytically and exhibit the possibility of multiple meta-stable states and hysteresis.

nlin.CG↗