A322906 -id:A322906 - cp's OEIS frontend

A309593 Numbers k with 4 zeros in a fundamental period of A006190 mod k.

5, 10, 13, 25, 26, 29, 37, 41, 50, 58, 65, 73, 74, 82, 89, 97, 109, 125, 130, 137, 145, 146, 149, 157, 169, 178, 181, 185, 193, 194, 197, 205, 218, 229, 233, 241, 250, 269, 274, 281, 290, 293, 298, 314, 317, 325, 338, 349, 353, 362, 365, 370, 373, 377

Offset: 1

Jianing Song, Aug 10 2019

nonn

Numbers k such that A322906(k) = 4.

Also numbers k such that A214027(k) is odd.

Jianing Song, Table of n, a(n) for n = 1..2000

Cf. A322907.
Let {x(n)} be a sequence defined by x(0) = 0, x(1) = 1, x(n+2) = m*x(n+1) + x(n). Let w(k) be the number of zeros in a fundamental period of {x(n)} modulo k.
                             |   m=1    |   m=2   |   m=3
-----------------------------+----------+---------+----------
The sequence {x(n)}          | A000045  | A000129 | A006190
The sequence {w(k)}          | A001176  | A214027 | A322906
Primes p such that w(p) = 1  | A112860* | A309580 | A309586
Primes p such that w(p) = 2  | A053027  | A309581 | A309587
Primes p such that w(p) = 4  | A053028  | A261580 | A309588
Numbers k such that w(k) = 1 | A053031  | A309583 | A309591
Numbers k such that w(k) = 2 | A053030  | A309584 | A309592
Numbers k such that w(k) = 4 | A053029  | A309585 | this seq
* and also A053032 U {2}

for(k=1, 400, if(A322906(k)==4, print1(k, ", ")))

A322907 Entry points for the 3-Fibonacci numbers A006190.

Original entry on oeis.org

1, 3, 2, 6, 3, 6, 8, 6, 6, 3, 4, 6, 13, 24, 6, 12, 8, 6, 20, 6, 8, 12, 22, 6, 15, 39, 18, 24, 7, 6, 32, 24, 4, 24, 24, 6, 19, 60, 26, 6, 7, 24, 42, 12, 6, 66, 48, 12, 56, 15, 8, 78, 26, 18, 12, 24, 20, 21, 12, 6, 30, 96, 24, 48, 39, 12, 68, 24, 22, 24, 72, 6

Offset: 1

Jianing Song, Jan 05 2019

nonn

a(n) is the smallest k > 0 such that n divides A006190(k).
a(n) is also called the rank of A006190(n) modulo n.
For primes p == 1, 9, 17, 25, 29, 49 (mod 52), a(p) divides (p - 1)/2.
For primes p == 3, 23, 27, 35, 43, 51 (mod 52), a(p) divides p - 1, but a(p) does not divide (p - 1)/2.
For primes p == 5, 21, 33, 37, 41, 45 (mod 52), a(p) divides (p + 1)/2.
For primes p == 7, 11, 15, 19, 31, 47 (mod 52), a(p) divides p + 1, but a(p) does not divide (p + 1)/2.
a(n) <= (12/7)*n for all n, where the equality holds if and only if n = 2*7^e, e >= 1.

Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..5000 from Jianing Song)

Let {x(n)} be a sequence defined by x(0) = 0, x(1) = 1, x(n+2) = k*x(n+1) + x(n). Then the periods, ranks and the ratios of the periods to the ranks modulo a given integer n are given by:
k = 1: A001175 (periods), A001177 (ranks), A001176 (ratios).
k = 2: A175181 (periods), A214028 (ranks), A214027 (ratios).
k = 3: A175182 (periods), this sequence (ranks), A322906 (ratios).
Cf. A006190.

A006190(m) = ([3, 1; 1, 0]^m)[2, 1]
a(n) = my(i=1); while(A006190(i)%n!=0, i++); i

a(m*n) = a(m)*a(n) if gcd(m, n) = 1.
For odd primes p, a(p^e) = p^(e-1)*a(p) if p^2 does not divide a(p). Any counterexample would be a 3-Wall-Sun-Sun prime.
a(2^e) = 3 if e = 1, 6 if e = 2 and 3*2^(e-2) if e >= 3. a(13^e) = 13^e, e >= 1.

A308948 a(n) = A006190(A322907(n)+1) mod n.

Original entry on oeis.org

0, 1, 1, 1, 3, 1, 6, 5, 1, 3, 10, 1, 8, 13, 4, 9, 16, 1, 18, 9, 13, 21, 1, 13, 18, 5, 1, 13, 12, 19, 30, 17, 10, 33, 6, 1, 31, 37, 25, 29, 32, 13, 1, 21, 19, 1, 46, 25, 48, 43, 16, 25, 1, 1, 21, 41, 37, 17, 58, 49, 1, 61, 55, 33, 18, 43, 66, 33, 1, 41, 70, 37

Offset: 1

Jianing Song, Jul 02 2019

nonn

A322907(n) is the smallest k > 0 such that n divides A006190(k).
Let M = [{3, 1}, {1, 0}], I = [{1, 0}, {0, 1}] is the 2 X 2 identity matrix, then A322907(n) is the smallest k > 0 such that M^k == r*I (mod n) for some r such that 0 <= r < n, and a(n) gives the value r.
A322906(n) is the multiplicative order of a(n) modulo n, which can only take value 1, 2 or 4.

			For n = 7, {A006190(n) mod 7 : n > 0} = {1, 3, 3, 5, 4, 3, 6, 0, 6, ...}, so a(7) = 6. Also, A322907(7) = 8, and M^8 mod 7 = [{6, 0}, {0, 6}], so a(7) = 6.

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A006190, A322906, A322907.

Similar sequences: A217036, A308947.

a[n_] := For[k = 1, True, k++, If[Divisible[Fibonacci[k, 3], n], Return[ Mod[Fibonacci[k + 1, 3], n]]]];
Array[a, 100] (* Jean-François Alcover, Jul 05 2019 *)

a(n) = my(M=[3, 1; 1, 0]); for(k=1, 12*n/7, if((Mod(M,n)^k)[2,1]==0, return(lift((Mod(M,n)^k)[1,1]))))

Also a(n) = A006190(A322907(n)-1) mod n.
a(2^e) = 1 if e = 1, 2, 2^(e-1) + 1 if e >= 3; a(p^e) = a(p)^(p^(e-1)) mod p^e for odd primes p.
For odd primes p, a(p^e) = 1 if and only if A322907(p) == 2 (mod 4); a(p^e) = p^e - 1 if and only if 4 divides A322907(p).

cp's OEIS Frontend

A309593 Numbers k with 4 zeros in a fundamental period of A006190 mod k.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

A322907 Entry points for the 3-Fibonacci numbers A006190.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula

A308948 a(n) = A006190(A322907(n)+1) mod n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula