Iterated logarithm

${\displaystyle {\log }^{\ast }n:=\{\begin{array}{ll}0& \text{if }n\le 1;\\ 1+{\log }^{\ast }(\log n)& \text{if }n>1\end{array}}$

In computer science, lg* is often used to indicate the binary iterated logarithm, which iterates the binary logarithm (with base ${\displaystyle 2}$) instead of the natural logarithm (with base e). Mathematically, the iterated logarithm is well defined for any base greater than ${\displaystyle e^{1/e}\approx 1.444667}$, not only for base ${\displaystyle 2}$ and base e. The "super-logarithm" function ${\displaystyle {\mathrm{s}\mathrm{l}\mathrm{o}\mathrm{g}}_b(n)}$ is "essentially equivalent" to the base ${\displaystyle b}$ iterated logarithm (although differing in minor details of rounding) and forms an inverse to the operation of tetration.

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:

• Finding the Delaunay triangulation of a set of points knowing the Euclidean minimum spanning tree: randomized O(n log* n) time.
• Fürer's algorithm for integer multiplication: O(n log n 2^{O(lg* n)}).
• Finding an approximate maximum (element at least as large as the median): lg* n − 1 ± 3 parallel operations.
• Richard Cole and Uzi Vishkin's distributed algorithm for 3-coloring an n-cycle: O(log* n) synchronous communication rounds.

The iterated logarithm grows at an extremely slow rate, much slower than the logarithm itself, or repeats of it. This is because the tetration grows much faster than iterated exponential:

$${\displaystyle {}^{y}b=\underset{y}{\underbrace{b^{b^{{\cdot }^{{\cdot }^b}}}}}\gg \underset{n}{\underbrace{b^{b^{{\cdot }^{{\cdot }^{b^y}}}}}}}$$

the inverse grows much slower: ${\displaystyle {\log }_b^{\ast }x\ll {\log }_b^{n}x}$.

For all values of n relevant to counting the running times of algorithms implemented in practice (i.e., n ≤ 2⁶⁵⁵³⁶, which is far more than the estimated number of atoms in the known universe), the iterated logarithm with base 2 has a value no more than 5.

Higher bases give smaller iterated logarithms.