Related papers: Refined Algebraic Quantization of Constrained Syst…
Reduced density matrices are a powerful tool in the analysis of entanglement structure, approximate or coarse-grained dynamics, decoherence, and the emergence of classicality. It is straightforward to produce a reduced density matrix with…
The constraint algebra is derived in the second order tetrad Hamiltonian formalism of the bigravity. This is done by a straightforward calculation without involving any insights, implicit functions, and Dirac brackets. The tetrad approach…
Constraints imposed directly on accelerations of the system leading to the relation of constants of motion with appropriate local projectors occurring in the derived equations are considered. In this way a generalization of the Noether's…
We study model predictive control for singular differential-algebraic equations with higher index. This is a novelty when compared to the literature where only regular differential-algebraic equations with additional assumptions on the…
We aim at studying collections of algebraic structures defined over a commutative ring and investigating the complexity of significant constructions carried out on these objects. The assignment of measures of size, via a multiplicity…
There is a constrained-WZNW--Toda theory for any simple Lie algebra equipped with an integral gradation. It is explained how the different approaches to these dynamical systems are related by gauge transformations. Combining Gauss…
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…
A minor change in the Barcelos-Wotzasek (BW) symplectic algorithm for constrained systems is proposed. The change addresses some criticism that formalism has received, placing it on the same footing as Dirac's algorithm.
It is shown that anti-BRST invariance in quantum gauge theories can be considered as the quantized version of the symmetry of classical gauge theories with respect to different gauge fixing mechanisms.
We consider a generic gauge system, whose physical degrees of freedom are obtained by restriction on a constraint surface followed by factorization with respect to the action of gauge transformations; in so doing, no Hamiltonian structure…
The structure of the Connes-Kreimer renormalization Hopf algebra is studied for gauge theories, with particular emphasis on the BRST-formalism. We work in the explicit example of quantum chromodynamics, the physical theory of quarks and…
A generalization of the factorization technique is shown to be a powerful algebraic tool to discover further properties of a class of integrable systems in Quantum Mechanics. The method is applied in the study of radial oscillator, Morse…
We apply the BV formalism to non-commutative field theories, introduce BRST symmetry, and gauge-fix the models. Interestingly, we find that treating the full gauge symmetry in non-commutative models can lead to reducible gauge algebras. As…
We introduce a formulation of combined systems in orthodox non-relativistic quantum mechanics, mathematically equivalent to the usual one. For context and larger issues, see http://euclid.unh.edu/~jjohnson/axiomatics.html and…
Belief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the…
This paper presents an advanced mathematical analysis and simplification of the quadratic programming problem arising from fuzzy clustering with generalized capacity constraints. We extend previous work by incorporating broader balancing…
We present an algebraic algorithm for quantum state tomography that leverages measurements of certain observables to estimate structured entries of the underlying density matrix. Under low-rank assumptions, the remaining entries can be…
In this work we propose a new kind of parameterized outer estimate of the united solution set to an interval parametric linear system. The new method has several advantages compared to the methods obtaining parameterized solutions…
Lagrange multipliers are present in any gauge theory. They possess peculiar gauge transformation which is not generated by the constraints in the model as it is the case with the other variables. For rank one gauge theories we show how to…
The constrained Hamiltonian systems admitting no gauge conditions are considered. The methods to deal with such systems are discussed and developed. As a concrete application, the relationship between the Dirac and reduced phase space…