Vectorial active matter on the lattice: polar condensates and nematic filaments

2024-02-06T22:36:52Z

We introduce a novel lattice-gas cellular automaton (LGCA) for compressible vectorial active matter with polar and nematic velocity alignment. Interactions are, by construction, zero-range. For polar alignment, we show the system undergoes a phase transition that promotes aggregation with strong resemblance to the classic zero-range process. We find that above a critical point, the states of a macroscopic fraction of the particles in the system coalesce into the same state, sharing the same position and momentum (polar condensate). For nematic alignment, the system also exhibits condensation, but there exist fundamental differences: a macroscopic fraction of the particles in the system collapses into a filament, where particles possess only two possible momenta. Furthermore, we derive hydrodynamic equations for the active LGCA model to understand the phase transitions and condensation that undergoes the system. We also show that generically the discrete lattice symmetries -- e.g. of a square or hexagonal lattice -- affect drastically the emergent large-scale properties of on-lattice active systems. The study puts in evidence that aligning active matter on the lattice displays new behavior, including phase transitions to states that share similarities to condensation models.

Evolving higher-order synergies reveals a trade-off between stability and information integration capacity in complex systems

2024-01-26T21:03:48Z

There has recently been an explosion of interest in how "higher-order" structures emerge in complex systems. This "emergent" organization has been found in a variety of natural and artificial systems, although at present the field lacks a unified understanding of what the consequences of higher-order synergies and redundancies are for systems. Typical research treat the presence (or absence) of synergistic information as a dependent variable and report changes in the level of synergy in response to some change in the system. Here, we attempt to flip the script: rather than treating higher-order information as a dependent variable, we use evolutionary optimization to evolve boolean networks with significant higher-order redundancies, synergies, or statistical complexity. We then analyse these evolved populations of networks using established tools for characterizing discrete dynamics: the number of attractors, average transient length, and Derrida coefficient. We also assess the capacity of the systems to integrate information. We find that high-synergy systems are unstable and chaotic, but with a high capacity to integrate information. In contrast, evolved redundant systems are extremely stable, but have negligible capacity to integrate information. Finally, the complex systems that balance integration and segregation (known as Tononi-Sporns-Edelman complexity) show features of both chaosticity and stability, with a greater capacity to integrate information than the redundant systems while being more stable than the random and synergistic systems. We conclude that there may be a fundamental trade-off between the robustness of a systems dynamics and its capacity to integrate information (which inherently requires flexibility and sensitivity), and that certain kinds of complexity naturally balance this trade-off.

Supervised and unsupervised learning of (1+1)-dimensional even-offspring branching annihilating random walks

2024-01-26T15:10:20Z

Machine learning (ML) of phase transitions (PTs) has gradually become an effective approach that enables us to explore the nature of various PTs more promptly in equilibrium and nonequilibrium systems. Unlike equilibrium systems, non-equilibrium systems display more complicated and diverse features because of the extra dimension of time, which is not readily tractable, both theoretically and numerically. The combination of ML and most renowned nonequilibrium model, directed percolation (DP), led to some significant findings. In this study, ML is applied to (1+1)-d, even offspring branching annihilating random walks (BAW), whose universality class is not DP-like. The supervised learning of (1+1)-d BAW via convolutional neural networks (CNN) results in a more accurate prediction of the critical point than the Monte Carlo (MC) simulation for the same system sizes. The dynamic exponent \;$z$\; and spatial correlation length correlation exponent \;$ν_{\perp}$\ were also measured and found to be consistent with their respective theoretical values. Furthermore, the unsupervised learning of (1+1)-d BAW via an autoencoder (AE) gives rise to a transition point, which is the same as the critical point. The latent layer of AE, through a single neuron, can be regarded as the order parameter of the system being properly re-scaled. Therefore, we believe that ML has exciting application prospects in reaction-diffusion systems such as BAW and DP.

Discretization-Dependent Dissolution of (Dis)Continuous Gliders: Non-Platonic Self-Organization in Complex Systems

2024-01-23T21:48:08Z

Many simulated complex systems that support persistent self-organizing patterns, i.e. gliders, have a 'state-plus-update' paradigm. This approach can be found in computational models of physics, continuous and neural cellular automata, residual connections in neural networks, and optimization methods like stochastic gradient descent. If the update is the output of a differential equation and modulated by a step size parameter, we have the familiar and general Euler method. Generally, a smaller step size is expected to yield more accurate results, at the expense of more computations to arrive at a desired end point. I examine multiple systems supporting gliders that fit into the Euler method framework, including multiple approaches to continuous cellular automata and the Gray-Scott artificial chemistry system. Each of these systems yield one or more glider pattern-rule pairs that persist under specific, and sometimes quite coarse, discretization conditions, but become unstable at nominally more accurate, finer simulation conditions. These patterns (in combination with the systems they persist in) are clearly not approximations approaching an abstract ideal as discretization tends to zero, but exist on their own, somewhat baffling, terms that include the systematic errors of particular discretization regimes. I refer to these gliders as 'non-Platonic'. Code for replicating or expanding on this work has been made available at https://github.com/RiveSunder/DiscoGliders.

