Related papers: First order formalism for bimetric theories with c…
The quantization of higher order time derivative theories including interactions is unclear. In this paper in order to solve this problem, we propose to consider a complex version of the higher order derivative theory and map this theory to…
The BV formalism is a well-established method for analyzing symmetries and quantization of field theories. In this paper we use the BV formalism to derive partition functions of gauge invariant operators up to equations of motions and their…
We study the Hamiltonian formalism for second order and fourth order nonlinear Schr\"{o}dinger equations. In the case of second order equation, we consider cubic and logarithmic nonlinearities. Since the Lagrangians generating these…
In this paper we consider the relation between symmetries and first integrals for both continuous canonical Hamiltonian equations and discrete Hamiltonian equations. We observe that canonical Hamiltonian equations can be obtained by…
We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity…
In this Thesis we develop the geometric formulations for higher-order autonomous and non-autonomous dynamical systems, and second-order field theories. In all cases, the physical information of the system is given in terms of a Lagrangian…
We continue the study of symmetries in the Lagrangian formalism of arbitrary order with the help of the so-called Anderson-Duchamp-Krupka equations. For the case of second-order equations and arbitrary vector fields we are able to establish…
We study the relation between the lagrangian field-antifield formalism and the BRST invariant phase space formulation of gauge theories. Starting from the Batalin-Fradkin-Vilkovisky unitarized action, we demonstrate in a deductive way the…
This series presents an approach to mathematical biology which makes precise the function of biological molecules. Because biological systems compute, the theory is a general purpose computer language. I build a language for efficiently…
This work is devoted to review the modern geometric description of the Lagrangian and Hamiltonian formalisms of the Hamilton--Jacobi theory. The relation with the "classical" Hamiltonian approach using canonical transformations is also…
The Lagrangian relativistic direct interaction theory in the various forms of dynamics is formulated and its connections with the Fokker-type action theory and with the constrained Hamiltonian mechanics are established. The motion of…
We recall two measurements of the order of contact of an ideal in the ring of germs of holomorphic functions at a point and we provide a class of examples in which they differ.
Lagrangian multiforms provide a variational framework for describing integrable hierarchies. This thesis presents two approaches for systematically constructing Lagrangian one-forms, which cover the case of finite-dimensional integrable…
The problem of the construction of Lagrangian and Hamiltonian structures starting from two first order equations of motion is presented. This new approach requires the knowledge of one (time independent) constant of motion for the dynamical…
We present a complete theory of higher-order autonomous contact mechanics, which allows us to describe higher-order dynamical systems with dissipation. The essential tools for the theory are the extended higher-order tangent bundles, ${\rm…
In this paper, we introduce a geometric description of contact Lagrangian and Hamiltonian systems on Lie algebroids in the framework of contact geometry, using the theory of prolongations. We discuss the relation between Lagrangian and…
We propose a procedure which allows one to construct local symmetry generators of general quadratic Lagrangian theory. Manifest recurrence relations for generators in terms of so-called structure matrices of the Dirac formalism are…
In this review we consider first order gravity in four dimensions. In particular, we focus our attention in formulations where the fundamental variables are a tetrad $e_a^I$ and a SO(3,1) connection ${\omega_{aI}}^J$. We study the most…
We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…
We show that all W-gravity actions can be easilly constructed and understood from the point of view of the Hamiltonian formalism for the constrained systems. This formalism also gives a method of constructing gauge invariant actions for…