Motivated by recent theoretical and experimental advances, hyperbolic lattices have emerged as a paradigmatic setting in which geometry becomes an active organizing principle of quantum systems. Their negative curvature, exponential volume growth, and non-Abelian translation symmetry make them fundamentally distinct from Euclidean lattices and give rise to rich geometry-dependent physics, but also hinder the direct application of well-established analytical and computational approaches originally developed for physical systems defined on Euclidean lattices. To establish a unified framework for geometry-dependent physics on Euclidean and hyperbolic lattices, we develop \textit{higher-order non-uniform cellular automata} (NUCA) as a local-to-global construction for translationally invariant regular lattices. This construction derives geometry-dependent update rules through a lattice-deforming procedure that embeds hyperbolic lattices into a Euclidean square lattice, thereby encoding hyperbolic geometry while preserving physical locality. It thus provides a systematic route toward quantum and classical physics on hyperbolic lattices. We demonstrate the framework in three applications
Recent findings show that single, non-neuronal cells are also able to learn signalling responses developing cellular memory. In cellular learning nodes of signalling networks strengthen their interactions e.g. by the conformational memory of intrinsically disordered proteins, protein translocation, miRNAs, lncRNAs, chromatin memory and signalling cascades. This can be described by a generalized, unicellular Hebbian learning process, where those signalling connections, which participate in learning, become stronger. Here we review those scenarios, where cellular signalling is not only repeated in a few times (when learning occurs), but becomes too frequent, too large, or too complex and overloads the cell. This leads to desensitisation of signalling networks by decoupling signalling components, receptor internalization, and consequent downregulation. These molecular processes are examples of anti-Hebbian learning and forgetting of signalling networks. Stress can be perceived as signalling overload inducing the desensitisation of signalling pathways. Aging occurs by the summative effects of cumulative stress downregulating signalling. We propose that cellular learning desensitisation
The complexity of the cells can be described and understood by a number of networks such as protein-protein interaction, cytoskeletal, organelle, signalling, gene transcription and metabolic networks. All these networks are highly dynamic producing continuous rearrangements in their links, hubs, network-skeleton and modules. Here we describe the adaptation of cellular networks after various forms of stress causing perturbations, congestions and network damage. Chronic stress decreases link-density, decouples or even quarantines modules, and induces an increased competition between network hubs and bridges. Extremely long or strong stress may induce a topological phase transition in the respective cellular networks, which switches the cell to a completely different mode of cellular function. We summarize our initial knowledge on network restoration after stress including the role of molecular chaperones in this process. Finally, we discuss the implications of stress-induced network rearrangements in diseases and ageing, and propose therapeutic approaches both to increase the robustness and help the repair of cellular networks.
We aim to characterize the U-band variability of young brown dwarfs in the Taurus Molecular Cloud and discuss its origin. We used the XMM-Newton Extended Survey of the Taurus Molecular Cloud, where a sample of 11 young bona fide brown dwarfs (spectral type later than M6) were observed simultaneously in X-rays with XMM-Newton and in the U-band with the XMM-Newton Optical/UV Monitor (OM). We obtained upper limits to the U-band emission of 10 brown dwarfs (U>19.6-20.6 mag), whereas 2MASSJ04141188+2811535 was detected in the U-band. Remarkably, the magnitude of this brown dwarf increased regularly from U~19.5 mag at the beginning of the observation, peaked 6h later at U~18.4 mag, and then decreased to U~18.65 mag in the next 2h. The first OM U-band measurement is consistent with the quiescent level observed about one year later thanks to ground follow-up observations. This brown dwarf was not detected in X-rays by XMM-Newton during the OM observation. We discuss the possible sources of U-band variability for this young brown dwarf, namely a magnetic flare, non-steady accretion onto the substellar surface, and rotational modulation of a hot spot. We conclude that this event is relate
Starting from the working hypothesis that both physics and the corresponding mathematics and in particular geometry have to be described by means of discrete concepts on the Planck-scale, one of the many problems one has to face in this enterprise is to find the discrete protoforms of the building blocks of our ordinary continuum physics and mathematics living on a smooth background, and perhaps more importantly find a way how this continuum limit emerges from the mentioned discrete structure. We model this underlying substratum as a structurally dynamic cellular network (basically a generalisation of a cellular automaton). We regard these continuum concepts and continuum spacetime in particular as being emergent, coarse-grained and derived relative to this underlying erratic and disordered microscopic substratum, which we would like to call quantum geometry and which is expected to play by quite different rules, namely generalized cellular automaton rules. A central role in our analysis is played by a geometric renormalization group which creates (among other things) a kind of sparse translocal network of correlations between the points in classical continuous space-time and under
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 minimal number of inputs in the local function of a non-trivial cellular automaton is two. Such a function can be viewed as as a kind of binary operation. If this operation is associative, it forms, together with the set of states, a semigroup. There are 18 semigroups of order 3 up to equivalence, and they define 18 cellular automata rules with three states. We investigate these rules with respect to solvability and show that all of them are solvable, meaning that the state of a given cell after $n$ iterations can be expressed by an explicit formula. We derive the relevant formulae for all 18 rules using some additional properties possessed by particular semigroups of order 3, such as commutativity and idempotence.
With the increasing demand for vehicular data transmission, limited dedicated cellular spectrum becomes a bottleneck to satisfy the requirements of all cellular vehicle-to-everything (V2X) users. To address this issue, unlicensed spectrum is considered to serve as the complement to support cellular V2X users. In this paper, we study the coexistence problem of cellular V2X users and vehicular ad-hoc network~(VANET) users over the unlicensed spectrum. To facilitate the coexistence, we design an energy sensing based spectrum sharing scheme, where cellular V2X users are able to access the unlicensed channels fairly while reducing the data transmission collisions between cellular V2X and VANET users. In order to maximize the number of active cellular V2X users, we formulate the scheduling and resource allocation problem as a two-sided many-to-many matching with peer effects. We then propose a dynamic vehicle-resource matching algorithm (DV-RMA) and present the analytical results on the convergence time and computational complexity. Simulation results show that the proposed algorithm outperforms existing approaches in terms of the performance of cellular V2X system when the unlicensed sp
Many decision problems concerning cellular automata are known to be decidable in the case of algebraic cellular automata, that is, when the state set has an algebraic structure and the automaton acts as a morphism. The most studied cases include finite fields, finite commutative rings and finite commutative groups. In this paper, we provide methods to generalize these results to the broader case of group cellular automata, that is, the case where the state set is a finite (possibly non-commutative) finite group. The configuration space is not even necessarily the full shift but a subshift -- called a group shift -- that is a subgroup of the full shift on Z^d, for any number d of dimensions. We show, in particular, that injectivity, surjectivity, equicontinuity, sensitivity and nilpotency are decidable for group cellular automata, and non-transitivity is semi-decidable. Injectivity always implies surjectivity, and jointly periodic points are dense in the limit set. The Moore direction of the Garden-of-Eden theorem holds for all group cellular automata, while the Myhill direction fails in some cases. The proofs are based on effective projection operations on group shifts that are, in
The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of examples. Decidability of basic properties like surjectivity and injectivity is also established. The final part studies a strong form of equicontinuity property specially suited for non-uniform cellular automata.
Elementary cellular automata (ECA) are one-dimensional discrete models of computation with a small memory set that have gained significant interest since the pioneer work of Stephen Wolfram, who studied them as time-discrete dynamical systems. Each of the 256 ECA is labeled as rule $X$, where $X$ is an integer between $0$ and $255$. An important property, that is usually overlooked in computational studies, is that the composition of any two one-dimensional cellular automata is again a one-dimensional cellular automaton. In this chapter, we begin a systematic study of the composition of ECA. Intuitively speaking, we shall consider that rule $X$ has low complexity if the compositions $X \circ Y$ and $Y \circ X$ have small minimal memory sets, for many rules $Y$. Hence, we propose a new classification of ECA based on the compositions among them. We also describe all semigroups of ECA (i.e., composition-closed sets of ECA) and analyze their basic structure from the perspective of semigroup theory. In particular, we determine that the largest semigroups of ECA have $9$ elements, and have a subsemigroup of order $8$ that is $\mathcal{R}$-trivial, property which has been recently used to
To respect physics and nature, cellular automata (CA) models of self-organisation, emergence, computation and logical universality should be isotropic, having equivalent dynamics in all directions. We present a novel paradigm, the iso-rule, a concise expression for isotropic CA by the output table for each isotropic neighborhood group, allowing an efficient method of navigating and exploring iso-rule-space. We describe new functions and tools in DDLab to generate iso-groups and iso-rules, for multi-value as well as binary, in one, two and three dimensions. These methods include filing, filtering, mutating, analysing dynamics by input-frequency and entropy, identifying the critical iso-groups for glider-gun/eater dynamics, and automatically classifying iso-rule-space. We illustrate these ideas and methods for two dimensional CA on square and hexagonal lattices.
We conduct a brief survey on Wolfram's classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wolfram's classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be "too hot" in practice to be controlled and programmed. We show that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing-completness.
Sustained rhythmic oscillations, pulsing dynamics, emerge spontaneously when the local connection scheme is randomised in 3-value cellular automata that feature"glider" dynamics. Time-plots of pulsing measures maintain a distinct waveform for each glider rule, and scatter plots of entropy/density and the density return-map show unique signatures, which have the characteristics of chaotic strange attractors. We present case studies, possible mechanisms, and implications for oscillatory networks in biology.
In a recent paper Sutner proved that the first-order theory of the phase-space $\mathcal{S}_\mathcal{A}=(Q^\mathbb{Z}, \longrightarrow)$ of a one-dimensional cellular automaton $\mathcal{A}$ whose configurations are elements of $Q^\mathbb{Z}$, for a finite set of states $Q$, and where $\longrightarrow$ is the "next configuration relation", is decidable. He asked whether this result could be extended to a more expressive logic. We prove in this paper that this is actuallly the case. We first show that, for each one-dimensional cellular automaton $\mathcal{A}$, the phase-space $\mathcal{S}_\mathcal{A}$ is an omega-automatic structure. Then, applying recent results of Kuske and Lohrey on omega-automatic structures, it follows that the first-order theory, extended with some counting and cardinality quantifiers, of the structure $\mathcal{S}_\mathcal{A}$, is decidable. We give some examples of new decidable properties for one-dimensional cellular automata. In the case of surjective cellular automata, some more efficient algorithms can be deduced from results of Kuske and Lohrey on structures of bounded degree. On the other hand we show that the case of cellular automata give new results
For many cellular automata, it is possible to express the state of a given cell after $n$ iterations as an explicit function of the initial configuration. We say that for such rules the solution of the initial value problem can be obtained. In some cases, one can construct the solution formula for the initial value problem by analyzing the spatiotemporal pattern generated by the rule and decomposing it into simpler segments which one can then describe algebraically. We show an example of a rule when such approach is successful, namely elementary rule 156. Solution of the initial value problem for this rule is constructed and then used to compute the density of ones after $n$ iterations, starting from a random initial condition. We also show how to obtain probabilities of occurrence of longer blocks of symbols.
State-of-the-art review of cellular automata, cellular automata for partial differential equations, differential equations for cellular automata and pattern formation in biology and engineering.
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.
Granular materials are very common in the everyday world. Media such as sand, soil, gravel, food stuffs, pharmaceuticals, etc. all have similar irregular flow since they are composed of numerous small solid particles. In video games, simulating these materials increases immersion and can be used for various game mechanics. Computationally, full scale simulation is not typically feasible except on the most powerful hardware and tends to be reduced in priority to favor other, more integral, gameplay features. Here we study the computational and qualitative aspects of side profile flow of sand-like particles using cellular automata (CA). Our CA uses a standard square lattice that updates via a custom, modified Margolus neighborhood. Each update occurs using a set of probabilistic transitions that can be tuned to simulate friction between particles. We focus on the look of the sandpile structure created from an hourglass shape over time using different transition probabilities and the computational impact of such a simulation.
We investigate elementary cellular automata (ECA) from the point of view of (discrete) dynamical systems. By studying small lattice sizes, we obtain the complete phase space of all minimal ECA, and, starting from a maximal entropy distribution (all configurations equiprobable), we show how the dynamics affects this distribution. We then investigate how a vanishing noise alters this phase space, connecting attractors and modifying the asymptotic probability distribution. What is interesting is that this modification not always goes in the sense of decreasing the entropy.