-
A unified framework for Simplicial Kuramoto models
Authors:
Marco Nurisso,
Alexis Arnaudon,
Maxime Lucas,
Robert L. Peach,
Paul Expert,
Francesco Vaccarino,
Giovanni Petri
Abstract:
Simplicial Kuramoto models have emerged as a diverse and intriguing class of models describing oscillators on simplices rather than nodes. In this paper, we present a unified framework to describe different variants of these models, categorized into three main groups: "simple" models, "Hodge-coupled" models, and "order-coupled" (Dirac) models. Our framework is based on topology, discrete different…
▽ More
Simplicial Kuramoto models have emerged as a diverse and intriguing class of models describing oscillators on simplices rather than nodes. In this paper, we present a unified framework to describe different variants of these models, categorized into three main groups: "simple" models, "Hodge-coupled" models, and "order-coupled" (Dirac) models. Our framework is based on topology, discrete differential geometry as well as gradient flows and frustrations, and permits a systematic analysis of their properties. We establish an equivalence between the simple simplicial Kuramoto model and the standard Kuramoto model on pairwise networks under the condition of manifoldness of the simplicial complex. Then, starting from simple models, we describe the notion of simplicial synchronization and derive bounds on the coupling strength necessary or sufficient for achieving it. For some variants, we generalize these results and provide new ones, such as the controllability of equilibrium solutions. Finally, we explore a potential application in the reconstruction of brain functional connectivity from structural connectomes and find that simple edge-based Kuramoto models perform competitively or even outperform complex extensions of node-based models.
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
Interpretable statistical representations of neural population dynamics and geometry
Authors:
Adam Gosztolai,
Robert L. Peach,
Alexis Arnaudon,
Mauricio Barahona,
Pierre Vandergheynst
Abstract:
The dynamics of neuron populations during many behavioural tasks evolve on low-dimensional manifolds. However, it remains challenging to discover latent representations from neural recordings that are interpretable and consistently decodable across individuals and conditions without explicitly relying on behavioural information. Here, we introduce MARBLE, a fully unsupervised geometric deep learni…
▽ More
The dynamics of neuron populations during many behavioural tasks evolve on low-dimensional manifolds. However, it remains challenging to discover latent representations from neural recordings that are interpretable and consistently decodable across individuals and conditions without explicitly relying on behavioural information. Here, we introduce MARBLE, a fully unsupervised geometric deep learning framework for the data-driven representation of non-linear dynamics based on statistical distributions of local dynamical features. Using both in silico examples from non-linear dynamical systems and recurrent neural networks and in vivo recordings from primates and rodents, we demonstrate that MARBLE can infer latent representations that are highly interpretable in terms of global system variables such as decision-thresholds, kinematics or internal states. We also show that MARBLE representations are consistent across neural networks and animals so that they can be used to compare cognitive computations or train universal decoders. Through extensive benchmarking, we show that unsupervised MARBLE provides best-in-class within- and across-animal decoding accuracy, comparable to or significantly better than current supervised approaches, yet without the need for behavioural labels. Our results suggest that using the manifold structure in conjunction with the temporal information of neural dynamics provides a common framework to develop better decoding algorithms and assimilate data across experiments.
△ Less
Submitted 18 March, 2024; v1 submitted 6 April, 2023;
originally announced April 2023.
-
PyGenStability: Multiscale community detection with generalized Markov Stability
Authors:
Alexis Arnaudon,
Dominik J. Schindler,
Robert L. Peach,
Adam Gosztolai,
Maxwell Hodges,
Michael T. Schaub,
Mauricio Barahona
Abstract:
We present PyGenStability, a general-use Python software package that provides a suite of analysis and visualisation tools for unsupervised multiscale community detection in graphs. PyGenStability finds optimized partitions of a graph at different levels of resolution by maximizing the generalized Markov Stability quality function with the Louvain or Leiden algorithms. The package includes automat…
▽ More
We present PyGenStability, a general-use Python software package that provides a suite of analysis and visualisation tools for unsupervised multiscale community detection in graphs. PyGenStability finds optimized partitions of a graph at different levels of resolution by maximizing the generalized Markov Stability quality function with the Louvain or Leiden algorithms. The package includes automatic detection of robust graph partitions and allows the flexibility to choose quality functions for weighted undirected, directed and signed graphs, and to include other user-defined quality functions.
△ Less
Submitted 8 November, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Sensitivity and spectral control of network lasers
Authors:
Dhruv Saxena,
Alexis Arnaudon,
Oscar Cipolato,
Michele Gaio,
Alain Quentel,
Sophia Yaliraki,
Dario Pisignano,
Andrea Camposeo,
Mauricio Barahona,
Riccardo Sapienza
Abstract:
Recently, random lasing in complex networks has shown efficient lasing over more than 50 localised modes, promoted by multiple scattering over the underlying graph. If controlled, these network lasers can lead to fast-switching multifunctional light sources with synthesised spectrum. Here, we observe both in experiment and theory high sensitivity of the network laser to the spatial shape of the pu…
▽ More
Recently, random lasing in complex networks has shown efficient lasing over more than 50 localised modes, promoted by multiple scattering over the underlying graph. If controlled, these network lasers can lead to fast-switching multifunctional light sources with synthesised spectrum. Here, we observe both in experiment and theory high sensitivity of the network laser to the spatial shape of the pump profile, with mode intensity variation of up to 280% for a non-homogeneous 7% pump decrease. We solve the nonlinear equations within the steady state ab-initio laser theory (SALT) approximation over a graph and we show selective lasing of around 90% of the top modes, effectively programming the spectrum of the lasing networks. In our experiments with polymer networks, this high sensitivity enables control of the lasing spectrum through non-uniform pump patterns. We propose the underlying complexity of the network modes as the key element behind efficient spectral control opening the way for the development of optical devices with wide impact for on-chip photonics for communication, sensing and computation.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Connecting Hodge and Sakaguchi-Kuramoto: a mathematical framework for coupled oscillators on simplicial complexes
Authors:
Alexis Arnaudon,
Robert L. Peach,
Giovanni Petri,
Paul Expert
Abstract:
We formulate a general Kuramoto model on weighted simplicial complexes where phases oscillators are supported on simplices of any order $k$. Crucially, we introduce linear and non-linear frustration terms that are independent of the orientation of the $k+1$ simplices, providing a natural generalization of the Sakaguchi-Kuramoto model. In turn, this provides a generalized formulation of the Kuramot…
▽ More
We formulate a general Kuramoto model on weighted simplicial complexes where phases oscillators are supported on simplices of any order $k$. Crucially, we introduce linear and non-linear frustration terms that are independent of the orientation of the $k+1$ simplices, providing a natural generalization of the Sakaguchi-Kuramoto model. In turn, this provides a generalized formulation of the Kuramoto higher-order parameter as a potential function to write the dynamics as a gradient flow. With a selection of simplicial complexes of increasingly complex structure, we study the properties of the dynamics of the simplicial Sakaguchi-Kuramoto model with oscillators on edges to highlight the complexity of dynamical behaviors emerging from even simple simplicial complexes. We place ourselves in the case where the vector of internal frequencies of the edge oscillators lies in the kernel of the Hodge Laplacian, or vanishing linear frustration, and, using the Hodge decomposition of the solution, we understand how the nonlinear frustration couples the dynamics in orthogonal subspaces. We discover various dynamical phenomena, such as the partial loss of synchronization in subspaces aligned with the Hodge subspaces and the emergence of simplicial phase re-locking in regimes of high frustration.
△ Less
Submitted 20 May, 2022; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Moment evolution equations and moment matching for stochastic image EPDiff
Authors:
Alexander Christgau,
Alexis Arnaudon,
Stefan Sommer
Abstract:
Models of stochastic image deformation allow study of time-continuous stochastic effects transforming images by deforming the image domain. Applications include longitudinal medical image analysis with both population trends and random subject specific variation. Focusing on a stochastic extension of the LDDMM models with evolutions governed by a stochastic EPDiff equation, we use moment approxima…
▽ More
Models of stochastic image deformation allow study of time-continuous stochastic effects transforming images by deforming the image domain. Applications include longitudinal medical image analysis with both population trends and random subject specific variation. Focusing on a stochastic extension of the LDDMM models with evolutions governed by a stochastic EPDiff equation, we use moment approximations of the corresponding Itô diffusion to construct estimators for statistical inference in the full stochastic model. We show that this approach, when efficiently implemented with automatic differentiation tools, can successfully estimate parameters encoding the spatial correlation of the noise fields on the image.
△ Less
Submitted 7 December, 2022; v1 submitted 7 October, 2021;
originally announced October 2021.
-
Unfolding the multiscale structure of networks with dynamical Ollivier-Ricci curvature
Authors:
Adam Gosztolai,
Alexis Arnaudon
Abstract:
Describing networks geometrically through low-dimensional latent metric spaces has helped design efficient learning algorithms, unveil network symmetries and study dynamical network processes. However, latent space embeddings are limited to specific classes of networks because incompatible metric spaces generally result in information loss. Here, we study arbitrary networks geometrically by defini…
▽ More
Describing networks geometrically through low-dimensional latent metric spaces has helped design efficient learning algorithms, unveil network symmetries and study dynamical network processes. However, latent space embeddings are limited to specific classes of networks because incompatible metric spaces generally result in information loss. Here, we study arbitrary networks geometrically by defining a dynamic edge curvature measuring the similarity between pairs of dynamical network processes seeded at nearby nodes. We show that the evolution of the curvature distribution exhibits gaps at characteristic timescales indicating bottleneck-edges that limit information spreading. Importantly, curvature gaps are robust to large fluctuations in node degrees, encoding communities until the phase transition of detectability, where spectral and node-clustering methods fail. Using this insight, we derive geometric modularity to find multiscale communities based on deviations from constant network curvature in generative and real-world networks, significantly outperforming most previous methods. Our work suggests using network geometry for studying and controlling the structure of and information spreading on networks.
△ Less
Submitted 14 July, 2021; v1 submitted 30 January, 2021;
originally announced June 2021.
-
Relative, local and global dimension in complex networks
Authors:
Robert L. Peach,
Alexis Arnaudon,
Mauricio Barahona
Abstract:
Dimension is a fundamental property of objects and the space in which they are embedded. Yet ideal notions of dimension, as in Euclidean spaces, do not always translate to physical spaces, which can be constrained by boundaries and distorted by inhomogeneities, or to intrinsically discrete systems such as networks. To take into account locality, finiteness and discreteness, dynamical processes can…
▽ More
Dimension is a fundamental property of objects and the space in which they are embedded. Yet ideal notions of dimension, as in Euclidean spaces, do not always translate to physical spaces, which can be constrained by boundaries and distorted by inhomogeneities, or to intrinsically discrete systems such as networks. To take into account locality, finiteness and discreteness, dynamical processes can be used to probe the space geometry and define its dimension. Here we show that each point in space can be assigned a relative dimension with respect to the source of a diffusive process, a concept that provides a scale-dependent definition for local and global dimension also applicable to networks. To showcase its application to physical systems, we demonstrate that the local dimension of structural protein graphs correlates with structural flexibility, and the relative dimension with respect to the active site uncovers regions involved in allosteric communication. In simple models of epidemics on networks, the relative dimension is predictive of the spreading capability of nodes, and identifies scales at which the graph structure is predictive of infectivity. We further apply our dimension measures to neuronal networks, economic trade, social networks, ocean flows, and to the comparison of random graphs.
△ Less
Submitted 19 May, 2022; v1 submitted 9 June, 2021;
originally announced June 2021.
-
A Unifying and Canonical Description of Measure-Preserving Diffusions
Authors:
Alessandro Barp,
So Takao,
Michael Betancourt,
Alexis Arnaudon,
Mark Girolami
Abstract:
A complete recipe of measure-preserving diffusions in Euclidean space was recently derived unifying several MCMC algorithms into a single framework. In this paper, we develop a geometric theory that improves and generalises this construction to any manifold. We thereby demonstrate that the completeness result is a direct consequence of the topology of the underlying manifold and the geometry induc…
▽ More
A complete recipe of measure-preserving diffusions in Euclidean space was recently derived unifying several MCMC algorithms into a single framework. In this paper, we develop a geometric theory that improves and generalises this construction to any manifold. We thereby demonstrate that the completeness result is a direct consequence of the topology of the underlying manifold and the geometry induced by the target measure $P$; there is no need to introduce other structures such as a Riemannian metric, local coordinates, or a reference measure. Instead, our framework relies on the intrinsic geometry of $P$ and in particular its canonical derivative, the deRham rotationnel, which allows us to parametrise the Fokker--Planck currents of measure-preserving diffusions using potentials. The geometric formalism can easily incorporate constraints and symmetries, and deliver new important insights, for example, a new complete recipe of Langevin-like diffusions that are suited to the construction of samplers. We also analyse the reversibility and dissipative properties of the diffusions, the associated deterministic flow on the space of measures, and the geometry of Langevin processes. Our article connects ideas from various literature and frames the theory of measure-preserving diffusions in its appropriate mathematical context.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Diffusion bridges for stochastic Hamiltonian systems and shape evolutions
Authors:
Alexis Arnaudon,
Frank van der Meulen,
Moritz Schauer,
Stefan Sommer
Abstract:
Stochastically evolving geometric systems are studied in shape analysis and computational anatomy for modelling random evolutions of human organ shapes. The notion of geodesic paths between shapes is central to shape analysis and has a natural generalisation as diffusion bridges in a stochastic setting. Simulation of such bridges is key to solve inference and registration problems in shape analysi…
▽ More
Stochastically evolving geometric systems are studied in shape analysis and computational anatomy for modelling random evolutions of human organ shapes. The notion of geodesic paths between shapes is central to shape analysis and has a natural generalisation as diffusion bridges in a stochastic setting. Simulation of such bridges is key to solve inference and registration problems in shape analysis. We demonstrate how to apply state-of-the-art diffusion bridge simulation methods to recently introduced stochastic shape deformation models thereby substantially expanding the applicability of such models. We exemplify these methods by estimating template shapes from observed shape configurations while simultaneously learning model parameters.
△ Less
Submitted 1 December, 2021; v1 submitted 3 February, 2020;
originally announced February 2020.
-
Semi-supervised classification on graphs using explicit diffusion dynamics
Authors:
Robert L. Peach,
Alexis Arnaudon,
Mauricio Barahona
Abstract:
Classification tasks based on feature vectors can be significantly improved by including within deep learning a graph that summarises pairwise relationships between the samples. Intuitively, the graph acts as a conduit to channel and bias the inference of class labels. Here, we study classification methods that consider the graph as the originator of an explicit graph diffusion. We show that appen…
▽ More
Classification tasks based on feature vectors can be significantly improved by including within deep learning a graph that summarises pairwise relationships between the samples. Intuitively, the graph acts as a conduit to channel and bias the inference of class labels. Here, we study classification methods that consider the graph as the originator of an explicit graph diffusion. We show that appending graph diffusion to feature-based learning as an \textit{a posteriori} refinement achieves state-of-the-art classification accuracy. This method, which we call Graph Diffusion Reclassification (GDR), uses overshooting events of a diffusive graph dynamics to reclassify individual nodes. The method uses intrinsic measures of node influence, which are distinct for each node, and allows the evaluation of the relationship and importance of features and graph for classification. We also present diff-GCN, a simple extension of Graph Convolutional Neural Network (GCN) architectures that leverages explicit diffusion dynamics, and allows the natural use of directed graphs. To showcase our methods, we use benchmark datasets of documents with associated citation data.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Scale-dependent measure of network centrality from diffusion dynamics
Authors:
Alexis Arnaudon,
Robert L. Peach,
Mauricio Barahona
Abstract:
Classic measures of graph centrality capture distinct aspects of node importance, from the local (e.g., degree) to the global (e.g., closeness). Here we exploit the connection between diffusion and geometry to introduce a multiscale centrality measure. A node is defined to be central if it breaks the metricity of the diffusion as a consequence of the effective boundaries and inhomogeneities in the…
▽ More
Classic measures of graph centrality capture distinct aspects of node importance, from the local (e.g., degree) to the global (e.g., closeness). Here we exploit the connection between diffusion and geometry to introduce a multiscale centrality measure. A node is defined to be central if it breaks the metricity of the diffusion as a consequence of the effective boundaries and inhomogeneities in the graph. Our measure is naturally multiscale, as it is computed relative to graph neighbourhoods within the varying time horizon of the diffusion. We find that the centrality of nodes can differ widely at different scales. In particular, our measure correlates with degree (i.e., hubs) at small scales and with closeness (i.e., bridges) at large scales, and also reveals the existence of multi-centric structures in complex networks. By examining centrality across scales, our measure thus provides an evaluation of node importance relative to local and global processes on the network.
△ Less
Submitted 21 July, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Irreversible Langevin MCMC on Lie Groups
Authors:
Alexis Arnaudon,
Alessandro Barp,
So Takao
Abstract:
It is well-known that irreversible MCMC algorithms converge faster to their stationary distributions than reversible ones. Using the special geometric structure of Lie groups $\mathcal G$ and dissipation fields compatible with the symplectic structure, we construct an irreversible HMC-like MCMC algorithm on $\mathcal G$, where we first update the momentum by solving an OU process on the correspond…
▽ More
It is well-known that irreversible MCMC algorithms converge faster to their stationary distributions than reversible ones. Using the special geometric structure of Lie groups $\mathcal G$ and dissipation fields compatible with the symplectic structure, we construct an irreversible HMC-like MCMC algorithm on $\mathcal G$, where we first update the momentum by solving an OU process on the corresponding Lie algebra $\mathfrak g$, and then approximate the Hamiltonian system on $\mathcal G \times \mathfrak g$ with a reversible symplectic integrator followed by a Metropolis-Hastings correction step. In particular, when the OU process is simulated over sufficiently long times, we recover HMC as a special case. We illustrate this algorithm numerically using the example $\mathcal G = SO(3)$.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
Selective metamorphosis for growth modelling with applications to landmarks
Authors:
Andreas Bock,
Alexis Arnaudon,
Colin Cotter
Abstract:
We present a framework for shape matching in computational anatomy allowing users control of the degree to which the matching is diffeomorphic. This control is given as a function defined over the image and parameterises the template deformation. By modelling localised template deformation we have a mathematical description of growth only in specified parts of an image. The location can either be…
▽ More
We present a framework for shape matching in computational anatomy allowing users control of the degree to which the matching is diffeomorphic. This control is given as a function defined over the image and parameterises the template deformation. By modelling localised template deformation we have a mathematical description of growth only in specified parts of an image. The location can either be specified from prior knowledge of the growth location or learned from data. For simplicity, we consider landmark matching and infer the distribution of a finite dimensional parameterisation of the control via Markov chain Monte Carlo. Preliminary numerical results are shown and future paths of investigation are laid out. Well-posedness of this new problem is studied together with an analysis of the associated geodesic equations.
△ Less
Submitted 22 May, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Stochastic Image Deformation in Frequency Domain and Parameter Estimation using Moment Evolutions
Authors:
Line Kühnel,
Alexis Arnaudon,
Tom Fletcher,
Stefan Sommer
Abstract:
Modelling deformation of anatomical objects observed in medical images can help describe disease progression patterns and variations in anatomy across populations. We apply a stochastic generalisation of the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework to model differences in the evolution of anatomical objects detected in populations of image data. The computational challenges…
▽ More
Modelling deformation of anatomical objects observed in medical images can help describe disease progression patterns and variations in anatomy across populations. We apply a stochastic generalisation of the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework to model differences in the evolution of anatomical objects detected in populations of image data. The computational challenges that are prevalent even in the deterministic LDDMM setting are handled by extending the FLASH LDDMM representation to the stochastic setting kee** a finite discretisation of the infinite dimensional space of image deformations. In this computationally efficient setting, we perform estimation to infer parameters for noise correlations and local variability in datasets of images. Fundamental for the optimisation procedure is using the finite dimensional Fourier representation to derive approximations of the evolution of moments for the stochastic warps. Particularly, the first moment allows us to infer deformation mean trajectories. The second moment encodes variation around the mean, and thus provides information on the noise correlation. We show on simulated datasets of 2D MR brain images that the estimation algorithm can successfully recover parameters of the stochastic model.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Engineering solitons and breathers in a deformed ferromagnet: Effect of localised inhomogeneities
Authors:
Manickam Saravanan,
Alexis Arnaudon
Abstract:
We investigate the soliton dynamics of the electromagnetic wave propagating in an inhomogeneous or deformed ferromagnet. The dynamics of magnetization and the propagation of electromagnetic waves are governed by the Landau-Lifshitz-Maxwell (LLM) equation, a certain coupling between the Landau-Lifshitz and Maxwell's equations. In the framework of multiscale analysis, we obtain the perturbed integra…
▽ More
We investigate the soliton dynamics of the electromagnetic wave propagating in an inhomogeneous or deformed ferromagnet. The dynamics of magnetization and the propagation of electromagnetic waves are governed by the Landau-Lifshitz-Maxwell (LLM) equation, a certain coupling between the Landau-Lifshitz and Maxwell's equations. In the framework of multiscale analysis, we obtain the perturbed integral modified KdV (PIMKdV) equation. Since the dynamic is governed by the nonlinear integro-differential equation, we rely on numerical simulations to study the interaction of its mKdV solitons with various types of inhomogeneities. Apart from simple one soliton experiments with periodic or localised inhomogeneities, the numerical simulations revealed an interesting dynamical scenario where the collision of two solitons on a localised inhomogeneity create a bound state which then produces either two separated solitons or a mKdV breather.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
String Methods for Stochastic Image and Shape Matching
Authors:
Alexis Arnaudon,
Darryl Holm,
Stefan Sommer
Abstract:
Matching of images and analysis of shape differences is traditionally pursued by energy minimization of paths of deformations acting to match the shape objects. In the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework, iterative gradient descents on the matching functional lead to matching algorithms informally known as Beg algorithms. When stochasticity is introduced to model stoch…
▽ More
Matching of images and analysis of shape differences is traditionally pursued by energy minimization of paths of deformations acting to match the shape objects. In the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework, iterative gradient descents on the matching functional lead to matching algorithms informally known as Beg algorithms. When stochasticity is introduced to model stochastic variability of shapes and to provide more realistic models of observed shape data, the corresponding matching problem can be solved with a stochastic Beg algorithm, similar to the finite temperature string method used in rare event sampling. In this paper, we apply a stochastic model compatible with the geometry of the LDDMM framework to obtain a stochastic model of images and we derive the stochastic version of the Beg algorithm which we compare with the string method and an expectation-maximization optimization of posterior likelihoods. The algorithm and its use for statistical inference is tested on stochastic LDDMM landmarks and images.
△ Less
Submitted 20 October, 2018; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Networks of Coadjoint Orbits: from Geometric to Statistical Mechanics
Authors:
Alexis Arnaudon,
So Takao
Abstract:
A class of network models with symmetry group $G$ that evolve as a Lie-Poisson system is derived from the framework of geometric mechanics, which generalises the classical Heisenberg model studied in statistical mechanics. We considered two ways of coupling the spins: one via the momentum and the other via the position and studied in details the equilibrium solutions and their corresponding nonlin…
▽ More
A class of network models with symmetry group $G$ that evolve as a Lie-Poisson system is derived from the framework of geometric mechanics, which generalises the classical Heisenberg model studied in statistical mechanics. We considered two ways of coupling the spins: one via the momentum and the other via the position and studied in details the equilibrium solutions and their corresponding nonlinear stability properties using the energy-Casimir method. We then took the example $G=SO(3)$ and saw that the momentum-coupled system reduces to the classical Heisenberg model with massive spins and the position-coupled case reduces to a new system that has a broken symmetry group $SO(3)/SO(2)$ similar to the heavy top. In the latter system, we numerically observed an interesting synchronisation-like phenomenon for a certain class of initial conditions. Adding a type of noise and dissipation that preserves the coadjoint orbit of the network model, we found that the invariant measure is given by the Gibbs measure, from which the notion of temperature is defined. We then observed a surprising `triple-humped' phase transition in the heavy top-like lattice model, where the spins switched from one equilibrium position to another before losing magnetisation as we increased the temperature. This work is only a first step towards connecting geometric mechanics with statistical mechanics and several interesting problems are open for further investigation.
△ Less
Submitted 30 April, 2018;
originally announced April 2018.
-
Structure preserving noise and dissipation in the Toda lattice
Authors:
Alexis Arnaudon
Abstract:
In this paper, we use Flaschka's change of variables of the open Toda lattice and its interpretation in term of the group structure of the LU factorisation as a coadjoint motion on a certain dual of Lie algebra to implement a structure preserving noise and dissipation. Both preserve the structure of coadjoint orbit, that is the space of symmetric tri-diagonal matrices and arise as a new type of mu…
▽ More
In this paper, we use Flaschka's change of variables of the open Toda lattice and its interpretation in term of the group structure of the LU factorisation as a coadjoint motion on a certain dual of Lie algebra to implement a structure preserving noise and dissipation. Both preserve the structure of coadjoint orbit, that is the space of symmetric tri-diagonal matrices and arise as a new type of multiplicative noise and nonlinear dissipation of the Toda lattice. We investigate some of the properties of these deformations and in particular the continuum limit as a stochastic Burger equation with a nonlinear viscosity. This work is meant to be exploratory, and open more questions that we can answer with simple mathematical tools and without numerical simulations.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Contractions of group representations via geometric quantisation
Authors:
Rauan Akylzhanov,
Alexis Arnaudon
Abstract:
We propose a general framework to contract unitary dual of Lie groups via holomorphic quantization of their co-adjoint orbits. The sufficient condition for the contractability of a representation is expressed via cocycles on coadjoint orbits. This condition is checked explicitly for the contraction of ${\mathrm SU}_2$ into $\mathbb{H}$. The main tool is the geometric quantization. We construct two…
▽ More
We propose a general framework to contract unitary dual of Lie groups via holomorphic quantization of their co-adjoint orbits. The sufficient condition for the contractability of a representation is expressed via cocycles on coadjoint orbits. This condition is checked explicitly for the contraction of ${\mathrm SU}_2$ into $\mathbb{H}$. The main tool is the geometric quantization. We construct two types of contractions that can be implemented on every matrix Lie group with diagonal contraction matrix.
△ Less
Submitted 17 December, 2018; v1 submitted 9 February, 2018;
originally announced February 2018.
-
Differential geometry and stochastic dynamics with deep learning numerics
Authors:
Line Kühnel,
Alexis Arnaudon,
Stefan Sommer
Abstract:
In this paper, we demonstrate how deterministic and stochastic dynamics on manifolds, as well as differential geometric constructions can be implemented concisely and efficiently using modern computational frameworks that mix symbolic expressions with efficient numerical computations. In particular, we use the symbolic expression and automatic differentiation features of the python library Theano,…
▽ More
In this paper, we demonstrate how deterministic and stochastic dynamics on manifolds, as well as differential geometric constructions can be implemented concisely and efficiently using modern computational frameworks that mix symbolic expressions with efficient numerical computations. In particular, we use the symbolic expression and automatic differentiation features of the python library Theano, originally developed for high-performance computations in deep learning. We show how various aspects of differential geometry and Lie group theory, connections, metrics, curvature, left/right invariance, geodesics and parallel transport can be formulated with Theano using the automatic computation of derivatives of any order. We will also show how symbolic stochastic integrators and concepts from non-linear statistics can be formulated and optimized with only a few lines of code. We will then give explicit examples on low-dimensional classical manifolds for visualization and demonstrate how this approach allows both a concise implementation and efficient scaling to high dimensional problems.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
Stochastic metamorphosis with template uncertainties
Authors:
Alexis Arnaudon,
Darryl Holm,
Stefan Sommer
Abstract:
In this paper, we investigate two stochastic perturbations of the metamorphosis equations of image analysis, in the geometrical context of the Euler-Poincaré theory. In the metamorphosis of images, the Lie group of diffeomorphisms deforms a template image that is undergoing its own internal dynamics as it deforms. This type of deformation allows more freedom for image matching and has analogies wi…
▽ More
In this paper, we investigate two stochastic perturbations of the metamorphosis equations of image analysis, in the geometrical context of the Euler-Poincaré theory. In the metamorphosis of images, the Lie group of diffeomorphisms deforms a template image that is undergoing its own internal dynamics as it deforms. This type of deformation allows more freedom for image matching and has analogies with complex fluids when the template properties are regarded as order parameters (coset spaces of broken symmetries). The first stochastic perturbation we consider corresponds to uncertainty due to random errors in the reconstruction of the deformation map from its vector field. We also consider a second stochastic perturbation, which compounds the uncertainty in of the deformation map with the uncertainty in the reconstruction of the template position from its velocity field. We apply this general geometric theory to several classical examples, including landmarks, images, and closed curves, and we discuss its use for functional data analysis.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Bridge Simulation and Metric Estimation on Landmark Manifolds
Authors:
Stefan Sommer,
Alexis Arnaudon,
Line Kuhnel,
Sarang Joshi
Abstract:
We present an inference algorithm and connected Monte Carlo based estimation procedures for metric estimation from landmark configurations distributed according to the transition distribution of a Riemannian Brownian motion arising from the Large Deformation Diffeomorphic Metric Map** (LDDMM) metric. The distribution possesses properties similar to the regular Euclidean normal distribution but i…
▽ More
We present an inference algorithm and connected Monte Carlo based estimation procedures for metric estimation from landmark configurations distributed according to the transition distribution of a Riemannian Brownian motion arising from the Large Deformation Diffeomorphic Metric Map** (LDDMM) metric. The distribution possesses properties similar to the regular Euclidean normal distribution but its transition density is governed by a high-dimensional PDE with no closed-form solution in the nonlinear case. We show how the density can be numerically approximated by Monte Carlo sampling of conditioned Brownian bridges, and we use this to estimate parameters of the LDDMM kernel and thus the metric structure by maximum likelihood.
△ Less
Submitted 31 May, 2017;
originally announced May 2017.
-
A Geometric Framework for Stochastic Shape Analysis
Authors:
Alexis Arnaudon,
Darryl D. Holm,
Stefan Sommer
Abstract:
We introduce a stochastic model of diffeomorphisms, whose action on a variety of data types descends to stochastic evolution of shapes, images and landmarks. The stochasticity is introduced in the vector field which transports the data in the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework for shape analysis and image registration. The stochasticity thereby models errors or uncert…
▽ More
We introduce a stochastic model of diffeomorphisms, whose action on a variety of data types descends to stochastic evolution of shapes, images and landmarks. The stochasticity is introduced in the vector field which transports the data in the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework for shape analysis and image registration. The stochasticity thereby models errors or uncertainties of the flow in following the prescribed deformation velocity. The approach is illustrated in the example of finite dimensional landmark manifolds, whose stochastic evolution is studied both via the Fokker-Planck equation and by numerical simulations. We derive two approaches for inferring parameters of the stochastic model from landmark configurations observed at discrete time points. The first of the two approaches matches moments of the Fokker-Planck equation to sample moments of the data, while the second approach employs an Expectation-Maximisation based algorithm using a Monte Carlo bridge sampling scheme to optimise the data likelihood. We derive and numerically test the ability of the two approaches to infer the spatial correlation length of the underlying noise.
△ Less
Submitted 20 October, 2018; v1 submitted 29 March, 2017;
originally announced March 2017.
-
The Stochastic Energy-Casimir Method
Authors:
Alexis Arnaudon,
Nader Ganaba,
Darryl Holm
Abstract:
In this paper, we extend the energy-Casimir stability method for deterministic Lie-Poisson Hamiltonian systems to provide sufficient conditions for the stability in probability of stochastic dynamical systems with symmetries and multiplicative noise. We illustrate this theory with classical examples of coadjoint motion, including the rigid body, the heavy top and the compressible Euler equation in…
▽ More
In this paper, we extend the energy-Casimir stability method for deterministic Lie-Poisson Hamiltonian systems to provide sufficient conditions for the stability in probability of stochastic dynamical systems with symmetries and multiplicative noise. We illustrate this theory with classical examples of coadjoint motion, including the rigid body, the heavy top and the compressible Euler equation in two dimensions. The main result of this extension is that stable deterministic equilibria remain stable in probability up to a certain stop** time which depends on the amplitude of the noise for finite dimensional systems and on the amplitude the spatial derivative of the noise for infinite dimensional systems.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
$G$-Strands on symmetric spaces
Authors:
Alexis Arnaudon,
Darryl D. Holm,
Rossen I. Ivanov
Abstract:
We study the $G$-strand equations that are extensions of the classical chiral model of particle physics in the particular setting of broken symmetries described by symmetric spaces. These equations are simple field theory models whose configuration space is a Lie group, or in this case a symmetric space. In this class of systems, we derive several models that are completely integrable on finite di…
▽ More
We study the $G$-strand equations that are extensions of the classical chiral model of particle physics in the particular setting of broken symmetries described by symmetric spaces. These equations are simple field theory models whose configuration space is a Lie group, or in this case a symmetric space. In this class of systems, we derive several models that are completely integrable on finite dimensional Lie group $G$ and we treat in more details examples with symmetric space $SU(2)/S^1$ and $SO(4)/SO(3)$. The later model simplifies to an apparently new integrable $9$ dimensional system. We also study the $G$-strands on the infinite dimensional group of diffeomorphisms, which gives, together with the Sobolev norm, systems of $1+2$ Camassa-Holm equations. The solutions of these equations on the complementary space related to the Witt algebra decomposition are the odd function solutions.
△ Less
Submitted 9 February, 2017;
originally announced February 2017.
-
A Stochastic Large Deformation Model for Computational Anatomy
Authors:
Alexis Arnaudon,
Darryl D. Holm,
Akshay Pai,
Stefan Sommer
Abstract:
In the study of shapes of human organs using computational anatomy, variations are found to arise from inter-subject anatomical differences, disease-specific effects, and measurement noise. This paper introduces a stochastic model for incorporating random variations into the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework. By accounting for randomness in a particular setup which i…
▽ More
In the study of shapes of human organs using computational anatomy, variations are found to arise from inter-subject anatomical differences, disease-specific effects, and measurement noise. This paper introduces a stochastic model for incorporating random variations into the Large Deformation Diffeomorphic Metric Map** (LDDMM) framework. By accounting for randomness in a particular setup which is crafted to fit the geometrical properties of LDDMM, we formulate the template estimation problem for landmarks with noise and give two methods for efficiently estimating the parameters of the noise fields from a prescribed data set. One method directly approximates the time evolution of the variance of each landmark by a finite set of differential equations, and the other is based on an Expectation-Maximisation algorithm. In the second method, the evaluation of the data likelihood is achieved without registering the landmarks, by applying bridge sampling using a stochastically perturbed version of the large deformation gradient flow algorithm. The method and the estimation algorithms are experimentally validated on synthetic examples and shape data of human corpora callosa.
△ Less
Submitted 15 December, 2016;
originally announced December 2016.
-
Integrability of the hyperbolic reduced Maxwell-Bloch equations for strongly correlated Bose-Einstein condensates
Authors:
Alexis Arnaudon,
John D. Gibbon
Abstract:
We derive and study the hyperbolic reduced Maxwell-Bloch equations (HRMB), a simplified model for the dynamics of strongly correlated Bose-Einstein condensates (BECs), and in particular for the interaction between the BEC atoms and its evaporated atoms under the strong interactions. This equation is one among four which are proven to be integrable via the existence of a Lax pair, and thus the meth…
▽ More
We derive and study the hyperbolic reduced Maxwell-Bloch equations (HRMB), a simplified model for the dynamics of strongly correlated Bose-Einstein condensates (BECs), and in particular for the interaction between the BEC atoms and its evaporated atoms under the strong interactions. This equation is one among four which are proven to be integrable via the existence of a Lax pair, and thus the method of inverse scattering transform. Another equation is the reduced Maxwell-Bloch equation of quantum optics and the two others do not have physical applications yet. By studying the linear stability of the constant solutions of these four equations we observe various regimes, from stable, to modulational unstable and unstable at all frequencies. The finite dimensional reduction of the RMB equations is also used to give more insight into the constant solutions of these equations. From this study, we find that the HRMB equation arising from strongly correlated BECS is stable under the particular condition that the transition rate of evaporation is not too large compared to the number of evaporated atoms. We then derive explicit soliton solutions of the RMB equations and use numerical simulations to show collisions of solitons and kink solitons.
△ Less
Submitted 12 April, 2017; v1 submitted 2 September, 2016;
originally announced September 2016.
-
Noise and dissipation in rigid body motion
Authors:
Alexis Arnaudon,
Alex L. De Castro,
Darryl D. Holm
Abstract:
Using the rigid body as an example, we illustrate some features of stochastic geometric mechanics. These features include: i) a geometric variational motivation for the noise structure involving Lie-Poisson brackets and momentum maps, ii) stochastic coadjoint motion with double bracket dissipation, iii) the Lie-Poisson Fokker-Planck description and its stationary solutions, iv) random dynamical sy…
▽ More
Using the rigid body as an example, we illustrate some features of stochastic geometric mechanics. These features include: i) a geometric variational motivation for the noise structure involving Lie-Poisson brackets and momentum maps, ii) stochastic coadjoint motion with double bracket dissipation, iii) the Lie-Poisson Fokker-Planck description and its stationary solutions, iv) random dynamical systems, random attractors and SRB measures connected to statistical physics.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
Noise and dissipation on coadjoint orbits
Authors:
Alexis Arnaudon,
Alex L. Castro,
Darryl D. Holm
Abstract:
We derive and study stochastic dissipative dynamics on coadjoint orbits by incorporating noise and dissipation into mechanical systems arising from the theory of reduction by symmetry, including a semidirect-product extension. Random attractors are found for this general class of systems when the Lie algebra is semi- simple, provided the top Lyapunov exponent is positive. We study two canonical ex…
▽ More
We derive and study stochastic dissipative dynamics on coadjoint orbits by incorporating noise and dissipation into mechanical systems arising from the theory of reduction by symmetry, including a semidirect-product extension. Random attractors are found for this general class of systems when the Lie algebra is semi- simple, provided the top Lyapunov exponent is positive. We study two canonical examples, the free rigid body and the heavy top, whose stochastic integrable reductions are found and numerical simulations of their random attractors are shown.
△ Less
Submitted 14 May, 2016; v1 submitted 10 January, 2016;
originally announced January 2016.
-
Computational issues in chemo-dynamical modelling of the formation and evolution of galaxies
Authors:
Yves Revaz,
Alexis Arnaudon,
Matthew Nichols,
Vivien Bonvin,
Pascale Jablonka
Abstract:
Chemo-dynamical N-body simulations are an essential tool for understanding the formation and evolution of galaxies. As the number of observationally determined stellar abundances continues to climb, these simulations are able to provide new constraints on the early star formaton history and chemical evolution inside both the Milky Way and Local Group dwarf galaxies. Here, we aim to reproduce the l…
▽ More
Chemo-dynamical N-body simulations are an essential tool for understanding the formation and evolution of galaxies. As the number of observationally determined stellar abundances continues to climb, these simulations are able to provide new constraints on the early star formaton history and chemical evolution inside both the Milky Way and Local Group dwarf galaxies. Here, we aim to reproduce the low $α$-element scatter observed in metal-poor stars. We first demonstrate that as stellar particles inside simulations drop below a mass threshold, increases in the resolution produce an unacceptably large scatter as one particle is no longer a good approximation of an entire stellar population. This threshold occurs at around $10^3\,\rm{M_\odot}$, a mass limit easily reached in current (and future) simulations. By simulating the Sextans and Fornax dwarf spheroidal galaxies we show that this increase in scatter at high resolutions arises from stochastic supernovae explosions. In order to reduce this scatter down to the observed value, we show the necessity of introducing a metal mixing scheme into particle-based simulations. The impact of the method used to inject the metals into the surrounding gas is also discussed. We finally summarise the best approach for accurately reproducing the scatter in simulations of both Local Group dwarf galaxies and in the Milky Way.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
The stochastic integrable AKNS hierarchy
Authors:
Alexis Arnaudon
Abstract:
We derive a stochastic AKNS hierarchy using geometrical methods. The integrability is shown via a stochastic zero curvature relation associated with a stochastic isospectral problem. We expose some of the stochastic integrable partial differential equations which extend the stochastic KdV equation discovered by M. Wadati in 1983 for all the AKNS flows. We also show how to find stochastic solitons…
▽ More
We derive a stochastic AKNS hierarchy using geometrical methods. The integrability is shown via a stochastic zero curvature relation associated with a stochastic isospectral problem. We expose some of the stochastic integrable partial differential equations which extend the stochastic KdV equation discovered by M. Wadati in 1983 for all the AKNS flows. We also show how to find stochastic solitons from the stochastic evolution of the scattering data of the stochastic IST. We finally expose some properties of these equations and also briefly study a stochastic Camassa-Holm equation which reduces to a stochastic Hamiltonian system of peakons.
△ Less
Submitted 22 November, 2015;
originally announced November 2015.
-
Un-reduction in field theory, with applications
Authors:
Alexis Arnaudon,
Marco Castrillon Lopez,
Darryl D. Holm
Abstract:
The un-reduction procedure introduced previously in the context of Mechanics is extended to covariant Field Theory. The new covariant un-reduction procedure is applied to the problem of shape matching of images which depend on more than one independent variable (for instance, time and an additional labelling parameter). Other possibilities are also explored: non-linear $σ$-models and the hyperboli…
▽ More
The un-reduction procedure introduced previously in the context of Mechanics is extended to covariant Field Theory. The new covariant un-reduction procedure is applied to the problem of shape matching of images which depend on more than one independent variable (for instance, time and an additional labelling parameter). Other possibilities are also explored: non-linear $σ$-models and the hyperbolic flows of curves.
△ Less
Submitted 20 October, 2018; v1 submitted 23 September, 2015;
originally announced September 2015.
-
Covariant un-reduction for curve matching
Authors:
Alexis Arnaudon,
Marco Castrillon Lopez,
Darryl D. Holm
Abstract:
The process of un-reduction, a sort of reversal of reduction by the Lie group symmetries of a variational problem, is explored in the setting of field theories. This process is applied to the problem of curve matching in the plane, when the curves depend on more than one independent variable. This situation occurs in a variety of instances such as matching of surfaces or comparison of evolution be…
▽ More
The process of un-reduction, a sort of reversal of reduction by the Lie group symmetries of a variational problem, is explored in the setting of field theories. This process is applied to the problem of curve matching in the plane, when the curves depend on more than one independent variable. This situation occurs in a variety of instances such as matching of surfaces or comparison of evolution between species. A discussion of the appropriate Lagrangian involved in the variational principle is given, as well as some initial numerical investigations.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
On a deformation of the nonlinear Schrödinger equation
Authors:
Alexis Arnaudon
Abstract:
We study a deformation of the nonlinear Schrödinger equation recently derived in the context of deformation of hierarchies of integrable systems. This systematic method also led to known integrable equations such as the Camassa-Holm equation. Although this new equation has not been shown to be completely integrable, its solitary wave solutions exhibit typical soliton behaviour, including near elas…
▽ More
We study a deformation of the nonlinear Schrödinger equation recently derived in the context of deformation of hierarchies of integrable systems. This systematic method also led to known integrable equations such as the Camassa-Holm equation. Although this new equation has not been shown to be completely integrable, its solitary wave solutions exhibit typical soliton behaviour, including near elastic collisions. We will first focus on standing wave solutions, which can be smooth or peaked, then, with the help of numerical simulations, we will study solitary waves, their interactions and finally rogue waves in the modulational instability regime. Interestingly the structure of the solution during the collision of solitary waves or during the rogue wave events are sharper and have larger amplitudes than in the classical NLS equation.
△ Less
Submitted 20 August, 2015; v1 submitted 9 July, 2015;
originally announced July 2015.
-
On a Lagrangian reduction and a deformation of completely integrable systems
Authors:
Alexis Arnaudon
Abstract:
We develop a theory of Lagrangian reduction on loop groups for completely integrable systems after having exchanged the role of the space and time variables in the multi-time interpretation of integrable hierarchies. We then insert the Sobolev norm $H^1$ in the Lagrangian and derive a deformation of the corresponding hierarchies. The integrability of the deformed equations is altered and a notion…
▽ More
We develop a theory of Lagrangian reduction on loop groups for completely integrable systems after having exchanged the role of the space and time variables in the multi-time interpretation of integrable hierarchies. We then insert the Sobolev norm $H^1$ in the Lagrangian and derive a deformation of the corresponding hierarchies. The integrability of the deformed equations is altered and a notion of weak integrability is introduced. We implement this scheme in the AKNS and SO(3) hierarchies and obtain known and new equations. Among them we found two important equations, the Camassa-Holm equation, viewed as a deformation of the KdV equation, and a deformation of the NLS equation.
△ Less
Submitted 5 April, 2016; v1 submitted 12 January, 2015;
originally announced January 2015.