cp's OEIS Frontend

For any integer n > 1 not a multiple of 10, a(n) belongs to the set {1, 2, 4}. Furthermore, if the last digit of n is 5, then A376446(n) = 5 so that a(n) = 1. Conversely, by definition, a(n) -1 if and only if n is congruent to 0 modulo 10.

This sequence is also equal to the number of digits of A376446(n) and -1 if A376446(n) = -1; for the values of the phase shifts at heights 2 and 3 of any tetration base n which is a multiple of 10, see A376838 and A377124 (respectively).

Let n^^b be n^n^...^n b-times (integer tetration).

From here on, we call "stable digits" (or frozen digits) of any given tetration n^^b all and only the rightmost digits of the above-mentioned tetration that matches the corresponding string of right-hand digits generated by the unlimited power tower n^(n^(n^...)).

We define as "constant congruence speed" of n all the nonnegative terms of A373387(n).

Let #S(n) indicate the total number of the least significant stable digits of n at height n. Additionally, for any n not a multiple of 10, let bar_b be the smallest hyperexponent of the tetration base n such that its congruence speed is constant (see A373387(n)), and assume bar_b = 3 if n is multiple of 10.

If n > 1, we note that a noteworthy property of the phase shift of n at any height b >= bar_b is that it describes a cycle whose period length is either 1, 2, or 4 so that (assuming b >= bar_b) the phase shift of n at height b is always equal to the phase shift of n at height b+4, b+8, and so forth.

Lastly, for any n, the phase shift of n at height n is defined as the (least significant non-stable digit of n^^n minus the corresponding digit of n^^(n+1)) mod 10 (e.g., the phase shift of 2 at height 2 is (4 - 6) mod 10 = 8).

Now, if n > 2 is not a multiple of 10 and is such that A377126(n) = 1, then a(n) = A376842(n) since the congruence speed of n is certainly stable at height n being a sufficient but not necessary condition for the constancy of the congruence speed of n that the hyperexponent of the given base is greater than or equal to 2 + v(n), where v(n) is equal to u_5(n - 1) iff n == 1 (mod 5), u_5(n^2 + 1) iff n == 2,3 (mod 5), u_5(n + 1) iff n == 4 (mod 5), u_2(n^2 - 1) - 1 iff n == 5 (mod 10), while u_5 and u_2 indicate the 5-adic and the 2-adic valuation of the argument (respectively).

Since 4 is a multiple of every A377126(n), a(n) is equal to ((n^((n - bar_b) mod 4 + bar_b) - n^((n - bar_b) mod 4 + bar_b + 1))/10^#S(n)) mod 10.

Moreover, if n is not a multiple of 10, a(n) is also equal to ((n^((n - (v(n) + 2)) mod 4 + (v(n) + 2)) - n^((n - (v(n) + 2)) mod 4 + (v(n) + 2) + 1))/10^#S(n)) mod 10, where v(n) is equal to

u_5(n - 1) iff n == 1 (mod 5),

u_5(n^2 + 1) iff n == 2,3 (mod 5),

u_5(n + 1) iff n == 4 (mod 5),

u_2(n^2 - 1) - 1 iff n == 5 (mod 10) (u_5 and u_2 indicate the 5-adic and the 2-adic valuation of the argument, respectively, see Comments of A373387).

Since a(28) = A376446(700001) = 9317, the present sequence has at least 28 terms.

If we merge A376446(n) and A377124(n*10), taking A376446(n) if and only if n is not a multiple of 10 and A376446(n*10) otherwise, we should get the sequence: 8, 64, 2486, 5, 4268, 8426, 2, 1, 4, 4862, 46, 82, 6248, 6, 6842, 8624, 2684, 28, 9, 7139, 3179, 19, 1397, 1793, 91, 3971, 7931, 9713, 9317 (which the author conjectures to be complete, as the present one).

Moreover, by construction, each term of this sequence is necessarily a circular permutation of the digits of one term of A376842 (e.g., a(4) = 2486 since A376842(4) = 6248).