-
Ambiguity in the use of SIR models to fit epidemic incidence data
Authors:
B Shayak,
Sana Jahedi,
James A Yorke
Abstract:
When fitting a multi-parameter model to a data set, computer algorithms may suggest that a range of parameters provide equally reasonable fits, making the parameter estimation difficult. Here, we prove this fact for an SIR model. We say a set of parameter values is a good fit to outbreak data if the solution has the data's three most significant characteristics: the standard deviation, the mean ti…
▽ More
When fitting a multi-parameter model to a data set, computer algorithms may suggest that a range of parameters provide equally reasonable fits, making the parameter estimation difficult. Here, we prove this fact for an SIR model. We say a set of parameter values is a good fit to outbreak data if the solution has the data's three most significant characteristics: the standard deviation, the mean time, and the total number of cases. In our model, in addition to the "basic reproduction number" $R_0$, three other parameters need to be estimated to fit a solution to outbreak data. We will show that those parameters can be chosen so that each gives a linear transformation of a solution's incidence data. As a result, we show that for every choice of $R_0>1$, there is a good fit for each outbreak. We also illustrate our results by providing the least square best fits of the New York City and London data sets of the Omicron variant of COVID-19. Furthermore, we show how versions of the SIR model with $N$ compartments have far more good fits- - indeed a high dimensional set of good fits -- for each target -- showing that more complicated models may have an even greater problem in overparametrizing outbreak characteristics.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Streams and Graphs of Dynamical Systems
Authors:
Roberto De Leo,
James A. Yorke
Abstract:
While studying gradient dynamical systems (DSs), Morse introduced the idea of encoding the qualitative behavior of a DS into a graph. Smale later refined Morse's idea and extended it to Axiom-A diffeomorphisms on manifolds. In Smale's vision, nodes are indecomposable closed invariant subsets of the non-wandering set with a dense orbit and there is an edge from node N to node M if the unstable mani…
▽ More
While studying gradient dynamical systems (DSs), Morse introduced the idea of encoding the qualitative behavior of a DS into a graph. Smale later refined Morse's idea and extended it to Axiom-A diffeomorphisms on manifolds. In Smale's vision, nodes are indecomposable closed invariant subsets of the non-wandering set with a dense orbit and there is an edge from node N to node M if the unstable manifold of N intersects the stable manifold of M. Since then, the decomposition of the non-wandering set was studied in many other settings, while the edges component of Smale's construction has been often overlooked. In the same years, more sophisticated generalizations of the non-wandering set were elaborated first by Auslander in 60s, by Conley in 70s and later by Easton and other authors. In our language, each of these generalizations involves the introduction of a closed and transitive extension of the non-wandering relation, that is closed but not transitive. In the present article, we develop a theory that generalizes at the same time both these lines of research. We study the general properties of closed transitive relations ("streams") containing the space of orbits of a discrete- or continuous-time semi-flow and we argue that these relations play a central role in the qualitative study of DSs. All most studied concepts of recurrence currently in literature can be defined in terms of our streams. Finally, we show how to associate to each stream a graph encoding its qualitative properties. Our main general result is that each stream of a semi-flow with "compact dynamics" has a connected graph. The range of semi-flows covered by our theorem goes from 1-dimensional discrete-time systems like the logistic map up to infinite-dimensional continuous-time systems like the semi-flow of quasilinear parabolic reaction-diffusion PDEs.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
The dynamics of the heterochaos baker maps
Authors:
Yoshitaka Saiki,
Hiroki Takahasi,
Kenichiro Yamamoto,
James A. Yorke
Abstract:
The heterochaos baker maps are piecewise affine maps of the unit square or cube introduced by Saiki et al. (2018), to provide a hands-on, elementary understanding of complicated phenomena in systems of large degrees of freedom. We review recent progress on a dynamical systems theory of the heterochaos baker maps, and present new results on properties of measures of maximal entropy and the underlyi…
▽ More
The heterochaos baker maps are piecewise affine maps of the unit square or cube introduced by Saiki et al. (2018), to provide a hands-on, elementary understanding of complicated phenomena in systems of large degrees of freedom. We review recent progress on a dynamical systems theory of the heterochaos baker maps, and present new results on properties of measures of maximal entropy and the underlying Lebesgue measure. We address several conjectures and questions that may illuminate new aspects of heterochaos and inspire future research.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Extinction of multiple populations and a team of Die-out Lyapunov functions
Authors:
Naghmeh Akhavan,
James A. Yorke
Abstract:
The extinction of species is a major problem of concern with a large literature. Our investigation gives insight into when species extinctions must occur, with an emphasis on determining which species might possibly die out and on how fast they die out. We investigate a differential equations model for population interactions with the goal of determining when several species (\ie, coordinates of a…
▽ More
The extinction of species is a major problem of concern with a large literature. Our investigation gives insight into when species extinctions must occur, with an emphasis on determining which species might possibly die out and on how fast they die out. We investigate a differential equations model for population interactions with the goal of determining when several species (\ie, coordinates of a bounded solution) must die out or ``go extinct'' and must do so exponentially fast. Typically each coordinate represents the population density of a different species. For our main tool, we create what we call ``die-out'' Lyapunov functions. A given system may have several or many such functions, each of which is a function of a different set of coordinates. That die-out function implies that one of the species in its subset must die out exponentially fast -- for almost every choice of coefficients of the system. We create a ``team'' of die-out functions that work together to show that $k$ species must die, where $k$ is determined separately. Secondly, we present a ``trophic'' condition for generalized Lotka-Volterra systems that guarantees that there is a trap** region that is globally attracting. That implies that all solutions are bounded.
△ Less
Submitted 8 May, 2023; v1 submitted 2 March, 2022;
originally announced March 2022.
-
The twisted baker map
Authors:
Yoshitaka Saiki,
Hiroki Takahasi,
James A. Yorke
Abstract:
As a model to provide a hands-on, elementary understanding of "vortex dynamics", we introduce a piecewise linear non-invertible map called a twisted baker map. We show that the set of hyperbolic repelling periodic points with complex conjugate eigenvalues and that without complex conjugate eigenvalues are simultaneously dense in the phase space. We also show that these two sets equidistribute with…
▽ More
As a model to provide a hands-on, elementary understanding of "vortex dynamics", we introduce a piecewise linear non-invertible map called a twisted baker map. We show that the set of hyperbolic repelling periodic points with complex conjugate eigenvalues and that without complex conjugate eigenvalues are simultaneously dense in the phase space. We also show that these two sets equidistribute with respect to the normalized Lebesgue measure, in spite of a non-uniformity in their Lyapunov exponents.
△ Less
Submitted 13 January, 2023; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Robustness of solutions of almost every system of equations
Authors:
Sana Jahedi,
Timothy Sauer,
James A. Yorke
Abstract:
In mathematical modeling, it is common to have an equation $F(p)=c$ where the exact form of $F$ is not known.
This article shows that there are large classes of $F$ where almost all $F$ share the same properties. The classes we investigate are vector spaces $\mathcal{F}$ of $C^1$ functions $F:\mathbb{R}^N \to \mathbb{R}^M$ that satisfy the following condition: $\mathcal{F}$ has ``almost constant…
▽ More
In mathematical modeling, it is common to have an equation $F(p)=c$ where the exact form of $F$ is not known.
This article shows that there are large classes of $F$ where almost all $F$ share the same properties. The classes we investigate are vector spaces $\mathcal{F}$ of $C^1$ functions $F:\mathbb{R}^N \to \mathbb{R}^M$ that satisfy the following condition: $\mathcal{F}$ has ``almost constant rank'' (ACR) if there is a constant integer $ρ(\mathcal{F}) \geq 0$ such that rank$(DF(p))=ρ(\mathcal{F})$ for ``almost every'' $F\in \mathcal{F}$ and almost every $p\in\mathbb{R}^N$. If the vector space $\mathcal{F}$ is finite-dimensional, then ``almost every'' is with respect to Lebesgue measure on $\mathcal{F}$, and otherwise, it means almost every in the sense of prevalence, as described herein. Most function spaces commonly used for modeling purposes are ACR. In particular, we show that if all of the functions in $\mathcal{F}$ are linear or polynomial or real analytic, or if $\mathcal{F}$ is the set of all functions in a ``structured system'', then $\mathcal{F}$ is ACR. For each $F$ and $p$, the solution set of $p \in \mathbb{R}^N$ is
SolSet$(p):= \{x: F(x)=F(p)\}.$ A solution set of $F(p)=c$ is called robust if it persists despite small changes in $F$ and $c$. The following two global results are proved for almost every $F$ in an ACR vector space $\mathcal{F}$: (1) Either the solution set SolSet$(p)$ is robust for almost every $p\in \mathbb{R}^N$, or none of the solution sets are robust. (2) The solution set SolSet$(p)$ is a $C^\infty$-manifold of dimension $d = N-ρ(\mathcal{F})$. In particular, $d$ is the same for almost every $F \in \mathcal{F}$.
△ Less
Submitted 9 March, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Infinite towers in the graph of a dynamical system
Authors:
Roberto De Leo,
James A. Yorke
Abstract:
Chaotic attractors, chaotic saddles and periodic orbits are examples of chain-recurrent sets. Using arbitrary small controls, a trajectory starting from any point in a chain-recurrent set can be steered to any other in that set. The qualitative behavior of a dynamical system can be encapsulated in a graph. Its nodes are chain-recurrent sets. There is an edge from node A to node B if, using arbitra…
▽ More
Chaotic attractors, chaotic saddles and periodic orbits are examples of chain-recurrent sets. Using arbitrary small controls, a trajectory starting from any point in a chain-recurrent set can be steered to any other in that set. The qualitative behavior of a dynamical system can be encapsulated in a graph. Its nodes are chain-recurrent sets. There is an edge from node A to node B if, using arbitrary small controls, a trajectory starting from any point of A can be steered to any point of B. We discuss physical systems that have infinitely many disjoint coexisting nodes. Such infinite collections can occur for many carefully chosen parameter values. The logistic map is such a system, as we showed in arXiv:2008.08338. To illustrate these very common phenomena, we compare the Lorenz system and the logistic map and we show how extremely similar their bifurcation diagrams are in some parameter ranges.
△ Less
Submitted 29 March, 2021; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Hausdorff dimension of Cantor intersections and robust heterodimensional cycles for heterochaos horseshoe maps
Authors:
Yoshitaka Saiki,
Hiroki Takahasi,
James A. Yorke
Abstract:
As a model to provide a hands-on, elementary understanding of chaotic dynamics in dimension three, we introduce a $C^2$-open set of diffeomorphisms of $\mathbb R^3$ having two horseshoes with different dimensions of instability. We prove that: the unstable set of one horseshoe and the stable set of the other are of Hausdorff dimension nearly $2$ whose cross sections are Cantor sets; the intersecti…
▽ More
As a model to provide a hands-on, elementary understanding of chaotic dynamics in dimension three, we introduce a $C^2$-open set of diffeomorphisms of $\mathbb R^3$ having two horseshoes with different dimensions of instability. We prove that: the unstable set of one horseshoe and the stable set of the other are of Hausdorff dimension nearly $2$ whose cross sections are Cantor sets; the intersection of the unstable and stable sets contains a fractal set of Hausdorff dimension nearly $1$. As a corollary we detect $C^2$-robust heterodimensional cycles. Our proof employs the theory of normally hyperbolic invariant manifolds and the thicknesses of Cantor sets.
△ Less
Submitted 12 February, 2023; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Structured Systems of Nonlinear Equations
Authors:
Sana Jahedi,
Timothy Sauer,
James A. Yorke
Abstract:
In a "structured system" of equations, each equation depends on a specified subset of the variables. In this article, we explore properties common to "almost every" system with a fixed structure and how the properties can be read from the corresponding connection graph.
A solution $p$ of a system $F(p)=c$ is called robust if it persists despite small changes in $F$. We establish methods for dete…
▽ More
In a "structured system" of equations, each equation depends on a specified subset of the variables. In this article, we explore properties common to "almost every" system with a fixed structure and how the properties can be read from the corresponding connection graph.
A solution $p$ of a system $F(p)=c$ is called robust if it persists despite small changes in $F$. We establish methods for determining robustness that depends on the structure, as expressed in the properties of the corresponding directed graph of the structured system. The keys to understanding linear and nonlinear structured systems are subsets of variables that we call forward and backward bottlenecks. In particular, when robustness fails in a structured system, it is due to the existence of a unique "backward bottleneck", that we call a "minimax bottleneck". We present a numerical method for locating the minimax bottleneck. We show how to remove it by adding edges to the graph.
△ Less
Submitted 2 April, 2023; v1 submitted 26 August, 2020;
originally announced August 2020.
-
The graph of the logistic map is a tower
Authors:
Roberto De Leo,
James A. Yorke
Abstract:
The qualitative behavior of a dynamical system can be encoded in a graph. Each node of the graph is an equivalence class of chain-recurrent points and there is an edge from node $A$ to node $B$ if, using arbitrary small perturbations, a trajectory starting from any point of A can be steered to any point of B. In this article we describe the graph of the logistic map. Our main result is that the gr…
▽ More
The qualitative behavior of a dynamical system can be encoded in a graph. Each node of the graph is an equivalence class of chain-recurrent points and there is an edge from node $A$ to node $B$ if, using arbitrary small perturbations, a trajectory starting from any point of A can be steered to any point of B. In this article we describe the graph of the logistic map. Our main result is that the graph is always a tower, namely there is an edge connecting each pair of distinct nodes. Notice that these graphs never contain cycles. If there is an edge from node A to node B, the unstable manifold of some periodic orbit in A contains points that eventually map onto B. For special parameter values, this tower has infinitely many nodes.
△ Less
Submitted 29 March, 2021; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Population collapse in Elite-dominated societies: A differential equations model without differential equations
Authors:
Naghmeh Akhavan,
James A. Yorke
Abstract:
The HANDY model of Motesharrei, Rivas, and Kalnay examines interactions with the environment by human populations, both between poor and rich people, i.e., "Commoners" and "Elites". The Elites control the society's wealth and consume it at a higher rate than Commoners, whose work produces the wealth. We say a model is "Elite-dominated" when the Elites' per capita population change rate is always a…
▽ More
The HANDY model of Motesharrei, Rivas, and Kalnay examines interactions with the environment by human populations, both between poor and rich people, i.e., "Commoners" and "Elites". The Elites control the society's wealth and consume it at a higher rate than Commoners, whose work produces the wealth. We say a model is "Elite-dominated" when the Elites' per capita population change rate is always at least as large as the Commoners'. We can show the HANDY model always exhibits population crashes for all choices of parameter values for which it is Elite-dominated. But any such model with explicit equations raises questions of how the resulting behaviors depend on the details of the models. How important are the particular design features codified in the differential equations? In this paper, we first replace the explicit equations of HANDY with differential equations that are only described conceptually or qualitatively - using only conditions that can be verified for explicit systems. Next, we discard the equations entirely, replacing them with qualitative conditions, and we prove these conditions imply population collapse must occur. In particular, one condition is that the model is Elite-dominated. We show that the HANDY model with Elite-dominated parameters satisfies our hypotheses and thus must undergo population collapse. Our approach of introducing qualitative mathematical hypotheses can better show the underlying features of the model that lead to collapse. We also ask how societies can avoid collapse.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Network Deconvolution
Authors:
Chengxi Ye,
Matthew Evanusa,
Hua He,
Anton Mitrokhin,
Tom Goldstein,
James A. Yorke,
Cornelia Fermüller,
Yiannis Aloimonos
Abstract:
Convolution is a central operation in Convolutional Neural Networks (CNNs), which applies a kernel to overlap** regions shifted across the image. However, because of the strong correlations in real-world image data, convolutional kernels are in effect re-learning redundant data. In this work, we show that this redundancy has made neural network training challenging, and propose network deconvolu…
▽ More
Convolution is a central operation in Convolutional Neural Networks (CNNs), which applies a kernel to overlap** regions shifted across the image. However, because of the strong correlations in real-world image data, convolutional kernels are in effect re-learning redundant data. In this work, we show that this redundancy has made neural network training challenging, and propose network deconvolution, a procedure which optimally removes pixel-wise and channel-wise correlations before the data is fed into each layer. Network deconvolution can be efficiently calculated at a fraction of the computational cost of a convolution layer. We also show that the deconvolution filters in the first layer of the network resemble the center-surround structure found in biological neurons in the visual regions of the brain. Filtering with such kernels results in a sparse representation, a desired property that has been missing in the training of neural networks. Learning from the sparse representation promotes faster convergence and superior results without the use of batch normalization. We apply our network deconvolution operation to 10 modern neural network models by replacing batch normalization within each. Extensive experiments show that the network deconvolution operation is able to deliver performance improvement in all cases on the CIFAR-10, CIFAR-100, MNIST, Fashion-MNIST, Cityscapes, and ImageNet datasets.
△ Less
Submitted 25 February, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Quasiperiodic orbits in Siegel disks/balls and the Babylonian problem
Authors:
Yoshitaka Saiki,
James A. Yorke
Abstract:
We investigate numerically complex dynamical systems where a fixed point is surrounded by a disk or ball of quasiperiodic orbits, where there is a change of variables (or conjugacy) that converts the system into a linear map. We compute this "linearization" (or conjugacy) from knowledge of a single quasiperiodic trajectory. In our computations of rotation rates of the almost periodic orbits and Fo…
▽ More
We investigate numerically complex dynamical systems where a fixed point is surrounded by a disk or ball of quasiperiodic orbits, where there is a change of variables (or conjugacy) that converts the system into a linear map. We compute this "linearization" (or conjugacy) from knowledge of a single quasiperiodic trajectory. In our computations of rotation rates of the almost periodic orbits and Fourier coefficients of the conjugacy, we only use knowledge of a trajectory, and we do not assume knowledge of the explicit form of a dynamical system. This problem is called the Babylonian Problem: determining the characteristics of a quasiperiodic set from a trajectory. Our computation of rotation rates and Fourier coefficients depends on the very high speed of our computational method "the weighted Birkhoff average".
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
-
Piecewise-linear maps with heterogeneous chaos
Authors:
Yoshitaka Saiki,
Hiroki Takahasi,
James A. Yorke
Abstract:
Chaotic dynamics can be quite heterogeneous in the sense that in some regions the dynamics are unstable in more directions than in other regions. When trajectories wander between these regions, the dynamics is complicated. We say a chaotic invariant set is heterogeneous when arbitrarily close to each point of the set there are different periodic points with different numbers of unstable dimensions…
▽ More
Chaotic dynamics can be quite heterogeneous in the sense that in some regions the dynamics are unstable in more directions than in other regions. When trajectories wander between these regions, the dynamics is complicated. We say a chaotic invariant set is heterogeneous when arbitrarily close to each point of the set there are different periodic points with different numbers of unstable dimensions. We call such dynamics heterogeneous chaos (or hetero-chaos), While we believe it is common for physical systems to be hetero-chaotic, few explicit examples have been proved to be hetero-chaotic. Here we present two more explicit dynamical systems that are particularly simple and tractable with computer. It will give more intuition as to how complex even simple systems can be. Our maps have one dense set of periodic points whose orbits are 1D unstable and another dense set of periodic points whose orbits are 2D unstable. Moreover, they are ergodic relative to the Lebesgue measure.
△ Less
Submitted 7 October, 2022; v1 submitted 2 November, 2018;
originally announced November 2018.
-
Unsupervised Learning of Dense Optical Flow, Depth and Egomotion from Sparse Event Data
Authors:
Chengxi Ye,
Anton Mitrokhin,
Cornelia Fermüller,
James A. Yorke,
Yiannis Aloimonos
Abstract:
In this work we present a lightweight, unsupervised learning pipeline for \textit{dense} depth, optical flow and egomotion estimation from sparse event output of the Dynamic Vision Sensor (DVS). To tackle this low level vision task, we use a novel encoder-decoder neural network architecture - ECN.
Our work is the first monocular pipeline that generates dense depth and optical flow from sparse ev…
▽ More
In this work we present a lightweight, unsupervised learning pipeline for \textit{dense} depth, optical flow and egomotion estimation from sparse event output of the Dynamic Vision Sensor (DVS). To tackle this low level vision task, we use a novel encoder-decoder neural network architecture - ECN.
Our work is the first monocular pipeline that generates dense depth and optical flow from sparse event data only. The network works in self-supervised mode and has just 150k parameters. We evaluate our pipeline on the MVSEC self driving dataset and present results for depth, optical flow and and egomotion estimation. Due to the lightweight design, the inference part of the network runs at 250 FPS on a single GPU, making the pipeline ready for realtime robotics applications. Our experiments demonstrate significant improvements upon previous works that used deep learning on event data, as well as the ability of our pipeline to perform well during both day and night.
△ Less
Submitted 25 February, 2019; v1 submitted 23 September, 2018;
originally announced September 2018.
-
Low-dimensional paradigms for high-dimensional hetero-chaos
Authors:
Yoshitaka Saiki,
Miguel A. F. Sanjuan,
James A. Yorke
Abstract:
The dynamics on a chaotic attractor can be quite heterogeneous, being much more unstable in some regions than others. Some regions of a chaotic attractor can be expanding in more dimensions than other regions. Imagine a situation where two such regions and each contains trajectories that stay in the region for all time while typical trajectories wander throughout the attractor. Such an attractor i…
▽ More
The dynamics on a chaotic attractor can be quite heterogeneous, being much more unstable in some regions than others. Some regions of a chaotic attractor can be expanding in more dimensions than other regions. Imagine a situation where two such regions and each contains trajectories that stay in the region for all time while typical trajectories wander throughout the attractor. Such an attractor is "hetero-chaotic" (i.e. it has heterogeneous chaos) if furthermore arbitrarily close to each point of the attractor there are points on periodic orbits that have different unstable dimensions. This is hard to picture but we believe that most physical systems possessing a high-dimensional attractor are of this type. We have created simplified models with that behavior to give insight to real high-dimensional phenomena.
△ Less
Submitted 23 June, 2018;
originally announced June 2018.
-
The continuous route to multi-chaos
Authors:
Yoshitaka Saiki,
Miguel A. F. Sanjuan,
James A. Yorke
Abstract:
For low-dimensional chaotic attractors there is usually a single number of unstable dimensions for all of its periodic orbits and we can say such attractors exhibit "mono-chaos". In high-dimensional chaotic attractors, trajectories are prone to travel through quite different regions of phase space, some far more unstable than others. This heterogeneity makes predictability even more difficult than…
▽ More
For low-dimensional chaotic attractors there is usually a single number of unstable dimensions for all of its periodic orbits and we can say such attractors exhibit "mono-chaos". In high-dimensional chaotic attractors, trajectories are prone to travel through quite different regions of phase space, some far more unstable than others. This heterogeneity makes predictability even more difficult than in low-dimensional homogeneous chaotic attractors. A chaotic attractor is "multi-chaotic" if every point of the attractor is arbitrarily close to periodic points with different numbers of unstable dimensions. We believe that most physical systems possessing a high-dimensional attractor are of this type. We make three conjectures about multi-chaos which we explore using three two-dimensional paradigmatic examples of multi-chaotic attractors. They can be thought of as small-scale examples that give insight for real high-dimensional phenomena. We find a single route from mono-chaos to multi-chaos if an attractor changes continuously as a parameter is varied. This multi-chaos bifurcation (MCB) is a periodic orbit bifurcation; one branch of periodic orbits is created with a number of unstable dimensions that is different from the mono-chaos.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
Solving the Babylonian Problem of quasiperiodic rotation rates
Authors:
Suddhasattwa Das,
Yoshitaka Saiki,
Evelyn Sander,
James A Yorke
Abstract:
A trajectory $u_n := F^n(u_0), n = 0,1,2, \dots $ is quasiperiodic if the trajectory lies on and is dense in some $d$-dimensional torus, and there is a choice of coordinates on the torus $\mathbb{T}$ for which $F$ has the form $F(θ) = θ+ ρ\bmod1$ for all $θ\in\mathbb{T}$ and for some $ρ\in\mathbb{T}$. There is an ancient literature on computing three rotation rates $ρ$ for the Moon. %There is a li…
▽ More
A trajectory $u_n := F^n(u_0), n = 0,1,2, \dots $ is quasiperiodic if the trajectory lies on and is dense in some $d$-dimensional torus, and there is a choice of coordinates on the torus $\mathbb{T}$ for which $F$ has the form $F(θ) = θ+ ρ\bmod1$ for all $θ\in\mathbb{T}$ and for some $ρ\in\mathbb{T}$. There is an ancient literature on computing three rotation rates $ρ$ for the Moon. %There is a literature on determining the coordinates of the vector $ρ$, called the rotation rates of $F$. (For $d>1$ we always interpret $\bmod1$ as being applied to each coordinate.) However, even in the case $d=1$ there has been no general method for computing $ρ$ given only the trajectory $u_n$, though there is a literature dealing with special cases. Here we present our Embedding Continuation Method for computing some components of $ρ$ from a trajectory. It is based on the Takens Embedding Theorem and the Birkhoff Ergodic Theorem. Rotation rates are often called "rotation numbers" and both refer to a rate of rotation of a circle. However, the coordinates of $ρ$ depend on the choice of coordinates of $\mathbb{T}$. We explore the various sets of possible rotation rates that $ρ$ can yield. We illustrate our ideas with examples in dimensions $d=1$ and $2$.
△ Less
Submitted 13 July, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Partially controlling transient chaos in the Lorenz equations
Authors:
Rubén Capeáns,
Juan Sabuco,
Miguel A. F. Sanjuán,
James A. Yorke
Abstract:
Transient chaos is a characteristic behavior in nonlinear dynamics where trajectories in a certain region of phase space behave chaotically for a while, before esca** to an external attractor. In some situations the escapes are highly undesirable, so that it would be necessary to avoid such a situation. In this paper we apply a control method known as partial control that allows one to prevent t…
▽ More
Transient chaos is a characteristic behavior in nonlinear dynamics where trajectories in a certain region of phase space behave chaotically for a while, before esca** to an external attractor. In some situations the escapes are highly undesirable, so that it would be necessary to avoid such a situation. In this paper we apply a control method known as partial control that allows one to prevent the escapes of the trajectories to the external attractors, kee** the trajectories in the chaotic region forever. To illustrate how the method works, we have chosen the Lorenz system for a choice of parameters where transient chaos appears, as a paradigmatic example in nonlinear dynamics. We analyze three quite different ways to implement the method. First, we apply this method by building a 1D map using the successive maxima of one of the variables. Next, we implement it by building a 2D map through a Poincaré section. Finally, we built a 3D map, which has the advantage of using a fixed time interval between application of the control, which can be useful for practical applications.
△ Less
Submitted 1 August, 2016; v1 submitted 26 July, 2016;
originally announced July 2016.
-
Quantitative Quasiperiodicity
Authors:
Suddhasattwa Das,
Yoshitaka Saiki,
Evelyn Sander,
James A Yorke
Abstract:
The Birkhoff Ergodic Theorem concludes that time averages, i.e., Birkhoff averages, $Σ_{n=0}^{N-1} f(x_n)/N$ of a function $f$ along a length $N$ ergodic trajectory $(x_n)$ of a function $T$ converge to the space average $\int f dμ$, where $μ$ is the unique invariant probability measure. Convergence of the time average to the space average is slow. We introduce a modified average of $f(x_n)$ by gi…
▽ More
The Birkhoff Ergodic Theorem concludes that time averages, i.e., Birkhoff averages, $Σ_{n=0}^{N-1} f(x_n)/N$ of a function $f$ along a length $N$ ergodic trajectory $(x_n)$ of a function $T$ converge to the space average $\int f dμ$, where $μ$ is the unique invariant probability measure. Convergence of the time average to the space average is slow. We introduce a modified average of $f(x_n)$ by giving very small weights to the "end" terms when $n$ is near $0$ or $N-1$. When $(x_n)$ is a trajectory on a quasiperiodic torus and $f$ and $T$ are $C^\infty$, we show that our weighted Birkhoff averages converge 'super" fast to $\int f dμ$ with respect to the number of iterates $N$, i.e. with error decaying faster than $N^{-m}$ for every integer $m$. Our goal is to show that our weighted Birkhoff average is a powerful computational tool, and this paper illustrates its use for several examples where the quasiperiodic set is one or two dimensional. In particular, we compute rotation numbers and conjugacies (i.e. changes of variables) and their Fourier series, often with 30-digit accuracy.
△ Less
Submitted 31 July, 2017; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Measuring quasiperiodicity
Authors:
Suddhasattwa Das,
Chris B. Dock,
Yoshitaka Saiki,
Martin Salgado-Flores,
Evelyn Sander,
** Wu,
James A. Yorke
Abstract:
The Birkhoff Ergodic Theorem asserts under mild conditions that Birkhoff averages (i.e. time averages computed along a trajectory) converge to the space average. For sufficiently smooth systems, our small modification of numerical Birkhoff averages significantly speeds the convergence rate for quasiperiodic trajectories -- by a factor of $10^{25}$ for 30-digit precision arithmetic, making it a use…
▽ More
The Birkhoff Ergodic Theorem asserts under mild conditions that Birkhoff averages (i.e. time averages computed along a trajectory) converge to the space average. For sufficiently smooth systems, our small modification of numerical Birkhoff averages significantly speeds the convergence rate for quasiperiodic trajectories -- by a factor of $10^{25}$ for 30-digit precision arithmetic, making it a useful computational tool for autonomous dynamical systems. Many dynamical systems and especially Hamiltonian systems are a complex mix of chaotic and quasiperiodic behaviors, and chaotic trajectories near quasiperiodic points can have long near-quasiperiodic transients. Our method can help determine which initial points are in a quasiperiodic set and which are chaotic. We use our {\bf weighted Birkhoff average} to study quasiperiodic systems, to distinguishing between chaos and quasiperiodicity, and for computing rotation numbers for self-intersecting curves in the plane. Furthermore we introduce the Embedding Continuation Method which is a significantly simpler, general method for computing rotation numbers.
△ Less
Submitted 26 February, 2016; v1 submitted 22 December, 2015;
originally announced December 2015.
-
Multi-chaos from Quasiperiodicity
Authors:
Suddhasattwa Das,
James A Yorke
Abstract:
One of the common characteristics of chaotic maps or flows in high dimensions is "unstable dimensional variability", in which there are periodic points whose unstable manifolds have different dimensions. In this paper, in trying to characterize such systems we define a property called "multi-chaos". A set $X$ is multi-chaotic if $X$ has a dense trajectory and for at least 2 values of $k$, the $k$-…
▽ More
One of the common characteristics of chaotic maps or flows in high dimensions is "unstable dimensional variability", in which there are periodic points whose unstable manifolds have different dimensions. In this paper, in trying to characterize such systems we define a property called "multi-chaos". A set $X$ is multi-chaotic if $X$ has a dense trajectory and for at least 2 values of $k$, the $k$-dimensionally unstable periodic points are dense in $X$. All proofs that such a behavior holds have been based on hyperbolicity in the sense that (i) there is a chaotic set $X$ with a dense trajectory and (ii) in X there are two or more hyperbolic sets with different unstable dimensions. We present a simple 2-dimensional paradigm for multi-chaos in which a quasiperiodic orbit plays the key role, replacing the large hyperbolic set.
△ Less
Submitted 31 July, 2017; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Quantitative Quasiperiodicity
Authors:
Suddhasattwa Das,
Yoshitaka Saiki,
Evelyn Sander,
James A. Yorke
Abstract:
The Birkhoff Ergodic Theorem concludes that time averages, that is, Birkhoff averages, $Σ_{n=1}^N f(x_n)/N$ of a function $f$ along an ergodic trajectory $(x_n)$ of a function $T$ converges to the space average $\int f dμ$, where $μ$ is the unique invariant probability measure. Convergence of the time average to the space average is slow. We introduce a modified average of $f(x_n)$ by giving very…
▽ More
The Birkhoff Ergodic Theorem concludes that time averages, that is, Birkhoff averages, $Σ_{n=1}^N f(x_n)/N$ of a function $f$ along an ergodic trajectory $(x_n)$ of a function $T$ converges to the space average $\int f dμ$, where $μ$ is the unique invariant probability measure. Convergence of the time average to the space average is slow. We introduce a modified average of $f(x_n)$ by giving very small weights to the "end" terms when $n$ is near $0$ or $N$. When $(x_n)$ is a trajectory on a quasiperiodic torus and $f$ and $T$ are $C^\infty$, we show that our weighted Birkhoff averages converge "super" fast to $\int f dμ$, {\em i.e.} with error smaller than every polynomial of $1/N$. Our goal is to show that our weighted Birkhoff average is a powerful computational tool, and this paper illustrates its use for several examples where the quasiperiodic set is one or two dimensional. In particular, we compute rotation numbers and conjugacies (i.e. changes of variables) and their Fourier series, often with 30-digit precision.
△ Less
Submitted 31 July, 2015;
originally announced August 2015.
-
Super convergence of ergodic averages for quasiperiodic orbits
Authors:
Suddhasattwa Das,
James A. Yorke
Abstract:
By definition, a map quasiperiodic on a set $X$ if the map is conjugate to a pure rotation. Suppose we have a trajectory $(x_n)$ that we suspect is quasiperiodic. How do we determine if it is? In this paper we show how to compute the conjugacy map using only knowledge of $(x_n)$. Our main tool is a variant of Birkhoff averages. The Birkhoff Ergodic Theorem asserts that time averages of a function…
▽ More
By definition, a map quasiperiodic on a set $X$ if the map is conjugate to a pure rotation. Suppose we have a trajectory $(x_n)$ that we suspect is quasiperiodic. How do we determine if it is? In this paper we show how to compute the conjugacy map using only knowledge of $(x_n)$. Our main tool is a variant of Birkhoff averages. The Birkhoff Ergodic Theorem asserts that time averages of a function evaluated along a trajectory of length $N$ converge to the space average, the integral of $f$, as $N\to\infty$, for ergodic dynamical systems. But that convergence can be slow. Instead of uniform averages that assign equal weights to points along the trajectory, we use an average with a non-uniform distribution of weights, weighing the early and late points of the trajectory much less than those near the midpoint $N/2$. We show that in quasiperiodic dynamical systems, our weighted averages converge far faster provided $f$ is sufficiently differentiable. This result can be applied to obtain efficient numerical computation of rotation numbers, invariant densities and conjugacies of quasiperiodic systems.
△ Less
Submitted 13 July, 2017; v1 submitted 22 June, 2015;
originally announced June 2015.
-
The Scaling of Chaos vs Periodicity: How Certain is it that an Attractor is Chaotic?
Authors:
Madhura Joglekar,
Edward Ott,
James A. Yorke
Abstract:
The character of the time-asymptotic evolution of physical systems can have complex, singular behavior with variation of a system parameter, particularly when chaos is involved. A perturbation of the parameter by a small amount $ε$ can convert an attractor from chaotic to non-chaotic or vice-versa. We call a parameter value where this can happen $ε$-uncertain. The probability that a random choice…
▽ More
The character of the time-asymptotic evolution of physical systems can have complex, singular behavior with variation of a system parameter, particularly when chaos is involved. A perturbation of the parameter by a small amount $ε$ can convert an attractor from chaotic to non-chaotic or vice-versa. We call a parameter value where this can happen $ε$-uncertain. The probability that a random choice of the parameter is $ε$-uncertain commonly scales like a power law in $ε$. Surprisingly, two seemingly similar ways of defining this scaling, both of physical interest, yield different numerical values for the scaling exponent. We show why this happens and present a quantitative analysis of this phenomenon.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
QuorUM: an error corrector for Illumina reads
Authors:
Guillaume Marçais,
James A. Yorke,
Aleksey Zimin
Abstract:
Motivation: Illumina Sequencing data can provide high coverage of a genome by relatively short (100 bp150 bp) reads at a low cost. Our goal is to produce trimmed and error-corrected reads to improve genome assemblies. Our error correction procedure aims at producing a set of error-corrected reads (1) minimizing the number of distinct false k-mers, i.e. that are not present in the genome, in the se…
▽ More
Motivation: Illumina Sequencing data can provide high coverage of a genome by relatively short (100 bp150 bp) reads at a low cost. Our goal is to produce trimmed and error-corrected reads to improve genome assemblies. Our error correction procedure aims at producing a set of error-corrected reads (1) minimizing the number of distinct false k-mers, i.e. that are not present in the genome, in the set of reads and (2) maximizing the number that are true, i.e. that are present in the genome. Because coverage of a genome by Illumina reads varies greatly from point to point, we cannot simply eliminate k-mers that occur rarely.
Results: Our software, called QuorUM, provides reasonably accurate correction and is suitable for large data sets (1 billion bases checked and corrected per day per core).
Availability: QuorUM is distributed as an independent software package and as a module of the MaSuRCA assembly software. Both are available under the GPL open source license at http://www.genome.umd.edu.
Contact: [email protected]
△ Less
Submitted 12 July, 2013;
originally announced July 2013.
-
A hierarchical network heuristic for solving the orientation problem in genome assembly
Authors:
Karl R. B. Schmitt,
Aleksey V. Zimin,
Guillaume Marcaçs,
James A. Yorke,
Michelle Girvan
Abstract:
In the past several years, the problem of genome assembly has received considerable attention from both biologists and computer scientists. An important component of current assembly methods is the scaffolding process. This process involves building ordered and oriented linear collections of contigs (continuous overlap** sequence reads) called scaffolds and relies on the use of mate pair data. A…
▽ More
In the past several years, the problem of genome assembly has received considerable attention from both biologists and computer scientists. An important component of current assembly methods is the scaffolding process. This process involves building ordered and oriented linear collections of contigs (continuous overlap** sequence reads) called scaffolds and relies on the use of mate pair data. A mate pair is a set of two reads that are sequenced from the ends of a single fragment of DNA, and therefore have opposite mutual orientations. When two reads of a mate-pair are placed into two different contigs, one can infer the mutual orientation of these contigs. While several orientation algorithms exist as part of assembly programs, all encounter challenges while solving the orientation problem due to errors from mis-assemblies in contigs or errors in read placements. In this paper we present an algorithm based on hierarchical clustering that independently solves the orientation problem and is robust to errors. We show that our algorithm can correctly solve the orientation problem for both faux (generated) assembly data and real assembly data for {\em R. sphaeroides bacteria}. We demonstrate that our algorithm is stable to both changes in the initial orientations as well as noise in the data, making it advantageous compared to traditional approaches.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
-
Connecting period-doubling cascades to chaos
Authors:
Evelyn Sander,
James A. Yorke
Abstract:
The appearance of infinitely-many period-doubling cascades is one of the most prominent features observed in the study of maps depending on a parameter. They are associated with chaotic behavior, since bifurcation diagrams of a map with a parameter often reveal a complicated intermingling of period-doubling cascades and chaos. Period doubling can be studied at three levels of complexity. The fir…
▽ More
The appearance of infinitely-many period-doubling cascades is one of the most prominent features observed in the study of maps depending on a parameter. They are associated with chaotic behavior, since bifurcation diagrams of a map with a parameter often reveal a complicated intermingling of period-doubling cascades and chaos. Period doubling can be studied at three levels of complexity. The first is an individual period-doubling bifurcation. The second is an infinite collection of period doublings that are connected together by periodic orbits in a pattern called a cascade. It was first described by Myrberg and later in more detail by Feigenbaum. The third involves infinitely many cascades and a parameter value $μ_2$ of the map at which there is chaos. We show that often virtually all (i.e., all but finitely many) ``regular'' periodic orbits at $μ_2$ are each connected to exactly one cascade by a path of regular periodic orbits; and virtually all cascades are either paired -- connected to exactly one other cascade, or solitary -- connected to exactly one regular periodic orbit at $μ_2$. The solitary cascades are robust to large perturbations. Hence the investigation of infinitely many cascades is essentially reduced to studying the regular periodic orbits of $F(μ_2, \cdot)$. Examples discussed include the forced-damped pendulum and the double-well Duffing equation.
△ Less
Submitted 17 February, 2010;
originally announced February 2010.
-
The cascades route to chaos
Authors:
Evelyn Sander,
James A. Yorke
Abstract:
The presence of a period-doubling cascade in dynamical systems that depend on a parameter is one of the basic routes to chaos. It is rarely mentioned that there are virtually always infinitely many cascades whenever there is one. We report that for one- and two-dimensional phase space, in the transition from no chaos to chaos -- as a parameter is varied -- there must be infinitely many cascades…
▽ More
The presence of a period-doubling cascade in dynamical systems that depend on a parameter is one of the basic routes to chaos. It is rarely mentioned that there are virtually always infinitely many cascades whenever there is one. We report that for one- and two-dimensional phase space, in the transition from no chaos to chaos -- as a parameter is varied -- there must be infinitely many cascades under some mild hypotheses. Our meaning of chaos includes the case of chaotic sets which are not attractors. Numerical studies indicate that this result applies to the forced-damped pendulum and the forced Duffing equations, viewing the solutions once each period of the forcing. We further show that in many cases cascades appear in pairs connected (in joint parameter-state space) by an unstable periodic orbit. Paired cascades can be destroyed or created by perturbations, whereas unpaired cascades are conserved under even significant perturbations.
△ Less
Submitted 19 October, 2009;
originally announced October 2009.
-
Period-doubling cascades galore
Authors:
Evelyn Sander,
James A. Yorke
Abstract:
The appearance of numerous period-doubling cascades is among the most prominent features of {\bf parametrized maps}, that is, smooth one-parameter families of maps $F:R \times {\mathfrak M} \to {\mathfrak M}$, where ${\mathfrak M}$ is a smooth locally compact manifold without boundary, typically $R^N$. Each cascade has infinitely many period-doubling bifurcations, and it is typical to observe --…
▽ More
The appearance of numerous period-doubling cascades is among the most prominent features of {\bf parametrized maps}, that is, smooth one-parameter families of maps $F:R \times {\mathfrak M} \to {\mathfrak M}$, where ${\mathfrak M}$ is a smooth locally compact manifold without boundary, typically $R^N$. Each cascade has infinitely many period-doubling bifurcations, and it is typical to observe -- such as in all the examples we investigate here -- that whenever there are any cascades, there are infinitely many cascades. We develop a general theory of cascades for generic $F$. We illustrate this theory with several examples. We show that there is a close connection between the transition through infinitely many cascades and the creation of a horseshoe.
△ Less
Submitted 17 July, 2009; v1 submitted 20 March, 2009;
originally announced March 2009.
-
Period-doubling cascades for large perturbations of Henon families
Authors:
Evelyn Sander,
James A. Yorke
Abstract:
The Henon family has been shown to have period-doubling cascades. We show here that the same occurs for a much larger class: Large perturbations do not destroy cascades. Furthermore, we can classify the period of a cascade in terms of the set of orbits it contains, and count the number of cascades of each period. This class of families extends a general theory explaining why cascades occur.
The Henon family has been shown to have period-doubling cascades. We show here that the same occurs for a much larger class: Large perturbations do not destroy cascades. Furthermore, we can classify the period of a cascade in terms of the set of orbits it contains, and count the number of cascades of each period. This class of families extends a general theory explaining why cascades occur.
△ Less
Submitted 28 July, 2009; v1 submitted 20 March, 2009;
originally announced March 2009.
-
Turbulence transition and the edge of chaos in pipe flow
Authors:
Tobias M Schneider,
Bruno Eckhardt,
James A Yorke
Abstract:
The linear stability of pipe flow implies that only perturbations of sufficient strength will trigger the transition to turbulence. In order to determine this threshold in perturbation amplitude we study the \emph{edge of chaos} which separates perturbations that decay towards the laminar profile and perturbations that trigger turbulence. Using the lifetime as an indicator and methods developed…
▽ More
The linear stability of pipe flow implies that only perturbations of sufficient strength will trigger the transition to turbulence. In order to determine this threshold in perturbation amplitude we study the \emph{edge of chaos} which separates perturbations that decay towards the laminar profile and perturbations that trigger turbulence. Using the lifetime as an indicator and methods developed in (Skufca et al, Phys. Rev. Lett. {\bf 96}, 174101 (2006)) we show that superimposed on an overall $1/\Re$-scaling predicted and studied previously there are small, non-monotonic variations reflecting folds in the edge of chaos. By tracing the motion in the edge we find that it is formed by the stable manifold of a unique flow field that is dominated by a pair of downstream vortices, asymmetrically placed towards the wall. The flow field that generates the edge of chaos shows intrinsic chaotic dynamics.
△ Less
Submitted 30 March, 2007;
originally announced March 2007.
-
A classification of explosions in dimension one
Authors:
E. Sander,
J. A. Yorke
Abstract:
A discontinuous change in the size of an attractor is the most easily observed type of global bifurcation. More generally, an explosion is a discontinuous change in the set of recurrent points. An explosion often results from heteroclinic and homoclinic tangency bifurcations. Newhouse and Palis conjectured in 1976 that planar explosions are generically the result of either tangency or saddle nod…
▽ More
A discontinuous change in the size of an attractor is the most easily observed type of global bifurcation. More generally, an explosion is a discontinuous change in the set of recurrent points. An explosion often results from heteroclinic and homoclinic tangency bifurcations. Newhouse and Palis conjectured in 1976 that planar explosions are generically the result of either tangency or saddle node bifurcations. In this paper, we prove this conjecture for one-dimensional maps. Furthermore, we give a full classification for all possible tangency bifurcations and whether they lead to explosions.
△ Less
Submitted 6 March, 2007; v1 submitted 6 March, 2007;
originally announced March 2007.
-
A Local Ensemble Kalman Filter for Atmospheric Data Assimilation
Authors:
Edward Ott,
Brian R. Hunt,
Istvan Szunyogh,
Aleksey V. Zimin,
Eric J. Kostelich,
Matteo Corazza,
Eugenia Kalnay,
D. J. Patil,
James A. Yorke
Abstract:
In this paper, we introduce a new, local formulation of the ensemble Kalman Filter approach for atmospheric data assimilation. Our scheme is based on the hypothesis that, when the Earth's surface is divided up into local regions of moderate size, vectors of the forecast uncertainties in such regions tend to lie in a subspace of much lower dimension than that of the full atmospheric state vector…
▽ More
In this paper, we introduce a new, local formulation of the ensemble Kalman Filter approach for atmospheric data assimilation. Our scheme is based on the hypothesis that, when the Earth's surface is divided up into local regions of moderate size, vectors of the forecast uncertainties in such regions tend to lie in a subspace of much lower dimension than that of the full atmospheric state vector of such a region. Ensemble Kalman Filters, in general, assume that the analysis resulting from the data assimilation lies in the same subspace as the expected forecast error. Under our hypothesis the dimension of this subspace is low. This implies that operations only on relatively low dimensional matrices are required. Thus, the data analysis is done locally in a manner allowing massively parallel computation to be exploited. The local analyses are then used to construct global states for advancement to the next forecast time. The method, its potential advantages, properties, and implementation requirements are illustrated by numerical experiments on the Lorenz-96 model. It is found that accurate analysis can be achieved at a cost which is very modest compared to that of a full global ensemble Kalman Filter.
△ Less
Submitted 30 July, 2003; v1 submitted 19 March, 2002;
originally announced March 2002.
-
Multiple Attractor Bifurcations: A Source of Unpredictability in Piecewise Smooth Systems
Authors:
Mitrajit Dutta,
Helena E. Nusse,
Edward Ott,
James A. Yorke
Abstract:
There exists a variety of physically interesting situations described by continuous maps that are nondifferentiable on some surface in phase space. Such systems exhibit novel types of bifurcations in which multiple coexisting attractors can be created simultaneously. The striking feature of these bifurcations is that they lead to fundamentally unpredictable behavior of orbits as a system paramet…
▽ More
There exists a variety of physically interesting situations described by continuous maps that are nondifferentiable on some surface in phase space. Such systems exhibit novel types of bifurcations in which multiple coexisting attractors can be created simultaneously. The striking feature of these bifurcations is that they lead to fundamentally unpredictable behavior of orbits as a system parameter is varied slowly through its bifurcation value. This unpredictability gradually disappears as the speed of variation of the system parameter through the bifurcation is reduced to zero.
△ Less
Submitted 8 April, 1999;
originally announced April 1999.
-
Robust Chaos
Authors:
Soumitro Banerjee,
James A. Yorke,
Celso Grebogi
Abstract:
It has been proposed to make practical use of chaos in communication, in enhancing mixing in chemical processes and in spreading the spectrum of switch-mode power suppies to avoid electromagnetic interference. It is however known that for most smooth chaotic systems, there is a dense set of periodic windows for any range of parameter values. Therefore in practical systems working in chaotic mode…
▽ More
It has been proposed to make practical use of chaos in communication, in enhancing mixing in chemical processes and in spreading the spectrum of switch-mode power suppies to avoid electromagnetic interference. It is however known that for most smooth chaotic systems, there is a dense set of periodic windows for any range of parameter values. Therefore in practical systems working in chaotic mode, slight inadvertent fluctuation of a parameter may take the system out of chaos. We say a chaotic attractor is robust if, for its parameter values there exists a neighborhood in the parameter space with no periodic attractor and the chaotic attractor is unique in that neighborhood. In this paper we show that robust chaos can occur in piecewise smooth systems and obtain the conditions of its occurrence. We illustrate this phenomenon with a practical example from electrical engineering.
△ Less
Submitted 2 March, 1998;
originally announced March 1998.
-
Bizarre topology is natural in dynamical systems
Authors:
Judy A. Kennedy,
James A. Yorke
Abstract:
We describe an example of a $C^\infty$ diffeomorphism on a 7--manifold which has a compact invariant set such that uncountably many of its connected components are pseudocircles. (Any 7--manifold will suffice.) Furthermore, any diffeomorphism which is sufficiently close (in the $C^1$ metric) to the constructed map has a similar invariant set, and the dynamics of the map on the invariant set are…
▽ More
We describe an example of a $C^\infty$ diffeomorphism on a 7--manifold which has a compact invariant set such that uncountably many of its connected components are pseudocircles. (Any 7--manifold will suffice.) Furthermore, any diffeomorphism which is sufficiently close (in the $C^1$ metric) to the constructed map has a similar invariant set, and the dynamics of the map on the invariant set are chaotic.
△ Less
Submitted 30 June, 1995;
originally announced July 1995.
-
Prevalence: an addendum
Authors:
Brian R. Hunt,
Tim Sauer,
James A. Yorke
Abstract:
The authors mention work of Christensen, Mycielski, Tsujii, and others which is closely related to a survey article by the first author [math.FA/9210220].
The authors mention work of Christensen, Mycielski, Tsujii, and others which is closely related to a survey article by the first author [math.FA/9210220].
△ Less
Submitted 31 March, 1993;
originally announced April 1993.