https://arxiv.org/api/Ck1hr6kfS4ZOqeu0oUiVA232Jfc 2026-04-07T08:33:19Z 1651 315 15 http://arxiv.org/abs/2107.09385v2 2022-03-09T06:02:51Z

Anderson localization confines the wave function of a quantum particle in a one-dimensional random potential to a volume of the order of the localization length $ξ$. Nonlinear add-ons to the wave dynamics mimic many-body interactions on a mean field level, and result in escape from the Anderson cage and in unlimited subdiffusion of the interacting cloud. We address quantum corrections to that subdiffusion by (i) using the ultrafast unitary Floquet dynamics of discrete-time quantum walks, (ii) an interaction strength ramping to speed up the subdiffusion, and (iii) an action discretization of the nonlinear terms. We observe the saturation of the cloud expansion of $N$ particles to a volume $\sim Nξ$. We predict and observe a universal intermediate logarithmic expansion regime which connects the mean-field diffusion with the final saturation regime and is entirely controlled by particle number $N$. The temporal window of that regime grows exponentially with the localization length $ξ$.

2021-07-20T10:06:19Z 7 pages, 4 figures. Similar to the published version. Comments are welcome Physical Review A Letter 105, L020202 (2022) Arindam Mallick Sergej Flach 10.1103/PhysRevA.105.L020202 http://arxiv.org/abs/2101.12682v3 2022-03-05T16:20:38Z

Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., $k$-colourings with $k\neq 3$, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We note that the optimal self-stabilisation speed is the same for all local constraints that are isomorphic to one another. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.

2021-01-29T16:53:01Z 56 pages, 28 figures Fundamenta Informaticae, Volume 185, Issue 1 (March 10, 2022) fi:7178 Nazim Fatès Irène Marcovici Siamak Taati 10.3233/FI-222103 http://arxiv.org/abs/2202.11224v1 2022-02-22T22:52:45Z

Motivated by recent experimental studies in microbiology, we suggest a modification of the classic ballistic deposition model of surface growth, where the memory of a deposition at a site induces more depositions at that site or its neighbors. By studying the statistics of surfaces in this model, we obtain three independent critical exponents: the growth exponent $β=5/4$, the roughening exponent $α= 2$, and the new (size) exponent $γ= 1/2$. The model requires a modification to the Family-Vicsek scaling, resulting in the dynamical exponent $z = \frac{α+γ}β = 2$. This modified scaling collapses the surface width vs time curves for various lattice sizes. This is a previously unobserved universality class of surface growth that could describe surface properties of a wide range of natural systems.

2022-02-22T22:52:45Z Ahmed Roman Ruomin Zhu Ilya Nemenman http://arxiv.org/abs/2202.02499v1 2022-02-05T06:50:15Z

We analyze a stochastic particle system of 5 neighbors. Considering eigenvalue problem of transition matrix, we propose a conjecture that asymptotic distribution of the system is determined by the number of specific local patterns in the asymptotic solution. Based on the conjecture, mean flux which depends of a pair of the conserved quantities is derived theoretically. Moreover, we obtain mean flux in the deterministic case through the limit of stochastic parameter.

2022-02-05T06:50:15Z 10 pages Kazushige Endo http://arxiv.org/abs/2111.05960v2 2022-02-04T09:58:40Z

Most of the lattice Boltzmann methods simulate an approximation of the sharp interface problem of dissolution and precipitation. In such studies the curvature-driven motion of interface is neglected in the Gibbs-Thomson condition. In order to simulate those phenomena with or without curvature-driven motion, we propose a phase-field model which is derived from a thermodynamic functional of grand-potential. Compared to the free energy, the main advantage of the grand-potential is to provide a theoretical framework which is consistent with the equilibrium properties such as the equality of chemical potentials. The model is composed of one equation for the phase-field φ coupled with one equation for the chemical potential μ. In the phase-field method, the curvature-driven motion is always contained in the phase-field equation. For canceling it, a counter term must be added in the φ-equation. For reason of mass conservation, the μ-equation is written with a mixed formulation which involves the composition c and the chemical potential. The closure relationship between c and μ is derived by assuming quadratic free energies of bulk phases. The anti-trapping current is also considered in the composition equation for simulations with null solid diffusion. The lattice Boltzmann schemes are implemented in LBM_saclay, a numerical code running on various High Performance Computing architectures. Validations are carried out with analytical solutions representative of dissolution and precipitation. Simulations with or without counter term are compared on the shape of porous medium characterized by microtomography. The computations have run on a single GPU-V100.

