Pith. sign in

REVIEW 1 major objections 19 references

The asymptotic density of endogamous diploid elementary cellular automata falls into six classes as the mixing parameter lambda varies.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-07-03 01:57 UTC pith:T6C4O4XX

load-bearing objection The six-class taxonomy of density-λ profiles plus the order-by-order contrast in local structure approximation performance, especially the qualitative failure on second-order cases, are the actual new pieces. the 1 major comments →

arxiv 2607.01917 v1 pith:T6C4O4XX submitted 2026-07-02 nlin.CG

Analysis of the asymptotic density of endogamous diploid cellular automata

Henryk Fuk\'s , Nazim Fat\`es (MOCQUA , LORIA) This is my paper
classification nlin.CG
keywords elementary cellular automatadiploid ECAasymptotic densityphase transitionslocal structure approximationendogamous mixturesstochastic cellular automata
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies stochastic mixtures of two elementary cellular automata related by reflection or conjugation symmetry. Each cell applies one rule with probability lambda and the other with 1-lambda. It classifies the resulting long-term densities into six types based on the shape of the density-lambda curve. Local structure approximations are tested on examples from each class. The approximations match exactly for linear cases, converge or become exact for nonlinear differentiable cases, and sharpen toward first-order transitions with higher order, but they never produce the bifurcation seen in second-order transitions.

Core claim

Endogamous diploid ECAs are classified into six distinct classes according to the profile of asymptotic density versus the mixing parameter lambda. Local structure approximations reproduce the exact linear dependence on lambda, either become exact at finite order or converge rapidly for differentiable nonlinear dependence, progressively sharpen toward a first-order transition with increasing order, but fail to exhibit any bifurcation even at high orders for second-order phase transitions.

What carries the argument

The six-class taxonomy of density-versus-lambda profiles for endogamous diploid pairs, tested against local structure approximations of increasing order.

Load-bearing premise

The six-class taxonomy is assumed to be exhaustive and stable for all endogamous diploid pairs related by reflection or conjugation symmetry, with the selected examples being representative of each class.

What would settle it

A high-order local structure approximation that produces a visible bifurcation in the density-lambda curve for one of the identified second-order transition rules would falsify the claim that such approximations fail to capture the qualitative features.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Linear dependence of density on lambda is reproduced exactly by any local structure approximation.
  • For differentiable nonlinear cases the approximation either becomes exact at finite order or converges rapidly as order increases.
  • Finite-order approximations progressively approach the sharp profile of a first-order phase transition as order grows.
  • No finite-order local structure approximation produces the bifurcation characteristic of a second-order phase transition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The persistent failure at second-order transitions implies that global or long-range correlations not captured by local approximations are essential for those rules.
  • The existence of two rules where density can be computed exactly at every time step suggests that closed-form solutions may exist for selected diploid pairs beyond the asymptotic limit.
  • The six-class division could be used to select mixtures that achieve target densities without needing full simulation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper examines asymptotic densities of endogamous diploid ECAs (stochastic mixtures of two reflection- or conjugation-symmetric ECAs parameterized by mixing degree λ). It proposes a six-class taxonomy of density-vs-λ profiles, illustrates each class with examples, and compares the accuracy of local structure approximations (LSA) of increasing order against the observed densities. The central results are that LSA reproduces exact linear dependence, converges or becomes exact for differentiable nonlinear cases, sharpens toward the transition for first-order cases, but fails to produce any bifurcation even at high order for second-order cases; two explicit rules with closed-form time-dependent densities are also presented.

Significance. If the reported distinction between first- and second-order regimes generalizes beyond the chosen examples, the work supplies concrete evidence that local structure approximations can qualitatively fail for second-order transitions in stochastic CA mixtures while succeeding elsewhere, together with the positive result of exact solvability for selected diploids. These observations are grounded in direct computation rather than fitted parameters.

major comments (1)
  1. [Abstract] The six-class taxonomy and the claim that second-order transitions are uniformly missed by high-order LSA rest on selected examples per class; no enumeration of all reflection/conjugation-related diploid pairs or stability argument is supplied to establish that every such pair falls into one of the six profiles or that all members of the second-order class exhibit the reported LSA failure. This generality is load-bearing for the qualitative distinction asserted in the abstract.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the single major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] The six-class taxonomy and the claim that second-order transitions are uniformly missed by high-order LSA rest on selected examples per class; no enumeration of all reflection/conjugation-related diploid pairs or stability argument is supplied to establish that every such pair falls into one of the six profiles or that all members of the second-order class exhibit the reported LSA failure. This generality is load-bearing for the qualitative distinction asserted in the abstract.

    Authors: We agree that the six-class taxonomy is derived from representative examples rather than an exhaustive enumeration of all reflection- or conjugation-symmetric diploid pairs, and that no general stability argument is provided. The abstract presents the observed LSA behaviors as characteristic of the classes illustrated by those examples. To address the concern, we will revise the abstract to qualify the claims as applying to the examined cases and add a brief discussion paragraph noting the illustrative nature of the taxonomy while preserving the concrete distinction demonstrated for first- versus second-order examples. revision: yes

