cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A164677 For a binary reflected Gray code, the (Hamming/Euclidean) distance between 2 subsequent points x and y is 1, say in coordinate k. If y has a 1 in coordinate k and x has a 0, than (x,y) is indicated by k, if it is the other way around, (x,y) is indicated by -k. The sequence has a fractal character such that G(d+1) = G(d) d+1 R(G(d)) where R(G(d)) alters d --> -d and leaves all other numbers invariant.

Original entry on oeis.org

1, 2, -1, 3, 1, -2, -1, 4, 1, 2, -1, -3, 1, -2, -1, 5, 1, 2, -1, 3, 1, -2, -1, -4, 1, 2, -1, -3, 1, -2, -1, 6, 1, 2, -1, 3, 1, -2, -1, 4, 1, 2, -1, -3, 1, -2, -1, -5, 1, 2, -1, 3, 1, -2, -1, -4, 1, 2, -1, -3, 1, -2, -1, 7, 1, 2, -1, 3, 1, -2, -1, 4, 1, 2, -1, -3, 1, -2, -1, 5
Offset: 1

Views

Author

Arie Bos, Aug 20 2009

Keywords

Comments

This is the paper-folding sequence Fold(1,2,3,4,5,...). It is also the fixed point of the map 1->1,2; 2->-1,3; 3->-1,4; 4->-1,5; ...; -1->1,-2; -2->-1,-3; -3->-1,-4; -4->-1,-5; ... [Allouche and Shallit]. - N. J. A. Sloane, Jul 27 2012
Multiplicative because both A034947 and A001511 are. - Andrew Howroyd, Aug 06 2018

References

  • Jean-Paul Allouche and Jeffrey Shallit, Automatic Sequences, Cambridge Univ. Press, 2003, p. 203, Exercise 15.

Crossrefs

Absolute values give A001511.
Indices of negative terms are listed in A091067. - M. F. Hasler, Aug 06 2015
Cf. A034947.

Programs

  • Mathematica
    a[n_] := KroneckerSymbol[-1, n] * IntegerExponent[2n, 2];
    Array[a, 80] (* Jean-François Alcover, Sep 08 2019 *)
  • PARI
    A164677(n)=(valuation(n,2)+1)*if(n>>valuation(n,2)%4==3,-1,1) \\ M. F. Hasler, Aug 06 2015

Formula

a(n) = (-1)^chi_A091067(n)*A001511(n), where chi_A091067 is the characteristic function of A091067. - M. F. Hasler, Aug 06 2015
a(n) = A034947(n)*A001511(n). - Andrew Howroyd, Aug 06 2018
Multiplicative with a(2^e) = e+1, and a(p^e) = (-1)^(e*(p-1)/2) for an odd prime p. - Amiram Eldar, Jun 09 2025

Extensions

More terms from Alois P. Heinz, Jan 30 2012