A very special set of tetration bases
#4
(03/23/2025, 10:52 PM)MphLee Wrote: I'd like move this thread to the main section. I don't clearly see how this can belong specifically to the " hyperoperations and Related Studies";
About your claim "tetration is the only hyperoperator that is characterized by a constant congruence speed", is anything known about the congruence speed or of the behaviour of the p-mod reduction of higher hyperoperations?

Just spotted this (sorry for the delayed reply).

In the decimal system (assume the radix \(r=10\)) I proved that the congruence speed of tetration is eventually constant for every integer base \(a\) greater than \(1\) and not divisible by \(10\).
For positive integer bases \(a\) divisible by \(10\), instead, I derived the explicit formula for the number of new frozen digits when the height \(b\) of the power tower increases by one unit; in this case the growth is exponential and therefore the congruence speed is not constant.
From this observation it is quite natural that the phenomenon cannot extend to higher hyperoperations. If the number of frozen digits were constant for some hyperoperation, then for the next hyperoperation the number of frozen digits would grow extremely fast with the height \(b\) and could not stabilize.
Moreover, we have recently proven that the same result holds (at least) in every squarefree numeral system of radix \(r\) for each integer tetration base \(a>1\) not divisible by the radical of \(r\).
Therefore, assuming \(r>1\) squarefree, tetration is the only hyperoperation exhibiting a constant congruence speed for all positive integers not divisible by \(r\).
Let \(G(n)\) be a generic reverse-concatenated sequence. If \(G(1) \notin \{2, 3, 7\}\), then \(^{G(n)}G(n) \pmod {10^d}≡^{G({n+1})}G({n+1}) \pmod {10^d}\), \(\forall n \in \mathbb{N}-\{0\}\)
("La strana coda della serie n^n^...^n", p. 60).
Reply


Messages In This Thread
RE: A very special set of tetration bases - by marcokrt - 03/14/2026, 01:43 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Tetration with complex bases TetrationSheep 0 745 11/13/2025, 10:33 AM
Last Post: TetrationSheep
  [NT][SPECIAL][UFO] f(x) + f(x/2) + f(x/3) + ... = x tommy1729 0 4,647 06/29/2023, 11:24 PM
Last Post: tommy1729
  [special] binary partition zeta function tommy1729 1 3,783 02/27/2023, 01:23 PM
Last Post: tommy1729
Question Convergent Complex Tetration Bases With the Most and Least Imaginary Parts Catullus 0 2,810 07/10/2022, 06:22 AM
Last Post: Catullus
  Tetration extension for bases between 1 and eta dantheman163 23 65,433 07/05/2022, 04:10 PM
Last Post: Leo.W
  A special equation : f^[t](x) = f(t x)/t tommy1729 6 8,516 06/17/2022, 12:16 PM
Last Post: tommy1729
  [MSE] Help on a special kind of functional equation. MphLee 4 8,294 06/14/2021, 09:52 PM
Last Post: JmsNxn
  Introducing new special function : Lambert_t(z,r) tommy1729 2 12,437 01/10/2016, 06:14 PM
Last Post: tommy1729
  Why bases 0<a<1 don't get love on the forum? marraco 20 60,027 04/19/2015, 05:53 PM
Last Post: Gottfried
  Bundle equations for bases > 2 tommy1729 0 6,164 04/18/2015, 12:24 PM
Last Post: tommy1729



Users browsing this thread: 2 Guest(s)