何が起きたのか

2026年8月5日、arXiv に『Linear dependence of time-frequency shifts of a Schwartz function』(arXiv:2608.05044)が投稿されました。著者は Markus Faulhuber、Philipp Petersen、Jordy Timo van Velthoven、Felix Voigtlaender の4名です。アブストラクトは短く、こう書かれています。有限個の時間周波数シフトが線形従属になりうることを示し、これにより Heil・Ramanathan・Topiwala のいわゆる HRT 予想を反証する。特に、12個の時間周波数シフトからなる例を与える（arXiv:2608.05044 2026-08-05）。

HRT 予想は 1996 年に Proceedings of the American Mathematical Society に載った論文（Heil, Ramanathan, Topiwala, “Linear Independence of Time-Frequency Translates”, Vol. 124 No. 9, pp. 2787–2795）に由来する、時間周波数解析の中心的な未解決問題でした（JSTOR）。それが 30 年目に否定された、というのが事実の骨格です。

そしてこの論文には、1.2 節という短いセクションが置かれています。タイトルは “Usage of Large Language Models”。冒頭の一文はこうです。反例とその証明戦略は、著者らとの対話の中で大規模言語モデル、具体的には ChatGPT (GPT-5.6 Pro) によって開発された（arXiv:2608.05044 HTML版）。

この記事では、『AI が 30 年来の未解決予想を反証した』という一行を、論文本文と Terence Tao 氏のブログ記事に戻って分解します。何が反例なのか、モデルが出した部分はどこまでで、人間が書き直した部分はどこからか、そして『区間演算で厳密に保証された』という言葉が実際に保証している範囲はどこまでか、の3点です。

HRT 予想が主張していたこと

時間周波数シフト作用素を $\pi(z)$ と書きます。$z=(x,\omega)\in\mathbb{R}^2$ に対して、論文では次のように定義されています（arXiv:2608.05044 HTML版）。

$$\pi(z)f(t)=e^{2\pi i t\omega}f(t-x)$$

平行移動と変調を組み合わせた作用素です。HRT 予想は、ゼロでない $f\in L^2(\mathbb{R})$ と有限個の相異なる点 $z_1,\dots,z_n\in\mathbb{R}^2$ に対して、$\{\pi(z_1)f,\dots,\pi(z_n)f\}$ が $\mathbb{C}$ 上一次独立である、と主張していました。

直感的には『関数を1つ選び、それを時間方向・周波数方向にずらしたコピーを有限個並べたら、それらは互いに独立になる』という主張です。これまで、$n=3$ の場合は完全に解決され、4点配置でも生成関数が実数値なら成立することが示され、点が整数格子上に乗る場合は Linnell が 1999 年に von Neumann 環を使って肯定的に解決していました（Linnell, Proc. AMS 127 (1999), 3269–3277）。部分的な肯定結果が積み上がる一方で、全体は開いたままでした。

今回の論文が与えたのは、その否定側の1点です。Theorem 1.1 は、ゼロでない係数 $\alpha_1,\dots,\alpha_{12}\in\mathbb{C}$、相異なる点 $z_1,\dots,z_{12}\in\mathbb{R}^2$、そしてゼロでない Schwartz 関数 $f$ が存在して次が成り立つ、と述べています。

$$\sum_{k=1}^{12}\alpha_k\,\pi(z_k)f(t)=0\qquad(t\in\mathbb{R})$$

しかも $f$ は $L^2$ の中で病的に選ばれた関数ではなく、急減少かつ無限回微分可能な Schwartz クラスの関数です。予想が破れたのは境界事例の関数クラスではなかった、という点がこの結果の重さを決めています。

反例の構造──ずらした格子11点と原点

論文の構成をたどると、12点の内訳は非対称です。11点は $A\in GL(2,\mathbb{Q})$、$\zeta\in(\mathbb{R}\setminus\mathbb{Q})^2$ による平行移動格子 $A\mathbb{Z}^2+\zeta$ の上に乗り、残り1点が原点 $(0,0)$ です（arXiv:2608.05044 HTML版）。格子側の点は $\lambda_k=(m_k,n_k/2)\in\mathbb{Z}\times\tfrac12\mathbb{Z}$ という形で、無理数ずらし $\zeta=(\alpha,\beta/2)$ を加えたものになっています。ここで $\alpha=\sqrt[3]{2}-1$、$\beta=(\sqrt[3]{2})^2-1$ です。

この『格子の平行移動に1点だけ足す』という形は偶然ではありません。Tao 氏は 2026 年 8 月 6 日のブログ記事で、この配置が格子（の平行移動）から1点だけ異なるにすぎない点を指摘し、格子配置そのものについては肯定的結果が知られている場合と区別しています（What’s new 2026-08-06）。無理数ずらしを入れることで、点集合が離散部分群に収まってしまう状況を外している、という読み方になります。