2021-11-08T14:48:07Z 25 pages, 20 figures, 4 tables Téo Boutin Werner Verdier Alain Cartalade http://arxiv.org/abs/2202.00431v1 2022-02-01T14:38:35Z

Predictions of emergent phenomena, appearing on the macroscopic layer of a complex system, can fail if they are made by a microscopic model. This study demonstrates and analyses this claim on a well-known complex system, Conway's Game of Life. Straightforward macroscopic mean-field models are easily capable of predicting such emergent properties after they are fitted to simulation data in an after-the-fact way. Thus, these predictions are macro-to-macro only. However, a micro-to-macro model significantly fails to predict correctly, as does the obvious mesoscopic modeling approach. This suggests that some macroscopic system properties in a complex dynamic system should be interpreted as examples of phenomena (properties) arising from "strong emergence", due to the lack of ability to build a consistent micro-to-macro model, that could explain these phenomena in a before-the-fact way. The root cause for this inability to predict this in a micro-to-macro way is identified as the pattern formation process, a phenomenon that is usually classified as being of "weak emergence". Ultimately, this suggests that it may be in principle impossible to discriminate between such distinct categories of "weak" and "strong" emergence, as phenomena of both types can be part of the very same feedback loop that mainly governs the system's dynamics.

2022-02-01T14:38:35Z 15 pages, 10 figures, 5 tables Thomas Schmickl 10.1155/2022/9956885 http://arxiv.org/abs/1908.06751v4 2022-01-26T10:02:31Z

This paper studies three classes of cellular automata from a computational point of view: freezing cellular automata where the state of a cell can only decrease according to some order on states, cellular automata where each cell only makes a bounded number of state changes in any orbit, and finally cellular automata where each orbit converges to some fixed point. Many examples studied in the literature fit into these definitions, in particular the works on cristal growth started by S. Ulam in the 60s. The central question addressed here is how the computational power and computational hardness of basic properties is affected by the constraints of convergence, bounded number of change, or local decreasing of states in each cell. By studying various benchmark problems (short-term prediction, long term reachability, limits) and considering various complexity measures and scales (LOGSPACE vs. PTIME, communication complexity, Turing computability and arithmetical hierarchy) we give a rich and nuanced answer: the overall computational complexity of such cellular automata depends on the class considered (among the three above), the dimension, and the precise problem studied. In particular, we show that all settings can achieve universality in the sense of Blondel-Delvenne-Kůrka, although short term predictability varies from NLOGSPACE to P-complete. Besides, the computability of limit configurations starting from computable initial configurations separates bounded-change from convergent cellular automata in dimension~1, but also dimension~1 versus higher dimensions for freezing cellular automata. Another surprising dimension-sensitive result obtained is that nilpotency becomes decidable in dimension~ 1 for all the three classes, while it stays undecidable even for freezing cellular automata in higher dimension.

2019-08-19T12:39:10Z Nicolas Ollinger LIFO Guillaume Theyssier I2M http://arxiv.org/abs/2004.03656v2 2022-01-24T09:51:49Z

Gauge-invariance is a fundamental concept in Physics -- known to provide mathematical justification for the fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts directly in terms of Cellular Automata. More precisely, the notions of gauge-invariance and gauge-equivalence in Cellular Automata are formalized. A step-by-step gauging procedure to enforce this symmetry upon a given Cellular Automaton is developed, and three examples of gauge-invariant Cellular Automata are examined.

2020-04-07T19:20:26Z This article supersedes arXiv:1802.07644 and arXiv:1908.01229 Pablo Arrighi Giuseppe Di Molfetta Nathanaël Eon 10.1007/s11047-022-09879-1 http://arxiv.org/abs/2201.09521v1 2022-01-24T08:29:00Z

This paper presents a probabilistic extension of the well-known cellular automaton, Game of Life. In Game of Life, cells are placed in a grid and then watched as they evolve throughout subsequent generations, as dictated by the rules of the game. In our extension, called ProbLife, these rules now have probabilities associated with them. Instead of cells being either dead or alive, they are denoted by their chance to live. After presenting the rules of ProbLife and its underlying characteristics, we show a concrete implementation in ProbLog, a probabilistic logic programming system. We use this to generate different images, as a form of rule-based generative art.

2022-01-24T08:29:00Z This paper was presented at BNAIC 2021 Simon Vandevelde Joost Vennekens http://arxiv.org/abs/2112.01854v2 2022-01-13T12:02:25Z

