skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Streams and Graphs of Dynamical Systems
While studying gradient dynamical systems, Morse introduced the idea of encoding the qualitative behavior of a dynamical system 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 M to node N (we say that N is downstream from M) if the unstable manifold of M intersects the stable manifold of N. 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, introduced by Birkhoff in 1920s, were elaborated first by Auslander in early 1960s, by Conley in early 1970s 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 prolongational 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 (which we call streams) containing the space of orbits of a discrete-time or continuous-time semi-flow and we argue that these relations play a central role in the qualitative study of dynamical systems. 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 partial differential equations.  more » « less
Award ID(s):
2308225
PAR ID:
10532284
Author(s) / Creator(s):
;
Publisher / Repository:
Springer
Date Published:
Journal Name:
Qualitative Theory of Dynamical Systems
Volume:
24
Issue:
1
ISSN:
1575-5460
Subject(s) / Keyword(s):
Qualitative theory of dynamical systems Graphs Generalized recurrence Chain-recurrence Summable chain-recurrence Non-wandering set Quasi-orders Streams Lyapunov functions Unimodal functions Towers
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Facial micro-expressions are brief, rapid, spontaneous gestures of the facial muscles that express an individual's genuine emotions. Because of their short duration and subtlety, detecting and classifying these micro-expressions by humans and machines is difficult. In this paper, a novel approach is proposed that exploits relationships between landmark points and the optical flow patch for the given landmark points. It consists of a two-stream graph attention convolutional network that extracts the relationships between the landmark points and local texture using an optical flow patch. A graph structure is built to draw out temporal information using the triplet of frames. One stream is for node feature location, and the other one is for a patch of optical-flow information. These two streams (node location stream and optical flow stream) are fused for classification. The results are shown on, CASME II and SAMM, publicly available datasets, for three classes and five classes of micro-expressions. The proposed approach outperforms the state-of-the-art methods for 3 and 5 categories of expressions. 
    more » « less
  2. Abstract For a pseudo-Anosov flow $$\varphi $$ without perfect fits on a closed $$3$$ -manifold, Agol–Guéritaud produce a veering triangulation $$\tau $$ on the manifold M obtained by deleting the singular orbits of $$\varphi $$ . We show that $$\tau $$ can be realized in M so that its 2-skeleton is positively transverse to $$\varphi $$ , and that the combinatorially defined flow graph $$\Phi $$ embedded in M uniformly codes the orbits of $$\varphi $$ in a precise sense. Together with these facts, we use a modified version of the veering polynomial, previously introduced by the authors, to compute the growth rates of the closed orbits of $$\varphi $$ after cutting M along certain transverse surfaces, thereby generalizing the work of McMullen in the fibered setting. These results are new even in the case where the transverse surface represents a class in the boundary of a fibered cone of M . Our work can be used to study the flow $$\varphi $$ on the original closed manifold. Applications include counting growth rates of closed orbits after cutting along closed transverse surfaces, defining a continuous, convex entropy function on the ‘positive’ cone in $H^1$ of the cut-open manifold, and answering a question of Leininger about the closure of the set of all stretch factors arising as monodromies within a single fibered cone of a $$3$$ -manifold. This last application connects to the study of endperiodic automorphisms of infinite-type surfaces and the growth rates of their periodic points. 
    more » « less
  3. We use the Weil–Petersson gradient flow for renormalized volume to study the space CC(N;S,X) of convex cocompact hyperbolic structures on the relatively acylindrical 3-manifold (N;S). Among the cases of interest are the deformation space of an acylindrical manifold and the Bers slice of quasifuchsian space associated to a fixed surface. To treat the possibility of degeneration along flow-lines to peripherally cusped structures, we introduce a surgery procedure to yield a surgered gradient flow that limits to the unique structure M_geod in CC( N;S,X) with totally geodesic convex core boundary facing S. Analyzing the geometry of structures along a flow line, we show that if V_R(M) is the renormalized volume of M, then V_R(M)−V_R(M_geod) is bounded below by a linear function of the Weil Petersson distance d_WP(∂_c M,∂_cM_geod), with constants depending only on the topology of S. The surgered flow gives a unified approach to a number of problems in the study of hyperbolic 3-manifolds, providing new proofs and generalizations of well-known theorems such as Storm’s result that M geod has minimal volume for N acylindrical and the second author’s result comparing convex core volume and Weil–Petersson distance for quasifuchsian manifolds. 
    more » « less
  4. With the emergence of portable DNA sequencers, such as Oxford Nanopore Technology MinION, metagenomic DNA sequencing can be performed in real-time and directly in the field. However, because metagenomic DNA analysis is computationally and memory intensive, and the current methods are designed for batch processing, the current metagenomic tools are not well suited for mobile devices. In this paper, we propose a new memory-efficient method to identify Operational Taxonomic Units (OTUs) in metagenomic DNA streams. Our method is based on finding connected components in overlap graphs constructed over a real-time stream of long DNA reads as produced by MinION platform. We propose an efficient algorithm to maintain connected components when an overlap graph is streamed, and show how redundant information can be removed from the stream by transitive closures. Through experiments on simulated and real-world metagenomic data, we demonstrate that the resulting solution is able to recover OTUs with high precision while remaining suitable for mobile computing devices. 
    more » « less
  5. Meka, Raghu (Ed.)
    We consider the problem of finding a minimum cut of a weighted graph presented as a single-pass stream. While graph sparsification in streams has been intensively studied, the specific application of finding minimum cuts in streams is less well-studied. To this end, we show upper and lower bounds on minimum cut problems in insertion-only streams for a variety of settings, including for both randomized and deterministic algorithms, for both arbitrary and random order streams, and for both approximate and exact algorithms. One of our main results is an Õ(n/ε) space algorithm with fast update time for approximating a spectral cut query with high probability on a stream given in an arbitrary order. Our result breaks the Ω(n/ε²) space lower bound required of a sparsifier that approximates all cuts simultaneously. Using this result, we provide streaming algorithms with near optimal space of Õ(n/ε) for minimum cut and approximate all-pairs effective resistances, with matching space lower-bounds. The amortized update time of our algorithms is Õ(1), provided that the number of edges in the input graph is at least (n/ε²)^{1+o(1)}. We also give a generic way of incorporating sketching into a recursive contraction algorithm to improve the post-processing time of our algorithms. In addition to these results, we give a random-order streaming algorithm that computes the exact minimum cut on a simple, unweighted graph using Õ(n) space. Finally, we give an Ω(n/ε²) space lower bound for deterministic minimum cut algorithms which matches the best-known upper bound up to polylogarithmic factors. 
    more » « less