正定値関数に関する予想への7次元の明示的反例
An explicit counterexample to the Hinrichs--Vybiral conjecture
この論文をやさしく読む
ひとことで言うと
ある条件を満たすすべての関数に成り立つと予想されていた行列の不等式について、成り立たない具体例を著者が提示しています。
何に役立つ？
正定値関数に期待できる下界の適用範囲を明確にする基礎研究です。すでに証明されている特殊な形の関数の結果は保たれるとしています。
この研究の面白いところ
7次元の三角多項式と8点という明示的な形で、22/5と9/2の差−1/10を示しています。要旨には、発見がChatGPT 6への1回の試行によるものだったという著者の説明も含まれます。
どこまで分かった？
反例の仮定と計算を直接検証したという著者の報告を紹介しています。ここで証明本文やAIとのやり取りを独立に確認したわけではなく、AIの一般的な数学能力を測る比較実験でもありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
HinrichsとVybíralの予想2は、Rᵈ上の連続で非負な正定値関数fがf(0) = 1に正規化されているなら、すべて [f(x_j − x_k)]_{j,k=1}ⁿ ⪰ 11ᵀ/n を満たすと主張する。本研究では、この不等式が成り立たない、R⁷上の明示的な三角多項式と8点を与える。すべての仮定を直接検証する。正定値性は非負のフーリエ係数から従い、各点での非負性は立方体上の補間から従う。明示的な符号ベクトルに対し、二次形式の値は22/5であるのに対して、提案された下界は9/2となる。その差は正確に−1/10である。この例は、gが正定値であるときの|g|²という形の関数について確立されている下界と矛盾しない。 この解は、同僚が個人契約のChatGPT 6を使い、1回のプロンプトの試行で見つけたものである。本研究の目的は、その解を公開するとともに、解の分析中に生まれたいくつかの考えをまとめることにある。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Conjecture~2 of Hinrichs and Vybíral asserts that every continuous, nonnegative, positive definite function $f$ on $\R^d$, normalized by $f(0)=1$, satisfies $[f(x_j-x_k)]_{j,k=1}^n\succeq \one\one^T/n$. We give an explicit trigonometric polynomial on $\R^7$ and eight points for which this inequality fails. All hypotheses are verified directly: positive definiteness follows from nonnegative Fourier coefficients, and pointwise nonnegativity follows from interpolation on a cube. For an explicit vector of signs, the quadratic form is $22/5$, whereas the proposed lower bound is $9/2$. The resulting gap is exactly $-1/10$. The example is compatible with the established bound for functions of the form $|g|^2$ with $g$ positive definite.\\ The solution was found in a single prompt try by a colleague using his private licence of ChatGPT 6. Our aim is to make the solution public, as well as to collect some ideas that emerged during the analysis of the solution.
arXiv ID: 2609.21733 ／ 要約の誤りについて