Dual Affine Spiral Orbits on $\mathbb{Z}^2$ Generated by Paired Unit Squares

技术摘要：由配对单位正方形生成的 $\mathbb{Z}^2$ 上双仿射螺旋轨道

问题陈述
本文研究了整数格点 $\mathbb{Z}^2$ 上一种涉及共享单个顶点的配对单位正方形的几何构造。核心问题是表征一个迭代过程：在由相邻于共享顶点的外侧边缘构成的等腰直角三角形的斜边上，向外构建新的正方形。作者旨在确定由此产生的点序列的代数结构、其对称性，以及当迭代在正向和反向方向延伸时与已知分形几何的关系。

研究方法
本研究结合了初等欧几里得几何、线性代数以及复分析（具体为高斯整数）。

1. 几何构造： 该过程始于在 $P_0 = (0,0)$ 处共享一个顶点的两个单位正方形。在每一步 $n$，在由前一对正方形的外侧边缘构成的三角形斜边上构建一个新正方形。这生成了两条不同的点序列：一条“正向”轨道 $\{P_n\}$ 和一条“负向”轨道 $\{N_n\}$。
2. 代数公式化： 几何变换通过仿射递推进行编码。作者将整数格点 $\mathbb{Z}^2$ 与复平面 $\mathbb{C}$ 对应起来，将变换矩阵映射为与高斯整数 $1+i$ 相乘。
3. 闭式解推导： 通过求解线性递推关系，作者得到了关于 $(1+i)$ 的幂次的 $P_n$ 和 $N_n$ 的闭式表达式。
4. 迭代函数系统 (IFS) 分析： 通过反转仿射映射将迭代向后延伸（$n < 0$）。通过分析这些逆映射作为收缩映射的性质，来识别其吸引子并将其与双龙形分形（Twindragon fractal）进行比较。

主要贡献与结果

• 双螺旋轨道： 该构造在 $\mathbb{Z}^2$ 上生成了两条相互交织的仿射螺旋轨道。

  • 正向轨道从 $P_0 = (0,0)$ 开始，满足仿射递推关系 $P_{n+1} = (1+i)P_n + (2+i)$。
  • 负向轨道从 $N_0 = (-1, 2)$ 开始，满足线性递推关系 $N_{n+1} = (1+i)N_n$。
  • 这两个序列在无限迭代中始终保持在整数格点上。

• 对称性与不变量：

  • 固定中点： 轨道关于一个非格点点 $M = (-1/2, 1)$ 对称。对于所有 $n$，不变量 $P_n + N_n = (-1, 1)$ 成立，这意味着 $N_n$ 是 $P_n$ 关于 $M$ 的点对称点。
  • 几何解释： 这些点采样了分别以 $N_0$ 和 $P_0$ 为中心的对数螺旋线，每步缩放因子为 $\sqrt{2}$，旋转角度为 $\pi/4$。

• 新整数序列： 本文定义了一个基于轨道点欧几里得范数平方的归一化整数序列 $a(n)$：
  $$a(n) = \frac{|P_n|^2 + |N_n|^2}{5} = 2^{n+1} + 1 - 2\text{Re}((1+i)^n)$$
  作者证明了 $a(n)$ 始终为整数。该序列对应于 OEIS A396151，并满足一个特定的 4 阶线性递推关系。在几何上，$a(n)$ 代表了轨道点到对称中心 $M$ 的平方距离的仿射缩放。

• 与双龙形分形的联系：

  • 当迭代向后延伸（$n \to -\infty$）时，逆映射 $T^{-1}$ 和 $S^{-1}$ 构成了一个迭代函数系统 (IFS)。
  • 这些映射是具有 $1/\sqrt{2}$ 收缩比和 $-\pi/4$ 旋转角的相似变换。
  • 研究表明，该 IFS 的吸引子与双龙形分形（与高斯整数中基数 $1+i$ 相关的自仿射平铺）相似。
  • 与向前轨道向外螺旋不同，向后轨道向内螺旋趋向于逆映射的固定点（$P_0$ 和 $N_0$），并聚集在双龙形吸引子上。中点 $M$ 作为该吸引体的对称中心。

意义与主张
本文声称，这种在坐标纸上的初等几何构造为双龙形分形的动力学提供了一个具体的、基于格点的视角。

• 新颖性： 特定的配对构造、由此产生的双螺旋轨道以及整数序列 $a(n)$ (OEIS A396151) 被视为新的贡献。
• 综合性： 该工作架起了初等几何与代数数论及分形几何之间的桥梁。它展示了如何在 $\mathbb{Z}^2$ 上的一个简单的迭代规则中自然地导出双龙形分形的自仿射平铺结构。
• 谦逊性： 作者并未声称解决了分形几何中的开放问题，而是提供了一个“视觉格点视角”，从一个初等的起点重新推导了经典的双龙形吸引子。论文表明，这些简单的几何起源可能暗示着比最初看起来更丰富的、涉及代数数论的底层结构。