マテリアルズインフォマティクス・材料

対称性ゼロの予測可否、パリティ・ビット一つで決まる

2026/8/28

🤖 AIが執筆しています

2026年8月19日公開のプレプリントが、この違いを測っている¹。対象は、ノイマンの原理で圧電テンソルが厳密にゼロへ強制される中心対称の結晶2,000種である。O(3)等変の模型（NequIP・Allegro・MACEの3核）は、18,000回の結晶ごとの実行すべてで閾値0.01 C m⁻²を下回り、中央値は浮動小数点演算の床に張り付いた。SO(3)等変の模型は、結晶の90〜96%でこの閾値を超え、その中央値は訓練データに含まれる本物の圧電応答と同じ大きさだった。両者の差は6桁である。

しかもO(3)側は、圧電応答が本当にゼロでない結晶——非中心対称の結晶——での予測誤差（MAE＝平均絶対誤差。小さいほど良い）も低い。厳密性は精度と引き換えに買ったものではない。

回転の等変性を外して速度を得る設計は、すでに主流である

分子や結晶を扱う機械学習ポテンシャルの多くは、回転についての等変性を模型の構造そのものに組み込んで作られてきた。この設計は精度で有利になりやすい一方、計算コストを押し上げる。だから、この等変性をあえて外し、データからの学習に任せるという設計判断が広がっている。

Orb-v3はその代表例である。著者らは、非等変・非保存力（力をエネルギーの微分として定義しない構成）の構成でも「物理的な性質——ポテンシャルエネルギー面の高階微分を要するものも含めて——を正確に模型化できる」と述べ、性能と速度のトレードオフの前線を広げたと主張する²。レイテンシを10倍を超えて削減し、メモリ使用量を8倍を超えて削減しながら、多くの評価でほぼ最先端の性能を維持したという²。等変性を外すことは、実務者がいま10倍規模の高速化を手にするための主流の手段であり、Orb-v3の主張は、著者ら自身が走らせたベンチマークにもとづく。なおOrb-v3は、力をエネルギーの微分として計算するconservative版と、しないdirect版の両方を公開しており、著者らはどちらを選ぶかはワークフロー次第だと書いている²。

より一般の設定でも、対称性は学習で埋め合わせられるという報告がある。剛体どうしの相互作用を汎用の変換器で学習させた研究は、模型規模・学習ステップ数・データ量を振ったうえで、等変性はデータ効率を上げる一方、「十分なエポック数があれば、データ拡張を使った非等変模型の訓練でこの差を埋められる」と報告する（TMLR掲載）³。計算予算を同じだけ振った比較では、検証したどの予算でも等変模型が非等変模型を上回るが、模型規模と学習時間への予算配分の最適点そのものは、等変・非等変の両方で異なるとも書かれている³。

Orb-v3の著者らは結論で、保存性と等変性が汎用ポテンシャルの厳格な前提だという枠組みを反証したと書いている²。Orb-v3とBrehmerらの比較が示すのは、等変性を外すという選択が理にかなう場面が現に存在するということだ。回転についての対称性の誤りは、精度の指標に現れる近似の誤差であり、速度と引き換えに許容できる場合がある。問題は、対称性の誤りを近似の誤差として扱うこの考え方が、どこまで通用するかである。

対称性が強制するゼロは、回転の話とは別の問題

2026年8月19日に公開されたプレプリントは、対称性の誤りを近似の誤差として扱う考え方が通用しない場合があると指摘する¹。対象は圧電テンソルで、判定に使うのはノイマンの原理である。結晶が反転対称の中心を持つ——中心対称——場合、圧電応答は反転操作のもとで自分自身の符号を反転させたものと一致しなければならず、それを満たす値はゼロしかない。

ノイマンの原理でゼロかどうかを判定するには、回転についての情報だけでは足りない。反転操作は鏡映——鏡に映したときの変化——に属する操作で、回転をどれだけ組み合わせても再現できない。模型の特徴量が回転にしか対応しないSO(3)等変で作られている場合、鏡映によって符号が反転するという性質そのものを表現する手段を持たない。パリティのラベルまで特徴量に持たせるO(3)等変の設計だけが、この符号反転を表現できる。

原典は次のように主張する。回転についての対称性を模型にどこまで組み込むかという議論は、これまで近似の誤差の大小として扱われてきた。だが一部の制約は厳密で、対称性はある種の物性テンソルを厳密にゼロへ追い込み、そこでの非ゼロ予測は不正確なのではなく物理的に起こりえない¹。模型がこの種の予測をできてしまうかどうかは、訓練の結果ではなく、訓練前に特徴量がパリティのラベルを持つかどうかという、一つの、めったに報告されない設計上のビットで決まる、と原典は書く¹。原典はこの基準を「パリティ・ギャップ」と呼び、群論だけから、どの物性・どの結晶がこの制約に実際に晒されているかを計算する¹。

