scieee AI-readable full text Open interactive document viewer

Universal $\pm 1$ Congruence Speed Invariant in Any Numeral System

Ripà, Marco

Abstract

A self-contained statement of a constant congruence speed identity characterizing tetration in all numeral systems with squarefree radix r > 2: V_b^[r]((k*r^(t + 1) + r^(t - nu_r(c)) +/- 1)^c) = t, which holds for every integer b > 1, for every c > 1, for every k >= 0, and for every t > nu_r(c) + 1, for all squarefree r > 2 (and also for non-squarefree r > 2 such that rad(r) does not divide c or c divides r).[Here, nu_r(c) denotes the largest integer m such that r^m divides c, and rad(r) := product of the distinct prime factors of r.]

Full text

Universal ±1Congruence Speed Invariant in Any Numeral System Marco Ripà 2025-12-08 A self-contained statement of the most elegant constant congruence speed identity characterizing tetration in all numeral systems with squarefree radix r > 2. Let r > 2,a > 1,b > 1,c > 0,k≥0be integers, and consider the radix-rnumeral system. Denote by νr(c)the maximum number of times rdivides c(i.e., νr(c)equals the maximum integer msuch that rmdivides c, and νris a valuation when ris prime) and let rad(r) := Qp|rpdenote the product of the distinct prime factors of r. Let ba:= aa. . .a |{z} btimes be the height-btetration of a(e.g., 43 = 37625597484987). Let rbe given and assume that sbis the largest integer such that b+1a≡ba(mod rsb)and b+1a≡ ba(mod rsb+1). We define the radix-rcongruence speed of aat height bas V[r] b(a):=sb−sb−1. Then, for every integer b>1, for every integer c > 1, for every squarefree integer r > 2(or even for non-squarefree r > 2such that rad(r)∤cor c|r), for every integer k≥0, and for every integer t>νr(c)+1, the following identity holds: Vb[r] (k·rt+1 +rt−νr(c)+ 1)c=t=Vb[r] (k·rt+1 +rt−νr(c)−1)c.(1) Hence, we can compactly rewrite the universal identity (1) as Vb[r] (k·rt+1 +rt−νr(c)±1)c=t. (2) Since, in (2), the “+1” case arises from the r-adic solution 1rof y3=ywhile the “−1” case corresponds to its symmetric solution −1r, and both are valid in any ring of r-adic integers (r > 1), Vb[r]rt±1=V2[r]rt±1=t(3) is true in each radix-rnumeral system as long as rand tare integers greater than 1(we note that if t≥2, (3) is also true for the binary numeral system). If 3≤r=cand k= 0 are given, from (2), we conclude that Vb[r](rt−1+ 1)r=Vb[r](rt−1−1)r=t(4) is true for all integers b>1and t > 2. 1