https://arxiv.org/api/EjRSNO7lf15Mh8QXOnxSPlNyjDE 2026-06-10T07:22:35Z 1671 90 15 http://arxiv.org/abs/2508.00565v2 2025-08-05T12:14:22Z

Many combinatorial optimization problems (COPs) are naturally expressed using variables that take on more than two discrete values. To solve such problems using Ising machines (IMs) - specialized analog or digital devices designed to solve COPs efficiently - these multi-valued integers must be encoded using binary spin variables. A common approach is one-hot encoding, where each variable is represented by a group of spins constrained so that exactly one spin is in the "up" state. However, this encoding introduces energy barriers: changing an integer's value requires flipping two spins and passing through an invalid intermediate state. This creates rugged energy landscapes that may hinder optimization. We propose a higher-order Ising formulation for Max-3-Cut, which is the smallest fundamental COP with multi-valued integer variables. Our formulation preserves valid configurations under single-spin updates. The resulting energy landscapes are smoother, and we show that this remains true even when the binary variables are relaxed to continuous values, making it well-suited for analog IMs as well. Benchmarking on such an IM, we find that the higher-order formulation leads to significantly faster solutions than the Ising baseline. Interestingly, we find that an empirical rescaling of some terms in the Ising formulation - a heuristic proposed in prior work - approaches the performance of the higher-order Ising formulation, underscoring the importance of empirical parameter tuning in COP encodings.

2025-08-01T12:05:39Z 11 pages, 8 figures, including appendices Robbe De Prins Guy Van der Sande Peter Bienstman Thomas Van Vaerenbergh http://arxiv.org/abs/2508.02935v1 2025-08-04T22:21:08Z

Continuous cellular automata (CCAs) have evolved from discrete lookup tables to continuous partial differential equation (PDE) formulations in the search for novel forms of complexity. Despite innovations in qualitative behavior, analytical methods have lagged behind, reinforcing the notion that emergent complexity defies simple explanation. In this paper, we demonstrate that the PDE formulation of Asymptotic Lenia enables rigorous analysis using dynamical systems theory. We apply the concepts of symmetries, attractors, Lyapunov exponents, and fractal dimensions to characterize complex behaviors mathematically. Our contributions include: (1) a mathematical explanation for the four distinct solution classes (solitons, rotators, periodic and chaotic patterns), (2) conditions for the existence of a global attractor with fractal dimension $>4$, (3) identification of Kaplan-Yorke dimension as an effective complexity measure for CCAs, and (4) an efficient open-source implementation for calculating Lyapunov exponents and the covariant Lyapunov vectors for CCAs. We conclude by identifying the minimal set of properties that enable complex behavior in a broader class of CCAs. This framework provides a foundation for understanding and measuring complexity in artificial life systems.

2025-08-04T22:21:08Z 8 pages including references. 3 figures. Submitted and accepted to ALIFE 2025 conference, but not published yet Ivan Yevenko Hiroki Kojima Chrystopher L. Nehaniv http://arxiv.org/abs/2507.23621v1 2025-07-31T15:02:25Z

Ising machines (IMs) are specialized devices designed to efficiently solve combinatorial optimization problems. Among such problems, Boolean Satisfiability (SAT) is particularly relevant in industrial applications. To solve SAT problems using IMs, it is crucial to incorporate higher-order interactions. However, in analog IMs, interactions of different orders scale unevenly with the continuous spin amplitudes, introducing imbalances that can significantly degrade performance. We present a numerical comparison of methods to mitigate these imbalances, evaluating time-to-solution and success rate on Uniform Random 3-SAT instances from the SATLIB benchmark set. Our results show that the most effective approach employs spin interactions that are proportional to the signs of spins, rather than their continuous amplitudes. This generalizes our previous work, which showed that such interactions best mitigate imbalances induced by external fields in quadratic analog IMs. In this work, its advantage becomes substantially more pronounced, as it naturally mitigates imbalances across all interaction orders. We further demonstrate that smooth approximations of this method make it compatible with analog hardware. Our findings underscore the central role of spin-sign-based interactions in enabling robust and scalable analog IM dynamics.

