Skip to main content
Notice removed Authoritative reference needed by CommunityBot
Bounty Ended with no winning answer by CommunityBot
answer
Source Link
Nikita Sidorov
  • 2.1k
  • 1
  • 18
  • 25

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT? (I only need $\sum_{k=1}^n\Re( R_\alpha^k z)\asymp c_n(\alpha)\sqrt n$ with $c_n(\alpha)=o(\sqrt n)$ , not the full power of the CLT.)

ANSWER. $$ \sum_{k=1}^{n} \text{Re}(\alpha^k)=\sum_{k=1}^{n}T_j(\cos\text{arg}\alpha) \asymp n, $$ where $T_j(t)=\cos\arccos jt$ is the $j$th Chebysh"ev polynomial. The lower bound comes from $\alpha$ being badly approximable by Liouville/Roth theorems.

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT? (I only need $\sum_{k=1}^n\Re( R_\alpha^k z)\asymp c_n(\alpha)\sqrt n$ with $c_n(\alpha)=o(\sqrt n)$ , not the full power of the CLT.)

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT? (I only need $\sum_{k=1}^n\Re( R_\alpha^k z)\asymp c_n(\alpha)\sqrt n$ with $c_n(\alpha)=o(\sqrt n)$ , not the full power of the CLT.)

ANSWER. $$ \sum_{k=1}^{n} \text{Re}(\alpha^k)=\sum_{k=1}^{n}T_j(\cos\text{arg}\alpha) \asymp n, $$ where $T_j(t)=\cos\arccos jt$ is the $j$th Chebysh"ev polynomial. The lower bound comes from $\alpha$ being badly approximable by Liouville/Roth theorems.

tidying up
Source Link
Nikita Sidorov
  • 2.1k
  • 1
  • 18
  • 25

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log\sum_{k=1}^n \Re R_\alpha^k z}{\log n}=\frac12$$$$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT? (I only need $\sum_{k=1}^n\Re( R_\alpha^k z)\asymp c_n(\alpha)\sqrt n$ with $c_n(\alpha)=o(\sqrt n)$ , not the full power of the CLT.)

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log\sum_{k=1}^n \Re R_\alpha^k z}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT?

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT? (I only need $\sum_{k=1}^n\Re( R_\alpha^k z)\asymp c_n(\alpha)\sqrt n$ with $c_n(\alpha)=o(\sqrt n)$ , not the full power of the CLT.)

Notice added Authoritative reference needed by Nikita Sidorov
Bounty Started worth 500 reputation by Nikita Sidorov
added 112 characters in body
Source Link
Nikita Sidorov
  • 2.1k
  • 1
  • 18
  • 25

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log\sum_{k=1}^n \Re R_\alpha^k z}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT?

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log\sum_{k=1}^n \Re R_\alpha^k z}{\log n}=\frac12$$ for all $z\in S^1$?

Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is $$\lim_{n\to\infty}\frac{\log\sum_{k=1}^n \Re R_\alpha^k z}{\log n}=\frac12$$ for all $z\in S^1$?

Birkhoff's ergodic theorem works for all $z\in S^1 $ since $R_\alpha$ is uniquely ergodic. Does the CLT?

edited tags; edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Loading
Source Link
Nikita Sidorov
  • 2.1k
  • 1
  • 18
  • 25
Loading