**67**

votes

**0**answers

5k views

### Dropping three bodies

Consider the usual three-body problem with Newtonian
$1/r^2$ force between masses. Let the three masses start off at rest,
and not collinear. Then they will become collinear a finite time ...

**18**

votes

**0**answers

501 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 ...

**18**

votes

**0**answers

668 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 ...

**15**

votes

**0**answers

415 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 ...

**13**

votes

**0**answers

376 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 ...

**11**

votes

**0**answers

149 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 ...

**10**

votes

**0**answers

309 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 ...

**10**

votes

**0**answers

312 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 ...

**9**

votes

**0**answers

215 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 ...

**9**

votes

**0**answers

361 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 ...

**9**

votes

**0**answers

262 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 ...

**9**

votes

**0**answers

338 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 ...

**9**

votes

**0**answers

324 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 ...

**9**

votes

**0**answers

367 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} ...

**8**

votes

**0**answers

282 views

### Reference - Asymptotic geodesics on compact surfaces without conjugate points

I would like to ask about possible references on the following problem: consider a compact surface and a metric without conjugate points. Consider it's universal covering endowed whith the lifting of ...

**8**

votes

**0**answers

363 views

### Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition ...

**8**

votes

**0**answers

183 views

### Billiards with incompatible regions

An existing question asks whether "almost every" two-dimensional billiard possesses at least one orbit that is dense in its interior. My question is about the following set of strong ...

**7**

votes

**0**answers

131 views

### Generalized Skorokhod spaces

Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...

**7**

votes

**0**answers

210 views

### resampling over Bowen balls

Hello MO World
I'm working on a paper involving embedding your favourite measure-preserving transformation into a topological model (think Krieger generator theorem: embedding in a full shift) and ...

**7**

votes

**0**answers

168 views

### A model of self-organizing behavior

