Related papers: Faddeev-Jackiw Approach to Classical Constrained S…
In this series of papers, we present a set of methods to revive quantum geometrodynamics which encountered numerous mathematical and conceptual challenges in its original form promoted by Wheeler and De Witt. In this paper, we introduce the…
It is shown that an arbitrary singular Lagrangian theory (with first and second class constraints up to $N$-th stage in the Hamiltonian formulation) can be reformulated as a theory with at most third-stage constraints. The corresponding…
We describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension of the well-known size-change termination method.…
We present the Hamilton-Jakobi method for the classical mechanics with constrains in Grassmann algebra. In the frame of this method the solution for the classical system characterized by the SUSY Lagrangian is obtained.
We present the Hamilton-Jakobi method for the classical mechanics with constrains in Grassmann algebra. In the frame of this method the solution for the classical system characterized by the SUSY Lagrangian is obtained.
A modification of the canonical quantization procedure for systems with time-dependent second-class constraints is discussed and applied to the quantization of the relativistic particle in a plane wave. The time dependence of constraints…
The effective approach to quantum dynamics allows a reformulation of the Dirac quantization procedure for constrained systems in terms of an infinite-dimensional constrained system of classical type. For semiclassical approximations, the…
A detailed program is proposed in the Lagrangian formalism to investigate the dynamical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we…
Following a consistent geometrical description previously introduced in Parra-Rodriguez et al. (2024), we present an exact method for obtaining canonically quantizable Hamiltonian descriptions of nonlinear, nonreciprocal quasi-lumped…
The natural constraints for the weak-field approximation to composite gravity, which is obtained by expressing the gauge vector fields of the Yang-Mills theory based on the Lorentz group in terms of tetrad variables and their derivatives,…
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
We provide a detailed comparison of the different approaches available for the quantization of a totally constrained system with a constraint algebra generating the non-compact $SL(2,\mathbb{R})$ group. In particular, we consider three…
A complete geometric classification of symmetries of autonomous Hamiltonian mechanical systems is established; explaining how to obtain their associated conserved quantities in all cases. In particular, first we review well-known results…
In the framework of Galilei classical mechanics (i.e., general relativistic classical mechanics on a spacetime with absolute time) developed by Jadczyk and Modugno, we analyse systematically the relations between symmetries of the geometric…
This work propose an alternative and systematic way to obtain a canonical Lagrangian formulation for rotational systems. This will be done in the symplectic framework and with the introduction of extra variables which enlarge the phase…
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which a particularly simple combination of Lambek's and the proof…
A formulation of singular classical theories (determined by degenerate Lagrangians) without constraints is presented. A partial Hamiltonian formalism in the phase space having an initially arbitrary number of momenta (which can be smaller…
Previous work in the literature has studied the Hamiltonian structure of an R-squared model of gravity with torsion in a closed Friedmann-Robertson-Walker universe. Within the framework of Dirac's theory, torsion is found to lead to a…
In this paper we discuss singular Lagrangian systems on the framework of contact geometry. These systems exhibit a dissipative behavior in contrast with the symplectic scenario. We develop a constraint algorithm similar to the presymplectic…
This paper extends the tools of C*-algebraic strict quantization toward analyzing the classical limits of unbounded quantities in quantum theories. We introduce the approach first in the simple case of finite systems. Then we apply this…