-
arXiv:2504.09539 [pdf, ps, other]
A note on the bounded orbit conjecture
Abstract: 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.
Submitted 13 April, 2025; originally announced April 2025.
-
Linearizations of periodic point free distal homeomorphisms on the annulus
Abstract: 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 rotati… ▽ More
Submitted 27 November, 2024; originally announced November 2024.
-
arXiv:2407.06890 [pdf, ps, other]
$(ω, α, n)$-sensitivity and limit sets of zero entropy homeomorphisms on the square
Abstract: For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(ω, α, 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 $ω$-limit sets $ω(x_i, f)$ and th… ▽ More
Submitted 9 July, 2024; originally announced July 2024.
-
arXiv:2406.17243 [pdf, ps, other]
A new construction of counterexamples to the bounded orbit conjecture
Abstract: 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 counterex… ▽ More
Submitted 9 April, 2025; v1 submitted 24 June, 2024; originally announced June 2024.
-
arXiv:2406.10674 [pdf, ps, other]
The structure of periodic point free distal homeomorphisms on the annulus
Abstract: 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… ▽ More
Submitted 15 June, 2024; originally announced June 2024.
Comments: 18 pages. Comments are welcome
-
arXiv:2405.12782 [pdf, ps, other]
Erdős' problem and $(n, \frac{1}{3})$-separated sets
Abstract: Inspired by the Erdős' problem in Ramsey theory, we propose a dynamical version of the problem and answer it positively for circle maps.
Submitted 21 May, 2024; originally announced May 2024.
Comments: Comments are welcome!
-
arXiv:2404.13642 [pdf, ps, other]
Can points of bounded orbits surround points of unbounded orbits ?
Abstract: 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 h… ▽ More
Submitted 21 April, 2024; originally announced April 2024.
Comments: 18 pages. Comments are welcome
MSC Class: 37E30
-
arXiv:2404.05248 [pdf, ps, other]
Some extensions of the Brouwer fixed point theorem
Abstract: 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 ju… ▽ More
Submitted 8 April, 2024; originally announced April 2024.
MSC Class: 55M20; 55M25; 54H20
-
arXiv:2402.16076 [pdf, ps, other]
Quasi-intermediate value theorem and outflanking arc theorem for plane maps
Abstract: 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 fix… ▽ More
Submitted 25 February, 2024; originally announced February 2024.
-
arXiv:2310.18971 [pdf, ps, other]
Structures of $R(f)-\overline{P(f)}$ for graph maps $f$
Abstract: 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… ▽ More
Submitted 29 October, 2023; originally announced October 2023.
MSC Class: 37E25 (Primary); 37B20; 37C25; 54H20 (Secondary)
-
arXiv:2301.05468 [pdf, ps, other]
Groups acting distally and minimally on $\mathbb S^2$ and $\mathbb {RP}^2$
Abstract: Let $X$ be the $2$-sphere $\mathbb S^2$ or the real projective plane $\mathbb {RP}^2$. We show that if $Γ$ is a finitely generated group acting minimally and distally on $X$, then $Γ$ contains a nonabelian free subgroup.
Submitted 13 January, 2023; originally announced January 2023.
-
arXiv:2211.07905 [pdf, ps, other]
The structures of pointwise recurrent quasi-graph maps
Abstract: 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.
Submitted 15 November, 2022; originally announced November 2022.
-
arXiv:2207.00979 [pdf, ps, other]
The structures of higher rank lattice actions on dendrites
Abstract: Let $Γ$ 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 $Γ$-invariant and satisfies the following items: (1) There is an inverse system of finite actions $\{(Y_i, Γ):i=1,2,3,\cdots\}$ with monotone bonding maps $φ_i: Y_{i+1}\rightarrow Y_i$ and with each $Y_i$ being a dendrite, such… ▽ More
Submitted 3 July, 2022; originally announced July 2022.
-
arXiv:2206.04022 [pdf, ps, other]
Rigidity for higher rank lattice actions on dendrites
Abstract: We study the rigidity in the sense of Zimmer for higher rank lattice actions on dendrites and show that: (1) if $Γ$ is a higher rank lattice and $X$ is a nondegenerate dendrite with no infinite order points, then any action of $Γ$ on $X$ cannot be almost free; (2) if $Γ$ is further a finite index subgroup of $SL_n(\mathbb Z)$ with $n\geq 3$, then every action of $Γ$ on $X$ has a nontrivial almost… ▽ More
Submitted 13 June, 2022; v1 submitted 8 June, 2022; originally announced June 2022.
Comments: The second version corrected some typos and improved the expression of Theorem 1.2
-
arXiv:2203.12494 [pdf, ps, other]
The nonexistence of expansive polycyclic group actions on the circle $\mathbb S^1$
Abstract: We show that the circle $\mathbb S^1$ admits no expansive polycyclic group actions.
Submitted 23 March, 2022; originally announced March 2022.
-
arXiv:2201.00110 [pdf, ps, other]
The structure of pointwise recurrent expansive homeomorphisms
Abstract: 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 rec… ▽ More
Submitted 31 December, 2021; originally announced January 2022.
MSC Class: 54H20; 37B20
-
arXiv:2110.00341 [pdf, ps, other]
The non-coexistence of distality and expansivity for group actions on infinite compacta
Abstract: Let $X$ be a compact metric space and $G$ a finitely generated group. Suppose $φ:G\rightarrow {\rm Homeo}(X)$ is a continuous action. We show that if $φ$ 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… ▽ More
Submitted 1 October, 2021; originally announced October 2021.
MSC Class: 37B05; 37B02
-
arXiv:2109.07160 [pdf, ps, other]
An alternative for minimal group actions on totally regular curves
Abstract: Let $G$ be a countable group and $X$ be a totally regular curve. Suppose that $φ: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 $φ(G)$ contains an abelian subgroup of index at most 2), or has a quasi-Schottky subgroup (this implies that $G$ contains the free non… ▽ More
Submitted 15 September, 2021; originally announced September 2021.
Comments: 2 figures
-
arXiv:2104.06156 [pdf, ps, other]
The nonexistence of expansive actions on Suslinian continua by groups of subexponential growth
Abstract: We show that if $G$ is a finitely generated group of subexponential growth and $X$ is a Suslinian continuum, then any action of $G$ on $X$ cannot be expansive.
Submitted 13 April, 2021; originally announced April 2021.
Comments: 7 pages
-
arXiv:2104.02358 [pdf, ps, other]
A dynamical argument for a Ramsey property
Abstract: We show by a dynamical argument that there is a positive integer valued function $q$ defined on positive integer set $\mathbb N$ such that $q([\log n]+1)$ is a super-polynomial with respect to positive $n$ and \[\liminf_{n\rightarrow\infty} r\left((2n+1)^2, q(n)\right)<\infty,\] where $r(\ ,\ )$ is the opposite-Ramsey number function.
Submitted 8 April, 2021; v1 submitted 6 April, 2021; originally announced April 2021.
Comments: 4 pages
-
Sensitive group actions on regular curves of almost $\leq n$ order
Abstract: Let $X$ be a regular curve and $n$ be a positive integer such that for every nonempty open set $U\subset X$, there is a nonempty connected open set $V\subset U$ with the cardinality $|\partial_X(V)|\leq n$. We show that if $X$ admits a sensitive action of a group $G$, then $G$ contains a free subsemigroup and the action has positive geometric entropy. As a corollary, $X$ admits no sensitive nilpot… ▽ More
Submitted 31 January, 2021; originally announced February 2021.
MSC Class: 37B05
-
arXiv:2001.03755 [pdf, ps, other]
Continua having distal minimal actions by amenable groups
Abstract: Let $X$ be a non-degenerate connected compact metric space. If $X$ admits a distal minimal action by a finitely generated amenable group, then the first \vCech cohomology group $ {\check H}^1(X)$ with integer coefficients is nontrivial. In particular, if $X$ is homotopically equivalent to a CW complex, then $X$ cannot be simply connected.
Submitted 11 January, 2020; originally announced January 2020.
Comments: arXiv admin note: substantial text overlap with arXiv:2001.01183
MSC Class: 37B05
-
arXiv:2001.01183 [pdf, ps, other]
Distal higher rank lattice actions on surfaces
Abstract: Let $Γ$ be a lattice in ${\rm SL}(n, \mathbb R)$ with $n\geq 3$ and $\mathcal S$ be a closed surface. Then $Γ$ has no distal minimal action on $\mathcal S$.
Submitted 5 January, 2020; originally announced January 2020.
MSC Class: 37B05
-
arXiv:1911.00647 [pdf, ps, other]
Invariant Radon measures and minimal sets for subgroups of $\text{Homeo}_+(\mathbb{R})$
Abstract: Let $G$ be a subgroup of $\text{Homeo}_+(\mathbb{R})$ without crossed elements. We show the equivalence among three items: (1) existence of $G$-invariant Radon measures on $\mathbb R$; (2) existence of minimal closed subsets of $\mathbb R$; (3) nonexistence of infinite towers covering the whole line. For a nilpotent subgroup $G$ of $\text{Homeo}_+(\mathbb{R})$, we show that $G$ always has an invar… ▽ More
Submitted 26 June, 2020; v1 submitted 2 November, 2019; originally announced November 2019.
-
The realization and classification of topologically transitive group actions on $1$-manifolds
Abstract: In this report, we first recall the Poincaré's classification theorem for minimal orientation-preserving homeomorphisms on the circle and the Ghys' classification theorem for minimal orientation-preserving group actions on the circle. Then we introduce a classification theorem for a specified class of topologically transitive orientation-preserving group actions on the circle by $\mathbb Z^d$. Als… ▽ More
Submitted 25 October, 2019; originally announced October 2019.
-
arXiv:1908.02611 [pdf, ps, other]
Strongly Independent Matrices and Rigidity of $\times A$-Invariant Measures on $n$-Torus
Abstract: We introduce the concept of strongly independent matrices over any field, and prove the existence of such matrices for certain fields and the non-existence for algebraically closed fields. Then we apply strongly independent matrices over rational numbers to obtain a measure rigidity result for endomorphisms on $n$-torus.
Submitted 18 February, 2021; v1 submitted 6 August, 2019; originally announced August 2019.
Comments: The paper is rewritten. New theorems are added. 15 pages. Comments welcome
MSC Class: 37A05; 37A25; 37A46; 43A05; 28C10; 12E05
-
arXiv:1904.03984 [pdf, ps, other]
Commuting circle diffeomorphisms with their derivatives having mixed moduli of continuity
Abstract: Let $d\geq 2$ be an integer and let $ω_1,\cdots ,ω_d$ be moduli of continuity in a specified class which contains the moduli of Hölder continuity. Let $f_k$, $k\in\{1,\cdots,d\}$, be $C^{1+ω_k}$ orientation preserving diffeomorphisms of the circle and $f_1,\cdots, f_d$ commute with each other. We prove that if the rotation numbers of $f_k$'s are independent over the rationals and… ▽ More
Submitted 8 April, 2019; originally announced April 2019.
-
Topological conjugation classes of tightly transitive subgroups of $\text{Homeo}_{+}(\mathbb{S}^1)$
Abstract: Let $\text{Homeo}_{+}(\mathbb{S}^1)$ denote the group of orientation preserving homeomorphisms of the circle $\mathbb{S}^1$. A subgroup $G$ of $\text{Homeo}_{+}(\mathbb{S}^1)$ is tightly transitive if it is topologically transitive and no subgroup $H$ of $G$ with $[G: H]=\infty$ has this property; is almost minimal if it has at most countably many nontransitive points. In the paper, we determine a… ▽ More
Submitted 26 June, 2020; v1 submitted 15 November, 2018; originally announced November 2018.
Comments: 23 pages, 4 figures
MSC Class: 37E05; 37C85
-
Monochromatic Regular Polygons in finitely colored $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$
Abstract: We show that for any finite coloring of the group $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ and for any positive integer $k$, there always exists a monochromatic regular $k$-gon in $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ with respect to the word length metric induced by the standard generating set; the edge length of which is estimated.
Submitted 24 July, 2018; originally announced July 2018.
-
Equicontinuity of minimal sets for amenable group actions on dendrites
Abstract: In this note, we show that if $G$ is an amenable group acting on a dendrite $X$, then the restriction of $G$ to any minimal set $K$ is equicontinuous, and $K$ is either finite or homeomorphic to the Cantor set.
Submitted 26 June, 2020; v1 submitted 4 July, 2018; originally announced July 2018.
-
arXiv:1806.03601 [pdf, ps, other]
Strongly Independent Matrices and Applications on the Rigidity of $A$-Invariant Measures on $n$-Torus
Abstract: We introduce the notion of strongly independent matrices and show the existence of strongly independent matrices in $GL(n,\mathbb{Z})$ over $\mathbb{Z}^n\setminus\{0\}$ when $2n+1$ is a prime number. As an application of strong independence, we give a measure rigidity result for endomorphisms on $n$-torus $\mathbb{T}^n$.
Submitted 10 June, 2018; originally announced June 2018.
Comments: 13pages
-
arXiv:1804.02517 [pdf, ps, other]
Sensitive open map semigroups on Peano continua having a free arc
Abstract: Let $X$ be a Peano continuum having a free arc and let $C^0(X)$ be the semigroup of continuous self-maps of $X$. A subsemigroup $F\subset C^0(X)$ is said to be sensitive, if there is some constant $c>0$ such that for any nonempty open set $U\subset X$, there is some $f\in F$ such that the diameter ${\rm diam}(f(U))>c$. We show that if $X$ admits a sensitive commutative subsemigroup $F$ of… ▽ More
Submitted 7 April, 2018; originally announced April 2018.
Comments: 10
MSC Class: 54H20; 37B45; 37E99
-
Periodic points for amenable group actions on uniquely arcwise connected continua
Abstract: We show that if $G$ is a countable amenable group acting on a uniquely arcwise connected continuum $X$, then $G$ has either a fixed point or a 2-periodic point in $X$.
Submitted 26 June, 2020; v1 submitted 10 October, 2017; originally announced October 2017.
MSC Class: 37B05; 54F50
-
arXiv:1710.02980 [pdf, ps, other]
Topological transitivity and wandering intervals for group actions on the line $\mathbb R$
Abstract: For every group $G$, we show that either $G$ has a topologically transitive action on the line $\mathbb R$ by orientation-preserving homeomorphisms, or every orientation-preserving action of $G$ on $\mathbb R$ has a wandering interval. According to this result, all groups are divided into two types: transitive type and wandering type, and the types of several groups are determined. We also show th… ▽ More
Submitted 7 April, 2018; v1 submitted 9 October, 2017; originally announced October 2017.
Comments: 15 pages
MSC Class: 37B05
-
Discontinuous Galerkin algorithms for fully kinetic plasmas
Abstract: We present a new algorithm for the discretization of the Vlasov-Maxwell system of equations for the study of plasmas in the kinetic regime. Using the discontinuous Galerkin finite element method for the spatial discretization, we obtain a high order accurate solution for the plasma's distribution function. Time stepping for the distribution function is done explicitly with a third order strong-sta… ▽ More
Submitted 10 October, 2017; v1 submitted 15 May, 2017; originally announced May 2017.
-
On discontinuous Galerkin discretizations of second-order derivatives
Abstract: Some properties of a Local discontinuous Galerkin (LDG) algorithm are demonstrated for the problem of evaluting a second derivative $g = f_{xx}$ for a given $f$. (This is a somewhat unusual problem, but it is useful for understanding the initial transient response of an algorithm for diffusion equations.) LDG uses an auxiliary variable to break this up into two first order equations and then appli… ▽ More
Submitted 22 May, 2014; originally announced May 2014.
Comments: 7 pages, submitted to Journal of Computational Physics
-
arXiv:1405.1120 [pdf, ps, other]
Some ergodic and rigidity properties of discrete Heisenberg group actions
Abstract: The goal of this paper is to study ergodic and rigidity properties of smooth actions of the discrete Heisenberg group $\H$. We establish the decomposition of the tangent space of any $C^\infty$ compact Riemannian manifold $M$ for Lyapunov exponents, and show that all Lyapunov exponents for the center elements are zero. We obtain that if an $\H$ group action contains an Anosov element, then under c… ▽ More
Submitted 5 May, 2014; originally announced May 2014.