Complexity
Volume 2018 (2018), Article ID 8517125, 8 pages
https://doi.org/10.1155/2018/8517125

Research Article

On a Generalization of Hofstadter’s -Sequence: A Family of Chaotic Generational Structures

Altug Alkan

Graduate School of Science and Engineering, Piri Reis University, 34940 Tuzla, Istanbul, Turkey

Correspondence should be addressed to Altug Alkan; altug.alkan1988@gmail.com

Received 27 November 2017; Accepted 2 May 2018; Published 25 June 2018

Academic Editor: Dimitri Volchenkov

Copyright © 2018 Altug Alkan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Hofstadter -recurrence is defined by the nested recurrence , and there are still many unanswered questions about certain solutions of it. In this paper, a generalization of Hofstadter’s -sequence is proposed and selected members of this generalization are investigated based on their chaotic generational structures and Pinn’s statistical technique. Solutions studied have also curious approximate patterns and considerably similar statistical properties with Hofstadter’s famous -sequence in terms of growth characteristics of their successive generations. In fact, the family of sequences that this paper introduces suggests the existence of conjectural global properties in order to classify unpredictable solutions to -recurrence and a generalization of it.

1. Introduction

Since the enigmatic concept of meta-Fibonacci has been introduced by Douglas Hofstadter with the invention of the original -sequence (A005185 in OEIS), in the literature, there are many studies which focus on nested recurrence relations whose behaviors can alternate dramatically [1–5]. There are many examples of meta-Fibonacci sequences like Hofstadter-Conway $10000 sequence (A004001), Conolly sequence (A046699), Tanny sequence (A006949), Golomb’s sequence (A001462), Mallows’ sequence (A005229), etc. [6–10]. Some of meta-Fibonacci sequences are highly chaotic and unpredictable while some of them have completely predictable fashion such as quasipolynomial solutions to the Hofstadter -recurrence [11–13] and slow -sequence (A063882) that is also 2-automatic [14]. Among the solutions which have an erratic nature, certain variants have underlying structures that contain conjecturally interesting approximate properties such as scaling, self-similarity, and period doubling [15, 16]. For these kinds of solutions of nested recurrences, known mathematical techniques for solving difference equations do not work because of the nature of nesting although there are alternative definitions for the generational structure of a chaotic meta-Fibonacci sequence [15–19]. The existence of universality classes for chaotic meta-Fibonacci sequences determined by common characteristics of their respective generational structures is a mysterious open question although there are a variety of attempts in order to search an affirmative answer for this question, partially [15–17]. Since the certain solutions to the Hofstadter -recurrence are investigated in this study, it would be nice to remember the scatterplots of Hofstadter’s original -sequence and the “Brother” sequence (A284644) that is defined by and initial values and (see Figure 1). Although there are many solutions to the Hofstadter -recurrence with different initial conditions [9, 11–13, 17, 20], these two solutions and their connection based on their generational structures provide a variety of interesting experimental results [17].

Figure 1: Scatterplots of Hofstadter’s -sequence and .

This paper is structured as follows. In Section 2, Hofstadter’s -sequence is generalized according to the initial condition formulation and an intriguing sequence family is introduced. Then, in Section 3.1 and Section 3.2, selected members of this curious sequence family are studied based on their generational structures with the statistical perspective. Finally, some concluding remarks are offered in Section 4.

2. A Generalization of Hofstadter’s -Sequence according to Initial Conditions

Hofstadter’s -sequence is a very intriguing solution to the -recurrence, and it is believed that the most notable meta-Fibonacci sequence is Hofstadter’s -sequence [11]. Indeed, many famous mathematicians such as Erdős, Guy, and Sloane found it really very interesting [21, 22]. At this point, it is natural to ask, “Can a generalization of solutions to the -recurrence be based on the initial conditions for variants that behave in a similar fashion with a -sequence?” If the answer is yes, there can be a collection of curious chaotic patterns and generational structures hidden in genes of the -recurrence. Solutions with three initial conditions are studied before [17]. In order to go further, computer experiments can be made with four and five initial conditions but empirical results suggest that there is no sign of any sequence family with generational common characteristics except -sequence and “Brother” sequence (A284644) although there are some more chaotic solutions such as A278056 [9, 11]. So experiments suggest that computation of all living permutations of initial conditions is not very fruitful in order to discover a solution family that has members which behave very similar with the original -sequence. Also, recently, the Hofstadter -recurrence and a generalization of it are studied with initial conditions 1 through and detailed analysis showed that living solutions have notably different properties from the -sequence with the increasing values of [11]. At this point, it would be nice to remember if exists, it must be equal to [13]. From this fact, initial conditions which are may be meaningful for the Hofstadter -recurrence. Additionally, this approach inspired by reasonable heuristic can be generalized with the initial condition formulation as below.

Definition 1. Let be defined by the recurrence for , , and , with the initial conditions for .

By definition, is the original -sequence and is essentially the same with . is extremely wild sequence that there are no signs of any underlying structure (see Figure 2).

Figure 2: Scatterplot of .

