My favorite integer sequence
#1
My favorite integer sequence is http://oeis.org/A018819

or resp http://oeis.org/A000123

1, 2, 4, 6, 10, 14, 20, 26, 36, 46, 60 etc

the idea that they (A018819) are computed as f(1)=f(2)=1 , f(2m-1) = f(1)+f(2)+...f(m) = f(2m) fascinates me.

This is a nicer sequence/equation than Fibonacci and Somos or even Sylvester imho.

Also very appealing is that the second difference of any of these is itself and the first difference is the other one.
This seems like a natural analogue or extension of D exp(x) = exp(x) or the hyperbolic case (sinh,cosh) or even the differences of 2^n are 2^n.

But it does not grow exponential in the sense that A^n is not a good fit for f(n).

Its growth rate is in between polynomial and exponential what considering the differences is a bit counterintuitive (?).
This is the simplest functional equation for strictly nondecreasing integer sequences with a growth rate between polynomial and exponential that I know.

I wonder if this can be extended naturally to a real-analytic function !?
I assume this is already done if possible , but I cant recall immediately.

Perhaps the equation Dif^[2] (f(z)) = f(z+q) helps.
(Dif is the difference operator and q is a real number)

Generalizations of this are awesome too.

No proven connection with tetration from these generalizations has been shown yet so I post it here and not in the General math section.

Continu sums and continu repeated sums are a part of these generalizations.
It seems that the generalizations of this not so well known sequence are also hidden from most books , just like tetration or cellular automatons are not in the complex analysis books or any other standard book.

Still digging for the hidden fundamentals of math Wink

regards

tommy1729
#2
(07/27/2014, 08:44 PM)tommy1729 Wrote: My favorite integer sequence is http://oeis.org/A018819

or resp http://oeis.org/A000123

1, 2, 4, 6, 10, 14, 20, 26, 36, 46, 60 etc

the idea that they (A018819) are computed as f(1)=f(2)=1 , f(2m-1) = f(1)+f(2)+...f(m) = f(2m) fascinates me.

This is a nicer sequence/equation than Fibonacci and Somos or even Sylvester imho.

Wow, that's a very cool sequence!

Quote:Also very appealing is that the second difference of any of these is itself and the first difference is the other one.
This seems like a natural analogue or extension of D exp(x) = exp(x) or the hyperbolic case (sinh,cosh) or even the differences of 2^n are 2^n.

....

I wonder if this can be extended naturally to a real-analytic function !?
I assume this is already done if possible , but I cant recall immediately.

Perhaps the equation Dif^[2] (f(z)) = f(z+q) helps.
(Dif is the difference operator and q is a real number)

Generalizations of this are awesome too.


You're right, I think we can generalize to the reals:
f'(x) = f(x/2) for real x

Rewriting as f'(2*x) = f(x), and taking repeated derivatives, you get:

\( \frac{d^n}{{dx}^n} f(2^{n} x) = f(x) \)

This becomes a differential equation. We only need the first derivative to solve numerically (small step size is needed), but a neat recurrence relation leads to the following power series:

\( f(x) = \sum_{k=0}^{\infty}\frac{1}{2^{k(k-1)/2} k!} x^k \)

Interestingly, the coefficients shrink a lot faster than the coefficients of exp(x), so this function should be entire. I haven't played with complex inputs yet, but I assume they will yield some additional strange insights. Anyway...

Solving the first order DE numerically with step size 2^-16, and comparing against the power series, I get this:

Code:
k   Seq(k)  f(k), solved numerically                 f(k) from taylor series
0    1      1.0000000000000000000000000000000000000  1.0000000000000000000000000000000000000
1    2      2.2714817776328560750431103337873690854  2.2714925555010614874285405888176164401
2    4      4.1773173941606529245612490821348973409  4.1773464748074343373543678899643338246
3    6      6.8671860897249745801245386620145375421  6.8672430206305994112385590729778566375
4    10     10.508411896004350162982061305231037214  10.508508500609246317119590891681491159
5    14     15.287018078186288230449529905529141263  15.287168724886801285376150072786915911
6    20     21.408813542320259733759350273849014727  21.409035429550209943052567297038082745
7    26     29.100511698013492345429157251156602689  29.100825155899256358829011727309468536
8    36     38.610882270215116543753385399927680549  38.611311079299434870920914930947641656
9    46     50.211936557632561352592030250666009907  50.212508285169806454977540792592286954
10   60     64.200146639137163586448535446092545747  64.200892993470395299080619414195121784
11   74     80.897699033343757431951513376485935868  80.898656236881542416713121934567339827
12   94     100.65378332039157982318289463496211517  100.65499250171026016241191203021809929
13   114    123.84591623881118998358511675859249968  123.84742384441605306292982511459497756
14   140    150.88130177423428738305958529789698736  150.88316000052091511117724764967070353
15   166    182.19822776059034989484940054653606685  182.20049500655531029093952174339991253
16   202    218.26749951833593186029040720103238278  218.27024085959392033522157069063040289
17   238    259.59391105817928883583638214653162175  259.59719874285183032581376577355118567
18   284    306.71775438269476078916183427557721551  306.72166834974364749998721226998604896
19   330    360.21636742216807724080306836388059879  360.22099584275484035373513994731204098
20   390    420.70572114497547515385049167763838108  420.71116098743637265925519388330259454

