Skip to main content

Questions tagged [ds.dynamical-systems]

Dynamics of flows and maps (continuous and discrete time), including infinite-dimensional dynamics, Hamiltonian dynamics, ergodic theory.

Filter by
Sorted by
Tagged with
0 votes
0 answers
10 views

Convergence of a recursively defined sequence (discrete selector mutator equation)

Let $\beta \in (0,1)$ and let $(u_n(k))_{n,k \geq 0}$ be recursively defined by $u_0(k) = \mathbf 1_{k=0}$ and, for $n, k \geq 0$ : $$u_{n+1}(k) = \beta u_n(k-1) \mathbf 1_{k \geq 1} + (1-\beta) \...
2 votes
0 answers
59 views

Classification of real polynomial vector fields on R2, up to polynomial automorphisms?

A result of Brunella classifies complete complex polynomial vector fields on ${\mathbb C}^2$, up to polynomial automorphism, and relies heavily on an earlier work of Suzuki. I haven't fully digested ...
3 votes
0 answers
119 views

The topological entropy of potential space filling curves on the unit interval

By a potential space filling curve we mean a continuous function $f:[0,1]\to [0,1]$ such that there is a continuous surgective function $g:[0,1]\to [0,1]^2$ with $f=\pi_1 \circ g$ where $\pi_1$...
13 votes
0 answers
802 views

Hilbert 16th problem and dynamical Lefschetz trace formula

I would like to apply the known version of the conjectural formula (11) page 10 of the paper Number theory and dynamical Lefschetz trace formula. Disclaimer: I do not have a complete ...
1 vote
0 answers
72 views

"Saddle connection" on a translation surface

A saddle connection on a translation surface $\omega$ is a geodesic in the flat metric determined by $\omega$ joining two zeros with no zeros in its interior. Athreya, Jayadev S., and Howard Masur. ...
0 votes
0 answers
138 views

Shub Conjecture and polynomial entropy

The Shub conjecture on topological entropy $h(f)$ of self map f on manifold M says that the topological entropy is greater (or equal) than (to) the log of maximum absolute values of the ...
0 votes
0 answers
620 views

Cocycles and the Collatz problem?

Let $T(n) = n+R(n)$, where $R(n) = -n/2 $ if $n\equiv 0 \mod 2$ else $R(n) = \frac{n+1}{2}$. $R(n)$ is the Cantor ordering of the integers: https://oeis.org/A001057 In the Collatz problem, one is ...
1 vote
0 answers
114 views

Applicability of van Holten's algorithm for symmetries in classical mechanics

Background van Holten's algorithm (see e.g. here and here) is a way of constructing or recognizing dynamical/hidden symmetries in classical mechanics by looking for Killing tensors on the ...
0 votes
1 answer
104 views

Equivalence of Wind Forces: Intensity vs. Duration [closed]

The strongest tornado in the world happened recently in Greenfield Iowa with winds over 318 mph: https://www.facebook.com/watch/?v=2176728102678237&vanity=reedtimmer2.0 I am curious, are less ...
11 votes
2 answers
3k views

“is topologically mixing” vs. “is topologically transitive” in the definition of chaos

This question is cross-posted from MSE, since it hasn't gotten an answer there for over 72 hours. Wikipedia gives essentially "is topologically mixing and has dense periodic periodic orbits"...
4 votes
1 answer
180 views

Fixed points of maps defined on Teichmüller space

Let $\mathcal{T}_A$ be a Teichmüller space of the sphere $S^2$ with a finite set $A$ of marked points, and suppose that $f \colon \mathcal{T}_A \to \mathcal{T}_A$ is a holomorphic map that has a ...
2 votes
1 answer
66 views

Why does an invariant measure define a Schwartzman cycle?

Let $M$ be a manifold with a flow $\phi_X:\mathbb{R}\times M\rightarrow M$ induced by a vector field $X\in \Gamma TM$. Any Borel measure $\mu$ defines a $1$-current $c_\mu$, i.e. an element in the ...
1 vote
0 answers
48 views

