Questions tagged [discrete-dynamical-systems]
The discrete-dynamical-systems tag has no usage guidance.
77
questions
1
vote
0
answers
29
views
The boundedness of dynamical systems discretized from Hamiltonian systems
Let $H(p,q) = T(q) + U(p)$ be a Hamiltonian function that defines a Hamiltonian system, i.e.,
\begin{align}
&\frac{dp}{dt} = \frac{\partial H}{\partial q}(p,q) = \frac{dT}{dq},\\
&\frac{dq}{dt}...
- 47
4
votes
1
answer
124
views
Equivalence of bounded gradient flow solutions and uniformly bounded gradient descent trajectories for definable functions
I am reading paper [1] by C. Josz regarding the global convergence of the gradient method. The main result is the following:
$\textbf{Theorem}$: For a definable differentiable function $f : \mathbb{R}^...
- 131
3
votes
1
answer
120
views
A sensitive 2-dimensional cellular automaton with a blocking word
I'am a Ph.D student in the domain of discrete dynamical systems. My thesis is about spectral properties of cellular automata in higher dimension.
Kurka gives a classification for one dimensional ...
3
votes
1
answer
98
views
Condition for 3×3 block matrix to be stable
Given a square symmetric matrix $H\in\mathbb{R}^{n\times n}$, design a symmetric positive definite matrix $M\in\mathbb{R}^{n\times n}$ and positive scalar $\alpha$ such that the following ${3n\times ...
- 33
-1
votes
0
answers
134
views
Does analytical solutions of Yitang dynamics exists and bounded?
This question is a part of my question here.and some numerical discussion regarding behavior of that dynamics is already discussed there
recall Yitang dynamics is defined as:
\begin{equation}
...
- 2,238
0
votes
0
answers
51
views
How to prove that pseudo entropy and topological entropy are the same with only Markov inequality and continuity?
Let $(X,\rho)$ be a compact metric space and $f:X\to X$ a homeomorphism. We say $(x_1,\ldots,x_{n})\in X^n$ is a partial $n$ orbit if $f(x_i)=x_{i+1}$. Let $Sep_{\epsilon}(X,\rho_n)$ be the maximal ...
2
votes
1
answer
173
views
How to find the hyperbolic dimension of map $f(z) = z^2$ of $\overline{\mathbb{C}}$ onto itself?
I am reading the research article "The Hausdorff dimension of the boundary of Mandelbrot set and Julia sets" by Shishikura. In his article, he defined hyperbolic sets and hyperbolic ...
- 45
1
vote
1
answer
105
views
Existence of center-stable manifold when the Jacobian is singular?
The following is a result from Shub's monograph "Global Stability of Dynamical Systems".
I dabble in the proof, and it appears to me that the existence of $W^{\rm cu}_{\rm loc}$ does not ...
- 491
1
vote
1
answer
147
views
Repelling invariant manifold of a discrete dynamical system
Given a $C^\infty$ map $Q: \mathbb{R}^n \rightarrow \mathbb{R}^n$ with the following properties
$Q$ fixes the $x_1$-axis, i.e. $Q(x_1,0,\dotsc,0) = (x_1,0,\dotsc,0)$.
For $x_1$ in a neighborhood of $...
- 491
1
vote
0
answers
58
views
A family of dynamical systems similar to Conway's Game Of Life
Given a dimension $d\geq 1$ and two subsets $\mathcal B$ (the 'birth' set)
and $\mathcal D$ (the 'death' set) of $\lbrace 0,\ldots,2d\rbrace$, we consider the
dynamical system $\lbrace \mu_0,\mu_1\...
- 16.3k
1
vote
0
answers
115
views
Frog game on tree graphs is in NP but not in P (NP-complete)?
Problem
We can restrict ourselves to tree graphs. What is the complexity of the following problem?
Let $G$ be simple connected graph with vertices in $V$, edges in $E$, and a vertex weighted function $...
- 591
1
vote
0
answers
69
views
Time-scale calculus (an similar approaches - measure chains) on more general "time" sets
Time-scale calculus [0], also called calculus on measure chains (introduced in this widely cited article [1] and also here [2]) unified the concept of derivative of a functions $\mathbb{R}\rightarrow\...
- 419
7
votes
1
answer
255
views
State of the art on: "If a dynamical system is Li-Yorke chaotic, does there exist a Cantor scrambled set?"
The following problem is presented in the paper Recent development of chaos theory in topological dynamics - by Jian Li and Xiangdong Ye :
"If a dynamical system [$(X,f)$, $X$ metric space, $f$ ...
- 107
5
votes
1
answer
234
views
Unbounded solution but bounded Euler discretization
Is there an ordinary differential equation in $\mathbb{R}^d$ induced by a gradient vector field with unbounded solutions, for which the difference equations obtained by using the forward Euler method ...
- 319
3
votes
1
answer
109
views
Is there a classical textbook/reference on numerical discretization schemes?
I found that it is relatively easy to find a book that discusses Euler discretization or Runge-Kutta discretization, but I am not aware of one that is well-known and/or common knowledge (i.e., field-...
- 459
6
votes
2
answers
267
views
Topological dynamical systems with only zero-entropy factors
Suppose the dynamical system $(X,T)$ has only proper factors (i.e. not $(X,T)$ itself) of zero topological entropy. Does the system $(X,T)$ also have zero entropy?
- 605
46
votes
3
answers
7k
views
Does Conway's game of life admit a notion of energy?
(I am not sure if this is a mathematics or physics question so I am not sure where to post it. I am posting it here because the chief subject is an unreal universe that is purely a subject of ...
- 1,657
1
vote
0
answers
24
views
Reduced $H_{\infty}$ problem for nD systems
Let $G(z)$ denote the (rational not necessarily square and unstable) transfer function of an nD system, where $z=(z_{2},...,z_{n})$, of a discrete spatial-temporal recurrence Givone-Roesser type ...
- 21
6
votes
0
answers
131
views
Construction of minimal zero entropy measure-theoretically strong mixing subshift?
Does anyone know of a construction of a subshift (over $\mathbb{Z}$) which is
(1) minimal
(2) zero (topological) entropy
(3) measure-theoretically strong mixing (for some measure)?
I am in particular ...
- 1,933
0
votes
0
answers
82
views
Distortion estimates to control Hausdorff measure of a curve
I am studying the paper Blumenthal - Statistical properties for compositions of standard maps with increasing coefficent.
I have a problem to understand how the distortion estimates are used. The ...
4
votes
2
answers
284
views
Is there half an iteration of the QR algorithm?
Every real square matrix $M$ has a QR decomposition $M = QR$ where $Q^{-1}=Q^T$ and $R$ is an upper triangular matrix with non-negative reals on the diagonal. Call the function $f(QR)=RQ$ the Francis ...
- 4,732
6
votes
0
answers
469
views
Existence of an explosive prime
The motivation to introduce explosive prime is Carmichael's totient conjecture (see why below).
Let $\mathbb{N}_{SF}$ be the set of positive square-free integers. Consider the map $f:\mathbb{N}_{SF} \...
- 25.1k
0
votes
1
answer
121
views
Why all the coefficients of the center manifold of this system are zeros?
I solved many cases for the following dynamical system $\dot{x} = x (1-x-ay)$ and $\dot{y} = c y (1- b x -y)$. However, I reached the case where $c>0$ and $a>1$, $b=1$ and I ended up with the ...
- 131
1
vote
1
answer
163
views
A completely positive equivariant map $\varphi: A \to B$ induces a map on the full crossed products
Let $G$ be a discrete group. Let $(A,\alpha)$ and $(B,\beta)$ be $G$-$C^*$-algebras and $\varphi: A \to B$ be $G$-equivariant and completely positive. All crossed products in this post are full (= ...
- 115
3
votes
0
answers
97
views
Description of Anderson-Putnam CW-complex construction
I have been trying to read the paper, Topological invariants fo substitution tiling and their associated $C^*$-algebras, to learn more about a construction of Anderson-Putnam complexes. However, it ...
- 451
1
vote
0
answers
34
views
$L^p$-continuity for discrete linear causal systems
Let $p \in [1, +\infty)$, $(b_0(n)), \dots (b_m(n)), (a_1(n)), \dots, (a_m(n))$ suitable sequences of real numbers and consider the map $\phi: \ell^p \to \ell^p$, $x \mapsto y$ defined by:
\begin{...
- 41
1
vote
1
answer
152
views
Invariant distributions for iterated random variables (stochastic dynamical systems)
This is related to discrete dynamical systems, with the initial condition $X_1$ being a random variable with a non singular distribution. The system is driven by the iteration $X_{n+1} = g(X_n)$ for ...
- 3,036
0
votes
1
answer
123
views
Do measure-valued dynamical systems correspond to marginals of Markov processes?
Let $(\mu_n)_{n=1}^{\infty}$ be a sequence in $\mathcal{P}_1(X)$ for some compact metric space $(X,d)$. Suppose that there is a weakly-continuous function $F:\mathcal{P}_1(X)\rightarrow \mathcal{P}_1(...
- 4,971
1
vote
0
answers
47
views
Hypercylic operators have very typical cyclic vectors
Let $W$ be the Wiener measure on $C_0(\mathbb{R})$ and let $T\in L(C_0(\mathbb{R}),C_0(\mathbb{R}))$ be a hypercylic operator; i.e. there exists some $f \in C_0(\mathbb{R})$ such that $\{T^n(f)\}_{n=1}...
- 4,971
0
votes
0
answers
63
views
a lemma on interval translation map
Consider the map $S:T^1 \to T^1$ where $x \mapsto x+c_j$ , mod 1 where $c_j$'s are real numbers. We represent $T^1$ as a union of disjoint subsegments $M_j=[t_j,t_{j+1})$, $j=0 , \cdots ,n , t_0=t_n$....
- 145
1
vote
0
answers
156
views
Is there a condition for a subshift of finite type to be uniquely ergodic?
Are SFTs uniquely ergodic in general, or is there a known necessary and sufficient condition for them to be uniquely ergodic?
- 111
2
votes
0
answers
55
views
Chain recurrent points of a gradient-like system
Let $X$ be a compact metric space and $f:X\to X
$ homeomorphism. Let $V:X\to \mathbb{R}$ be a Lyapunov function for $(X,f)$ (continuous function such that $(\forall x\notin Fix(f))\ \ V(f(x))<V(x))...
- 141
1
vote
1
answer
157
views
Gradient-like dynamical systems
I've tried asking this question on Mathematics site, but I only got an upvote and no answer. I've searched online, tried to find something about this topic, but I haven't found much (and the things I ...
- 141
2
votes
1
answer
139
views
Busy beaver sequence for a simple tag-like system
This question arose in the context of tag-like systems, specifically Bitwise Cyclic Tag (BCT). Consider the following discrete dynamical system:
Let $\mathbb{B} = \{\mathtt{0}, \mathtt{1}\}$. Let our ...
- 1,721
2
votes
0
answers
118
views
Is this variant of bitwise cyclic tag Turing-complete? [closed]
Cross-posted from Theoretical Computer Science.
CT is an extremely minimalist programming language that can simulate arbitrary tag systems, and is therefore Turing-complete. A program consists simply ...
- 1,721
12
votes
1
answer
790
views
Strange behavior of $x_{n+1}=x_n +\lambda \sin x_n$
Consider a sequence $(x_n)$ satisfying $x_{n+1}=x_n +\lambda \sin x_n$.
You would expect the sequence $x_n$ to depend on $x_0$ and to exhibit a chaotic, Brownian-type behavior, and indeed it does ...
- 3,036
1
vote
0
answers
160
views
Example of topologically transitive dynamical system with invariant non-ergodic Borel measure
Let $U \subset M$ be an open subset of a Riemannian manifold. I’m trying to find or construct an example of a topologically transitive dynamical system $f : U \to U$ for which
$f : \Lambda \to \...
- 151
3
votes
0
answers
138
views
Is composition of discrete Hamiltonian flows integrable?
Consider $\Bbb{R}^2$ with the usual symplectic form $$\omega = dx \wedge dy$$
For a function $H \colon \Bbb{R}^2 \to \Bbb{R}$, let $X_H$ be the Hamiltonian vector field. Then the map $\Bbb{R}^2 \to \...
- 213
24
votes
2
answers
2k
views
Do these rational sequences always reach an integer?
This post comes from the suggestion of Joel Moreira in a comment on An alternative to continued fraction and applications (itself inspired by the Numberphile video 2.920050977316 and Fridman, ...
- 25.1k
0
votes
1
answer
130
views
Why does bounded distortion imply the following inequality?
Let $f: I \to I$ be a one-dimensional differentiable function of bounded distortion with distortion constant $M$, where $I$ is a compact interval in $\mathbb{R}$. That is, $I$ can be partitioned such ...
3
votes
2
answers
206
views
Showing that the inverse of a function is approximately equivalent to $\frac{1}{n^{1/\alpha}}$
I'm currently working with someone on my PhD, and last week they asked me to check that a certain approximation holds as an exercise. Unfortunately, I couldn't figure out how to do it, and we've since ...
2
votes
3
answers
629
views
The critical exponent function
It is a known fact [1] that, for every $c\in (1,\infty]$, it is possible to find a finite alphabet $\mathcal{A}$ and a word $w\in \mathcal{A}^\omega$ such that $w$ has critical exponent $c$. It looks ...
- 4,121
2
votes
0
answers
120
views
Rotation set vs existence of rotation number
Let $f\colon \mathbb{S}^{1}\to\mathbb{S}^{1}$ be a continuous function of degree 1 and $F\colon \mathbb{R}\to \mathbb{R}$ a lift of $f.$ One can define, for each $x\in \mathbb{R}$, the rotation number ...
4
votes
1
answer
78
views
On composite divisors of certain terms in the extended Lucas sequences
One can easily show that if $p$ is a prime that does not divide $a$, then $a^{p(p-1)}\equiv 1 \pmod{p^2}$.
However, my question is: If instead of $p$ being a prime, it were a pseudoprime to the base $...
- 143
1
vote
1
answer
97
views
$\ell^1$-bound on graph laplacian with weight
Consider the $\mathbb Z^2$ lattice, we then define for $u=(u_{ij})_{i,j \in \mathbb Z}$ the discrete Laplacian
$$(\Delta u)_{i,j}=u_{i+1,j}+u_{i-1,j}+ u_{i,j+1}+u_{i,j-1}$$
and the weight which pushes ...
- 486
4
votes
1
answer
307
views
Maximal length of trajectories in billiard
Consider discrete rectangular billard on lattice with integer dimensions a*b and n balls with radius $\frac{\sqrt 2}{2}$ and ...
- 185
4
votes
1
answer
490
views
Is the logistic map $x_{n+1}=r x_n (1-x_n)$ exactly solvable for any $r$ other than $-2,2,4$?
It is known that for $r=-2,2,4$ the logistic map $x_{n+1}=r x_n (1-x_n)$ has exact solutions of the form
$$
x_n=\frac12 \left\{ 1- f\left(r^n f^{-1}(1-2x_0)\right)\right\} \qquad \qquad{(*)}
$$
for ...
- 43
1
vote
0
answers
79
views
Property of a map on the 2D lattice
My brother ($A_1$) and I ($A_2$) are playing together with the following "game".
My brother picks a positive integer $m_1$ and then draw a line of length $m_1$ (units). I pick independently ...
user14319
3
votes
0
answers
68
views
Convergence of iteration of a convex program
Let $\mathbf{V} \in \mathbb{R}_{+}^{n \times m}, \ \ \mathbf{E} \in \mathbb{R}_{+}^{n \times m}$, with $\mathbf{V} \mathbf{1}_{m} = \mathbf{1}_{n}$ and $\mathbf{E}^{T} \mathbf{1}_{n} = \mathbf{1}_{m}$...
- 53
2
votes
0
answers
175
views
Permutations with bounded displacement on a circle
I am interested in references to results on permutations $\sigma$ of $\{0,\ldots,n-1\}$ satisfying $\text{min}\{ \sigma(i)-i\text{ (mod } n),i-\sigma(i) \text{ (mod } n) \} \leq k$ for some $k$ for ...
- 323