一つの軌道から有限群の構造を復元する最適化原理
Single-Orbit Recovery of Groups via an Optimization Principle
この論文をやさしく読む
ひとことで言うと
一つのベクトルを有限群で動かした結果から、元の群の抽象的な構造を取り戻す条件と計算法を調べた。
何に役立つ？
群作用から得たデータの対称性を特定するための理論と、段階的な最適化手法として役立つ。
この研究の面白いところ
グラム行列に現れる群の恒等式を逆向きに利用し、直交行列の族が右正則表現になる条件を導く。
どこまで分かった？
数値実験はD₄とA₄を対象とし、A₄の復元精度は限定的と記されている。大きな群での数値性能は要旨からは分からない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文の目的は、ベクトルに群を作用させた軌道から有限群を特定することにある。有限群がヒルベルト空間にユニタリに作用すると、対応するグラム行列は群代数に属し、群の代数的構造を表す恒等式を満たす。そこで逆に、群作用による一つのベクトルの軌道から得たグラム行列から、基礎にある抽象群の構造を復元できるかを問う。 主結果では、直交行列の族に対する少数の条件を特定し、それらを満たす族が有限群の右正則表現になることを示す。この特徴づけに基づき、各条件を段階的に課す最適化の枠組みを作る。二面体群D₄と正四面体の回転群A₄での数値実験では、D₄を正確に復元し、A₄については12個すべての行列をほどほどの精度で復元した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The objective of this paper is to identify a finite group based on the orbit of a vector under its action. When a finite group acts unitarily on a Hilbert space, the associated Gram matrix lies in the group algebra and satisfies identities that encode the algebraic group structure. We ask about the converse: Given a Gram matrix obtained from the orbit of a vector under the group action, can one recover the underlying \emph{abstract} group structure? Our main result identifies a short list of conditions on a family of orthogonal matrices that force the family to be the right regular representation of a finite group. Building on this characterization, we develop a staged optimization framework that enforces these conditions progressively. Numerical experiments on the dihedral group $D_4$ and the tetrahedral rotation group $A_4$ recover $D_4$ exactly and all twelve $A_4$ matrices up to modest precision.
著者のコメント
23 pages, AMS LaTeX
arXiv ID: 2609.28301 ／ 要約の誤りについて