Related papers: Refined Algebraic Quantization of Constrained Syst…
An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
Exact procedures that follow Dirac's constraint quantization of gauge theories are usually technically involved and often difficult to implement in practice. We overview an "effective" scheme for obtaining the leading order semiclassical…
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…
A gauge independent method of obtaining the reduced space of constrained dynamical systems is discussed in a purely lagrangian formalism. Implications of gauge fixing are also considered.
An effective formalism for quantum constrained systems is presented which allows manageable derivations of solutions and observables, including a treatment of physical reality conditions without requiring full knowledge of the physical…
Some general formulas are derived for the solutions of a BRST quantization on inner product spaces of finite dimensional bosonic gauge theories invariant under arbitrary Lie groups. A detailed analysis is then performed of SL(2,R) invariant…
We show that the Classical Constraint Algebra of a Parametrized Relativistic Gauge System induces a natural structure of Conformal Foliation on a Transversal Gauge. Using the theory of Conformal Foliations, we provide a natural Factor…
Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were developed that are generic in the transition type of the input…
It is shown that for a large class of non-holonomic quantum mechanical systems one can make the computation of BRST charge fully algorithmic. Two computer algebra programs written in the language of {\tt REDUCE} are described. They are able…
We apply a new and mathematically rigorous method for the quantization of constrained systems to two-dimensional gauge theories. In this method, which quantizes Marsden-Weinstein symplectic reduction, the inner product on the physical state…
We present an improved Bayesian framework for performing inference of affine transformations of constrained functions. We focus on quadrature with nonnegative functions, a common task in Bayesian inference. We consider constraints on the…
We propose an extended BRST invariant Lagrangian quantization scheme of general gauge theories based on explicit realization of "modified triplectic algebra" in general coordinates. All the known Lagrangian quantization schemes based on the…
So far, it is not well known how to deal with dissipative systems. There are many paths of investigation in the literature and none of them present a systematic and general procedure to tackle the problem. On the other hand, it is well…
Canonical quantisation of constrained systems with first class constraints via Dirac's operator constraint method proceeds by the thory of Rigged Hilbert spaces, sometimes also called Refined Algebraic Quantisation (RAQ). This method can…
A formalism for the study of highly interacting electronic systems is presented. The proposed scheme is based on two key concepts: composite operators and algebra constraints. Composite field operators, that naturally appear as a…
We investigate finite-dimensional constrained structured optimization problems, featuring composite objective functions and set-membership constraints. Offering an expressive yet simple language, this problem class provides a modeling…
Some well-known examples of constrained quantum systems commonly quantized via Feynman path integrals are re-examined using the notion of conditional integrators introduced in [1]. The examples yield some new perspectives on old results. As…
In this paper we present a new algebraic structure (a super hyperbolic system in our terminology) for finite quantum systems, which is a generalization of the usual one in the two-level system. It fits into the so-called generalized Pauli…
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…