从光滑/凸到 C⁰：Greene–Lobb 之后的 Jordan 曲线 4 顶点配置空间 | 2026-05-23
Toeplitz Square Peg Conjecture（1911）：任意 Jordan 闭曲线 $\gamma \subset \mathbb{R}^2$ 必内接一个正方形。即
$$\forall\, \gamma : S^1 \hookrightarrow \mathbb{R}^2 \text{ 连续单射},\ \exists\, p_1, p_2, p_3, p_4 \in \gamma(S^1) \text{ 互异},$$ $$\text{使 } \{p_1, p_2, p_3, p_4\} \text{ 构成一个正方形的四个顶点（边长 } > 0\text{）}.$$注意点：
4 元组配置空间表述。设 $X(\gamma) = \gamma^4 / D_4$，其中 $D_4$ 是正方形对称群（阶 8）作用于 4 元组的循环 + 反射。定义"是正方形"算子：
$$\Phi(p_1, p_2, p_3, p_4) \;=\; \bigl(|p_1 p_2| - |p_2 p_3|,\ |p_2 p_3| - |p_3 p_4|,\ |p_3 p_4| - |p_4 p_1|,\ \langle p_2 - p_1, p_3 - p_2\rangle\bigr).$$则 $\gamma$ 内接正方形 $\Leftrightarrow$ $\Phi^{-1}(0)$ 在 $X(\gamma)$ 上非空。
已证：分段解析凸（Emch 1913）、$C^\infty$（Schnirelmann ~1929）、locally monotone（Stromquist 1989）、piecewise $C^1$（Cantarella–Denne–McCleary 2013）、双 Lipschitz 类（Tao 2017）、光滑 + 全宽高比矩形（Greene–Lobb 2020 Annals）。 开放：一般 $C^0$ Jordan 曲线，特别是 Hausdorff 维 $> 1$ 的分形 Jordan 曲线（如 von Koch 雪花、Mandelbrot 集边界）。
"内接矩形"对所有 $C^0$ Jordan 曲线已被证明（Vaughan 1977）。从矩形升级到正方形增加一个独立约束（4 边长全相等而非 2 对相等），约束维度从 3 变 4，恰好是 4 元组配置空间 $X(\gamma)$ 的维度（实 2-torus，$\dim_\mathbb{R} = 2$，但参数化为 4 个角参数 $\bmod\, D_4$）。这是问题真正的结构性难点。
从 $\mathbb{Z}_2$（矩形）升级到 $D_4$（正方形）：约束维度 + 1，配置空间从 3 维（中点 + 长度）变为 2-torus（4 元组模 $D_4$）。Greene–Lobb (2020) 用 Lagrangian Floer 巧妙地把"宽高比 = 1"作为一参族 $r$ 中的特殊值嵌入了"全宽高比矩形"的更大问题，但论证关键步是 Lagrangian 嵌入 $\mathbb{R}^2 \times \mathbb{R}^2$ 的辛容量比较 — 需要 $\gamma$ 至少 $C^1$。
记 $\gamma : S^1 \to \mathbb{R}^2$ 单射。考虑无序 4 元组空间
$$X(\gamma) \;=\; \bigl\{(t_1, t_2, t_3, t_4) \in (S^1)^4 : t_i \text{ 互异}\bigr\} \,\big/\, D_4,$$其中 $D_4$ 由循环和反射作用。$X(\gamma)$ 是非紧 2 维流形（边界对应 $t_i$ 重合）。
"是正方形"由 4 个连续约束确定（4 边长相等 + 4 直角，但 4 边等长 + 对角线等长就够了，等价于 3 个独立等式 + 一个非退化条件）。设 $Z(\gamma) = \Phi^{-1}(0) \subset X(\gamma)$。则：
这正是问题的关键：4 元组配置空间在 C⁰ 下失去微分结构，但拓扑结构仍存在。能否用纯拓扑（Čech 同调、Alexander 对偶、等变 K 理论）替代？
三大障碍合力使 $C^0$ 情形开放：
Stromquist 1989 的 locally monotone 论证要求曲线在每点附近有一个明确的"切方向"才能定义 $D_4$-equivariant 映射的程度。$C^0$ 曲线（如 Weierstrass 函数般处处不可微）没有切方向，等变度数不存在。
Greene–Lobb 2020 把 $(\gamma \times \gamma) \subset \mathbb{R}^4$ 视为 Lagrangian 子流形（利用 $\mathbb{R}^4$ 的标准辛形式）。论证关键是 Lagrangian Floer 同调 + Hofer 几何下的辛容量比较。这要求 $\gamma$ 至少 $C^1$ 才能定义 Lagrangian 切丛。$C^0$ 曲线不是 Lagrangian — 即便用 Müller–Sevan / Buhovsky–Opshtein 的"$C^0$ 辛拓扑"推广，Floer 同调的构造需要梯度流 — 仍要某种 Lipschitz 类正则。
多边形序列 $\gamma_n \to \gamma$ ($C^0$ 一致)，每个 $\gamma_n$ 内接正方形 $S_n$（Schnirelmann + 摄动）。紧致性给出极限 $S^* = \lim S_n$，但 $S^*$ 可能边长 → 0 即退化为单点。这是把"多边形 OK"推到"$C^0$ OK"的核心障碍。任何严格论证必须给出"$S_n$ 的边长有正下界"的非退化估计，而这对一般 $C^0$ 曲线没有先验工具。
三障碍是同一根源的不同切面：$C^0$ 失去微分结构，使所有"局部线性化"工具退化。突破需要一种全局拓扑 / 测度论 / 信息论的"非局部"工具。
多边形：每个有限边数 $n$-gon 都内接正方形（Pak 等）。Schnirelmann 1929 的论证给出对 $C^\infty$ 曲线的无穷多个内接正方形；多边形是 $C^\infty$ 的极限情形（但本身仅 piecewise 线性，不是 $C^1$）。
分段线性曲线：可由 $D_4$-equivariant 度数论证显式构造内接正方形（Cantarella–Denne–McCleary 2013 给出可计算证明）。
von Koch 雪花：数值实验（多个独立计算，未发表严格证明）显示标准 von Koch 雪花有内接正方形 — 实际上由对称性 $D_6$ 给出至少一族明显内接正方形（中心对称的轴向正方形）。但对其他参数的 von Koch 类曲线（变换比例 $\ne 1/3$）严格证明开放。
Mandelbrot 集边界：Hausdorff 维 = 2（Shishikura 1998），但是否是 Jordan 曲线本身仍是开放问题（"Mandelbrot 局部连通性"猜想）。若是 Jordan，是否内接正方形未严格证。
数值验证一个具体曲线内接正方形是 trivially 容易的（梯度下降 + 4 元组优化在毫秒内收敛），但对参数化曲线族给出一致下界的严格证明完全是另一回事。这与 Goldbach（数值验证 $4 \times 10^{18}$ 但理论证明开放）平行。
| 年份 | 作者 | 结果 |
|---|---|---|
| 1911 | Otto Toeplitz | 提出猜想（在波恩讨论班） |
| 1913 | Arnold Emch | 分段解析凸曲线必内接正方形（Amer. J. Math.） |
| ~1929 | L. G. Schnirelmann | $C^2$ 闭曲线必内接正方形（其后被推广至 $C^\infty$） |
| 1965 | H. Guggenheimer | $C^\infty$ 凸曲线证明的现代化版本，去除部分歧义 |
| 1977 | H. B. Griffiths / R. Vaughan | 所有 $C^0$ Jordan 曲线必内接矩形（Möbius 带嵌入论证） |
| 1981 | M. D. Meyerson | $C^1$ 曲线对任何非退化三角形 $T$ 必有相似副本 $\sim T$ 内接 |
| 1989 | W. Stromquist | locally monotone（含 $C^1$、分段线性、凸）必内接正方形 — 至今最强一般正则结果 |
| 2008 | V. Vrećica – S. Živaljević | 等变拓扑论证的现代化（用 Borsuk–Ulam 配置空间方法） |
| 2013 | J. Cantarella – E. Denne – J. McCleary | piecewise $C^1$（含尖点）必内接正方形（Trans. AMS） |
| 2014 | B. Matschke | Notices AMS 综述：列出已证类清单 + 8 个未解子情形 |
| 2017 | T. Tao | 积分判据：双 Lipschitz 类（$C^{0,1}$ 双方向）的若干曲线类（arXiv:1611.07559） |
| 2018 | J. Hugelmeyer | 光滑曲线内接长宽比 $\sqrt{3}$ 的矩形（symplectic 路径首作） |
| 2018 | A. Akopyan – S. Avvakumov | 所有平滑 Jordan 曲线对一族矩形旋转家族结果 |
| 2020 | J. E. Greene – A. Lobb | 光滑 Jordan 曲线内接所有宽高比的矩形（Annals of Math，arXiv:2005.09193） |
| 2021 | J. E. Greene – A. Lobb | 推广至光滑曲线 + 圆柱面不嵌入论证（arXiv:2106.10078） |
下表按"接近 $C^0$ 的程度"排序：
| 类 | 定义 | 状态 | 关键论文 |
|---|---|---|---|
| 分段解析凸 | 有限 piecewise 解析 + 凸 | 已证 | Emch 1913 |
| $C^\infty$ + 凸 | 无穷可微 + 凸 | 已证 | Schnirelmann ~1929 / Guggenheimer 1965 |
| $C^\infty$ | 无穷可微 | 已证 | Stromquist 1989 (locally monotone) 推论 |
| $C^2$ | 二阶可微 | 已证 | Schnirelmann 类工作 |
| $C^1$ | 连续可微 | 已证 | Stromquist 1989；Cantarella–Denne–McCleary 2013 |
| locally monotone | 每点附近曲线在某方向单调 | 已证 | Stromquist 1989 |
| piecewise $C^1$ | 有限段 $C^1$ + 尖点 | 已证 | Cantarella–Denne–McCleary 2013 |
| 分段线性（多边形） | 有限边 | 已证 | Cantarella–Denne–McCleary 2013（推论） |
| 双 Lipschitz 类 | Lipschitz + 双向 | 部分 | Tao 2017（特定子类） |
| chord-arc / 拟圆 | $|\gamma(s) - \gamma(t)| \asymp |s - t|$（参数化） | 开放 | — |
| BV（有界变差） | $\int |\gamma'(s)| ds < \infty$ 弱意义 | 开放 | — |
| Hölder $C^{0,\alpha}$ | $\alpha$-Hölder, $\alpha \in (0, 1)$ | 开放 | — |
| Hausdorff 维 = 1, 不可微 | 1 维测度 + 处处不可微 | 开放 | — |
| Hausdorff 维 $>$ 1（分形） | von Koch 雪花、Mandelbrot 边界 | 开放 | — |
| 纯 $C^0$（一般连续） | Jordan 单射连续 | 开放 | — |
从上表看，已证 / 开放的分界恰好在"chord-arc / Lipschitz"。这暗示 chord-arc 是下一个最自然的攻击目标 — 是命题选取的关键候选。
若假设某猜想成立，能给本问题何种推论？
| 假设 / 工具 | 对内接正方形的推论 | 状态 |
|---|---|---|
| Lagrangian Floer C⁰ 推广（Müller–Sevan / Buhovsky–Opshtein） | Greene–Lobb 路径推广至更弱正则（如 BV） | 研究中 |
| Mandelbrot 集局部连通（MLC） | 若 MLC 真，Mandelbrot 边界是 Jordan 曲线，纳入命题范围 | 未证 |
| $h$-principle（Gromov 类） | 把"内接正方形"作为微分关系，凸积分构造解？ | 已用于其他几何问题 |
| SLE 共形不变（Schramm 2000） | SLE_$\kappa$ 几乎必内接正方形（启发式） | 未严格 |
| Cayley–Menger 判据 + 实代数几何 | 对实代数 / piecewise 代数曲线给出有限算法判定 | 已用于离散几何 |
| Hilbert–Smith 猜想 | $C^0$ 紧群作用于流形 = Lie 群作用 — 与本问题表面无关，但有同样的"$C^0$ vs $C^1$"特征 | 未证 |
已知对一般 $C^0$ 失效的工具：
注意：所有这些工具都是"局部线性化"工具的变体。$C^0$ 失去局部线性结构使全部退化。
当前活跃研究者（2020–2026）：
研究动机：内接正方形是几何拓扑中最古老开放问题之一（115 年）。突破对 $C^0$ Jordan 曲线的证明将打通"$C^0$ vs $C^1$"沟壑（Hilbert–Smith 同源问题），并为分形几何 / GMT / 计算分析提供新工具。
本节列出本笔记主要引用论文（含 arXiv ID 链接，未做完整 2020–2026 文献全景搜索；详细 arXiv 调研在 Template 2 v2 命题深入研究的 L2 层进行）。
| arXiv / 期刊 | 年份 | 作者 | 题目（缩略） | 一句话贡献 |
|---|---|---|---|---|
| 2005.09193 · Annals | 2020 | Greene–Lobb | The rectangular peg problem | 光滑 Jordan 曲线内接所有宽高比矩形（symplectic Floer 论证） |
| 2106.10078 | 2021 | Greene–Lobb | Cyclic quadrilaterals and smooth Jordan curves | 推广至光滑曲线 + 圆柱面不嵌入论证 |
| 1709.10474 | 2018 | Hugelmeyer | Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios | 光滑曲线内接 $\sqrt{3}$ 矩形；symplectic 路径首作 |
| 1611.07559 | 2017 | Tao | An integration approach to the Toeplitz square peg problem | 对双 Lipschitz 类的若干曲线给出积分判据 |
| 1404.0834 · Notices AMS | 2014 | Matschke | A survey on the square peg problem | 权威综述，列出已证类与 8 个未解子情形 |
| Trans. AMS | 2013 | Cantarella–Denne–McCleary | Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios | piecewise $C^1$ 含尖点 |
| Trans. AMS | 1989 | Stromquist | Inscribed squares and square-like quadrilaterals in closed curves | locally monotone 必内接正方形 |
| Amer. J. Math. | 1913 | Emch | Some properties of closed convex curves in a plane | 分段解析凸曲线最早证明 |
内接正方形问题是"$C^0$ 拓扑刚性 vs $C^1$ 微分工具"的标准台架；Greene–Lobb 2020 用 Lagrangian Floer 关掉了光滑情形，但Lagrangian 对 $C^0$ 失效是关键沟壑。突破 $C^0$ 需要新的"非局部" / "非微分"工具 — 候选包括 GMT varifold / persistence homology / Cayley–Menger 实代数判据 / Frostman 4-point energy。
本节是对 Toeplitz 内接正方形猜想（1911）的一次多 agent 头脑风暴记录。我们没有做任何新的证明工作，但我们认真地把问题"打散——再拼回去"，目的是给后续工作者一份路线图，而不是一份待审稿件。
读者应当带一份诚实的预期：agent 没有发现任何新定理。它们做到的是——把现有"工具/障碍/反例栖息地"整理成一张结构化地图，并在地图上标出几个被现有文献忽略的、值得花力气啃的小山头。这是路线图（roadmap），不是证明（proof）。
下表是阶段 1 各角度的最简概括，便于读者一眼把握"目前每条路线的剩余里程"。
| 角度 | 核心策略 | 主要障碍 |
|---|---|---|
| Q1 | 把 Stromquist 1989 的 $D_4$-等变度数搬到 Reifenberg/Jones $\beta$-数有限类；并尝试 $C^0$ symplectic（Buhovsky–Humilière–Seyfaddini）作为 Greene–Lobb 极限版本 | $C^0$ 配置空间 $X(\gamma)\subset (S^1)^4/D_4$ 在 cusp、自切、零测奇异集处不再是流形 — 度数无定义；Floer chain complex 在 $C^0$ Lagrangian 上未建立 |
| Q2 | Cayley–Menger 行列式 + Atiyah–Guillemin–Sternberg 凸性 + Adler–Taylor Gaussian Kinematic Formula + 微局 sheaf；视正方形为刚性框架的 generic transversality | Cayley–Menger 路径依赖横截性，$C^0$ 可让零集全退化；概率/微局只回答"几乎所有"或对光滑曲线，不能闭合"所有 $C^0$" |
| Q3 | SAT/SMT (z3 NRA, dReal) + 区间 Krawczyk + TDA persistence + Weihrauch 度刻画;von Koch 雪花机器辅助证明 | SMT 仅给 $\delta$-放松解，从 $\delta\to 0$ 抽极限会退化；$(S^1)^4/D_4$ 的朴素网格指数爆炸；纯 $C^0$ 无 modulus，无法喂入 Type-2 机器 |
| Q4 | 三条路径：(A) Vaughan ℤ₂ 升 $D_4$ 的 Möbius 障碍；(B) $r$-参数族紧致化 + Greene–Lobb；(C) $D_4$-等变 obstruction theory + Čech 同调 | Greene–Lobb 的 symplectic 步骤本质需要切空间；$D_4$ 障碍 $H^*(BD_4;\mathbb{F}_2)$ 维数爆炸；"非退化矩形下界"是真核心 |
| Q5 | 列出 6 种等价表述（配置空间-零集 / $D_4$-等变同伦 / 测度版 / 微分拓扑 / $D_4$-不动点 / 变分能量），按对 $C^0$ 的鲁棒性排序：变分（表述 6）最稳健，测度版（表述 3）最有揭示性 | 变分版若不加辅助退缩论证则循环；测度版的 $\mu(Z)$ 定量下界文献完全空缺 |
| Q6 | 子情形分级：BV → chord-arc → quasicircle（拟圆）→ 一般 $C^0$ → 分形；定量目标：$(\epsilon,\delta)$-近似正方形 + 反向 chord-arc 模 | BV 没有切线连续性，Greene–Lobb 失效；分形（Hausdorff $>1$）可能需要 Frostman 测度 + 全新拓扑不变量 |
| Q7 | $C^0$-symplectic rigidity（Buhovsky–Opshtein–Humilière JEMS 2021）+ Hofer 容量下界 $\geq c\cdot\mathrm{diam}(\gamma)^2/\pi$；GMT slicing；Almgren $4$-slicing | $C^0$ Lagrangian Floer 仅有 rigidity 无 chain complex；GMT slicing 要 $\gamma$ 是 rectifiable，分形失效；Klein 瓶嵌入需法丛 |
| Q8 | Kolmogorov 描述复杂度 $K_\epsilon(\gamma)$；猜想"低 $K_\epsilon$ ⇒ 内接正方形"；用 Gowers 风格 $\gamma=\gamma_{\text{struct}}+\gamma_{\text{random}}$ 分解；AIT 反例排除 | $K_\epsilon$ 与几何参数耦合弱；SLE$_\kappa$ ($\kappa\in(8/3,4)$) 几乎处处 $K_\epsilon\sim 1/\epsilon^d$ 但启发式上几乎必有正方形 — 高复杂度 $\neq$ 反例 |
| Q9 | "正方形 = 矩形 ∩ 菱形 = $\sigma$-不动点"（$\sigma$ 是 90° 旋转把矩形换菱形的对合）；Loewner/John 椭圆 + $\mathrm{SL}(2,\mathbb{R})$ 形变到圆 | $\sigma$ 不动点 $\neq$ 正方形（边长还需相等，多两个方程）；纯拓扑 Lefschetz 给不出，需要 $G$-等变 Euler 类 + 测度紧化 |
| Q10 | 反例 $\gamma^*$ 病态轮廓反推：处处不可微、非局部单调、$\dim_H>1$、不可由有限多 Lipschitz 图拼成；Pansu–Preiss tangent cone rigidity；Frostman 4-point energy | 多边形逼近 $s_n\to 0$ 不直接矛盾（"极限退化"是主障碍本身）；Vaughan 矩形序列宽高比可 $\to 0$ 或 $\to\infty$；Mandelbrot $\partial M$ 可能是真候选 |
读完此表，可以看到一个反复出现的字眼：非退化下界。它在 Q1 叫"$\inf$ side($Q_\epsilon$) 的控制"，在 Q4 叫"$c(\gamma)$"，在 Q5 叫"$\inf E$ 在 $X^\delta$ 上 $=0$"，在 Q6 叫"$\delta_0(K)$"，在 Q7 叫"Hofer 容量"，在 Q8 叫"$-\log\mathrm{SQ}(\gamma)\leq K_\epsilon$"。这是 5 阶段下个一切大综合的核心暗号。
把 10 个角度两两配对，看 5 个互补对各自能拼出什么。
5 个题对的共同发现是：所有"光滑→$C^0$"路径必须经过同一个咽喉——非退化下界。这把 10 个角度的发散性收敛到一条主轴上。
阶段 3 由两个 agent 各自做一份 5 题大综合：A 处理体系内组（Q1+Q4+Q5+Q9+Q10），B 处理跨界组（Q2+Q3+Q6+Q7+Q8）。把它们叠在一起读，真正涌现的跨题大主题有 4 条，分别对应"统一拓扑 / 统一对合 / 统一能量 / 统一编码"。
四条主线之间不是相互替代，而是叠加：主线 1 给空间，主线 2 给对合，主线 3 给量化，主线 4 给解析与算法接口。一个理想的全证明应该同时用上四条。但现实地说，5–10 年内最现实的小成果只在主线 2 + 主线 3 的交集（chord-arc 类）。
基于 13.3 的四条主线，我们建议把 Toeplitz 1911 从一个单点目标（"所有 $C^0$ Jordan 曲线必内接正方形"）重新表述为一族研究问题，按"难度 × 工具成熟度"两维分级：
这种重定义带来的真正好处不是把问题变简单，而是把"全胜或全败"的二元目标拆成可以独立攻克、独立发表、独立失败的小目标。每一条都对应一篇可写的文章；它们之间的依赖图有清晰的拓扑序。
以下 5 个小命题是上面 17 份产出中反复出现、且工具齐备的高优先级条目。每条给出：精确陈述 / 关键引理 / 与 $C^0$ 全猜想的桥 / 主要障碍 + 可能 KILL 路径。
P1（$\sigma$-Lefschetz 数命题，主线 2 旗舰）。
陈述。 设 $\gamma\subset\mathbb{R}^2$ 是 $C^0$ Jordan 曲线，$X(\gamma)=(\gamma(S^1))^4/D_4$ 为其 4-点配置空间，$\mathcal{R}(\gamma)\subset X(\gamma)$ 为 Vaughan 内接矩形分支（顶点构成矩形且按曲线参数顺序排列的 4 元组）。设 $\sigma:\mathcal{R}(\gamma)\to\mathcal{R}(\gamma)$ 为以矩形中心为不动点的 $90°$ 旋转所诱导的对合（把矩形对应到顶点旋 $90°$ 后所得菱形候选）。则 $\sigma$ 的 Čech-Lefschetz 数 $L_\sigma(\mathcal{R}(\gamma))\equiv 1\pmod 2$。当 $\sigma$ 不动点集 $\mathcal{R}(\gamma)^\sigma$ 中至少一点几何非退化（即对应 4 点两两不重合且边长 $>0$）时，$\gamma$ 内接正方形。
关键引理。 (i) Vaughan 1977：$\mathcal{R}(\gamma)\neq\emptyset$ 且其在 $X(\gamma)/\mathbb{Z}_2$ 上的 $\mathbb{Z}_2$-同调类 $[\mathcal{R}(\gamma)]\neq 0$（Möbius 带嵌入障碍）。(ii) Fadell–Husseini 1988：ideal-valued 等变障碍论替代度数论证，对非流形配置空间良定。(iii) 限制映射 $H^*(BD_4;\mathbb{F}_2)\to H^*(B\mathbb{Z}_2;\mathbb{F}_2)$ 拉回 Stiefel–Whitney 类（agent a1 的"加密"引理）。
与 $C^0$ 桥。 直接桥。Vaughan 的 $C^0$ 矩形定理保证 $\mathcal{R}(\gamma)$ 在纯 $C^0$ 假设下非空——这是为数极少的不依赖光滑性的内接结果。$\sigma$ 是显式连续对合（不需要切线），Čech 同调对 $C^0$ 紧空间良定。
障碍 / KILL 路径。 $\sigma$ 不动点 $\neq$ 正方形：$\sigma$-fixed 仅说"4 点构成与原矩形对偶的菱形"，菱形要变正方形还需对角线长度相等，这是额外方程。可能 KILL：构造 $C^0$ 反例 $\gamma$，使 $\sigma$ 不动点全部退化（4 点重合或边长 0）。Q10 已部分论证此类反例必须 $\dim_H>1$ 且处处病态。
P2（$\delta$-厚 chord-arc 内接正方形命题，主线 3 + 子情形分级）。
陈述。 设 $\gamma$ 是 $K$-chord-arc Jordan 曲线，即存在 $K\geq 1$ 使 $$\ell(\gamma|_{[s,t]})\leq K\cdot|\gamma(s)-\gamma(t)|\quad\text{对所有 }s,t\in S^1,$$ 其中 $\ell(\cdot)$ 为弧长。则存在 $c=c(K)>0$ 使 $\gamma$ 内接边长 $\geq c\cdot\mathrm{diam}(\gamma)$ 的正方形。等价地：在 $X^{c}(\gamma):=\{p\in X(\gamma):\min_{i\neq j}|p_i-p_j|\geq c\cdot\mathrm{diam}(\gamma)\}$ 上能量 $E(p)=\sum_{\text{cyc}}(|p_{i+1}-p_i|^2-|p_{i+2}-p_{i+1}|^2)^2+(|p_1-p_3|^2-|p_2-p_4|^2)^2$ 满足 $\inf E=0$。
关键引理。 (i) Ahlfors 三点条件：chord-arc ⇒ $K$-quasicircle，进而满足"反向 chord-arc"型几何下界。(ii) Stromquist 1989 在 $X^\delta$ 上的 $D_4$-等变度数对 chord-arc 子类不退化（$X^\delta(\gamma)$ 是流形）。(iii) Vaughan 紧致化：矩形宽高比集合在 chord-arc 类下闭区间，且 $r=1$ 在闭包中（这是待证关键，agent a3 标记为最难一步）。
与 $C^0$ 桥。 chord-arc 严格大于 piecewise-$C^1$（含尖点 + 角点 + Lipschitz 但非可微情形），严格小于 $C^0$（排除分形）。如果 P2 成立，会成为历史上第一条不依赖局部正则性的内接正方形定理。von Koch 雪花是 quasicircle 但非 chord-arc——P2 不直接覆盖 Koch，但其证明手法可能延拓。
障碍 / KILL 路径。 真核心是"r → 1 闭合"。Greene–Lobb 2020 给光滑曲线所有宽高比矩形；对 chord-arc 极限要求"光滑近似 $\gamma_n$ 的 $r$-矩形宽高比极限 $r^*=1$"，而这正是"非退化下界"那个咽喉。可能 KILL：构造 chord-arc 曲线序列 $\gamma_n$ 使其内接正方形边长 $\to 0$，则 $c(K)$ 无下界。
P3（近似正方形定理，主线 3 弱化版）。
陈述。 对每条 $C^0$ Jordan 曲线 $\gamma$ 和每对 $\epsilon,\delta>0$，存在 $\gamma$ 上 4 点 $p_1,p_2,p_3,p_4$ 使
关键引理。 (i) Stromquist 1989 局部单调情形 + Sard 型摄动；(ii) Vaughan 紧致化给定边长矩形序列；(iii) 多边形内接正方形紧致定理（背景包步骤）。
与 $C^0$ 桥。 桥是定量梯度：P3 不直接给出 Toeplitz，但若$\delta$ 与 $\epsilon$ 之间的关系是 $\delta=f(\epsilon)$ 而非 $\delta=f(\epsilon,\gamma)$（即不依赖 $\gamma$），则取 $\epsilon\to 0$ 得真正方形。这正是 Q3 提出的"显式 $\delta(\epsilon)$ 上界函数"目标。
障碍 / KILL 路径。 双参数 $(\epsilon,\delta)$ 之间没有先验关系，朴素证明只给 $\delta=\delta(\gamma,\epsilon)\to 0$ 当 $\epsilon\to 0$。可能 KILL：发现具体 $\gamma$ 使 $\delta$ 必须随 $\epsilon$ 任意快地趋零。Vaughan 矩形宽高比 $\to 0$ 序列即是此类反例的现成蓝本。
P4（Cayley–Menger SAT/SMT 闭合 piecewise-代数类，主线 4）。
陈述。 设 $\gamma$ 是由 $N$ 段实代数曲线段拼成的 Jordan 曲线，每段次数 $\leq d$。则存在算法 $\mathcal{A}$ 使
关键引理。 (i) Stromquist 1989 + Cantarella–Denne–McCleary 2013：piecewise-$C^1$ 类（含 piecewise-代数）已证存在性 ⇒ 算法不会输出 "no"；(ii) Tarski–Seidenberg 实代数几何 quantifier elimination；(iii) dReal 对 NRA 的 $\delta$-decision procedure（Gao–Avigad–Clarke 2012）。
与 $C^0$ 桥。 间接桥：piecewise 代数曲线类对 $C^0$ Jordan 曲线稠密（一致 Hausdorff 距离意义下，由 Weierstrass + 多边形逼近）。如果再有 P3（近似正方形）+ 一个稳定性引理（Cohen-Steiner persistence stability），可拼出"$C^0$ ⇒ 近似正方形 ⇒ 极限正方形"。
障碍 / KILL 路径。 CAD 在 $N,d$ 双指数复杂度，$\mathrm{poly}(N,d)$ 时间是有条件的（如固定 $d$）。机检定理本身没有定理学上的疑问——piecewise-代数已被现有结果覆盖；P4 的真正贡献是把现有定理转成可执行算法，给后续 Koch 雪花、Mandelbrot $\partial M$ 等"边界情形"提供机器辅助证明的基础设施。
P5（$\dim_H>1$ 反例 4-point Frostman 阻击，主线 1+反例反推）。
陈述。 设 $\gamma$ 是 Jordan 曲线，$\dim_H(\gamma)=d>1$，$\mu$ 是 $\gamma$ 上 $d$-Frostman 测度（即 $\mu(B(x,r))\leq C r^d$）。定义"正方形配置核" $$K_\square(p_1,p_2,p_3,p_4):=\exp\!\Big(-\frac{E(p_1,\dots,p_4)}{\eta^2}\Big),$$ 其中 $\eta>0$ 为带宽，$E$ 为 P2 中的正方形能量。则存在 $c(d)>0$ 使 $$\iiiint_{\gamma^4} K_\square\,d\mu^4\geq c(d)\cdot\mathrm{diam}(\gamma)^?,$$ 进而 $\gamma$ 内接（弱意义）正方形配置 4 元组。
关键引理。 (i) Mattila $k$-point energy 框架（Mattila 2015 第 4 章）；(ii) Falconer 距离猜想风格的 4-point Mattila–Sjölin 不等式（待建立——这是 P5 的真正硬核）；(iii) Frostman 测度上 $\mu^4$ 的乘积测度估计 + Cauchy–Schwarz。
与 $C^0$ 桥。 互补桥。P5 不直接证 $\gamma$ 内接真正方形，只给"4-点配置积分 $>0$"——意味着存在测度论意义上接近正方形的 4 元组。结合 P3 的近似正方形定理 + 一个"测度→点态"的 lifting 引理，可在 $\dim_H>1$ 类上闭合。
障碍 / KILL 路径。 4-point Mattila–Sjölin 不等式是新猜想，与 Falconer $\dim_H\geq d/2+1$ 同谱系，是 Fourier 分析硬核问题。可能 KILL：构造 $\dim_H=d>1$ 的 Jordan 曲线使 4-point energy 积分可任意小——这相当于在 Falconer 曲线上做精细构造，目前看不到现成蓝本，但不能排除。
5 条小命题之间的依赖图大致为：P1 ↔ P2（同主线 2/3 互证），P3 是 P2 的弱化也是 P1 的"几何非退化"补充，P4 给前 3 条提供机器实验台，P5 处理 P1–P3 不能覆盖的 $\dim_H>1$ 反例栖息地。任意一条单独成立都构成新的发表级结果；P1+P2 任一证毕则严格强于现有 piecewise-$C^1$ baseline。
把上面 7 条放回 13.0 的"路线图而非证明"框架：本节的真实价值，不在于推进任何一个具体的 $\epsilon$，而在于让接下来的 5–10 年的工作者能在同一张地图上讨论 chord-arc 子情形、$\sigma$-Lefschetz、近似正方形定理这些原本散在不同子社区里的问题。当一个 1911 年的猜想已经走过一百多年，它需要的可能不是更聪明的灵感，而是一份所有人都同意的共享坐标系。本节是一份提议中的坐标系——欢迎所有反对意见。
本笔记把内接正方形问题安置在"$C^0$ 拓扑刚性 vs $C^1$ 微分工具"框架内。核心观察：所有已知证明都依赖某种局部线性化（切方向、Lagrangian、locally monotone），而 $C^0$ 退化使其全部失效。突破必依赖某种全局拓扑 / 测度论 / 信息论的新工具。
下一步：用 Template 2 v2 对 §13.5 列出的高优先级小命题做深入证伪 / 验证 — 系统地探索每条路线的可行性边界，特别是 chord-arc 类 + 近似正方形定量化 + Frostman 4-point energy 反例约束。
以下 4 个候选命题已通过 Template 2 v2 多 agent 流水线做深入分析（5 层流水线 × ~16 agents/命题，共 ~82 agent / ~$8）。verdict 综览：
| # | 命题 | L4 panel 投票 | L5 decision | 一句话核心 | 链接 |
|---|---|---|---|---|---|
| P1' | σ-Lefschetz 数命题（修订版 ℤ_w 扭系数） | fixable 1P/3F/0R | weak-GO B | 原 𝔽₂ 陈述被圆例数值证伪 → 修订为 ℤ_w 扭系数。L3.lit 发现 Greene–Lobb 2024 (Floer Homology and Square Pegs) 已蕴含 P1' 全陈述（rectifiable + Area > ½πR²）→ P1' 重定位为"GL Corollary 的 Floer-free 拓扑/Lefschetz 重证 + 阈值移除 program" | → 详细笔记 |
| P2 | K-chord-arc Jordan 曲线内接正方形量化定理 | PASS 4P/0F/0R | strong-GO B | 严格证 c(K) ≥ 1/(4√2 K) · diam(γ)，数值给凸 c·K → 1.000 渐近 + dual min(0.93/K, 0.18)。Asano–Ike 2024 仅给存在性，量化下界文献空白。8-12 页短论文可发 | → 详细笔记 |
| P3' | 近似正方形定理：δ_max(γ, ε) ≈ δ*(γ) + O(ε) | fixable 3P/1F/0R | strong-GO B | L1.sentinel + L3.numerical 数值发现 δ*(γ) ≈ width(γ)/√(width²+diam²)，22 条曲线 R²=0.956。原 P3-strong 反例 (椭圆 a/b → 0) 被椭圆给 δ* ≈ b/diam 解释。polish 阶段 | → 详细笔记 |
| P4' | Cayley–Menger SAT/SMT 机检定理（修订版：实际可执行） | fixable 3P/1F/0R | strong-GO B | 原 poly(N, d) 严格 CAD 不可行 → 修订为"实际可执行"。算法 𝒜 实践 O(N²·poly(d)·log(1/δ))。数值 16/16 SAT, N≤324（含 Koch L4），time ~ N^1.47。CDM 2013 闭合"无解"分支。SMT artifact 论文 (CICM/ITP/ISSAC) | → 详细笔记 |
Template 1 + Template 2 v2 共投入 ~82 个 sonnet agent，总耗时约 4 小时。其中：