一个困扰了数学界四十余年的难题——Mizohata-Takeuchi conjecture（Mizohata-Takeuchi 猜想），最近被一位名叫 Hannah Cairo 的少女以一种意想不到的方式解决了。她的方法并非给出直接证明，而是构造出了一个巧妙的反例，从而表明这个长久以来被认为可能成立的猜想，实际上是错误的。这项工作源于她在高中时期旁听美国加州大学伯克利分校数学课程时的一份家庭作业。

图丨Hannah Cairo（来源：Hannah Cairo）

当时，作为一名对数学充满热情的高中生，Cairo 参加了由加州大学伯克利分校数学系助理教授张瑞祥（Ruixiang Zhang）主讲的课程。张瑞祥在课程中布置了一道特殊的作业，其中包含了Mizohata-Takeuchi 猜想的一个简化版本作为主要题目，而原始猜想则作为附加挑战题出现。正是这个附加题吸引了 Cairo 的注意。

图丨张瑞祥（来源：资料图）

最初，Cairo 的思路和许多前辈数学家一样，试图去证明这个猜想。经过数月的努力，她发现这条路异常艰难，但在这个过程中，她察觉到证明过程中的重重阻碍，或许正揭示了猜想本身的某种内在缺陷。她回忆说：“在几个月的证明尝试后，我逐渐理解了它为什么如此困难。我意识到，如果我能正确地利用这些困难，或许我能驳倒这个论断。”

这让她的研究思路发生了重大转变，从试图证明一个论断，转向了寻找推翻它的证据。Cairo 开始着手构建一个反例，即一个不符合猜想普适性结论的特殊数学构造。这个过程需要运用多种数学工具，包括分形（fractals）的理念，并进行极其精细的安排。她的研究成果以论文《Mizohata-Takeuchi 猜想的一个反例》（A Counterexample to the Mizohata-Takeuchi Conjecture）的形式，于 2025 年 2 月发表在预印本网站 arXiv 上。

图丨相关论文（来源：arXiv）

要理解这项工作的意义，需要先了解其所属的数学领域。调和分析（Harmonic Analysis）是现代数学的一个重要分支，其核心思想是将复杂的函数或信号分解为一系列简单的基础波（如正弦波和余弦波）的叠加。这种思想最早可以追溯到 19 世纪初法国数学家约瑟夫·傅里叶（Joseph Fourier）对热传导方程的研究，他提出可以用无穷级数的形式来表示复杂函数，这就是著名的傅里叶级数（Fourier series）。

在此基础上，傅里叶限制理论（Fourier Restriction Theory）进一步探讨了一个问题：如果我们只使用特定集合的频率（或波）来构建一个函数，那么这个函数最终会呈现出怎样的形态和性质？“在调和分析理论中，一切都由波构成。如果你使用正确数量的波，你可以用它们构建任何东西。”Cairo 这样解释这一理论的核心思想。

图丨Hannah Cairo 在 Youtube 上对其研究进行讲解（来源：Youtube）

Mizohata-Takeuchi 猜想的历史可以追溯到上世纪七八十年代，与偏微分方程（PDE，Partial Differential Equations）的研究紧密相关。当时，日本数学家 Sigeru Mizohata 与 Jiro Takeuchi 在研究量子力学中的基本方程薛定谔方程的解的适定性时，遇到了一个技术性难题。他们需要建立一种方法来保证方程解的稳定性，这个技术条件后来被形式化，并逐渐演变成了学界所称的 Mizohata-Takeuchi 猜想。

这个猜想具体涉及一个名为延拓算子（Extension Operator）的数学对象。简单来说，这个算子（记为 E）可以将一个定义在特定弯曲超曲面（curved hypersurface）Σ（例如球面或其他光滑曲面）上的函数 f，通过傅里叶变换的手段，“延拓”成一个定义在整个高维空间中的函数 Ef。这个过程可以看作是用曲面上的频率信息来“合成”一个空间中的波函数。

Mizohata-Takeuchi 猜想试图为这个合成出的函数 Ef 的“能量分布”给出一个统一的界定。它预测，Ef 的加权能量（weighted energy）——通过一个权重函数 w(x)来衡量——应该受限于两个因素：一是原始函数f在曲面上的 L² 能量，二是权重函数 w 的 X 射线变换（X-Ray Transform）的最大值。X 射线变换可以通俗地理解为计算 w 沿着空间中所有直线积分所能得到的最大值，这个值在数学上被称为一种挂谷型范数（Kakeya-type norm）。

用数学公式表达，该猜想的核心是一个不等式：∫|Ef(x)|²w(x)dx ≤ C·||f||²_L²(Σ)·||Xw||_L∞。这里，C 被认为是一个不依赖于f和w的普适常数。这个不等式试图在复杂的分析问题（不等式左侧的振荡积分）和相对直观的几何问题（右侧的 X 射线变换）之间建立联系。

图丨Mizohata-Takeuchi猜想的核心（来源：Youtube）

