Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2207.00916 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916109138001920 |
|---|---|
| author | Dalthorp, Mark |
| author_facet | Dalthorp, Mark |
| contents | We prove a probabilistic generalization of the classic result that infinite power towers, $c^{c^{\dots}}$, converge if and only if $c\in[e^{-e},e^{1/e}]$. Given an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$, we find that convergence of the power tower $A_1^{A_2^{\dots}}$ is determined by the bounds of $A_1$'s support, $a=\inf(\mathrm{supp}(A_1))$ and $b=\sup(\mathrm{supp}(A_1))$. When $b\in[e^{-e},e^{1/e}]$, $a<1<b$, or $a=0$, the power tower converges almost surely. When $b<e^{-e}$, we define a special function $B$ such that almost sure convergence is equivalent to $a<B(b)$. Only in the case when $a=1$ and $b>e^{1/e}$ are the values of $a$ and $b$ insufficient to determine convergence. We show a rather complicated necessary and sufficient condition for convergence when $a=1$ and $b$ is finite.
We also briefly discuss the relationship between the distribution of $A_1$ and the corresponding power tower $T=A_1^{A_2^{\dots}}$. For example, when $T\sim\mathrm{Unif}[0,1]$, then the corresponding distribution of $A_1$ is given by $UV$ where $U,V\sim\mathrm{Unif}[0,1]$ are independent. We generalize this example by showing that for $U\sim\mathrm{Unif}[α,β]$ and $r\in\mathbb R$, there exists an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$ such that $U^r \stackrel{d}{=} A_1^{A_2^{\dots}}$ if and only if $r\in[0, \frac1{1+\log β}]$.} |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_00916 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Infinite Random Power Towers Dalthorp, Mark Probability 60J05 We prove a probabilistic generalization of the classic result that infinite power towers, $c^{c^{\dots}}$, converge if and only if $c\in[e^{-e},e^{1/e}]$. Given an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$, we find that convergence of the power tower $A_1^{A_2^{\dots}}$ is determined by the bounds of $A_1$'s support, $a=\inf(\mathrm{supp}(A_1))$ and $b=\sup(\mathrm{supp}(A_1))$. When $b\in[e^{-e},e^{1/e}]$, $a<1<b$, or $a=0$, the power tower converges almost surely. When $b<e^{-e}$, we define a special function $B$ such that almost sure convergence is equivalent to $a<B(b)$. Only in the case when $a=1$ and $b>e^{1/e}$ are the values of $a$ and $b$ insufficient to determine convergence. We show a rather complicated necessary and sufficient condition for convergence when $a=1$ and $b$ is finite. We also briefly discuss the relationship between the distribution of $A_1$ and the corresponding power tower $T=A_1^{A_2^{\dots}}$. For example, when $T\sim\mathrm{Unif}[0,1]$, then the corresponding distribution of $A_1$ is given by $UV$ where $U,V\sim\mathrm{Unif}[0,1]$ are independent. We generalize this example by showing that for $U\sim\mathrm{Unif}[α,β]$ and $r\in\mathbb R$, there exists an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$ such that $U^r \stackrel{d}{=} A_1^{A_2^{\dots}}$ if and only if $r\in[0, \frac1{1+\log β}]$.} |
| title | Infinite Random Power Towers |
| topic | Probability 60J05 |
| url | https://arxiv.org/abs/2207.00916 |