https://arxiv.org/api/W34lRJTwt3M0O5H/3WBRlDTZRHA 2026-06-21T16:21:29Z 1676 630 15 http://arxiv.org/abs/1711.10920v1 2017-11-24T22:45:35Z

Consider a graph $G=(V,E)$ and a random initial vertex-coloring, where each vertex is blue independently with probability $p_{b}$, and red with probability $p_r=1-p_b$. In each step, all vertices change their current color synchronously to the most frequent color in their neighborhood and in case of a tie, a vertex conserves its current color; this model is called majority model. If in case of a tie a vertex always chooses blue color, it is called biased majority model. We are interested in the behavior of these deterministic processes, especially in a two-dimensional torus (i.e., cellular automaton with (biased) majority rule). In the present paper, as a main result we prove both majority and biased majority cellular automata exhibit a threshold behavior with two phase transitions. More precisely, it is shown that for a two-dimensional torus $T_{n,n}$, there are two thresholds $0\leq p_1, p_2\leq 1$ such that $p_b \ll p_1$, $p_1 \ll p_b \ll p_2$, and $p_2 \ll p_b$ result in monochromatic configuration by red, stable coexistence of both colors, and monochromatic configuration by blue, respectively in $\mathcal{O}(n^2)$ number of steps

2017-11-24T22:45:35Z Bernd Gärtner Ahad N. Zehmakan http://arxiv.org/abs/1711.08252v1 2017-11-22T12:36:41Z

This study proposes a model of a totally asymmetric simple exclusion process on a single channel lane with functions of site-assignments along the pitlane. The system model attempts to insert a new particle to the leftmost site at a certain probability by randomly selecting one of the empty sites in the pitlane, and reserving it for the particle. Thereafter, the particle is directed to stop at the site only once during its travel. Recently, the system was determined to show a self-deflection effect, in which the site usage distribution biases spontaneously toward the leftmost site, and the throughput becomes maximum when the site usage distribution is slightly biased to the rightmost site, instead of being an exact uniform distribution. Our exact analysis describes this deflection effect and show a good agreement with simulations.

2017-11-22T12:36:41Z Phys. Rev. E 97, 042117 (2018) Satori Tsuzuki Daichi Yanagisawa Katsuhiro Nishinari 10.1103/PhysRevE.97.042117 http://arxiv.org/abs/1711.06426v1 2017-11-17T06:29:18Z

Swarm robotic systems are currently being used to address many real-world problems. One interesting application of swarm robotics is the self-organized formation of structures and shapes. Some of the key challenges in the swarm robotic systems include swarm size constraint, random motion, coordination among robots, localization, and adaptability in a decentralized environment. Rubenstein et al. presented a system ("Programmable self-assembly in a thousand-robot swarm", Science, 2014) for thousand-robot swarm able to form only solid shapes with the robots in aggregated form by applying the collective behavior algorithm. Even though agent-based approaches have been presented in various studies for self-organized formation, however these studies lack agent-based modeling (ABM) approach along with the constraints in term of structure complexity and heterogeneity in large swarms with dynamic localization. The cognitive agent-based computing (CABC) approach is capable of modeling such self-organization based multi-agents systems (MAS). In this paper, we develop a simulation model using ABM under CABC approach for self-organized shape formation in swarm robots. We propose a shape formation algorithm for validating our model and perform simulation-based experiments for six different shapes including hole-based shapes. We also demonstrate the formal specification for our model. The simulation result shows the robustness of the proposed approach having the emergent behavior of robots for the self-organized shape formation. The performance of the proposed approach is evaluated by robots convergence rate.

2017-11-17T06:29:18Z 40 pages Yasir R. Darr Muaz A. Niazi http://arxiv.org/abs/1711.05065v1 2017-11-14T11:56:54Z

In this study we examined how the size of non-formal groups between organization members affect the transfer of knowledge in the context of the efficiency and effectiveness of this process. To analyse the dynamics of the transfer of knowledge the cellular automata model was used. The model is based on local interactions between members of the organization, that take place in the nearest neighbourhood. These groups of close neighbours are represented by von Neumann's neighbourhood (four nearest-neighbours) and Moore's neighbourhood (four nearest-neighbours and four next-nearest neighbours) and complex neighbourhood (four nearest neighbours, four next-nearest neighbours and four next-next-neighbours). The results of the simulation show the influence of the size of the neighbourhood on the efficiency of knowledge transfer.

2017-11-14T11:56:54Z presented during 13th Econophysics Colloquium & 9th Polish Symposium on Physics in Economy and Social Sciences, Jul. 5-7, 2017, Warszawa (PL) Acta Phys. Pol. A 133 (6), 1470 (2018) Kamil Paradowski AGH University of Science and Technology Agnieszka Kowalska-Styczeń Silesian University of Technology Krzysztof Malarz AGH University of Science and Technology 10.12693/APhysPolA.133.1470 http://arxiv.org/abs/1711.04563v1 2017-11-13T13:12:50Z

