Let $\alpha$ be an irrational number. Then the sequence $\{\{n\alpha\}\}$ is equidistributed. I am using the following definition of equidistribution. A sequence $\{a_i\}$ is equidistributed if $\frac1n\sum\limits_{i=1}^n f(a_i) \to \lambda(f):=\int_0^1 f(x)\,dx$ for all continuous $f:[0,1]\to \mathbb{R}_{\ge 0}$. In the proof I used the fact that if $T_g(x)=(g+x) \pmod 1$, then $\lambda(f\circ T_g)=\lambda(f)$ for all continuous […]

Suppose we have $n$ linearly independent (over $\mathbb{Q}$) irrational numbers $\{ \alpha_i | 1\leq i \leq n \}$. For the simultaneous Diophantine approximation problem $$ |q \alpha_i – p_i | < \epsilon , $$ where $q$ and the $p$’s are all integers, we have the LLL algorithm. The problem is, by this algorithm, for each […]

Let $(X,A,\nu)$ be a probability space and $T\colon X\to X$ a measure preserving transformation $\nu$. Take a measurable partition $P=\{P_0,\dots,P_{k-1}\}$. Let$I$ be a set of all possible itineraries, that is, $I=\{(i_1,\dots,i_n,\dots)\in k^N;$ there is a $x\in X$, such that $T^n(x)\in P_{i_n}$ for all $n\in\Bbb N$. Suppose that $I$ is countably infinite. Is true that the […]

I have a few questions regarding measure-preserving dynamical systems $(X,\mathcal{A},\mu,T)$. 1) The definition of measure preserving is always stated as $$\mu(T^{-1}B)=\mu(B),$$ for all $B$. I believe this neither implies nor is implied by the similar statement $$\mu(TB)=\mu(B).$$ Is this correct? The problem lies in the fact that $TT^{-1}B \subseteq B \subseteq T^{-1}TB$ may be strict […]

The dynamical system $T:[0,1]\to [0,1]$ defined by $$T(x) = \begin{cases} 2x, & \text{for } 0\leq x\leq \frac{1}{2}\\ 2-2x, & \text{for } \frac{1}{2}\leq x\leq 1 \end{cases}$$ is called the tent map. Prove that $T$ is ergodic with respect to Lebesgue measure. My work: Measure preserving map is ergodic if for every T-invariant measurable set is $m(A)=1$ […]

I have a book, Ergodic problems of classical mechanics by Arnold/Avez, and in it they prove that rotation $Tx = x+a \pmod 1$ of the circle $M=\{x \pmod 1\}$ is Ergodic if and only if a is irrational. In it they use an earlier corollary that a system is ergodic if and only if any […]

I have recently learnt the following result: Let $g \in \mathbb{R}[x]$ be a polynomial with $g(0) = 0$. Then, for any $\varepsilon > 0$, the set of positive integers $n$, such that $g(n)$ is within $\varepsilon$ of an integer, is an $IP^*$ set. Being an $IP^*$ set is a notion of largeness/combinatorial richness. A set […]

Inspired by How can 0.149162536… be normal?, I ask for the distribution of the leading coefficients of $1,4,9,16,25,36\ldots$. (namely $1,4,9,1,2,3\ldots$) Does a Benford-like law apply? The online encyclopedia of integer sequences has it, and has a tantalizing link to something called Gelfand’s question.

Applying Birkhoff’s ergodic theorem to a stationary process (a stochastic process with invariant transformation $\theta$, the shift-operator – $\theta(x_1, x_2, x_3,\dotsc) = (x_2, x_3, \dotsc)$) one has a result of the form $ \frac{X_0 + \dotsb + X_{n-1}}{n} \to \mathbb{E}[ X_0 \mid J_{\theta}]$ a.s. where the right hand side is the conditional expectation of $X_0$ […]

A set of numbers is said to satisfy Benford’s law if the leading digit d (d ∈ {1, …, 9}) occurs with probability, $$ P(d)=\log_{10}(d+1)-\log_{10}d,$$ how do you prove that the prime numbers do not satisfies Benford’s law?

Intereting Posts

$\frac{(2n)!}{4^n n!^2} = \frac{(2n-1)!!}{(2n)!!}=\prod_{k=1}^{n}\bigl(1-\frac{1}{2k}\bigr)$
How to prove that $e^x$ is convex?
How to find $E(X|X+Y=k)$ for geometrical distribution?
Show that a Bilinear form is Coercive
What is the relationship between Mackey's theorem in character theory and Mackey's theorem in transfer theory?
N circles in the plane
Convergence or divergence of $\sum\limits_n(-1)^{\pi(n)}\frac1n$ where $\pi(n)$ is the number of primes less than or equal to $n$
Space Sobolev $W^{m,p}$ complete
Uncountable sets of Hausdorff dimension zero
Fast exponentiation algorithm – How to arrive at it?
What is the difference between square of sum and sum of square?
Geometric interpretation of connection forms, torsion forms, curvature forms, etc
Showing that a function is of class $C^{\infty}$
Are simply connected open sets in $\mathbb{R}^2$ homeomorphic to an open ball?
Evaluate the integral $\int_0^{\infty} \lfloor x \rfloor e^{-x}\mathrm dx$