Abstract
Using basic ideas from algebraic geometry, we extend the methods of Lagrangian and symplectic mechanics to treat a large class of discrete mechanical systems, that is, systems such as cellular automata in which time proceeds in integer steps and the configuration space is discrete. In particular, we derive an analog of the Euler-Lagrange equation from a variational principle, and prove an analog of Noether's theorem. We also construct a symplectic structure on the analog of the phase space, and prove that it is preserved by time evolution.
Similar content being viewed by others
References
Hartshorne, R.Albebraic Geometry, Springer-Verlag, New York, 1977.
Itoh, T. and Abe, K., Discrete Lagrange's equations and canonical equations based on the principle of least action,Appl. Math. Comput. 29, 161–183, (1989).
Kaneko, K., Symplectic cellular automata,Phys. Lett. A 129, 9–16, (1988).
Margolus, N., Physics and computation, MIT Technical Report MIT/LCS/TR-415; Physics-like models of computation,Physica 10D 81–95, (1984).
Matsumura, H.,Commutative Algebra, Benjamin, New York, 1970.
Mumford, D., An algebro-geometric construction of commuting operators and of solutions to the Toda lattice equation, Korteweg de Vries equation and related non-linear equations,Internat. Symp. Algebraic Geometry, Kyoto, 1977, pp. 115–153.
Nambu, Y., Field theory of Galois' fields, in I. A. Batalin, C. J. Isham, and G. A. Vilkovisky (eds),Quantum Field Theory and Quantum Statistics, Adam Hilger, Bristol, 1987.
S. Novikov (ed),Integrable Systems, London Mathematical Lecture Note Series 60, Cambridge U.P., Cambridge, 1981.
Toffoli, T. and Margolus, N.,Cellular Automata Machines: A New Environment for Modeling, MIT Press, Cambridge, Mass., 1987.
Thiram, E., Verstegen, D. and Weyers, J.,p-Adic dynamics,J. Stat. Phys. 54, 893–913 (1989).
Wolfram, S., personal communication.
Veselov, A. P., What is an integrable mapping?, in V. E. Zakharov (ed),What is Integrability?, Springer-Verlag, New York, 1991, pp. 251–272.