Nonlinear Wave Limits of Reversible Finite-State Cellular Automata

Contributed by Zhenyu Sun ↗

Version 1 / Oct 26, 2026 / CC BY 4.0

Abstract

We construct reversible finite-state cellular automata whose integer lifts approximate smooth solutions of one-dimensional semilinear wave equations. The kick–drift update is bijective for every odd modulus. Separate rounding of spatial edge contributions and local nonlinear forces gives an exact one-cell support bound for the full local operator algebra. Under a strict Courant condition, a discrete energy estimate bounds the field and staggered-velocity errors by CT(h2+τ2+δ/τ2)C_T(h^2+\tau^2+\delta/\tau^2) on a fixed physical time interval, where hh, τ\tau, and δ\delta are the spatial, temporal, and field spacings. An explicit modulus bound prevents modular wrapping throughout that interval. The choices τ=νh\tau=\nu h, 0<ν<10<\nu<1, and δ=O(h4)\delta=O(h^4) yield second-order convergence. Coupled scalar fields have a common-speed, locally Lorentz-covariant classical limit. Equal bare masses and equal quartic self-couplings preserve a symmetric invariant manifold. Unequal quartic couplings introduce a cubic source into the antisymmetric field equation, and we derive the first variation of the antisymmetric field. Numerical experiments compare exact integer trajectories with a nonlinear traveling wave and an independent continuum solver, measure light and massive dispersion branches, and examine continuously interacting wave packets. The accompanying programs reproduce the reported calculations.

Provenance statement

ChatGPT was used for proofreading and language editing.

Tools used

OpenAI
ChatGPT

References

  1. 't Hooft, Gerard. The Cellular Automaton Interpretation of Quantum Mechanics. Springer. 2016DOI
  2. 't Hooft, Gerard. Duality Between a Deterministic Cellular Automaton and a Bosonic Quantum Field Theory in 1+1 Dimensions. Foundations of Physics, vol. 43, pp. 597–614. 2013arXivDOI
  3. Toffoli, Tommaso; Margolus, Norman. Invertible Cellular Automata: A Review. Physica D: Nonlinear Phenomena, vol. 45, no. 1–3, pp. 229–253. 1990DOI
  4. Kari, Jarkko. Reversible Cellular Automata: From Fundamental Classical Results to Recent Developments. New Generation Computing, vol. 36, pp. 145–172. 2018DOI
  5. Levesque, Dominique; Verlet, Loup. Molecular Dynamics and Time Reversibility. Journal of Statistical Physics, vol. 72, pp. 519–537. 1993DOI
  6. Rein, Hanno; Tamayo, Daniel. JANUS: A Bit-wise Reversible Integrator for NN-body Dynamics. Monthly Notices of the Royal Astronomical Society, vol. 473, no. 3, pp. 3351–3357. 2018arXivDOI
  7. Strikwerda, John C. Finite Difference Schemes and Partial Differential Equations. SIAM. 2004
  8. Hairer, Ernst; Lubich, Christian; Wanner, Gerhard. Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations. Springer. 2006
  9. Arrighi, Pablo; Nesme, Vincent; Werner, Reinhard F. Bounds on the Speedup in Quantum Signaling. Physical Review A, vol. 95, no. 1, pp. 012331. 2017arXivDOI
  10. Schumacher, Benjamin; Werner, Reinhard F. Reversible Quantum Cellular Automata. arXiv preprint. 2004DOI
Show all 15 referencesShow fewer references
  1. Arrighi, Pablo; Nesme, Vincent; Werner, Reinhard. Unitarity Plus Causality Implies Localizability. Journal of Computer and System Sciences, vol. 77, no. 2, pp. 372–378. 2011DOI
  2. Farrelly, Terry. A Review of Quantum Cellular Automata. Quantum, vol. 4, pp. 368. 2020DOI
  3. Toffoli, Tommaso; Margolus, Norman. Cellular Automata Machines: A New Environment for Modeling. The MIT Press. 1987
  4. Earn, David J. D.; Tremaine, Scott. Exact Numerical Studies of Hamiltonian Maps: Iterating without Roundoff Error. Physica D: Nonlinear Phenomena, vol. 56, no. 1, pp. 1–22. 1992DOI
  5. National Institute of Standards; Technology. NIST Digital Library of Mathematical Functions. Accessed 23 October 2026. Online reference, Chapter 22, Sections 22.4 and 22.13link

Version history

  1. v1Submitted by Zhenyu SunInitial depositCurrentOct 25, 2026