Related papers: Exorcising the Ostrogradsky ghost in coupled syste…
We consider a new form of theories of gravity in which the action is written in terms of the Ricci scalar and its first and second derivatives. Despite the higher derivative nature of the action, the theory is free from ghost under an…
An alternative class of the Lagrangian called the multiplicative form is suc- cessfully derived for a system with one degree of freedom for both non-relativistic and relativistic cases. This new Lagrangian can be considered as a…
In this paper we study multi-gravity (multi-metric and multi-vielbein) theories in the presence of cycles of interactions (cycles in the so-called `theory graph'). It has been conjectured that in multi-metric theories such cycles lead to…
We observe that a wide class of higher-derivative systems admits a bounded integral of motion that ensures the classical stability of dynamics, while the canonical energy is unbounded. We use the concept of a Lagrange anchor to demonstrate…
In this paper we propose an axiomatization for the notion of strong emergence phenomenon between field theories depending on additional parameters, which we call parameterized field theories. We present sufficient conditions ensuring the…
The objective of this thesis is to present a viable extension of general relativity free from cosmological singularities. A viable cosmology, in this sense, is one that is free from ghosts, tachyons or exotic matter, while staying true to…
A detailed program is proposed in the Lagrangian formalism to investigate the dynamical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we…
In order to explore some general features of modified theories of gravity which involve higher derivatives and spontaneous Lorentz and/or diffeomorphism symmetry breaking, we study the recently proposed new version of covariant…
$f(R)$ supergravity is known to contain a ghost mode associated with higher-derivative terms if it contains $R^n$ with $n$ greater than two.We remove the ghost in $f(R)$ supergravity by introducing auxiliary gauge field to absorb the ghost.…
Galileons are higher-derivative theories of a real scalar which nevertheless admit second order equations of motion. They have interesting applications as dark energy models and in early universe cosmology, and have been conjectured to…
We consider the higher-order gravity theory derived from the quadratic lagrangian $R+\epsilon R^2$ in vacuum as a first-order (ADM-type) system with constraints, and build time developments of solutions of an initial value formulation of…
The quantization of the electroweak theory is performed starting from the Lagrangian given in the so-called unitary gauge in which the unphysical Goldstone fields disappear. In such a Lagrangian, the unphysical longitudinal components of…
Many theorems about Kolmogorov complexity rely on existence of combinatorial objects with specific properties. Usually the probabilistic method gives such objects with better parameters than explicit constructions do. But the probabilistic…
Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of pre-/postconditions. Ghost variables are variables that do…
A canonical formalism for higher-derivative theories is presented on the basis of Dirac's method for constrained systems. It is shown that this formalism shares a path integral expression with Ostrogradski's canonical formalism.
We study the Hamiltonian structure of tri-gravity and four-gravity in the framework of ADM decomposition of the corresponding metrics. Hence we can deduce the general structure of the constraint system of multi-gravity. We will show it is…
We consider a problem whether bound states are made in a scalar theory with a fourth-order derivative term or not. After rewriting the theory to a standard scalar theory with second-order derivative terms, we calculate a correlation…
We address the problem of the existence of a Lagrangian for a given system of linear PDEs with constant coefficients. As a subtask, this involves bringing the system into a pre-Lagrangian form, wherein the number of equations matches the…
Systems of ordinary differential equations (or dynamical forms in Lagrangian mechanics), induced by embeddings of smooth fibered manifolds over one-dimensional basis, are considered in the class of variational equations. For a given…
We introduce the principle of Occam's Razor in a form which can be used as a basis for economical formulations of physics. This allows us to explain the general structure of the Lagrangian for a composite physical system, as well as some…