cp's OEIS Frontend

A062383 a(0) = 1: for n>0, a(n) = 2^floor(log_2(n)+1) or a(n) = 2*a(floor(n/2)).

%I A062383 #121 Jul 05 2025 18:44:10
%S A062383 1,2,4,4,8,8,8,8,16,16,16,16,16,16,16,16,32,32,32,32,32,32,32,32,32,
%T A062383 32,32,32,32,32,32,32,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,
%U A062383 64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,128,128,128,128,128,128
%N A062383 a(0) = 1: for n>0, a(n) = 2^floor(log_2(n)+1) or a(n) = 2*a(floor(n/2)).
%C A062383 Informally, write down 1 followed by 2^k 2^(k-1) times, for k = 1,2,3,4,... These are the denominators of the binary van der Corput sequence (see A030101 for the numerators). - _N. J. A. Sloane_, Dec 01 2019
%C A062383 a(n) is the denominator of the form 2^k needed to make the ratio (2n-1)/2^k lie in the interval [1-2], i.e. such ratios are 1/1, 3/2, 5/4, 7/4, 9/8, 11/8, 13/8, 15/8, 17/16, 19/16, 21/16, ... where the numerators are A005408 (The odd numbers).
%C A062383 Let A_n be the upper triangular matrix in the group GL(n,2) that has zero entries below the diagonal and 1 elsewhere. For example for n=4 the matrix is / 1,1,1,1 / 0,1,1,1 / 0,0,1,1 / 0,0,0,1 /. The order of this matrix as an element of GL(n,2) is a(n-1). - Ahmed Fares (ahmedfares(AT)my-deja.com), Jul 14 2001
%C A062383 A006257(n)/a(n) = (0, 0.1, 0.01, 0.11, 0.001, ...) enumerates all binary fractions in the unit interval [0, 1). - _Fredrik Johansson_, Aug 14 2006
%C A062383 a(n) = maximum of row n+1 in A240769. - _Reinhard Zumkeller_, Apr 13 2014
%C A062383 This is the discriminator sequence for the odious numbers. - _N. J. A. Sloane_, May 10 2016
%C A062383 From _Jianing Song_, Jul 05 2025: (Start)
%C A062383 a(n) is the period of {binomial(N,n) mod 2: N in Z}. For the general result, see A349593.
%C A062383 Since the modulus (2) is a prime, the remainder of binomial(N,n) is given by Lucas's theorem. (End)
%H A062383 Harry J. Smith, <a href="/A062383/b062383.txt">Table of n, a(n) for n = 0..1000</a>
%H A062383 L. K. Arnold, S. J. Benkoski and B. J. McCabe, <a href="http://www.jstor.org/stable/2323651">The discriminator (a simple application of Bertrand's postulate)</a>. Amer. Math. Monthly 92 (1985), 275-277.
%H A062383 Sajed Haque, Chapter 2.6.1 of <a href="https://uwspace.uwaterloo.ca/bitstream/handle/10012/12234/Haque_Sajed.pdf">Discriminators of Integer Sequences</a>, 2017, See p. 33.
%H A062383 S. Haque and J. Shallit, <a href="http://arxiv.org/abs/1605.00092">Discriminators and k-regular sequences</a>, arXiv:1605.00092 [cs.DM], 2016.
%H A062383 Dana G. Korssjoen, Biyao Li, Stefan Steinerberger, Raghavendra Tripathi, and Ruimin Zhang, <a href="https://arxiv.org/abs/2012.04625">Finding structure in sequences of real numbers via graph theory: a problem list</a>, arXiv:2012.04625, Dec 08, 2020
%H A062383 Ralf Stephan, <a href="/somedcgf.html">Some divide-and-conquer sequences ...</a>
%H A062383 Ralf Stephan, <a href="/A079944/a079944.ps">Table of generating functions</a>
%H A062383 Wikipedia, <a href="https://en.wikipedia.org/wiki/Lucas%27s_theorem">Lucas's theorem</a>
%H A062383 <a href="/index/Di#divseq">Index to divisibility sequences</a>
%F A062383 a(1) = 1 and a(n+1) = a(n)*ceiling(n/a(n)). - _Benoit Cloitre_, Aug 17 2002
%F A062383 G.f.: 1/(1-x) * (1 + Sum_{k>=0} 2^k*x^2^k). - _Ralf Stephan_, Apr 18 2003
%F A062383 a(n) = A142151(2*n)/2 + 1. - _Reinhard Zumkeller_, Jul 15 2008
%F A062383 log(a(n))/log(2) = A029837(n+1). - _Johannes W. Meijer_, Jul 06 2009
%F A062383 a(n+1) = a(n) + A099894(n). - _Reinhard Zumkeller_, Aug 06 2009
%F A062383 a(n) = A264619(n) - A264618(n). - _Reinhard Zumkeller_, Dec 01 2015
%F A062383 a(n) is the smallest power of 2 > n. - _Chai Wah Wu_, Nov 04 2016
%F A062383 a(n) = 2^ceiling(log_2(n+1)). - _M. F. Hasler_, Sep 20 2017
%p A062383 [seq(2^(floor_log_2(j)+1),j=0..127)]; or [seq(coerce1st_octave((2*j)+1),j=0..127)]; or [seq(a(j),j=0..127)];
%p A062383 coerce1st_octave := proc(r) option remember; if(r < 1) then coerce1st_octave(2*r); else if(r >= 2) then coerce1st_octave(r/2); else (r); fi; fi; end;
%p A062383 A062383 := proc(n)
%p A062383     option remember;
%p A062383     if n = 0 then
%p A062383         1 ;
%p A062383     else
%p A062383         2*procname(floor(n/2));
%p A062383     end if;
%p A062383 end proc:
%p A062383 A062383 := n -> 1 + Bits:-Iff(n, n):
%p A062383 seq(A062383(n), n=0..69); # _Peter Luschny_, Sep 23 2019
%t A062383 a[n_] := a[n] = 2 a[n/2 // Floor]; a[0] = 1; Table[a[n], {n, 0, 100}] (* _Jean-François Alcover_, Mar 04 2016 *)
%t A062383 Table[2^Floor[Log2[n] + 1], {n, 0, 20}] (* _Eric W. Weisstein_, Nov 17 2017 *)
%t A062383 2^Floor[Log2[Range[0, 20]] + 1] (* _Eric W. Weisstein_, Nov 17 2017 *)
%t A062383 2^BitLength[Range[0, 100]] (* _Paolo Xausa_, Jan 29 2025 *)
%o A062383 (PARI) { a=1; for (n=0, 1000, write("b062383.txt", n, " ", a*=ceil((n + 1)/a)) ) } \\ _Harry J. Smith_, Aug 06 2009
%o A062383 (PARI) a(n)=1<<(log(2*n+1)\log(2)) \\ _Charles R Greathouse IV_, Dec 08 2011
%o A062383 (Haskell)
%o A062383 import Data.List (transpose)
%o A062383 a062383 n = a062383_list !! n
%o A062383 a062383_list = 1 : zs where
%o A062383    zs = 2 : (map (* 2) $ concat $ transpose [zs, zs])
%o A062383 -- _Reinhard Zumkeller_, Aug 27 2014, Mar 13 2014
%o A062383 (Magma) [2^Floor(Log(2,2*n+1)): n in [0..70]]; // _Bruno Berselli_, Mar 04 2016
%o A062383 (Python)
%o A062383 def A062383(n): return 1 << n.bit_length() # _Chai Wah Wu_, Jun 30 2022
%Y A062383 Apart from the initial term, equals 2 * A053644. MASKTRANSi(A062383) seems to give a signed form of A038712. (See identities at A053644). floor_log_2 given in A054429.
%Y A062383 Equals A003817(n)+1. Cf. A002884.
%Y A062383 Bisection of A065285. Cf. A076877.
%Y A062383 Equals for n>=1 the r(n) sequence of A160464. - _Johannes W. Meijer_, May 24 2009
%Y A062383 Equals the r(n) sequence of A162440 for n>=1. - _Johannes W. Meijer_, Jul 06 2009
%Y A062383 Cf. A030101, A264618, A264619.
%Y A062383 Discriminator of the odious numbers (A000069). - _Jeffrey Shallit_, May 08 2016
%Y A062383 Column 2 of A349593. A064235 (if offset 0), A385552, A385553, and A385554 are respectively columns 3, 5, 6, and 10.
%K A062383 nonn,frac,easy
%O A062383 0,2
%A A062383 _Antti Karttunen_, Jun 19 2001