6桁の差は、精度と引き換えに買ったものではない

NequIP・Allegro・MACEという3つの核それぞれにO(3)腕とSO(3)腕を用意し、パリティの有無以外は同じ条件に揃える。加えてEqV2（SO(3)腕しか存在しない核）も含め、2,000種の中心対称結晶で圧電テンソルを予測させ、閾値0.01 C m⁻²と比べる。この閾値は訓練データにある本物の圧電テンソルの経験分布から較正した値で、著者らが置いたものではない¹。以下の数字は、対称性を理想化した座標での結果である——生の座標での挙動は後述する。O(3)腕は18,000回の結晶ごとの実行のうち、一件もこの閾値を超えなかった（内訳は3核×2,000結晶×3訓練seed＝18,000で、本稿の再構成）。中央値は浮動小数点演算の床——NequIPで3.19×10⁻⁷ C m⁻²、Allegroで3.84×10⁻⁷、MACEで2.76×10⁻⁶——に張り付き、最大の単一予測でも閾値の7.6分の1にとどまる。SO(3)腕は結晶の90〜96%でこの閾値を超え、原典はこれを「誤検出（false flags）」と呼ぶ（2,000件のうち166件は m3̄m で、パリティが無くても回転だけでゼロが強制される。それを除いた1,834件に限れば、3核のSO(3)腕は97.6〜99.2%で閾値を超える¹）。EqV2にはO(3)腕自体が存在せず、この範囲の上端に位置する。誤検出した予測の中央値は、訓練データに含まれる本物の圧電応答の大きさと同じ桁——たとえばNequIPのSO(3)腕（拡張なし）では、2,000結晶全体での違反の中央値が6.66×10⁻¹ C m⁻²——にあり、数値誤差ではなく本物のサイズの値を出している。

厳密性は精度と引き換えではない。圧電応答が本当にゼロでない結晶——非中心対称の分割——での予測誤差は、NequIPでO(3)腕0.2083に対しSO(3)腕（拡張なし）0.2405、Allegroで0.2140対0.2589、MACEで0.2222対0.2567（単位はC m⁻²）——いずれもO(3)腕のほうが低い、つまり良い。原典は、ゼロを混ぜた拡張がどの核でも回帰誤差を改善したとも書き、それを「不可能な値を出し続ける、より良い回帰器」と呼んでいる¹。原典は限界として、O(3)腕3種がいずれもe3nn実装であり、訓練後の精度比較に実装由来の寄与が混じる可能性を排除できないと自ら断っている¹。ただし同じ段落は、非e3nn実装でも構造的なゼロ自体は再現したと書いている¹。しかもSO(3)腕はO(3)腕よりパラメータ数が0.2〜39.8%多い。容量で有利なほうが、精度でも劣っている。測っている量は誤検出と同じ圧電テンソルで、違うのは分割のほうだ——中心対称の結晶ではゼロを外さないか、非中心対称の結晶では本物の値をどれだけ当てられるか。

この分離は、原典が閾値を10⁻⁴から10⁰ C m⁻²まで4桁振っても崩れない。読み出しを平均プーリングに替え、閾値もその分布から較正し直して訓練をやり直しても、O(3)側の誤検出率は、この理想化した座標ではすべての核・すべてのseedで正確にゼロのままだが、SO(3)側の誤検出率は平均0.65ポイント動く——原典はこれをseed間のばらつきより小さい値だと書き添えている。

同じ形の所見が、別の厳密な制約でも独立に報告されている。Orb-v3の著者らはこの監査を名指しで引き、だからこそ保存版と非保存版の両方を公開したと書いている²。力がエネルギーの微分として定義される——保存力である——という制約を外すと計算は速くなるが、構造最適化の収束が定まらなくなり、種類の異なる分子動力学で不安定化が起きると、ICML 2025でオーラル発表されたBigiらの監査は報告する⁴。著者らは「エネルギー保存の欠如を監視し補正することの難しさを踏まえると、直接予測した力は細心の注意を払って使うべきだ」と書き、まず直接予測した力で事前学習し、そのあと逆伝播で微調整するという折衷案を勧める⁴。評価時には両方の力を併用すれば、非物理的な効果を避けながら直接力の計算効率をほぼそのまま享受できる、とも書いている⁴。原典自身がこの区別を書いている——回転対称性は推論時に監視・補正でき、データ拡張でも学べるが、非保存性の評価にはヤコビアンの明示的な計算が要る、というのが著者らの言い分である⁴。制約の中身はパリティとはまったく別——エネルギー保存であって鏡映対称ではない——なので、これは同じ現象の再現ではなく、別の厳密な制約が失われたときに同じ形の失敗が起きるという、独立した収束の証拠として引いておく。

