Discrete Dynamics in Nature and Society

Volume 2009 (2009), Article ID 135637, 14 pages

http://dx.doi.org/10.1155/2009/135637

## Coupling Patterns of External Arguments in the Multiple-Spiral Medallions of the Mandelbrot Set

Instituto de Física Aplicada, CSIC, Serrano 144, 28006 Madrid, Spain

Received 8 March 2009; Revised 2 July 2009; Accepted 16 November 2009

Academic Editor: B. Sagar

Copyright © 2009 M. Romera et al. 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

The multiple-spiral medallions are beautiful decorations situated in the proximity of the small copies of the Mandelbrot set. They are composed by an infinity of babies Mandelbrot sets that have external arguments with known structure. In this paper we study the coupling patterns of the external arguments of the baby Mandelbrot sets in multiple-spiral medallions, that is, how these external arguments are grouped in pairs. Based on our experimental data, we obtain that the canonical nonspiral medallions have a nested pairs pattern, the canonical single-spiral medallions have an adjacent pairs pattern, and we conjecture that the canonical double, triple, quadruple-spiral medallions have a 1-nested/adjacent pairs pattern.

#### 1. Introduction

The Mandelbrot set *M* was discovered by iterating the complex logistic map [1]. Two years later Douady and Hubbard created the external arguments theory of the *M* set, starting from the complex map [2]. The *M* set can be defined as the set of for which the sequence , , does not tend to . Since the seminal paper of Douady and Hubbard, the *M* set has been widely studied [3–14], also from a graphical point of view [15–17].

Recently, Wang et al*.* have studied the generalized *M-J* sets starting from the complex map . They have proved the connectness of the quaternionic *M* set [18] and studied the structure and the dynamics of generalized *M-J* sets [19, 20]. They also offer a rendering method based on the escape-time to draw the *M* set [21] and research on the structural characteristic and the fission-evolution law of additive perturbed generalized *M-J* sets [22]. Finally, they modify the escape-time method and form the preperiod graphic of the generalized *M* set [23] and also research on the structural characteristic of the generalized *M* set perturbed by composing noise of additive and multiplicative [24, 25].

*M* contains small copies of itself (babies Mandelbrot sets, BMSs) which in turn contain smaller copies of *M*, and so on ad infinitum. But the *M* set, as is well known, is not self-similar. Actually, every BMS has its very own pattern of external decorations. There are BMSs with beautiful central symmetry decorations. Some of these decorations are called cauliflowers [26] or embedded Julia sets [27]. Generalizations of the cauliflowers are the multiple-spiral medallions [28].

There is an infinity of BMSs incrusted in the decoration of a multiple-spiral medallion. The external arguments theory of Douady and Hubbard is a valuable tool in order to analyze the Mandelbrot set [29–31]. In this paper, we will study the structure of the multiple-spiral medallions starting from the external arguments of its BMSs. It was conjectured that the pair of binary expansions of the external arguments of the external rays landing at the cusp of the cardioid of a BMS in a multiple-spiral medallion can be written starting from the binary expansions of the external arguments of its “parent” and its “gene” [28]. Each one of the binary expansions of the central BMS of a multiple-spiral medallion can be expressed in the form where is or , is or , and is or . Each one of the binary expansions of a noncentral BMS of a multiple-spiral medallion can be expressed in the form
where is or and *j* is the level of the BMS inside the medallion. A given level *j* has BMSs with different binary expansions.

In this paper, we will study the coupling patterns of the external arguments of the BMSs in a multiple-spiral medallion, that is, how these external arguments are grouped in pairs. We will obtain experimentally, with the computer, the coupling patterns in a lot of (non, single, double, triple )-spiral medallions [28], up to the BMSs of the fourth level, by computing the kneading sequences of the external arguments [9]. When this procedure fails, because more than two external arguments have the same kneading sequence, we will draw the medallion with its external rays in order to obtain the coupling pattern [32]. As is known, in this case we could also use the Bruin-Schleicher algorithm [12]. Taking into account the relatively high periods of the BMSs, the recursive Lavaurs’s algorithm [6] is not useful in this case.

#### 2. Coupling Patterns in the Multiple-Spiral Medallions

##### 2.1. Symbolic Binary Expansions

