Related papers: Refined Algebraic Quantization: Systems with a sin…
Based on the results of a recent reexamination of the quantization of systems with first-class and second-class constraints from the point of view of coherent-state phase-space path integration, we give additional examples of the…
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…
Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula can contain, the variables can be nested within scopes of…
The Dirac-Bergmann algorithm is a recipe for converting a theory with a singular Lagrangian into a constrained Hamiltonian system. Constrained Hamiltonian systems include gauge theories -- general relativity, electromagnetism, Yang Mills,…
We present a novel framework for quantizing constrained quantum systems in which the processes of quantization and constraint enforcement are performed simultaneously. The approach is based on an extension of the stationary action…
We study systems of {\sigma}-algebras ordered by refinement and introduce the notion of an endogenous probability measure, invariant under admissible refinement transformations. We prove existence and structural properties of such measures…
In this paper, we explore the algebraic and geometric structures that arise from a procedure we dub "gauging the gauge", which involves the promotion of a certain global, coordinate independent symmetry to a local one. By gauging the global…
We propose a variant scheme of the Gauge Unfixing formalism which modifies directly the original phase space variables of a constrained system. These new variables are gauge invariant quantities. We apply our procedure in a mixed…
Correspondence between BRST-BFV, Dirac and refined algebraic (group averaging, projection operator) approaches to quantize constrained systems is analyzed. For the closed-algebra case, it is shown that the component of the BFV wave function…
We frame the Painlev\`e mechanical system, which has been extensively studied because of the paradox it generates, within the class of Regular Geometric Impulsive Mechanical Systems (RGIMS), by modeling it as a mechanical system subject to…
We consider quantum mechanics on constrained surfaces which have non-Euclidean metrics and variable Gaussian curvature. The old controversy about the ambiguities involving terms in the Hamiltonian of order hbar^2 multiplying the Gaussian…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
We are interested in shapes of real algebraic curves in the plane and regions surrounded by them: they are named refined algebraic domains by the author. As characteristic finite sets, we consider points contained in two curves and the sets…
The system of two relativistic particles with einbein fields is quantized as a constrained system.A method of the introduction of the Newton--Wigner collective coordinate is discussed in presence of different gauge fixing conditions. Some…
The paper concerns foundations of sensitivity and stability analysis in optimization and related areas, being primarily addressed truncated constrained systems. We consider general models, which are described by multifunctions between…
The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere), has been successfully used in the context of the canonical (Weyl) algebra of the…
The concurrent refinement algebra has been developed to support rely/guarantee reasoning about concurrent programs. The algebra supports atomic commands and defines parallel composition as a synchronous operation, as in Milner's SCCS. In…
The Dirac-Bergmann algorithm for the Hamiltonian analysis of constrained systems is a nice and powerful tool, widely used for quantization and non-perturbative counting of degrees of freedom. However, certain aspects of its application to…
We examine the characteristic features of reversible and quantum computations in the presence of supplementary external information, known as advice. In particular, we present a simple, algebraic characterization of languages recognized by…
Recently, it has been observed that a certain class of classical theories with constraints can be quantized by a mathematical procedure known as Rieffel induction. After a short exposition of this idea, we apply the new quantization theory…