![]() |
|
A very special set of tetration bases - Printable Version +- Tetration Forum (https://tetrationforum.org) +-- Forum: Tetration and Related Topics (https://tetrationforum.org/forumdisplay.php?fid=1) +--- Forum: Mathematical and General Discussion (https://tetrationforum.org/forumdisplay.php?fid=3) +--- Thread: A very special set of tetration bases (/showthread.php?tid=1796) |
A very special set of tetration bases - marcokrt - 12/11/2024 In my recent paper entitled "On the relation between perfect powers and tetration frozen digits", I have established a new link between hyper-\(3\) (i.e., exponentiation) and hyper-\(4\) (i.e., tetration) by providing infinitely many tetration bases that are \(c\)-th perfect powers whose constant congruence speed is equal to \(c\). Now, the constant congruence speed of every integer greater than \(1\) and not a multiple of \(10\) is a positive integer that describes a peculiar feature of the given tetration base... and tetration is the only hyperoperator that is characterized by a constant congruence speed (see Definitions 1.1 and 1.2 of Number of stable digits of any integer tetration) for any nontrivial base (e.g., hyper-\(3\) has a constant congruence speed only for the multiples of \(10\), while pentation shows a constant "congruence acceleration" instead of constant "congruence speed"). My paper directly proves the existence of infinitely many positive integers that are perfect powers of degree \(c\) (exactly \(c\)) and whose constant congruence speed is equal to \(\min\{\nu_2({c}), \nu_5({c})\} + 2\), \(\min\{\nu_2({c}), \nu_5({c})\} + 3\), \(\min\{\nu_2({c}), \nu_5({c})\} + 4\), and so forth (where \(\nu_2({c})\) and \(\nu_5({c})\) indicate the \(2\)-adic order and the \(5\)-adic order of \(c\), respectively). Denoting as \(V(a)\) the constant congruence speed of \(a\) (as usual), the fundamental equation to achieve this powerful result is \(V((10^{k + t} + 10^{t - \min\{\nu_2({c}), \nu_5({c})\}} + 1)^c) = t\) (\(k,t \in \mathbb{N} : t > \min\{\nu_2({c}), \nu_5({c})\} + 1\)), which is true for any given positive integer \(c\). RE: A very special set of tetration bases - marcokrt - 12/11/2024 P.S. The paper is available online at On the relation between perfect powers and tetration frozen digits. RE: A very special set of tetration bases - MphLee - 03/23/2025 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? RE: A very special set of tetration bases - marcokrt - 03/14/2026 (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"; 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\). |