Related papers: First order formalism for bimetric theories with c…
The goal of this contribution is to introduce the Hamiltonian formalism of theoretical mechanics for analysing motion in generic linear and non-linear dynamical systems, including particle accelerators. This framework allows the derivation…
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
The interaction of (linearized) gravitation with matter is studied in the causal approach up to the second order of perturbation theory. We consider the generic case and prove that gravitation is universal in the sense that the existence of…
The Lagrangian formalism for variational problem for second-order delay ordinary differential equations (DODEs) is developed. The Noether-type operator identities and theorems for DODEs of second order are presented. Algebraic construction…
The complete proof of a theorem announced in [1] on the consistent interactions for (non-chiral) exterior form gauge fields is given. The theorem can be easily generalized to the analysis of anomalies. Its proof amounts to computing the…
We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
This note gives an introduction to Lagrangian field theories in the presence of boundaries. After an overview of the classical aspects, the cohomological formalisms to resolve singularities in the bulk and in the boundary theories (the BV…
In this article we discuss the convergence of first order operators on a thickened graph (a graph-like space) towards a similar operator on the underlying metric graph. On the graph-like space, the first order operator is of the form…
The concept of proximate order is widely used in the theories of entire, meromorphic, subharmonic and plurisubharmonic functions. We give a general interpretation of this concept as a proximate growth function relative to a model growth…
First-order legal relations specify the duties of legal actors. For instance, the duty not to trespass derives from a first-order law. Second-order legal relations generally concern the intentional, volitional acts of legal actors…
Recent work by Philbin [1] has provided a Lagrangian theory that establishes a general method for the canonical quantization of the electromagnetic field in any dispersive, lossy, linear dielectric. Working from this theory, we extend the…
Relativistic systems of particles interacting pairwise at a distance (interactions not mediated by fields) in flat spacetime are studied. It is assumed that the interactions propagate at the speed of light in vacuum and that all masses are…
We define quantum field theory by taking the Lagrangian action to be given as a sequence of mathematically well-defined functionals written in terms of operator fields fulfilling given \hbox{local} commutation relations. The renormalized…
The scalar field theory with higher derivatives is considered in the first order formalism. The field equation of the forth order describes scalar particles possessing two mass states. The first order relativistic wave equation in the…
We construct a general Lagrangian, quadratic in the field strengths of $n$ abelian gauge fields, which interpolates between BI actions of n abelian vectors and actions, quadratic in the vector field-strengths, describing Maxwell fields…
A first-order formulation of gravity is developed in which the fundamental fields consist of an SL(2,C) connection and two spinor-valued 1-forms. It is shown that the first term of an expansion of the Einstein-Hilbert action leads to an…
A first-order Lagrangian $L^\nabla $ variationally equivalent to the second-order Einstein-Hilbert Lagrangian is introduced. Such a Lagrangian depends on a symmetric linear connection, but the dependence is covariant under diffeomorphisms.…
The Lambek calculus is a substructural logic known to be closely related to the formal language theory: on the one hand, it is used for generating formal languages by means of categorial grammars and, on the other hand, it has formal…
We analyze the relation between the concept of auxiliary variables and the Inverse problem of the calculus of variations to construct a Lagrangian from a given set of equations of motion. The problem of the construction of a consistent…