-
Spectral clustering of time-evolving networks using the inflated dynamic Laplacian for graphs
Authors:
Gary Froyland,
Manu Kalia,
Péter Koltai
Abstract:
Complex time-varying networks are prominent models for a wide variety of spatiotemporal phenomena. The functioning of networks depends crucially on their connectivity, yet reliable techniques for determining communities in spacetime networks remain elusive. We adapt successful spectral techniques from continuous-time dynamics on manifolds to the graph setting to fill this gap. We formulate an infl…
▽ More
Complex time-varying networks are prominent models for a wide variety of spatiotemporal phenomena. The functioning of networks depends crucially on their connectivity, yet reliable techniques for determining communities in spacetime networks remain elusive. We adapt successful spectral techniques from continuous-time dynamics on manifolds to the graph setting to fill this gap. We formulate an inflated dynamic Laplacian for graphs and develop a spectral theory to underpin the corresponding algorithmic realisations. We develop spectral clustering approaches for both multiplex and non-multiplex networks, based on the eigenvectors of the inflated dynamic Laplacian and specialised Sparse EigenBasis Approximation (SEBA) post-processing of these eigenvectors. We demonstrate that our approach can outperform the Leiden algorithm applied both in spacetime and layer-by-layer, and we analyse voting data from the US senate (where senators come and go as congresses evolve) to quantify increasing polarisation in time.
△ Less
Submitted 7 October, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
Extracting coherent sets in aperiodically driven flows from generators of Mather semigroups
Authors:
Robin Chemnitz,
Maximilian Engel,
Péter Koltai
Abstract:
Coherent sets are time-dependent regions in the physical space of nonautonomous flows that exhibit little mixing with their neighborhoods, robustly under small random perturbations of the flow. They thus characterize the global long-term transport behavior of the system. We propose a framework to extract such time-dependent families of coherent sets for nonautonomous systems with an ergodic drivin…
▽ More
Coherent sets are time-dependent regions in the physical space of nonautonomous flows that exhibit little mixing with their neighborhoods, robustly under small random perturbations of the flow. They thus characterize the global long-term transport behavior of the system. We propose a framework to extract such time-dependent families of coherent sets for nonautonomous systems with an ergodic driving dynamics and (small) Brownian noise in physical space. Our construction involves the assembly and analysis of an operator on functions over the augmented space of the associated skew product that, for each fixed state of the driving, propagates distributions on the corresponding physical-space fibre according to the dynamics. This time-dependent operator has the structure of a semigroup (it is called the Mather semigroup), and we show that a spectral analysis of its generator allows for a trajectory-free computation of coherent families, simultaneously for all states of the driving. Additionally, for quasi-periodically driven torus flows, we propose a tailored Fourier discretization scheme for this generator and demonstrate our method by means of three examples of two-dimensional flows.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
An inflated dynamic Laplacian to track the emergence and disappearance of semi-material coherent sets
Authors:
Jason Atnip,
Gary Froyland,
Péter Koltai
Abstract:
Lagrangian methods continue to stand at the forefront of the analysis of time-dependent dynamical systems. Most Lagrangian methods have criteria that must be fulfilled by trajectories as they are followed throughout a given finite flow duration. This key strength of Lagrangian methods can also be a limitation in more complex evolving environments. It places a high importance on selecting a time wi…
▽ More
Lagrangian methods continue to stand at the forefront of the analysis of time-dependent dynamical systems. Most Lagrangian methods have criteria that must be fulfilled by trajectories as they are followed throughout a given finite flow duration. This key strength of Lagrangian methods can also be a limitation in more complex evolving environments. It places a high importance on selecting a time window that produces useful results, and these results may vary significantly with changes in the flow duration. We show how to overcome this drawback in the tracking of coherent flow features. Finite-time coherent sets (FTCS) are material objects that strongly resist mixing in complicated nonlinear flows. Like other materially coherent objects, by definition they must retain their coherence properties throughout the specified flow duration. Recent work [Froyland and Koltai, CPAM, 2023] introduced the notion of semi-material FTCS, whereby a balance is struck between the material nature and the coherence properties of FTCS. This balance provides the flexibility for FTCS to come and go, merge and separate, or undergo other changes as the governing unsteady flow experiences dramatic shifts. The purpose of this work is to illustrate the utility of the inflated dynamic Laplacian introduced in [Froyland and Koltai, CPAM, 2023] in a range of dynamical systems that are challenging to analyse by standard Lagrangian means, and to provide an efficient meshfree numerical approach for the discretisation of the inflated dynamic Laplacian.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Coherent set identification via direct low rank maximum likelihood estimation
Authors:
Robert Polzin,
Ilja Klebanov,
Nikolas Nüsken,
Péter Koltai
Abstract:
We analyze connections between two low rank modeling approaches from the last decade for treating dynamical data. The first one is the coherence problem (or coherent set approach), where groups of states are sought that evolve under the action of a stochastic transition matrix in a way maximally distinguishable from other groups. The second one is a low rank factorization approach for stochastic m…
▽ More
We analyze connections between two low rank modeling approaches from the last decade for treating dynamical data. The first one is the coherence problem (or coherent set approach), where groups of states are sought that evolve under the action of a stochastic transition matrix in a way maximally distinguishable from other groups. The second one is a low rank factorization approach for stochastic matrices, called Direct Bayesian Model Reduction (DBMR), which estimates the low rank factors directly from observed data. We show that DBMR results in a low rank model that is a projection of the full model, and exploit this insight to infer bounds on a quantitative measure of coherence within the reduced model. Both approaches can be formulated as optimization problems, and we also prove a bound between their respective objectives. On a broader scope, this work relates the two classical loss functions of nonnegative matrix factorization, namely the Frobenius norm and the generalized Kullback--Leibler divergence, and suggests new links between likelihood-based and projection-based estimation of probabilistic models.
△ Less
Submitted 1 October, 2024; v1 submitted 15 August, 2023;
originally announced August 2023.
-
A dynamic $p$-Laplacian
Authors:
Alvaro de Diego Unanue,
Gary Froyland,
Oliver Junge,
Péter Koltai
Abstract:
We generalise the dynamic Laplacian introduced in (Froyland, 2015) to a dynamic $p$-Laplacian, in analogy to the generalisation of the standard $2$-Laplacian to the standard $p$-Laplacian for $p>1$. Spectral properties of the dynamic Laplacian are connected to the geometric problem of finding "coherent" sets with persistently small boundaries under dynamical evolution, and we show that the dynamic…
▽ More
We generalise the dynamic Laplacian introduced in (Froyland, 2015) to a dynamic $p$-Laplacian, in analogy to the generalisation of the standard $2$-Laplacian to the standard $p$-Laplacian for $p>1$. Spectral properties of the dynamic Laplacian are connected to the geometric problem of finding "coherent" sets with persistently small boundaries under dynamical evolution, and we show that the dynamic $p$-Laplacian shares similar geometric connections. In particular, we prove that the first eigenvalue of the dynamic $p$-Laplacian with Dirichlet boundary conditions exists and converges to a dynamic version of the Cheeger constant introduced in (Froyland, 2015) as $p\rightarrow 1$. We develop a numerical scheme to estimate the leading eigenfunctions of the (nonlinear) dynamic $p$-Laplacian, and through a series of examples we investigate the behaviour of the level sets of these eigenfunctions. These level sets define the boundaries of sets in the domain of the dynamics that remain coherent under the dynamical evolution.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
A Koopman-Takens theorem: Linear least squares prediction of nonlinear time series
Authors:
Péter Koltai,
Philipp Kunde
Abstract:
The least squares linear filter, also called the Wiener filter, is a popular tool to predict the next element(s) of time series by linear combination of time-delayed observations. We consider observation sequences of deterministic dynamics, and ask: Which pairs of observation function and dynamics are predictable? If one allows for nonlinear mappings of time-delayed observations, then Takens' well…
▽ More
The least squares linear filter, also called the Wiener filter, is a popular tool to predict the next element(s) of time series by linear combination of time-delayed observations. We consider observation sequences of deterministic dynamics, and ask: Which pairs of observation function and dynamics are predictable? If one allows for nonlinear mappings of time-delayed observations, then Takens' well-known theorem implies that a set of pairs, large in a specific topological sense, exists for which an exact prediction is possible. We show that a similar statement applies for the linear least squares filter in the infinite-delay limit, by considering the forecast problem for invertible measure-preserving maps and the Koopman operator on square-integrable functions.
△ Less
Submitted 31 March, 2024; v1 submitted 4 August, 2023;
originally announced August 2023.
-
Learning Interpretable Collective Variables for Spreading Processes on Networks
Authors:
Marvin Lücke,
Stefanie Winkelmann,
Jobst Heitzig,
Nora Molkenthin,
Péter Koltai
Abstract:
Collective variables (CVs) are low-dimensional projections of high-dimensional system states. They are used to gain insights into complex emergent dynamical behaviors of processes on networks. The relation between CVs and network measures is not well understood and its derivation typically requires detailed knowledge of both the dynamical system and the network topology. In this work, we present a…
▽ More
Collective variables (CVs) are low-dimensional projections of high-dimensional system states. They are used to gain insights into complex emergent dynamical behaviors of processes on networks. The relation between CVs and network measures is not well understood and its derivation typically requires detailed knowledge of both the dynamical system and the network topology. In this work, we present a data-driven method for algorithmically learning and understanding CVs for binary-state spreading processes on networks of arbitrary topology. We demonstrate our method using four example networks: the stochastic block model, a ring-shaped graph, a random regular graph, and a scale-free network generated by the Albert-Barabási model. Our results deliver evidence for the existence of low-dimensional CVs even in cases that are not yet understood theoretically.
△ Less
Submitted 8 January, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Continuous-time extensions of discrete-time cocycles
Authors:
Robin Chemnitz,
Maximilian Engel,
Péter Koltai
Abstract:
We consider linear cocycles taking values in $\textup{SL}_d(\mathbb{R})$ driven by homeomorphic transformations of a smooth manifold, in discrete and continuous time. We show that any discrete-time cocycle can be extended to a continuous-time cocycle, while preserving its characteristic properties. We provide a necessary and sufficient condition under which this extension is natural in the sense t…
▽ More
We consider linear cocycles taking values in $\textup{SL}_d(\mathbb{R})$ driven by homeomorphic transformations of a smooth manifold, in discrete and continuous time. We show that any discrete-time cocycle can be extended to a continuous-time cocycle, while preserving its characteristic properties. We provide a necessary and sufficient condition under which this extension is natural in the sense that the base is extended to an associated suspension flow and that the dimension of the cocycle does not change. Further, we refine our general result for the case of (quasi-)periodic driving. As an example, we present a discrete-time cocycle due to Michael Herman. The Furstenberg--Kesten limits of this cocycle do not exist everywhere and its Oseledets splitting is discontinuous. Our results on the continuous-time extension of discrete-time cocycles allow us to construct a continuous-time cocycle with analogous properties.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Large population limits of Markov processes on random networks
Authors:
Marvin Lücke,
Jobst Heitzig,
Péter Koltai,
Nora Molkenthin,
Stefanie Winkelmann
Abstract:
We consider time-continuous Markovian discrete-state dynamics on random networks of interacting agents and study the large population limit. The dynamics are projected onto low-dimensional collective variables given by the shares of each discrete state in the system, or in certain subsystems, and general conditions for the convergence of the collective variable dynamics to a mean-field ordinary di…
▽ More
We consider time-continuous Markovian discrete-state dynamics on random networks of interacting agents and study the large population limit. The dynamics are projected onto low-dimensional collective variables given by the shares of each discrete state in the system, or in certain subsystems, and general conditions for the convergence of the collective variable dynamics to a mean-field ordinary differential equation are proved. We discuss the convergence to this mean-field limit for a continuous-time noisy version of the so-called ``voter model'' on Erdős-Rényi random graphs, on the stochastic block model, and on random regular graphs. Moreover, a heterogeneous population of agents is studied.
△ Less
Submitted 7 September, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Data-driven modelling of nonlinear dynamics by barycentric coordinates and memory
Authors:
Niklas Wulkow,
Péter Koltai,
Vikram Sunkara,
Christof Schütte
Abstract:
We present a numerical method to model dynamical systems from data. We use the recently introduced method Scalable Probabilistic Approximation (SPA) to project points from a Euclidean space to convex polytopes and represent these projected states of a system in new, lower-dimensional coordinates denoting their position in the polytope. We then introduce a specific nonlinear transformation to const…
▽ More
We present a numerical method to model dynamical systems from data. We use the recently introduced method Scalable Probabilistic Approximation (SPA) to project points from a Euclidean space to convex polytopes and represent these projected states of a system in new, lower-dimensional coordinates denoting their position in the polytope. We then introduce a specific nonlinear transformation to construct a model of the dynamics in the polytope and to transform back into the original state space. To overcome the potential loss of information from the projection to a lower-dimensional polytope, we use memory in the sense of the delay-embedding theorem of Takens. By construction, our method produces stable models. We illustrate the capacity of the method to reproduce even chaotic dynamics and attractors with multiple connected components on various examples.
△ Less
Submitted 16 February, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Optimal Reaction Coordinates: Variational Characterization and Sparse Computation
Authors:
Andreas Bittracher,
Mattes Mollenhauer,
Péter Koltai,
Christof Schütte
Abstract:
Reaction Coordinates (RCs) are indicators of hidden, low-dimensional mechanisms that govern the long-term behavior of high-dimensional stochastic processes. We present a novel and general variational characterization of optimal RCs and provide conditions for their existence. Optimal RCs are minimizers of a certain loss function and reduced models based on them guarantee very good approximation of…
▽ More
Reaction Coordinates (RCs) are indicators of hidden, low-dimensional mechanisms that govern the long-term behavior of high-dimensional stochastic processes. We present a novel and general variational characterization of optimal RCs and provide conditions for their existence. Optimal RCs are minimizers of a certain loss function and reduced models based on them guarantee very good approximation of the long-term dynamics of the original high-dimensional process. We show that, for slow-fast systems, metastable systems, and other systems with known good RCs, the novel theory reproduces previous insight. Remarkably, the numerical effort required to evaluate the loss function scales only with the complexity of the underlying, low-dimensional mechanism, and not with that of the full system. The theory provided lays the foundation for an efficient and data-sparse computation of RCs via modern machine learning techniques.
△ Less
Submitted 22 September, 2021; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Detecting the birth and death of finite-time coherent sets
Authors:
Gary Froyland,
Péter Koltai
Abstract:
Finite-time coherent sets (FTCSs) are distinguished regions of phase space that resist mixing with the surrounding space for some finite period of time; physical manifestations include eddies and vortices in the ocean and atmosphere, respectively. The boundaries of finite-time coherent sets are examples of Lagrangian coherent structures (LCSs). The selection of the time duration over which FTCS an…
▽ More
Finite-time coherent sets (FTCSs) are distinguished regions of phase space that resist mixing with the surrounding space for some finite period of time; physical manifestations include eddies and vortices in the ocean and atmosphere, respectively. The boundaries of finite-time coherent sets are examples of Lagrangian coherent structures (LCSs). The selection of the time duration over which FTCS and LCS computations are made in practice is crucial to their success. If this time is longer than the lifetime of coherence of individual objects then existing methods will fail to detect the shorter-lived coherence. It is of clear practical interest to determine the full lifetime of coherent objects, but in complicated practical situations, for example a field of ocean eddies with varying lifetimes, this is impossible with existing approaches. Moreover, determining the timing of emergence and destruction of coherent sets is of significant scientific interest. In this work we introduce new constructions to address these issues. The key components are an inflated dynamic Laplace operator and the concept of semi-material FTCSs. We make strong mathematical connections between the inflated dynamic Laplacian and the standard dynamic Laplacian [Froyland 2015], showing that the latter arises as a limit of the former. The spectrum and eigenfunctions of the inflated dynamic Laplacian directly provide information on the number, lifetimes, and evolution of coherent~sets.
△ Less
Submitted 9 October, 2023; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Nonparametric approximation of conditional expectation operators
Authors:
Mattes Mollenhauer,
Péter Koltai
Abstract:
Given the joint distribution of two random variables $X,Y$ on some second countable locally compact Hausdorff space, we investigate the statistical approximation of the $L^2$-operator defined by $[Pf](x) := \mathbb{E}[ f(Y) \mid X = x ]$ under minimal assumptions. By modifying its domain, we prove that $P$ can be arbitrarily well approximated in operator norm by Hilbert-Schmidt operators acting on…
▽ More
Given the joint distribution of two random variables $X,Y$ on some second countable locally compact Hausdorff space, we investigate the statistical approximation of the $L^2$-operator defined by $[Pf](x) := \mathbb{E}[ f(Y) \mid X = x ]$ under minimal assumptions. By modifying its domain, we prove that $P$ can be arbitrarily well approximated in operator norm by Hilbert-Schmidt operators acting on a reproducing kernel Hilbert space. This fact allows to estimate $P$ uniformly by finite-rank operators over a dense subspace even when $P$ is not compact. In terms of modes of convergence, we thereby obtain the superiority of kernel-based techniques over classically used parametric projection approaches such as Galerkin methods. This also provides a novel perspective on which limiting object the nonparametric estimate of $P$ converges to. As an application, we show that these results are particularly important for a large family of spectral analysis techniques for Markov transition operators. Our investigation also gives a new asymptotic perspective on the so-called kernel conditional mean embedding, which is the theoretical foundation of a wide variety of techniques in kernel-based nonparametric inference.
△ Less
Submitted 5 August, 2023; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Transfer Operators from Optimal Transport Plans for Coherent Set Detection
Authors:
Péter Koltai,
Johannes von Lindheim,
Sebastian Neumayer,
Gabriele Steidl
Abstract:
The topic of this study lies in the intersection of two fields. One is related with analyzing transport phenomena in complicated flows.For this purpose, we use so-called coherent sets: non-dispersing, possibly moving regions in the flow's domain. The other is concerned with reconstructing a flow field from observing its action on a measure, which we address by optimal transport. We show that the f…
▽ More
The topic of this study lies in the intersection of two fields. One is related with analyzing transport phenomena in complicated flows.For this purpose, we use so-called coherent sets: non-dispersing, possibly moving regions in the flow's domain. The other is concerned with reconstructing a flow field from observing its action on a measure, which we address by optimal transport. We show that the framework of optimal transport is well suited for delivering the formal requirements on which a coherent-set analysis can be based on. The necessary noise-robustness requirement of coherence can be matched by the computationally efficient concept of unbalanced regularized optimal transport. Moreover, the applied regularization can be interpreted as an optimal way of retrieving the full dynamics given the extremely restricted information of an initial and a final distribution of particles moving according to Brownian motion.
△ Less
Submitted 29 April, 2021; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Memory-based reduced modelling and data-based estimation of opinion spreading
Authors:
Niklas Wulkow,
Péter Koltai,
Christof Schütte
Abstract:
We investigate opinion dynamics based on an agent-based model, and are interested in predicting the evolution of the percentages of the entire agent population that share an opinion. Since these opinion percentages can be seen as an aggregated observation of the full system state, the individual opinions of each agent, we view this in the framework of the Mori-Zwanzig projection formalism. More sp…
▽ More
We investigate opinion dynamics based on an agent-based model, and are interested in predicting the evolution of the percentages of the entire agent population that share an opinion. Since these opinion percentages can be seen as an aggregated observation of the full system state, the individual opinions of each agent, we view this in the framework of the Mori-Zwanzig projection formalism. More specifically, we show how to estimate a nonlinear autoregressive model (NAR) with memory from data given by a time series of opinion percentages, and discuss its prediction capacities for various specific topologies of the agent interaction network. We demonstrate that the inclusion of memory terms significantly improves the prediction quality on examples with different network topologies.
△ Less
Submitted 17 November, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Kernel Autocovariance Operators of Stationary Processes: Estimation and Convergence
Authors:
Mattes Mollenhauer,
Stefan Klus,
Christof Schütte,
Péter Koltai
Abstract:
We consider autocovariance operators of a stationary stochastic process on a Polish space that is embedded into a reproducing kernel Hilbert space. We investigate how empirical estimates of these operators converge along realizations of the process under various conditions. In particular, we examine ergodic and strongly mixing processes and obtain several asymptotic results as well as finite sampl…
▽ More
We consider autocovariance operators of a stationary stochastic process on a Polish space that is embedded into a reproducing kernel Hilbert space. We investigate how empirical estimates of these operators converge along realizations of the process under various conditions. In particular, we examine ergodic and strongly mixing processes and obtain several asymptotic results as well as finite sample error bounds. We provide applications of our theory in terms of consistency results for kernel PCA with dependent data and the conditional mean embedding of transition probabilities. Finally, we use our approach to examine the nonparametric estimation of Markov transition operators and highlight how our theory can give a consistency analysis for a large family of spectral analysis methods including kernel-based dynamic mode decomposition.
△ Less
Submitted 29 November, 2022; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Extending Transition Path Theory: Periodically-Driven and Finite-Time Dynamics
Authors:
Luzie Helfmann,
Enric Ribera Borrell,
Christof Schütte,
Péter Koltai
Abstract:
Given two distinct subsets $A,B$ in the state space of some dynamical system, Transition Path Theory (TPT) was successfully used to describe the statistical behavior of transitions from $A$ to $B$ in the ergodic limit of the stationary system. We derive generalizations of TPT that remove the requirements of stationarity and of the ergodic limit, and provide this powerful tool for the analysis of o…
▽ More
Given two distinct subsets $A,B$ in the state space of some dynamical system, Transition Path Theory (TPT) was successfully used to describe the statistical behavior of transitions from $A$ to $B$ in the ergodic limit of the stationary system. We derive generalizations of TPT that remove the requirements of stationarity and of the ergodic limit, and provide this powerful tool for the analysis of other dynamical scenarios: periodically forced dynamics and time-dependent finite-time systems. This is partially motivated by studying applications such as climate, ocean, and social dynamics. On simple model examples we show how the new tools are able to deliver quantitative understanding about the statistical behavior of such systems. We also point out explicit cases where the more general dynamical regimes show different behaviors to their stationary counterparts, linking these tools directly to bifurcations in non-deterministic systems.
△ Less
Submitted 3 September, 2020; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Targets and Holes
Authors:
P. Giulietti,
P. Koltai,
S. Vaienti
Abstract:
We address the extreme value problem of a one-dimensional dynamical system approaching a fixed target while constrained to avoid a fixed set which can be thought of as a small hole. The presence of the latter influences the extremal index which will now depend explicitly on the escape rate.
We address the extreme value problem of a one-dimensional dynamical system approaching a fixed target while constrained to avoid a fixed set which can be thought of as a small hole. The presence of the latter influences the extremal index which will now depend explicitly on the escape rate.
△ Less
Submitted 20 September, 2019;
originally announced September 2019.
-
Lagrangian coherent sets in turbulent Rayleigh-Bénard convection
Authors:
Christiane Schneide,
Martin Stahn,
Ambrish Pandey,
Oliver Junge,
Péter Koltai,
Kathrin Padberg-Gehle,
Jörg Schumacher
Abstract:
Coherent circulation rolls and their relevance for the turbulent heat transfer in a two-dimensional Rayleigh--Bénard convection model are analyzed. The flow is in a closed cell of aspect ratio four at a Rayleigh number ${\rm Ra}=10^6$ and at a Prandtl number ${\rm Pr}=10$. Three different Lagrangian analysis techniques based on graph Laplacians -- distance spectral trajectory clustering, time-aver…
▽ More
Coherent circulation rolls and their relevance for the turbulent heat transfer in a two-dimensional Rayleigh--Bénard convection model are analyzed. The flow is in a closed cell of aspect ratio four at a Rayleigh number ${\rm Ra}=10^6$ and at a Prandtl number ${\rm Pr}=10$. Three different Lagrangian analysis techniques based on graph Laplacians -- distance spectral trajectory clustering, time-averaged diffusion maps and finite-element based dynamic Laplacian discretization -- are used to monitor the turbulent fields along trajectories of massless Lagrangian particles in the evolving turbulent convection flow. The three methods are compared to each other and the obtained coherent sets are related to results from an analysis in the Eulerian frame of reference. We show that the results of these methods agree with each other and that Lagrangian and Eulerian coherent sets form basically a disjoint union of the flow domain. Additionally, a windowed time-averaging of variable interval length is performed to study the degree of coherence as a function of this additional coarse graining which removes small-scale fluctuations that cause trajectories to disperse quickly. Finally, the coherent set framework is extended to study heat transport.
△ Less
Submitted 7 November, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Dimensionality Reduction of Complex Metastable Systems via Kernel Embeddings of Transition Manifolds
Authors:
Andreas Bittracher,
Stefan Klus,
Boumediene Hamzi,
Péter Koltai,
Christof Schütte
Abstract:
We present a novel kernel-based machine learning algorithm for identifying the low-dimensional geometry of the effective dynamics of high-dimensional multiscale stochastic systems. Recently, the authors developed a mathematical framework for the computation of optimal reaction coordinates of such systems that is based on learning a parametrization of a low-dimensional transition manifold in a cert…
▽ More
We present a novel kernel-based machine learning algorithm for identifying the low-dimensional geometry of the effective dynamics of high-dimensional multiscale stochastic systems. Recently, the authors developed a mathematical framework for the computation of optimal reaction coordinates of such systems that is based on learning a parametrization of a low-dimensional transition manifold in a certain function space. In this article, we enhance this approach by embedding and learning this transition manifold in a reproducing kernel Hilbert space, exploiting the favorable properties of kernel embeddings. Under mild assumptions on the kernel, the manifold structure is shown to be preserved under the embedding, and distortion bounds can be derived. This leads to a more robust and more efficient algorithm compared to previous parametrization approaches.
△ Less
Submitted 3 February, 2020; v1 submitted 18 April, 2019;
originally announced April 2019.
-
Markov-chain-inspired search for MH370
Authors:
P. Miron,
F. J. Beron-Vera,
M. J. Olascoaga,
P. Koltai
Abstract:
Markov-chain models are constructed for the probabilistic description of the drift of marine debris from Malaysian Airlines flight MH370. En route from Kuala Lumpur to Beijing, the MH370 mysteriously disappeared in the southeastern Indian Ocean on 8 March 2014, somewhere along the arc of the 7th ping ring around the Inmarsat-3F1 satellite position when the airplane lost contact. The models are obt…
▽ More
Markov-chain models are constructed for the probabilistic description of the drift of marine debris from Malaysian Airlines flight MH370. En route from Kuala Lumpur to Beijing, the MH370 mysteriously disappeared in the southeastern Indian Ocean on 8 March 2014, somewhere along the arc of the 7th ping ring around the Inmarsat-3F1 satellite position when the airplane lost contact. The models are obtained by discretizing the motion of undrogued satellite-tracked surface drifting buoys from the global historical data bank. A spectral analysis, Bayesian estimation, and the computation of most probable paths between the Inmarsat arc and confirmed airplane debris beaching sites are shown to constrain the crash site, near 25$^{\circ}$S on the Inmarsat arc.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Computation and optimal perturbation of finite-time coherent sets for aperiodic flows without trajectory integration
Authors:
Gary Froyland,
Péter Koltai,
Martin Stahn
Abstract:
Understanding the macroscopic behavior of dynamical systems is an important tool to unravel transport mechanisms in complex flows. A decomposition of the state space into coherent sets is a popular way to reveal this essential macroscopic evolution. To compute coherent sets from an aperiodic time-dependent dynamical system we consider the relevant transfer operators and their infinitesimal generat…
▽ More
Understanding the macroscopic behavior of dynamical systems is an important tool to unravel transport mechanisms in complex flows. A decomposition of the state space into coherent sets is a popular way to reveal this essential macroscopic evolution. To compute coherent sets from an aperiodic time-dependent dynamical system we consider the relevant transfer operators and their infinitesimal generators on an augmented space-time manifold. This space-time generator approach avoids trajectory integration, and creates a convenient linearization of the aperiodic evolution. This linearization can be further exploited to create a simple and effective spectral optimization methodology for diminishing or enhancing coherence. We obtain explicit solutions for these optimization problems using Lagrange multipliers and illustrate this technique by increasing and decreasing mixing of spatial regions through small velocity field perturbations.
△ Less
Submitted 29 April, 2020; v1 submitted 25 February, 2019;
originally announced February 2019.
-
Revealing the intrinsic geometry of finite dimensional invariant sets of infinite dimensional dynamical systems
Authors:
Raphael Gerlach,
Péter Koltai,
Michael Dellnitz
Abstract:
Embedding techniques allow the approximations of finite dimensional attractors and manifolds of infinite dimensional dynamical systems via subdivision and continuation methods. These approximations give a topological one-to-one image of the original set. In order to additionally reveal their geometry we use diffusion mapst o find intrinsic coordinates. We illustrate our results on the unstable man…
▽ More
Embedding techniques allow the approximations of finite dimensional attractors and manifolds of infinite dimensional dynamical systems via subdivision and continuation methods. These approximations give a topological one-to-one image of the original set. In order to additionally reveal their geometry we use diffusion mapst o find intrinsic coordinates. We illustrate our results on the unstable manifold of the one-dimensional Kuramoto--Sivashinsky equation, as well as for the attractor of the Mackey-Glass delay differential equation.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Spectral Properties of Effective Dynamics from Conditional Expectations
Authors:
Feliks Nüske,
Péter Koltai,
Lorenzo Boninsegna,
Cecilia Clementi
Abstract:
The reduction of high-dimensional systems to effective models on a smaller set of variables is an essential task in many areas of science. For stochastic dynamics governed by diffusion processes, a general procedure to find effective equations is the conditioning approach. In this paper, we are interested in the spectrum of the generator of the resulting effective dynamics, and how it compares to…
▽ More
The reduction of high-dimensional systems to effective models on a smaller set of variables is an essential task in many areas of science. For stochastic dynamics governed by diffusion processes, a general procedure to find effective equations is the conditioning approach. In this paper, we are interested in the spectrum of the generator of the resulting effective dynamics, and how it compares to the spectrum of the full generator. We prove a new relative error bound in terms of the eigenfunction approximation error for reversible systems. We also present numerical examples indicating that if Kramers--Moyal (KM) type approximations are used to compute the spectrum of the reduced generator, it seems largely insensitive to the time window used for the KM estimators. We analyze the implications of these observations for systems driven by underdamped Langevin dynamics, and show how meaningful effective dynamics can be defined in this setting.
△ Less
Submitted 12 December, 2020; v1 submitted 6 January, 2019;
originally announced January 2019.
-
Network Measures of Mixing
Authors:
Ralf Banisch,
Péter Koltai,
Kathrin Padberg-Gehle
Abstract:
Transport and mixing processes in fluid flows can be studied directly from Lagrangian trajectory data, such as obtained from particle tracking experiments. Recent work in this context highlights the application of graph-based approaches, where trajectories serve as nodes and some similarity or distance measure between them is employed to build a (possibly weighted) network, which is then analyzed…
▽ More
Transport and mixing processes in fluid flows can be studied directly from Lagrangian trajectory data, such as obtained from particle tracking experiments. Recent work in this context highlights the application of graph-based approaches, where trajectories serve as nodes and some similarity or distance measure between them is employed to build a (possibly weighted) network, which is then analyzed using spectral methods. Here, we consider the simplest case of an unweighted, undirected network and analytically relate local network measures such as node degree or clustering coefficient to flow structures. In particular, we use these local measures to divide the family of trajectories into groups of similar dynamical behavior via manifold learning methods.
△ Less
Submitted 23 April, 2019; v1 submitted 3 January, 2019;
originally announced January 2019.
-
Diffusion maps embedding and transition matrix analysis of the large-scale flow structure in turbulent Rayleigh--Bénard convection
Authors:
Péter Koltai,
Stephan Weiss
Abstract:
By utilizing diffusion maps embedding and transition matrix analysis we investigate sparse temperature measurement time-series data from Rayleigh--Bénard convection experiments in a cylindrical container of aspect ratio $Γ=D/L=0.5$ between its diameter ($D$) and height ($L$). We consider the two cases of a cylinder at rest and rotating around its cylinder axis. We find that the relative amplitude…
▽ More
By utilizing diffusion maps embedding and transition matrix analysis we investigate sparse temperature measurement time-series data from Rayleigh--Bénard convection experiments in a cylindrical container of aspect ratio $Γ=D/L=0.5$ between its diameter ($D$) and height ($L$). We consider the two cases of a cylinder at rest and rotating around its cylinder axis. We find that the relative amplitude of the large-scale circulation (LSC) and its orientation inside the container at different points in time are associated to prominent geometric features in the embedding space spanned by the two dominant diffusion-maps eigenvectors. From this two-dimensional embedding we can measure azimuthal drift and diffusion rates, as well as coherence times of the LSC. In addition, we can distinguish from the data clearly the single roll state (SRS), when a single roll extends through the whole cell, from the double roll state (DRS), when two counter-rotating rolls are on top of each other. Based on this embedding we also build a transition matrix (a discrete transfer operator), whose eigenvectors and eigenvalues reveal typical time scales for the stability of the SRS and DRS as well as for the azimuthal drift velocity of the flow structures inside the cylinder. Thus, the combination of nonlinear dimension reduction and dynamical systems tools enables to gain insight into turbulent flows without relying on model assumptions.
△ Less
Submitted 10 December, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Fréchet differentiable drift dependence of Perron--Frobenius and Koopman operators for non-deterministic dynamics
Authors:
Péter Koltai,
Han Cheng Lie,
Martin Plonka
Abstract:
We consider Perron-Frobenius and Koopman operators associated to time-inhomogeneous ordinary stochastic differential equations, and establish their Fréchet differentiability with respect to the drift. This result relies on a similar differentiability result for pathwise expectations of path functionals of the solution of the stochastic differential equation, which we establish using Girsanov's for…
▽ More
We consider Perron-Frobenius and Koopman operators associated to time-inhomogeneous ordinary stochastic differential equations, and establish their Fréchet differentiability with respect to the drift. This result relies on a similar differentiability result for pathwise expectations of path functionals of the solution of the stochastic differential equation, which we establish using Girsanov's formula. We demonstrate the significance of our result in the context of dynamical systems and operator theory, by proving continuously differentiable drift dependence of the simple eigen- and singular values and the corresponding eigen- and singular functions of the stochastic Perron-Frobenius and Koopman operators.
△ Less
Submitted 16 July, 2019; v1 submitted 17 May, 2018;
originally announced May 2018.
-
Optimal data-driven estimation of generalized Markov state models for non-equilibrium dynamics
Authors:
Péter Koltai,
Hao Wu,
Frank Noé,
Christof Schütte
Abstract:
There are multiple ways in which a stochastic system can be out of statistical equilibrium. It might be subject to time-varying forcing; or be in a transient phase on its way towards equilibrium; it might even be in equilibrium without us noticing it, due to insufficient observations; and it even might be a system failing to admit an equilibrium distribution at all. We review some of the approache…
▽ More
There are multiple ways in which a stochastic system can be out of statistical equilibrium. It might be subject to time-varying forcing; or be in a transient phase on its way towards equilibrium; it might even be in equilibrium without us noticing it, due to insufficient observations; and it even might be a system failing to admit an equilibrium distribution at all. We review some of the approaches that model the effective statistical behavior of equilibrium and non-equilibrium dynamical systems, and show that both cases can be considered under the unified framework of optimal low-rank approximation of so-called transfer operators. Particular attention is given to the connection between these methods, Markov state models, and the concept of metastability, further to the estimation of such reduced order models from finite simulation data. We illustrate our considerations by numerical examples.
△ Less
Submitted 12 January, 2018;
originally announced January 2018.
-
Diffusion maps tailored to arbitrary non-degenerate Ito processes
Authors:
Ralf Banisch,
Zofia Trstanova,
Andreas Bittracher,
Stefan Klus,
Peter Koltai
Abstract:
We present two generalizations of the popular diffusion maps algorithm. The first generalization replaces the drift term in diffusion maps, which is the gradient of the sampling density, with the gradient of an arbitrary density of interest which is known up to a normalization constant. The second generalization allows for a diffusion map type approximation of the forward and backward generators o…
▽ More
We present two generalizations of the popular diffusion maps algorithm. The first generalization replaces the drift term in diffusion maps, which is the gradient of the sampling density, with the gradient of an arbitrary density of interest which is known up to a normalization constant. The second generalization allows for a diffusion map type approximation of the forward and backward generators of general Ito diffusions with given drift and diffusion coefficients. We use the local kernels introduced by Berry and Sauer, but allow for arbitrary sampling densities. We provide numerical illustrations to demonstrate that this opens up many new applications for diffusion maps as a tool to organize point cloud data, including biased or corrupted samples, dimension reduction for dynamical systems, detection of almost invariant regions in flow fields, and importance sampling.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
From large deviations to semidistances of transport and mixing: coherence analysis for finite Lagrangian data
Authors:
Péter Koltai,
D. R. Michiel Renger
Abstract:
One way to analyze complicated non-autonomous flows is through trying to understand their transport behavior. In a quantitative, set-oriented approach to transport and mixing, finite time coherent sets play an important role. These are time-parametrized families of sets with unlikely transport to and from their surroundings under small or vanishing random perturbations of the dynamics. Here we pro…
▽ More
One way to analyze complicated non-autonomous flows is through trying to understand their transport behavior. In a quantitative, set-oriented approach to transport and mixing, finite time coherent sets play an important role. These are time-parametrized families of sets with unlikely transport to and from their surroundings under small or vanishing random perturbations of the dynamics. Here we propose, as a measure of transport and mixing for purely advective (i.e., deterministic) flows, (semi)distances that arise under vanishing perturbations in the sense of large deviations. Analogously, for given finite Lagrangian trajectory data we derive a discrete-time and space semidistance that comes from the "best" approximation of the randomly perturbed process conditioned on this limited information of the deterministic flow. It can be computed as shortest path in a graph with time-dependent weights. Furthermore, we argue that coherent sets are regions of maximal farness in terms of transport and mixing, hence they occur as extremal regions on a spanning structure of the state space under this semidistance---in fact, under any distance measure arising from the physical notion of transport. Based on this notion we develop a tool to analyze the state space (or the finite trajectory data at hand) and identify coherent regions. We validate our approach on idealized prototypical examples and well-studied standard cases.
△ Less
Submitted 2 June, 2018; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Transition manifolds of complex metastable systems: Theory and data-driven computation of effective dynamics
Authors:
Andreas Bittracher,
Péter Koltai,
Stefan Klus,
Ralf Banisch,
Michael Dellnitz,
Christof Schütte
Abstract:
We consider complex dynamical systems showing metastable behavior but no local separation of fast and slow time scales. The article raises the question of whether such systems exhibit a low-dimensional manifold supporting its effective dynamics. For answering this question, we aim at finding nonlinear coordinates, called reaction coordinates, such that the projection of the dynamics onto these coo…
▽ More
We consider complex dynamical systems showing metastable behavior but no local separation of fast and slow time scales. The article raises the question of whether such systems exhibit a low-dimensional manifold supporting its effective dynamics. For answering this question, we aim at finding nonlinear coordinates, called reaction coordinates, such that the projection of the dynamics onto these coordinates preserves the dominant time scales of the dynamics. We show that, based on a specific reducibility property, the existence of good low-dimensional reaction coordinates preserving the dominant time scales is guaranteed. Based on this theoretical framework, we develop and test a novel numerical approach for computing good reaction coordinates. The proposed algorithmic approach is fully local and thus not prone to the curse of dimension with respect to the state space of the dynamics. Hence, it is a promising method for data-based model reduction of complex dynamical systems such as molecular dynamics.
△ Less
Submitted 18 September, 2017; v1 submitted 28 April, 2017;
originally announced April 2017.
-
Data-driven model reduction and transfer operator approximation
Authors:
Stefan Klus,
Feliks Nüske,
Péter Koltai,
Hao Wu,
Ioannis Kevrekidis,
Christof Schütte,
Frank Noé
Abstract:
In this review paper, we will present different data-driven dimension reduction techniques for dynamical systems that are based on transfer operator theory as well as methods to approximate transfer operators and their eigenvalues, eigenfunctions, and eigenmodes. The goal is to point out similarities and differences between methods developed independently by the dynamical systems, fluid dynamics,…
▽ More
In this review paper, we will present different data-driven dimension reduction techniques for dynamical systems that are based on transfer operator theory as well as methods to approximate transfer operators and their eigenvalues, eigenfunctions, and eigenmodes. The goal is to point out similarities and differences between methods developed independently by the dynamical systems, fluid dynamics, and molecular dynamics communities such as time-lagged independent component analysis (TICA), dynamic mode decomposition (DMD), and their respective generalizations. As a result, extensions and best practices developed for one particular method can be carried over to other related methods.
△ Less
Submitted 18 September, 2017; v1 submitted 29 March, 2017;
originally announced March 2017.
-
Understanding the geometry of transport: diffusion maps for Lagrangian trajectory data unravel coherent sets
Authors:
Ralf Banisch,
Péter Koltai
Abstract:
Dynamical systems often exhibit the emergence of long-lived coherent sets, which are regions in state space that keep their geometric integrity to a high extent and thus play an important role in transport. In this article, we provide a method for extracting coherent sets from possibly sparse Lagrangian trajectory data. Our method can be seen as an extension of diffusion maps to trajectory space,…
▽ More
Dynamical systems often exhibit the emergence of long-lived coherent sets, which are regions in state space that keep their geometric integrity to a high extent and thus play an important role in transport. In this article, we provide a method for extracting coherent sets from possibly sparse Lagrangian trajectory data. Our method can be seen as an extension of diffusion maps to trajectory space, and it allows us to construct "dynamical coordinates" which reveal the intrinsic low-dimensional organization of the data. The only a priori knowledge about the dynamics that we require is a locally valid notion of distance, which renders our method highly suitable for automated data analysis. We show convergence of our method to the analytic transfer operator framework of coherence in the infinite data limit, and illustrate its potential on several two- and three-dimensional examples as well as real world data.
△ Less
Submitted 7 April, 2016; v1 submitted 15 March, 2016;
originally announced March 2016.
-
On the numerical approximation of the Perron-Frobenius and Koopman operator
Authors:
Stefan Klus,
Péter Koltai,
Christof Schütte
Abstract:
Information about the behavior of dynamical systems can often be obtained by analyzing the eigenvalues and corresponding eigenfunctions of linear operators associated with a dynamical system. Examples of such operators are the Perron-Frobenius and the Koopman operator. In this paper, we will review different methods that have been developed over the last decades to compute finite-dimensional appro…
▽ More
Information about the behavior of dynamical systems can often be obtained by analyzing the eigenvalues and corresponding eigenfunctions of linear operators associated with a dynamical system. Examples of such operators are the Perron-Frobenius and the Koopman operator. In this paper, we will review different methods that have been developed over the last decades to compute finite-dimensional approximations of these infinite-dimensional operators - e.g. Ulam's method and Extended Dynamic Mode Decomposition (EDMD) - and highlight the similarities and differences between these approaches. The results will be illustrated using simple stochastic differential equations and molecular dynamics examples.
△ Less
Submitted 20 October, 2016; v1 submitted 18 December, 2015;
originally announced December 2015.
-
Estimating long-term behavior of periodically driven flows without trajectory integration
Authors:
Gary Froyland,
Péter Koltai
Abstract:
Periodically driven flows are fundamental models of chaotic behavior and the study of their transport properties is an active area of research. A well-known analytic construction is the augmentation of phase space with an additional time dimension; in this augmented space, the flow becomes autonomous or time-independent. We prove several results concerning the connections between the original time…
▽ More
Periodically driven flows are fundamental models of chaotic behavior and the study of their transport properties is an active area of research. A well-known analytic construction is the augmentation of phase space with an additional time dimension; in this augmented space, the flow becomes autonomous or time-independent. We prove several results concerning the connections between the original time-periodic representation and the time-extended representation, focusing on transport properties. In the deterministic setting, these include single-period outflows and time-asymptotic escape rates from time-parameterized families of sets. We also consider stochastic differential equations with time-periodic advection term. In this stochastic setting one has a time-periodic generator (the differential operator given by the right-hand-side of the corresponding time-periodic Fokker-Planck equation). We define in a natural way an autonomous generator corresponding to the flow on time-extended phase space. We prove relationships between these two generator representations and use these to quantify decay rates of observables and to determine time-periodic families of sets with slow escape rate. Finally, we use the generator on the time-extended phase space to create efficient numerical schemes to implement the various theoretical constructions. These ideas build on the work of Froyland et al (SINUM, 2013), and no expensive time integration is required. We introduce an efficient new hybrid approach, which treats the space and time dimensions separately.
△ Less
Submitted 7 February, 2017; v1 submitted 23 November, 2015;
originally announced November 2015.
-
Pseudo generators for under-resolved molecular dynamics
Authors:
Andreas Bittracher,
Carsten Hartmann,
Oliver Junge,
Péter Koltai
Abstract:
Many features of a molecule which are of physical interest (e.g. molecular conformations, reaction rates) are described in terms of its dynamics in configuration space. This article deals with the projection of molecular dynamics in phase space onto configuration space. Specifically, we study the situation that the phase space dynamics is governed by a stochastic Langevin equation and study its re…
▽ More
Many features of a molecule which are of physical interest (e.g. molecular conformations, reaction rates) are described in terms of its dynamics in configuration space. This article deals with the projection of molecular dynamics in phase space onto configuration space. Specifically, we study the situation that the phase space dynamics is governed by a stochastic Langevin equation and study its relation with the configurational Smoluchowski equation in the three different scaling regimes: Firstly, the Smoluchowski equations in non-Cartesian geometries are derived from the overdamped limit of the Langevin equation. Secondly, transfer operator methods are used to describe the metastable behaviour of the system at hand, and an explicit small-time asymptotics is derived on which the Smoluchowski equation turns out to govern the dynamics of the position coordinate (without any assumptions on the damping). By using an adequate reduction technique, these considerations are then extended to one-dimensional reaction coordinates. Thirdly, we sketch three different approaches to approximate the metastable dynamics based on time-local information only.
△ Less
Submitted 19 May, 2015; v1 submitted 4 February, 2015;
originally announced February 2015.
-
Pseudo generators of spatial transfer operators
Authors:
Andreas Bittracher,
Péter Koltai,
Oliver Junge
Abstract:
Metastable behavior in dynamical systems may be a significant challenge for a simulation based analysis. In recent years, transfer operator based approaches to problems exhibiting metastability have matured. In order to make these approaches computationally feasible for larger systems, various reduction techniques have been proposed: For example, Schütte introduced a spatial transfer operator whic…
▽ More
Metastable behavior in dynamical systems may be a significant challenge for a simulation based analysis. In recent years, transfer operator based approaches to problems exhibiting metastability have matured. In order to make these approaches computationally feasible for larger systems, various reduction techniques have been proposed: For example, Schütte introduced a spatial transfer operator which acts on densities on configuration space, while Weber proposed to avoid trajectory simulation (like Froyland et al.) by considering a discrete generator.
In this manuscript, we show that even though the family of spatial transfer operators is not a semigroup, it possesses a well defined generating structure. What is more, the pseudo generators up to order 4 in the Taylor expansion of this family have particularly simple, explicit expressions involving no momentum averaging. This makes collocation methods particularly easy to implement and computationally efficient, which in turn may open the door for further efficiency improvements in, e.g., the computational treatment of conformation dynamics. We experimentally verify the predicted properties of these pseudo generators by means of two academic examples.
△ Less
Submitted 19 May, 2015; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Split optimal policy iteration for LQR problems
Authors:
Péter Koltai
Abstract:
This technical report is concerned with the convergence properties of what we call the split optimal policy iteration for coupled LQR problems; see section 3.1 in the manuscript. Interestingly, the iteration shows different convergence behavior for continuous and discrete time systems: while global convergence holds for both cases, we have local quadratic convergence for the continuous time case,…
▽ More
This technical report is concerned with the convergence properties of what we call the split optimal policy iteration for coupled LQR problems; see section 3.1 in the manuscript. Interestingly, the iteration shows different convergence behavior for continuous and discrete time systems: while global convergence holds for both cases, we have local quadratic convergence for the continuous time case, but only linear convergence for the discrete time case - even though quadratic convergence is retained in the limit as the coupling between the subsystems vanishes.
△ Less
Submitted 21 April, 2014;
originally announced April 2014.
-
Optimizing the stable behavior of parameter-dependent dynamical systems - maximal domains of attraction, minimal absorption times
Authors:
Péter Koltai,
Alexander Volf
Abstract:
We propose a method for approximating solutions to optimization problems involving the global stability properties of parameter-dependent continuous-time autonomous dynamical systems. The method relies on an approximation of the infinite-state deterministic system by a finite-state non-deterministic one - a Markov jump process. The key properties of the method are that it does not use any trajec…
▽ More
We propose a method for approximating solutions to optimization problems involving the global stability properties of parameter-dependent continuous-time autonomous dynamical systems. The method relies on an approximation of the infinite-state deterministic system by a finite-state non-deterministic one - a Markov jump process. The key properties of the method are that it does not use any trajectory simulation, and that the parameters and objective function are in a simple (and except for a system of linear equations) explicit relationship.
△ Less
Submitted 3 October, 2012; v1 submitted 2 November, 2011;
originally announced November 2011.
-
Optimal value functions for weakly coupled systems: a posteriori estimates
Authors:
Péter Koltai,
Oliver Junge
Abstract:
We consider weakly coupled LQ optimal control problems and derive estimates on the sensitivity of the optimal value function in dependence of the coupling strength. In order to improve these sensitivity estimates a "coupling adapted" norm is proposed. Our main result is that if a weak coupling suffices to destabilize the closed loop system with the optimal feedback of the uncoupled system then t…
▽ More
We consider weakly coupled LQ optimal control problems and derive estimates on the sensitivity of the optimal value function in dependence of the coupling strength. In order to improve these sensitivity estimates a "coupling adapted" norm is proposed. Our main result is that if a weak coupling suffices to destabilize the closed loop system with the optimal feedback of the uncoupled system then the value function might change drastically with the coupling. As a consequence, it is not reasonable to expect that a weakly coupled system possesses a weakly coupled optimal value function. Also, for a known result on the connection of the separation operator and the stability radius a new and simpler proof is given.
△ Less
Submitted 3 October, 2012; v1 submitted 17 October, 2011;
originally announced October 2011.
-
Discrete infinitesimal generator of the Frobenius-Perron operator semigroup associated with "outflow systems"
Authors:
Péter Koltai
Abstract:
In this technical report the $C_0$ semigroup of Frobenius-Perron operators on $L^1(X)$ is considered, where the underlying dynamical system is such that trajectories may leave the state space $X$ and terminate. We introduce a discrete infinitesimal generator and show, that the operator semigroup generated by this discrete generator converges in $L^1(X)$ pointwise to the Frobenius-Perron operator o…
▽ More
In this technical report the $C_0$ semigroup of Frobenius-Perron operators on $L^1(X)$ is considered, where the underlying dynamical system is such that trajectories may leave the state space $X$ and terminate. We introduce a discrete infinitesimal generator and show, that the operator semigroup generated by this discrete generator converges in $L^1(X)$ pointwise to the Frobenius-Perron operator of the system.
△ Less
Submitted 2 March, 2011;
originally announced March 2011.
-
Estimating long term behavior of flows without trajectory integration: the infinitesimal generator approach
Authors:
Gary Froyland,
Oliver Junge,
Péter Koltai
Abstract:
The long-term distributions of trajectories of a flow are described by invariant densities, i.e. fixed points of an associated transfer operator. In addition, global slowly mixing structures, such as almost-invariant sets, which partition phase space into regions that are almost dynamically disconnected, can also be identified by certain eigenfunctions of this operator. Indeed, these structures ar…
▽ More
The long-term distributions of trajectories of a flow are described by invariant densities, i.e. fixed points of an associated transfer operator. In addition, global slowly mixing structures, such as almost-invariant sets, which partition phase space into regions that are almost dynamically disconnected, can also be identified by certain eigenfunctions of this operator. Indeed, these structures are often hard to obtain by brute-force trajectory-based analyses. In a wide variety of applications, transfer operators have proven to be very efficient tools for an analysis of the global behavior of a dynamical system.
The computationally most expensive step in the construction of an approximate transfer operator is the numerical integration of many short term trajectories. In this paper, we propose to directly work with the infinitesimal generator instead of the operator, completely avoiding trajectory integration. We propose two different discretization schemes; a cell based discretization and a spectral collocation approach. Convergence can be shown in certain circumstances. We demonstrate numerically that our approach is much more efficient than the operator approach, sometimes by several orders of magnitude.
△ Less
Submitted 21 January, 2011;
originally announced January 2011.
-
Mean field approximation in conformation dynamics
Authors:
Gero Friesecke,
Oliver Junge,
Péter Koltai
Abstract:
We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost.
We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost.
△ Less
Submitted 10 July, 2009;
originally announced July 2009.
-
Discretization of transfer operators using a sparse hierarchical tensor basis - the Sparse Ulam method
Authors:
Oliver Junge,
Peter Koltai
Abstract:
The global macroscopic behaviour of a dynamical system is encoded in the eigenfunctions of a certain transfer operator associated to it. For systems with low dimensional long term dynamics, efficient techniques exist for a numerical approximation of the most important eigenfunctions, cf. DeJu99a. They are based on a projection of the operator onto a space of piecewise constant functions supporte…
▽ More
The global macroscopic behaviour of a dynamical system is encoded in the eigenfunctions of a certain transfer operator associated to it. For systems with low dimensional long term dynamics, efficient techniques exist for a numerical approximation of the most important eigenfunctions, cf. DeJu99a. They are based on a projection of the operator onto a space of piecewise constant functions supported on a neighborhood of the attractor - Ulam's method.
In this paper we develop a numerical technique which makes Ulam's approach applicable to systems with higher dimensional long term dynamics. It is based on ideas for the treatment of higher dimensional partial differential equations using sparse grids. We develop the technique, establish statements about its complexity and convergence and present two numerical examples.
△ Less
Submitted 27 February, 2008;
originally announced February 2008.
