|
|
A113869
|
|
Coefficients in asymptotic expansion of probability that a random pair of elements from the alternating group A_k generates all of A_k.
|
|
11
|
|
|
1, -1, -1, -4, -23, -171, -1542, -16241, -194973, -2622610, -39027573, -636225591, -11272598680, -215668335091, -4431191311809, -97316894892644, -2275184746472827, -56421527472282127, -1479397224086870294, -40897073524132164189, -1188896226524012279617
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
LINKS
|
|
|
FORMULA
|
The probability that a random pair of elements from the alternating group A_k generates all of A_k is P_k ~ 1-1/k-1/k^2-4/k^3-23/k^4-171/k^5-... = Sum_{n >= 0} a(n)/k^n.
Furthermore, P_k ~ 1 - Sum_{n >= 1} A003319(n)/[k]_n, where [k]_n = k(k-1)(k-2)...(k-n+1). Therefore for n >= 2, a(n) = - Sum_{i=1..n} A003319(i)*Stirling_2(n-1, i-1). - N. J. A. Sloane.
|
|
MATHEMATICA
|
A003319[n_] := A003319[n] = n! - Sum[ k!*A003319[n-k], {k, 1, n-1}]; a[n_] := -Sum[ A003319[i]*StirlingS2[n-1, i-1], {i, 1, n}]; a[0] = 1; Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Dec 11 2012, after N. J. A. Sloane *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign,nice
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|