Circularity Check

0 steps flagged

No circularity; empirical classification and approximation checks are self-contained

full rationale

The paper defines its six-class taxonomy directly from observed density-vs-λ profiles computed on selected endogamous diploid examples, then applies standard local-structure approximations (cited from prior literature) to the same examples to measure agreement. No equation or claim reduces a prediction to a fitted parameter by construction, no self-citation supplies a load-bearing uniqueness theorem, and the reported success/failure distinctions (linear exact match, convergence for nonlinear, sharpening for first-order, no bifurcation for second-order) follow from explicit computations rather than tautological re-labeling of inputs. The derivation chain therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The analysis rests on standard definitions of elementary cellular automata and the local structure approximation method; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • standard math Elementary cellular automata are deterministic local update rules on a one-dimensional lattice with two states
    Implicit in the definition of ECA and diploid mixtures.
  • domain assumption Asymptotic density exists and can be computed or approximated for the stochastic diploid process
    Required for all statements about long-term density versus λ.

pith-pipeline@v0.9.1-grok · 5792 in / 1275 out tokens · 50781 ms · 2026-07-03T01:57:40.457433+00:00 · methodology

0 comments
read the original abstract

We investigate the asymptotic behaviour of diploid Elementary Cellular Automata (ECA), that is, the stochastic mixtures between two ECAs. In this model, each cell independently applies one rule with probability $\lambda$ and the other rule with probability $ 1 - \lambda$. Focusing on the endogamous diploids where the two ECAs are related by the reflection or conjugation symmetry, we analyse how the density varies as function of $\lambda$, the ``degree of mixing'' of these two rules. We propose a classification into six distinct classes depending on the profile of the density vs. $\lambda$ curve. We take various examples for each class and we analyse to which extent the local structure approximation succeeds to predict the asymptotic density. Our results show that for rules in which the asymptotic density depends linearly on $\lambda$, the local structure approximation reproduces the exact dependence of the density on $\lambda$. For rules with differentiable but nonlinear dependence, the approximation either becomes exact at a finite order or converges rapidly to the exact solution as the order increases. For rules with first-order phase transitions, finite-order approximations progressively approach a sharp transition profile with increasing order. In contrast, for rules exhibiting a second-order phase transition, even high-order approximations fail to capture the qualitative features of the transition. (no bifurcation is observed). Finally, we give examples of two diploid rules for which we succeed to compute the density at each time step.

Figures

Figures reproduced from arXiv: 2607.01917 by Henryk Fuk\'s, LORIA), Nazim Fat\`es (MOCQUA.