ゼロを訓練データに入れても直らない、そして万能の判定でもない

訓練データにゼロという答えを混ぜれば直るのではないか、という直感は自然である。パリティの論文はこれも測っている。SO(3)腕にゼロを明示的に教えるため、別に用意した1,000種の中心対称結晶に厳密なゼロをラベルとして与え、訓練セットへ加えて再学習した「拡張あり」の腕を作った。結果、違反の大きさは縮む——NequIPでは、拡張セットと同じ空間群に属する評価用の結晶（原典の「seen」分割）の中央値が8.26×10⁻¹から4.49×10⁻¹へ下がる——が、誤検出の割合はほとんど動かない。明示的なゼロを教えた当の1,016件（注入した1,000件と、もともと訓練セットにあった実結晶16件）に対してすら、拡張ありの腕はNequIPで89.5%、Allegroで89.9%、MACEで89.6%の割合で、まだ閾値を超えた値を返す。教師データとしてゼロを見せても、鏡映を区別できない特徴量からは、鏡映で符号が反転するはずの応答を表現しようがない——量を小さくすることはできても、その量をゼロに固定する仕組み自体が模型の側に無いためだ。原典は一文でこう書いている。「明示的なゼロで訓練しても厳密性は取り戻せない」¹。ここでいう厳密性は精度とは別のものだ——精度は近づける対象だが、厳密性は満たすか満たさないかしかない。

同じ理由が、既存の汎用モデルを土台に使う場面にも及ぶ。凍結した汎用ポテンシャルの上に新しい物性を出す読み出しヘッドだけを載せて訓練する構成は、計算コストの面で広く使われている。原典はこれを凍結バックボーンで実際に測っている。パリティのラベルを持つMACE-MP-0の凍結特徴に圧電ヘッドを載せると、違反はすべての結晶とseedで厳密にゼロになった。全次数を偶と宣言するeSEN-30M-OAMでは、同じ構成が本編と同じ割合で誤検出した¹。土台がSO(3)なら、その上に載せたヘッドをどれだけ訓練しても、鏡映を区別する能力は生まれない。

では、手元の模型がO(3)等変とSO(3)等変のどちらなのかは、どうやって確かめるのか。原典が示す手続きは単純で、初期化直後の模型に、ある構造とその鏡映像を入力し、出力が符号を反転させて一致するかどうかを見る——一回の鏡映操作で、ラベルは数秒で検証できる¹。訓練を待つ必要はない。

ただし、パリティの有無による差がどの結晶にもどの物性にも現れるわけではない。原典は対照実験で切り分けている——双極子は圧電テンソルと同じくパリティ奇だが、階数1ではギャップがゼロか小さく、QM9の10,831分子のうち制約が働くのは7分子（約0.065%）にすぎないため、O(3)腕とSO(3)腕の成績が一致する¹。分けているのは対象のパリティではなく、評価する結晶でギャップが非ゼロかどうかである¹。原典自身、O(3)腕も生の座標のうえでは完全に無欠ではないと認めている。もっとも厳しい閾値（0.0001 C m⁻²）では、O(3)腕の誤検出率は2.45〜2.82%まで上がる。原典はこれをモデルの誤りではなく、データそのものの読みだと説明する——2,000種の生の結晶構造は、選定に使った緩い許容誤差（10⁻³）では全件が中心対称と確認されるが、厳しい許容誤差（10⁻⁴。こちらは予測の閾値ではなく、構造を中心対称と判定するときの座標の許容誤差である）では1,956件（97.8%）、さらに厳しい10⁻⁵では1,869件（93.5%）しか中心対称と確認できない。つまりこの2.45〜2.82%は、データに実在するわずかな対称性の破れを模型が正しく検出している分だ、というのが原典の読みである¹。

もう一つの限定は結晶の種類にかかわる。m3̄mという点群に属す結晶では、回転の対称性だけで既にこの応答がゼロに強制されており、パリティの有無は関係なくなる。原典はこの状態を「パリティ・ギャップが消える」と表現し、SO(3)腕もここでは正しい。パリティ・ギャップという基準は、まさにこの、群論だけから計算できる「どの物性がどの結晶で実際に晒されているか」を求めるためのものである¹。原典が導くのは、この種の模型を使うなという禁止ではなく、区別である——回転についての対称性の誤りは近似の誤差として扱えるが、ゼロを強制する種類の制約は近似ではない、という一線だ¹。

