Related papers: That strange procedure called quantisation
In this work we give a deformation theoretical approach to the problem of quantization. First the notion of a deformation of a noncommutative ringed space over a commutative locally ringed space is introduced within a language coming from…
The effective classical/quantum dynamics of a particle constrained on a closed line embedded in a higher dimensional configuration space is analyzed. By considering explicit examples it is shown how different reduction mechanisms produce…
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…
This is an introduction to quantum gravity, aimed at a fairly general audience and concentrating on what have historically two main approaches to quantum gravity: the covariant and canonical programs (string theory is not covered). The…
This paper deals with a problem from discrete-time robust control which requires the solution of constraints over the reals that contain both universal and existential quantifiers. For solving this problem we formulate it as a program in a…
This is a collection of lectures given at the University of Heidelberg, especially but not exclusively for people who want to learn something about the canonical approach to quantum gravity, which is however not included in these lectures.…
Recently two pairs of authors have aimed to vindicate the longstanding conventional claim that a first-class constraint generates a gauge transformation in typical gauge theories such as electromagnetism, Yang-Mills and General Relativity,…
Different group structures which underline the integrable systems are considered. In some cases, the quantization of the integrable system can be provided with substituting groups by their quantum counterparts. However, some other group…
Algebraic quantization scheme has been proposed as an extension of the Dirac quantization scheme for constrained systems. Semi-classical states for constrained systems is also an independent and important issue, particularly in the context…
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes…
Using arbitrary symplectic structures and parametrization invariant actions, we develop a formalism, based on Dirac's quantization procedure, that allows us to consider theories with both space-space as well as space-time noncommutativity.…
Systems under holonomic constraints are classified within the generalized Hamiltonian framework as second-class constraints systems. We show that each system of point particles with holonomic constraints has a hidden gauge symmetry which…
Contents * Introduction -- Why $S^1$-extended phase space? -- Why central extensions of classical symmetries? * Central extension \Gt of a group $G$ -- Group cohomology -- Cohomology and contractions: Pseudo-cohomology -- Principal bundle…
In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks those systems perform as Quantitative Logic Reasoning. Analogous…
After the development of a self-consistent quantum formalism nearly a century ago there began a quest for how to interpret the theoretical constructs of the formalism. In fact, the pursuit of new interpretations of quantum mechanics…
A careful study of the classical/quantum connection with the aid of coherent states offers new insights into various technical problems. This analysis includes both canonical as well as closely related affine quantization procedures. The…
Quantization is still a central problem of modern physics. One example of an unsolved problem is the quantization of Nambu mechanics. After a brief comment on the role of Harrison cohomology, this review concentrates on the central problem…
Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was…
A notion of generalized quantifier in computational complexity theory is explored and used to give a unified treatment of leaf language definability, oracle separations, type 2 operators, and circuits with monoidal gates. Relations to…
The problems arising when quantizing systems with periodic boundary conditions are analysed, in an algebraic (group-) quantization scheme, and the ``failure" of the Ehrenfest theorem is clarified in terms of the already defined notion of…