Related papers: First Reduce or First Quantize? A Lagrangian Appro…
Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…
Starting with the first-order singular Lagrangian describing the dynamical system with 2nd-class constraints, the noncommutative quantum mechanics on a curved space is investigated by the constraint star-product quantization formalism of…
The system of two-dimensional damped harmonic oscillator is revisited in the extended phase space. It is an old problem already addressed by many authors that we present here in some fresh points of view and carry on smoothly a whole…
We discuss the phenomenon of preacceleration in the light of a method of successive approximations used to construct the physical order reduction of a large class of singular equations. A simple but illustrative physical example is analyzed…
Reasoning about the physical world requires models that are endowed with the right inductive biases to learn the underlying dynamics. Recent works improve generalization for predicting trajectories by learning the Hamiltonian or Lagrangian…
Second-order Lagrangian densities admitting a first-order Hamiltonian formalism are studied; namely, i) for each second-order Lagrangian density on an arbitrary fibred manifold $p\colon E\to N$ the Poincar\'e-Cartan form of which is…
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main…
In the study of alternative or extended theories of gravity, Dirac's Hamiltonian constraint algorithm is invaluable for enumerating the propagating modes and gauge symmetries. For gravity, this canonical approach is frequently applied as a…
We present here the first lattice simulation of symplectic quantization, a new functional approach to quantum field theory which allows to define an algorithm to numerically sample the quantum fluctuations of fields directly in Minkowski…
Geometric properties of operators of quantum Dirac constraints and physical observables are studied in semiclassical theory of generic constrained systems. The invariance transformations of the classical theory -- contact canonical…
The procedure of Dirac reduction of Poisson operators on submanifolds is discussed within a particularly useful special realization of the general Marsden-Ratiu reduction procedure. The Dirac classification of constraints on 'first-class'…
Starting with the first-order singular Lagrangian, the canonical structures of the noncommutative quantum system on a submanifold embedded in the higher-dimensional Euclidean space are investigated with the projection operator method (POM)…
A consistent guiding-center Hamiltonian theory is derived by Lie-transform perturbation method, with terms up to second order in magnetic-field nonuniformity. Consistency is demonstrated by showing that the guiding-center transformation…
The light-front (LF) canonical quantization of quantum chromodynamics in covariant gauge is discussed. The Dirac procedure is used to eliminate the constraints in the gauge-fixed front form theory quantum action and to construct the LF…
Optimization problems with convex quadratic cost and polyhedral constraints are ubiquitous in signal processing, automatic control and decision-making. We consider here an enlarged problem class that allows to encode logical conditions and…
Motivated by the problem of longitudinal data assimilation, e.g., in the registration of a sequence of images, we develop the higher-order framework for Lagrangian and Hamiltonian reduction by symmetry in geometric mechanics. In particular,…
We investigate constrained quantum motion on curves and surfaces using connection factorization methods. We show that Laplace operators admit an exact half-connection factorization generated by connection one-forms. The first-order part of…
We provide the detailed asymptotic behavior for first-order aggregation models of heterogeneous oscillators. Due to the dissimilarity of natural frequencies, one could expect that all relative distances converge to definite positive value…
Finite dimensional models that mimic the constraint structure of Einstein's General Relativity are quantized in the framework of BRST and Dirac's canonical formalisms. The first system to be studied is one featuring a constraint quadratic…
It is shown that a Dirac bracket algebra is isomorphic to the original Poisson bracket algebra of first class functions subject to first class constraints. The isomorphic image of the Dirac bracket algebra in the star-product commutator…