Constraint analysis for variational discrete systems
Abstract
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves and naturally incorporates both constant and evolving phase spaces, the latter of which is necessary for a time varying discretization. The different roles of constraints in the discrete and the conditions under which they are first or second class and/or symmetry generators are clarified. The (non-) preservation of constraints and the symplectic structure is discussed; on evolving phase spaces the number of constraints at a fixed time step depends on the initial and final time step of evolution. Moreover, the definition of observables and a reduced phase space is provided; again, on evolving phase spaces the notion of an observable as a propagating degree of freedom requires specification of an initial and final step and crucially depends on this choice, in contrast to the continuum. However, upon restriction to translation invariant systems, one regains the usual time step independence of canonical concepts. This analysis applies, e.g., to discrete mechanics, lattice field theory, quantum gravity models and numerical analysis.
- Publication:
-
Journal of Mathematical Physics
- Pub Date:
- September 2013
- DOI:
- 10.1063/1.4818895
- arXiv:
- arXiv:1303.4294
- Bibcode:
- 2013JMP....54i3505D
- Keywords:
-
- 04.60.Ds;
- 04.60.Gw;
- 02.30.Xx;
- 03.65.Db;
- 03.65.Ta;
- Canonical quantization;
- Covariant and sum-over-histories quantization;
- Calculus of variations;
- Functional analytical methods;
- Foundations of quantum mechanics;
- measurement theory;
- Mathematical Physics;
- General Relativity and Quantum Cosmology;
- High Energy Physics - Lattice
- E-Print:
- 49 pages, many figures, typos corrected, clarification concerning consistency of discrete evolution from initial value problem added, matches published version