Unique normal forms for area preserving maps near a fixed point with neutral multipliers

We study normal forms for families of area-preserving maps which have a fixed point with neutral multipliers ±1 at ? = 0. Our study covers both the orientation-preserving and orientation-reversing cases. In these cases Birkhoff normal forms do not provide a substantial simplification of the system. In the paper we prove that the Takens normal form vector field can be substantially simplified. We also show that if certain non-degeneracy conditions are satisfied no further simplification is generically possible since the constructed normal forms are unique. In particular, we provide a full system of formal invariants with respect to formal coordinate changes.     

Generic super-exponential stability of elliptic equilibrium positions for symplectic vector fields

In this article, we consider linearly stable elliptic fixed points (equilibrium) for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. We will focus on the neighborhood of elliptic fixed points but the case of linearly stable isotropic reducible invariant tori in a Hamiltonian system should be similar. More specifically, Morbidelli and Giorgilli have proved a result of stability over superexponentially long times if one considers an analytic Lagrangian torus, invariant for an analytic Hamiltonian system, with a diophantine translation vector which admits a sign-definite torsion. Then, the solutions of the system move very little over times which are super-exponentially long with respect to the inverse of the distance to the invariant torus. The proof proceeds in two steps: first one constructs a high-order Birkhoff normal form, then one applies the Nekhoroshev theory. Bounemoura has shown that the second step of this construction remains valid if the Birkhoff normal form linked to the invariant torus or the elliptic fixed point belongs to a generic set among the formal series. This is not sufficient to prove this kind of super-exponential stability results in a general setting. We should also establish that the most strongly non resonant elliptic fixed point or invariant torus in a Hamiltonian system admits Birkhoff normal forms fitted for the application of the Nekhoroshev theory. Actually, the set introduced by Bounemoura is already very large but not big enough to ensure that a typical Birkhoff normal form falls into this class. We show here that this property is satisfied generically in the sense of the measure (prevalence) through infinite-dimensional probe spaces (that is, an infinite number of parameters chosen at random) with methods similar to those developed in a paper of Gorodetski, Kaloshin and Hunt in another setting.     

Quantum Birkhoff normal forms

We consider quantum analogues of several theorems on Birkhoff normal forms and prove a quantum analogue of the theorem on reducing a Hamiltonian to the normal form and the analogue of the theorem on reducing a Hamiltonian to the real normal form. We obtain the normal form explicitly in the nonresonant case. We consider the uniqueness problems of the normal form and of the normalizing transformation in the nonresonant and resonant cases.     

Normal form of a quantum Hamiltonian with one and a half degrees of freedom near a hyperbolic fixed point

According to classical result of Moser [1] a real-analytic Hamiltonian with one and a half degrees of freedom near a hyperbolic fixed point can be reduced to the normal form by a real-analytic symplectic change of variables. In this paper the result is extended to the case of the non-commutative algebra of quantum observables.We use an algebraic approach in quantum mechanics presented in [2] and develop it to the non-autonomous case. We introduce the notion of quantum non-autonomous canonical transformations and prove that they form a group and preserve the structure of the Heisenberg equation. We give the concept of a non-commutative normal form and prove that a time-periodic quantum observable with one degree of freedom near a hyperbolic fixed point can be reduced to a normal form by a canonical transformation. Unlike traditional results, where only formal theory of normal forms is constructed, we prove a convergence of the normalizing procedure.      

The small quantum cohomology of a weighted projective space, a mirror D-module and their classical limits

We first describe a mirror partner (B-model) of the small quantum orbifold cohomology of weighted projective spaces (A-model) in the framework of differential equations: we attach to the A-model (resp. B-model) a quantum differential system (that is a trivial bundle equipped with a suitable flat meromorphic connection and a flat bilinear form) and we give an explicit isomorphism between these two quantum differential systems. On the A-side (resp. on the B-side), the quantum differential system alluded to is naturally produced by the small quantum cohomology (resp. a solution of the Birkhoff problem for the Brieskorn lattice of a Landau–Ginzburg model). Then we study the degenerations of these quantum differential systems and we apply our results to the construction of (classical, limit, logarithmic) Frobenius manifolds.     

Polynomial normal forms with exponentially small remainder for analytic vector fields

A key tool in the study of the dynamics of vector fields near an equilibrium point is the theory of normal forms, invented by Poincaré, which gives simple forms to which a vector field can be reduced close to the equilibrium. In the class of formal vector valued vector fields the problem can be easily solved, whereas in the class of analytic vector fields divergence of the power series giving the normalizing transformation generally occurs. Nevertheless the study of the dynamics in a neighborhood of the origin can very often be carried out via a normalization up to finite order. This paper is devoted to the problem of optimal truncation of normal forms for analytic vector fields in R^m. More precisely we prove that for any vector field in R^m admitting the origin as a fixed point with a semi-simple linearization, the order of the normal form can be optimized so that the remainder is exponentially small. We also give several examples of non-semi-simple linearization for which this result is still true.     

