Related papers: Constraint structure in modified Faddeev-Jackiw me…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
The systematic method for the conversion of first class constraints to the equivalent set of Abelian one based on the Dirac equivalence transformation is developed. The representation for the corresponding matrix performing this…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
Central issues of the Dirac constraint formalism are discussed in relation to the algorithmic methods of commutative algebra based on the Groebner basis techniques. For a wide class of finite dimensional polynomial degenerate Lagrangian…
A generalized version is proposed for the field-antifield formalism. The antibracket operation is defined in arbitrary field-antifield coordinates. The antisymplectic definitions are given for first- and second-class constraints. In the…
This work deals with the presence of topological structures in models of two real scalar fields in the two-dimensional spacetime. The subject concerns the presence of a geometric constriction, which appears with a modification of the…
In this paper we set-up a general framework for a formal deformation theory of Dirac structures. We give a parameterization of formal deformations in terms of two-forms obeying a cubic equation. The notion of equivalence is discussed in…
We analyse the constraints of an Abelian 2-form gauge theory using Faddeev-Jackiw symplectic formalism. Further, this theory is treated as a constrained system in the context of Batalin-Fradkin-Vilkovisky formalism to retrieve the BRST…
A detailed Dirac's and Faddeev-Jackiw quantization of Bonzom-Livine model describing gravity in three dimensions is performed. The full structure of the constraints, the gauge transformations and the generalized Faddeev-Jackiw brackets are…
The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we…
In this work, a conformable singular system with second-class constraints is discussed. The conformable Poisson bracket (CDB) of two functions is defined. and, the Dirac theory is developed to be applicable to conformable singular systems.…
The first two authors of this paper asserted in Lemma 4 of "New Farkas-type constraint qualifications in convex infinite programming" (DOI: 10.1051/cocv:2007027) that a given reverse convex inequality is consequence of a given convex system…
In dependent type theory, being able to refer to a type universe as a term itself increases its expressive power, but requires mechanisms in place to prevent Girard's paradox from introducing logical inconsistency in the presence of…
We analyze the constraints of Christ-Lee model by the means of modified Faddeev-Jackiw formalism in Cartesian as well as polar coordinates. Further, we accomplish quantization \`{a} la Faddeev-Jackiw by choosing appropriate gauge conditions…
In this paper we analyze two higher-derivative theories, the generalized electrodynamics and the Alekseev-Arbuzov-Baikov's effective Lagrangian from the point of view of Faddeev-Jackiw sympletic approach. It is shown that the full set of…
In this note we study systems with a closed algebra of second class constraints. We describe a construction of the reduced theory that resembles the conventional treatment of first class constraints. It suggests, in particular, to compute…
We analyse systems described by first order actions using the Hamilton-Jacobi (HJ) formalism for singular systems. In this study we verify that generalized brackets appear in a natural way in HJ approach, showing us the existence of a…
We study a special class of non-convex quadratic programs subject to two (possibly indefinite) quadratic constraints when the level sets of the constraint functions are {\it not} arranged {\it alternatively.} It is shown in the paper that…
Previous work in the literature has studied the Hamiltonian structure of an R-squared model of gravity with torsion in a closed Friedmann-Robertson-Walker universe. Within the framework of Dirac's theory, torsion is found to lead to a…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…