証明の骨格は、ベクトル値 Zak 変換で問題を書き換えることです。論文では、Weyl 多項式の作用が Zak 側で行列の掛け算に化けることを使い、$(\mathcal{Z}_2\mathcal{P}\mathcal{Z}_2^{-1})F(z)=B_\ast(z)F(z-\tau)$ という形に落とします。これはスカラー値の Zak 変換では境界の障害が出るところを、ベクトル値にすることで回避する設計です。あとは、恒等的にゼロでないベクトル Zak 関数 $F_\ast$ を見つける問題、つまり $B_\ast(z)F_\ast(z-\tau)=c_\ast F_\ast(z)$（式1.9）という固有値方程式を解く問題になります。なお「滑らかでどこでも消えない」ベクトル Zak 関数 $v_\ast$ が登場するのは第6節の $B_\ast(z)v_\ast(z-\tau)=q_\ast(z)v_\ast(z)$（式1.13）のほうで、こちらは別立ての構成です（arXiv:2608.05044 HTML版）。

ここで効いてくるのが、明示的に書ける階数1の行列場 $B_0(z)$ との近さです。式 (1.12) はこう述べます。

$$\sup_{z\in\mathbb{R}^2}\lVert B_\ast(z)-B_0(z)\rVert_{\mathrm{op}}<\frac{1}{3}$$

この不等式が成り立てば縮小写像の議論が回り、不動点として解が構成できます。Theorem 5.1 で示された実際の値は $\delta\le 41629/125000$、小数にすると $0.333032$ です（arXiv:2608.05044 HTML版）。$1/3=0.3333\ldots$ に対して、余裕はおよそ 0.0003 しかありません。Tao 氏はこの評価が僅差で通っていること、そしてこの評価が最適とは限らないことに触れています（What’s new 2026-08-06）。

なお、閾値が $1/3$ であることには意味があります。不動点として得られる関数は最初は有限回微分可能なだけで、Schwartz クラスには届きません。論文は、微分の階数ごとに同じ縮小係数が効く構造を使って正則性を段階的に上げていくのですが、その際に条件を $\delta<1/4$ ではなく $\delta<1/3$ で足りるように緩めています。$0.333032$ という数字は、この緩めた閾値の内側にぎりぎり収まっている数字です。

モデルが出した部分と、人間が書き直した部分

1.2 節は、寄与の線引きをかなり具体的に書いています。著者側がやったこととして挙げられているのは、反例探索を始めたこと、初期の探索が行き詰まったときに相空間の点数を増やすよう提案したこと、抽象的な手法を初等的な議論に置き換えるよう促したこと、そして最初は存在を主張するだけだった構成を固定された有限配置に変換するよう求めたこと、です（arXiv:2608.05044 HTML版）。

一方でモデル側の出力については、著者らは率直な評価を書いています。私たちの見るところ、証明のギャップは時に比較的実質的だった（原文は “the gaps in the proof were occasionally relatively substantial”）、という一文です（arXiv:2608.05044 HTML版）。そして具体例として挙げられているのが 6.2 節と付録 A です。論文によれば、この 6.2 節と付録 A の議論の全体は、もともと次の2文（最終的には正しかった2文）だけで与えられていました。

The fixed point inherits the finite regularity of the data. One may prove this by differentiating the fixed-point equation: at each derivative order, the highest derivative occurs linearly with the same fiber-contraction coefficient <1, while lower-order terms are already known.

不動点はデータの有限正則性を継承する。不動点方程式を微分すればよい──各微分階数において、最高階の微分は同じ 1 未満のファイバー縮小係数とともに線形に現れ、低階の項はすでに既知である。方針としては正しく、実際その方針で証明は通りました。ただし、この2文が最終的に 1 つの節と 1 つの付録に展開されたということは、多重指数の計算と微分階数に関する帰納法を人間側が書き下ろした、ということでもあります。

もう1つ具体的に書かれているのが誤りの修復です。著者らは Lemma 6.5 の初期証明に自明でない誤りを見つけ、新しい議論で修復した、と記しています。加えて、ChatGPT の複雑な議論のいくつかを初等的な証明に置き換えたこと、ベクトル値 Zak 変換をスカラー版に置き換えることはできないと独立に確認したことも挙げられています。

1.2 節は次の文で締められます。著者らは LLM 生成物の影響を受けた論文のすべての部分を独立に検証・検証済みとし・書き直しており、論文の数学的内容について全面的な責任を負う（arXiv:2608.05044 HTML版）。Tao 氏も、この時代にこの結果が AI 支援であること自体は驚くにあたらないとした上で、著者らの開示の仕方を評価し、最終的な議論は手で書かれていると述べています（What’s new 2026-08-06）。

