说一个大家不知道的点吧。

Hannah Cairo

这人是个跨性别，并不是真正的女性。

他在接受scientific american的采访中，承认了自己跨性别身份（男跨女），但是很多媒体隐瞒了这点。

他在加州大学伯克利的一门研究生课程中，推翻了Mizohata-Takeuchi 猜想。

完成证明后，他决定直接申请研究生院，完全跳过大学本科（和高中文凭）。

说下为啥会和王虹前年的工作有关。

因为这是挂谷猜想推论之一，存在这样一条证明链：

挂谷猜想 ⟹ 限制性猜想 ⟹ 斯坦猜想 ⟹ 沟畑-竹内猜想

---

先定义一些废话。

一个周期为 $T$T 的函数 $f(t)$f(t)，可以用傅里叶级数来表示：

$\displaystyle f(t) = \sum_{n=-\infty}^{\infty} c_n e^{2\pi i n t / T}$\displaystyle f(t) = \sum_{n=-\infty}^{\infty} c_n e^{2\pi i n t / T}

那么在 $\mathbb{R}^d$\mathbb{R}^d 中，一个函数 $f(x)$f(x) 的傅里叶变换 $\hat{f}(\xi)$\hat{f}(\xi) 可以定义为：

$\displaystyle \hat{f}(\xi) = \int_{\mathbb{R}^d} f(x) e^{-2\pi i x \cdot \xi} \,\mathrm{d}x$\displaystyle \hat{f}(\xi) = \int_{\mathbb{R}^d} f(x) e^{-2\pi i x \cdot \xi} \,\mathrm{d}x

傅里叶逆变换将频域函数 $\hat{f}(\xi)$\hat{f}(\xi) 转换回时域函数 $f(x)$f(x)：

$\displaystyle f(x) = \int_{\mathbb{R}^d} \hat{f}(\xi) e^{2\pi i x \cdot \xi} \,\mathrm{d}\xi$\displaystyle f(x) = \int_{\mathbb{R}^d} \hat{f}(\xi) e^{2\pi i x \cdot \xi} \,\mathrm{d}\xi

标准的傅里叶逆变换在整个 $\mathbb{R}^d$\mathbb{R}^d 空间上对频率 $\xi$\xi 进行积分，如果将积分的区域限制在光滑的曲面 $\Sigma \subset \mathbb{R}^d$\Sigma \subset \mathbb{R}^d上，可以得到傅里叶延拓算子 $\mathcal{E}$\mathcal{E} :

$\displaystyle \mathcal{E}f(x) = \int_{\Sigma} f(\xi) e^{2\pi i x \cdot \xi} \,\mathrm{d}\sigma(\xi)$\displaystyle \mathcal{E}f(x) = \int_{\Sigma} f(\xi) e^{2\pi i x \cdot \xi} \,\mathrm{d}\sigma(\xi)

---

挂谷猜想认为 $\mathbb{R}^d$\mathbb{R}^d 中的挂谷集，其 Hausdorff 维数和 Minkowski 维数都必须是 $d$d：

$\dim_H(K) = \dim_M(K) = d$ \dim_H(K) = \dim_M(K) = d

大致可以理解为，无法将指向所有方向的线段压缩到一个比空间本身维度更低的对象中。

不管你怎么压缩，能量的扩散的范围有个约束。

---

由此衍生出限制性猜想，认为当指数 $(p, q)$(p, q) 满足某个复杂条件时，存在常数 $C$C 使得：

$\displaystyle \|\mathcal{E}f\|_{L^q(\mathbb{R}^d)} \leqslant C \|f\|_{L^p(\Sigma)}$\displaystyle \|\mathcal{E}f\|_{L^q(\mathbb{R}^d)} \leqslant C \|f\|_{L^p(\Sigma)}

大致可以理解为，由于曲面 $\Sigma$\Sigma 是弯曲的，那么由它生成的波 $\mathcal{E}f$\mathcal{E}f 就会在空间中散开，而不是集中在某些小区域。