Figure 1
Figure 1. Figure 1: Examples of graphs of the steady-state density vs. [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Space-time diagrams for the rule 2-16 (left) and 15-85 (right) for [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Space-time diagrams for the rules 10-245 and 36-219 for [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Graph of the steady-state density and its approximations for rule [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Space-time diagrams for the rules 60-102 and 46-116 for [PITH_FULL_IMAGE:figures/full_fig_p012_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Graph of the steady-state density and its approximations for rules [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗
Figure 6
Figure 6. Figure 6: None of these curves exhibit discontinuities of the derivative present in the experimental curve. They do exhibit the “dip” around the center, which becomes deeper with the increasing order of the approximation, but, surprisingly, even the eighth order is very far from the actual curve. Cirillo et al. actually considered orders up to 13 for the same rule (60-102), and still failed to observe discontinuity … view at source ↗
Figure 7
Figure 7. Figure 7: These graphs are in good agreement with the aforementioned [PITH_FULL_IMAGE:figures/full_fig_p014_7.png] view at source ↗
Figure 7
Figure 7. Figure 7: Evolution of the density as function of time in log-log scale. The [PITH_FULL_IMAGE:figures/full_fig_p015_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Space-time diagram for rule 128-254: (left) [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: (a) Graph of the steady-state density and its approximations for rule [PITH_FULL_IMAGE:figures/full_fig_p017_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Space-time diagram for rule 136-192 (left) and 140-196 (right) for [PITH_FULL_IMAGE:figures/full_fig_p019_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Graph of the steady-state density and its theoretical value for rule [PITH_FULL_IMAGE:figures/full_fig_p021_11.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    A statistical approach to the identification of diploid cellular automata based on incomplete observations

    Witold Bo t, Aleksander Bo t, Barbara Wolnik, Jan M Baetens, and Bernard de Baets. A statistical approach to the identification of diploid cellular automata based on incomplete observations. Biosystems , 186:103976, 2019

    work page 2019

  2. [2]

    Boccara and H

    N. Boccara and H. Fuk \'s . Modeling diffusion of innovations with probabilistic cellular automata. In M. Delorme and J. Mazoyer, editors, Cellular Automata: A Parallel Model , pages 263--277, Dordrecht, 1998. Kluwer Academic Publishers

    work page 1998

  3. [3]

    Emilio N. M. Cirillo, Giacomo Lancia, and Cristian Spitoni. Block approximations for probabilistic mixtures of elementary cellular automata. Physica A: Statistical Mechanics and its Applications , 654:130150, 2024

    work page 2024

  4. [4]

    Ergodicity of the hard-core PCA with a random walk method

    J \'e r \^o me Casse, Ir \`e ne Marcovici, and Maxence Poutrel. Ergodicity of the hard-core PCA with a random walk method. In Sara Riva and Adrien Richard, editors, Cellular Automata and Discrete Complex Systems , pages 221--241, Cham, 2026. Springer

    work page 2026

  5. [5]

    Cirillo, Francesca R Nardi, and Cristian Spitoni

    Emilio N.M. Cirillo, Francesca R Nardi, and Cristian Spitoni. Phase transitions in random mixtures of elementary cellular automata. Physica A: Statistical Mechanics and its Applications , 573:125942, 2021

    work page 2021

  6. [6]

    Emilio N. M. Cirillo, Joram L. Vliem, Dirk Schuricht, and Cristian Spitoni. Inefficiency of the block approximation in diploid probabilistic cellular automata, 2026

    work page 2026

  7. [7]

    Cellular automaton modeling of biological pattern formation: characterization, applications, and analysis

    Andreas Deutsch and Sabine Dormann. Cellular automaton modeling of biological pattern formation: characterization, applications, and analysis . Springer, Cham, 2005

    work page 2005

  8. [8]

    Diploid cellular automata: First experiments on the random mixtures of two elementary rules

    Nazim Fatès. Diploid cellular automata: First experiments on the random mixtures of two elementary rules. In Alberto Dennunzio, Enrico Formenti, Luca Manzoni, and Antonio E. Porreca, editors, Proceedings of AUTOMATA 2017 -- Cellular Automata and Discrete Complex Systems , volume 10248 of Lecture Notes in Computer Science , pages 97--108, Cham, 2017. Springer

    work page 2017

  9. [9]

    A note on endogamous diploid elementary cellular automata

    Nazim Fat \` e s. A note on endogamous diploid elementary cellular automata. In Adrien Richard and Sara Riva, editors, Automata 2025 - Exploratory papers and extended abstracts , Lille, France, 2025

    work page 2025

  10. [10]

    Fuk \'s and N

    H. Fuk \'s and N. Fat \` e s. Local structure approximation as a predictor of second-order phase transitions in asynchronous cellular automata. Natural Computing , 14:507--522, 2015

    work page 2015

  11. [11]

    H. Fuk\'s. Computing the density of ones in probabilistic cellular automata by direct recursion. In P. Y. Louis and F. R. Nardi, editors, Probabilistic Cellular Automata - Theory, Applications and Future Perspectives , Lecture Notes in Computer Science, pages 131--144. Springer, Cham, 2018

    work page 2018

  12. [12]

    Fuk \' s

    H. Fuk \' s . Solvable cellular automata -- methods and applications . Springer, Cham, 2023

    work page 2023

  13. [13]

    Non-equilibrium critical phenomena and phase transitions into absorbing states

    Haye Hinrichsen. Non-equilibrium critical phenomena and phase transitions into absorbing states. Advances in Physics , 49(7):815--958, 2000

    work page 2000

  14. [14]

    Gibbsian versus non-gibbsian nature of stationary states for T oom probabilistic cellular automata via simulations

    Danuta Makowiec. Gibbsian versus non-gibbsian nature of stationary states for T oom probabilistic cellular automata via simulations. Physical Review E , 55:6582--6588, 1997

    work page 1997

  15. [15]

    T oom probabilistic cellular automata stationary states via simulations

    Danuta Makowiec. T oom probabilistic cellular automata stationary states via simulations. Acta Physica Polonica B , 29:1599--1607, 1998

    work page 1998

  16. [16]

    On cellular automata modeling of cardiac pacemaker

    Danuta Makowiec. On cellular automata modeling of cardiac pacemaker. Journal of Cellular Automata , 5(6):431--443, 2010

    work page 2010

  17. [17]

    Danuta Makowiec, Joanna Wdowczyk, and Zbigniew R. Struzik. Heart rhythm insights into structural remodeling in atrial tissue: Timed automata approach. Frontiers in Physiology , 9, 2019

    work page 2019

  18. [18]

    Are some family members harmful? - A study on diploid cellular automata

    Souvik Roy, Harsh Modi, Rahil Patel, and Sumit Adak. Are some family members harmful? - A study on diploid cellular automata. In Franco Bagnoli, Jan M. Baetens, Stefania Bandini, and Tommaso Matteuzzi, editors, Proceedings of ACRI 2024 -- 16th International Conference on Cellular Automata for Research and Industry , volume 14978 of Lecture Notes in Comput...

    work page 2024

  19. [19]

    Lost in self-stabilization: a local process that aligns connected cells

    Damien Regnault and \'E ric R \'e mila. Lost in self-stabilization: a local process that aligns connected cells. Theoretical Computer Science , 736:41--61, 2018

    work page 2018