%I #152 Jan 09 2023 20:16:44
%S 0,2,12,56,240,992,4032,16256,65280,261632,1047552,4192256,16773120,
%T 67100672,268419072,1073709056,4294901760,17179738112,68719214592,
%U 274877382656,1099510579200,4398044413952,17592181850112,70368735789056,281474959933440
%N a(n) = 4^n - 2^n.
%C Number of walks of length 2*n+2 between any two diametrically opposite vertices of the cycle graph C_8. - _Herbert Kociemba_, Jul 02 2004
%C If we consider a(4*k+2), then 2^4 == 3^4 == 3 (mod 13); 2^(4*k+2) + 3^(4*k+2) == 3^k*(4+9) == 3*0 == 0 (mod 13). So a(4*k+2) can never be prime. - Jose Brox, Dec 27 2005
%C If k is odd, then a(n*k) is divisible by a(n), since: a(n*k) = (2^n)^k + (3^n)^k = (2^n + 3^n)*((2^n)^(k-1) - (2^n)^(k-2) (3^n) + - ... + (3^n)^(k-1)). So the only possible primes in the sequence are a(0) and a(2^n) for n>=1. I've checked that a(2^n) is composite for 3 <= n <= 15. As with Fermat primes, a probabilistic argument suggests that there are only finitely many primes in the sequence. - _Dean Hickerson_, Dec 27 2005
%C Let x,y,z be elements from some power set P(n), i.e., the power set of a set of n elements. Define a function f(x,y,z) in the following manner: f(x,y,z) = 1 if x is a subset of y and y is a subset of z and x does not equal z; f(x,y,z) = 0 if x is not a subset of y or y is not a subset of z or x equals z. Now sum f(x,y,z) for all x,y,z of P(n). This gives a(n). - _Ross La Haye_, Dec 26 2005
%C Number of monic (irreducible) polynomials of degree 1 over GF(2^n). - _Max Alekseyev_, Jan 13 2006
%C Let P(A) be the power set of an n-element set A and B be the Cartesian product of P(A) with itself. Then a(n) = the number of (x,y) of B for which x does not equal y. - _Ross La Haye_, Jan 02 2008
%C For n>1: central terms of the triangle in A173787. - _Reinhard Zumkeller_, Feb 28 2010
%C Pronic numbers of the form: (2^n - 1)*2^n, which is the n-th Mersenne number times 2^n, see A000225 and A002378. - _Fred Daniel Kline_, Nov 30 2013
%C Indices where records of A037870 occur. - _Philippe Beaudoin_, Sep 03 2014
%C Half the total edge length for a minimum linear arrangement of a hypercube of dimension n. (See Harper's paper below for proof). - _Eitan Frachtenberg_, Apr 07 2017
%C Number of pairs in GF(2)^{n+1} whose dot product is 1. - _Christopher Purcell_, Dec 11 2021
%H Vincenzo Librandi, <a href="/A020522/b020522.txt">Table of n, a(n) for n = 0..170</a>
%H M. Archibald, A. Blecher, A. Knopfmacher, and M. E. Mays, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL23/Archibald/arch3.html">Inversions and Parity in Compositions of Integers</a>, J. Int. Seq., Vol. 23 (2020), Article 20.4.1.
%H Tom Copeland, <a href="http://tcjpn.wordpress.com/2015/10/04/the-kervaire-milnor-formula/">The Kervaire-Milnor formula</a>
%H John Elias, <a href="/A020522/a020522_1.png">Illustration of initial terms: Twin 2^n hexagonal numbers</a>
%H L. H. Harper, <a href="https://doi.org/10.1137/0112012">Optimal Assignment of Numbers to Vertices</a>, J. SIAM 12(1), p. 131--135, March 1964; <a href="https://www.jstor.org/stable/2946514">alternative link</a>.
%H Ross La Haye, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL12/LaHaye/lahaye5.html">Binary Relations on the Power Set of an n-Element Set</a>, Journal of Integer Sequences, Vol. 12 (2009), Article 09.2.6.
%H The Sixtieth William Lowell Putnam Mathematical Competition, <a href="http://www.jstor.org/stable/2695469">Question A6</a>, Amer. Math. Monthly 107 (Oct 2000), 721-732; see p. 725.
%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (6,-8).
%F From _Herbert Kociemba_, Jul 02 2004: (Start)
%F G.f.: 2*x/((-1 + 2*x)*(-1 + 4*x)).
%F a(n) = 6*a(n-1) - 8*a(n-2). (End)
%F E.g.f.: exp(4*x) - exp(2*x). - _Mohammad K. Azarian_, Jan 14 2009
%F From _Reinhard Zumkeller_, Feb 07 2006, _Jaroslav Krizek_, Aug 02 2009: (Start)
%F a(n) = A099393(n)-A000225(n+1) = A083420(n)-A099393(n).
%F In binary representation, n>0: n 1's followed by n 0's (A138147(n)).
%F A000120(a(n)) = n.
%F A023416(a(n)) = n.
%F A070939(a(n)) = 2*n.
%F 2*a(n)+1 = A030101(A099393(n)). (End)
%F a(n) = A085812(n) - A001700(n). - _John Molokach_, Sep 28 2013
%F a(n) = 2*A006516(n) = A000079(n)*A000225(n) = A265736(A000225(n)). - _Reinhard Zumkeller_, Dec 15 2015
%F a(n) = (4^(n/2) - 4^(n/4))*(4^(n/2) + 4^(n/4)). - _Bruno Berselli_, Apr 09 2018
%F Sum_{n>0} 1/a(n) = E - 1, where E is the Erdős-Borwein constant (A065442). - _Peter McNair_, Dec 19 2022
%e n=5: a(5) = 4^5 - 2^5 = 1024 - 32 = 992 -> '1111100000'.
%p A020522:=n->4^n-2^n; seq(A020522(n), n=0..50); # _Wesley Ivan Hurt_, Nov 29 2013
%t Table[4^n - 2^n, {n, 40}] (* or *) LinearRecurrence[{6, -8}, {0, 2}, 40] (* _Vladimir Joseph Stephan Orlovsky_, Feb 20 2012 *)
%o (Sage) [4^n - 2^n for n in range(0,23)] # _Zerinvary Lajos_, Jun 05 2009
%o (Magma) [4^n - 2^n: n in [0..60]]; // _Vincenzo Librandi_, Apr 26 2011
%o (PARI) a(n)=4^n-2^n \\ _Charles R Greathouse IV_, Jan 30 2012
%o (Haskell)
%o a020522 = (* 2) . a006516 -- _Reinhard Zumkeller_, Dec 15 2015
%Y Ratio of successive terms of A028365.
%Y Cf. A000225, A060867, A161168, A006516, A059153, A065442.
%Y Cf. A000079, A265736.
%K nonn,easy
%O 0,2
%A _N. J. A. Sloane_, _Simon Plouffe_