Pseudo-normal form near saddle-center or saddle-focus equilibria

In this paper we introduce the pseudo-normal form, which generalizes the notion of normal form around an equilibrium. Its convergence is proved for a general analytic system in a neighborhood of a saddle-center or a saddle-focus equilibrium point. If the system is Hamiltonian or reversible, this pseudo-normal form coincides with the Birkhoff normal form, so we present a new proof in these celebrated cases. From the convergence of the pseudo-normal form for a general analytic system several dynamical consequences are derived, like the existence of local invariant objects.     

Entangled Markov chains

Motivated by the problem of finding a satisfactory quantum generalization of the classical random walks, we construct a new class of quantum Markov chains which are at the same time purely generated and uniquely determined by a corresponding classical Markov chain. We argue that this construction yields as a corollary, a solution to the problem of constructing quantum analogues of classical random walks which are “entangled” in a sense specified in the paper.The formula giving the joint correlations of these quantum chains is obtained from the corresponding classical formula by replacing the usual matrix multiplication by Schur multiplication.The connection between Schur multiplication and entanglement is clarified by showing that these quantum chains are the limits of vector states whose amplitudes, in a given basis (e.g. the computational basis of quantum information), are complex square roots of the joint probabilities of the corresponding classical chains. In particular, when restricted to the projectors on this basis, the quantum chain reduces to the classical one. In this sense we speak of entangled lifting, to the quantum case, of a classical Markov chain. Since random walks are particular Markov chains, our general construction also gives a solution to the problem that motivated our study.In view of possible applications to quantum statistical mechanics too, we prove that the ergodic type of an entangled Markov chain with finite state space (thus excluding random walks) is completely determined by the corresponding ergodic type of the underlying classical chain. Mathematics Subject Classification (2000) Primary 46L53, 60J99; Secondary 46L60, 60G50, 62B10     

A Diophantine duality applied to the KAM and Nekhoroshev theorems

In this paper, we use geometry of numbers to relate two dual Diophantine problems. This allows us to focus on simultaneous approximations rather than small linear forms. As a consequence, we develop a new approach to the perturbation theory for quasi-periodic solutions dealing only with periodic approximations and avoiding classical small divisors estimates. We obtain two results of stability, in the spirit of the KAM and Nekhoroshev theorems, in the model case of a perturbation of a constant vector field on the $n$ -dimensional torus. Our first result, which is a Nekhoroshev type theorem, is the construction of a “partial” normal form, that is a normal form with a small remainder whose size depends on the Diophantine properties of the vector. Then, assuming our vector satisfies the Bruno–Rüssmann condition, we construct an “inverted” normal form, recovering the classical KAM theorem of Kolmogorov, Arnold and Moser for constant vector fields on torus.     

Determination of Lagrangians from Equations of Motion and Commutator Brackets

The question as to whether a given set of equations, which govern the dynamical evolution of a system, determine a Lagrangian is considered. This problem, which has come to be known as the inverse problem of the calculus of variations, is reviewed and theorems which contain systems of partial differential equations which determine a type of self-adjointness are developed. It is shown that, given a reasonable form for the classical correspondence, the usual quantum commutator brackets can be expressed in terms of classical quantities which satisfy a particular form of these equations.     

Normal form theory for reversible equivariant vector fields

We give a method to obtain formal normal forms of reversible equivariant vector fields. The procedurewe present is based on the classical method of normal forms combined with tools from invariant theory. Normal forms of two classes of resonant cases are presented, both with linearization having a 2-dimensional nilpotent part and a semisimple part with purely imaginary eigenvalues.     

The possibility of reconciling quantum mechanics with classical probability theory

We describe a scheme for constructing quantum mechanics in which a quantum system is considered as a collection of open classical subsystems. This allows using the formal classical logic and classical probability theory in quantum mechanics. Our approach nevertheless allows completely reproducing the standard mathematical formalism of quantum mechanics and identifying its applicability limits. We especially attend to the quantum state reduction problem. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 149, No. 3, pp. 457–472, December, 2006.     

Invariant normalization of non-autonomous Hamiltonian systems

A new algorithm is proposed for reducing non-autonomous Hamiltonian systems to normal Birkhoff form. The criterion for the normal form is the condition that the vector fields of the perturbed and unperturbed parts of the system should commute. The invariant character of the criterion enables the system to be normalized in a unified way, without first simplifying the unperturbed part and without distinguishing between resonance and non-resonance, or autonomous and non-autonomous, cases. The whole algorithm reduces to a one-dimensional recurrence formula. The result is obtained by using the Campbell-Hausdorff formula for the ring of asymptotic forms, as well as the solution of a homologicla equation in the form of a quadrature. Three examples are considered to illustrate the various special features of the new algorithm. One of the examples is of interest for nuclear magnetic resonance theory.     

