Related papers: Constraint structure in modified Faddeev-Jackiw me…
Constrained Hamiltonian systems fall into the realm of presymplectic geometry. We show, however, that also Poisson geometry is of use in this context. For the case that the constraints form a closed algebra, there are two natural Poisson…
We review the Batalin-Tyutin approach of quantising second class systems which consists in enlarging the phase space to convert such systems into first class. The quantisation of first class systems, it may be mentioned, is already well…
We discuss the problem of non abelian constrained systems and the origin of appearance of non abelian algebras. We show that it is possible, in principle, to change a non abelian system to an abelian one, at least locally. Our method is…
In the generalized Hamiltonian formalism by Dirac, the method of constructing the generator of local-symmetry transformations for systems with first- and second-class constraints (without restrictions on the algebra of constraints) is…
The constrained Modified KP hierarchy is considered from the viewpoint of modification. It is shown that its second Poisson bracket, which has a rather complicated form, is associated to a vastly simpler bracket via Miura-type map. The…
We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geometric properties of…
The gauge symmetries of a general dynamical system can be systematically obtained following either a Hamiltonean or a Lagrangean approach. In the former case, these symmetries are generated, according to Dirac's conjecture, by the first…
This paper discusses the method of formative rules for first-order term rewriting, which was previously defined for a higher-order setting. Dual to the well-known usable rules, formative rules allow dropping some of the term constraints…
The boundary structure of $3+1$-dimensional gravity (in the Palatini-Cartan formalism) coupled to to gauge (Yang-Mills) and matter (scalar and spinorial) fields is described through the use of the Kijowski-Tulczijew construction. In…
We give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky's 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for composition of 1-morphisms and the two…
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…
We single out a class of Lagrangians on a group manifold, for which one can introduce non-canonical coordinates in the phase space, which simplify the construction of the Poisson structure without explicitly calculating the Dirac bracket.…
The embedding procedure of Batalin, Fradkin, and Tyutin, which allows to convert a second-class system into first-class, is pushed beyond the formal level. We explicitly construct, in all cases, the variables of the converted first-class…
We describe constraints that need to be satisfied ``near the top'' of the portraits of the elements in Grigorchuk group. These constraints, if satisfied by the portraits of all sections of some binary tree automorphism, guarantee that this…
We study the necessary and sufficient conditions on Abelianizable first class constraints. The necessary condition is derived from topological considerations on the structure of gauge group. The sufficient condition is obtained by applying…
We discuss the quantization of the restricted gauge theory of SU(2) QCD regarding it as a second-class constraint system, and construct the BRST symmetry of the constrained system in the framework of the improved Dirac quantization scheme.…
We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.
It is well known that in the first-discretize-then-optimize approach in the control of ordinary differential equations the adjoint method may converge under additional order conditions only. For Peer two-step methods we derive such adjoint…
A detailed Faddeev-Jackiw quantization of an Abelian and non-Abelian exotic action for gravity in three dimensions is performed. We obtain for the theories under study the constraints, the gauge transformations, the generalized…
We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment generalizes (after a routine renaming) two-variable logic as well…