Let us consider the period-4 hyperbolic component located at . As is known from Douady and Hubbard [2], this hyperbolic component has the external arguments in rational form and in binary expansions form. This hyperbolic component is the parent of an infinity of multiple-spiral medallions inserted into its filaments [28]. From here on, we will normally use the binary expansions of the external arguments. The parent is in the wake of the gene , which is a period-3 disc [28]. In the examples of this paper we, will use this parent and this gene due to their low periods.

Now, let us consider the period-27 BMS located at , which is the central BMS of a double-spiral medallion near the above parent. The binary expansions of the external arguments of the external rays landing at the cusp of the cardioid of this central BMS are which can be verified by using the Jung program [15]. Note that we can write, in abbreviated form, that we name the symbolic binary expansions of the central BMS. In general, as it was conjectured in [28],

The former medallion also has notorious noncentral BMSs as, for example, the period-35 one located at with binary expansions , and symbolic binary expansions , which correspond to a second level BMS. In general, as it was conjectured in [28],

##### 2.2. Final Kneading Sequence

As is known from [9], the kneading sequence of an external argument is defined as the itinerary of the orbit of under angle doubling, where the itinerary is taken with respect to the partition formed by and . According to [9]

Let be the external arguments of a hyperbolic component, where . It is known that with the exception of the last digits and . For instance, when , external arguments of a period-4 hyperbolic component, we obtain the kneading sequences and where the three first digits are the same.

Let us consider a multiple-spiral medallion, and let be the binary expansions of its period-*n* central BMS. The first digits of the kneading sequences of and are the same. Let
be the symbolic binary expansions of a noncentral BMS of level *j* of the same medallion. It is evident that the first digits of the kneading sequences of the external arguments of the noncentral BMS are the same. To compare the kneading sequences corresponding to the BMSs of a given level in a medallion, it is not necessary to handle all the digits of the kneading sequences because the first digits are the same. In this paper, we will use the final kneading sequences, that is, the kneading sequences without the first digits, where *n* is the period of the central BMS of the medallion.

##### 2.3. The Coupling Problem

We name a multiple-spiral medallion by writing the pair of symbolic binary expansions corresponding to its central BMS. The coupling problem consists in knowing how the external arguments are coupled in pairs in each one of the noncentral BMSs of a multiple-spiral medallion.

Let be the binary expansions of the parent of the medallion and let be the four symbolic binary expansions of the first level BMSs. We can group them in couples in the forms and (see Figure 1). Note that the grouping is not possible because the corresponding external rays intersect. Therefore, in the first level we have coupling patterns.

Likewise, let be the eight symbolic binary expansions of the second level BMSs of a medallion. In Figure 1, we show the resulting coupling patterns by joining the binary expansions of each couple with a straight line.

The number of possible coupling patterns in a given level increases very rapidly with the level. For instance, in the third level we have counted coupling patterns, and is a low limit of the number of coupling patterns corresponding to the level *l*.

However, in each level three patterns with a strong symmetry can be found, which we will call the canonical coupling patterns: the nested pairs pattern, the adjacent pairs pattern, and the 1-nested/adjacent pairs pattern (Figure 2). In the following paragraphs, we will locate multiple-spiral medallions with canonical coupling patterns and we will give examples with both the symbolic binary expansions and the complex coordinates of their central BMSs.

#### 3. Coupling Pattern of Canonical Nonspiral Medallions

Let and be the parent and the gene of a nonspiral medallion. As is known from [33, 34], the order-*i* harmonic of the parent located at its main antenna is characterized by the symbolic binary expansions and the limit when is the tip of the main antenna, which is the Misiurewicz point with preperiodic symbolic binary expansions . As is also known, the nonspiral medallions are located near the tip and outside of the parent [28]. We name canonical nonspiral medallions those whose central BMSs have the symbolic binary expansions with The limit of the nonspiral medallions when is the tip of the parent. In Figure 3(b), we can observe the locations of the canonical nonspiral medallions corresponding to the parent and the gene of Figure 3(a). The locations of the noncentral BMSs of the nonspiral medallion , up to third level, can be seen in Figure 3(c).

Obviously, a nonspiral medallion has no spiral. However, we include them in the family of multiple-spiral medallions for two reasons. First, because they are located in the filaments of the parent, as the rest of the multiple-spiral medallions; and second, because the symbolic binary expansions of their central BMSs can be obtained in the same manner as the rest of the medallions (see [28, Figure ]).