We consider one dimensional block cellular automata, where the local update rules are given by Yang-Baxter maps, which are set theoretical solutions of the Yang-Baxter equations. We show that such systems are superintegrable: they possess an exponentially large set of conserved local charges, such that the charge densities propagate ballistically on the chain. For these quantities we observe a complete absence of "operator spreading". In addition, the models can also have other local charges which are conserved only additively. We discuss concrete models up to local dimensions $N\le 4$, and show that they give rise to rich physical behaviour, including non-trivial scattering of particles and the coexistence of ballistic and diffusive transport. We find that the local update rules are classical versions of the "dual unitary gates" if the Yang-Baxter maps are non-degenerate. We discuss consequences of dual unitarity, and we also discuss a family of dual unitary gates obtained by a non-integrable quantum mechanical deformation of the Yang-Baxter maps.

2021-12-03T11:16:48Z 26 pages, v2: references added SciPost Phys. 12, 102 (2022) Tamás Gombor Balázs Pozsgay 10.21468/SciPostPhys.12.3.102 http://arxiv.org/abs/2112.12929v1 2021-12-24T03:46:57Z

We discuss a particle system of 5 neighbors with two independent conserved densities. The mean momentum uniquely depends on a pair of the densities and a three-dimensional fundamental diagram is obtained. It shows the phase transition of behavior of asymptotic solution to the system. Moreover, we propose two other systems which have the similar unique dependency obtained numerically.

2021-12-24T03:46:57Z 4 pages Kazushige Endo Daisuke Takahashi http://arxiv.org/abs/2112.09818v1 2021-12-18T01:50:25Z

We discuss initial value problems for time evolution equations in one dimensional space which are expressed by the lattice operators and propose some new equations to which complexity of solutions is of polynomial class. Novel type of expressions using shift operators and binary trees are applied for the derivation of solution.

2021-12-18T01:50:25Z 4 pages Soujun Kitagawa Daisuke Takahashi http://arxiv.org/abs/2112.08484v1 2021-12-15T21:15:36Z

We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is $X$. Similarly, let $G$ be a countable monoid and let $A$, $B$ be Artinian modules over a ring. We prove that for every closed subshift submodule $Σ\subset A^G$ and every injective $G$-equivariant uniformly continuous module homomorphism $τ\colon Σ\to B^G$, a subshift $Δ\subset Σ$ is of finite type, resp. sofic, if and only if so is the image $τ(Δ)$. Generalizations for admissible group cellular automata over admissible Artinian group structure alphabets are also obtained.

2021-12-15T21:15:36Z Xuan Kien Phung http://arxiv.org/abs/2107.03857v3 2021-12-15T15:24:27Z

Motivated by empirical observations on the interplay of trends and reversion, a lattice gas model of financial markets is presented. The shares of an asset are modeled by gas molecules that are distributed across a hidden social network of investors. The model is equivalent to the Ising model on this network, whose magnetization represents the deviation of the asset price from its value. Moreover, the system should drive itself to its critical temperature in efficient markets. There, it is characterized by universal critical exponents, in analogy with the second-order phase transition between water and steam. These critical exponents imply predictions for the auto-correlations of financial market returns and for Hurst exponents. For a simple network topology, consistency with empirical observations implies a fractal network dimension near 3, and a correlation time at least as long as the economic cyle. To also explain the observed market auto-correlations at intermediate scales, the model should be extended beyond the critical domain, to other network topologies, and to other models of critical dynamics.

2021-07-08T14:16:32Z 34 pages, 7 figures, significantly revised section 4, added predictions for Hurst exponents Christof Schmidhuber 10.1016/j.physa.2022.126873 http://arxiv.org/abs/2104.04511v3 2021-12-14T19:06:46Z

We study the out-of-equilibrium dynamics of the quantum cellular automaton Rule 54 using a time-channel approach. We exhibit a family of (non-equilibrium) product states for which we are able to describe exactly the full relaxation dynamics. We use this to prove that finite subsystems relax to a one-parameter family of Gibbs states. We also consider inhomogeneous quenches. Specifically, we show that when the two halves of the system are prepared in two different solvable states, finite subsystems at finite distance from the centre eventually relax to the non-equilibrium steady state (NESS) predicted by generalised hydrodynamics. To the best of our knowledge, this is the first exact description of the relaxation to a NESS in an interacting system and, therefore, the first independent confirmation of generalised hydrodynamics for an inhomogeneous quench.

2021-04-09T17:50:04Z 47 pages, 3 figures; v2 accepted version SciPost Phys. 11, 106 (2021) Katja Klobas Bruno Bertini 10.21468/SciPostPhys.11.6.106