Iterated logarithm


In computer science, the iterated logarithm of, written , is the number of times the logarithm function must be iteratively applied before the result is less than or equal to. The simplest formal definition is the result of this recurrence relation:
On the positive real numbers, the continuous super-logarithm is essentially equivalent:
i.e. the base b iterated logarithm is if n lies within the interval, where denotes tetration. However, on the negative real numbers, log-star is, whereas for positive, so the two functions differ for negative arguments.Image:Iterated logarithm.png|right|300px|thumb|Figure 1. Demonstrating log* 4 = 2 for the base-e iterated logarithm. The value of the iterated logarithm can be found by "zig-zagging" on the curve y = logb from the input n, to the interval . In this case, b = e. The zig-zagging entails starting from the point and iteratively moving to, to, to.
The iterated logarithm accepts any positive real number and yields an integer. Graphically, it can be understood as the number of "zig-zags" needed in Figure 1 to reach the interval on the x-axis.
In computer science, is often used to indicate the binary iterated logarithm, which iterates the binary logarithm instead of the natural logarithm.
Mathematically, the iterated logarithm is well-defined for any base greater than, not only for base and base e.

Analysis of algorithms

The iterated logarithm is useful in analysis of algorithms and computational complexity, appearing in the time and space complexity bounds of some algorithms such as:
The iterated logarithm grows at an extremely slow rate, much slower than the logarithm itself. For all values of n relevant to counting the running times of algorithms implemented in practice, the iterated logarithm with base 2 has a value no more than 5.
x x
(−∞, 1]0
(1, 2]1
(2, 4]2
(4, 16]3
(16, 65536]4
(65536, 265536]5

Higher bases give smaller iterated logarithms. Indeed, the only function commonly used in complexity theory that grows more slowly is the inverse Ackermann function.

Other applications

The iterated logarithm is closely related to the generalized logarithm function used in symmetric level-index arithmetic. It is also proportional to the additive persistence of a number, the number of times someone must replace the number by the sum of its digits before reaching its digital root.
In computational complexity theory, Santhanam shows that the computational resources DTIME — computation time for a deterministic Turing machine — and NTIME — computation time for a non-deterministic Turing machine — are distinct up to