In Table 1 the complex coordinates of some canonical nonspiral medallions are given.

We have experimentally obtained the coupling patterns of the canonical nonspiral medallions of Table 1, starting from the final kneading sequences up to fourth level BMSs. All of these coupling patterns are the nested pairs pattern of Figure 4.

#### 4. Coupling Pattern of Canonical Single-Spiral Medallions

The single-spiral medallions are known as “cauliflowers” [14, 26, 33]. Let and be the parent and the gene of a single-spiral medallion. As is known from [33, 34], the order- antiharmonic of the parent has the binary expansions . We will call canonical single-spiral medallions to those whose central BMSs have the symbolic binary expansions with These medallions are inserted in the filament of the cusp of the parent, and its limit when is this cusp. In Figure 5(b), we can see the locations of the canonical single-spiral medallions corresponding to the parent and the gene of Figure 5(a). The locations of the noncentral BMSs in the single-spiral medallion , up to third level, are shown in Figure 5(c).

In Table 2, the complex coordinates of some canonical single-spiral medallions are given.

The coupling pattern of a single-spiral medallion cannot be obtained by using the final kneading sequences since the kneading sequences of more than two of its noncentral BMSs are the same. However, we have two new options. First, we can use the Bruin and Schleicher algorithm to find conjugate external arguments [12]. Second, we can draw the single-spiral medallion with its external rays (in each level *j,* we have external rays and symbolic binary expansions) and later to assign the correct symbolic binary expansion to each external ray by simple ordering [32]. We have chosen the last option since the drawing of the canonical single-spiral medallion was already performed in a previous paper (see [32, Figure ]). Starting from this figure, the coupling pattern of a canonical single-spiral medallion corresponds to the adjacent pairs pattern of Figure 6.

#### 5. Coupling Pattern of Canonical Double-Spiral Medallions

Let us consider the gene and the period-*n* parent of a double-spiral medallion. As is known from the tuning algorithm [3], the external rays landing at the tangent point of the cardioid of the parent with its period-2*n* disc have the symbolic binary expansions . The double-spiral medallions are inserted in the filaments near these external rays, and the structures and appear in the symbolic binary expansions of the central BMS of a double-spiral medallion. We name canonical double-spiral medallions those whose central BMS have the symbolic binary expansions and . In Figure 7(b) we can see the locations of the canonical double-spiral medallions corresponding to the parent and the gene of Figure 7(a). The locations of the noncentral BMSs in the double-spiral medallion , up to third level, are shown in Figure 7(c). In Table 3 the complex coordinates of some canonical double-spiral medallions are given.

The coupling pattern of the canonical double-spiral medallions can be obtained from the final kneading sequences. The result is the 1-nested/adjacent pairs pattern which can be seen in Figure 8.

#### 6. Coupling Pattern of Canonical High-Order-Spiral Medallions

Let us consider the gene and the period-*n* parent of a triple-spiral medallion. As is known from the tuning algorithm [3], the external rays landing at the tangent point of the cardioid of the parent with its period-3*n* discs have the binary expansions and . These structures appear in the symbolic binary expansions of the central BMS of a triple-spiral medallion. In Figure 9(b) we can observe the locations of the canonical triple-spiral medallions and corresponding to the parent and the gene of Figure 9(a). The situations of the noncentral BMSs in the canonical triple-spiral medallion , up to third level, are pointed out in Figure 9(c). In Table 4 the complex coordinates of some canonical triple-spiral medallions are given.

The coupling pattern of the canonical triple-spiral medallions can be obtained from the final kneading sequences. The result is again the 1-nested/adjacent pairs pattern which can be seen in Figure 8, as in the case of the double-spiral medallions.

We have found canonical high order-spiral medallions in order to see their coupling patterns. In Tables 5, 6, and 7 the complex coordinates of some of these medallions are given.

The coupling patterns of canonical quadruple, quintuple and 20.tuple-spiral medallions correspond once again to the 1-nested/adjacent pairs pattern of Figure 8, similarly to the cases of the double and triple-spiral medallions. Therefore, we can conjecture that the canonical *n*.tuple-spiral medallions () have a 1-nested/adjacent pairs pattern.

#### 7. Conclusions