However, for , many curious chaotic patterns fascinatingly start to appear for (see Figure 3). In the next section, certain members of this family are investigated in order to search the signs of a similar inheritance with the original -sequence although exhibits quite different experimental characteristics, at least in the range of this study.

Figure 3: Scatterplots of for , respectively.

In this study, solutions to and recurrences will be studied with certain examples while continues to provide intriguing generational structures with an increasing level of complexity for .

3. Analysis of Certain Members of Family

3.1. Selected Solutions to

Approximate self-similar block structures of certain members of family can be studied thanks to auxiliary sequences similar with different works which give definitions of generations [15–18]. In here, the main purpose is to model and compute the rescaling of amplitudes for self-similar successive block structures of for the selected values of which are in the range of this study, since this computation will give a chance to search a conjectural global property for certain solutions to the Hofstadter -recurrence. Certain auxiliary sequences can be used in order to compute statistical quantities which this paper focuses on. Experiments that use alternative definitions for the determination of generational boundaries are also carried out precisely. Since the results are mainly similar in terms of the values of Table 1, only one method’s table is reported in here. Corresponding method’s definitions follow as below. See Figure 4 for some examples of partitions.

Table 1: Values of , , and for .

10
0.847
0.798
0.837

11
0.828
0.895
0.776

12
0.853
0.886
0.803

13
0.764
0.824
0.883

14
0.869
0.861
0.877

15
0.858
0.875
0.880

16
0.862
0.870
0.863

17
0.875
0.890
0.877

18
0.869
0.880
0.886

19
0.878
0.884
0.882

20
0.884
0.883
0.882

21
0.882
0.886
0.884

22
0.883
0.885
0.885

23
0.885
0.884
0.886

24
0.887
0.886
0.886

25
0.888
0.886
0.886

Figure 4: Illustrations of and on scatterplots of where , respectively.

Definition 2. Let be the least such that the minimum of father and mother spots is equal or greater than .

Definition 3. Let where for , with .
See Tables 2–4 for the corresponding values of .

Table 2: The values of sequence for .

1
2
3
4
5

1
3
5
9
17

33
65
129
257
513

1025
2049
4088
8163
16227

32206
63943
127182
253527
504715

1001529
1990206
3956008
7852309
15566939

Table 3: The values of sequence for .

1
2
3
4
5

1
3
5
9
18

37
76
155
314
630

1264
2538
5076
10155
20269

40309
80178
158920
315670
626261

1242680
2461343
4881527
9689364
19208568

Table 4: The values of sequence for .

1
2
3
4
5

1
3
5
9
17

34
69
140
283
569

1141
2285
4573
9147
18292

36542
72974
145867
291183
581442

1160383
2313867
4614469
9202451
18337568

The given sequence denotes the average value of over the th generation boundaries that are determined by for corresponding and define as below. See Table 1 and Figure 5 in order to observe the considerable similarities between values with the increasing number of generations. These results are very close to the values that are reported before [15–17]. In other words, the initial condition pattern that this study focuses on provides significant behavioral similarities with the original -sequence in terms of growth characteristics of successive generations. Additionally, other solutions for are checked thanks to certain auxiliary sequences and careful examination of their data. Results observed are mainly similar to the values of Table 1.

Figure 5: Blue: . Red: . Green: .

3.2. Selected Solutions to

In this section, certain members of are analysed thanks to properties of their generational structures. It is easy to show that and die immediately since and . See Figure 6 for that is highly chaotic sequence although there appear to be some weak signs of order in it. Then, more orderly generational structures evolve in terms of the determination of main blocks (see Figure 7 for curious examples where ). In that case, in order to detect the limits of approximate self-similar block structures, spot-based generation concept can be used for based on spot [18].

Definition 4. Let be the least value of such that is equal to where and with initial conditions for .

Figure 6: Scatterplot of .

Figure 7: Scatterplots of where , respectively.

See Tables 5–7 for the corresponding values of and Figure 8 for some illustrations of generational boundaries.

Table 5: The values of sequence for .

1
2
3
4
5

1
13
39
114
327

970
2911
8650
25875
77058

228424
678683
2020707
6016683
17966896

Table 6: The values of sequence for .

1
2
3
4
5

1
22
66
195
570

1699
5102
15224
45510
136182

406324
1209535
3611564
10797842
32259345

Table 7: The values of sequence for .

1
2
3
4
5

1
31
93
276
813

2428
7289
21802
65263
195493

584332
1743893
5216310
15587996
46668176

Figure 8: Illustrations of and on scatterplots of where , respectively.

Similar with the previous section, for a given sequence , denotes the average value of over the th generation boundaries that are determined by for corresponding and define as below. Also, similarly, see Table 8 and Figure 9 in order to observe the considerable similarities between values that are different from the values which are reported in the previous section since the recurrence is in that case.

Table 8: Values of , , and for .

5
0.837
0.838
0.838

6
0.937
0.925
0.926

7
0.928
0.894
0.898

8
0.936
0.927
0.933