I'd just like to know if the following model has received any attention:
A state at discrete time $t$ consists of a function $S_t:{\Bbb Z}^2\rightarrow S^1$.
So view each cell $c$ (element of ${\Bbb ...

**7**

votes

**0**answers

350 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 ...

**7**

votes

**0**answers

213 views

### Monotone invariants of braid forcing

Let $\phi$ be a diffeomorphism of the unit disk $D^2$, fixed on the boundary, and suppose that $Q$ is a finite subset of the interior permuted by $\phi$. The isotopy class of $\phi$ relative to $Q$ ...

**6**

votes

**0**answers

127 views

### The geometric shape of domains of flows

Consider a smooth (non-compact) manifold $M$ with a vector field $X$. Then we know that there is a open neighbourhood $U \subseteq M \times \mathbb{R}$ of $M \times \{0\}$ such that on $U$ the flow ...

**6**

votes

**0**answers

223 views

### Do ergodic isometries have discrete spectrum?

Let $X$ be a metric space, $\mu$ a Borel probability measure, and
$T:X\rightarrow X$ be an ergodic measure preserving isometry.
Is $(X,\mu,T)$ measure theoretically isomorphic to a minimal isometry ...

**6**

votes

**0**answers

192 views

### Invariant curves of rational functions

Let $\gamma$ be a Jordan analytic curve on the Riemann sphere, and $f$ a rational function
of degree at least 2 which
maps $\gamma$ onto itself homeomorphically. The following examples of such ...

**6**

votes

**0**answers

296 views

### “topological” conjugacy of group automorphisms

In the paper "Orbit Equivalence and Topological Conjugacy of Affine
Actions on Compact Abelian Groups", S. Bhattacharya shows (Theorem 3) the following:
Theorem. Given two actions $\alpha$ and ...

**6**

votes

**0**answers

153 views

### Unbounded energy growth in a Hamiltonian system

Does there exist an orbit with unbounded velocity in the system
$\ddot x = (-1)^{[t]+[x]}$, where $[*]$ denotes the integer part of *?

**5**

votes

**0**answers

124 views

### Measure theoretic entropy

I don't know if this is an elementary question or not. In what follows all maps are continuous
Suppose that $P:\mathbb{C}\rightarrow\mathbb{C}$ is a complex polynomial of degree $d>1$ and let ...

**5**

votes

**0**answers

220 views

### Deterministic shifts

We consider (topological) dynamical systems $(\Omega, S)$, where $S$ is the shift $(Sx)_n=x_{n+1}$, and $\Omega\subset[0,1]^{\mathbb Z}$ is a compact, shift invariant subspace. I call such a system ...

**5**

votes

**0**answers

105 views

### Using topological pressure to determine a subshift of finite type

I am interested in recognising graphs (or matrices, or subshifts of finite type) using topological pressure. Suppose that we play the following game:
${\bf Step 1:}$ I write down an irreducible n x n ...

**5**

votes

**0**answers

96 views

### Equivariant zero dimensional extension recovering a given measure

Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action ...

**5**

votes

**0**answers

173 views

### Quasicompactness of transfer operators associated to IID matrix products

Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...

**5**

votes

**0**answers

169 views

### Fibre Mixing for Dynamical Systems

Hi all,
I'm interested in understanding a fairly difficult theorem of Lindenstrauss Peres and Schlag. In that paper the authors prove that certain dynamical systems related to beta expansions and ...

**5**

votes

**0**answers

252 views

### Quantum dynamics on varieties: asymptotic quantum trace distance on SHL varieties

The Question Asked
Definition: the Second-Hand Lion trace distance $D_k$
Let $\mathcal{M}^{(kk)}_r$ be the set of $k\times k$ complex matrices of rank $\le r$ having unit trace norm. Then the ...

**5**

votes

**0**answers

439 views

### Reference request: natural extensions of topological dynamical systems

I am currently writing a paper in which I need to use the following fact: if $T \colon X \to X$ is a uniquely ergodic transformation of a compact metric space, and $\mathcal{A}$ is a continuous ...

**5**

votes

**0**answers

401 views

### Differential equation of line tangent to caustics

This problem (or rather, statement that I cannot understand) has arisen in a paper I have been reading "Geometry of Integrable Billiards and Pencils of Quadrics" by Dragovic and Radnovic. I'd be most ...

**4**

votes

**0**answers

91 views

### First return time in an interval for N particles rotating on the circle at constant random speeds

Here is my problem: draw N velocities $v_1,v_2,\dots,v_n$ in $[-\pi,\pi]^N$ from some measure (Haar measure of uniform independent for simplicity) and make $N$ particles rotate around the circle with ...

**4**

votes

**0**answers

106 views

### Kopell's lemma in higher dimensions

Kopell's lemma states the following: suppose f and g are commuting $C^2$ diffeomorphisms of $[0, \infty)$ such that $f(x) < x$ for every $x > 0$ and $g(p) = p$ for some $p > 0$. Then $g$ is ...

**4**

votes

**0**answers

138 views

### introduction books for Dynamic systems of discrete Schrodinger operator for beginner

In this semester, I study in a class of dynamic system. recently the French professor turn to the dynamic system of discrete operator. I find it is difficult to find a book in English. (I have found ...

**4**

votes

**0**answers

89 views

### Example for a dynamical system which is not point-distal

Let $(X, d)$ be a compact metric space, let $T$ be a group of actions on $X$. Then $(X,T)$ is a topological dynamical system with transformation group $T$, and we denote it by $(X,T)$. We say points ...

**4**

votes

**0**answers

64 views

### Is a closed set with orbit capacity zero automatically thin?

Let $G$ be a countably infinite amenable group. Let $\alpha: G\curvearrowright X$ be a continuous group action. (Mostly free and minimal, though!)
Definition 1: Let $A\subset X$ be closed and ...

**4**

votes

**0**answers

163 views

### Fundamental group of non-Hausdorff surfaces & actions of discrete Heisenberg group

Let $G$ be a discrete group, acting on a space $X$ (by homeomorphisms). I will say that the action is properly discontinuous if for any $x, y \in X$, there are neighborhoods $U_x$ and $U_y$ such that ...

**4**

votes

**0**answers

244 views

### Limits of $p/\ln p - q /\ln q$, $p, q$ prime

Is there any $\alpha>0$ for which there are known to exist two sequences of primes, $(p_i), (q_i)$ such that
$$\alpha = \lim_{i\to\infty} \left(p_i/\ln p_i - q_i /\ln q_i\right)\ ?$$
The ...

**4**

votes

**0**answers

200 views

### Fixed point sets that carry topology

Let $M$ be a closed smooth manifold. A generic diffeomorphism $\phi: M\rightarrow M$ has non-degenerate fixed points, i.e. the intersections of its graph with the diagonal in $M\times M$ are all ...

**4**

votes

**0**answers

155 views

### Linearization of a gradient field

Setup: Suppose we are given a smooth function $\phi$ that has a nondegenerate minimum at $x=0$. Then we can choose a coordinate system $x$ such that the gradient is given by
$$X = \mathrm{grad} \phi = ...

**4**

votes

**0**answers

112 views

### Possible homogeneity of infinite dimensional Sierpinski carpet analogues?

Start with the Hilbert cube $H=I^\omega$, thinking of its coordinates as written in ternary expansion.
Construct subsets $S_n$ by removing points from $H$ if for any $m$,
at least $n$ of the ...

**4**

votes

**0**answers

242 views

### The Arnol'd family of circle maps - origins and density of hyperbolicity

$\newcommand{\R}{\mathbb{R}}\newcommand{\Z}{\mathbb{Z}}$
The Arnol'd family or standard family of circle maps is defined by
$$F_{\mu_1,\mu_2}:\R/\Z\to\R/\Z;\quad t\mapsto t + \mu_1 + \mu_2\sin(2\pi ...

**4**

votes

**0**answers

231 views

### 'ninja' segments - do they exist?

This question is about a sort of "weak topological $k$-mixing" where the
$k$-point set is replaced by a (topological) segment.
Let $f:M\rightarrow M$ be a homeomorphism on a (compact) topological ...

**4**

votes

**0**answers

369 views

### entropy preserving finitary factor maps of Bernoulli schemes

Let $X=\{0,1\}^\mathbb{Z}$ with measure $\mu=(p,1-p)^{\mathbb{Z}}$.
Let $(\phi(x))_i=(x_i+x_{i+1})$mod$2$.
If $p=1/2$, then $\phi(X)=X$. If $p \not = 1/2$, then $\phi(X)$ is not a Bernoulli scheme ...

**4**

votes

**0**answers

610 views

### Almost linear ODE: how node becomes a spiral

Most introductory ODE books contain a discussion of almost linear systems, and there are two cases when the behavior of an almost linear system near an equilbrium point can differ from the behaviour ...