OFFSET
1,2
COMMENTS
This sequence gives the number of Fox n-colorings of any 2-bridge knot K with determinant 5. Knots with determinant 5 include the torus knot 5_1 (cinquefoil) and the figure-eight knot 4_1. For a 2-bridge knot, the double branched cover is a lens space with H_1(Sigma_2(K)) = Z/det(K)Z; when det(K) = 5 this gives Col_n(K) = n * gcd(5, n) for all n >= 1. More generally, for any 2-bridge knot K with determinant D, Col_n(K) = n * gcd(D, n).
REFERENCES
C. C. Adams, The Knot Book, W. H. Freeman, 1994.
G. Burde and H. Zieschang, Knots, de Gruyter, 2nd ed., 2003.
R. H. Fox, A quick trip through knot theory, in Topology of 3-Manifolds, Prentice-Hall, 1962, pp. 120-167.
FORMULA
a(n) = n * A109009(n).
a(n) = n if 5 does not divide n; a(5k) = 25k.
Multiplicative with a(5^e) = 5^(e+1), a(p^e) = p^e for prime p != 5.
Dirichlet g.f.: zeta(s-1) * (1 + 4/5^(s-1)).
Limit_{N->oo} (1/N)*Sum_{n=1..N} a(n)/n = 9/5.
EXAMPLE
a(5) = 5 * gcd(5,5) = 25.
a(10) = 10 * gcd(5,10) = 50.
For the knot 4_1 (figure-eight knot, det=5, 4 arcs, 4 crossings): the matrix of Fox coloring relations has Smith Normal Form with invariant factor 5. Exhaustive enumeration over Z_5^4 gives Col_5(4_1) = 25 total 5-colorings (5 trivial, 20 nontrivial).
MATHEMATICA
a[n_] := n * GCD[5, n]; Array[a, 100] (* Amiram Eldar, Mar 13 2026 *)
PROG
(Python)
from math import gcd
def a(n): return n * gcd(5, n)
print([a(n) for n in range(1, 31)])
(PARI) a(n) = n*gcd(n, 5); \\ Michel Marcus, Mar 19 2026
CROSSREFS
KEYWORD
nonn,mult,easy
AUTHOR
Remco Havenaar, Mar 13 2026
STATUS
approved
