Related papers: First order formalism for bimetric theories with c…
We consider the standard model up to the second order of the perturbation theory (in the causal approach) and derive the most general form of the interaction Lagrangian for an arbitrary number of Higgs fields.
The Lagrangian formalism on a arbitrary non-fibrating manifold is considered. The kinematical description of this generic situation is based on the concept of (higher-order) Grassmann manifolds which is the factorization of the regular…
The Standard Model of particle physics was established based on the equivalence principle and gauge invariance. The Lagrangians were built upon experimental data demonstrating the violation of discrete symmetries together with ideas of…
By solving the first-order algebraic field equations which arise in the dual formulation of the D=2 principal chiral model (PCM) we construct an integrated Lax formalism built explicitly on the dual fields of the model rather than the…
First-order logic is the basis for many knowledge representation formalisms and methods. Providing technological support for learning to write first-order formulas for natural language specifications requires methods to test formulas for…
Two-spinor formalism for Einstein Lagrangian is developed. The gravitational field is regarded as a composite object derived from soldering forms. Our formalism is geometrically and globally well-defined and may be used in virtually any…
A classical tool for approximating integrals is the Laplace method. The first-order, as well as the higher-order Laplace formula is most often written in coordinates without any geometrical interpretation. In this article, motivated by a…
We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…
We present a covariant quantization of the first-order formulation of the Einstein-Hilbert theory using the path integral and BV formalisms. In this approach, the metric $g^{\mu\nu}$ and the connection $\Gamma^\lambda_{\mu\nu}$ are treated…
The first order form of the Yang-Mills and Einstein-Hilbert actions are quantized, and it is shown how Green's functions computed using the first and the second order form of these theories are related. Next we show how by use of Lagrange…
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. The dynamics for arities of…
A novel Dirac Hamiltonian formulation of the first order Einstein-Hilbert (EH) action, in which algebraic constraints are not solved to eliminate fields from the action at the Lagrangian level, has been shown to lead to an action and a…
The problem of gauge symmetry in higher derivative Lagrangian systems is discussed from a Hamiltonian point of view. The number of independent gauge parameters is shown to be in general {\it{less}} than the number of independent primary…
We formalize geometrically the idea that the (de Donder) Hamiltonian formulation of a higher derivative Lagrangian field theory can be constructed understanding the latter as a first derivative theory subjected to constraints.
In many nonlinear field theories, relevant solutions may be found by reducing the order of the original Euler-Lagrange equations, e.g., to first order equations (Bogomolnyi equations, self-duality equations, etc.). Here we generalise,…
A special class of mixed-symmetry type tensor gauge fields of degrees two and three in four dimensions is investigated from the perspective of the Lagrangian deformation procedure based on cohomological BRST techniques. It is shown that the…
Starting from the concept of involution of field equations, a universal method is proposed for constructing consistent interactions between the fields. The method equally well applies to the Lagrangian and non-Lagrangian equations and it is…
The fractional quantization of singular systems with second order Lagrangian is examined. The fractional singular Lagrangian is presented. The equations of motion are written as total differential equations within fractional calculus. Also,…
We provide a first-order homogenization result for quadratic functionals. In particular, we identify the scaling of the energy and the explicit form of the limiting functional in terms of the first-order correctors. The main novelty of the…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…