Computing properties of the set of precursors of a given configuration is a common problem underlying many important questions about cellular automata. Unfortunately, such computations quickly become intractable in dimension greater than one. This paper presents an algorithm --- incremental aggregation --- that can compute aggregate properties of the set of precursors exponentially faster than na{ï}ve approaches. The incremental aggregation algorithm is demonstrated on two problems from the two-dimensional binary Game of Life cellular automaton: precursor count distributions and higher-order mean field theory coefficients. In both cases, incremental aggregation allows us to obtain new results that were previously beyond reach.

2017-11-13T13:12:50Z Chaos 27:111104 (2017) Randall D. Beer 10.1063/1.5006143 http://arxiv.org/abs/1701.03638v2 2017-11-02T10:11:18Z

Large scale, dynamical simulations have been performed for the two dimensional octahedron model, describing the Kardar-Parisi-Zhang (KPZ) for nonlinear, or the Edwards-Wilkinson (EW) class for linear surface growth. The autocorrelation functions of the heights and the dimer lattice gas variables are determined with high precision. Parallel random-sequential (RS) and two-sub-lattice stochastic dynamics (SCA) have been compared. The latter causes a constant correlation in the long time limit, but after subtracting it one can find the same height functions as in case of RS. On the other hand the ordered update alters the dynamics of the lattice gas variables, by increasing (decreasing) the memory effects for nonlinear (linear) models with respect to random-sequential. Additionally, we support the KPZ ansatz and the Kallabis-Krug conjecture in $2+1$ dimensions and provide a precise growth exponent value $β=0.2414(2)$. We show the emergence of finite size corrections, which occur long before the steady state roughness is reached.

2017-01-13T12:12:17Z 26 pages, 22 figures (counting subfigures) J. Phys. A: Math. Theor. 51 (2018) 035003 Jeffrey Kelling Géza Ódor Sibylle Gemming 10.1088/1751-8121/aa97f3 http://arxiv.org/abs/1706.06481v4 2017-11-01T16:47:53Z

Communicating cells can coordinate their gene expressions to form spatial patterns. 'Secrete-and-sense cells' secrete and sense the same molecule to do so and are ubiquitous. Here we address why and how these cells, from disordered beginnings, can form spatial order through a statistical mechanics-type framework for cellular communication. Classifying cellular lattices by 'macrostate' variables - 'spatial order paramete' and average gene-expression level - reveals a conceptual picture: cellular lattices act as particles rolling down on 'pseudo-energy landscapes' shaped by a 'Hamiltonian' for cellular communication. Particles rolling down represent cells' spatial order increasing. Particles trapped on the landscapes represent metastable spatial configurations. The gradient of the Hamiltonian and a 'trapping probability' determine the particle's equation of motion. This framework is extendable to more complex forms of cellular communication.

2017-06-16T15:19:49Z iScience 2, 27-40 (2018) Eduardo P. Olimpio Yiteng Dang Hyun Youk 10.1016/j.isci.2018.03.013 http://arxiv.org/abs/1710.08319v1 2017-10-23T15:00:41Z

In this minireview we will discuss recent progress in the analytical study of current-carrying non-equilibrium steady states (NESS) that can be constructed in terms of a matrix product ansatz. We will focus on one-dimensional exactly solvable strongly correlated cases, and will study both quantum models, and classical models which are deterministic in the bulk. The only source of classical stochasticity in the time-evolution will come from the boundaries of the system. Physically, these boundaries may be understood as Markovian baths, which drive the current through the system. The examples studied include the open XXZ Heisenberg spin chain, the open Hubbard model, and a classical integrable reversible cellular automaton, namely the Rule 54 of Bobenko {\em et al}. [Commun. Math. Phys. {\bf 158}, 127 (1993)] with stochastic boundaries. The quantum NESS can be at least partially understood through the Yang-Baxter integrability structure of the underlying integrable bulk Hamiltonian, whereas for the Rule 54 model NESS seems to come from a seemingly unrelated integrability theory. In both the quantum and the classical case, the underlying matrix product ansatz defining the NESS also allows for construction of novel conservation laws of the bulk models themselves. In the classical case, a modification of the matrix product ansatz also allows for construction of states beyond the steady state (i.e., some of the decay modes -- Liouvillian eigenvectors of the model). We hope that this article will help further the quest to unite different perspectives of integrability of NESS (of both quantum and classical models) into a single unified framework.

2017-10-23T15:00:41Z 14 pages, 5 figures; submitted as minireview for Special Issue of EPJ D - "Quantum systems in and out of equilibrium Fundamentals" Berislav Buča Tomaž Prosen 10.1140/epjst/e2018-00100-9 http://arxiv.org/abs/1710.07924v1 2017-10-22T11:19:10Z

