How (and why) to take a logarithm of an image

Key Concepts

• Droste Effect: A visual phenomenon where an image appears within itself, creating a recursive, self-similar loop.
• Conformal Map: A mathematical transformation that preserves angles locally; in this context, it ensures that tiny squares in the input remain approximately square in the output.
• Complex Analysis: The study of functions involving complex numbers ($z = x + iy$), which provides the framework for creating conformal maps.
• Complex Exponential ($e^z$): A function that maps vertical lines to concentric circles.
• Complex Logarithm ($\ln z$): The inverse of the exponential function, which "unwraps" circles into vertical lines.
• Elliptic Functions: Doubly periodic functions in the complex plane, central to the mathematical analysis of Escher’s work.

1. The Artistic Challenge: M.C. Escher’s Print Gallery

M.C. Escher’s 1956 lithograph, Print Gallery (Prentententoonstelling), depicts a young man in a gallery looking at a print of a harbor, which contains the very building he is standing in. Escher achieved this "self-contained loop" without formal mathematical training, relying on intuition and artistic rigor. Mathematicians Bart de Smit and Hendrik Lenstra later reverse-engineered the piece, revealing that the "blank hole" in the center is not a mistake but a necessary consequence of the geometric warping required to close the loop.

2. Methodology: The Mesh Warp

Escher’s process can be broken down into three steps:

1. The Droste Image: Creating a "straightened" version of the scene where the image is nested within itself at a specific scale (in Escher’s case, a 256-fold zoom).
2. The Warped Grid: Constructing a grid where the lines curve to accommodate the scaling factor. Escher ensured that grid lines intersected at right angles, maintaining the "squareness" of local regions.
3. Image Transfer: Copying the contents of the original, undistorted image into the corresponding cells of the warped grid. This "mesh warp" technique allows an artist to create complex distortions by working on small, manageable, undistorted pieces.

3. The Mathematical Perspective: Complex Functions

The video argues that Escher’s intuitive "mesh warp" is essentially a conformal map.

• Why Complex Numbers? In standard 2D real-number transformations, shapes are often squashed into parallelograms. However, functions of complex numbers (like $f(z) = z^2$ or $e^z$) naturally preserve angles, ensuring that tiny squares remain squares.
• The Logarithmic Transformation: By taking the logarithm of the Droste image, the recursive zoom is transformed into a periodic tiling pattern.
  • The vertical axis represents rotation.
  • The horizontal axis represents scaling.
• The Loop Construction: To recreate the effect, one must:
  1. Apply a logarithm to the image to create a doubly periodic tiling.
  2. Rotate and scale this tiling using a complex constant to align the "start" and "end" points of the recursive zoom.
  3. Apply an exponential function to "unwarp" the tiling back into the circular, recursive loop.

4. Key Arguments and Insights

• Intuition vs. Formalism: Escher’s "almighty headaches" in creating the piece were essentially the manual labor of calculating a conformal map. Mathematicians arrive at the same result by using the properties of complex functions, which provide the conformal property "for free."
• The "Hole" in the Middle: The central blank space in Print Gallery is an artistic choice. Mathematically, the function extends infinitely; the hole is simply where the image becomes too small to resolve, or where the artist chose to stop the recursion.
• Universal Structures: The video posits that the satisfaction derived from solving a mathematical proof is identical to the satisfaction of viewing a perfectly constructed Escher piece. Both fields are drawn to the same underlying structures—specifically, the beauty of self-similarity and infinite recursion within finite bounds.

5. Notable Quotes

• “Escher called this the most peculiar thing I have ever done, which for him is saying a lot.”
• “The reason I love these pieces so much is that they awaken within me a very specific feeling... It’s an appreciation for the creative genius required to even dream up the puzzle in the first place.”

6. Synthesis

The synthesis of art and mathematics in Print Gallery demonstrates that Escher’s artistic intuition led him to discover complex analysis principles long before he had the formal language to describe them. By using a mesh warp, he created a conformal map that allowed for a seamless, infinite loop. The mathematical "shortcut"—using logarithms and exponentials—confirms that Escher’s work is not just a visual trick, but a profound exploration of the geometry of complex numbers.