埃舍尔的悖论与空白中心
视频开篇以M.C. Escher于1956年创作的石版画《版画展厅》（Print Gallery）为切入点，描述了一个令人眩晕的视觉循环：观众在港口看到村庄，进入建筑走廊，最终发现自己正凝视着一幅包含自己的画作。这种自洽的无限循环结构让埃舍尔本人称之为他“做过的最奇怪的事情”。数学家De Smit和Lenstra在2003年对该作品进行了深度分析，揭示了其背后的几何奥秘。画面中心那个空白圆圈成为了所有空间歧义的汇聚点：从右上方看它像村庄，从左方看像画框边缘，从下方看则属于画廊本身。这种内在的模糊性使得该区域难以被常规手段填充，甚至现代扩散模型也在此处遭遇严重失败。然而，数学分析表明，这里存在且仅有一种逻辑上自洽的填充方案。
埃舍尔的创作灵感与网格变形原理
在《M.C. Escher的魔法》一书中，作者记录了在海牙埃舍尔博物馆参观时的发现，特别是关于《版画画廊》（The Print Gallery）的创作过程。埃舍尔的第二步是创建一个变形的网格系统。对于这幅作品，他使用的自相似Droste图像缩放因子为 256，这意味着从一角到另一角需要逐步放大。具体而言，沿着图像边缘从一个角落走到下一个角落时，缩放因子为四。通过观察网格右下角的一个小方格可以发现，其上下边界线延伸至左下角时，围成的区域面积变为原来的四倍；同理，左右边界线上移后也包围了一个大四倍的方格。这种网格结构编码了角落之间所需的缩放比例，为后续图像拼接提供了数学基础。
基于网格的自动复制与自相似性闭合
为了实现最终的视觉效果，埃舍尔采用了逐块复制的策略。首先在原图上铺设普通正方形网格，然后将原图某一部分的内容复制到变形网格对应的微小方格中。由于相邻方块在两种网格间保持对应关系，图像内容随网格自动映射。当从左下角向右上角移动时，由于变形网格的间距以 2 倍因子扩大（针对本视频演示项目），场景规模也随之放大。这种局部无失真的复制方式比凭空绘制扭曲图像更为直观且自动化的流程能确保首尾闭合。这一过程要求原始图像在放大 16 倍时具备自相似性，从而保证循环的完整性。最终效果虽不及埃舍尔原作优雅，但成功复现了核心视觉逻辑。
共形映射与局部保角性的数学意义
埃舍尔刻意选择串行物体（如墙上的版画或城镇房屋块），以增强循环元素的识别度。这种将参考图像与变形网格结合的方法在平面设计中称为网格扭曲（Mesh Warp）。然而，埃舍尔的网格具有独特的数学性质：在微小尺度下，变形后的方格依然保持近似正方形。大多数网格扭曲中，线条相交并非直角，形成平行四边形，导致复制困难且视觉失真。而埃舍尔的网格线条正交相交，使得局部区域几乎无畸变。这种保持微小正方形不变形的映射函数在复分析中具有特殊名称，它缓解了不同方向缩放带来的张力，使图像在全球扭曲的同时保持局部可识别性。埃舍尔通过曲线弯曲解决线性缩放冲突，并遵循这一共形映射约束，实现了艺术与数学的完美统一。
复数平面的几何直觉：从一维到二维
为了理解对数变换在图像中的本质，我们需要先走出艺术课堂，进入数学领域，特别是复变函数（Complex Analysis）的核心概念。实数通常被想象为一条一维的直线，而复数则是二维平面上的点。复数的核心在于引入虚数单位 i（定义为 -1 的平方根），它位于原点上方一个单位处，平面上任意一点都代表实数与虚数的线性组合。在讨论复函数时，我们通常用变量 z 表示一般的复数。
理解复函数的关键在于将其视为几何变换。最简单的例子是乘以常数，例如 f(z) = 2z，这会将所有点放大两倍。而更有趣的是乘以虚数 i：乘法操作在复平面上等效于旋转和缩放的组合。由于 1×i=i，且 i×i=-1，乘以 i 本质上是将点逆时针旋转 90 度。对于任意复常数 c，乘以该常数的效果是将点 z 映射到 c 的位置，从而确定缩放比例和旋转角度。这种线性变换的关键特性是保形性（Conformal）：虽然形状会被拉伸或旋转，但局部几何结构不会发生扭曲，正方形依然保持为正方形。
非线性变换与保形映射的局部特性
当函数变得复杂时，例如将 z 映射到 z²（平方），几何效果发生了显著变化。输入点 2 变为 4，i 变为 -1，-1 变为 1。如果观察整个网格的变换过程，直线网格会被弯曲和扭曲，全局形状不再保持。然而，这引出了复分析中一个极其重要的概念：保形映射（Conformal Map）。尽管全局形状失真，但在极小的局部尺度下，形状的近似保真性依然成立。
"As you watch the transformation happen again, you can see that shape is approximately preserved, at least at a small enough scale."
以 z² 为例，原本输入空间中的小正方形在输出空间中依然近似为正方形。这一特性并非 z² 独有，z³（立方）或其他多项式函数同样具备此性质。虽然某些较大的正方形在变换后可能看起来不像正方形，但这只是因为选取的区域过大。保形性是一个极限概念：随着我们不断缩小输入空间中的正方形区域并无限放大观察，输出结果将越来越精确地逼近一个完美的正方形。这种局部保形性是复函数区别于普通二维实函数的根本特征。
复导数与局部线性化的本质原因
为什么只有复函数具备这种神奇的“微观保形”特性？如果我们将二维空间简单视为由 (x, y) 坐标组成的实数对，并应用任意函数 f(x,y)，变换后的微小区域通常会变成平行四边形或其他被严重挤压的形状，即使无限放大也无法恢复为正方形。复函数之所以特殊，根本原因在于其可导性（Differentiability）。
在实数微积分中，函数的导数描述了变化率。当我们放大函数图像时，曲线在某一点附近看起来像一条直线。在复平面变换的视角下，这意味着函数在局部可以被视为一个线性变换（旋转+缩放）。对于普通的实二元函数，即使无限放大，局部变形往往也是各向异性的（即不同方向拉伸比例不同），导致正方形变为平行四边形。而复函数的导数存在意味着其满足柯西-黎曼方程，这强制要求局部变换必须是均匀的旋转和缩放。因此，复导数的存在保证了无穷小区域内的角度保持不变，这就是为什么在研究对数变换等复杂映射时，复变函数理论提供了最自然且强大的几何直觉工具。
复平面上的共形变换与局部线性化
在理解复杂函数如何映射空间时，一个核心直觉是观察输入邻域内的微小网格点如何移动到输出空间。如果我们将输入周围的一个小方格区域复制到对应的输出位置，并通过乘以某个常数因子进行缩放，这些点可以近似对齐。这本质上与函数图像斜率所揭示的分析事实相同，但在复平面上，这种变换被理解为旋转和缩放。对于全纯函数（即具有导数的复变函数），其局部行为由导数决定，这意味着微小的正方形在变换后至少近似保持为正方形。这种保角性质（Conformal Map）虽然对连续扭曲二维空间的函数施加了严格限制，但在复数语言下，我们可以通过组合标准复变函数轻松构建出这类映射族。
"If you take that tiny patch of squares around the input and copy it over to the corresponding output, you can approximately match this up with the output grid lines by multiplying by a certain constant..."
这种视角的关键在于，尽管像埃舍尔（Escher）《画廊》中使用的共形映射非常特殊且受限，但通过复数运算，我们可以自然地生成整个家族的此类变换。只要函数具有导数（这对大多数常见函数都成立），我们就可以利用它们来重构几何问题。对于《画廊》案例，核心转化为：能否构造一个特定的复函数，使得在输入附近“放大”的效果等同于在输出空间中沿着环路行走？
复指数函数的几何行为：从实轴到虚轴的扩展
为了构建所需的映射，我们需要深入理解两个基本函数：复指数 $e^z$ 和 自然对数 $ ext{ln}(z)$。首先回顾复指数函数，当输入为实数时，其行为直观易懂：$e^0=1$，随着输入增加，输出以 $e$ 为因子快速增长；当输入减小（负数）时，输出缩小。然而，真正的几何意义体现在虚部增加的过程中。
当输入 $z$ 的实部分别取不同值，而虚部增加时，输出点会在复平面上绕圈。特别地，$e^z$ 的一个优美性质是：输入虚部每增加 $2\pi$，输出点恰好绕原点旋转一周（即角度变化 $2\pi$ 弧度）。这是因为以 $e$ 为底时，输入虚部变化率与输出角度变化率的系数比为1。这意味着垂直线段（高度为 $2\pi$）被映射为单位圆。如果我们将输入平面中实部间隔为1的垂直线带想象起来，它们分别被映射为半径相差 $e$ 倍的同心圆环。
“卷筒”直觉与多值性的几何解释
为了更直观地理解 $e^z$ 如何将整个复平面映射到除去原点的复平面，可以采用一种几何构造的直觉：将 $z$ 平面向右卷成一个圆柱体。在这个圆柱面上，所有垂直线（实部固定）变成了圆周。由于虚部每增加 $2\pi$ 就绕一圈，圆柱的高度对应于角度。接着，将这个圆柱体“压扁”到输出平面上，使其轴线位于原点上方。原本圆柱面上的同心圆环（由垂直线形成）变成了输出平面上半径指数级增长的同心圆。这种变换将无限长的垂直带映射为覆盖整个复平面（除原点外）的螺旋状结构。
"What I like to imagine is sort of rolling up that entire z-plane into a tube... turning all the circles from that tube into these concentric rings of exponentially growing size."
必须注意的是，这种映射是多对一的。例如 $e^0 = 1$，但 $e^{2\pi i} = 1$、$e^{-2\pi i} = 1$ 等。任何虚部相差 $2k\pi$（$k$为整数）的输入都会映射到同一个输出点。这一特性揭示了复指数函数的周期性，也为后续引入对数函数（作为其逆运算）时处理多值性埋下了伏笔。理解这一几何结构是解码埃舍尔《画廊》中视角变换数学原理的基础，因为它展示了如何将线性移动转化为环形路径。
指数映射与对数展开的几何对应
要理解图像取对数的含义，首先需要掌握复平面上的指数映射及其逆运算。指数函数 $e^z$ 具有多对一（many to one）的特性，它将复平面左侧垂直间距为 $2\pi$ 的直线“卷曲”成右侧的一个圆。这种垂直方向的重复性是后续重建德罗斯特效应（Droste effect）的关键基础。
"We say that the exponential map is many to one, although it might not be obvious how this repetition in the vertical direction is going to be key to our final recreation of the print gallery effect."
作为其逆运算，自然对数（natural log） 的作用则是将这些圆圈“解开”回直线。如果我们将一个包含德罗斯特效应的图像（如看着自己居住房子的π生物图片）绘制在右侧的复平面上，那么左侧的对数图像就会将右侧的圆形结构展开。具体来说，垂直线段在指数映射下变为圆环，而在对数映射下则被拉直为高度固定的垂直线段。这种几何变换构成了图像取对数的直观基础。
德罗斯特图像的垂直重复与多值函数特性
当对数映射作用于具有自相似性的德罗斯特图像时，会产生独特的垂直重复现象。在右侧复平面上，半径相差 $e$ 倍的同心圆环在对数映射下会对应到左侧高度相同但位置向左平移一个单位的垂直线段。这意味着，图像中所有更小的圆环都会被展开为高度为 $2\pi$ 的垂直线段，并依次排列在更左侧的位置。
这种映射揭示了自然对数本质上是一个多值函数（multi-valued function）。因为指数函数的多对一特性，自然对数的一个输入对应多个输出。在复分析中，通常通过选择“分支切割”（branch cut）来限定单值输出区域。然而，为了重现埃舍尔的作品，我们将对数视为多值函数：右侧的每一个点对应左侧垂直方向上间距为 $2\pi$ 的一系列重复点。
"Another way to think of this is that because the function e to the z is many to one, the feeling we get is that the natural logarithm, its inverse, wants to be a multi-valued function..."
水平周期性源于自相似性与对数性质
除了垂直方向的重复，德罗斯特图像在对数映射下还表现出特殊的水平周期性。这与普通图像不同：对于大多数图像，对数结果仅在垂直方向重复；但对于自相似的德罗斯特图像，它在水平方向也呈现周期性。
这一现象源于对数将乘法转化为加法的核心性质。在右侧复平面上，若取一个值 $w$ 及其放大16倍的对应点 $16w$，在对数映射下（左侧平面），这种缩放操作转化为向右平移 $ ext{ln}(16)$ 个单位。因此，左侧宽度为 $ ext{ln}(16)$、高度为 $2\pi$ 的矩形区域包含了右侧对应圆环的所有信息。将该矩形向左平移 $ ext{ln}(16)$ 个单位，即可得到缩小16倍的完美嵌套图案。
"Exponentials turn addition into multiplication, and logarithms turn multiplication back into addition."
双重周期性与无限嵌套的结论
综上所述，对数图像呈现出垂直和水平两个方向的周期性。垂直周期性源于右侧图像的旋转对称性，这是任何图像在复对数映射下的通用特征；而水平周期性则特定于德罗斯特图像的自相似缩放特性。这种双重周期性质使得对数图像能够以平铺（tiling）的方式无限延伸。
在右侧，如果德罗斯特图像向外无限扩展，左侧的对数图像也会向右无限延伸；反之亦然。这种结构完美解释了德罗斯特效应中无限嵌套（infinite nesting） 的视觉奇观。通过对数变换，我们将复杂的缩放自相似性转化为简单的平移周期性，从而为最终重建埃舍尔的印刷画廊效果奠定了数学基础。
"This doubly periodic property is what we'll ultimately take advantage of for the final result."
构建埃舍尔风格自指循环的函数框架
要重现《画室》中那种无限嵌套、自我包含的视觉悖论，我们需要构建一个特定的复变函数。这个函数的核心逻辑分为三个步骤：首先对图像取自然对数（Logarithm），将其转换为一种奇特的双重周期性平铺图案；接着对该图案进行特定的旋转和缩放，以对齐关键元素；最后取指数函数（Exponential）将其“展开”，但这次带有某种扭曲。这种操作看似怪异，实则有着严密的几何动机。
"First, take a logarithm... and then you rotate and scale that tiling pattern in just the right way, and then from there you take an exponential..."
这一过程的目标是将原图中连接“大馅饼生物”与“缩小16倍的自相似副本”的线段，转化为最终空间中的闭合环路。在复平面上，对数变换将缩放操作映射为平移。原图中较大的物体在对数空间中对应于虚轴附近的多个副本，而缩小后的物体则通过向左平移（缩放）体现。为了利用对数空间的双重周期性，我们选择一条对角线连接大物体与小物体的副本，而非简单的水平线。
利用复数乘法实现旋转与缩放的对齐
在对数空间中，对角线的向下分量对应于原图中路径的顺时针旋转。我们的目标是让这条线段在指数变换后变成完美的垂直线，且高度为 $2\pi$。根据复变函数性质，乘以常数相当于进行旋转和缩放的组合。为了使原图中左下角的大馅饼生物在变换后保持位置固定，我们需要让对数空间中的对应点 $z_0$ 成为旋转中心（即不动点），而非原点。
因此，变换公式调整为围绕 $z_0$ 进行旋转和缩放。关键在于选择一个合适的复数常数 $c$，使得线段的方向和长度满足指数映射的要求。
"Different choices give you different scaling and rotation, which after exponentiating gives you all these completely bizarre kaleidoscopic images."
这个过程如同在寻找一个精确的数值，使得所有元素在对数空间中重新排列后，经过指数映射能完美契合。如果常数选择不当，最终图像会呈现杂乱的万花筒效果；只有找到那个特定的 $c$ 值，才能重现埃舍尔式的自指循环。值得注意的是，最终图像中心的“空洞”是人为设定的，实际上指数函数会将无限延伸的平铺图案填满整个平面（除零点外），形成向内螺旋的自然填充。
应用于埃舍尔《画室》的具体案例
将上述通用流程应用到马利奥·埃舍尔的著名版画《画室》（Print Gallery）时，步骤依然一致但参数更为复杂。首先，将包含海边马耳他小镇及画廊场景的图像置于复平面上，并将所有缩放围绕的中心点（极限点）定位在原点 0。这一步确立了整个自相似结构的几何基准。
第二步是对该场景取对数。由于埃舍尔原作的缩放层级极深，其比例因子为 256。这意味着在对数空间中，场景的重复结构比之前提到的16倍缩放案例更为密集和复杂。对数变换将整个场景扭曲为一种类似的奇异图案，但由于深层缩放的特性，其周期性平铺的密度和分布也相应改变。通过后续的旋转、缩放调整及指数还原，这一深层嵌套结构得以在视觉上闭环，重现了画中人物观看画作、而画中包含该场景本身的无限递归效果。
复对数变换下的无限螺旋重构
在构建埃舍尔《画廊》的最终图像时，我们需要对复平面上的平铺图案进行一系列变换。首先，这些平铺区域实际上覆盖了复平面的更广泛部分；接着执行旋转和缩放操作，这依赖于乘以适当的复常数。这一过程的核心约束在于确保变换后的图像在垂直方向上仍以 $2\pi$ 为周期重复，但这种周期性现在体现在原本呈对角线的图像部分上。随后，将这些变换后的结果代入指数函数 $e^z$ 中。
"what you get is something very similar to Escher's final picture, an image where walking around a loop corresponds to zooming in by a factor of 256."
最终得到的图像与埃舍尔的最终作品极为相似，其中沿着回路行走对应于放大 256倍。在这种复函数的框架下，图像中心没有空洞。最终结果本身就是一个德罗斯特效应（Droste image），但带有独特的扭曲：随着无限深入缩放，展现出一种螺旋状的自相似性。值得注意的是，如果将这一过程简化为公式——即取对数、乘以常数再指数化——它实际上可以简化为将输入提升到某个复常数次幂。虽然这种数学上的简洁性令人愉悦，但作者认为这可能会掩盖背后的实际几何操作过程。
网格映射与保角性质的意外收获
从另一个视角来看，这幅作品的核心在于对数空间中的旋转。这与埃舍尔直觉上使用的扭曲网格和网格变形（mesh warp）方法截然不同，但两者之间存在一条贯穿始终的联系。为了理解我们如何重建和修改埃舍尔的网格，我们可以将该函数应用于一个普通的正方形网格。不过，为了在所有尺度上保持一致性，最好使用一种随着缩放而变得更密集的网格。
"Tiny squares from the original grid remain, at least approximately, square in the final result."
当应用对数函数时，会产生非常美丽的曲线平铺图案。接着通过适当的旋转和指数运算，得到与埃舍尔耗费数小时构建的结果极为相似的图像。使用复数的语言之所以必要，是因为其共形性质（conformal property）作为副产品自然浮现：原始网格中的小正方形在最终结果中至少近似保持为正方形。埃舍尔曾提到创作此作品让他头痛欲裂，而通过数学方法虽然也需经历思考的阵痛，但我们无需额外努力就获得了这一美学属性。理解这些数学细节并非欣赏埃舍尔作品的必要条件，但它提供了一种截然不同的鉴赏维度。
艺术直觉与数论前沿的深层共鸣
埃舍尔的作品往往融合了概念（如在有限空间中表现无限）与美学规则（如小正方形保持形状），使得他的作品感觉像是谜题的解。作者认为，埃舍尔直觉吸引的结构中隐藏着实质的深层数学。在《画廊》的案例中，这种结构不仅可以用复函数描述，还触及了研究前沿。我们后半部分的方法依赖于复平面上的双重周期模式（doubly periodic pattern），即沿两个不同方向重复的模式。这类函数被称为椭圆函数（elliptic functions）。
"the real connection I want to give between the two storylines... an appreciation for the creative genius required to even dream up the puzzle in the first place."
椭圆函数在现代数论（number theory）中扮演重要角色，是连接数学不同领域的桥梁。这或许解释了为何数学家德·斯密（De Smit）和伦斯特拉（Lenstra）能分析此作品并构建出相应的函数。作者指出，埃舍尔与数学家被相同的结构所吸引，尽管原因不同：艺术家追求完美契合的创意直觉，而数学家寻求逻辑结构。这种共鸣暗示了两者所被吸引的对象具有某种普遍性，即那种在解决谜题时感受到的、超越单纯解题乐趣的创造性天才的喜悦。
结论
视频论证了埃舍尔《版画展厅》中心的空白并非无法填充的缺陷，而是存在唯一逻辑自洽解的结构特征。通过复分析中的共形映射理论，视频展示了如何利用对数变换将图像的自相似缩放转化为平移周期性。具体而言，取对数后图像呈现双重周期特性：垂直方向源于旋转对称性，水平方向源于自相似缩放。结合特定的复数乘法进行旋转与缩放，再通过指数函数映射回原空间，即可重构出无限嵌套的德罗斯特效应。该方法不仅完美复现了埃舍尔的视觉悖论，还自然保留了局部保角性（小正方形近似不变形），证明了艺术直觉与复变函数几何性质的高度契合，为理解此类自指循环提供了严谨的数学框架。