SEARCH · arXiv Science
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.
We show that there exists a one-to-one correspondence between the set of number-conserving cellular automata (CA) with $q$ inputs and the set of balanced sequences with $q$ terms. This allows to enumerate number-conserving CA. We also show that number-conserving rules are becoming increasingly rare as the number of states increases.
Thomas Schelling proposed an influential simple spatial model to illustrate how, even with relatively mild assumptions on each individual's nearest neighbor preferences, an integrated city would likely unravel to a segregated city, even if all individuals prefer integration. Aggregation relates to individuals coming together to form groups and global aggregation corresponds to segregation. Many authors assumed that the segregation which Schelling observed in simulations on very small cities persists for larger, realistic size cities. We devise new measures to quantify the segregation and unlock its dependence on city size, disparate neighbor comfortability threshold, and population density. We identify distinct scales of global aggregation, and show that the striking global aggregation Schelling observed is strictly a small city phenomenon. We also discover several scaling laws for the aggregation measures.
We demonstrate the advantages of feedforward loops using a Boolean network, which is one of the discrete dynamical models for transcriptional regulatory networks. After comparing the dynamical behaviors of network embedded feedback and feedforward loops, we found that feedforward loops can provide higher temporal order (coherence) with lower entropy (randomness) in a temporal program of gene expression. In addition, complexity of the state space that increases with longer length of attractors and greater number of attractors is also reduced for networks with more feedforward loops. Feedback loops show opposite effects on dynamics of the networks. These results suggest that feedforward loops are one of the favorable local structures in biomolecular and neuronal networks.
We say that a Cellular Automata (CA) is coalescing when its execution on two distinct (random) initial configurations in the same asynchronous mode (the same cells are updated in each configuration at each time step) makes both configurations become identical after a reasonable time. We prove coalescence for two elementary rules, non coalescence for two other, and show that there exists infinitely many coalescing CA. We then conduct an experimental study on all elementary CA and show that some rules exhibit a phase transition, which belongs to the universality class of directed percolation.
This is a preliminary study for bifurcation in fractional order dynamical systems. Stability, persistence and hopf bifurcation are studied. Some studies are also done for functional equations.
A complete classification of the computational complexity of the fixed-point existence problem for boolean dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes F and graph classes G, an (F, G)-system is a boolean dynamical system such that all local transition functions lie in F and the underlying graph lies in G. Let F be a class of boolean functions which is closed under composition and let G be a class of graphs which is closed under taking minors. The following dichotomy theorems are shown: (1) If F contains the self-dual functions and G contains the planar graphs then the fixed-point existence problem for (F, G)-systems with local transition function given by truth-tables is NP-complete; otherwise, it is decidable in polynomial time. (2) If F contains the self-dual functions and G contains the graphs having vertex covers of size one then the fixed-point existence problem for (F, G)-systems with local transition function given by formulas or circuits is NP-complete; otherwise, it is decidable in polynomial time.
Numerical simulations of two-dimensional capillary filling using the pseudo-potential lattice Boltzmann model for multiphase fluids are presented, with special emphasis on the role of finite-vapour density effects. It is shown that whenever the density of the light-phase exceeds about ten percent of the dense phase, the front motion proceeds through a combined effect of capillary advection and condensation. As a result, under these conditions, the front proceeds at a higher speed as compared to the Washburn prediction. It is suggested that such an acceleration effect might be observed in experiments performed sufficiently close to critical conditions
We present a systematic study of capillary filling for a binary fluid by using mesoscopic a lattice Boltzmann model describing a diffusive interface moving at a given contact angle with respect to the walls. We compare the numerical results at changing the ratio the typical size of the capillary, H, and the wettability of walls. Numerical results yield quantitative agreement with the Washburn law in all cases, provided the channel lenght is sufficiently larger then the interface width. We also show that in the initial stage of the filling process, transient behaviour induced by inertial effects are under control in our lattice Boltzmann equation and in good agreement with the phenomenology of capillary filling. Finally, at variance with multiphase LB simulations, velocity and pressure profiles evolve under the sole effect of capillary drive all along the channel.
We demonstrate the effects of embedding subgraphs using a Boolean network, which is one of the discrete dynamical models for transcriptional regulatory networks. After comparing the dynamical properties of network embedded seven different subgraphs including feedback and feedforward subgraphs, we found that complexity of the state space that increases with longer length of attractors and greater number of attractors is reduced for networks with more feedforward subgraphs. In addition, feedforward subgraphs can also provide higher mutual information with lower entropy in a temporal program of gene expression. Networks with other six subgraphs show opposite effects on dynamics of the networks, is roughly consistent with Thomas's conjecture. These results suggest that feedforward subgraphs are one of the favorable local structures in biological complex networks.
Most methods for modelling dynamics posit just two time scales: a fast and a slow scale. But many applications, including many in continuum mechanics, possess a wide variety of space-time scales; often they possess a continuum of space-time scales. I discuss an approach to modelling the discretised dynamics of advection and diffusion with rigorous support for changing the resolved spatial grid scale by just a factor of two. The mapping of dynamics from a finer grid to a coarser grid is then iterated to generate a hierarchy of models across a wide range of space-time scales, all with rigorous support across the whole hierarchy. This approach empowers us with great flexibility in modelling complex dynamics over multiple scales.
Cancer invasion and metastasis depend on angiogenesis. The cellular processes (growth, migration, and apoptosis) that occur during angiogenesis are tightly regulated by signaling molecules. Thus, understanding how cells synthesize multiple biochemical signals initiated by key external stimuli can lead to the development of novel therapeutic strategies to combat cancer. In the face of large amounts of disjoint experimental data generated from multitudes of laboratories using various assays, theoretical signal transduction models provide a framework to distill this vast amount of data. Such models offer an opportunity to formulate and test new hypotheses, and can be used to make experimentally verifiable predictions. This study is the first to propose a network model that highlights the cross-talk between the key receptors involved in angiogenesis, namely growth factor, integrin, and cadherin receptors. From available experimental data, we construct a stochastic Boolean network model of receptor cross-talk, and systematically analyze the dynamical stability of the network under continuous-time Boolean dynamics with a noisy production function. We find that the signal transduction network exhibits a robust and fast response to external signals, independent of the internal cell state. We derive an input-output table that maps external stimuli to cell phenotypes, which is extraordinarily stable against molecular noise with one important exception: an oscillatory feedback loop between the key signaling molecules RhoA and Rac1 is unstable under arbitrarily low noise, leading to erratic, dysfunctional cell motion. Finally, we show that the network exhibits an apoptotic response rate that increases with noise, suggesting that the probability of programmed cell death depends on cell health.
In this paper, we consider the dynamical evolution of dark vortex states in the two-dimensional defocusing discrete nonlinear Schroedinger model, a model of interest both to atomic physics and to nonlinear optics. We find that in a way reminiscent of their 1d analogs, i.e., of discrete dark solitons, the discrete defocusing vortices become unstable past a critical coupling strength and, in the infinite lattice, they apparently remain unstable up to the continuum limit where they are restabilized. In any infinite lattice, stabilization windows of the structures may be observed. Systematic tools are offered for the continuation of the states both from the continuum and, especially, from the anti-continuum limit. Although the results are mainly geared towards the uniform case, we also consider the effect of harmonic trapping potentials.
We systematically study and compare damage spreading for random Boolean and threshold networks under small external perturbations (damage), a problem which is relevant to many biological networks. We identify a new characteristic connectivity $K_s$, at which the average number of damaged nodes after a large number of dynamical updates is independent of the total number of nodes $N$. We estimate the critical connectivity for finite $N$ and show that it systematically deviates from the annealed approximation. Extending the approach followed in a previous study, we present new results indicating that internal dynamical correlations tend to increase not only the probability for small, but also for very large damage events, leading to a broad, fat-tailed distribution of damage sizes. These findings indicate that the descriptive and predictive value of averaged order parameters for finite size networks - even for biologically highly relevant sizes up to several thousand nodes - is limited.
We report some qualitatively new features of emergence, competition and dynamical stabilization of dissipative rotating spiral waves (RSWs) in the cellular-automaton model of laser-like excitable media proposed in arXiv:cond-mat/0410460v2 ; arXiv:cond-mat/0602345 . Part of the observed features are caused by unusual mechanism of excitation vorticity when the RSW's core get into the surface layer of an active medium. Instead of the well known scenario of RSW collapse, which takes place after collision of RSW's core with absorbing boundary, we observed complicated transformations of the core leading to regeneration (nonlinear "reflection" from the boundary) of the RSW or even to birth of several new RSWs in the surface layer. Computer experiments on bottlenecked evolution of such the RSW-ensembles (vortex matter) are reported and a possible explanation of real experiments on spin-lattice relaxation in dilute paramagnets is proposed on the basis of an analysis of the RSWs dynamics. Chimera states in RSW-ensembles are revealed and compared with analogous states in ensembles of nonlocally coupled oscillators. Generally, our computer experiments have shown that vortex matter states in laser-like excitable media have some important features of aggregate states of the usual matter.
Quantum dynamics can be regarded as a generalization of classical finite-state dynamics. This is a familiar viewpoint for workers in quantum computation, which encompasses classical computation as a special case. Here this viewpoint is extended to mechanics, where classical dynamics has traditionally been viewed as a macroscopic approximation of quantum behavior, not as a special case. When a classical dynamics is recast as a special case of quantum dynamics, the quantum description can be interpreted classically. For example, sometimes extra information is added to the classical state in order to construct the quantum description. This extra information is then eliminated by representing it in a superposition as if it were unknown information about a classical statistical ensemble. This usage of superposition leads to the appearance of Fermions in the quantum description of classical lattice-gas dynamics and turns continuous-space descriptions of finite-state systems into illustrations of classical sampling theory. A direct mapping of classical systems onto quantum systems also allows us to determine the minimum possible energy scale for a classical dynamics, based on a localized rate of state change. We use a partitioning description of dynamics to define locality, and discuss the ideal energy of two model systems.
Fredkin's Billiard Ball Model (BBM) is a continuous classical mechanical model of computation based on the elastic collisions of identical finite-diameter hard spheres. When the BBM is initialized appropriately, the sequence of states that appear at successive integer time-steps is equivalent to a discrete digital dynamics. Here we discuss some models of computation that are based on the elastic collisions of identical finite-diameter soft spheres: spheres which are very compressible and hence take an appreciable amount of time to bounce off each other. Because of this extended impact period, these Soft Sphere Models (SSM's) correspond directly to simple lattice gas automata--unlike the fast-impact BBM. Successive time-steps of an SSM lattice gas dynamics can be viewed as integer-time snapshots of a continuous physical dynamics with a finite-range soft-potential interaction. We present both 2D and 3D models of universal CA's of this type, and then discuss spatially-efficient computation using momentum conserving versions of these models (i.e., without fixed mirrors). Finally, we discuss the interpretation of these models as relativistic and as semi-classical systems, and extensions of these models motivated by these interpretations.
We show that, for a fairly large class of reversible, one-dimensional cellular automata, the set of additive invariants exhibits an algebraic structure. More precisely, if $f$ and $g$ are one-dimensional, reversible cellular automata of the kind considered by Takesue, we show that there is a binary operation on these automata $\vee$ such that $ψ(f)\subseteq ψ(f\vee g)$, where $ψ(f)$ denotes the set of additive invariants of $f$ and $\subseteq$ denotes the inclusion relation between real subspaces.
Traditional sampling theories consider the problem of reconstructing an unknown signal $x$ from a series of samples. A prevalent assumption which often guarantees recovery from the given measurements is that $x$ lies in a known subspace. Recently, there has been growing interest in nonlinear but structured signal models, in which $x$ lies in a union of subspaces. In this paper we develop a general framework for robust and efficient recovery of such signals from a given set of samples. More specifically, we treat the case in which $x$ lies in a sum of $k$ subspaces, chosen from a larger set of $m$ possibilities. The samples are modelled as inner products with an arbitrary set of sampling functions. To derive an efficient and robust recovery algorithm, we show that our problem can be formulated as that of recovering a block-sparse vector whose non-zero elements appear in fixed blocks. We then propose a mixed $\ell_2/\ell_1$ program for block sparse recovery. Our main result is an equivalence condition under which the proposed convex algorithm is guaranteed to recover the original signal. This result relies on the notion of block restricted isometry property (RIP), which is a generalization of the standard RIP used extensively in the context of compressed sensing. Based on RIP we also prove stability of our approach in the presence of noise and modelling errors. A special case of our framework is that of recovering multiple measurement vectors (MMV) that share a joint sparsity pattern. Adapting our results to this context leads to new MMV recovery methods as well as equivalence conditions under which the entire set can be determined efficiently.