Related papers: First Order Actions: a New View
We investigate a class of first-order temporal-epistemic logics for reasoning about multi-agent systems. We encode typical properties of systems including perfect recall, synchronicity, no learning, and having a unique initial state in…
This mini-course provides a presentation of the method of characteristics to initial/boundary-value problems for systems of first-order partial differential equations and to Hamilton-Jacobi variational inequalities. In particular, these…
We develop here a simple quantisation formalism that make use of Lie algebra properties of the Poisson bracket. When the brackets $\{H,\phi_i\}$ and $\{\phi_i,\phi_j\}$, where $H$ is the Hamiltonian and $\phi_i$ are primary and secondary…
In this second paper of the series we specify general theory developed in the first paper. Here we study the structure of Jacobi fields in the case of an analytic system and piece-wise analytic control. Moreover, we consider only…
Constrained Hamiltonian systems are investigated by using the Hamilton-Jacobi method. Integration of a set of equations of motion and the action function is discussed. It is shown that we have two types of integrable systems: a) ${\it…
In this paper, we revisit the technique of doubling variables in first order Hamilton-Jacobi equations, especially when the equations arise in optimal control. We show that by tuning the penalization between the two points, we can change…
The Hamilton-Jacobi formalism was applied to quantize the front-form Schwinger model. The importance of the surface term is discussed in detail. The BRST-anti-BRST symmetry was analyzed within Hamilton-Jacobi formalism.
The Lie product and the order relation are viewed as defining structures for Hamiltonian dynamical systems. Their admissible combinations are singled out by the requirement that the group of the Lie automorphisms be contained in the group…
The classical representation of Hamiltonian systems in terms of action-angle variables are defined for simply connected domains such as an interior of a homoclinic orbit. On this basis methods of (local) perturbations leading, in…
Nonholonomic mechanical systems have been attracting more interest in recent years because of their rich geometric properties and their applications in Engineering. In all generality, we discuss the reduction of a Hamilton-Jacobi theory for…
The constraint operators belonging to a generally covariant system are found out within the framework of the BRST formalism. The result embraces quadratic Hamiltonian constraints whose potential can be factorized as a never null function…
We perform a systematic analysis of flow-like solutions in theories of Einstein gravity coupled to multiple scalar fields, which arise as holographic RG flows as well as in the context of cosmological solutions driven by scalars. We use the…
We develop a Lagrangian approach for constructing a symplectic structure for singular systems. It gives a simple and unified framework for understanding the origin of the pathologies that appear in the Dirac-Bergmann formalism, and offers a…
We argue that Hamilton-Jacobi equations provide a convenient and intuitive approach for studying the large-scale behavior of mean-field disordered systems. This point of view is illustrated on the problem of inference of a rank-one matrix.…
Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…
Topological constraints play a key role in the self-organizing processes that create structures in macro systems. In fact, if all possible degrees of freedom are actualized on equal footing without constraint, the state of "equipartition"…
Hamilton-Jacobi reachability (HJR) is an exciting framework used for control of safety-critical systems with nonlinear and possibly uncertain dynamics. However, HJR suffers from the curse of dimensionality, with computation times growing…
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order…
The interplay between the Hamilton-Jacobi theory of orthogonal separation of variables and the theory of group actions is investigated based on concrete examples.
The bound state wave functions for a wide class of exactly solvable potentials are found utilizing the quantum Hamilton-Jacobi formalism. It is shown that, exploiting the singularity structure of the quantum momentum function, until now…