Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Kate Juschenko
Bounty Started worth 50 reputation by Kate Juschenko
Notice removed Draw attention by CommunityBot
Bounty Ended with Geoff Robinson's answer chosen by CommunityBot
Notice added Draw attention by H A Helfgott
Bounty Started worth 100 reputation by H A Helfgott
deleted 8 characters in body
Source Link
H A Helfgott
  • 20.2k
  • 3
  • 43
  • 126

Let $p$ be a prime. For how many elements $x$ of $\mathbb{Z}/p\mathbb{Z}$$\{0,1,\dotsc,p-1\}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$

In particular, can you find a simple proof (or, even better, several simple proofs!) of the fact that this can happen only for $< \epsilon\cdot p$ elements $x$ of $\mathbb{Z}/p\mathbb{Z}$$\{0,1,\dotsc,p-1\}$?

(Assume, if needed, that $2$ is a primitive root of $\mathbb{Z}/p\mathbb{Z}$.)

Let $p$ be a prime. For how many elements $x$ of $\mathbb{Z}/p\mathbb{Z}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$

In particular, can you find a simple proof (or, even better, several simple proofs!) of the fact that this can happen only for $< \epsilon\cdot p$ elements $x$ of $\mathbb{Z}/p\mathbb{Z}$?

(Assume, if needed, that $2$ is a primitive root of $\mathbb{Z}/p\mathbb{Z}$.)

Let $p$ be a prime. For how many elements $x$ of $\{0,1,\dotsc,p-1\}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$

In particular, can you find a simple proof (or, even better, several simple proofs!) of the fact that this can happen only for $< \epsilon\cdot p$ elements $x$ of $\{0,1,\dotsc,p-1\}$?

(Assume, if needed, that $2$ is a primitive root of $\mathbb{Z}/p\mathbb{Z}$.)

Source Link
H A Helfgott
  • 20.2k
  • 3
  • 43
  • 126

Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Let $p$ be a prime. For how many elements $x$ of $\mathbb{Z}/p\mathbb{Z}$ can it be the case that $$2^{2^{2^{2^x}}} = x \mod p?$$

In particular, can you find a simple proof (or, even better, several simple proofs!) of the fact that this can happen only for $< \epsilon\cdot p$ elements $x$ of $\mathbb{Z}/p\mathbb{Z}$?

(Assume, if needed, that $2$ is a primitive root of $\mathbb{Z}/p\mathbb{Z}$.)