-
Kirillov structures and reduction of Hamiltonian systems by scaling and standard symmetries
Authors:
A. Bravetti,
S. Grillo,
J. C. Marrero,
E. Padron
Abstract:
In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the parti…
▽ More
In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the particular case when the configuration space of the symplectic Hamiltonian system is a Lie group G, which coincides with the symmetry group, the reduced structure is an interesting Kirillov version of the Lie-Poisson structure on the dual space of the Lie algebra of G. We also discuss a reconstruction process for symplectic Hamiltonian systems which admit a scaling symmetry. All the previous results are illustrated in detail with some interesting examples.
△ Less
Submitted 19 October, 2023; v1 submitted 9 July, 2023;
originally announced July 2023.
-
The flow method for the Baker-Campbell-Hausdorff formula: exact results
Authors:
Federico Zadra,
Alessandro Bravetti,
Angel Alejandro García-Chung,
Marcello Seri
Abstract:
Leveraging techniques from the literature on geometric numerical integration, we propose a new general method to compute exact expressions for the BCH formula. In its utmost generality, the method consists in embedding the Lie algebra of interest into a subalgebra of the algebra of vector fields on some manifold by means of an isomorphism, so that the BCH formula for two elements of the original a…
▽ More
Leveraging techniques from the literature on geometric numerical integration, we propose a new general method to compute exact expressions for the BCH formula. In its utmost generality, the method consists in embedding the Lie algebra of interest into a subalgebra of the algebra of vector fields on some manifold by means of an isomorphism, so that the BCH formula for two elements of the original algebra can be recovered from the composition of the flows of the corresponding vector fields. For this reason we call our method the flow method. Clearly, this method has great advantage in cases where the flows can be computed analytically. We illustrate its usefulness on some benchmark examples where it can be applied directly, and discuss some possible extensions for cases where an exact expression cannot be obtained.
△ Less
Submitted 28 August, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Scaling Symmetries, Contact Reduction and Poincaré's dream
Authors:
Alessandro Bravetti,
Connor Jackman,
David Sloan
Abstract:
A symplectic Hamiltonian system admitting a scaling symmetry can be reduced to an equivalent contact Hamiltonian system in which some physically-irrelevant degree of freedom has been removed. As a consequence, one obtains an equivalent description for the same physical phenomenon, but with fewer inputs needed, thus realizing "Poincaré's dream" of a scale-invariant description of the universe. This…
▽ More
A symplectic Hamiltonian system admitting a scaling symmetry can be reduced to an equivalent contact Hamiltonian system in which some physically-irrelevant degree of freedom has been removed. As a consequence, one obtains an equivalent description for the same physical phenomenon, but with fewer inputs needed, thus realizing "Poincaré's dream" of a scale-invariant description of the universe. This work is devoted to a thorough analysis of the mathematical framework behind such reductions. We show that generically such reduction is possible and the reduced (fundamental) system is a contact Hamiltonian system. The price to pay for this level of generality is that one is compelled to consider the coupling constants appearing in the original Hamiltonian as part of the dynamical variables of a lifted system. This however has the added advantage of removing the hypothesis of the existence of a scaling symmetry for the original system at all, without breaking the sought-for reduction in the number of inputs needed. Therefore a large class of Hamiltonian (resp. Lagrangian) theories can be reduced to scale-invariant contact Hamiltonian (resp. Herglotz variational) theories.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Musical Stylistic Analysis: A Study of Intervallic Transition Graphs via Persistent Homology
Authors:
Martín Mijangos,
Alessandro Bravetti,
Pablo Padilla
Abstract:
Topological data analysis has been recently applied to investigate stylistic signatures and trends in musical compositions. A useful tool in this area is Persistent Homology. In this paper, we develop a novel method to represent a weighted directed graph as a finite metric space and then use persistent homology to extract useful features. We apply this method to weighted directed graphs obtained f…
▽ More
Topological data analysis has been recently applied to investigate stylistic signatures and trends in musical compositions. A useful tool in this area is Persistent Homology. In this paper, we develop a novel method to represent a weighted directed graph as a finite metric space and then use persistent homology to extract useful features. We apply this method to weighted directed graphs obtained from pitch transitions information of a given musical fragment and use these techniques to the study of stylistic trends. In particular, we are interested in using these tools to make quantitative stylistic comparisons. As a first illustration, we analyze a selection of string quartets by Haydn, Mozart and Beethoven and discuss possible implications of our results in terms of different approaches by these composers to stylistic exploration and variety. We observe that Haydn is stylistically the most conservative, followed by Mozart, while Beethoven is the most innovative, expanding and modifying the string quartet as a musical form. Finally we also compare the variability of different genres, namely minuets, allegros, prestos and adagios, by a given composer and conclude that the minuet is the most stable form of the string quartet movements.
△ Less
Submitted 23 April, 2022;
originally announced April 2022.
-
New directions for contact integrators
Authors:
Alessandro Bravetti,
Marcello Seri,
Federico Zadra
Abstract:
Contact integrators are a family of geometric numerical schemes which guarantee the conservation of the contact structure. In this work we review the construction of both the variational and Hamiltonian versions of these methods. We illustrate some of the advantages of geometric integration in the dissipative setting by focusing on models inspired by recent studies in celestial mechanics and cosmo…
▽ More
Contact integrators are a family of geometric numerical schemes which guarantee the conservation of the contact structure. In this work we review the construction of both the variational and Hamiltonian versions of these methods. We illustrate some of the advantages of geometric integration in the dissipative setting by focusing on models inspired by recent studies in celestial mechanics and cosmology.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Invariant measures for contact Hamiltonian systems: symplectic sandwiches with contact bread
Authors:
Alessandro Bravetti,
Manuel de León,
Juan Carlos Marrero,
Edith Padrón
Abstract:
We prove that, under some natural conditions, Hamiltonian systems on a contact manifold $C$ can be split into a Reeb dynamics on an open subset of $C$ and a Liouville dynamics on a submanifold of $C$ of codimension 1. For the Reeb dynamics we find an invariant measure. Moreover, we show that, under certain completeness conditions, the existence of an invariant measure for the Liouville dynamics ca…
▽ More
We prove that, under some natural conditions, Hamiltonian systems on a contact manifold $C$ can be split into a Reeb dynamics on an open subset of $C$ and a Liouville dynamics on a submanifold of $C$ of codimension 1. For the Reeb dynamics we find an invariant measure. Moreover, we show that, under certain completeness conditions, the existence of an invariant measure for the Liouville dynamics can be characterized using the notion of a symplectic sandwich with contact bread.
△ Less
Submitted 22 September, 2020; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Geometric numerical integration of Liénard systems via a contact Hamiltonian approach
Authors:
Federico Zadra,
Alessandro Bravetti,
Marcello Seri
Abstract:
Starting from a contact Hamiltonian description of Liénard systems, we introduce a new family of explicit geometric integrators for these nonlinear dynamical systems. Focusing on the paradigmatic example of the van der Pol oscillator, we demonstrate that these integrators are particularly stable and preserve the qualitative features of the dynamics, even for relatively large values of the time ste…
▽ More
Starting from a contact Hamiltonian description of Liénard systems, we introduce a new family of explicit geometric integrators for these nonlinear dynamical systems. Focusing on the paradigmatic example of the van der Pol oscillator, we demonstrate that these integrators are particularly stable and preserve the qualitative features of the dynamics, even for relatively large values of the time step and in the stiff regime.
△ Less
Submitted 5 March, 2021; v1 submitted 8 May, 2020;
originally announced May 2020.
-
Bregman dynamics, contact transformations and convex optimization
Authors:
Alessandro Bravetti,
Maria L. Daza-Torres,
Hugo Flores-Arguedas,
Michael Betancourt
Abstract:
Recent research on accelerated gradient methods of use in optimization has demonstrated that these methods can be derived as discretizations of dynamical systems. This, in turn, has provided a basis for more systematic investigations, especially into the geometric structure of those dynamical systems and their structure--preserving discretizations. In this work, we introduce dynamical systems defi…
▽ More
Recent research on accelerated gradient methods of use in optimization has demonstrated that these methods can be derived as discretizations of dynamical systems. This, in turn, has provided a basis for more systematic investigations, especially into the geometric structure of those dynamical systems and their structure--preserving discretizations. In this work, we introduce dynamical systems defined through a contact geometry which are not only naturally suited to the optimization goal but also subsume all previous methods based on geometric dynamical systems. As a consequence, all the deterministic flows used in optimization share an extremely interesting geometric property: they are invariant under contact transformations. In our main result, we exploit this observation to show that the celebrated Bregman Hamiltonian system can always be transformed into an equivalent but separable Hamiltonian by means of a contact transformation. This in turn enables the development of fast and robust discretizations through geometric contact splitting integrators. As an illustration, we propose the Relativistic Bregman algorithm, and show in some paradigmatic examples that it compares favorably with respect to standard optimization algorithms such as classical momentum and Nesterov's accelerated gradient.
△ Less
Submitted 16 October, 2022; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Numerical integration in celestial mechanics: a case for contact geometry
Authors:
Alessandro Bravetti,
Marcello Seri,
Mats Vermeeren,
Federico Zadra
Abstract:
Several dynamical systems of interest in celestial mechanics can be written in the form of a Newton equation with time-dependent dam**, linear in the velocities. For instance, the modified Kepler problem, the spin-orbit model and the Lane-Emden equation all belong to such class. In this work we start an investigation of these models from the point of view of contact geometry. In particular we fo…
▽ More
Several dynamical systems of interest in celestial mechanics can be written in the form of a Newton equation with time-dependent dam**, linear in the velocities. For instance, the modified Kepler problem, the spin-orbit model and the Lane-Emden equation all belong to such class. In this work we start an investigation of these models from the point of view of contact geometry. In particular we focus on the (contact) Hamiltonisation of these models and on the construction of the corresponding geometric integrators.
△ Less
Submitted 18 December, 2019; v1 submitted 5 September, 2019;
originally announced September 2019.
-
Contact variational integrators
Authors:
Mats Vermeeren,
Alessandro Bravetti,
Marcello Seri
Abstract:
We present geometric numerical integrators for contact flows that stem from a discretization of Herglotz' variational principle. First we show that the resulting discrete map is a contact transformation and that any contact map can be derived from a variational principle. Then we discuss the backward error analysis of our variational integrators, including the construction of a modified Lagrangian…
▽ More
We present geometric numerical integrators for contact flows that stem from a discretization of Herglotz' variational principle. First we show that the resulting discrete map is a contact transformation and that any contact map can be derived from a variational principle. Then we discuss the backward error analysis of our variational integrators, including the construction of a modified Lagrangian. Throughout the paper we use the damped harmonic oscillator as a benchmark example to compare our integrators to their symplectic analogues.
△ Less
Submitted 1 November, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Thermodynamics and evolutionary biology through optimal control
Authors:
Alessandro Bravetti,
Pablo Padilla
Abstract:
We consider a particular instance of the lift of controlled systems recently proposed in the theory of irreversible thermodynamics and show that it leads to a variational principle for an optimal control in the sense of Pontryagin. Then we focus on two important applications: in thermodynamics and in evolutionary biology. In the thermodynamic context, we show that this principle provides a dynamic…
▽ More
We consider a particular instance of the lift of controlled systems recently proposed in the theory of irreversible thermodynamics and show that it leads to a variational principle for an optimal control in the sense of Pontryagin. Then we focus on two important applications: in thermodynamics and in evolutionary biology. In the thermodynamic context, we show that this principle provides a dynamical implementation of the Second Law, which stabilizes the equilibrium manifold of a system. In the evolutionary context, we discuss several interesting features: it provides a robust scheme for the coevolution of the population and its fitness landscape; it has a clear informational interpretation; it recovers Price equation naturally; and finally, it extends standard evolutionary dynamics to include phenomena such as the emergence of cooperation and the coexistence of qualitatively different phases of evolution, which we speculate can be associated with Darwinism and punctuated equilibria.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Exact Baker-Campbell-Hausdorff formula for the contact Heisenberg algebra
Authors:
Alessandro Bravetti,
Angel Garcia-Chung,
Diego Tapias
Abstract:
In this work we introduce the contact Heisenberg algebra which is the restriction of the Jacobi algebra on contact manifolds to the linear and constant functions. We give the exact expression of its corresponding Baker-Campbell-Hausdorff formula. We argue that this result is relevant to the quantization of contact systems.
In this work we introduce the contact Heisenberg algebra which is the restriction of the Jacobi algebra on contact manifolds to the linear and constant functions. We give the exact expression of its corresponding Baker-Campbell-Hausdorff formula. We argue that this result is relevant to the quantization of contact systems.
△ Less
Submitted 14 September, 2016; v1 submitted 6 September, 2016;
originally announced September 2016.
-
Contact Hamiltonian Mechanics
Authors:
Alessandro Bravetti,
Hans Cruz,
Diego Tapias
Abstract:
In this work we introduce contact Hamiltonian mechanics, an extension of symplectic Hamiltonian mechanics, and show that it is a natural candidate for a geometric description of non-dissipative and dissipative systems. For this purpose we review in detail the major features of standard symplectic Hamiltonian dynamics and show that all of them can be generalized to the contact case.
In this work we introduce contact Hamiltonian mechanics, an extension of symplectic Hamiltonian mechanics, and show that it is a natural candidate for a geometric description of non-dissipative and dissipative systems. For this purpose we review in detail the major features of standard symplectic Hamiltonian dynamics and show that all of them can be generalized to the contact case.
△ Less
Submitted 15 November, 2016; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Liouville's Theorem and the canonical measure for nonconservative systems from contact geometry
Authors:
Alessandro Bravetti,
Diego Tapias
Abstract:
Standard statistical mechanics of conservative systems relies on the symplectic geometry of the phase space. This is exploited to derive Hamilton's equations, Liouville's theorem and to find the canonical invariant measure. In this work we analyze the statistical mechanics of a class of nonconservative systems stemming from contact geometry. In particular, we find out the generalized Hamilton's eq…
▽ More
Standard statistical mechanics of conservative systems relies on the symplectic geometry of the phase space. This is exploited to derive Hamilton's equations, Liouville's theorem and to find the canonical invariant measure. In this work we analyze the statistical mechanics of a class of nonconservative systems stemming from contact geometry. In particular, we find out the generalized Hamilton's equations, Liouville's theorem and the microcanonical and canonical measures invariant under the contact flow. Remarkably, the latter measure has a power law density distribution with respect to the standard contact volume form. Finally, we argue on the several possible applications of our results.
△ Less
Submitted 30 May, 2015; v1 submitted 28 November, 2014;
originally announced December 2014.
-
Contact Symmetries and Hamiltonian Thermodynamics
Authors:
A. Bravetti,
C. S. Lopez-Monsalvo,
F. Nettel
Abstract:
It has been shown that contact geometry is the proper framework underlying classical thermodynamics and that thermodynamic fluctuations are captured by an additional metric structure related to Fisher's Information Matrix. In this work we analyze several unaddressed aspects about the application of contact and metric geometry to thermodynamics. We consider here the Thermodynamic Phase Space and st…
▽ More
It has been shown that contact geometry is the proper framework underlying classical thermodynamics and that thermodynamic fluctuations are captured by an additional metric structure related to Fisher's Information Matrix. In this work we analyze several unaddressed aspects about the application of contact and metric geometry to thermodynamics. We consider here the Thermodynamic Phase Space and start by investigating the role of gauge transformations and Legendre symmetries for metric contact manifolds and their significance in thermodynamics. Then we present a novel mathematical characterization of first order phase transitions as equilibrium processes on the Thermodynamic Phase Space for which the Legendre symmetry is broken. Moreover, we use contact Hamiltonian dynamics to represent thermodynamic processes in a way that resembles the classical Hamiltonian formulation of conservative mechanics and we show that the relevant Hamiltonian coincides with the irreversible entropy production along thermodynamic processes. Therefore, we use such property to give a geometric definition of thermodynamically admissible fluctuations according to the Second Law of thermodynamics. Finally, we show that the length of a curve describing a thermodynamic process measures its entropy production.
△ Less
Submitted 22 February, 2015; v1 submitted 25 September, 2014;
originally announced September 2014.