9
0.937
0.944
0.942

10
0.954
0.947
0.949

11
0.951
0.952
0.949

12
0.948
0.951
0.949

13
0.952
0.952
0.953

14
0.952
0.954
0.953

15
0.954
0.954
0.954

Figure 9: Blue: . Red: . Green: .

4. Conclusion

In the literature, there are many studies that are primarily concerned with finding initial conditions to corresponding meta-Fibonacci recurrences where the solutions have a provable universal property such as having an ordinary generating function and being slow [11, 12, 20]. On the other hand, properties of Hofstadter’s -sequence depend on experimental studies because of its complicated nature that is extremely resistant to known mathematical proof techniques [15–17, 19]. In this study, a variety of evidences are provided in order to claim the existence of a family that certain members have considerably similar conjectural properties with famous -sequence. A generalization of -sequence according to the initial condition patterns which are determined by asymptotic properties of recurrences is introduced, and meaningful statistical results are provided in terms of the classification of chaotic solutions to recurrences that this study focuses on.

Conflicts of Interest

The author declares that there is no conflict of interest regarding the publication of this paper.

Acknowledgments

The author would like to thank D.R. Hofstadter for a valuable feedback about some sequences which are fascinating mixtures of regularity and irregularity. The author would also like to thank Robert Israel regarding his valuable help for Maple-related requirements of this study.

References

B. V. S. Bharadwaj, L. S. Chandran, and A. Das, “Isoperimetric problem and meta-fibonacci sequences,” in Computing and Combinatorics. COCOON 2008, X. Hu and J. Wang, Eds., vol. 5092 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2008.

D. Hofstadter, “Godel, escher, bach: an eternal golden braid,” in Basic Books, New York, NY, USA, 1979.

D. Hofstadter, “Curious patterns and nonpatterns in a family of metafibonacci recursions,” in talk given at Rutgers Experimental Mathematics Seminar, Camden, NJ, USA, 2014, , https://vimeo.com/91708646.

A. Isgur, D. Reiss, and S. Tanny, “Trees and meta-Fibonacci sequences,” Electronic Journal of. Combinatorics, vol. 16, article R129, p. 1, 2009.

A. Isgur, R. Lech, S. Moore, S. Tanny, Y. Verberne, and Y. Zhang, “Constructing new families of nested recursions with slow solutions,” SIAM Journal on Discrete Mathematics, vol. 30, no. 2, pp. 1128–1147, 2016.

B. W. Conolly, “Meta-Fibonacci sequences,” in Fibonacci and Lucas Numbers, and the Golden Section, pp. 127–138, Wiley, 1989.

T. Kubo and R. Vakil, “On Conway’s recursive sequence,” Discrete Mathematics, vol. 152, no. 1–3, pp. 225–252, 1996.

C. L. Mallows, “Conway’s challenge sequence,” The American Mathematical Monthly, vol. 98, no. 1, pp. 5–20, 1991.

N. J. A. Sloane, OEIS Foundation Inc, The On-Line Encyclopedia of Integer Sequences, 2018.

S. M. Tanny, “A well-behaved cousin of the Hofstadter sequence,” Discrete Mathematics, vol. 105, no. 1-3, pp. 227–239, 1992.

N. Fox, An Exploration of Nested Recurrences Using Experimental Mathematics, [Ph.D. thesis], Rutgers The State University of New Jersey-New Brunswick, 2017.

N. Fox, Quasipolynomial Solutions to the Hofstadter Q-Recurrence, INTEGERS, 2016.

S. W. Golomb, Discrete chaos: sequences satisfying strange recursions, 1991.

J. P. Allouche and J. Shallit, “A variant of Hofstadter’s sequence and finite automata,” 2011, http://arxiv.org/abs/1103.1133.

K. Pinn, “A chaotic cousin of Conway’s recursive sequence,” Experimental Mathematics, vol. 9, no. 1, pp. 55–66, 2000.

K. Pinn, “Order and chaos in Hofstadter’s Q(n) sequence,” Complexity, vol. 4, no. 3, 46 pages, 1999.

A. Alkan, N. Fox, and O. Ozgur Aybar, “On Hofstadter heart sequences,” Complexity, vol. 2017, Article ID 2614163, 8 pages, 2017.

B. Dalton, M. Rahman, and S. Tanny, “Spot-based generations for meta-Fibonacci sequences,” Experimental Mathematics, vol. 20, no. 2, pp. 129–137, 2011.

S. M. Tanny, “An invitation to nested recurrence relations,” in 4th Biennial Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM), pp. 6-7, Canada, 2013, https://canadam.math.ca/2013/program/slides/Tanny.Steve.pdf.

F. Ruskey, “Fibonacci meets Hofstadter,” Fibonacci Quart, vol. 49, no. 3, pp. 227–230, 2011.

R. K. Guy, Unsolved Problems in Number Theory, Problem E31, Springer-Verlag, 1994.

D. Hofstadter and N. J. A. Sloane, Correspondence, 1977 and 1991, https://oeis.org/A006336/a006336.pdf.