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.
%I A178482 #34 Aug 28 2025 10:23:21
%S A178482 1,3,4,7,8,10,11,18,19,21,22,25,26,28,29,47,48,50,51,54,55,57,58,65,
%T A178482 66,68,69,72,73,75,76,123,124,126,127,130,131,133,134,141,142,144,145,
%U A178482 148,149,151,152,170,171,173,174
%N A178482 Phi-antipalindromic numbers.
%C A178482 We call m a phi-antipalindromic number if for the vector (a,...,b) (a<...<b) of exponents of its base-phi expansion, we have (a,...,b)=(-b,...,-a). For n>=2, either a(n)+1 or a(n)-1 is in the sequence; also either a(n)+3 or a(n)-3 is in the sequence.
%C A178482 Conjecture: this is the sequence of numbers k for which f(k) is an integer, where f(x) is the change-of-base function defined at A214969 using b=phi and c=b^2. - _Clark Kimberling_, Oct 17 2012
%C A178482 There is a 21-state automaton accepting the Zeckendorf representations of those n in this sequence. - _Jeffrey Shallit_, May 03 2023
%C A178482 Kimberling's conjecture has been proven by Ingrid Vukusic and myself. Along the way we prove an alternate characterization of the sequence: they are the positive integers whose base-phi expansion consists only of even exponents of phi. - _Jeffrey Shallit_, Aug 28 2025
%C A178482 Alternatively, this sequence consists of those numbers k such that either k or k-1 can be written as the (possibly empty) sum of distinct Lucas numbers L_i where i>=2 and i is even. - _Jeffrey Shallit_, Aug 28 2025
%H A178482 Amiram Eldar, <a href="/A178482/b178482.txt">Table of n, a(n) for n = 1..10000</a> (terms 1..3071 from R. J. Mathar)
%H A178482 Jeffrey Shallit, <a href="https://arxiv.org/abs/2305.02672">Proving Properties of phi-Representations with the Walnut Theorem-Prover</a>, arXiv:2305.02672 [math.NT], 2023.
%F A178482 For k>=1, a(2^k)=A005248(k); if 2^k<n<2^(k+1), then a(n)=a(2^k)+a(n-2^k).
%e A178482 The vectors of exponents of 4 and 5 are (-2,0,2) and (-4,-1,3) correspondingly (cf.A104605). Therefore by definition 4 is a phi-antipalindromic number, while 5 is not. Let n=38. Then k=5. Thus a(38)=A005248(5)+a(6)=123+10=133. The vector of exponents of phi in the base-phi expansion of 133 is (-10,-4,-2,2,4,10).
%t A178482 phiAPQ[1] = True; phiAPQ[n_] := Module[{d = RealDigits[n, GoldenRatio, 2*Ceiling[Log[GoldenRatio, n]]]}, e = d[[2]] - Flatten @ Position[d[[1]], 1]; Reverse[e] == -e]; Select[Range[200], phiAPQ] (* _Amiram Eldar_, Apr 23 2020 *)
%Y A178482 Cf. A005248, A055778, A104605, A104626, A104627, A104628.
%Y A178482 For bisections see A171070, A171071.
%K A178482 nonn,base,changed
%O A178482 1,2
%A A178482 _Vladimir Shevelev_, May 28 2010