2025-07-31T15:02:25Z 16 pages, 7 figures, including Supplementary Material Robbe De Prins Guy Van der Sande Peter Bienstman Thomas Van Vaerenbergh http://arxiv.org/abs/2507.18674v1 2025-07-24T13:02:56Z

Cellular automata and other discrete dynamical systems have long been studied as models of emergent complexity. Recently, neural cellular automata have been proposed as models to investigate the emerge of a more general artificial intelligence, thanks to their propensity to support properties such as self-organization, emergence, and open-endedness. However, understanding emergent complexity in large scale systems is an open challenge. How can the important computations leading to emergent complex structures and behaviors be identified? In this work, we systematically investigate a form of dimensionality reduction for 1-dimensional and 2-dimensional cellular automata based on coarse-graining of macrostates into smaller blocks. We discuss selected examples and provide the entire exploration of coarse graining with different filtering levels in the appendix (available also digitally at this link: https://s4nyam.github.io/eca88/). We argue that being able to capture emergent complexity in AI systems may pave the way to open-ended evolution, a plausible path to reach artificial general intelligence.

2025-07-24T13:02:56Z Sanyam Jain Stefano Nichele 10.5617/nmi.10458 http://arxiv.org/abs/2111.00297v4 2025-07-23T14:47:31Z

The limited distinctness of physical systems is roughly expressed by uncertainty relations. Here we show distinctness is a finite resource we can exactly count to define basic physical quantities, limits to the resolution of space and time, and informational foundations for classical mechanics. Our analysis generalizes quantum speed limits: we count the distinct (orthogonal) states that can occur in a finite length of unitary change. As in Nyquist's bound on distinct signal values in classical waves, widths of superpositions bound the distinct states per unit length -- and basic conserved quantities are widths. Maximally distinct unitary evolution is effectively discrete -- and this characterizes classical systems. [see also Popular Summary in arxiv ancillary files]

2021-10-30T17:55:22Z 18 pages, 21 figures, ancillary files contain numerical tests and a popular summary. Almost completely rewritten for clarity and rigor, with additional results, examples, figures, and appendices Norman Margolus http://arxiv.org/abs/2507.14276v1 2025-07-18T18:00:00Z

We study the Hegselmann-Krause model of opinion dynamics on sparse, unbiased networks generated via Wilson's algorithm, unveiling how network connectivity and confidence bounds jointly determine collective behavior. By systematically exploring the parameter space spanned by the confidence level $ε$ and the mean degree density $μ$, we construct comprehensive phase diagrams that classify the emergent steady states into different degrees of fragmentation and consensus. We uncover a nonmonotonic re-entrant transition where increased connectivity can paradoxically suppress consensus, and show that full unanimity is unattainable at low connectivity due to structural isolation. Convergence times exhibit two distinct slowdowns: a finite-size, connectivity-dependent resonance near $ε\sim 1/N$, and a critical peak associated with the established fragmentation-to-consensus transition. While the critical confidence threshold $ε_c$ stabilizes near 0.2 for large system sizes, finite-size effects and sparse connectivity significantly alter the dynamics and phase boundaries in smaller populations. Our results offer new insights into the interplay between network topology and opinion dynamics, and highlight conditions under which increased connectivity may hinder, rather than promote, consensus.

2025-07-18T18:00:00Z 8 pages, 6 figures Paolo Molignini http://arxiv.org/abs/2504.04304v2 2025-07-18T15:23:57Z

We study stationary fluctuations of conserved slow modes in a two-lane model of hardcore particles which are expected to show universal behaviour. Specifically, we focus on the properties of fluctuations at a special umbilic point where the characteristic velocities coincide. At large space and time scales, fluctuations are described by a system of stochastic Burgers equations studied recently in [13]. Our data suggest coupling-dependent scaling functions and, even more surprisingly, coupling-dependent dynamical scaling exponents, distinct from KPZ scaling exponent typical for surface growth processes.

2025-04-05T23:55:19Z v2: Added numerical simulations of Burgers system, references, comparison against numerical data of Ref. [10] J. Stat. Mech. (2025) 083202 Johannes Schmidt Žiga Krajnik Vladislav Popkov 10.1088/1742-5468/adefaf http://arxiv.org/abs/2411.19779v2 2025-07-18T09:03:15Z

Dynamical systems can display a plethora of ergodic and ergodicity breaking behaviors, ranging from simple periodicity to ergodicity and chaos. Here we report an unusual type of non-ergodic behavior in a many-body discrete-time dynamical system, specifically a multi-periodic response with multi-fractal distribution of equilibrium spectral weights at all rational frequencies. This phenomenon is observed in the momentum-conserving variant of the newly introduced class of the so-called parity check reversible cellular automata, which we define with respect to an arbitrary bi-partite lattice. Although the models display strong fragmentation of phase space of configurations, we demonstrate that the effect qualitatively persists within individual fragmented sectors, and even individual typical many-body trajectories. We provide detailed numerical analysis of examples on 2D (honeycomb, square) and 3D (cubic) lattices.

2024-11-29T15:33:36Z 14 pages, 15 figures Yusuf Kasim Tomaž Prosen 10.1103/PhysRevResearch.7.023230 http://arxiv.org/abs/2507.12306v1 2025-07-16T15:04:52Z

We present Mass-Conserving Evolution (MaCE), a general method for implementing mass conservation in Cellular Automata (CA). MaCE is a simple evolution rule that can be easily 'attached' to existing CAs to make them mass-conserving, which tends to produce interesting behaviours more often, as patterns can no longer explode or die out. We first show that MaCE is numerically stable and admits a simple continuous limit. We then test MaCE on Lenia, and through several experiments, we demonstrate that it produces a wide variety of interesting behaviours, starting from the variety and abundance of solitons up to hints of intrinsic evolution in resource-constrained environments. Finally, we showcase the versatility of MaCE by applying it to Neural-CAs and discrete CAs, and discuss promising research directions opened up by this scheme.

2025-07-16T15:04:52Z Vassilis Papadopoulos Etienne Guichard http://arxiv.org/abs/2507.11592v1 2025-07-15T16:01:47Z

The collective behavior of numerous animal species, including insects, exhibits scale-free behavior indicative of the critical (second-order) phase transition. Previous research uncovered such phenomena in the behavior of honeybees, most notably the long-range correlations in space and time. Furthermore, it was demonstrated that the bee activity in the hive manifests the hallmarks of the jamming process. We follow up by presenting a discrete model of the system that faithfully replicates some of the key features found in the data - such as the divergence of correlation length and scale-free distribution of jammed clusters. The dependence of the correlation length on the control parameter - density is demonstrated for both the real data and the model. We conclude with a brief discussion on the contribution of the insights provided by the model to our understanding of the insects' collective behavior.

2025-07-15T16:01:47Z 1o pages, 7 Figures Ivan Shpurov Tom Froese http://arxiv.org/abs/2507.08341v1 2025-07-11T06:41:57Z

We give a brief overview of the seminal paper which introduced the Kardar-Parisi-Zhang equation as a paradigmatic model for random growth in 1986. We describe some of the developments to which it gave rise in mathematics and physics over the years, and some examples of applications.

2025-07-11T06:41:57Z "Chapter of the book "From Quantum Fields to Spin Glasses - Seminal contributions of Giorgio Parisi to theoretical physics", Cambridge University Press , to appear", 25 pages, 6 figures Pierre Le Doussal http://arxiv.org/abs/2506.21226v2 2025-07-09T15:33:14Z

We present a strong theoretical foundation that frames a well-defined family of outer-totalistic network automaton models as a topological generalisation of binary outer-totalistic cellular automata, of which the Game of Life is one notable particular case. These "Life-like network automata" are quantitatively described by expressing their genotype (the mean field curve and Derrida curve) and phenotype (the evolution of the state and defect averages). After demonstrating that the genotype and phenotype are correlated, we illustrate the utility of these essential metrics by tackling the firing squad synchronisation problem in a bottom-up fashion, with results that exceed a 90% success rate.

2025-06-26T13:18:27Z 27 pages, 10 figures, 1 table, 56 references Physica D (2025) 134950 Michiel Rollier Lucas Caldeira de Oliveira Odemir M. Bruno Jan M. Baetens 10.1016/j.physd.2025.134950 http://arxiv.org/abs/2507.03485v1 2025-07-04T11:22:30Z

The positive rates conjecture states that a one-dimensional probabilistic cellular automaton (PCA) with strictly positive transition rates must be ergodic. The conjecture has been refuted by Gács, whose counterexample is a cellular automaton that is non-ergodic under uniform random noise with sufficiently small rate. For all known counterexamples, non-ergodicity has been proved under small enough rates. Conversely, all cellular automata are ergodic with sufficiently high-rate noise. No other types of phase transitions of ergodicity are known, and the behavior of known counterexamples under intermediate noise rates is unknown. We present an example of a cellular automaton with two phase transitions. Using Gács's result as a black box, we construct a cellular automaton that is ergodic under small noise rates, non-ergodic for slightly higher rates, and again ergodic for rates close to 1.

2025-07-04T11:22:30Z 33 pages, 12 figures Hugo Marsan Mathieu Sablik Ilkka Törmä http://arxiv.org/abs/2506.21084v1 2025-06-26T08:19:31Z

We investigate the computational complexity of the timed prediction problem in two-dimensional sandpile models. This question refines the classical prediction problem, which asks whether a cell q will eventually become unstable after adding a grain at cell p from a given configuration. The prediction problem has been shown to be P-complete in several settings, including for subsets of the Moore neighborhood, but its complexity for the von Neumann neighborhood remains open. In a previous work, we provided a complete characterization of crossover gates (a key to the implementation of non-planar monotone circuits) for these small neighborhoods, leading to P-completeness proofs with only 4 and 5 neighbors among the eight adjancent cells. In this paper, we introduce the timed setting, where the goal is to determine whether cell q becomes unstable exactly at time t. We distinguish several cases: some neighborhoods support complete timed toolkits (including timed crossover gates) and exhibit P-completeness; others admit timed crossovers but suffer from synchronization issues; planar neighborhoods provably do not admit any timed crossover; and finally, for some remaining neighborhoods, we conjecture that no timed crossover is possible.

2025-06-26T08:19:31Z Pablo Concha-Vega AMU, LIS Kévin Perrot AMU, LIS http://arxiv.org/abs/2506.16284v1 2025-06-19T13:00:20Z

We explore how strategic leaps alter the classic rock-paper-scissors dynamics in spatially structured populations. In our model, individuals can expend energy reserves to jump toward regions with a high density of individuals of the species they dominate in the spatial game. This enables them to eliminate the target organisms and gain new territory, promoting species proliferation. Through stochastic, lattice-based simulations, we show that even when the energy allocated to jumping, as opposed to random walking, is low, there is a significant shift in the cyclic dominance balance. This arises from the increased likelihood of the leaping species successfully acquiring territory. Due to the cyclical nature of the game, the dominant species becomes the one that is superior to the jumping species. We investigate how spatial patterns are affected and calculate the changes in characteristic length scales. Additionally, we quantify how saltatory targeting reshapes spatial correlations and drives shifts in population dominance. Finally, we estimate the coexistence probability and find evidence that this behavioural strategy may promote biodiversity among low-mobility organisms but jeopardise long-term coexistence in the case of high-mobility dispersal. These results underscore the profound impact of novel foraging tactics on community structure and provide concrete parameters for ecologists seeking to incorporate behavioural innovation into ecosystem models.

2025-06-19T13:00:20Z 7 pages, 6 figures J. Menezes R. Barbalho Y. Sun