17 岁高中生构造反例推翻 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