Related papers: A Uniqueness Theorem for Constraint Quantization
This paper develops the theory of discrete Dirac reduction of discrete Lagrange-Dirac systems with an abelian symmetry group acting on the configuration space. We begin with the linear theory and, then, we extend it to the nonlinear setting…
We investigate refined algebraic quantisation with group averaging in a constrained Hamiltonian system whose gauge group is the connected component of the lower triangular subgroup of SL(2,R). The unreduced phase space is T^*R^{p+q} with…
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…
We discuss the use of Dirac structures to obtain a better understanding of the geometry of a class of optimal control problems and their reduction by symmetries. In particular we will show how to extend the reduction of Dirac structures…
We analyse the `quantization commutes with reduction' problem (first studied in physics by Dirac, and known in the mathematical literature also as the Guillemin-Sternberg Conjecture) for the conjugate action of a compact connected Lie group…
We study the discretization of (almost-)Dirac structures using the notion of retraction and discretization maps on manifolds. Additionally, we apply the proposed discretization techniques to obtain numerical integrators for port-Hamiltonian…
A relativistic Hamiltonian mechanical system is seen as a conservative Dirac constraint system on the cotangent bundle of a pseudo-Riemannian manifold. We provide geometric quantization of this cotangent bundle where the quantum constraint…
Quantization relates Poisson algebras to $C^*$-algebras. The analysis of local gauge symmetries in algebraic quantum field theory is approached through the quantization of classical gauge theories, regarded as constrained dynamical systems.…
The Jackiw-Rajaraman version of the chiral Schwinger model is studied as a function of the renormalization parameter. The constraints are obtained and they are used to carry out canonical quantization of the model by means of Dirac…
The Hamiltonian treatment of constrained systems in $G\ddot{u}ler's$ formalism leads us to the total differential equations in many variables. These equations are integrable if the corresponding system of partial differential equations is a…
The scope of constrained differential renormalization is to provide renormalized expressions for Feynman graphs, preserving at the same time the Ward identities of the theory. It has been shown recently that this can be done consistently at…
The Dirac constraint formalism is applied to linearized gravity to determine the structure of constraints and construct the canonical Hamiltonian. The diffeomorphism invariance of the Lagrangian is retrieved by a nontrivial generalization…
It has been known for some time that there are many inequivalent quantizations possible when the configuration space of a system is a coset space G/H. Viewing this classical system as a constrained system on the group G, we show that these…
In this article we show that boundary conditions can be treated as Lagrangian and Hamiltonian constraints. Using the Dirac method, we find that boundary conditions are equivalent to an infinite chain of second class constraints which is a…
When a map is classically uniquely ergodic, it is expected that its quantization will posses quantum unique ergodicity. In this paper we give examples of Quantum Unique Ergodicity for the perturbed Kronecker map, and an upper bound for the…
We develop a Lagrangian quantization formalism for a class of theories obtained by the restriction of the configuration space of gauge fields from a wider (parental) gauge theory. This formalism is based on application of the…
We present a reduction procedure for gauge theories based on quotienting out the kernel of the presymplectic form in configuration-velocity space. Local expressions for a basis of this kernel are obtained using phase space procedures; the…
The general procedure of constructing a consistent covariant Dirac-type bracket for models with mixed first and second class constraints is presented. The proposed scheme essentially relies upon explicit separation of the initial…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual…
In this article we extend to generic $p$-energy minimizing maps between Riemannian manifolds a regularity result which is known to hold in the case $p=2$. We first show that the set of singular points of such a map can be quantitatively…