Related papers: First Order Actions: a New View
The paper presents an explicit state-based modeling approach aimed at modeling Systems of Systems behavior. The approach allows to specify and verify incrementally safety and liveness rules without using model checking techniques. The…
A section of a Hamiltonian system is a hypersurface in the phase space of the system, usually representing a set of one-sided constraints (e.g. a boundary, an obstacle or a set of admissible states). In this paper we give local…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…
The classical and relativistic Hamilton-Jacobi approach is applied to the one-dimensional homogeneous potential, $V(q)=\alpha q^n$, where $\alpha$ and $n$ are continuously varying parameters. In the non-relativistic case, the exact…
A natural and very important development of constrained system theory is a detail study of the relation between the constraint structure in the Hamiltonian formulation with specific features of the theory in the Lagrangian formulation,…
Employing the Batalin-Vilkovisky (BV) formalism, we present a systematic and simple prescription to derive (first-class) constraints including the Hamiltonian constraint (a.k.a. flow equation), which plays pivotal role in holographic…
This paper discusses some of the modal involvements of analytical mechanics. I first review the elementary aspects of the Lagrangian, Hamiltonian and Hamilton-Jacobi approaches. I then discuss two modal involvements; both are related to…
A canonical Hamiltonian formalism is derived for a class of Ermakov systems specified by several different frequency functions. This class of systems comprises all known cases of Hamiltonian Ermakov systems and can always be reduced to…
Motivated by bifurcation of branches of homoclinic orbits of dynamical systems, we consider families of first-order equations on the real line and introduce a generalisation of previous index theorems by Pejsachowicz, and by Hu and…
We develop a first order formalism for constructing gravitational duals of conformal defects in a bottom up approach. Similarly as for the flat domain walls a single function specifies the solution completely. Using this formalism we…
This paper proposes an alternative to standard first-order logic that seeks greater naturalness, generality, and semantic self-containment. The system removes the first-order restriction, avoids type hierarchies, and dispenses with external…
Progression, the task of updating a knowledge base to reflect action effects, generally requires second-order logic. Identifying first-order special cases, by restricting either the knowledge base or action effects, has long been a central…
We show that the constraint structure in the chain by chain method can be investigated within the symplectic analysis of Faddeev-Jackiw formalism.
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the…
The quantum action principle of renormalisation theory is applied to the antibracket-antifield formalism for Hamiltonian systems. General results on the local BRST cohomology allow one to prove that the anomalies appear in the time…
In this work, we analyse the properties of the Maupertuis' action as a tool to reveal the phase space structure for Hamiltonian systems. We construct a scalar field with the action's values along the trajectories in the phase space. The…
This paper seeks to apply categorical logic to the design of artificial intelligent agents that reason symbolically about objects more richly structured than sets. Using Johnstone's sequent calculus of terms- and formulae-in-context, we…
A systematic construction of St\"{a}ckel systems in separated coordinates and its relation to bi-Hamiltonian formalism are considered. A general form of related hydrodynamic systems, integrable by the Hamilton-Jacobi method, is derived. One…
The relation that exists in quantum mechanics among action variables, angle variables and the phases of quantum states is clarified, by referring to the system of a generalized oscillator. As a by-product, quantum-mechanical meaning of the…