Related papers: Formal Equivalence Between Normal Forms of Reversi…
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the…
We prove the existence of normally hyperbolic invariant cylinders in nearly integrable hamiltonian systems.
The Hamiltonian for a system of relativistic bodies interacting by their gravitational field is found in the post-Minkowskian approximation, including all terms linear in the gravitational constant. It is given in a surprisingly simple…
We generalize a recently proposed approach for the construction of pseudo-Hermitian Hamiltonians with real spectra. Present technique is based on a simple and straightforward similarity transformation of the coordinate and momentum.
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…
Renormalization of Hamiltonian field theory is usually a rather painful algebraic or numerical exercise. By combining a method based on the coupled cluster method, analysed in detail by Suzuki and Okamoto, with a Wilsonian approach to…
In this note, we provide a important considerations of a familiar topic: the gradient of a vector field. The gradient of a vector field is a common quantity represented in continuum mechanics. However, even for Cartesian coordinate systems,…
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…
Given two two-dimensional conformal field theories, a domain wall -- or defect line -- between them is called invertible if there is another defect with which it fuses to the identity defect. A defect is called topological if it is…
We discuss various aspects concerning transformations of local analytic, or formal, vector fields to Poincare-Dulac normal form, and the convergence of such transformations. We first review A.D. Bruno's approach to formal normalization, as…
It is feasible to obtain any basic rule of the already known Quantum Mechanics applying the Hamilton-Jacobi formalism to an interacting system of 2 fermionic degrees of freedom. The interaction between those fermionic variables unveils also…
We establish a strong-weak coupling duality between two types of free matrix models. In the large-N limit, the real-symmetric matrix model is dual to the quaternionic-real matrix model. Using the large-N conformal invariant collective field…
The usual mathematical formalism of quantum field theory is non-rigorous because it contains divergences that can only be renormalized by non-rigorous mathematical methods. The purpose of this paper is to present a method of subtraction of…
Jacobi fields of classical solutions of a Hamiltonian mechanical system are quantized in the framework of vertical-extended Hamiltonian formalism. Quantum Jacobi fields characterize quantum transitions between classical solutions.
Formalism of extended Lagrangian represent a systematic procedure to look for the local symmetries of a given Lagrangian action. In this work, the formalism is discussed and applied to a field theory. We describe it in detail for a field…
We use Moser's normal forms to study chaotic motion in two-degree hamiltonian systems near a saddle point. Besides being convergent, they provide a suitable description of the cylindrical topology of the chaotic flow in that vicinity. Both…
Reciprocal transformations of Hamiltonian operators of hydrodynamic type are investigated. The transformed operators are generally nonlocal, possessing a number of remarkable algebraic and differential-geometric properties. We apply our…
We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics,…
The dynamic of a classical system can be expressed by means of Poisson brackets. In this paper we generalize the relation between the usual non covariant Hamiltonian and the Poisson brackets to a covariant Hamiltonian and new brackets in…
We introduce in the framework of the linear approximation of General relativity a natural distinction between General gauge transformations generated by any vector field and those Special ones for which this vector field is a gradient. This…