Related papers: Constraint structure in modified Faddeev-Jackiw me…
For systems which contain both superselection structure and constraints, we study compatibility between constraining and superselection. Specifically, we start with a generalisation of Doplicher-Roberts superselection theory to the case of…
The nonholonomic constrained system with second-class constraints is investigated using the Hamilton-Jacobi (HJ) quantization scheme to yield the complete equations of motion of the system. Although the integrability conditions in the HJ…
Employing the Batalin-Vilkovisky (BV) formalism, we present a systematic and simple prescription to derive (first-class) constraints including the Hamiltonian constraint (a.k.a. flow equation), which plays pivotal role in holographic…
The Dirac constraint formalism is applied to linearized gravity to determine the structure of constraints and construct the canonical Hamiltonian. The diffeomorphism invariance of the Lagrangian is retrieved by a nontrivial generalization…
In the framework of polysymplectic Hamiltonian formalism, degenerate Lagrangian field systems are described as multi-Hamiltonian systems with Lagrangian constraints. The physically relevant case of degenerate quadratic Lagrangians is…
As shown by Ashtekar in the mid 80's, general relativity can be extended to incorporate degenerate metrics. This extension is not unique, however, as one can change the form of the hamiltonian constraints and obtain an {\it alternative}…
We review the Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation and discuss gauge freedom and display constraints for gauge theories in a general context. We introduce the Dirac bracket and show that it…
We describe the supersymmetrization of two formulations of free noncommutative planar particles -- in coordinate space with higher order Lagrangian [1] and in the framework of Faddeev and Jackiw [2,3], with first order action. In…
The Dirac-Bergmann algorithm is a recipe for converting a theory with a singular Lagrangian into a constrained Hamiltonian system. Constrained Hamiltonian systems include gauge theories -- general relativity, electromagnetism, Yang Mills,…
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…
The force fields of interior boundaries of matters are calculated as superposition of fields of modified Sierpinski carpet. The long-range effect interaction in irradiated crystals is introduced as various manifestations of second order…
Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…
Constrained bilevel optimization tackles nested structures present in constrained learning tasks like constrained meta-learning, adversarial learning, and distributed bilevel optimization. However, existing bilevel optimization methods…
We introduce 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) the two-variable fragment…
It is shown that the phase space path integral for a system with arbitrary second class constraints (primary, secondary ...) can be rewritten as a configuration space path integral of the exponent of the Lagrangian action with some local…
Motivated by the rank modulation scheme, a recent work by Sala and Dolecek explored the study of constraint codes for permutations. The constraint studied by them is inherited by the inter-cell interference phenomenon in flash memories,…
We provide a comprehensive classification of constraints and degrees of freedom for variational discrete systems governed by quadratic actions. This classification is based on the different types of null vectors of the Lagrangian two-form…
This work introduces a general multi-level model for self-adaptive systems. A self-adaptive system is seen as composed by two levels: the lower level describing the actual behaviour of the system and the upper level accounting for the…
An irreducible canonical approach to reducible second-class constraints is given. The procedure is illustrated on gauge-fixed two-forms.
The Hamiltonian analysis for the linearized $\lambda R$ gravity around the Minkowski background is performed. The first-class and second-class constraints for arbitrary values of $\lambda$ are presented, and two physical degrees of freedom…