Pretty dang cool if you ask me. If we take k very high, the continuous function seems to converge on a constant multiple of the discrete sequence. I'm not sure what to make of this constant yet, but I assume it has an interesting interpretation. Based on analysis of the first 2^18 terms in the sequence, the constant is somewhere between 1.083035 and 1.083089, and probably pretty close to the center of that interval, about 1.083062.

Here is SAGE (python) code:
Code:
RF = RealField(128)
PR.<z> = PowerSeriesRing(RF)
fp = [1/(2^(k*(k-1)/2) * factorial(k)) for k in xrange(50)]
func = PR(fp)
for k in xrange(21):
    print "{0:2d} ".format(int(k)), func(k)

And here is the output of that code:
Code:
0  1.0000000000000000000000000000000000000
1  2.2714925555010614874285405888176164401
2  4.1773464748074343373543678899643338246
3  6.8672430206305994112385590729778566375
4  10.508508500609246317119590891681491159
5  15.287168724886801285376150072786915911
6  21.409035429550209943052567297038082745
7  29.100825155899256358829011727309468536
8  38.611311079299434870920914930947641656
9  50.212508285169806454977540792592286954
10  64.200892993470395299080619414195121784
11  80.898656236881542416713121934567339827
12  100.65499250171026016241191203021809929
13  123.84742384441605306292982511459497756
14  150.88316000052091511117724764967070353
15  182.20049500655531029093952174339991253
16  218.27024085959392033522157069063040289
17  259.59719874285183032581376577355118567
18  306.72166834974364749998721226998604896
19  360.22099584275484035373513994731204098
20  420.71116098743637265925519388330259454
~ Jay Daniel Fox
#3
(07/31/2014, 01:51 AM)jaydfox Wrote: If we take k very high, the continuous function seems to converge on a constant multiple of the discrete sequence. I'm not sure what to make of this constant yet, but I assume it has an interesting interpretation. Based on analysis of the first 2^18 terms in the sequence, the constant is somewhere between 1.083035 and 1.083089, and probably pretty close to the center of that interval, about 1.083062.

I did some googling, and I found this reference:
http://link.springer.com/article/10.1007/BF01933448

I can't read the whole article, but when I was googling 1.083063 (going to 2^21 terms showed this as a slightly better approximation), I found this (the link is the article above):
   

So I'm hoping that if someone could get access to that article, they might be able to shed a little light on this constant factor.
~ Jay Daniel Fox
#4
I've got the generating rule in terms of a matrix. Assume an (ideally infinite sized) matrix with a simple generating-scheme, whose top-left segments is
   

Then the sequence A018819 occurs by taking M to infinite powers. Because the diagonal is zero except of the top left element M is nilpotent and the powers of M tend to become a column-vector in the first column. See for instance M^2:
   

and a higher power M^6:
   
Usually I try such approaches to consider diagonalization or Jordan-forms et al - perhaps for a suggestive pattern, for instance, A is an eigensequence for M because


   

However I did not yet find more interesting things in this manner.

Interestingly the sequence generated by Jay's function \( f(x) \) for real valued approximations to the elements of A has a vanishing binomial-transform: if that sequence of coefficients is premultiplied by the matrix P^-1 (the inverse of the lower triangular Pascalmatrix) then the transformed coefficients vanish quickly: (from left to right Jay's coefficients, the binomial-transforms, the original coefficients, and the binomial-transforms of the original coefficients):
   


One more observation which might be interesting.


Consider the dotproduct of a Vandermondevector V(x) with M (where V(x) is a vector of consecutive powers of x such that \( V(x)=[1,x,x^2,x^2,x^3,...] \)).

Then the dot-product \( V(x)*M=Y \) gives a rowvector Y whose entries evaluate to geometric series such that

\( V(x)*M = 1/(1-x) * [1,x^2,x^4,x^6,...] = 1/(1-x)*V(x^2) \).

Clearly this can be iterated:

\( V(x^2)*M = 1/(1-x^2) * [1,x^4,x^8,x^{12},...] = 1/(1-x^2)*V(x^4) \)

and expressed with the power of M

