数学者AIを主戦力に、第二の数学論文を公開しました――「どこから見ても同じ」に見える二次形式を、非線形な拡大が見分ける
独自開発中の数学者AIを主戦力とした、第二の数学論文をZenodoで公開しました。
Weak Vishik Equivalence and Linear 2-Basis Blindness for Totally Singular Quadratic Forms
論文はこちらです。
前回の記事では、独自開発中の数学者AIが主戦力となって完成させた、最初の数学論文について紹介しました。
その後も研究を続け、同じ日のうちに第二の論文を公開することになりました。
今回の研究では、前の論文で扱った標数2の数学から、二次形式と体拡大の問題へ進みました。
今回、何が発見されたのか
今回の発見を簡単に表現すると、
非常に多くの方法で調べても、まったく同じように見える二つの二次形式が、ある非線形な方向から調べたときに初めて異なる振る舞いを示す
というものです。
対象となるのは、標数2の体上の「totally singular quadratic form」と呼ばれる二次形式です。
標数2では、1＋1＝0になります。
この世界の二次形式は、実数上でよく知られている二次形式とはかなり異なる構造を持っています。
今回、私たちは二つの8次元二次形式を明示的に構成しました。
この二つは、全体を定数倍し、変数を取り替えても互いに一致しません。
つまり、数学的には本当に異なる二次形式です。
ところが、非常に広い範囲の観測では、両者を見分けることができません。
平方根を一つ加える試験では、すべて同じ
体に新しい平方根を一つ加えると、二次形式の一部が「崩れ」、異方部分と呼ばれる本質的な部分の次元が変化することがあります。
今回構成した二つの二次形式は、
どの元の平方根を一つ加えても、異方部分の次元がまったく同じように変化する
という性質を持っています。
このような関係は、weak Vishik equivalenceと呼ばれます。
つまり、あらゆる一段の平方根拡大を使って調べても、二つの二次形式は区別できません。
それでも、二つは相似ではありません。
したがって今回の論文は、標数2のtotally singular quadratic formsについて、
weak Vishik equivalenceであっても、必ずしもsimilarityは導かれない
ことを明示例によって示しています。
線形な座標を全部取り替えても見分けられない
今回の例には、さらに強い性質があります。
標数2の体を、平方の情報から組み立てるための座標として「2-basis」と呼ばれるものがあります。
一つの座標系だけを調べたのでは、偶然その座標が違いを隠していた可能性があります。
そこで、標準的な4つの基底要素に対して、考えられるすべての線形な座標変更を行いました。
その一つ一つについて、
座標から作られる一段拡大
二段拡大
三段拡大
全体の拡大
を調べました。
それでも、二つの二次形式のprofileはすべて一致しました。
計算上確認した線形な次数4中間体は35個ありますが、そのすべてで両者は同じ次元を示します。
つまり、
一つの座標系で同じに見えるだけでなく、線形に取り替えられるすべての座標系から見ても同じ
なのです。
ところが、非線形な拡大では違いが現れる
しかし、座標から線形に作られる拡大ではなく、二つの基底要素の積を含む非線形な中間体を使うと、状況が変わります。
論文では、具体的に
(k(t,su))
という次数4中間体を用いています。
この中間体では、二つの二次形式の異方部分の次元が、
一方は4、もう一方は3
に分かれます。
ここで初めて、線形な座標観測では隠れていた違いが現れます。
たとえるなら、二つの物体を正面、横、上、斜めなど、決められたあらゆる直線方向から観測しても、まったく同じ形に見えていたとします。
しかし、観測方向そのものを非線形に組み合わせた新しい方向から見ると、初めて片方にだけ存在する構造が見える。
今回発見したのは、そのような現象の厳密な数学的実例です。
「すべての座標観測」と「対象そのもの」は同じではない
この結果が示しているのは、単に珍しい反例が一つ見つかったということだけではありません。
どれほど多くの座標系を調べても、観測方法がある特定の種類に制限されていれば、対象の違いを見落とす可能性があります。
今回の場合、
あらゆる一段平方根拡大によるprofile
あらゆる線形な2-basis変更によるcoordinate profile
を両方集めても、二つの二次形式を区別できません。
しかし、すべての中間体を含む、より内在的なprofileまで進むと違いが現れます。
つまり、
座標をどれだけ大量に変更しても、座標に依存しない完全な情報になるとは限らない
ことが、具体的に示されました。
論文タイトルの「Linear 2-Basis Blindness」は、この線形な座標観測が持つ「見えなさ」を表しています。
先行研究との関係
weak Vishik equivalenceは、先行研究で導入され、いくつかの特殊なtotally singular quadratic formsについては、weak Vishik equivalenceからsimilarityが導かれることが知られていました。
今回の論文は、そのような正の結果が、制限のない一般のtotally singular quadratic formsにまで拡張できるわけではないことを示しています。
ただし、より強い「full Vishik equivalence」についての問題を解いたわけではありません。
full Vishik equivalenceでは、平方根を一つ追加する拡大だけでなく、すべての体拡大で二次形式の振る舞いを比較します。
今回の二つの二次形式は、次数4の拡大で実際に区別されるため、full Vishik equivalentではありません。
したがって、今回得られたのは、
weak Vishik equivalenceは一般にはsimilarityを保証しない
という負の結果です。
一方、
totally singular quadratic formsについて、full Vishik equivalenceはsimilarityを保証するのか
という、より強い問題は残っています。
また、今回の反例は8次元ですが、これが最小次元であるとはまだ分かっていません。
数学者AIが研究の中心問題を選んだ
今回も、数学者AIに完成済みの問題と解法を渡し、証明だけを出力させたわけではありません。
第一論文の完成後、数学者AIは発展研究の中から、
一段拡大では区別できない二つの空間を作れるか
座標に沿った高段拡大ではどうなるか
すべての座標profileが一致しても違いは残るか
非coordinateな拡大で初めて分離できるか
という問題を段階的に選びました。
研究の途中では、一つの座標系に対する反例から始まり、最終的には、
すべての線形な2-basis変更を行っても違いを発見できない例
へと結果が強化されました。
この研究方向を主に選び、次の問いを提示し続けたのは、独自開発中の数学者AIです。
最終原稿の論理の誤りも発見した
論文原稿を完成させたあと、数学者AIに全文を渡して最終監査も行いました。
その際、原稿の序論に書かれていた情報の包含関係が、数学的には正しくないことを数学者AIが発見しました。
一段平方根拡大のprofileと、線形なcoordinate profileは、単純な上下関係にはありません。
両者は、全中間体profileの異なる部分を観測しているからです。
この指摘を受けて、原稿では、
一段profileと全線形coordinate profileを合わせても、全中間体profileは決まらない
という正確な主張へ修正しました。
第一論文に続き、今回も数学者AIは成果を提案するだけでなく、共同研究チームの論理を検討し、誤った接続を止めました。
第二の数学論文として公開しました
今回の論文も、
私
独自開発中の数学者AI
ナギ
アカリ
スイ
による共同研究です。
数学者AIを主戦力としながら、候補の検討、異論、証明の監査、厳密な記号計算、先行研究調査、原稿の修正を重ねました。
公開した論文には、定義、明示例、証明に加えて、35個の線形次数4中間体を検証するための厳密計算コードと証明書も収録しています。
数学者AIの内部構造、育成方法、実行環境などは、今回も公開していません。
しかし、数学的主張そのものは、数学者AIの内部を知らなくても独立に検証できる形で公開しています。
第一論文の公開は、数学者AIが実際の数学研究の主戦力になった最初の成果でした。
第二論文では、そこからさらに進み、
先行研究で導入された数学的な同値関係について、一般にはsimilarityを保証しない明示的な反例を発見する
ところまで到達しました。
まだ研究を始めたばかりですが、数学者AIが自ら問題を選び、前の成果から新しい問いを育て、第二の論文へつなげました。
論文はこちらから読めます。
Weak Vishik Equivalence and Linear 2-Basis Blindness for Totally Singular Quadratic Forms
いいなと思ったら応援しよう！
このNoteの記事は、基本的に全て無料で公開していく予定です。それでももし、僕の活動に共感して応援したいと思ったら、ささやかなチップでも次の『表現』への大きな支えになります。