Related papers: Refined Algebraic Quantization of Constrained Syst…
Shape constraints (such as non-negativity, monotonicity, convexity) play a central role in a large number of applications, as they usually improve performance for small sample size and help interpretability. However enforcing these shape…
By explicit calculation of the effect of a ghost-dependent canonical transformation of BRST-charge, we derive the corresponding transformation law for structure coefficients of hamiltonian gauge algebra under rotation of constraints.We show…
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…
We study a version of the randomized Kaczmarz algorithm for solving systems of linear equations where the iterates are confined to the solution space of a selected subsystem. We show that the subspace constraint leads to an accelerated…
We discuss a universal algebraic approach to quasi-exactly solvable models which allows us to interpret them as constrained Hamiltonian systems with a finite number of physical states. Using this approach we reproduce well-known…
Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for reactive systems. Refinement calculus is based on…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
There is an elaborated abstract form of BRST quantization on inner product spaces within the operator formalism which leads to BRST invariant states of the form |ph>=e^{[Q,\psi]} |\phi> where \psi is a gauge fixing fermion, and where |\phi>…
Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum…
The analytic structure of {\it physical} amplitudes is considered for gauge theories with confinement of excitations corresponding to the elementary fields. Confinement is defined in terms of the BRST algebra. BRST-invariant, local,…
We study the deformation quantisation (Moyal quantisation) of general constrained Hamiltonian systems. It is shown how second class constraints can be turned into first class quantum constraints. This is illustrated by the O(N) non-linear…
The controller design of the so-called "difference algebraic equation" (DAE) systems that are frequently shown in industrial processes, tend to be challenging because of the combination of algebraic equations and high state dimensions. In…
The generalized version of a lower dimensional model where vector and axial vector interaction get mixed up with different weight is considered. The bosonized version of which does not posses the local gauge symmetry. An attempt has been…
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and functional requirements of the upper level specification.…
Conditional Restricted Boltzmann Machines (CRBMs) are rich probabilistic models that have recently been applied to a wide range of problems, including collaborative filtering, classification, and modeling motion capture data. While much…
A method is discussed to analyze the dynamics of a dissipative quantum system. The method hinges upon the definition of an alternative (time-dependent) product among the observables of the system. In the long time limit this yields a…
We investigate Refined Algebraic Quantization (RAQ) with group averaging in a constrained Hamiltonian system with unreduced phase space T^*R^4 and gauge group SL(2,R). The reduced phase space M is connected and contains four mutually…
BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with…
We propose a general method for constructing boundary integrable Gaudin models associated with (twisted) affine algebras ${\cal G}^{(k)} (k=1, 2)$, where ${\cal G}$ is a simple Lie algebra or superalgebra. Many new integrable Gaudin models…
The paper studies the structure of restricted Leibniz algebras. More specifically speaking, we first give the equivalent definition of restricted Leibniz algebras, which is by far more tractable than that of a restricted Leibniz algebras in…