\( V(x)*M = 1/(1-x) * V(x^{2^1}) \).
\( V(x)*M^2 = 1/(1-x)*1/(1-x^2) * V(x^{2^2}) \).
...
\( V(x)*M^h = 1/(1-x)*1/(1-x^2)*...*1/(1-x^{2^h}) * V(x^{2^{h+1}}) \) .

In the limit to infinite powers of M this gives for the first column in the result the scalar value \( ... \)
\( y = w(x) = 1 / (1-x) / (1-x ^ 2) / (1 - x ^ 4 ) \ldots \)
and all others columns tend to zero. We might say, that in the above notation w(x) is the generating function for the sequence A.
update: I changed the name of the function to not to interfer with Jay's function f(x) which interpolates the sequence A by real values of f(x)

The *value* y, on the other hand, is then the evaluation of the power series whose coefficients are the terms of the original sequence at x:

\( y = w(x) = 1 + 1x + 2x^2 + 2x^3 + 4x^4+4x^5+... \)

which seems to be convergent for |x|<1.



I'm fiddling a bit more with it but do not yet expect much exciting news...

Gottfried
Gottfried Helms, Kassel
#5
(08/01/2014, 03:25 PM)Gottfried Wrote: I've got the generating rule in terms of a matrix.

Hmm, I hadn't thought of doing it that way. Interesting... I've been analyzing the information flow, and came up with code to generate the sequence which does not need to store all the previous entries.

Here is an illustration of the data flow (calculations from Excel spreadsheet):
   

The naive implementation calculates the nth entry by considering the n-1 entry and the n/2 entry, so it has to keep at least n/2 entries in memory. The version below only keeps log_2(n) entries.

Below is SAGE (python) code.
Code:
size = 6
parts = [1]*size
print 0, parts[0]
for k in xrange(1, 2^(size-1)):
    for b in xrange(size-2, 0, -1):
        mask = (2^b) - 1
        if k&mask == 0:
            parts[b] += parts[b+1]
    parts[0] += parts[1]
    print k, parts[0]

Here is the output for validation:
Code:
0 1
1 2
2 4
3 6
4 10
5 14
6 20
7 26
8 36
9 46
10 60
11 74
12 94
13 114
14 140
15 166
16 202
17 238
18 284
19 330
20 390
21 450
22 524
23 598
24 692
25 786
26 900
27 1014
28 1154
29 1294
30 1460
31 1626
~ Jay Daniel Fox
#6
(08/01/2014, 01:53 AM)jaydfox Wrote: If we take k very high, the continuous function seems to converge on a constant multiple of the discrete sequence... Based on analysis of the first 2^18 terms in the sequence, the constant is somewhere between 1.083035 and 1.083089, and probably pretty close to the center of that interval, about 1.083062.
....
I did some googling, and I found this reference:
http://link.springer.com/article/10.1007/BF01933448
...
So I'm hoping that if someone could get access to that article, they might be able to shed a little light on this constant factor.
Jay,
I can't read the article either; but I am very intrigued by this slowly converging ratio, and by your Taylor series approximation! Very impressive. I'm still working on understanding your "log_2(n)" term count memory model for the function too, but the Taylor series approximation is easy to calculate for reasonably large inputs.

At some point, I'd like to see if I can figure out how fast \( f^{o n}(1) \) grows, as compared to tetration, \( \exp^{o n}(1) \). Of course, a graph of the Taylor series in the complex plane would be fun too, as well as the location of the zeros.
- Sheldon
#7
(08/01/2014, 11:36 PM)sheldonison Wrote: Jay,
I can't read the article either; but I am very intrigued by this slowly converging ratio, and by your Taylor series approximation! Very impressive. I'm still working on understanding your "log_2(n)" term count memory model for the function too, but the Taylor series approximation is easy to calculate for reasonably large inputs.

At some point, I'd like to see if I can figure out how fast \( f^{o n}(1) \) grows, as compared to tetration, \( \exp^{o n}(1) \). Of course, a graph of the Taylor series in the complex plane would be fun too, as well as the location of the zeros.

I'm working on a set of generator polynomials that would allow me to compute an arbitrary term in the sequence in log-polynomial time. For instance, the naive approach requires O(n) calculations to calculate the nth term.

The generator polynomials are a set of log_2(n) polynomials of degree 1 through log_2(n). Calculating the kth polynomial requires calculating k+1 points from the (k-1)th polynomial. I haven't fully worked out the math, but I think it runs in something like O(log_2(n) ^ m) time, where m is a small constant, maybe 3 or 4. So, for example, calculating the 2^100th term in the sequence took about 10 minutes (as opposed to O(2^100) calculations, which would take forever on pretty much any processor).

I'll try to post gp code next week (it's in SAGE at the moment, and I'm not sure who else is using SAGE besides me... Andy and Henryk were using it a few years ago, not sure if they still do...)
~ Jay Daniel Fox
#8
(08/01/2014, 11:36 PM)sheldonison Wrote: Of course, a graph of the Taylor series in the complex plane would be fun too, as well as the location of the zeros.