这种色散效应可以使得 $\mathcal{E}f$\mathcal{E}f 的 $L^q$L^q 范数比 $\Sigma$\Sigma 是一个平面时要小，因此可以在更大的指数范围内有界。

---

由此衍生出斯坦猜想，重点从 $L^q$L^q 范数回到 $L^2$L^2 ，认为：

$\displaystyle \int_{\mathbb{R}^d} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C \int_{\Sigma} |f(\sigma)|^2 \left( \sup_{l \parallel N(\sigma)} \int_l w(x) \,\mathrm{d}x \right) \,\mathrm{d}\sigma$\displaystyle \int_{\mathbb{R}^d} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C \int_{\Sigma} |f(\sigma)|^2 \left( \sup_{l \parallel N(\sigma)} \int_l w(x) \,\mathrm{d}x \right) \,\mathrm{d}\sigma

大致可以理解为，由信号 $f$f 产生的总加权能量会被一个局部化的量控制。

这相当于把权重 $w$w 对波 $\mathcal{E}f$\mathcal{E}f 的影响分解到了曲面的每一个法方向上。

---

沟畑-竹内猜想是斯坦猜想的一个更粗糙的版本：

$\displaystyle \int_{\mathbb{R}^d} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C \cdot \|f\|_{L^2(\Sigma)}^2 \cdot \left( \sup_{l \subset \mathbb{R}^d} \int_l w(x) \,\mathrm{d}x \right)$\displaystyle \int_{\mathbb{R}^d} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C \cdot \|f\|_{L^2(\Sigma)}^2 \cdot \left( \sup_{l \subset \mathbb{R}^d} \int_l w(x) \,\mathrm{d}x \right)

大致就是断言这个局部化的量，就是所有直线中能量最集中的那一条。

---

王虹前年的工作^[1]证明了沟畑-竹内猜想的基本上是对的，就是要加个损失修正，改成：

$\displaystyle \int_{B_R} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C_\varepsilon R^{\frac{n-1}{n+1}+\varepsilon} \cdot \|Xw\|_{L^\infty} \cdot \|f\|^2_{L^2}$\displaystyle \int_{B_R} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \leqslant C_\varepsilon R^{\frac{n-1}{n+1}+\varepsilon} \cdot \|Xw\|_{L^\infty} \cdot \|f\|^2_{L^2}

当观察尺度 $R$R 越来越大时，增长速度的上界不是线性的。

Hannah Cairo 这次的工作^[2]证明了原始的、无任何损失项的沟畑-竹内猜想是错误的，对 $C^2$C^2曲面会有：

$\displaystyle \int_{B_R} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \gtrsim \log R \cdot \|f\|^2_{L^2} \cdot \|Xw\|_{L^\infty}$\displaystyle \int_{B_R} |\mathcal{E}f(x)|^2 w(x) \,\mathrm{d}x \gtrsim \log R \cdot \|f\|^2_{L^2} \cdot \|Xw\|_{L^\infty}

当观察尺度 $R$R 越来越大时，增长反正不是线性的。

---

至于这个工作对王虹的影响么，影响接近于零。

因为这次是用 Tao 的新理论直接证明的，珠峰北坡雪崩了和南坡登顶有啥关系。

参考

1. ^Some sharp inequalities of Mizohata--Takeuchi-type https://arxiv.org/abs/2302.11877
2. ^A Counterexample to the Mizohata-Takeuchi Conjecture https://arxiv.org/abs/2502.06137

意义就是她老师张瑞祥多年的工作白瞎了

哈哈哈

相当于很多人都在登山，结果走到半山腰才发现立了块牌子，上书“此路不通”

2025.0715更新一波：这个猜想的讲解视频在b站上有，不愧是b站，不错。

————————————————————

不懂调和分析，可能跟下面的故事相似吧。

PS：找到了合适的问题就能慢慢做出来，如果问题很难（比如黎曼猜想，霍奇猜想等），穷尽一生都不一定能有所突破。