A note on the bounded orbit conjecture
If $f:\mathbb{R}^2\rightarrow \mathbb{R}^2$ is an orientation reversing fixed point free homeomorphism on the plane $\mathbb{R}^2$ with no unbounded orbit, then $f$ has infinitely many periodic orbits.
math.DS↗
arXiv subjects
Enhui Shi
Publications and source records attributed to Enhui Shi.
Linearizations of periodic point free distal homeomorphisms on the annulus
Let $\mathbb{A}$ be an annulus in the plane $\mathbb R^2$ and $g:\mathbb{A}\rightarrow \mathbb{A}$ be a boundary components preserving homeomorphism which is distal and has no periodic points. In \cite{SXY}, the authors show that there is a continuous decomposition $\mathcal P$ of $\mathbb{A}$ into $g$-invariant circles such that all the restrictions of $g$ on them share a common irrational rotation number (also called the rotation number of $g$) and all these circles are linearly ordered by the inclusion relation on the sets of bounded components of their complements in $\mathbb R^2$. In this note, we show that if the decomposition $\mathcal P$ above has a continuous section, then $g$ can be linearized, that is it is topologically conjugate to a rigid rotation on $\mathbb{A}$. For every irrational number $\alpha\in (0, 1)$, we show the existence of such a distal homeomorphism $g$ on $\mathbb{A}$ that it cannot be linearized and its rotation number is $\alpha$.
math.DS↗
$(\omega, \alpha, n)$-sensitivity and limit sets of zero entropy homeomorphisms on the square
For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(\omega, \alpha, n)$-sensitivity of $f$, which describes such a kind of chaos: there is some $c>0$ such that for any $x\in X$ and any open neighborhood $U$ of $x$, there are points $\{x_i\}_{i=1}^n$ and $\{y_i\}_{i=1}^n$ in $U$ such that both the collection of $\omega$-limit sets $\omega(x_i, f)$ and that of the $\alpha$-limit sets $\alpha(y_i, f)$ are pairwise $c$-separated. Then we construct a class of homeomorphisms of the square $[-1, 1]^2$ which are $(\omega, \alpha, n)$-sensitive for any $n\geq 2$ and have zero topological entropies. To investigate further the complexity of zero entropy homeomorphisms by using limit sets, we analyze in depth the limit sets of square homeomorphisms by the boundary permeating technique. Specially, we prove that for any given set of points $Y\equiv\{y_{n1}, y_{n2}:n\in\mathbb N\}$ in $(-1, 1)^2$ which satisfies some loosely technical conditions, and for any given family of pairwise disjoint countable dense subsets $\{W_n:n\in\mathbb N\}$ of $(-1, 1)^2-Y$, there is a zero entropy homeomorphism $f$ on the square $[-1, 1]^2$ such that $\omega(x, f)=\{y_{n1}\}$ and $\alpha(x, f)=\{y_{n2}\}$ for any $n$ and any $x\in W_n$.
math.DS↗
A new construction of counterexamples to the bounded orbit conjecture
The bounded orbit conjecture says that every homeomorphism on the plane with each of its orbits being bounded must have a fixed point. Brouwer's translation theorem asserts that the conjecture is true for orientation preserving homeomorphisms, but Boyles' counterexample shows that it is false for the orientation reversing case. In this paper, we give a more comprehensible construction of counterexamples to the conjecture. Roughly speaking, we construct an orientation reversing homeomorphisms $f$ on the square $J^2=[-1, 1]^2$ with $\omega(x, f)=\{(-1. 1), (1, 1)\}$ and $\alpha(x, f)=\{(-1. -1), (1, -1)\}$ for each $x\in (-1, 1)^2$. Then by a semi-conjugacy defined by pushing an appropriate part of $\partial J^2$ into $(-1, 1)^2$, $f$ induces a homeomorphism on the plane, which is a counterexample.
math.DS↗
The structure of periodic point free distal homeomorphisms on the annulus
Let $A$ be an annulus in the plane $\mathbb R^2$ and $g:A\rightarrow A$ be a boundary components preserving homeomorphism which is distal and has no periodic points. Then there is a continuous decomposition of $A$ into $g$-invariant circles such that all the restrictions of $g$ on them share a common irrational rotation number and all these circles are linearly ordered by the inclusion relation on the sets of bounded components of their complements in $\mathbb R^2$.
math.DS↗
Erd\H{o}s' problem and $(n, \frac{1}{3})$-separated sets
Inspired by the Erd\H{o}s' problem in Ramsey theory, we propose a dynamical version of the problem and answer it positively for circle maps.
math.DS↗
Can points of bounded orbits surround points of unbounded orbits ?
We show a somewhat surprising result: if $E$ is a disk in the plane $\mathbb R^2$, then there is a homeomorphism $h:\mathbb R^2\rightarrow\mathbb R^2$ such that, for every $x\in\partial E$, the orbit $O(x, h)$ is bounded, but for every $y\in {\rm Int}(E)$, the orbit $O(y, h)$ is doubly divergent. To prove this, we define a class of homeomorphisms on the square $[-1, 1]^2$, called normally rising homeomorphisms, and show that a normally rising homeomorphism can have very complex $\omega$-limit sets and $\alpha$-limt sets, though the homeomorphism itself looks very simple.
math.DS↗
Some extensions of the Brouwer fixed point theorem
We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and $\partial X-Y$ is an $(f, X)$-blockading set. For $n\geq 2$, let $D$ be an $n$-ball in $X$ and $Y$ be an $(n-1)$-ball in $\partial X$. Relying on the result just mentioned, we show the existence of a fixed point of $f$, if $D$ and $Y$ are well placed and behave well under $f$, and ${\rm deg}(f_D)=-{\rm deg}(f_{\partial Y})$, where $f_D=f|D: D \rightarrow \mathbb{R}^n$ and $f_{\partial Y}=f|\partial Y: \partial Y \rightarrow \partial Y$. The degree ${\rm deg}(f_D)$ of $f_D$ is explicitly defined and some elementary properties of which are investigated. These results extend the Brouwer fixed point theorem.
math.DS↗
Quasi-intermediate value theorem and outflanking arc theorem for plane maps
For a disk $D$ in the plane $\mathbb R^2$ and a plane map $f$, we give several conditions on the restriction of $f$ to the boundary $\partial D$ of $D$ which imply the existence of a fixed point of $f$ in some specified domain in $D$. These conditions are similar to those appeared in the intermediate value theorem for maps on the real line. As an application of the main results, we establish a fixed point theorem for plane maps having an outflanking arc, which extends the famous theorem due to Brouwer: if $f$ is an orientation-preserving homeomorphism on the plane and has a periodic point, then it has a fixed point.
math.DS↗
Structures of $R(f)-\overline{P(f)}$ for graph maps $f$
Let $G$ be a graph and $f: G\rightarrow G$ be a continuous map. We establish a structure theorem which describes the structures of the set $R(f)-\overline{P(f)}$, where $R(f)$ and $P(f)$ are the recurrent point set and the periodic point set of $f$ respectively. Roughly speaking, the set $R(f)-\overline{P(f)}$ is covered by finitely many pairwise disjoint $f$-invariant open sets $U_{1\,},\,\cdots,\,U_{n\,}$; each $U_i$ contains a unique minimal set $W_i$ which absorbs each point of $U_i$; each $W_i$ lies in finitely many pairwise disjoint circles each of which is contained in a connected closed set; all of these connected closed sets are contained in $U_i$ and permutated cyclically by $f$. As applications of the structure theorem, several known results are improved or reproved.
math.DS↗
Groups acting distally and minimally on $\mathbb S^2$ and $\mathbb {RP}^2$
Let $X$ be the $2$-sphere $\mathbb S^2$ or the real projective plane $\mathbb {RP}^2$. We show that if $\Gamma$ is a finitely generated group acting minimally and distally on $X$, then $\Gamma$ contains a nonabelian free subgroup.
math.DS↗
The structures of pointwise recurrent quasi-graph maps
We show that a continuous map $f$ from a quasi-graph $G$ to itself is pointwise recurrent if and only if one of the following two statements holds: (1) $X$ is a simple closed curve and $f$ is topologically conjugate to an irrational rotation on the unit circle $\mathbb S^1$; (2) $f$ is a perodic homeomorphism.
math.DS↗
The structures of higher rank lattice actions on dendrites
Let $\Gamma$ be a higher rank lattice acting on a nondegenerate dendrite $X$ with no infinite order points. We show that there exists a nondegenerate subdendrite $Y$ which is $\Gamma$-invariant and satisfies the following items: (1) There is an inverse system of finite actions $\{(Y_i, \Gamma):i=1,2,3,\cdots\}$ with monotone bonding maps $\phi_i: Y_{i+1}\rightarrow Y_i$ and with each $Y_i$ being a dendrite, such that $(Y, \Gamma|Y)$ is topologically conjugate to the inverse limit $(\underset{\longleftarrow}{\lim}(Y_i, \Gamma), \Gamma)$. (2) The first point map $r:X\rightarrow Y$ is a factor map from $(X, \Gamma)$ to $(Y, \Gamma|Y)$; if $x\in X\setminus Y$, then $r(x)$ is an end point of $Y$ with infinite orbit; for each $y\in Y$, $r^{-1}(y)$ is contractible, that is there is a sequence $g_i\in \Gamma$ with ${\rm diam}(g_ir^{-1}(y))\rightarrow 0$.
math.DS↗
Rigidity for higher rank lattice actions on dendrites
We study the rigidity in the sense of Zimmer for higher rank lattice actions on dendrites and show that: (1) if $\Gamma$ is a higher rank lattice and $X$ is a nondegenerate dendrite with no infinite order points, then any action of $\Gamma$ on $X$ cannot be almost free; (2) if $\Gamma$ is further a finite index subgroup of $SL_n(\mathbb Z)$ with $n\geq 3$, then every action of $\Gamma$ on $X$ has a nontrivial almost finite subsystem. During the proof, we get a new characterization of the left-orderability of a finitely generated group through its actions on dendrites.
math.DS↗
The nonexistence of expansive polycyclic group actions on the circle $\mathbb S^1$
We show that the circle $\mathbb S^1$ admits no expansive polycyclic group actions.
math.DS↗
The structure of pointwise recurrent expansive homeomorphisms
Let $X$ be a compact metric space and let $f:X\rightarrow X$ be a homeomorphism on $X$. We show that if $f$ is both pointwise recurrent and expansive, then the dynamical system $(X, f)$ is topologically conjugate to a subshift of some symbolic system. Moreover, if $f$ is pointwise positively recurrent, then the subshift is semisimple; a counterexample is given to show the necessity of positive recurrence to ensure the semisimilicity.
math.DS↗
The non-coexistence of distality and expansivity for group actions on infinite compacta
Let $X$ be a compact metric space and $G$ a finitely generated group. Suppose $\phi:G\rightarrow {\rm Homeo}(X)$ is a continuous action. We show that if $\phi$ is both distal and expansive, then $X$ must be finite. A counterexample is constructed to show the necessity of finite generation condition on $G$. This is also a supplement to a result due to Auslander-Glasner-Weiss which says that every distal action by a finitely generated group on a zero-dimensional compactum is equicontinuous.
math.DS↗
An alternative for minimal group actions on totally regular curves
Let $G$ be a countable group and $X$ be a totally regular curve. Suppose that $\phi:G\rightarrow {\rm Homeo}(X)$ is a minimal action. Then we show an alternative: either the action is topologically conjugate to isometries on the circle $\mathbb S^1$ (this implies that $\phi(G)$ contains an abelian subgroup of index at most 2), or has a quasi-Schottky subgroup (this implies that $G$ contains the free nonabelian group $\mathbb Z*\mathbb Z$). In order to prove the alternative, we get a new characterization of totally regular curves by means of the notion of measure; and prove an escaping lemma holding for any minimal group action on infinite compact metric spaces, which improves a trick in Margulis' proof of the alternative in the case that $X=\mathbb S^1$.
math.DS↗