# Arnold Tongues in Iterated Maps

I've drawn pictures of the iterated circle map before. They're visible elsewhere on this website, and also on Wikipedia, in the article for Arnold Tongues. This page is a reprise of that theme. Besides the circle map, two more maps are considered: a triangle wave, thus replacing the sine wave by something piece-wise linear, and a sawtooth wave, which makes the map resemble a cock-eyed Bernoulli process. This is intersting, as the Bernoulli process is considered to be well-understood, so this seems like a natural simplifying step.

An attempt to understand the pre-requisite math for the simpler systems can be found here and also on ArXiv:1812.10593. In short, the piece-wise linear parts form the β-transform; these are ergodic, but combine in a complex, overlayed fashion. The sinusoid of the circle map further twists these about.

# The Circle Map

Begin with old territory. The circle map is a mathematical model for a simple physical system that can be built on a laboratory bench: two rotors or disks, one free to spin, and the other attached to a motor, with a long weak spring connecting the two. When the motor is turned on, the freely-spinning disk will also typically turn: maybe at the same speed, maybe at half the speed, maybe at double or a third. Any integer ratio p:q is possible, the phenomenon is mode-locking. Wikipedia explains.

The circle map is the iterated equation

θn+1 = θn + ω - Ksin(2π θn)

It is useful to think of θ as an angle, running from zero to one. The ω is the constant angular velocity of the driven motor. A time-step of Δt=1 is omitted from the above. The K is related to the spring constant between the two rotors.

The picture below illustrates the winding number in the limit of a large number of iterations. That is, it shows, in color, the value of

Ω = limn→∞ θn / n

with black representing Ω=0, red representing Ω=1, and green representing Ω=1/2, and the other colors in between. The value of ω ranges from zero to one alone the horizontal axis, and the value of K ranges from zero to one along the vertical axis. The Arnold tongues are clearly visible.

The next picture below shows the Poincaré recurrence time for the map. It color-codes the (average) value for the smallest number of steps N for which the following holds true:

(n+N) - θn| < ε

for some small value of ε. The value used here is about ε=0.003, that is, roughly the size of one pixel. The actual value used for ε doesn't much matter, the picture is always about the same. The color of black corresponds to recurrence times of about N<10, green to N≈125 and red for N>250. The Arnold tongues are the black regions, of course.

## Movies!

Brad Smith has provided some movies of the circle map, as parameters are varied. First, the bifurcation diagram, as K is varied:

Then, the Poincare recurrence time, as the recurence time to a particular, specific value of θ0 varies from 0 to 1:

I found the above movie surprising. My static pictures are the average of a large number of random samples of θ0, with some first few dozen (?) iterations discarded, so as to let the system relax or thermalize into a state mostly independent of initial conditions. That means that I was measuring the recurrence time for some value of θ, without remarking which one, and without remarking as to it's distribution. It turns out that controlling for this distribution is interesting, too. Who knew?

## Transfer Operators

The transfer operator provides an alternative way of looking a map dynamics. For the circle map, the Arnold tongues correspond to those eigenfunctions of the transfer operator that are Dirac delta functions. Write L = L(ω,K) for the transfer operator of the circle map. Here, both ω and K are supposed to be understood as constants, held fixed -- There is a slightly different transfer operator for each pair of constants (ω,K).

An eigenfunction of L is any function f=f(x) for which

Lf = λf

The Perron–Frobenius theorem essentially states that, for this situation, the largest eigenvalue is λ=1. These are the functions f that when iterated over and over by the circle map, retain their shape. They do not decay. In general, if one limits oneself to those functions f that are integrable, then one finds that the spectrum is discrete. Presumably, this will hold true for the circle map as well.

The Arnold tongues correspond to eigenfunctions δ = δ(θ-xp:q) where the label p:q corresponds to the rational number p/q=Ω that is the winding number Ω for those orbits that the particular tongue is trapping. Well, that's not quite accurate. A more accurate statement is that the eigenfunctions correspond to slices taken in the classic bifurcation diagram: if an orbit is period-N, then the eigenfunction is a sum of N deltas, and so on.

What makes the circle map topologically bizarre is that, based on the visualizations above, it is clear that the Arnold tongues are dense in the space of all L(ω,K). Yet, because these correspond to rationals p/q, there are also an uncountable number of values of (ω,K) for which the eigenfunctions are not the Dirac delta. Can an explicit example of such eigenfunctions be given? Of course, this can be done numerically: just take a slice through the bifurcation diagram in some chaotic region, graph it as an ordinary function, and viola! Are there any explicit, closed-form equations that can be written?

What about the λ<1 eigenfunctions? What does the spectrum look like?

## The Triangle Wave

For paper-n-pencil calculations, it is useful to replace the sine function by a triangle wave, which has the same up-down shape, but is piece-wise linear. The triangle wave is given by:

4x when 0 ≤ x ≤ 0.25

tri(x) = 4(0.5-x) when 0.25 ≤ x ≤ 0.75

4(x-1) when 0.75 ≤ x ≤ 1.0

and then extending to the whole real-number line by defining

tri(x) = tri(x mod 1)

The analog to the circle map is then

θn+1 = θn + ω - K trin)

The analogous winding number visualization is

While the recurrence time is shown below

The family resemblance is there, the differences are interesting. Most notable is that the Arnold tongues are now more obviously described by contorted continued fractions, for example by the ones illustrated in the Farey Room pages. The resemblance can be amplified by zooming in. First, zoom to the lower-left quadrant:

Zoom into the lower-right quadrant of the above:

The seeming "artifacts" in the above image are all presumably Moire patterning, which could be erased with some smoothing.

## The Sawtooth Wave

How extreme can we get? One can eliminate the repulsive part of the wave entirely, and look at a Bernoulli-scheme like thing. Replace the periodic function by a sawtooth wave. The sawtooth wave is given by:

saw(x) = 2x when 0 ≤ x ≤ 0.5

2(x-1) when 0.5 < x ≤ 1.0

and then extending to the whole real-number line by defining

saw(x) = saw(x mod 1)

The analog to the circle map is then

θn+1 = θn + ω - K sawn)

The Bernoulli map is obtained by setting ω = 0 and K = -1.

The analogous winding number visualization is

While the recurrence time is shown below. Unlike the earlier color coding schemes, the actual recurrence time can be read off by color: the very deep blue-black at the top hlf is a recurrence time of 1; the deep blue in the center has a time of 2, the next lobes have times of 3,4,5, and so on. Green corresponds to a recurrence time of 10, while red indicates a recurrence time of 20 or more.

Well, these images certainly clarify a lot. The recurrence image is completely missing the superstructure. The superstructure is apparently due entirely to the backwards slope of the sine-wave or triangle wave. The gappy continued-fraction nature of the tongues is more evident than ever.

The below is a closeup of the lower-left quadrant, remapped so that the traiangle fils the entire square, i.e lifting the hypotenuse up to the top. Its not clear how the tongues might be further straighened out. The same coloring as above is applied.

## The Sawtooth Upside Down

The circle map and the triangle-wave map are symmetric under the inversion K to -K -- the same images result. Not so for the sawtooth map. The below plots the winding number, for the range -1 ≤ K ≤ 0. Zero is at the top, and minus one at the bottom.

The Bernoulli map is obtained by setting ω = 0 and K = -1.

Again but the recurrence time for the range -1 ≤ K ≤ 0. Again, zero at the top, minus one at the bottom.