The first zero on the real line is close to -1.5, and the following recurrence gives a good approximation of the next zero, as a seed for Newton's method:
z_1 ~= -1.5
z_{n+1} ~= 2*z_n - 2^n

Interestingly, if there is a zero at z0, then there is a local minimum/maximum at 2*z0, and an inflection point at 4*z0. This follows immediately from the recursively defined derivatives:

   

   

   


Here are the first 50 real zeroes to double precision:
Code:
-1.48807854559971029
-4.88114089489665468
-13.5604085279634226
-34.7753162477509071
-84.9772901072076866
-201.002876160804470
-464.412828169898831
-1054.13189668549699
-2359.66104119548167
-5223.38043950256429
-11456.9350631199488
-24937.6038007499193
-53928.3017786735249
-115972.233276771949
-248191.706915839203
-528905.163307529388
-1.12290070098583745e6
-2.37606328140342049e6
-5.01279162501987540e6
-1.05471609094928598e7
-2.21379130993460411e7
-4.63637804012152721e7
-9.69048413062090996e7
-2.02166693910570234e8
-4.21051803671740123e8
-8.75548345417406748e8
-1.81800044561279965e9
-3.76983427215822167e9
-7.80738232697573912e9
-1.61502779267792663e10
-3.33717390504941272e10
-6.88861315522616415e10
-1.42058097312387146e11
-2.92688833903132784e11
-6.02524737808425389e11
-1.23934692808670802e12
-2.54729489811785490e12
-5.23180327153151355e12
-1.07380546760710994e13
-2.20250450743270473e13
-4.51480352072998729e13
-9.24920980897966249e13
-1.89376508958175541e14
-3.87538125916723716e14
-7.92647373212427531e14
-1.62043869049271852e15
-3.31116847010548031e15
-6.76292514833475948e15
-1.38070380849830280e16
-2.81764732177647564e16
~ Jay Daniel Fox
#9
(07/31/2014, 01:51 AM)jaydfox Wrote: .... I think we can generalize to the reals:
f'(x) = f(x/2) for real x

Rewriting as f'(2*x) = f(x), and taking repeated derivatives, you get:

\( \frac{d^n}{{dx}^n} f(2^{n} x) = f(x) \)

This becomes a differential equation. We only need the first derivative to solve numerically (small step size is needed), but a neat recurrence relation leads to the following power series:

\( f(x) = \sum_{k=0}^{\infty}\frac{1}{2^{k(k-1)/2} k!} x^k \)

f(x) in the complex plane, from real -60 to +100 with grids every 20 units
   

f(f(x)) in the complex plane from real -60 to +100, with grids every 20 units. Notice for positive reals, it acts somewhat like exp(x), but the imaginary period is slowly increasing. These two plots can be compared to the equivalent plots in the exp^0.5 post, http://math.eretrandre.org/tetrationforu...863&page=3, where the asymptotic converges much more closely to exp(z), and the asymptotic converges to a 2pi i period, whereas this function has an imaginary cycle that is increasing, but in many other ways, the plots are similar.
   
- Sheldon
#10
update: changed names of the functions to not to conflige with Jay's f(x)

One more curious property.
Let
\( \hspace{48} w(x)=1+1x+2x^2+2x^3+4x^4+4x^5+... \)
or
\( \hspace{48} w(x) = \sum_{k=0}^\infty a_k x^k \)
where the \( a_k \) are the terms of the original sequence (1,1,2,2,4,4,6,6,10,10,...)
then
\( \hspace{48} v(x)=1/w(x) = 1 - x -x^2 + x^3 -x^4 + x^5+x^6-x^7 \pm \ldots \)
is a much-discussed series (even in MSE and MO ( http://mathoverflow.net/questions/157326 ) ).
The pattern for the signs follow the Thue-Morse sequence (see wikipedia, or google "the ubiquituous thue morse sequence"), in letters: +--+ -++- -++- +--+ ... and has an interesting recursion:
\(
\hspace{48} A_1=+ \hspace{48} \hspace{48} B_1=- A_1 \\
\hspace{48} A_2=A_1 B_1, \hspace{48} B_2 = - A_2 \\
\hspace{48} A_3=A_2 B_2, \hspace{48} B_3 = - A_3 \\
\hspace{48} \cdots
\)


Hmm, I do not yet see a useful hint for the improvement of the computation of the terms of the sequence A nor for the taylor-series of Jay, but thought it might be additionally interesting.

Gottfried
Gottfried Helms, Kassel


Possibly Related Threads…
Thread Author Replies Views Last Post
  My favorite theorem tommy1729 0 5,472 08/15/2015, 09:58 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)