Related papers: Refined Algebraic Quantization of Constrained Syst…
The virtues of resolvent algebras, compared to other approaches for the treatment of canonical quantum systems, are exemplified by infinite systems of non-relativistic bosons. Within this framework, equilibrium states of trapped and…
We apply the modified triplectic formalism for quantizing several popular gauge models - non-abelian antisymmetric tensor field model, W2-gravity and two-dimensional gravity with dynamical torsion. The explicit solutions are obtained for…
A superspace formulation for the Batalin Vilkovisky formalism (also called field-antifield quantization ) with extended BRST invariance (BRST and anti-BRST invariance ) for gauge theories with closed algebra is presented. In contrast to a…
The set of two-body reduced states of translation invariant, infinite quantum spin chains can be approximated from inside and outside using matrix product states and marginals of finite systems, respectively. These lead to hierarchies of…
We show that the BFV quantization scheme can be implemented in the nonprojectable 2+1 Horava theory. This opens the possibility of imposing more general gauge conditions in the quantization of this theory. The BFV quantization is based on…
Prior knowledge and symbolic rules in machine learning are often expressed in the form of label constraints, especially in structured prediction problems. In this work, we compare two common strategies for encoding label constraints in a…
We continue the study of extended T-systems of quantum affine algebras. We find a sub-system of the extended T-system of the quantum affine algebra $U_q \hat{\mathfrak{g}}$ of type $C_3$. The sub-system consisting of four systems which are…
Generalized parameter estimation-based observers have proven very successful to deal with systems described in state-affine form. In this paper, we enlarge the domain of applicability of this method proposing an algebraic procedure to…
We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic functions are defined as zeros of multivariate polynomials. They are…
We present an alternative quantization for irreducible open gauge theories. The method relies on the possibility of modifying the classical BRST operator and the gauge-fixing action written as in Yang-Mills type theories, in order to obtain…
This article is devoted to the analysis of the gauge-fixed BRST cohomology complex for a matrix model endowed with a $U(2)$-gauge symmetry. After a brief introduction on the BV construction and the gauge-fixing procedure in the setting of…
We apply the BFFT formalism to a prototypical second-class system, aiming to convert its constraints from second- to first-class. The proposed system admits a consistent initial set of second-class constraints and an open potential function…
It is possible to introduce external time dependent back ground fields in the formulation of a system as fields whose dynamics can not be deduced from Euler Lagrange equations of motion. This method leads to singular Lagrangians for real…
The BRST generator is realized as a Hermitian nilpotent operator for a finite-dimensional gauge system featuring a quadratic super-Hamiltonian and linear supermomentum constraints. As a result, the emerging ordering for the Hamiltonian…
We introduce and study a new discrete basis of gravity constraints by making use of harmonic expansion for closed cosmological models. The full set of constraints is splitted into area-preserving spatial diffeomorphisms, forming closed…
We propose a construction for nonlinear off-shell gauge field theories based on a constrained system quantized in the sense of deformation quantization. The key idea is to consider the star-product BFV--BRST master equation as an equation…
The Refined Gribov-Zwanziger framework takes into account the existence of equivalent gauge field configurations in the gauge-fixing quantization procedure of Euclidean Yang-Mills theories. Recently, this setup was extended to the family of…
The question is raised whether the unique decomposition of the physical Hilbert space, as emerging in the refined algebraic quantization of a constrained system, may be understood in terms of the old Klein-Gordon type quantization.
Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over the reals, and generally over continuous spaces, mean. This…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…