Invariant Tori, Effective Stability, and Quasimodes with Exponentially Small Error Terms II - ?Birkhoff Normal Forms

. The aim of this paper is to obtain quasimodes for a Schrödinger type operator P_h in a semi-classical limit (h \searrow 0) (h \searrow 0) with exponentially small error terms which are associated with Gevrey families of KAM tori of its principal symbol H. To do this we construct a Gevrey quantum Birkhoff normal form of P_h around the union L \Lambda of the KAM tori starting from a suitable Birkhoff normal form of H around L \Lambda . As an application we prove sharp lower bounds for the number of resonances of P_h defined by complex scaling which are exponentially close to the real axis. Applications to the discrete spectrum are also obtained.     

Framed moduli spaces and tuples of operators

In this work, we address the classical problem of classifying tuples of linear operators and linear functions on a finite-dimensional vector space up to base change. Having adopted for the situation a construction of framed moduli spaces of quivers, we develop an explicit classification of tuples belonging to a Zariski open subset. For such tuples we provide a finite family of normal forms and a procedure allowing one to determine whether two tuples are equivalent.     

Global structure and geodesics for Koenigs superintegrable systems

We present a new derivation of the local structure of Koenigs metrics using a framework laid down by Matveev and Shevchishin. All of these dynamical systems allow for a potential preserving their superintegrability (SI) and most of them are shown to be globally defined on either ?² or ?². Their geodesic flows are easily determined thanks to their quadratic integrals. Using Carter (or minimal) quantization, we show that the formal SI is preserved at the quantum level and for two metrics, for which all of the geodesics are closed, it is even possible to compute the classical action variables and the point spectrum of the quantum Hamiltonian.     

KAM-tori near an analytic elliptic fixed point

We study the accumulation of an elliptic fixed point of a real analytic Hamiltonian by quasi-periodic invariant tori. We show that a fixed point with Diophantine frequency vector ω ₀ is always accumulated by invariant complex analytic KAM-tori. Indeed, the following alternative holds: If the Birkhoff normal form of the Hamiltonian at the invariant point satisfies a Rüssmann transversality condition, the fixed point is accumulated by real analytic KAM-tori which cover positive Lebesgue measure in the phase space (in this part it suffices to assume that ω ₀ has rationally independent coordinates). If the Birkhoff normal form is degenerate, there exists an analytic subvariety of complex dimension at least d + 1 passing through 0 that is foliated by complex analytic KAM-tori with frequency ω ₀. This is an extension of previous results obtained in [1] to the case of an elliptic fixed point.     

Invariant Tori, Effective Stability, and Quasimodes with Exponentially Small Error Terms I - ?Birkhoff Normal Forms

. The aim of this paper (part I and II) is to explore the relationship between the effective (Nekhoroshev) stability for near-integrable Hamiltonian systems and the semi-classical asymptotics for Schrödinger operators with exponentially small error terms. Given a real analytic Hamiltonian H close to a completely integrable one and a suitable Cantor set Q \Theta defined by a Diophantine condition, we are going to find a family L_w, w ? Q \Lambda_{\omega}, \omega \in \Theta , of KAM invariant tori of H with frequencies w ? Q \omega \in \Theta which is Gevrey smooth in a Whitney sense. Moreover, we obtain a symplectic Gevrey normal form of the Hamiltonian in a neighborhood of the union L \Lambda of the invariant tori which can be viewed as a simultaneous Birkhoff normal form of H around all invariant tori L_w \Lambda_{\omega} . This leads to effective stability of the quasiperiodic motion near L \Lambda . As an application we obtain in part II (semiclassical) quasimodes with exponentially small error terms which are associated with a Gevrey family of KAM tori for its principal symbol H. To do this we construct a quantum Birkhoff normal form of the Schrödinger operator around L \Lambda in suitable Gevrey classes starting from the Birkhoff normal form of H.     

The Analytic and Formal Normal Form for the Nilpotent Singularity

We study orbital normal forms for analytic planar vector fields with nilpotent singularity. We show that the Takens normal form is analytic. In the case of generalized cusp we present the complete formal orbital normal form; it contains functional moduli. We interprete the coefficients of these moduli in terms of the hidden holonomy group.     

Nonautonomous Hamiltonian quantum systems,operator equations,and representations of the Bender–Dunne Weyl-ordered basis under time-dependent canonical transformations

We solve the problem of integrating operator equations for the dynamics of nonautonomous quantum systems by using time-dependent canonical transformations. The studied operator equations essentially reproduce the classical integrability conditions at the quantum level in the basic cases of one-dimensional nonautonomous dynamical systems. We seek solutions in the form of operator series in the Bender–Dunne basis of pseudodifferential operators. Together with this problem, we consider quantum canonical transformations. The minimal solution of the operator equation in the representation of the basis at a fixed time corresponds to the lowest-order contribution of the solution obtained as a result of applying a canonical linear transformation to the basis elements.