論文の概要: Group-Algebraic Tensors: Provably-optimal Equivariant Learning and Physical Symmetry Discovery
- arxiv url: http://arxiv.org/abs/2605.20440v1
- Date: Tue, 19 May 2026 19:47:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-21 19:19:56.349773
- Title: Group-Algebraic Tensors: Provably-optimal Equivariant Learning and Physical Symmetry Discovery
- Title(参考訳): 群代数的テンソル:確率的最適等変学習と物理対称性発見
- Authors: Paulina Hoyos, Shashanka Ubaru, Dongsung Huh, Vasileios Kalantzis, Kenneth L. Clarkson, Misha Kilmer, Haim Avron, Lior Horesh,
- Abstract要約: 任意の有限群 $G$ が代数的乗法則を定義するような、$star_G$ テンソル代数を導入する。
このフレームワークは、ニューラルネットワーク(ENN)を構造的に再設計することができない機能を提供している。
- 参考スコア(独自算出の注目度): 17.340037184664208
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce the $\star_G$ tensor algebra, in which any finite group $G$ defines the multiplication rule, making equivariance an intrinsic algebraic property rather than an architectural constraint. The framework rests on three machine-verified theoretical pillars: (i)~an Eckart-Young optimality guarantee for the $\star_G$-SVD: the first such result for symmetry-preserving tensor approximation, exact and polynomial-time; (ii)~a Kronecker factorization that composes multiple symmetries by replacing $F_G$ with $F_{G_1} \otimes F_{G_2}$ with no architectural redesign; and (iii)~a 600-line Lean~4 formalization of the $\star_G$ algebra. The framework provides capabilities that equivariant neural networks (ENNs) structurally cannot: a closed-form per-irreducible-representation decomposition of every prediction, and data-driven discovery of the symmetry group that best fits a dataset. As a non-trivial empirical demonstration, decomposing QM9 molecular geometry over the chiral octahedral subgroup of SO(3) recovers the Wigner--Eckart selection rules of angular momentum from data alone, with no quantum mechanical input: scalar properties are A$_1$-dominated, dipole components are T$_1$-dominated, the isotropic polarizability is uniquely insensitive to $l\!=\!1$ as the rank-2-trace decomposition $l\!=\!0 \oplus l\!=\!2$ requires, and the T$_1$/A$_1$ predictive-power ratio separates vector observables from scalar observables by a factor of five. On full QM9 (130{,}831 molecules), $\star_G$-SVD with ridge regression provides closed form predictions at $\sim50-90\times$ fewer parameters than parameter-matched MLPs. Algebraic equivariance thus complements architectural equivariance not as a faster-better-cheaper alternative but as a different mathematical affordance: provably-optimal symmetry-preserving compression, per-irrep interpretability, and data-driven physical discovery.
- Abstract(参考訳): ここでは、任意の有限群 $G$ が乗法則を定義し、同値をアーキテクチャ上の制約ではなく本質的な代数的性質とする、$\star_G$ テンソル代数を導入する。
このフレームワークは、3つの機械で検証された理論的な柱の上に置かれている。
(i)~Eckart-Young の$\star_G$-SVD に対する最適性を保証する: 対称保存テンソル近似、完全および多項式時間に対する最初のそのような結果。
(ii)~F_G$をF_{G_1} \otimes F_{G_2}$に置き換えて複数の対称性を構成するクロネッカー分解。
(iii)~600行のリーン~4の$\star_G$代数の形式化。
このフレームワークは、構造的に不変ニューラルネットワーク(ENN)が不可能な機能を提供する。全ての予測のクローズドフォーム毎の非可逆表現分解と、データセットに最も適合する対称性群のデータ駆動発見である。
非自明な実証実験として、SO(3) のキラル八面体部分群上の QM9 分子幾何学を分解すると、量子力学的入力を持たないデータから角運動量のウィグナー-エッカート選択規則が回復する:スカラー特性は A$_1$-dominated, 双極子成分は T$_1$-dominated, 等方偏光性は$l\!
=\!
ランク2-トレース分解 $l\!
=\!
0 \oplus l\!
=\!
2$必要であり、T$_1$/A$_1$予測パワー比は、ベクトル可観測物とスカラー可観測物とを5倍に分離する。
完全な QM9 (130{,}831 分子)では、リッジレグレッション付き $\star_G$-SVD がパラメータマッチング MLP よりも少ない$\sim50-90\times$のクローズドフォーム予測を提供する。
したがって、代数的同値性は、より高速なベタチーパーの代替としてではなく、確率的に最適対称性を保存する圧縮、不規則の解釈可能性、データ駆動の物理的発見という数学的余裕としてアーキテクチャの同値性を補完する。
関連論文リスト
- Intrinsic Wasserstein Rates for Score-Based Generative Models on Smooth Manifolds [61.14405512940818]
Scoreベースの生成モデルは高次元空間で訓練されていることを示す。
有限固有アンカーとガウス・ニュートンによる最も近い射影座標のReLU実装を用いる。
論文 参考訳(メタデータ) (2026-05-15T10:20:05Z) - Anisotropic local law for non-separable sample covariance matrices [10.181748307494608]
サンプル共分散行列の局所法則を$K = N-1sum_i=1N g_ig_ig_i*$ とすると、Rn$ の確率ベクトル $g_1, ldots, g_N は共通共分散$$と独立である。
我々は,条件付き平均ゼロ分布,ランダム特徴モデル$g = (Xw)$,ガウス測度など,我々の仮定を満たす非分離例のクラスについて論じる。
論文 参考訳(メタデータ) (2026-02-20T03:28:51Z) - Robust inverse material design with physical guarantees using the Voigt-Reuss Net [0.0]
本稿では, ハード物理保証を伴う前方および逆機械的均質化のためのスペクトル正規化サロゲートを提案する。
バイファシック・マイクロ構造のオープンデータセット上の3次元線形弾性では、完全に接続されたVoigt-Reussネットは、236のイソトロピーインディスクリプタを持つFFTベースのラベルでトレーニングされている。
全体として、Voigt-Reussネットは、大バッチで制約に一貫性のある逆設計で正確で物理的に許容できる前方予測を統一する。
論文 参考訳(メタデータ) (2025-11-14T15:17:37Z) - Symmetry-Breaking Descent for Invariant Cost Functionals [0.0]
タスクコストの関数的$W : Hs(M) を mathbbR$ に還元する問題について検討する。
信号の対称性を破る変形はコストを低減できることを示す。
論文 参考訳(メタデータ) (2025-05-19T15:06:31Z) - Fast, Expressive SE$(n)$ Equivariant Networks through Weight-Sharing in Position-Orientation Space [15.495593104596399]
我々は,畳み込みネットワークにおける重み共有の概念を,ポイントペア上でのメッセージ関数の共有として定式化する。
我々は3次元点雲処理のための効率的な同変群畳み込みネットワークを開発した。
論文 参考訳(メタデータ) (2023-10-04T17:06:32Z) - Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras
from First Principles [55.41644538483948]
ラベル付きデータセットに存在する連続した対称性群の検出と同定のためのディープラーニングアルゴリズムを設計する。
完全に接続されたニューラルネットワークを用いて、変換対称性と対応するジェネレータをモデル化する。
また,Lie群とその性質の数学的研究に機械学習アプローチを使うための扉を開く。
論文 参考訳(メタデータ) (2023-01-13T16:25:25Z) - Equivalence Between SE(3) Equivariant Networks via Steerable Kernels and
Group Convolution [90.67482899242093]
近年, 入力の回転と変換において等価な3次元データに対して, ニューラルネットワークを設計するための幅広い手法が提案されている。
両手法とその等価性を詳細に解析し,その2つの構成をマルチビュー畳み込みネットワークに関連付ける。
また、同値原理から新しいTFN非線形性を導出し、実用的なベンチマークデータセット上でテストする。
論文 参考訳(メタデータ) (2022-11-29T03:42:11Z) - Average-Case Complexity of Tensor Decomposition for Low-Degree
Polynomials [93.59919600451487]
多くの統計的推論タスクにおいて「統計計算ギャップ」が発生する。
1つの成分が他の成分よりもわずかに大きいランダムオーダー3分解モデルを考える。
テンソルエントリは$ll n3/2$のとき最大成分を正確に推定できるが、$rgg n3/2$のとき失敗する。
論文 参考訳(メタデータ) (2022-11-10T00:40:37Z) - Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
我々は、$n$ qubits上のシュル=ワイル双対性に基づく分解によって定義される測定に焦点をあてる。
我々は、$n$が無限大に進むとき、中心極限の一種を含む様々な種類の分布を導出する。
論文 参考訳(メタデータ) (2021-04-26T15:03:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。