The coupling patterns of the canonical multiple-spiral medallions have been experimentally studied. Two experimental methods have been used to find the coupling patterns: the first one by using the kneading sequences, and the second one by using the handmade drawing of external rays and the later ordering of their external arguments.

Based on the former experimental methods, three coupling patterns are found. The canonical nonspiral medallions have a nested pairs pattern, the canonical single-spiral medallions have an adjacent pairs pattern, and the canonical (double, triple, quadruple, quintuple and 20.tuple)-spiral medallions have a 1-nested/adjacent pairs pattern. Taking into account this last thirst case, we conjecture that any canonical *n*.tuple-spiral medallion () has a 1-nested/adjacent pairs pattern.

#### Acknowledgments

This work was supported by CDTI in collaboration with Telefónica project SEGUR@ and by CDTI in collaboration with SAC project HESPERIA.

#### References

- B. B. Mandelbrot, “Fractals aspects of the iteration of $z\to \lambda z(1-z)$ for complex $\lambda ,z$,” in
*Nonlinear Dynamics*, R. H. G. Helleman, Ed., vol. 357 of*Annals of New York Academy of Sciences*, pp. 249–259, New York Academy of Sciences, New York, NY, USA, 1980. View at Google Scholar - A. Douady and J. H. Hubbard, “Itération des polynômes quadratiques complexes,”
*Comptes Rendus des Séances de l'Académie des Sciences. Série I*, vol. 294, no. 3, pp. 123–126, 1982. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Douady, “Algorithms for computing angles in the Mandelbrot set,” in
*Chaotic Dynamics and Fractals*, M. Barnsley and S. G. Demko, Eds., vol. 2 of*Notes and Reports in Mathematics in Science and Engineering*, pp. 155–168, Academic Press, Orlando, Fla, USA, 1986. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Douady, “Julia set and the Mandelbrot set,” in
*The Beauty of Fractals: Images of Complex Dynamical Systems*, H.-O. Peitgen and P. H. Richter, Eds., pp. 161–173, Springer, Berlin, Germany, 1986. View at Google Scholar - H.-O. Peitgen and P. H. Richter,
*The Beauty of Fractals: Images of Complex Dynamical Systems*, Springer, Berlin, Germany, 1986. View at MathSciNet - P. Lavaurs, “Une description combinatoire de l'involution définie par M sur les rationnels à dénominateur impair,”
*Comptes Rendus des Séances de l'Académie des Sciences. Série I. Mathématique*, vol. 303, no. 4, pp. 143–146, 1986. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Branner, “The Mandelbrot set,” in
*Chaos and Fractals: The Mathematics Behind the Computer Graphics*, R. L. Devaney and L. Keen, Eds., vol. 39 of*Proceedings of Symposia in Applied Mathematics*, pp. 75–105, American Mathematical Society, Providence, RI, USA, 1989. View at Google Scholar · View at MathSciNet - L. Carleson and T. W. Gamelin,
*Complex Dynamics*, Universitext: Tracts in Mathematics, Springer, New York, NY, USA, 1993. View at MathSciNet - E. Lau and D. Schleicher, “Internal addresses in the Mandelbrot set and irreducibility of polynomials,” IMS Prepint 94-19, 1994, http://www.math.sunysb.edu/cgi-bin/create_preprint_list.pl?94.
- D. Schleicher, “Rational parameter rays of the Mandelbrot set,” IMS Preprint 97-13, 1997, http://www.math.sunysb.edu/cgi-bin/create_preprint_list.pl?97.
- J. Milnor, “Periodic orbits, externals rays and the Mandelbrot set: an expository account,”
*Astérisque*, no. 261, pp. 277–333, 2000. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Bruin and D. Schleicher, “Symbolic dynamics of quadratic polynomials,” Tech. Rep. 7, Institut Mittag-Leffler, Stockholm, Sweden, 2001-2002. View at Google Scholar
- R. L. Devaney and M. Moreno Rocha, “Geometry of the antennas in the Mandelbrot set,”
*Fractals*, vol. 10, no. 1, pp. 39–46, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Milnor,
*Dynamics in One Complex Variable*, vol. 160 of*Annals of Mathematics Studies*, Princeton University Press, Princeton, NJ, USA, 3rd edition, 2006. View at MathSciNet - W. Jung, “Mandel: software for real and complex dynamics,” http://www.mndynamics.com/indexp.html.
- A. Chéritat, “Dynamique holomorphe,” http://www.math.univ-toulouse.fr/~cheritat/e_index.html.
- M. Misiurewicz, “Fragments of the Mandelbrot set,” http://www.math.iupui.edu/~mmisiure/.
- X. Wang and Y. Sun, “The general quaternionic M–J sets on the mapping $z\leftarrow {z}^{\alpha}+c(\alpha \in \text{N})$,”
*Computers & Mathematics with Applications*, vol. 53, no. 11, pp. 1718–1732, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang and L. Gu, “Research fractal structures of generalized M–J sets using three algorithms,”
*Fractals*, vol. 16, no. 1, pp. 79–88, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - X. Wang, X. Zhang, Y. Sun, and F. Li, “Dynamics of the generalized M set on escape-line diagram,”
*Applied Mathematics and Computation*, vol. 206, no. 1, pp. 474–484, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang and X. Zhang, “The divisor periodic point of escape-time N of the Mandelbrot set,”
*Applied Mathematics and Computation*, vol. 187, no. 2, pp. 1552–1556, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang, P. Chang, and N. Gu, “Additive perturbed generalized Mandelbrot-Julia sets,”
*Applied Mathematics and Computation*, vol. 189, no. 1, pp. 754–765, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang and R. Jia, “Rendering of the inside structure of the generalized M set period bulbs based on the pre-period,”
*Fractals*, vol. 16, no. 4, pp. 351–359, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang, R. Jia, and Z. Zhang, “The generalized Mandelbrot set perturbed by composing noise of additive and multiplicative,”
*Applied Mathematics and Computation*, vol. 210, no. 1, pp. 107–118, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Wang, Z. Wang, Y. Lang, and Z. Zhang, “Noise perturbed generalized Mandelbrot sets,”
*Journal of Mathematical Analysis and Applications*, vol. 347, no. 1, pp. 179–187, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Douady, X. Buff, R. L. Devaney, and P. Sentenac, “Baby Mandelbrot sets are born in cauliflowers,” in
*The Mandelbrot Set, Theme and Variations*, T. Lei, Ed., vol. 274 of*London Mathematical Society Lecture Note Series*, pp. 19–36, Cambridge University Press, Cambridge, UK, 2000. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Munafo, “Embedded Julia sets,” http://www.mrob.com/pub/muency/embeddedjuliaset.html.
- M. Romera, G. Pastor, G. Alvarez, and F. Montoya, “External arguments in the multiple-spiral medallions of the Mandelbrot set,”
*Computers and Graphics*, vol. 30, no. 3, pp. 461–470, 2006. View at Google Scholar - G. Pastor, M. Romera, G. Alvarez, J. Nunez, D. Arroyo, and F. Montoya, “Operating with external arguments of Douady and Hubbard,”
*Discrete Dynamics in Nature and Society*, vol. 2007, Article ID 45920, 17 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Pastor, M. Romera, G. Alvarez et al., “Algorithm for external arguments calculation of the nodes of a shrub in the Mandelbrot set,”
*Fractals*, vol. 16, no. 2, pp. 159–168, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Pastor, M. Romera, G. Alvarez et al., “A general view of pseudoharmonics and pseudoantiharmonics to calculate external arguments of Douady and Hubbard,”
*Applied Mathematics and Computation*, vol. 213, no. 2, pp. 484–497, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Romera, G. Alvarez, D. Arroyo, A. B. Orue, V. Fernandez, and G. Pastor, “Drawing and computing external rays in the multiple-spiral medallions of the Mandelbrot set,”
*Computers and Graphics*, vol. 32, no. 5, pp. 597–610, 2008. View at Google Scholar - M. Romera, G. Pastor, G. Álvarez, and F. Montoya, “External arguments of Douady cauliflowers in the Mandelbrot set,”
*Computers and Graphics*, vol. 28, no. 3, pp. 437–449, 2004. View at Google Scholar - G. Pastor, M. Romera, G. Álvarez, and F. Montoya, “External arguments for the chaotic bands calculation in the Mandelbrot set,”
*Physica A*, vol. 353, no. 1–4, pp. 145–158, 2005. View at Publisher · View at Google Scholar