然而，Cairo 的工作表明，这个不等式并非在所有情况下都成立。她构造的反例显示，不等式中的常数 C 并非一个绝对的普适常数，它会随着所考察的空间尺度 R 的增大而缓慢增长，其增长速度与 log(R)（R 的对数）成正比。虽然对数增长非常缓慢，但这足以从根本上否定原猜想的普适性，证明其存在一个对数损失。

Cairo 构造反例的关键在于将问题转化到傅里叶空间（Fourier space）去处理。利用普朗歇尔定理（Plancherel's Theorem），她将问题转化为分析一个卷积（convolution）的能量。这样，问题就变成了：能否找到一对特殊的函数 f 和 h，使得它们的卷积的能量，超出了 Mizohata-Takeuchi 猜想的预测？

为此，她精心设计了函数 f 和 h 的结构。她将这两个函数设想为由离散的点集构成。其中，函数 h 由一个具有特定代数结构的格点集合 Q 定义，而函数 f 则由曲面 Σ 上一个稀疏但经过仔细挑选的点集 P 定义。整个构造的关键在于这两个点集的几何关系。

她需要让这两个点集满足两个看似相互制约的条件。第一，当将 Q 中的点与 P 中的点进行向量加法时，得到的点集需要与 Q 自身有大量的重叠。在函数语言中，这意味着 f 和 h 的卷积会在 Q 的格点位置上产生强烈的建设性干涉（constructive interference），从而使得卷积结果的能量变得非常大。

第二，构成 h 的格点集 Q 必须分布得足够“稀疏”，以至于任何一个超平面（hyperplane）都不能同时穿过其中太多的点。这个条件是为了控制不等式右侧的 X 射线变换项，使其保持在一个较小的值。

Cairo 成功地证明了，利用汉明立方体（Hamming cube）的投影和矩曲线（moment curve）的性质，可以构造出同时满足这两个条件的点集。矩曲线 Md(t) = (t, t², ..., t^d)是一个经典的代数几何对象，具有良好的非退化性质。通过这种构造，她使得不等式的左边被显著放大，而右边的界定项却相对受控，两者之间的差距恰好体现为那个 log(R) 因子。

这项工作对调和分析领域产生了多方面的影响。首先，它直接推翻了另一个相关的、更强的猜想——斯坦猜想（Stein's Conjecture）。斯坦猜想是 1978 年由著名数学家 Elias Stein 提出的，涉及挂谷最大函数（Kakeya maximal functions）对博赫纳-里斯乘子（Bochner-Riesz multipliers）行为的控制。Cairo 的反例表明，斯坦猜想在其最初表述中也是错误的。

图丨Elias Stein（来源：WikiPedia）

其次，她的工作为多线性限制猜想（Multilinear Restriction Conjecture）的研究指明了障碍。2006 年，数学家们提出了这个重要猜想，它是傅里叶限制理论中的一个核心问题。此前，研究人员曾希望利用 Mizohata-Takeuchi 猜想来改进已知结果中的误差项，Cairo 的工作证明了这条路是行不通的。

此外，她的研究也厘清了 Mizohata-Takeuchi 猜想与著名的挂谷猜想（Kakeya Conjecture）之间的关系。挂谷猜想起源于一个看似简单的几何问题：“如何用最小的面积让一根针完成掉头？”但它与限制理论中的“管状”几何结构密切相关，是现代调和分析的核心问题之一。

Cairo 的工作还对色散偏微分方程（dispersive PDE）的适定性理论产生了影响。Mizohata-Takeuchi 猜想最初就是为了研究薛定谔方程的一阶扰动的 L² 适定性而提出的。她的反例表明，某些此前被认为足够的条件实际上并不足够，这为该领域的研究提供了新的视角。

Cairo 的成果实际上也展现出现代数学研究的一个重要特点：问题的解决往往需要将多个看似无关的数学领域的工具巧妙结合起来。她的构造中用到的关联几何（incidence geometry）技术，就是近年来在组合几何学和调和分析交叉领域发展起来的有力工具。

值得注意的是，Cairo 在论文中还提出了一个可能的重新表述——局部 Mizohata-Takeuchi 猜想（Local Mizohata-Takeuchi Conjecture）。这个局部版本可能仍然成立，并且在某些应用中可能足够有用。这体现了数学研究的一个特征：即使一个猜想被证伪，从中汲取的洞察往往能够引导研究者提出更精确的新问题。

今年 6 月，Cairo 在西班牙马德里附近的埃斯科里亚尔举行的第 12 届调和分析与偏微分方程国际会议上首次展示了她的研究成果。很快，Cairo 将在美国马里兰大学开始她的博士研究，继续在张瑞祥教授的指导下工作。她计划在新的学术环境中建立自己的研究小组，继续在调和分析领域探索更多未解决的问题。

参考资料：

1.https://arxiv.org/pdf/2502.06137

2.https://english.elpais.com/science-tech/2025-07-01/a-17-year-old-teen-refutes-a-mathematical-conjecture-proposed-40-years-ago.html

运营/排版：何晨龙