In this paper three models of knowledge transfer in organization are considered. In the first model (A) the transfer of chunks of knowledge among agents is possible only when the sender has exactly one more chunks of knowledge than recipient. This is not dissimilar with bounded confidence model of opinion dynamics. In the second model (B) the knowledge transfer take place when sender is "smarter" than recipient. Finally, in the third scenario (model C) we allow for knowledge transfer also when sender posses the same or greater number of chunks of knowledge as recipient. The simulation bases on cellular automata technique. The organization members occupy nodes of square lattice and they interact only with their nearest neighbors. With computer simulations we show, that the efficiency and the effectiveness of knowledge transfer i) for model C is better than for model B ii) and it is worse for model A than for model B.

2017-10-22T11:19:10Z 8 pages, 5 figures (in 19 files), for 10th International Conference on Agents and Artificial Intelligence Proceedings of the 10th International Conference on Agents and Artificial Intelligence (2018) 151-158 Agnieszka Kowalska-Styczeń Silesian University of Technology Krzysztof Malarz AGH University of Science and Technology Kamil Paradowski AGH University of Science and Technology 10.5220/0006546701510158 http://arxiv.org/abs/1710.01654v1 2017-10-04T15:28:30Z

A cellular automaton is presented whose governing rule is that the Kolmogorov complexity of a cell's neighborhood may not increase when the cell's present value is substituted for its future value. Using an approximation of this two-dimensional Kolmogorov complexity the underlying automaton is shown to be capable of simulating logic circuits. It is also shown to capture trianry logic described by a quandle, a non-associative algebraic structure. A similar automaton whose rule permits at times the increase of a cell's neighborhood complexity is shown to produce animated entities which can be used as information carriers akin to gliders in Conway's game of life.

2017-10-04T15:28:30Z Bar Y. Peled Vikas K. Mishra Avishy Y. Carmi http://arxiv.org/abs/1709.02655v1 2017-09-08T11:39:53Z

To understand the underlying principles of self-organisation and computation in cellular automata, it would be helpful to find the simplest form of the essential ingredients, glider-guns and eaters, because then the dynamics would be easier to interpret. Such minimal components emerge spontaneously in the newly discovered Sayab-rule, a binary 2D cellular automaton with a Moore neighborhood and isotropic dynamics. The Sayab-rule has the smallest glider-gun reported to date, consisting of just four live cells at its minimal phases. We show that the Sayab-rule can implement complex dynamical interactions and the gates required for logical universality.

2017-09-08T11:39:53Z 14 pages, 21 figures Complex Systems, vol 27, Issue 1, 2017 José Manuel Gómez Soto Andrew Wuensche http://arxiv.org/abs/1507.02472v5 2017-09-07T14:40:45Z

We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injective, post-surjective cellular automata are reversible. Moreover, on sofic groups, post-surjectivity alone implies reversibility. We also prove that reversible cellular automata over arbitrary groups are balanced, that is, they preserve the uniform measure on the configuration space.

2015-07-09T12:06:26Z 16 pages, 3 figures, LaTeX "dmtcs-episciences" document class. Final version for Discrete Mathematics and Theoretical Computer Science. Prepared according to the editor's requests Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Automata, Logic and Semantics (September 15, 2017) dmtcs:1485 Silvio Capobianco Jarkko Kari Siamak Taati 10.23638/DMTCS-19-3-4 http://arxiv.org/abs/1706.08117v2 2017-09-01T21:06:02Z

We consider sums of increments given by a functional of a stationary Markov chain. Letting $T$ be the first return time of the partial sums process to $(-\infty,0]$, under general assumptions, we determine the asymptotic behavior of the survival probability, $\mathbb{P}(T\ge t)\sim Ct^{-1/2}$ for an explicit constant $C$. Our analysis is based on a connection between the survival probability and the running maximum of the time-reversed process, and relies on a functional central limit theorem for Markov chains. Our result extends the classic theorem of Sparre Anderson on sums of mean zero and independent increments to the case of correlated increments. As applications, we recover known clustering results for the 3-color cyclic cellular automaton and the Greenberg-Hastings model in one dimension, and we prove a new clustering result for the 3-color firefly cellular automaton.

2017-06-25T14:56:09Z 20 pages, 2 figures. Minor update Hanbaek Lyu David Sivakoff http://arxiv.org/abs/1708.09546v1 2017-08-31T03:15:23Z

We describe a class of cellular automata (CAs) that are end-to-end differentiable. DCAs interpolate the behavior of ordinary CAs through rules that act on distributions of states. The gradient of a DCA with respect to its parameters can be computed with an iterative propagation scheme that uses previously-computed gradients and values. Gradient-based optimization over DCAs could be used to find ordinary CAs with desired properties.

2017-08-31T03:15:23Z Carlos Martin http://arxiv.org/abs/1708.09751v1 2017-08-30T15:38:59Z

Relation between global transition function and local transition function of a homogeneous one dimensional cellular automaton (CA) is investigated for some standard transition functions. It could be shown that left shift and right shift CA are invertible. The final result of this paper states that the set of all left and right shift CA together with the identity CA on the same set forms an abelian group.

2017-08-30T15:38:59Z Sreeya Ghosh Sumita Basu