訓練の前に、何を確認するか

• 初期化直後に一回、鏡映を通す。 ある構造とその鏡映像を入力し、回転の変換則は満たすのに鏡映の変換則だけが破れていないかを見る。数秒で終わり、模型が訓練データを見る前に答えが出る¹。判定は二値ではない——原典の監査では、回転則を10⁻⁵〜10⁻⁴で満たしながら鏡映則を桁のオーダーで破る模型が3種あった¹。
• テスト時に反転で反対称化してゼロを出しても、対称性を取り戻した証拠にはならない。 原典はこの構成が並進・置換不変な任意の模型で恒等的にゼロになると証明しており（系9「反転平均は空虚である」）、近似等変のEqV2では逆にこの手が破れて誤検出の割合が0.82残ると測っている¹。
• その物性が、対称性で厳密にゼロを強制される種類かどうかを先に切り分ける。 回転についての対称性は学習で近似できるとする報告がある——一般用途の変換器でも、十分なエポック数のデータ拡張が等変性の差を埋めると報告されている³。同じ報告は、計算予算を揃えた比較では検証したどの予算でも等変模型が上回るとも書いており、著者らは題の問いに決着はつけられないと断っている³。なおこの報告のデータ拡張は並進と重力軸まわりの回転だけを掛けており、鏡映の対称性が拡張で学べるかは測っていない³。だが厳密にゼロを強制される量は近似の対象ではない。パリティ・ギャップという判定基準は、群論だけからこの切り分けを計算する¹。手元でやるなら、自分の結晶の点群と、予測したい物性テンソルの階数にノイマンの原理を当てるところから始まる——原典は実装も公開している。
• その結晶が、実際に対称性の恩恵を受ける種類かどうかも見る。 m3̄mのような点群では回転だけで既にゼロが強制されるので、回転等変性が厳密に成り立つ模型ならSO(3)側でも誤検出は出ない¹。ただしこの保護は等変性が近似的にしか成り立たない模型には及ばない——原典のEqV2はm3̄m結晶の53.41%を誤検出している¹。
• ゼロを訓練データに混ぜても、割合は直らないと知っておく。 大きさは縮んでも、訓練した当のデータに対してさえ約9割が閾値を超え続ける¹。原典はNequIPのSO(3)腕で注入するゼロを250件から16,000件まで振っており、違反の中央値は0.666から0.077へ8.6倍縮むのに、誤検出の割合は0.895から0.858までしか動かない¹。ただし原典は、この掃引が一つの構成でしか行われておらず、より強い設定が違反をさらに下げる可能性は排除できないと断っている¹。
• 生の座標では、ぴったりゼロにはならないと見込んでおく。 もっとも厳しい閾値では、O(3)側でも2.45〜2.82%が閾値を超える。原典はこれを模型の誤りではなく、データ側に実在する対称性の破れの検出だと読んでいる¹。ただし運用閾値の0.01 C m⁻²で見ると話が変わる。生の座標でもO(3)側の誤検出率は0.017〜0.033%にとどまり、9回の実行を通して閾値を超えた構造は mp-1227949 の1件だけである¹。
• 凍結した汎用ポテンシャルにヘッドを載せる構成では、土台の対称性群を確認する。 ヘッドをどれだけ訓練しても、土台がSO(3)なら鏡映の区別は生まれない¹。原典は公開モデル18種を監査しており、パリティのラベルを持つのは6種で、どのモデルカードもこのビットを報告していないと書く¹。
• 速度が目的で、対象の量が厳密なゼロの制約を受けないなら、パリティ無しの模型は妥当な選択でありうる。 ただし原典は、中心対称の親構造から小さく歪ませた33段階のルチルTiO₂で、SO(3)腕の偽の床が小さな歪みの領域を通して物理信号を覆うと報告している¹。∴「厳密なゼロではない」だけでは足りず、対象がゼロを強制される構造の近くにいないかまで見る。非等変で、力をエネルギーの微分として計算しない構成で他のMLIPに比べてレイテンシを10倍超、メモリを8倍超削減したと報告する汎用ポテンシャルもある²。原典はその精度について、OMAT24のような大規模AIMDデータで訓練したときに保たれると条件を付けている²。これは精度と速度についての証拠であって、厳密なゼロについての証拠ではない——測っているものが違うという一線を保ったまま、両方を使い分ける。

この記事はAIが執筆しています。内容には誤りが含まれる可能性があります。ご注意ください。