Related papers: Note on the points with dense orbit under $\times …

We study atomic measures on $[0,1]$ which are invariant both under multiplication by $2\mod 1$ and by $3\mod 1$, since such measures play an important role in deciding Furstenberg's $\times 2, \times 3$ conjecture. Our specific focus was…

We prove two generalizations of Furstenberg's Diophantine result regarding density of an orbit of an irrational point in the one-torus under the action of multiplication by a non-lacunary multiplicative semi-group of $\mathbb{N}$. We show…

We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and…

Given a point and an expanding map on the unit interval, we consider the set of points for which the forward orbit under this map is bounded away from the given point. For maps like multiplication by an integer modulo 1, such sets have full…

The 3x+ 1 problem concerns iteration of the map on the integers given by T(n) = (3n+1)/2 if n is odd; T(n) = n/2 if n is even. The 3x+1 Conjecture asserts that for every positive integer n > 1 the forward orbit of n under iteration by T…

It is known that in $\mathbb{R}^n,n\geq 2$, a compact set which contains $n-1$ spheres with all radii in $[1/2,1]$ or with all possible centres in $[0,1]^n$ has full Hausdorff dimension. In fact the later set has positive Lebesgue measure.…

Let $T(n)=\left\{\begin{array}{ll}3n+1&(n\hbox{ odd})\frac n2&(n\hbox{ even})\end{array}\right.$ ($n\in\mathbb Z$). We call "the orbit of the integer $n$", the set $$ \mathcal O_n:=\{m\in\mathbb Z\;:\;\exists k\ge0,\ m=T^k(n)\} $$ and we…

For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…

Let $D$ be a division ring with the center $F=Z(D)$. Suppose that $N$ is a normal subgroup of $D^*$ which is radical over $F$, that is, for any element $x\in N$, there exists a positive integer $n_x$, such that $x^{n_x}\in F$. In…

Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect…

If a real analytic nonexpansive map on a polyhedral normed space has a nonempty fixed point set, then we show that there is an isometry from an affine subspace onto the fixed point set. As a corollary, we prove that for any real analytic…

This paper has been withdrawn Any real number $x$ in the unit interval can be expressed as a continued fraction $x=[n_1,...,n_{_N},...]$. Subsets of zero measure are obtained by imposing simple conditions on the $n_{_N}$. By imposing…

The 3x+1 problem concerns iteration of the map T(n) =(3n+1)/2 if n odd; n/2 if n even. The 3x +1 Conjecture asserts that for every positive integer n>1 the forward orbit of n includes the integer 1. This paper is an annotated bibliography…

We investigate the set of $x \in S^1$ such that for every positive integer $N$, the first $N$ points in the orbit of $x$ under rotation by irrational $\theta$ contain at least as many values in the interval $[0,1/2]$ as in the complement.…

We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result. This summation formula allows us to…

In his study of periodic orbits of the 3 body problem, Hill obtained a formula relating the characteristic polynomial of the monodromy matrix of a periodic orbit and an infinite determinant of the Hessian of the action functional. A…

An estimate on the number of distinct relative periodic orbits around a stable relative equilibrium in a Hamiltonian system with continuous symmetry is given. This result constitutes a generalization to the Hamiltonian symmetric framework…

Let $q>2$ be an odd integer. For each integer $x$ with $0<x<q$ and $(q,x)= 1$, we know that there exists one and only one $\bar{x}$ with $0<\bar{x}<q$ such that $x\bar{x}\equiv1(\bmod q)$. A Lehmer number is defined to be any integer $a$…

In this paper we prove that the set of points that have bounded orbits under one regular diagonal flow and dense orbits under the other diagonal flow commuting with the first one has full Hausdorff dimension in…

In this paper, we show how geometry plays in the study of the Furstenberg conjecture (refer to~\cite{F}). Let $p>1$ and $q>1$ be two relative prime positive integers. We prove that a non-atomic $p$- and $q$-invariant measure having balanced…