Conserved quantities in discrete dynamics: what can be recovered from Noether’s theorem, how, and why?

The connections between symmetries and conserved quantities of a dynamical system brought to light by Noether’s theorem depend in an essential way on the symplectic nature of the underlying kinematics. In the discrete dynamics realm, a rather suggestive analogy for this structure is offered by second-order cellular automata. We ask to what extent the latter systems may enjoy properties analogous to those conferred, for continuous systems, by Noether’s theorem. For definiteness, as a second-order cellular automaton we use the Ising spin model with both ferromagnetic and antiferromagnetic bonds. We show that—and why—energy not only acts as a generator of the dynamics for this family of systems, but is also conserved when the dynamics is time-invariant. We then begin to explore the issue of whether, in these systems, it may hold as well that translation invariance entails momentum conservation.

[1]  C. Poole,et al.  Classical Mechanics, 3rd ed. , 2002 .

[2]  Y. Pomeau,et al.  Molecular dynamics of a classical lattice gas: Transport properties and time correlation functions , 1976 .

[3]  G. Vichniac Simulating physics with cellular automata , 1984 .

[4]  Bennett,et al.  Bond-energy variables for Ising spin-glass dynamics. , 1988, Physical review. B, Condensed matter.

[5]  Michael Danos,et al.  The Mathematical Foundations of Quantum Mechanics , 1964 .

[6]  J. W. Humberston Classical mechanics , 1980, Nature.

[7]  Jarkko Kari,et al.  Conservation Laws in Rectangular CA , 2008, J. Cell. Autom..

[8]  Y. Pomeau Invariant in cellular automata , 1984 .

[9]  Tommaso Toffoli,et al.  Methodology and implementation of a software architecture for cellular and lattice-gas automata programming , 2007 .

[10]  J. Gibbs Elementary Principles in Statistical Mechanics: Developed with Especial Reference to the Rational Foundation of Thermodynamics , 1902 .

[11]  Peter Walters,et al.  Symbolic dynamics and its applications , 1992 .

[12]  J. Gibbs Elementary Principles in Statistical Mechanics , 1902 .

[13]  Jarkko Kari,et al.  Theory of cellular automata: A survey , 2005, Theor. Comput. Sci..

[14]  Gary D. Doolen Lattice Gas Methods For Partial Differential Equations , 1990 .

[15]  Margolus,et al.  Cellular-automata supercomputers for fluid-dynamics modeling. , 1986, Physical review letters.

[16]  Tommaso Toffoli,et al.  Action, or the fungibility of computation , 1999 .

[17]  I. Kenyon,et al.  Classical Mechanics (3rd edn) , 1985 .

[18]  J. Kari Representation of reversible cellular automata with block permutations , 1996, Mathematical systems theory.

[19]  Anthony J. G. Hey,et al.  Feynman And Computation , 2002 .

[20]  C. Lanczos The variational principles of mechanics , 1949 .

[21]  Tommaso Toffoli,et al.  Cellular Automata as an Alternative to (Rather than an Approximation of) Differential Equations in M , 1984 .

[22]  Michael Creutz,et al.  Microcanonical Monte Carlo Simulation , 1983 .

[23]  John Grant That's disgusting , 2012 .

[24]  Akhilesh Tyagi A Principle of Least Computational Action , 1993 .

[25]  Richard Phillips Feynman,et al.  Conservation of energy , 2004 .

[26]  Tommaso Toffoli,et al.  How to turn a second-order cellular automaton into a lattice gas: a new inversion scheme , 2004, Theor. Comput. Sci..

[27]  Douglas Lind,et al.  An Introduction to Symbolic Dynamics and Coding , 1995 .