Questions tagged [ds.dynamical-systems]
Dynamics of flows and maps (continuous and discrete time), including infinite-dimensional dynamics, Hamiltonian dynamics, ergodic theory.
854 questions with no upvoted or accepted answers
57
votes
0
answers
3k
views
On the first sequence without triple in arithmetic progression
In this Numberphile video (from 3:36 to 7:41), Neil Sloane explains an amazing sequence:
It is the lexicographically first among the sequences of positive integers without triple in arithmetic ...
28
votes
0
answers
828
views
Blocking light with mirrored convex objects
There is a long-unsolved problem posed by Janos Pach,
sometimes known as the enchanted forest problem,
which asks if it is possible to block a point light source
in the plane
from reaching
infinity by ...
- 151k
24
votes
0
answers
1k
views
Example of a quasi-Bernoulli measure which is not Gibbs?
Let $X=\{0,1\}^{\mathbb{N}}$. For simplicity I consider measures on $X$ only.
A measure $\mu$ is quasi-Bernoulli if there is a constant $C\ge 1$ such that for any finite sequences $i,j$,
$$
C^{-1} \...
- 4,660
23
votes
0
answers
896
views
Base change for $\sqrt{2}.$
This is a direct follow-up to Conjecture on irrational algebraic numbers.
Take the decimal expansion for $\sqrt{2},$ but now think of it as the base $11$ expansion of some number $\theta_{11}.$ Is ...
- 96.4k
21
votes
0
answers
416
views
Can a 4D spacecraft, with just a single rigid thruster, achieve any rotational velocity?
(Copied from MSE. Offering four bounties over time, I got no response, other than twenty-nine upvotes.)
It seems preposterous at first glance. I just want to be sure. Even in 3D the behaviour of ...
- 281
18
votes
0
answers
480
views
Trapping lightrays with segment mirrors
Q. Is it possible to trap all the light from one point source by a finite collection of two-sided disjoint segment mirrors?
I posed this question in several forums before (e.g., here
and in an ...
- 151k
18
votes
0
answers
667
views
The lonely molecule
Suppose $n$ air molecules (infinitesimal points) are bouncing around in
a unit $d$-dimensional cube, with perfectly elastic wall collisions.
Let $k=n^{\frac{1}{d}}$.
For example, in 3D, $d=3$, with $n=...
- 151k
18
votes
0
answers
873
views
Almost complex 4-manifolds with a "holomorphic" vector field
Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$?
The following sub question is ...
- 28.9k
15
votes
0
answers
477
views
Diffeomorphisms of $\mathbf R^n$
Let $G={\rm Diff}_0^c(\mathbf R^n)$, $n\geq 1$, be the group of compactly supported diffeomorphisms isotopic to the identity through compactly supported isotopies.
Question: Is there an example to ...
- 1,782
15
votes
0
answers
3k
views
Weak$^*$ convergence of measures vs. convergence of supports
Let $X$ be a compact metric space and let $\mathcal M(X)$ denote the set of probability measures on $X$. For $\mu\in\mathcal M(X)$ we write $\text{supp} \mu$ for the support of $\mu$. It is easy to ...
- 1,658
14
votes
0
answers
358
views
What is the asymptotic dynamics of the winning position in this game?
$n$ players indexed $1,2,...,n$ play a game of mock duel. The rules are simple: starting from player $1$, each player takes turns to act in the order $1,2,...,n,1,2,...$. In his turn, a player ...
- 2,619
14
votes
1
answer
2k
views
The perturbation of non-Hamiltonian algebraic vector fields
In this question, we are interested in the number of limit cycles which appears in the following perturbational system:
\begin{equation}\cases{
x'=y -x^{2}+\epsilon P(x,y) \\
y'=-x+\epsilon Q(x,y) }
\...
- 356
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 ...
- 356
13
votes
0
answers
496
views
Strange formula in arithmetic dynamic
Added: another function like that is $S_p f(z) = f(z)+\frac{f(\sqrt{zp})^2}{f(p)}$ in a field of characteristic two.
We discovered the following operator which acts on the space of polynomials (or ...
- 5,063
12
votes
0
answers
268
views
If two group actions lead to the same orbifold, are they conjugate?
In The Geometry and Topology of Three-Manifolds, Thurston says: "In these examples, it was not hard to construct the quotient space from the group action. In order to go in the opposite direction, we ...
- 616
12
votes
0
answers
394
views
Rational maps whose complex conjugate equals a PGL conjugate
Let $f(z)\in\mathbb{C}(z)$ be a rational function, and let $\bar{f}(z)$ denote the function obtained by taking the complex conjugate of the coefficients of $f$. I am interested in maps $f$ for which ...
- 47.4k
11
votes
0
answers
258
views
Minimal actions commuting with amenable actions of $\mathbb{F}_2$
For a countable discrete group $G$ acting by homeomorphisms on a compact metrizable space $X$, we say that $G\curvearrowright X$ is (topologically) amenable if there exists a sequence of continuous ...
- 211
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
- 5,405
11
votes
0
answers
212
views
Factor map between subshifts preserving topological pressure (or measure-theoretic entropy)
Let $G$ be a countable amenable group and let $X,Y$ be subshifts with finite alphabet over $G$. Suppose that $h(X) = h(Y)$ (equal topological entropy). I am interested in continuous factor maps $\pi: ...
- 695
11
votes
0
answers
809
views
Borderline Collatz-like problems
The usual Collatz map is $C:n \mapsto n/2$ if $n$ even, $(3n+1)/2$ if $n$ odd. Let $f^{\circ (r+1)}:=f \circ f^{\circ r}$.
We suspect that for every fixed $n>0$, the sequence $C^{\circ r}(n)$ ...
11
votes
0
answers
252
views
Can the orbit with respect to a rotation on the torus hit an algebraic variety infinitely often?
Question: Does there exist a $d$-tuple $\alpha = (\alpha_1,\dots,\alpha_d) \in \mathbb{R}^d$ (with $1,\alpha_1, \dots,\alpha_d$ linearly independent over $\mathbb{Q}$) and an algebraic variety $V \...
- 1,914
11
votes
0
answers
215
views
Shift invariant measurable selection theorem
Let $(X,\mathcal{F})$ be some measure space and endow $\mathbb{R}^\mathbb{Z}$ with the product topology and borel $\sigma$-field. Let $F$ be a point to set mapping $X^\mathbb{Z}\rightarrow \mathcal{P}(...
- 479
11
votes
0
answers
853
views
horocycle flow and the prime number theorem
Looking at Zagier's Eisenstein Series and the Riemann Zeta Function, we get a proof of the prime number theorem using horocycles. I would really love it if there were a geometric proof like this.
...
- 22.8k
11
votes
0
answers
551
views
Poincaré recurrence and symplectic packings
Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius $r$,...
- 13.5k
11
votes
0
answers
203
views
Fundamental groups of reduced subgroup lattices
Let $G$ be a group. Its subgroup lattice, denoted $\Sigma G$, consists of all subgroups of $G$ partially ordered by inclusion. The topology of this poset is quite trivial, since it always has a ...
- 15.5k
10
votes
0
answers
236
views
Rigorous results on chaos in a driven damped pendulum
The harmonically driven damped pendulum is often used as a simple example of a chaotic system, the equation is just $\ddot{\phi}+\frac1q\dot{\phi}+\sin\phi=A\cos(\omega t)$. As long as $A$ and $\omega$...
- 1,731
10
votes
0
answers
475
views
If $(Y,T)$ is a connected minimal system with a symbolic extension of linear word complexity, is $(Y,T)$ equicontinuous?
Let $(Y,S)$ be a minimal topological dynamical system such that $Y$ is connected. A simple example of a system like this is an irrational rotation of the circle, and it is known that Sturmian ...
- 151
10
votes
0
answers
658
views
Determinant as a Hamiltonian
Are there two symplectic structures $\omega_1, \omega_2$ on $M_{2n}(\mathbb{R})$ such that the function $Det:M_{2n}(\mathbb{R})\to \mathbb{R}$ is completely integrable with respect to $\omega_{1}$...
- 356
10
votes
0
answers
300
views
Mackey's Program on Algebraic Ergodic Theory
I knew about Mackey's Program from Arnold's book Random Dynamical Systems and it referred to K. Schmidt's book Algebraic Ideas in Ergodic Theory, which was published in 1990. However, that is the ...
- 241
10
votes
0
answers
466
views
For a group with one end does the property of connected spheres follow?
One of my friends is studying group actions on the circle, and he ended up with a question in geometrical group theory. Let us consider a finitely generated group $G$ with generators $g_1, \ldots g_n$....
- 1,143
10
votes
0
answers
511
views
flexibility of almost contact ``Reeb'' vector fields
New version of the question:
Given an odd dimensional manifold $V$, an almost contact structure is a pair of $(\alpha, \omega)$, where $\alpha$ is a non-vanishing 1-form and $\omega$ is a 2-form ...
- 1,242
10
votes
0
answers
391
views
Question from an economist: solving a model of traders' behavior with expectations about the future values of the variable they are currently optimizing
Motivation
I am an economist writing a paper for an academic finance journal. My paper is about the behavior of currency traders, who choose the price at which they will sell currency today, based on ...
- 101
10
votes
0
answers
385
views
How aspherical can a Gömböc be?
A Gömböc is a homogeneous massive convex solid that can rest on a horizontal plane in just two positions of equilibrium under gravity: one stable and the other unstable. How small a proportion of the ...
- 2,437
10
votes
0
answers
543
views
What is the "category of bifurcations"?
While reading the introduction to this paper by Curtis McMullen, I came to the following (bold added):
In this paper we show that every bifurcation set contains a copy of the boundary of the ...
- 5,992
9
votes
0
answers
259
views
Centralizers in diffeomorphism groups
Let $M$ be a compact manifold and let $\mathrm{Diff}^{1}(M)$ denote the group of $C^{1}$-diffeomorphisms of $M$. Let $Z(f) := \{g \in \mathrm{Diff}^{1}(M) \mid gf = fg \}$ denote the centralizer of $f$...
9
votes
0
answers
225
views
On the first sequence without collinear triple
Let $u_n$ be the sequence lexicographically first among the sequences of nonnegative integers with graphs without collinear three points (as for $a_n=n^2$ or $b_n=2^n$). It is a variation of that one.
...
9
votes
0
answers
230
views
Fixed-points of a topological circle action
Suppose the circle group $G = S^1$ acts on $X$.
If $X$ is a closed smooth manifold (and the action is smooth), then we know the fixed-points $X^G$ are a disjoint union of smooth submanifolds of $X$. ...
- 353
9
votes
0
answers
285
views
when is the Brun continued fraction periodic?
I was hoping to figure this one out on my own. There's this nice paper by Avila on various "subtractive" Euclidean algorithms. Here is one he attributes to Viggo Brun:
$$ (x,y,z) \mapsto \text{sort}...
- 22.8k
9
votes
0
answers
601
views
Topological entropy and periodic sequences of a subshift
Let $\Sigma$ be a two-sided subshift on a finite alphabet $A$. Let $\Sigma_n$ denote all words $x_{-n}\dots x_n\in A^{2n+1}$ such that $(x_k)_{-\infty}^\infty \in \Sigma$ for some $x_k, |k|>n$.
...
- 2,135
9
votes
0
answers
368
views
Periodic orbits of a spinning ball in a square
Periodic orbits of a billiard ball bouncing in a square have been well-studied.
I am seeking similar analysis of what is sometimes called a rough ball, one
whose high friction causes it to pick up ...
- 151k
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 ...
- 23.2k
8
votes
0
answers
278
views
The busy Star Guardian
On an infinite plane, the Prime Star has disintegrated into four constituent stars, the North Star, the South Star, the East Star and the West Star, each traveling at a constant speed of $1$ in their ...
- 2,619
8
votes
0
answers
197
views
The condition on $\alpha$ that $\alpha^n$ is convergent modulo 1
We consider numbers $\alpha\in \mathbb{R}$ with $|\alpha|>1$. Is there any result about a characterization of those $\alpha$ so that $\{\alpha^n\}_{n\in \mathbb{N}}$ is convergent modulo 1?
I ...
- 661
8
votes
0
answers
508
views
A cohomology associated to a (not necessarily integrable) distribution (Hilbert 16th problem and dynamical Lefschetz trace formula 2)
Let $(M,D)$ be a pair consisting of a manifold $M$ and a distribution $D$ on $M$. The de Rham complex $\Omega^*(M)$ has the following subcomplex $$\Omega^*(M,D)=\{ \alpha \in \Omega^*(M)\mid \alpha_{|...
- 356
8
votes
0
answers
157
views
Pursuit-evasion with many slow pursuers
Question: Suppose that intelligent pursuers with speed $v<1$ are randomly scattered on the plane with area density $1/r$ ($r>0$ is distance from the origin). If you start at the origin ...
- 7,545
8
votes
0
answers
256
views
Structural Stability on Compact $2$-Manifolds with Boundary
I'm studying the structural stability of vector fields and I'm interested in learning about this phenomenon on compact $2$-manifolds with boundary.
Let $M^2$ be a compact connected 2-manifold and $\...
- 333
8
votes
0
answers
285
views
Connection between integrable systems and group actions
An integrable system can be defined as a symplectic manifold together with the maxiumum possible number of Poisson commuting functions on the manifold which are almost everywhere independent. By the ...
- 979
8
votes
0
answers
149
views
Volume preserving conjugacy in Hartman-Grobman theorem
According to Hartman-Grobman theorem, a $C^1$ germ of diffeomorphism $f$ on $\mathbb{R}^n$ at a fixed point $x$ whose differential $Df(x)$ is hyperbolic is always $C^0$-conjugated to its differential, ...
- 383
8
votes
0
answers
196
views
Does $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ have periodic points missing the critical hypersurface?
I am trying to prove that if $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ is an algebraic morphism of degree $d > 1$ (by which I mean $\varphi^{*}(\mathcal{O}(1)) = \mathcal{O}(d)$, so the ...
- 113
8
votes
0
answers
200
views
Ricocheting pinball-like shot: Complexity?
Suppose one has $n$ perfect two-sided mirror segments in the plane $\mathbb{R}^2$.
The segments are open, excluding their endpoints.
They are disjoint as closed segments, i.e., no pair shares an ...
- 151k