Discrete and continuous mathematical models of sharp-fronted collective cell migration and invasion

2024-01-20T00:15:45Z

Mathematical models describing the spatial spreading and invasion of populations of biological cells are often developed in a continuum modelling framework using reaction-diffusion equations. While continuum models based on linear diffusion are routinely employed and known to capture key experimental observations, linear diffusion fails to predict well-defined sharp fronts that are often observed experimentally. This observation has motivated the use of nonlinear degenerate diffusion, however these nonlinear models and the associated parameters lack a clear biological motivation and interpretation. Here we take a different approach by developing a stochastic discrete lattice-based model incorporating biologically-inspired mechanisms and then deriving the reaction-diffusion continuum limit. Inspired by experimental observations, agents in the simulation deposit extracellular material, that we call a substrate, locally onto the lattice, and the motility of agents is taken to be proportional to the substrate density. Discrete simulations that mimic a two--dimensional circular barrier assay illustrate how the discrete model supports both smooth and sharp-fronted density profiles depending on the rate of substrate deposition. Coarse-graining the discrete model leads to a novel partial differential equation (PDE) model whose solution accurately approximates averaged data from the discrete model. The new discrete model and PDE approximation provides a simple, biologically motivated framework for modelling the spreading, growth and invasion of cell populations with well-defined sharp fronts

Simulated Autopoiesis in Liquid Automata

2024-01-15T21:23:23Z

We present a novel form of Liquid Automata, using this to simulate autopoiesis, whereby living machines self-organise in the physical realm. This simulation is based on an earlier Cellular Automaton described by Francisco Varela. The basis of Liquid Automata is a particle simulation with additional rules about how particles are transformed on collision with other particles. Unlike cellular automata, there is no fixed grid or time-step, only particles moving about and colliding with each other in a continuous space/time.

Binding potential and wetting behaviour of binary liquid mixtures on surfaces

2024-01-09T16:07:12Z

We present a theory for the interfacial wetting phase behaviour of binary liquid mixtures on rigid solid substrates, applicable to both miscible and immiscible mixtures. In particular, we calculate the binding potential as a function of the adsorptions, i.e. the excess amounts of each of the two liquids at the substrate. The binding potential fully describes the corresponding interfacial thermodynamics. Our approach is based on classical density functional theory. Binary liquid mixtures can exhibit complex bulk phase behaviour, including both liquid-liquid and vapour-liquid phase separation, depending on the nature of the interactions between all the particles of the two different liquids, the temperature and the chemical potentials. Here we show that the interplay between the bulk phase behaviour of the mixture and the properties of the interactions with the substrate gives rise to a wide variety of interfacial phase behaviours, including mixing and demixing situations. We find situations where the final state is a coexistence of up to three different phases. We determine how the liquid density profiles close to the substrate change as the interaction parameters are varied and how these determine the form of the binding potential, which in certain cases can be a multi-valued function of the adsorptions. We also present profiles for sessile droplets of both miscible and immiscible binary liquids.

Modular Construction of Boolean Networks

2024-01-04T20:26:33Z

Boolean networks have been used in a variety of settings, as models for general complex systems as well as models of specific systems in diverse fields, such as biology, engineering, and computer science. Traditionally, their properties as dynamical systems have been studied through simulation studies, due to a lack of mathematical structure. This paper uses a common mathematical technique to identify a class of Boolean networks with a "simple" structure and describes an algorithm to construct arbitrary extensions of a collection of simple Boolean networks. In this way, all Boolean networks can be obtained from a collection of simple Boolean networks as building blocks. The paper furthermore provides a formula for the number of extensions of given simple networks and, in some cases, provides a parametrization of those extensions. This has potential applications to the construction of networks with particular properties, for instance in synthetic biology, and can also be applied to develop efficient control algorithms for Boolean network models.

Mean-field solution of the neural dynamics in a Greenberg-Hastings model with excitatory and inhibitory units

2023-12-29T15:22:01Z

We present a mean field solution of the dynamics of a Greenberg-Hastings neural network with both excitatory and inhibitory units. We analyse the dynamical phase transitions that appear in the stationary state as the model parameters are varied. Analytical solutions are compared with numerical simulations of the microscopic model defined on a fully connected network. We found that the stationary state of this system exhibits a first order dynamical phase transition (with the associated hysteresis) when the fraction of inhibitory units $f< f_t \leq 1/2$, even for a finite system. In finite systems, when $f > f_t$ the first order transition is replaced by a pseudo critical one, namely a continuous crossover between regions of low and high activity that resembles the finite size behaviour of a continuous phase transition order parameter. However, in the thermodynamic limit, we found that $f_t\to 1/2$ and the activity for $f\geq f_t$ becomes negligible for any value of $T>0$, while the first order transition for $f

