Related papers: First-class constraints and the BV formalism
We reconsider the problem of BRST quantization of a mechanics with infinitely reducible first class constraints. Following an earlier recipe [Phys. Lett. B 381, 105, (1996)], the original phase space is extended by purely auxiliary…
D-dimensional constrained systems are studied with stochastic Lagrangian and\break Hamiltonian. It is shown that stochastic consistency conditions are second class constraints and Lagrange multiplier fields can be determined in…
Starting from a Lagrangian we perform the full constraint analysis of the Hamiltonian for General relativity in the tetrad-connection formulation for an arbitrary value of the Immirzi parameter and solve the second class constraints,…
The most common physical formalisms are the Lagrangian formalism and the Hamiltonian formalism. From the superficial point of view, they are one and the same, but rewritten in other terms. However, it seems that the Hamiltonian formalism…
Recently it was shown how to regularize the Batalin-Vilkovisky (BV) field-antifield formalism of quantization of gauge theories with the non-local regularization (NLR) method. The objective of this work is to make an analysis of the…
This work provides the first finite-time convergence guarantees for linearly constrained stochastic bilevel optimization using only first-order methods, requiring solely gradient information without any Hessian computations or second-order…
It is shown that the Dirac approach to Hamiltonization of singular theories can be slightly modified in such a way that primary Dirac constraints do not appear in the process. According to the modified scheme, Hamiltonian formulation of…
We introduce a class of first-order methods for smooth constrained optimization that are based on an analogy to non-smooth dynamical systems. Two distinctive features of our approach are that (i) projections or optimizations over the entire…
Mathematical Programs with Vanishing Constraints (MPVCs) are a notoriously challenging class of problems owing to their lack of constraint qualification. Therefore, to tackle these problems, relaxation-based approaches are typically used.…
In BV formalism we can consider a Lagrangian submanifold as a gauge condition. Starting with the BV action functional we construct a closed form on the space of Lagrangian submanifolds. If the action functional is invariant with respect to…
We present a detailed analysis of the 3+1-split formalism of gravity in the presence of a cosmological constant. The formalism helps revealing the intimate connection between holography and the initial value formulation of gravity. We show…
The importance of the first-class constraint algebra of general relativity is not limited just by its self-contained description of the gauge nature of spacetime, but it also provides conditions to properly evolve the geometry by selecting…
A systematic way of formulating the Batalin-Vilkovisky method of quantization was obtained in terms of the ``odd time'' formulation. We show that in a class of gauge theories it is possible to find an ``odd time lagrangian'' yielding, by a…
We define and study invariants which can be uniformly constructed for any gauge system. By a gauge system we understand an (anti-)Poisson supermanifold provided with an odd Hamiltonian self-commuting vector field called a homological vector…
A formulation of singular classical theories (determined by degenerate Lagrangians) without constraints is presented. A partial Hamiltonian formalism in the phase space having an initially arbitrary number of momenta (which can be smaller…
Two models with linear and nonlinear second class constraints are considered and gauged by embedding in an extended phase space. These models are the free non-relativistic particle on a hyperplane and hyper sphere in configuration space.…
The recently modified Faddeev-Jackiw formalism for systems having one chain of four levels of only second-class constraints is applied to the non-trivial a=1 bosonized chiral Schwinger model in (1+1) dimensions as well as to one mechanical…
We show how the BV-BFV formalism provides natural solutions to descent equations, and discuss how it relates to the emergence of holographic counterparts of given gauge theories. Furthermore, by means of an AKSZ-type construction we…
Finite dimensional models that mimic the constraint structure of Einstein's General Relativity are quantized in the framework of BRST and Dirac's canonical formalisms. The first system to be studied is one featuring a constraint quadratic…
In a first part we propose an introduction to multisymplectic formalisms, which are generalisations of Hamilton's formulation of Mechanics to the calculus of variations with several variables: we give some physical motivations, related to…