Rigorous analysis of phase transitions and universality in a non-linear model of interacting oscillators

Consider a system of interacting non-linear oscillators governed by the McKean-Vlasov equation: $$\frac{\partial p(x,t)}{\partial t} = \frac{\partial}{\partial x}\left[\frac{\partial V(x)}{\partial x}...
0 votes
0 answers
32 views

Morse Theory for Time-Periodic Constrained Path Spaces

Let $(M,g)$ be a smooth, compact Riemannian manifold of dimension $n \geq 2$. Define a time-periodic constraint field $\Phi: M \times \mathbb{R} \to \{0,1\}$ with period $T > 0$, where $\Phi(x,t) = ...
2 votes
0 answers
74 views

Is it likely that gradient flow trajectories of a $G$-invariant function pass through degenerate points?

This question may be posed somewhat vaguely, but I'm interested to actually get an idea of what to expect, so I try to not target it at a specific result. Assume that $G$ is a compact Lie group, ...
8 votes
0 answers
156 views

Square root of an Anosov diffeomorphism

Let $T\colon \mathbb T^d\to\mathbb T^d$ be an Anosov diffeomorphism (that is, the tangent bundle splits into invariant stable and unstable bundles; the restriction of $DT$ to the unstable bundle is ...
1 vote
1 answer
101 views

How to show the geodesic orbit of a badly approximable number are/are not homogeneously equidistributed on its orbit closure?

Let $x\in \mathbb R$ be a badly approximable number. By Dani's correspondence, $g_t u_x \mathbb Z^2$ is bounded away from the cusp in $X=\text{SL}(2,\mathbb R)/\text{SL}(2,\mathbb Z)$, identified with ...
4 votes
1 answer
222 views

More than one recurrence point (Birkhoff)

Birkhoff's recurrence theorem states that for a compact metric space $X$ and a continuous function $T: X\rightarrow X$, there is a recurrence point $x\in X$; the latter means that for any ...
1 vote
0 answers
55 views

What means by "a hyperbolic measure has product structure"

I try to figure out what means by "a hyperbolic measure has product structure".In the Anosov system,Lebesgue measure has local product structure with respect to the Lebesgure measure on ...
-1 votes
1 answer
62 views

An example of a matrix whose eigenvalues fullfill 'No-resonance' condition

No-resonance for a matrix is defined in terms of its eigenvalue as (last para page-3 in ref.): $$\lambda_i \neq \sum_{j=1}^N m_j\lambda_j;\ \forall m_j\in \mathbb{Z}\ \ and\ m_j\geq 0$$ $$such\ that\ \...
4 votes
1 answer
310 views

Using a poset or directed graph as input for a neural network

I'm not sure if this is the right community to post this in but I would appreciate any help. As the title states, I'm trying to train a neural network using some unconventional input. I'm wondering if ...
18 votes
3 answers
1k views

Neural networks over gadgets other than $\mathbb{R}$

Recently, I learned that neural networks (NN) can be defined over fields other than $\mathbb{R}$: for example, Khrennikov and Tirozzi wrote a paper in 1999 (!) on $p$-adic neural networks, or neural ...
0 votes
0 answers
61 views

Recognizability of a substitution implies aperiodicity

Is there a good reference, aside from the book of "Tilings and Patterns" by Grunbaum and Shephard, on the fact that recognizability\unique-composition of a tiling implies aperiodicity? I ...
7 votes
2 answers
740 views

How quickly will billiard trajectories cluster?

Suppose you launch $n$ point-particles on distinct reflecting nonperiodic billiard trajectories inside a convex polygon. Assume they all have the same speed. Define an $\epsilon$-cluster as a ...
13 votes
2 answers
555 views

Convergence of the sequence $s_{n+1}=s_n^2-s_{n-1}^2$

$s_{n+1}=s_n^2-s_{n-1}^2$, $s_0=\sqrt{x}$, $s_1=x$ This sequence seems simple, but is pretty confusing. If you try it with integers, you might think that it always diverges to infinity, but if you try ...
14 votes
5 answers
2k views

What are the zero entropy invariant measures for an Anosov geodesic flow?

Let $M$ be the double-torus with a hyperbolic Riemannian metric. The geodesic flow on the unit tangent bundle $T^1M$ has many invariant Borel probability measures. In particular there are closed ...
0 votes
0 answers
120 views

coupled discrete dynamical system -- bifurcation analysis

Suppose you have the following coupled discrete dynamical system: \begin{align*} e_{k+1}&=e_k - 2~\alpha~e_k~\lambda^2~\alpha_k^2 + \alpha^2~e_k^2~\lambda^3 \alpha_k^3\\ \alpha_{k+1}&= \...
4 votes
1 answer
296 views

Derivatives of diffeomorphism whose iterates on an open set converge to a point

Consider a smooth manifold $M$, a diffeomorphism $\varphi\in\mathrm{Diff}^\infty(M)$, and an open subset $B\subseteq M$. Suppose that, when restricted to $B$, $\varphi^n$ converges uniformly to a ...
0 votes
0 answers
18 views

Nature of unbounded initials in polynomial symplectic maps

Is the following statement true? How it can be proved/rejected? Initial conditions that correspond to unbounded orbits in polynomial symplectic mappings, which exhibit chaotic behavior (exponential ...
3 votes
1 answer
90 views

Asymptotic growth rate for primitve S-adic systems

It is known that for a primitive substitution $S:\mathcal{A}\to \mathcal{A}^+$, there exists constants $c,C>0$ such that $$ c\theta_S^n \leq \vert S^n(a)\vert \leq C \theta_S^n \quad \text{for all} ...
7 votes
1 answer
846 views

Persistent homology of Markovian dynamical systems

Consider a dynamical system $(T,X)$ that admits a Markov partition $\mathcal{M}$ (e.g., an Anosov map), and consider the corresponding 0-1 transition matrix $A$. It is commonplace to study information ...
0 votes
0 answers
89 views

Exact approximation in $p$ adic

Given a non increasing function $\psi$ the $\psi$ approximable points in $\mathbb{R}^n$ is defined as $W(\psi)=\{x\in\mathbb{R}^n:|qx-p|<\psi(q)\}$ for infinitely many $(q,p)\in \mathbb{Z}^m\times\...
2 votes
2 answers
236 views

Two questions on one-dimensional dynamical systems

(1) For $\beta>1$ let $T_{\beta}:[0,1)\to [0,1)$ be given by $T_{\beta}(x)=\{\beta x\}$, where $\{\cdot\}$ denotes the non-integer part of real number. It is classical result (due to Parry I think) ...
1 vote
0 answers
67 views

Equidistribution on subvarieties of $\mathrm{SL}_n(\mathbb{Z})$

$\DeclareMathOperator\SL{SL}$Let $\Gamma_{\infty}$ be a maximal parabolic subgroup of $\SL_n(\mathbb{Z})$. I believe there are various equidistribution theorems, which say that Iwasawa $x$ coordinates ...
11 votes
1 answer
521 views

Cohomology for extension problems in symbolic/topological dynamics?

Context: I know essentially nothing about cohomology of any kind, but I have a problem involving classifying obstructions to extensions of certain maps or covers, and I have heard that cohomology is ...
1 vote
1 answer
61 views

Question regarding characterization of linearly recurrent subshifts by Durand

I was looking at the following paper by Fabien Durand, Corrigendum and addendum to ‘Linearly recurrent subshifts have a finite number of non-periodic factors’. I have somewhat of a basic question ...
10 votes
4 answers
662 views

Deciding homomorphic images of De Bruijn graphs

The De Bruijn graph $B_n$ of dimension $n$ (on the two-letter alphabet) is defined as the directed graph on $2^n$ vertices and $2^{n+1}$ edges, where for every $w = w_0 \dots w_n \in 2^{n+1}$ we put ...
3 votes
1 answer
277 views

Measuring how suboptimal control is

Suppose I have a linear dynamical system to control. I use PMP to find necessary conditions for the optimal control of the system wrt to some objective function. Now, suppose that the trajectory I ...
0 votes
0 answers
104 views

A technical lemma in the lecture notes of Yoccoz on interval exchange maps

I'm reading the elegantly written lecture notes "Continued Fraction Algorithms for Interval Exchange Maps" of Yoccoz, available through the link <www.college-de-france.fr/media/jean-...
2 votes
2 answers
404 views

Confusion about Teichmüller curves and $\operatorname{SL}_2$-action

$\DeclareMathOperator\SL{SL}$Let $M_g$ be the moduli space of curves, $\Omega M_g$ the total space of the bundle of holomorphic 1-forms and $\pi: \Omega M_g\to M_g$ the natural projection. On $\Omega ...
5 votes
1 answer
253 views

Topology of windings on the two-torus

In short my question is: what can we say about the quotient topology induced by the linear flow on a two-torus? I know that an irrational slope leads to a dense winding and hence (if I'm not mistaken) ...
5 votes
2 answers
1k views

Poincaré recurrence; Time Return

Hello everybody! Recently I start a reading of a survey by Benoit Saussol, AN INTRODUCTION TO QUANTITATIVE POINCARE RECURRENCE IN DYNAMICAL SYSTEMS, I am interested in references (Papers) Basics ...
2 votes
0 answers
61 views

Aligning frequencies

Let $\omega_1, \omega_2, \dots, \omega_n$ be frequencies between $1$ and $\log n$. I would like to find an upper bound for a point $t$ that align these frequencies up to a small error $\delta$, that ...
1 vote
0 answers
57 views

measurability of a special set

I've been working on some questions in dynamical systems then I faced the following problem: Consider the circle $\mathbb{T}^1:= \frac{\mathbb{R}}{\mathbb{Z}}$. We represent it as a union of disjoint ...
1 vote
0 answers
63 views

Identifying Saddle-node bifurcation of a 3D system of ODEs

I am trying to understand and prove the results shown in the following article. However, I am stuck at a point where it is stated that saddle-node bifurcation of periodic orbits occurs at ...
1 vote
0 answers
100 views

Chaotic behaviour of the secant method for $\sin(x)$

For not very serious reasons I was trying to understand the behaviour of the secant method for solving $\sin(x)=0$ starting with $x_0=2$ and $x_1=18$, so $$ x_{n+2}=x_{n+1}-\sin(x_{n+1})\frac{x_{n+1}-...
3 votes
1 answer
246 views

How much algebra is preferable for studying/doing research in dynamical/complex systems and networks

I asked this question earlier on Mathematics StackExchange (link), but I think it might be better to put it here. This question seems quite broad to ask... The situation here is that I'm a second-...
0 votes
0 answers
32 views

The relay use of invariant set theory

For a dynamical system, set $A$ is an invariant set with a function $V_1$, whose derivative is semi negative definite on $A$, and the region where the derivative is $0$ is the set $B$, which is also ...
4 votes
2 answers
256 views

Simple proof that exactness implies strong mixing

Let $f$ be a continuous map defined on a compact metric space $X$. Suppose that $f$ preserves the Borel probability measure $\mu$ and that, for every positive-measure set $A\subseteq X$, we have $$\...
1 vote
0 answers
2k views

Discrete dynamical system described by Dirichlet L-function using Yitang latest results on Landau–Siegel zero

Using the following definition of Dirichlet L-function $$ L(1,\chi)=\begin{cases} \dfrac{2\pi h}{w\sqrt{m}} & \textit{if}\ \chi(-1)=-1 \\\\ \dfrac{2 h \log{|\epsilon|}}{w\sqrt{m}} & \textit{...

1 2
3
4 5
50