If $[n]$ denotes the $n$th binary hyperoperation in the sequence $(+,\times,\uparrow,\uparrow\uparrow,...)$, then the following equality is readily verified for $n=1,2,3,4:$ $$n\,[n]\,n\ =\ (n_2...)_2 \tag{E1}$$ where $(n_2...)_2$ denotes a base-$2$ numeral that begins with the base-$2$ numeral for $n$; thus:

$$\begin{align} 1\,+\,1&\ =\ (\underline{1}0)_2\\ 2\,\times\,2&\ =\ (\underline{10}0)_2\\ 3\,\uparrow\,3&\ =\ (\underline{11}011)_2\\ 4\,\uparrow\uparrow\,4&\ =\ (\underline{100}...)_2\\ \end{align}$$

where the RHS of the equation for $n=4$ is a $1$ followed by $2\times 4^{4^4}$ $0$s, because $4\uparrow\uparrow 4=4^{4^{4^4}}=(2^2)^{4^{4^4}}=2^{2\times{4^{4^4}}}$.

Now, except for $n=3$, the above cases $n=1,2,3,4=2^0,2^1,3,2^2$ are all powers of $2$, and it's straightforward to show that E1 holds "trivially" for any $n=2^a$ with $a\ge 1$, because of the following general property of hyperoperators (an easy consequence of their recursive definition):

For any positive integers $x,y,i,j$ with $j\ge i$, there is an integer $c\ge y$ such that $x[j]y = x[i]c.$

In particular, for any $a\ge 1$, there is a $c\ge 2^a$ such that

$$(2^a)[2^a](2^a)=(2^a)[3]c=(2^a)^c=2^{a c} $$

whose base-$2$ numeral is just $1$ followed by $a c$ $0$s. Thus, combining this with the earlier result for $n=2^0$, we have that for any integer $a\ge 0$,

$$(2^a)[2^a](2^a)\ =\ (\underline{10^a}...)_2$$

Now it seems a mere coincidence that E1 holds for $n=3$, and I have no idea how to determine whether it holds for any greater $n$ except for powers of $2$.


NB: Some authors use a different indexing of these same hyperoperations, which we can write as $A_n=[n+1], n=0,1,2,3...$; i.e., such that $(A_0,A_1,A_2,...)=(+,\times,\uparrow,...)$. So it's natural to ask for what $n$ do we now have $$n\,A_n\,n\ =\ (n_2...)_2 \tag{E2}$$

Somewhat surprisingly, in view of the case now for $n=3$, it turns out that this equation holds for $n=0,1,2,3,4$:

$$\begin{align} 0\,+\,0&\ =\ (\underline{0})_2\\ 1\,\times\,1&\ =\ (\underline{1})_2\\ 2\,\uparrow\,2&\ =\ (\underline{10}0)_2\\ 3\,\uparrow\uparrow\,3&\ =\ (\underline{11}01110111101111001000001110111111110111011)_2\\ 4\,\uparrow\uparrow\uparrow\,4&\ =\ (\underline{100}...)_2\\ \end{align}$$

For the same reasons as in the earlier equation, this one too must hold when $n=2^a$ for any integer $a\ge 0$, but it seems a slightly more remarkable coincidence that this one, too, holds for $n=3$.


Question: Can it be determined whether E1 or E2 holds for some $n>3$, not a power of $2$?

Your Answer

 

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.