login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A004767 a(n) = 4*n + 3. 194

%I #208 Nov 16 2023 11:40:32

%S 3,7,11,15,19,23,27,31,35,39,43,47,51,55,59,63,67,71,75,79,83,87,91,

%T 95,99,103,107,111,115,119,123,127,131,135,139,143,147,151,155,159,

%U 163,167,171,175,179,183,187,191,195,199,203,207,211,215,219,223

%N a(n) = 4*n + 3.

%C Apart from initial term(s), dimension of the space of weight 2n cusp forms for Gamma_0(12).

%C Binary expansion ends 11.

%C These the numbers for which zeta(2*x+1) needs just 2 terms to be evaluated. - _Jorge Coveiro_, Dec 16 2004 [This comment needs clarification]

%C a(n) is the smallest k such that for every r from 0 to 2n - 1 there exist j and i, k >= j > i > 2n - 1, such that j - i == r (mod (2n - 1)), with (k, (2n - 1)) = (j,(2n - 1)) = (i, (2n - 1)) = 1. - _Amarnath Murthy_, Sep 24 2003

%C Complement of A004773. - _Reinhard Zumkeller_, Aug 29 2005

%C Any (4n+3)-dimensional manifold endowed with a mixed 3-Sasakian structure is an Einstein space with Einstein constant lambda = 4n + 2 [Theorem 3, p. 10 of Ianus et al.]. - _Jonathan Vos Post_, Nov 24 2008

%C Solutions to the equation x^(2*x) = 3*x (mod 4*x). - _Farideh Firoozbakht_, May 02 2010

%C Subsequence of A022544. - _Vincenzo Librandi_, Nov 20 2010

%C First differences of A084849. - _Reinhard Zumkeller_, Apr 02 2011

%C Numbers n such that {1, 2, 3, ..., n} is a losing position in the game of Nim. - _Franklin T. Adams-Watters_, Jul 16 2011

%C Numbers n such that there are no primes p that satisfy the relationship p XOR n = p + n. - _Brad Clardy_, Jul 22 2012

%C The XOR of all numbers from 1 to a(n) is 0. - _David W. Wilson_, Apr 21 2013

%C A089911(4*a(n)) = 4. - _Reinhard Zumkeller_, Jul 05 2013

%C First differences of A014105. - _Ivan N. Ianakiev_, Sep 21 2013

%C All triangular numbers in the sequence are congruent to {3, 7} mod 8. - _Ivan N. Ianakiev_, Nov 12 2013

%C Apart from the initial term, length of minimal path on an n-dimensional cubic lattice (n > 1) of side length 2, until a self-avoiding walk gets stuck. Construct a path connecting all 2n points orthogonally adjacent from the center, ending at the center. Starting at any point adjacent to the center, there are 2 steps to reach each of the remaining 2n - 1 points, resulting in path length 4n - 2 with a final step connecting the center, for a total path length of 4n - 1, comprising 4n points. - _Matthew Lehman_, Dec 10 2013

%C a(n-1), n >= 1, appears as first column in the triangles A238476 and A239126 related to the Collatz problem. - _Wolfdieter Lang_, Mar 14 2014

%C For the Collatz Conjecture, we identify two types of odd numbers. This sequence contains all the ascenders: where (3*a(n) + 1) / 2 is odd and greater than a(n). See A016813 for the descenders. - _Jaroslav Krizek_, Jul 29 2016

%H Ivan Panchenko, <a href="/A004767/b004767.txt">Table of n, a(n) for n = 0..200</a>

%H Guo-Niu Han, <a href="http://www-irma.u-strasbg.fr/~guoniu/papers/p77puzzle.pdf">Enumeration of Standard Puzzles</a>

%H Guo-Niu Han, <a href="/A196265/a196265.pdf">Enumeration of Standard Puzzles</a> [Cached copy]

%H Stere Ianus, Mihai Visinescu and Gabriel-Eduard Vilcu, <a href="http://arxiv.org/abs/0811.3478">Hidden symmetries and Killing tensors on curved spaces</a>, arXiv:0811.3478 [math-ph], 2008. - _Jonathan Vos Post_, Nov 24 2008

%H Tanya Khovanova, <a href="http://www.tanyakhovanova.com/RecursiveSequences/RecursiveSequences.html">Recursive Sequences</a>

%H William A. Stein, <a href="http://wstein.org/Tables/dimskg0n.gp">Dimensions of the spaces S_k(Gamma_0(N))</a>

%H William A. Stein, <a href="http://wstein.org/Tables/">The modular forms database</a>

%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (2,-1).

%F G.f.: (3+x)/(1-x)^2. - _Paul Barry_, Feb 27 2003

%F a(n) = 2*a(n-1) - a(n-2) for n > 1, a(0) = 3, a(1) = 7. - _Philippe Deléham_, Nov 03 2008

%F a(n) = A017137(n)/2. - _Reinhard Zumkeller_, Jul 13 2010

%F a(n) = 8*n - a(n-1) + 2 for n > 0, a(0) = 3. - _Vincenzo Librandi_, Nov 20 2010

%F a(n) = A005408(A005408(n)). - _Reinhard Zumkeller_, Jun 27 2011

%F a(n) = 3 + A008586(n). - _Omar E. Pol_, Jul 27 2012

%F a(n) = A014105(n+1) - A014105(n). - _Michel Marcus_, Sep 21 2013

%F a(n) = A016813(n) + 2. - _Jean-Bernard François_, Sep 27 2013

%F a(n) = 4*n - 1, with offset 1. - _Wesley Ivan Hurt_, Mar 12 2014

%F From _Ilya Gutkovskiy_, Jul 29 2016: (Start)

%F E.g.f.: (3 + 4*x)*exp(x).

%F Sum_{n >= 0} (-1)^n/a(n) = (Pi + 2*log(sqrt(2) - 1))/(4*sqrt(2)) = A181049. (End)

%e G.f. = 3 + 7*x + 11*x^2 + 15*x^3 + 19*x^4 + 23*x^5 + 27*x^6 + 31*x^7 + ...

%p seq( 3+4*n, n=0..100 );

%t 4 Range[50] - 1 (* _Wesley Ivan Hurt_, Jul 09 2014 *)

%o (Haskell)

%o a004767 = (+ 3) . (* 4)

%o a004767_list = [3, 7 ..] -- _Reinhard Zumkeller_, Oct 03 2012

%o (Magma) [4*n+3: n in [0..50]]; // _Wesley Ivan Hurt_, Jul 09 2014

%o (PARI) a(n)=4*n+3 \\ _Charles R Greathouse IV_, Jul 28 2015

%o (PARI) Vec((3+x)/(1-x)^2 + O(x^200)) \\ _Altug Alkan_, Jan 15 2016

%o (Scala) (0 to 59).map(4 * _ + 3) // _Alonso del Arte_, Dec 12 2018

%o (Sage) [4*n+3 for n in range(50)] # _G. C. Greubel_, Dec 09 2018

%o (Python) for n in range(0,50): print(4*n+3, end=', ') # _Stefano Spezia_, Dec 12 2018

%Y Cf. A008586, A016813, A016825, A017629, A008545 (partial products).

%Y Cf. A017101 and A004771 (bisection: 3 and 7 mod 8).

%Y Cf. A016838 (square).

%K nonn,easy

%O 0,1

%A _N. J. A. Sloane_

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 21:54 EDT 2024. Contains 371254 sequences. (Running on oeis4.)