Related papers: That strange procedure called quantisation
We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an…
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…
Gauge invariance in discrete dynamical systems and its connection with quantization are considered. For a complete description of gauge symmetries of a system we construct explicitly a class of groups unifying in a natural way the space and…
Dirac's quantization of the Maxwell theory on non-commutative spaces has been considered. First class constraints were found which are the same as in classical electrodynamics. The gauge covariant quantization of the non-linear equations of…
Our account of the problem of the classical limit of quantum mechanics involves two elements. The first one is self-induced decoherence, conceived as a process that depends on the own dynamics of a closed quantum system governed by a…
We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a relation to be…
The capture calculus is an extension of System F<: that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previous calculi had mechanized soundness proofs -- notably…
A quantization procedure, which has recently been introduced for the analysis of Painlev\'e equations, is applied to a general time-independent potential of a Newton equation. This analysis shows that the quantization procedure preserves…
An interpretation and re-formulation of modern physics which removes the presumption of the space-time continuum, and bases physical theory on a small number of rational and empirical principles. After briefly describing the philosophical…
A new realist interpretation of quantum mechanics is introduced. Quantum systems are shown to have two kinds of properties: the usual ones described by values of quantum observables, which are called extrinsic, and those that can be…
This paper explores the proof theory necessary for recommending an expressive but decidable first-order system, named MAV1, featuring a de Morgan dual pair of nominal quantifiers. These nominal quantifiers called `new' and `wen' are…
The Dirac procedure for dealing with constraints is applied to the quantization of gauge theories on the light front. The light cone gauge is used in conjunction with the first class constraints that arise and the resulting Dirac brackets…
We propose in this paper an alternative method for the quantisation of systems with first-class constraints. This method is a combination of the coherent-state-path-integral quantisation developed by Klauder, with the ideas of reduced state…
We first generalise the standard Wigner function to Dirac fermions in curved spacetimes. Secondly, we turn to the Moyal quantisation of systems with constraints. Gravity is used as an example.
Recently, there were works claiming that path integral quantisation of gauge theories necessarily requires relaxation of Lagrangian constraints. As has also been noted in the literature, it is of course wrong since there perfectly exist…
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…
The use of geometric methods has proved useful in the hamiltonian description of classical constrained systems. In this note we provide the first steps toward the description of the geometry of quantum constrained systems. We make use of…
We propose a method of quantization based on Hamilton-Jacobi theory in the presence of a random constraint due to the fluctuations of a set of hidden random variables. Given a Lagrangian, it reproduces the results of canonical quantization…
Although the quantization of relativistic systems in a proper-time framework gives new insights concerning the understanding of the so-called localization problem, classical observers cannot be treated as quantum comoving frames and real…
The first order form of a Maxwell theory and U(1) gauge theory in which a gauge invariant mass term appears is analyzed using the Dirac procedure. The form of the gauge transformation which leaves the action invariant is derived from the…