|
|
A163417
|
|
a(n) = 2^(floor((n-1)/2)) - n*(n-1)/2.
|
|
2
|
|
|
1, 0, -1, -4, -6, -11, -13, -20, -20, -29, -23, -34, -14, -27, 23, 8, 120, 103, 341, 322, 814, 793, 1795, 1772, 3796, 3771, 7841, 7814, 15978, 15949, 32303, 32272, 65008, 64975, 130477, 130442, 261478, 261441, 523547, 523508, 1047756, 1047715
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,4
|
|
COMMENTS
|
Lower bound for the essential dimension of algebraic groups with a nontrivial center.
See Theorem 1.13, p.4. The essential dimension ed a of a (with respect to L) is the minimum of the transcendence degrees tr deg_k K taken over all fields of definition of a. Suppose k is a field of characteristic not equal to 2, and that sqrt(-1) is an element of k. If n is not divisible by 4 then a(n) <= ed Spin_n <= 2^(floor((n-1)/2)). If n is divisible by 4 then a(n) + 1 <= ed Spin_n <= 2^(floor((n-1)/2)) + 1.
|
|
LINKS
|
|
|
FORMULA
|
a(n) = 3*a(n-1) -a(n-2) -5*a(n-3) +6*a(n-4) -2*a(n-5).
G.f.: x*(-1-4*x^3+x^4+3*x)/((2*x^2-1)*(1-x)^3). (End)
|
|
MATHEMATICA
|
LinearRecurrence[{3, -1, -5, 6, -2}, {1, 0, -1, -4, -6}, 50] (* G. C. Greubel, Dec 21 2016 *)
|
|
PROG
|
(PARI) Vec(x*(-1-4*x^3+x^4+3*x)/((2*x^2-1)*(1-x)^3) + O(x^50)) \\ G. C. Greubel, Dec 21 2016
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,sign
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|