つまり、寄与の分解としてはこうなります。探索の方向づけと手法の選択は人間、反例の配置と証明戦略の骨格はモデル、ギャップの充填と誤りの修復と最終的な文章化は人間。どれか1つを落としても論文にはならなかった、という形です。

『区間演算で保証』が保証していること

式 (1.12) の $\sup$ は、無限個の点にわたる上限です。これをどう有限回の計算に落としたかが、論文の 5 節と付録 C にあたります。

手順は3段です。まず、行列を $e^{-\pi i\omega}$ に関する Laurent 多項式として書き、解析的に $\omega$ 依存性を消して 1 変数の評価に還元します。次に、明示的な微分の評価式を使って、有限個のグリッド点 $x_j$ での検証に問題を落とします。最後に、そのグリッド点での数値評価を python-flint 経由の FLINT/Arb で行います。ここで使われるのは 256 ビット精度のボール演算（中心と半径による表現）で、指数関数や三角関数の誤差を厳密に伝播させ、外向き丸めによって真の値を必ず区間の中に閉じ込めます（arXiv:2608.05044 HTML版）。論文のコメント欄には補助 Python コードが anc フォルダに置かれている旨が記載されています（arXiv:2608.05044 2026-08-05）。

この設計により、$\delta\le 41629/125000$ は浮動小数点の丸めに依存しない上界として得られます。ただし注意すべきなのは、これが保証しているのは『著者が書いた数式を、著者が書いたコードで、厳密な区間演算により評価した結果』であるという点です。ω 依存性を消す解析的な還元が正しいか、微分の評価式が正しいか、グリッド幅の選び方が十分か──これらは区間演算の外側にある、通常の数学的議論です。Lemma 6.5 に自明でない誤りが1つ見つかったという事実が示すのは、この層でのミスは起こりうる、ということでもあります。

Tao 氏は独立の数値チェックが行われていることに触れていますが、2026 年 8 月 10 日時点で、この論文は arXiv プレプリントの段階です。査読誌の査読を通過したという情報は確認できていません。

残された不確実性

第一に、査読が済んでいません。arXiv 投稿は 2026 年 8 月 5 日、Tao 氏のブログ記事は 8 月 6 日で、いずれも公開から数日です。証明の骨格が広く受け入れられるかどうかは、時間分解能の高い判断を要する段階にあります。

第二に、12 という数が最小かどうかは分かりません。論文は 12 点の例を1つ与えたのであって、より少ない点数で反例が作れるか、あるいは $n\le 11$ では予想が成立するのかは別の問題として残ります。$n=3$ が肯定的に解決済みであることを考えると、3 と 12 の間には広い未解決領域があります。

第三に、$0.333032$ という数値の余裕の小ささです。Tao 氏はこの評価が最適とは限らないと述べています。より良い評価が得られれば構成が緩むのか、逆にこの構成が閾値ぎりぎりでしか成立しないのかは、現時点では読み取れません。

第四に、AI の寄与の測り方です。1.2 節は誠実に線引きを書いていますが、これは著者らの自己申告に基づく記述であり、論文本文および arXiv の補助資料（anc フォルダ）に置かれているのは Python コードのみで、GPT-5.6 Pro との対話ログが公開されているかどうかは確認できていません（arXiv:2608.05044 2026-08-05）。どのプロンプトで何回試行したのか、失敗した方向がいくつあったのかは論文からは分かりません。『GPT-5.6 Pro が予想を反証した』という要約と、『著者4名が LLM 生成部分をすべて独立に検証・検算し書き直したと明記されている論文の骨格をモデルが出した』という要約は、同じ事実の別の切り取りです。なお、その検証と書き直しにどれだけの期間を要したかは論文に記載がありません（arXiv:2608.05044 HTML版）。

まとめ

事実として確定しているのは次の点です。arXiv:2608.05044 は 2026 年 8 月 5 日投稿で、Schwartz 関数の 12 個の時間周波数シフトによる線形従属関係を明示的に構成し、1996 年に提起された HRT 予想を反証したと主張しています。11 点は無理数ずらしを加えた格子上にあり、1 点が原点です。証明はベクトル値 Zak 変換による固有値方程式（不動点方程式）への還元と、$\sup\lVert B_\ast-B_0\rVert_{\mathrm{op}}\le 0.333032<1/3$ という区間演算で保証された評価に基づく縮小写像の議論です。

そして論文自身が、反例と証明戦略は GPT-5.6 Pro との対話で開発されたと書き、同時にギャップが時に比較的実質的だったこと、6.2 節と付録 A の全体がもともと 2 文だったこと、Lemma 6.5 の初期証明に誤りがあったことを書いています。この 1.2 節の書き方自体が、AI 支援研究の開示の1つの型として参照されうるものです。何をモデルが出し、どこを人間が埋め、誰が責任を負うかを、節を割いて明示する。結果の大きさとは別に、この形式のほうが後々まで効いてくる可能性があります。

主要出典

関連する過去記事