-
Hyperspatiality for isomorphisms of stabilized automorphism groups of shifts of finite type
Authors:
Jeremias Epperlein,
Scott Schmieding
Abstract:
Given a homeomorphism $T \colon X \to X$ of a compact metric space $X$, the stabilized automorphism group $\textrm{Aut}^{\infty}(T)$ of the system $(X,T)$ is the group of self-homeomorphisms of $X$ which commute with some power of $T$. We study the question of spatiality for stabilized automorphism groups of shifts of finite type. We prove that any isomorphism…
▽ More
Given a homeomorphism $T \colon X \to X$ of a compact metric space $X$, the stabilized automorphism group $\textrm{Aut}^{\infty}(T)$ of the system $(X,T)$ is the group of self-homeomorphisms of $X$ which commute with some power of $T$. We study the question of spatiality for stabilized automorphism groups of shifts of finite type. We prove that any isomorphism $Ψ\colon \textrm{Aut}^{\infty}(σ_{m}) \to \textrm{Aut}^{\infty}(σ_{n})$ between stabilized automorphism groups of full shifts is spatially induced by a homeomorphism $\hatΨ$ between respective stabilized spaces of chain recurrent subshifts. This spatialization in particular gives a bijection between the sets of periodic points which intertwines some powers of the shifts, and this bijection recovers the isomorphism at the level of the faithful actions on the sets of periodic points. We also prove that the outer automorphism group of $\textrm{Aut}^{\infty}(σ_{n})$ is uncountable, and deduce several other properties of $\textrm{Aut}^{\infty}(σ_{n})$ using the spatiality results.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
A new computationally efficient algorithm to solve Feature Selection for Functional Data Classification in high-dimensional spaces
Authors:
Tobia Boschi,
Francesca Bonin,
Rodrigo Ordonez-Hurtado,
Alessandra Pascale,
Jonathan Epperlein
Abstract:
This paper introduces a novel methodology for Feature Selection for Functional Classification, FSFC, that addresses the challenge of jointly performing feature selection and classification of functional data in scenarios with categorical responses and multivariate longitudinal features. FSFC tackles a newly defined optimization problem that integrates logistic loss and functional features to ident…
▽ More
This paper introduces a novel methodology for Feature Selection for Functional Classification, FSFC, that addresses the challenge of jointly performing feature selection and classification of functional data in scenarios with categorical responses and multivariate longitudinal features. FSFC tackles a newly defined optimization problem that integrates logistic loss and functional features to identify the most crucial variables for classification. To address the minimization procedure, we employ functional principal components and develop a new adaptive version of the Dual Augmented Lagrangian algorithm. The computational efficiency of FSFC enables handling high-dimensional scenarios where the number of features may considerably exceed the number of statistical units. Simulation experiments demonstrate that FSFC outperforms other machine learning and deep learning methods in computational time and classification accuracy. Furthermore, the FSFC feature selection capability can be leveraged to significantly reduce the problem's dimensionality and enhance the performances of other classification algorithms. The efficacy of FSFC is also demonstrated through a real data application, analyzing relationships between four chronic diseases and other health and demographic factors.
△ Less
Submitted 5 March, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
The joint spectral radius is pointwise Hölder continuous
Authors:
Jeremias Epperlein,
Fabian Wirth
Abstract:
We show that the joint spectral radius is pointwise Hölder continuous. In addition, the joint spectral radius is locally Hölder continuous for $\varepsilon$-inflations. In the two-dimensional case, local Hölder continuity holds on the matrix sets with positive joint spectral radius.
We show that the joint spectral radius is pointwise Hölder continuous. In addition, the joint spectral radius is locally Hölder continuous for $\varepsilon$-inflations. In the two-dimensional case, local Hölder continuity holds on the matrix sets with positive joint spectral radius.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Eventual conjugacy of free inert $G$-SFTs
Authors:
Jeremias Epperlein
Abstract:
The action of a finite group $G$ on a subshift of finite type $X$ is called free, if every point has trivial stabilizer, and it is called inert, if the induced action on the dimension group of $X$ is trivial. We show that any two free inert actions of a finite group $G$ on an SFT are conjugate by an automorphism of any sufficiently high power of the shift space. This partially answers a question p…
▽ More
The action of a finite group $G$ on a subshift of finite type $X$ is called free, if every point has trivial stabilizer, and it is called inert, if the induced action on the dimension group of $X$ is trivial. We show that any two free inert actions of a finite group $G$ on an SFT are conjugate by an automorphism of any sufficiently high power of the shift space. This partially answers a question posed by Fiebig. As a consequence we obtain that every two free elements of the stabilized automorphism group of a full shift are conjugate in this group. In addition, we generalize a result of Boyle, Carlsen and Eilers concerning the flow equivalence of $G$-SFTs.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Robust Learning Protocol for Federated Tumor Segmentation Challenge
Authors:
Ambrish Rawat,
Giulio Zizzo,
Swanand Kadhe,
Jonathan P. Epperlein,
Stefano Braghin
Abstract:
In this work, we devise robust and efficient learning protocols for orchestrating a Federated Learning (FL) process for the Federated Tumor Segmentation Challenge (FeTS 2022). Enabling FL for FeTS setup is challenging mainly due to data heterogeneity among collaborators and communication cost of training. To tackle these challenges, we propose Robust Learning Protocol (RoLePRO) which is a combinat…
▽ More
In this work, we devise robust and efficient learning protocols for orchestrating a Federated Learning (FL) process for the Federated Tumor Segmentation Challenge (FeTS 2022). Enabling FL for FeTS setup is challenging mainly due to data heterogeneity among collaborators and communication cost of training. To tackle these challenges, we propose Robust Learning Protocol (RoLePRO) which is a combination of server-side adaptive optimisation (e.g., server-side Adam) and judicious parameter (weights) aggregation schemes (e.g., adaptive weighted aggregation). RoLePRO takes a two-phase approach, where the first phase consists of vanilla Federated Averaging, while the second phase consists of a judicious aggregation scheme that uses a sophisticated reweighting, all in the presence of an adaptive optimisation algorithm at the server. We draw insights from extensive experimentation to tune learning rates for the two phases.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Extracting, Visualizing, and Learning from Dynamic Data: Perfusion in Surgical Video for Tissue Characterization
Authors:
Jonathan P. Epperlein,
Niall P. Hardy,
Pol Mac Aonghusa,
Ronan A. Cahill
Abstract:
Intraoperative assessment of tissue can be guided through fluorescence imaging which involves systemic dosing with a fluorophore and subsequent examination of the tissue region of interest with a near-infrared camera. This typically involves administering indocyanine green (ICG) hours or even days before surgery and intraoperative visualization at the time predicted for steady-state signal-to-back…
▽ More
Intraoperative assessment of tissue can be guided through fluorescence imaging which involves systemic dosing with a fluorophore and subsequent examination of the tissue region of interest with a near-infrared camera. This typically involves administering indocyanine green (ICG) hours or even days before surgery and intraoperative visualization at the time predicted for steady-state signal-to-background status. Here, we describe our efforts to capture and utilize the information contained in the first few minutes after ICG administration from the perspective of both signal processing and surgical practice. We prove a method for characterization of cancerous versus benign rectal lesions now undergoing further development and validation via multicenter clinical phase studies.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
A Real-Time Region Tracking Algorithm Tailored to Endoscopic Video with Open-Source Implementation
Authors:
Jonathan P. Epperlein,
Sergiy Zhuk
Abstract:
With a video data source, such as multispectral video acquired during administration of fluorescent tracers, extraction of time-resolved data typically requires the compensation of motion. While this can be done manually, which is arduous, or using off-the-shelf object tracking software, which often yields unsatisfactory performance, we present an algorithm which is simple and performant. Most imp…
▽ More
With a video data source, such as multispectral video acquired during administration of fluorescent tracers, extraction of time-resolved data typically requires the compensation of motion. While this can be done manually, which is arduous, or using off-the-shelf object tracking software, which often yields unsatisfactory performance, we present an algorithm which is simple and performant. Most importantly, we provide an open-source implementation, with an easy-to-use interface for researchers not inclined to write their own code, as well as Python modules that can be used programmatically.
△ Less
Submitted 16 March, 2022;
originally announced March 2022.
-
On Game Theory Using Stochastic Tail Orders
Authors:
Stefan Rass,
Sandra König,
Stefan Schauer,
Vincent Bürgin,
Jeremias Epperlein,
Fabian Wirth
Abstract:
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Mor…
▽ More
We consider a family of distributions on which natural tail orders can be constructed upon a representation of a distribution by a (single) hyper-real number. Past research revealed that the ordering can herein strongly depend on the particular model of the hyperreals, specifically the underlying ultrafilter. Hence, our distribution family is constructed to order invariantly of an ultrafilter. Moreover, we prove that it lies dense in the set of all distributions with the (same) compact support, w.r.t. the supremum norm. Overall, this work resents a correction to [10, 12], in response to recent findings of [2].
△ Less
Submitted 19 April, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Remarks on the tail order on moment sequences
Authors:
Vincent Bürgin,
Jeremias Epperlein,
Fabian Wirth
Abstract:
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified on which the order is total, but it is shown that already for the set of distributions with compactly supported smooth densities the order is not total. In part…
▽ More
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified on which the order is total, but it is shown that already for the set of distributions with compactly supported smooth densities the order is not total. In particular we construct a pair of measures with smooth density for which infinitely many moments agree and another one for which the moments alternate infinitely often. This disproves some recently published claims to the contrary. Some consequences for games with distributional payoffs are discussed.
△ Less
Submitted 21 March, 2022; v1 submitted 21 April, 2021;
originally announced April 2021.
-
Reinforcement Learning with Algorithms from Probabilistic Structure Estimation
Authors:
Jonathan P. Epperlein,
Roman Overko,
Sergiy Zhuk,
Christopher King,
Djallel Bouneffouf,
Andrew Cullen,
Robert Shorten
Abstract:
Reinforcement learning (RL) algorithms aim to learn optimal decisions in unknown environments through experience of taking actions and observing the rewards gained. In some cases, the environment is not influenced by the actions of the RL agent, in which case the problem can be modeled as a contextual multi-armed bandit and lightweight myopic algorithms can be employed. On the other hand, when the…
▽ More
Reinforcement learning (RL) algorithms aim to learn optimal decisions in unknown environments through experience of taking actions and observing the rewards gained. In some cases, the environment is not influenced by the actions of the RL agent, in which case the problem can be modeled as a contextual multi-armed bandit and lightweight myopic algorithms can be employed. On the other hand, when the RL agent's actions affect the environment, the problem must be modeled as a Markov decision process and more complex RL algorithms are required which take the future effects of actions into account. Moreover, in practice, it is often unknown from the outset whether or not the agent's actions will impact the environment and it is therefore not possible to determine which RL algorithm is most fitting. In this work, we propose to avoid this difficult decision entirely and incorporate a choice mechanism into our RL framework. Rather than assuming a specific problem structure, we use a probabilistic structure estimation procedure based on a likelihood-ratio (LR) test to make a more informed selection of learning algorithm. We derive a sufficient condition under which myopic policies are optimal, present an LR test for this condition, and derive a bound on the regret of our framework. We provide examples of real-world scenarios where our framework is needed and provide extensive simulations to validate our approach.
△ Less
Submitted 1 June, 2022; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Iterated Minkowski sums, horoballs and north-south dynamics
Authors:
Jeremias Epperlein,
Tom Meyerovitch
Abstract:
Given a finite generating set $A$ for a group $Γ$, we study the map $W \mapsto WA$ as a topological dynamical system -- a continuous self-map of the compact metrizable space of subsets of $Γ$. If the set $A$ generates $Γ$ as a semigroup and contains the identity, there are precisely two fixed points, one of which is attracting. This supports the initial impression that the dynamics of this map is…
▽ More
Given a finite generating set $A$ for a group $Γ$, we study the map $W \mapsto WA$ as a topological dynamical system -- a continuous self-map of the compact metrizable space of subsets of $Γ$. If the set $A$ generates $Γ$ as a semigroup and contains the identity, there are precisely two fixed points, one of which is attracting. This supports the initial impression that the dynamics of this map is rather trivial. Indeed, at least when $Γ= \mathbb{Z}^d$ and $A \subseteq \mathbb{Z}^d$ a finite positively generating set containing the natural invertible extension of the map $W \mapsto W+A$ is always topologically conjugate to the unique "north-south" dynamics on the Cantor set. In contrast to this, we show that various natural "geometric" properties of the finitely generated group $(Γ,A)$ can be recovered from the dynamics of this map, in particular, the growth type and amenability of $Γ$. When $Γ= \mathbb{Z}^d$, we show that the volume of the convex hull of the generating set $A$ is also an invariant of topological conjugacy. Our study introduces, utilizes and develops a certain convexity structure on subsets of the group $Γ$, related to a new concept which we call the sheltered hull of a set. We also relate this study to the structure of horoballs in finitely generated groups, focusing on the abelian case.
△ Less
Submitted 13 November, 2020; v1 submitted 19 September, 2020;
originally announced September 2020.
-
Perfusion Quantification from Endoscopic Videos: Learning to Read Tumor Signatures
Authors:
Sergiy Zhuk,
Jonathan P. Epperlein,
Rahul Nair,
Seshu Thirupati,
Pol Mac Aonghusa,
Ronan Cahill,
Donal O'Shea
Abstract:
Intra-operative identification of malignant versus benign or healthy tissue is a major challenge in fluorescence guided cancer surgery. We propose a perfusion quantification method for computer-aided interpretation of subtle differences in dynamic perfusion patterns which can be used to distinguish between normal tissue and benign or malignant tumors intra-operatively in real-time by using multisp…
▽ More
Intra-operative identification of malignant versus benign or healthy tissue is a major challenge in fluorescence guided cancer surgery. We propose a perfusion quantification method for computer-aided interpretation of subtle differences in dynamic perfusion patterns which can be used to distinguish between normal tissue and benign or malignant tumors intra-operatively in real-time by using multispectral endoscopic videos. The method exploits the fact that vasculature arising from cancer angiogenesis gives tumors differing perfusion patterns from the surrounding tissue, and defines a signature of tumor which could be used to differentiate tumors from normal tissues. Experimental evaluation of our method on a cohort of colorectal cancer surgery endoscopic videos suggests that the proposed tumor signature is able to successfully discriminate between healthy, cancerous and benign tissue with 95% accuracy.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Wagoner's Complexes Revisited
Authors:
Jeremias Epperlein
Abstract:
We generalize Wagoner's representation of the automorphism group of a two-sided subshifts of finite type as the fundamental group of a certain CW-complex to groupoids having a certain refinement structure. This significantly streamlines the original proof and allows us to extend this construction to, e.g., the automorphism group of subshifts of finite type over arbitrary finitely generated groups…
▽ More
We generalize Wagoner's representation of the automorphism group of a two-sided subshifts of finite type as the fundamental group of a certain CW-complex to groupoids having a certain refinement structure. This significantly streamlines the original proof and allows us to extend this construction to, e.g., the automorphism group of subshifts of finite type over arbitrary finitely generated groups and the automorphism group of G-SFTs.
△ Less
Submitted 14 November, 2019;
originally announced November 2019.
-
Bayesian Classifier for Route Prediction with Markov Chains
Authors:
Jonathan P. Epperlein,
Julien Monteil,
Mingming Liu,
Yingqi Gu,
Sergiy Zhuk,
Robert Shorten
Abstract:
We present here a general framework and a specific algorithm for predicting the destination, route, or more generally a pattern, of an ongoing journey, building on the recent work of [Y. Lassoued, J. Monteil, Y. Gu, G. Russo, R. Shorten, and M. Mevissen, "Hidden Markov model for route and destination prediction," in IEEE International Conference on Intelligent Transportation Systems, 2017]. In the…
▽ More
We present here a general framework and a specific algorithm for predicting the destination, route, or more generally a pattern, of an ongoing journey, building on the recent work of [Y. Lassoued, J. Monteil, Y. Gu, G. Russo, R. Shorten, and M. Mevissen, "Hidden Markov model for route and destination prediction," in IEEE International Conference on Intelligent Transportation Systems, 2017]. In the presented framework, known journey patterns are modelled as stochastic processes, emitting the road segments visited during the journey, and the ongoing journey is predicted by updating the posterior probability of each journey pattern given the road segments visited so far. In this contribution, we use Markov chains as models for the journey patterns, and consider the prediction as final, once one of the posterior probabilities crosses a predefined threshold. Despite the simplicity of both, examples run on a synthetic dataset demonstrate high accuracy of the made predictions.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
On Arbitrarily Long Periodic Orbits of Evolutionary Games on Graphs
Authors:
Jeremias Epperlein,
Vladimír Švígler
Abstract:
A periodic behavior is a well observed phenomena in biological and economical systems. We show that evolutionary games on graphs with imitation dynamics can display periodic behavior for an arbitrary choice of game theoretical parameters describing social-dilemma games. We construct graphs and corresponding initial conditions whose trajectories are periodic with an arbitrary minimal period length.…
▽ More
A periodic behavior is a well observed phenomena in biological and economical systems. We show that evolutionary games on graphs with imitation dynamics can display periodic behavior for an arbitrary choice of game theoretical parameters describing social-dilemma games. We construct graphs and corresponding initial conditions whose trajectories are periodic with an arbitrary minimal period length. We also examine a periodic behavior of evolutionary games on graphs with the underlying graph being an acyclic (tree) graph. Astonishingly, even this acyclic structure allows for arbitrary long periodic behavior.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
The Use of Presence Data in Modelling Demand for Transportation
Authors:
Jonathan Epperlein,
Jaroslaw Legierski,
Marcin Luckner,
Jakub Marecek,
Rahul Nair
Abstract:
We consider the applicability of the data from operators of cellular systems to modelling demand for transportation. While individual-level data may contain precise paths of movement, stringent privacy rules prohibit their use without consent. Presence data aggregate the individual-level data to information on the numbers of transactions at each base transceiver station (BTS) per each time period.…
▽ More
We consider the applicability of the data from operators of cellular systems to modelling demand for transportation. While individual-level data may contain precise paths of movement, stringent privacy rules prohibit their use without consent. Presence data aggregate the individual-level data to information on the numbers of transactions at each base transceiver station (BTS) per each time period. Our work is aimed at demonstrating value of such aggregate data for mobility management while maintaining privacy of users. In particular, given mobile subscriber activity aggregated to short time intervals for a zone, a convex optimisation problem estimates most likely transitions between zones. We demonstrate the method on presence data from Warsaw, Poland, and compare with official demand estimates obtained with classical econometric methods.
△ Less
Submitted 11 February, 2018;
originally announced February 2018.
-
Recovering Markov Models from Closed-Loop Data
Authors:
Jonathan P. Epperlein,
Robert Shorten,
Sergiy Zhuk
Abstract:
Situations in which recommender systems are used to augument decision making are becoming prevalent in many application domains. Almost always, these prediction tools (recommenders) are created with a view to affecting behavioural change. Clearly, successful applications actuating behavioural change, affect the original model underpinning the predictor, leading to an inconsistency. This feedback l…
▽ More
Situations in which recommender systems are used to augument decision making are becoming prevalent in many application domains. Almost always, these prediction tools (recommenders) are created with a view to affecting behavioural change. Clearly, successful applications actuating behavioural change, affect the original model underpinning the predictor, leading to an inconsistency. This feedback loop is often not considered in standard so-called Big Data learning techniques which rely upon machine learning/statistical learning machinery. The objective of this paper is to develop tools that recover unbiased user models in the presence of recommenders. More specifically, we assume that we observe a time series which is a trajectory of a Markov chain ${R}$ modulated by another Markov chain ${S}$, i.e. the transition matrix of ${R}$ is unknown and depends on the current state of ${S}$. The transition matrix of the latter is also unknown. In other words, at each time instant, ${S}$ selects a transition matrix for ${R}$ within a given set which consists of known and unknown matrices. The state of ${S}$, in turn, depends on the current state of ${R}$ thus introducing a feedback loop. We propose an Expectation-Maximization (EM) type algorithm, which estimates the transition matrices of ${S}$ and ${R}$. Experimental results are given to demonstrate the efficacy of the approach.
△ Less
Submitted 10 November, 2020; v1 submitted 20 June, 2017;
originally announced June 2017.
-
Resource Allocation with Population Dynamics
Authors:
Jonathan Epperlein,
Jakub Marecek
Abstract:
Many analyses of resource-allocation problems employ simplistic models of the population. Using the example of a resource-allocation problem of Marecek et al. [arXiv:1406.7639], we introduce rather a general behavioural model, where the evolution of a heterogeneous population of agents is governed by a Markov chain. Still, we are able to show that the distribution of agents across resources conver…
▽ More
Many analyses of resource-allocation problems employ simplistic models of the population. Using the example of a resource-allocation problem of Marecek et al. [arXiv:1406.7639], we introduce rather a general behavioural model, where the evolution of a heterogeneous population of agents is governed by a Markov chain. Still, we are able to show that the distribution of agents across resources converges in distribution, for suitable means of information provision, under certain assumptions. The model and proof techniques may have wider applicability.
△ Less
Submitted 12 April, 2016;
originally announced April 2016.
-
Mixing properties in coded systems
Authors:
Jeremias Epperlein,
Dominik Kwietniak,
Piotr Oprocha
Abstract:
We show that topological mixing, weak mixing and total transitivity are equivalent for coded systems. We provide an example of a mixing coded system which cannot be approximated by any increasing sequence of mixing shifts of finite type, has only periodic points of even period and each set of its generators consists of blocks of even length. We prove that such an example cannot be a synchronized s…
▽ More
We show that topological mixing, weak mixing and total transitivity are equivalent for coded systems. We provide an example of a mixing coded system which cannot be approximated by any increasing sequence of mixing shifts of finite type, has only periodic points of even period and each set of its generators consists of blocks of even length. We prove that such an example cannot be a synchronized system. We also show that a mixing coded systems has the strong property $P$.
△ Less
Submitted 10 March, 2015;
originally announced March 2015.
-
Evolutionary Games on Graphs and Discrete Dynamical Systems
Authors:
Jeremias Epperlein,
Stefan Siegmund,
Petr Stehlík
Abstract:
Evolutionary games on graphs play an important role in the study of evolution of cooperation in applied biology. Using rigorous mathematical concepts from a dynamical systems and graph theoretical point of view, we formalize the notions of attractor, update rules and update orders. We prove results on attractors for different utility functions and update orders. For complete graphs we characterize…
▽ More
Evolutionary games on graphs play an important role in the study of evolution of cooperation in applied biology. Using rigorous mathematical concepts from a dynamical systems and graph theoretical point of view, we formalize the notions of attractor, update rules and update orders. We prove results on attractors for different utility functions and update orders. For complete graphs we characterize attractors for synchronous and sequential update rules. In other cases (for $k$-regular graphs or for different update orders) we provide sufficient conditions for attractivity of full cooperation and full defection. We construct examples to show that these conditions are not necessary. Finally, by formulating a list of open questions we emphasize the advantages of our rigorous approach.
△ Less
Submitted 15 November, 2014;
originally announced November 2014.
-
Signature stability analysis for networks of coupled dynamical systems with Hermitian Jacobian
Authors:
Anne-Ly Do,
Stefano Boccaletti,
Jeremias Epperlein,
Stefan Siegmund,
Thilo Gross
Abstract:
The central theme of complex systems research is understanding the emergent macroscopic properties of a system from the interplay of its microscopic constituents. Here, we ask what conditions a complex network of microscopic dynamical units has to meet to permit stationary macroscopic dynamics, such as stable equilibria or phase-locked states. We present an analytical approach which is based on a…
▽ More
The central theme of complex systems research is understanding the emergent macroscopic properties of a system from the interplay of its microscopic constituents. Here, we ask what conditions a complex network of microscopic dynamical units has to meet to permit stationary macroscopic dynamics, such as stable equilibria or phase-locked states. We present an analytical approach which is based on a graphical notation that allows rewriting Jacobi's signature criterion in an interpretable form. The derived conditions pertain to topological structures on all scales, ranging from individual nodes to the interaction network as a whole. Our approach can be applied to many systems of symmetrically coupled units. For the purpose of illustration, we consider the example of synchronization, specifically the (heterogeneous) Kuramoto model and an adaptive variant. Moreover, we discuss how the graphical notation can be employed to study isospectrality in Hermitian matrices. The results complete and extend the previous analysis of Do et al. [Phys. Rev. Lett. 108, 194102 (2012)].
△ Less
Submitted 24 July, 2012;
originally announced July 2012.
-
Meso-scale obstructions to stability of 1D center manifolds for networks of coupled differential equations with symmetric Jacobian
Authors:
Jeremias Epperlein,
Anne-Ly Do,
Thilo Gross,
Stefan Siegmund
Abstract:
A linear system $\dot x = Ax$, $A \in \mathbb{R}^{n \times n}$, $x \in \mathbb{R}^n$, with $\mathrm{rk} A = n-1$, has a one-dimensional center manifold $E^c = \{v \in \mathbb{R}^n : Av=0\}$. If a differential equation $\dot x = f(x)$ has a one-dimensional center manifold $W^c$ at an equilibrium $x^*$ then $E^c$ is tangential to $W^c$ with $A = Df(x^*)$ and for stability of $W^c$ it is necessary th…
▽ More
A linear system $\dot x = Ax$, $A \in \mathbb{R}^{n \times n}$, $x \in \mathbb{R}^n$, with $\mathrm{rk} A = n-1$, has a one-dimensional center manifold $E^c = \{v \in \mathbb{R}^n : Av=0\}$. If a differential equation $\dot x = f(x)$ has a one-dimensional center manifold $W^c$ at an equilibrium $x^*$ then $E^c$ is tangential to $W^c$ with $A = Df(x^*)$ and for stability of $W^c$ it is necessary that $A$ has no spectrum in $\mathbb{C}^+$, i.e.\ if $A$ is symmetric, it has to be negative semi-definite.
We establish a graph theoretical approach to characterize semi-definiteness. Using spanning trees for the graph corresponding to $A$, we formulate meso-scale conditions with certain principal minors of $A$ which are necessary for semi-definiteness. We illustrate these results by the example of the Kuramoto model of coupled oscillators.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.