The Complexity of Iterated Reversible Computation

2023-12-18T19:24:59Z

We study a class of functional problems reducible to computing $f^{(n)}(x)$ for inputs $n$ and $x$, where $f$ is a polynomial-time bijection. As we prove, the definition is robust against variations in the type of reduction used in its definition, and in whether we require $f$ to have a polynomial-time inverse or to be computible by a reversible logic circuit. These problems are characterized by the complexity class $\mathsf{FP}^{\mathsf{PSPACE}}$, and include natural $\mathsf{FP}^{\mathsf{PSPACE}}$-complete problems in circuit complexity, cellular automata, graph algorithms, and the dynamical systems described by piecewise-linear transformations.

Four state deterministic cellular automaton rule emulating random diffusion

2023-12-18T17:40:05Z

We show how to construct a deterministic nearest-neighbour cellular automaton (CA) with four states which emulates diffusion on a one-dimensional lattice. The pseudo-random numbers needed for directing random walkers in the diffusion process are generated with the help of rule 30. This CA produces density profiles which agree very well with solutions of the diffusion equation, and we discuss this agreement for two different boundary and initial conditions. We also show how our construction can be generalized to higher dimensions.

The connectivity degree controls the difficulty of RBN reservoir design

2023-12-13T21:21:20Z

Reservoir Computing (RC) is a paradigm in artificial intelligence where a recurrent neural network (RNN) is used to process temporal data, leveraging the inherent dynamical properties of the reservoir to perform complex computations. In the realm of RC, the excitatory-inhibitory balance b has been shown to be pivotal for driving the dynamics and performance of Echo State Networks (ESN) and, more recently, Random Boolean Network (RBN). However, the relationship between b and other parameters of the network is still poorly understood. This article explores how the interplay of the balance b, the connectivity degree K (i.e., the number of synapses per neuron) and the size of the network (i.e., the number of neurons N) influences the dynamics and performance (memory and prediction) of an RBN reservoir. Our findings reveal that K and b are strongly tied in optimal reservoirs. Reservoirs with high K have two optimal balances, one for globally inhibitory networks (b<0), and the other one for excitatory networks (b>0). Both show asymmetric performances about a zero balance. In contrast, for moderate K, the optimal value being K=4, best reservoirs are obtained when excitation and inhibition almost, but not exactly, balance each other. For almost all K, the influence of the size is such that increasing N leads to better performance, even with large values of N. Our investigation provides clear directions to generate optimal reservoirs or reservoirs with constraints on size or connectivity.

Memory-based involution dilemma on square lattices

2023-12-12T00:51:24Z

When involution affects individuals, their efforts do not augment resources but merely compete for limited resources. From entrance exams to company overtime, such efforts lead to unnecessary costs, undermining group welfare. Meanwhile, the individual advantages or collective disadvantages from this unnecessary effort may accumulate over time, such as the long-term validity of test scores. To identify the role of this memory factor, we propose a memory-based involution game model. In a more competitive environment, our findings suggest: (i) with scant social resources, increasing memory length curbs involution, (ii) with moderate resources, increasing memory length initially intensifies involution but later reduces it, and (iii) with abundant social resources, increasing memory length amplifies involution. Conversely, in a less competitive environment, involution consistently decreases with a larger memory length. Our research provides insights into mitigating involution by considering memory effects.

Conway's Game of Life is Omniperiodic

2023-12-05T14:35:28Z

In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is called omniperiodic if there exist oscillators of all periods. At the turn of the millennium, only twelve oscillator periods remained to be found in Conway's Game of Life. The search has finally ended, with the discovery of oscillators having the final two periods, 19 and 41, proving that Life is omniperiodic. Besides filling in the missing periods, we give a detailed history of the omniperiodicity problem and the strategies used to solve it, summarising the work of a large number of people in the decades since the creation of Life.

Ultradiscretization in discrete limit cycles of tropically discretized and max-plus Sel'kov models

2023-12-05T01:50:57Z

The state of limit cycles for a tropically discretized Sel'kov model becomes ultradiscrete due to phase lock caused by a saddle-node bifurcation. This property is essentially the same as the case of the negative feedback model, and existence of a general mechanism for ultradiscretization of the limit cycles is suggested. Furthermore in the case of the max-plus Sel'kov model, we find the logarithmic dependence of the time to pass the bottleneck for phase drift motion in the vicinity of the bifurcation point. This dependency can be understood as a consequence of the piecewise linearization by applying the ultradiscrete limit.