The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A096336 Spin(2n+1) and Spin(2n+2) have torsion index 2^a(n). 1
 0, 0, 0, 1, 1, 1, 2, 3, 4, 4, 5, 5, 6, 7, 8, 9, 10, 10, 11, 12, 13, 14, 15, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 55, 56, 57 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,7 COMMENTS First several terms agree with A169869 but the two sequences are distinct as can be seen where the values are 19 and 20. - Skip Garibaldi, Mar 05 2017 LINKS Michael De Vlieger, Table of n, a(n) for n = 0..10000 Burt Totaro, The torsion index of the spin groups, Duke Math. J. 129 (2005), no. 2, 249-290, doi:10.1215/S0012-7094-05-12923-4. FORMULA a(n) is usually n-floor(log_2((n+1)n/2 + 1)), but is this number plus 1 if n = 2^e+b for nonnegative integers e, b such that 2b-a(b) <= e-3. MATHEMATICA a = 0; a[n_] := a[n] = Module[{e = Floor[Log2@n], b}, b = n - 2^e; n - Floor[Log2[(n + 1) n/2 + 1]] + Boole[2 b - a[b] <= e - 3]]; Table[a@ n, {n, 0, 120}] (* Michael De Vlieger, Mar 06 2017 *) PROG (Python) import numpy as np def a_typical(n):     '''     For most n, this is the value of a(n)     '''     return int(n - np.floor(np.log2( n*(n+1)/2 + 1))) def a(n):     '''     The torsion index of Spin_{2n+1} and Spin_{2n+2} is 2^a(n)     Totaro denotes it by u(ell)     '''     if n >= 0 and n <= 18:   # Table 1 in Totaro's paper         return [0, 0, 0, 1, 1, 1, 2, 3, 4, 4, 5, 5, 6, 7, 8, 9, 10, 10, 11][n];     maxe = int(np.floor(np.log2(n)))     for e in range(maxe+1):         b = n - 2**e         if 2*b - a(b) <= e - 3: # occurs for n = 8, 16, 32, 33, ...             return a_typical(n)+1     return a_typical(n) # Skip Garibaldi, Mar 05 2017 CROSSREFS Sequence in context: A206767 A071991 A276952 * A081609 A337020 A046700 Adjacent sequences:  A096333 A096334 A096335 * A096337 A096338 A096339 KEYWORD easy,nonn AUTHOR Richard Borcherds (reb(AT)math.berkeley.edu), Jun 28 2004 EXTENSIONS Edited and a(19)-a(49) added by Skip Garibaldi, Mar 05 2017 More terms from Michael De Vlieger, Mar 06 2017 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified May 8 12:24 EDT 2021. Contains 343666 sequences. (Running on oeis4.)
{"ft_lang_label":"__label__en","ft_lang_prob":0.62391824,"math_prob":0.9889209,"size":2138,"snap":"2021-21-2021-25","text_gpt3_token_len":988,"char_repetition_ratio":0.084817246,"word_repetition_ratio":0.085253455,"special_character_ratio":0.56033677,"punctuation_ratio":0.2576792,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9761106,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-05-08T16:25:45Z\",\"WARC-Record-ID\":\"<urn:uuid:a634836c-cea1-445c-9055-73a19a2139e1>\",\"Content-Length\":\"20644\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0368c70e-e575-4680-8c62-ff00f844052e>\",\"WARC-Concurrent-To\":\"<urn:uuid:186dfefb-ed66-44f2-a411-80f53f395d4f>\",\"WARC-IP-Address\":\"104.239.138.29\",\"WARC-Target-URI\":\"https://oeis.org/A096336\",\"WARC-Payload-Digest\":\"sha1:6GE42YOTSSQSG2O2VH5QROWV5PNYABZ7\",\"WARC-Block-Digest\":\"sha1:A7XJHAKSZCXYHYYJLEHOAXC57KYQX4U3\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-21/CC-MAIN-2021-21_segments_1620243988882.94_warc_CC-MAIN-20210508151721-20210508181721-00289.warc.gz\"}"}