[論文レビュー] Lecture notes: Semidefinite programs and harmonic analysis

Frank Vallentin|ArXiv.org|Sep 11, 2008

Complexity and Algorithms in Graphs参考文献 69被引用数 10

ひとこと要約

本稿では、調和解析を用いた対称性削減技法を、群作用に対して不変な半定値計画問題（SDP）に適用する。ピーター＝ウェイ氏の定理とボッハナーの特徴付けを応用することで、大規模で対称なSDPを次元が著しく削減されたブロック対角形式に変換でき、符号理論や球体充填の応用において顕著な計算コスト削減を実現する。

ABSTRACT

Lecture notes for the tutorial at the workshop HPOPT 2008 - 10th International Workshop on High Performance Optimization Techniques (Algebraic Structure in Semidefinite Programming), June 11th to 13th, 2008, Tilburg University, The Netherlands.

研究の動機と目的

• 群作用に対して不変な半定値計画問題（SDP）を一般かつ明示的に簡略化するための手法の開発。
• 半定値計画法と調和解析を結びつけること、特にピーター＝ウェイの定理とボッハナーの定理を用いること。
• 対称性とブロック対角構造を活用することで、大規模SDP（特に無限次元のもの）の効率的計算を可能にすること。
• 組合せ的・幾何的充填問題におけるSDPの境界に関する最近の進展の理論的基盤を提供すること。
• 具体的応用を通じて本手法の有効性を示すこと。具体的には、距離グラフのシータ関数と符号・球体符号に対する線形計画法境界の応用。

提案手法

• 群不変性を適用し、群作用Γに関して不変な解に解候補を制限することで、任意の最適解を対称化可能にする。
• ボッハナーの特徴付けを用い、Γ不変な正定値行列を、既約表現によってインデックス付けされたブロック対角行列として表現する。
• カーネルK(x,y)を、F_kとZ_k(x,y)の内積の和∑⟨F_k, Z_k(x,y)⟩として表現する。ここでF_kは正定値ブロック、Z_kは固定された基底行列である。
• 元のSDPを、サイズm_1×m_1,…,m_l×m_lの変数F_1,…,F_lをもつ等価なブロック対角SDPに変換し、問題の次元を|V|×|V|から∑m_kに削減する。
• ピーター＝ウェイの定理を用いて群代数を既約表現に分解し、SDPのブロック対角化を可能にする。
• 対称テンソルと同次多項式の間の等長写像を活用し、表現論と多項式最適化、調和多項式を結びつける。

実験結果

リサーチクエスチョン

• RQ1 群作用に対して不変な半定値計画問題を、調和解析を用いて体系的に簡略化する方法は何か？
• RQ2 ピーター＝ウェイの定理は、不変カーネル空間を既約成分に分解する際に果たす役割は何か？
• RQ3 ボッハナーの定理は、Γ不変な正定値行列をブロック対角構造としてどのように特徴付けるか？
• RQ4 ブロック対角化は、符号理論や球体充填のような問題におけるSDPの計算複雑性をどのように低減するか？
• RQ5 本フレームワークは、単位球面やハミング立方体などのコンパクトな距離空間上での無限次元SDPにどのように拡張可能か？

主な発見

• 対称性削減技法により、大規模な|V|×|V|のSDPが、既約表現Γの次元m_kによって表される合計次元∑m_kの等価なブロック対角SDPに変換される。
• 本手法により、コンパクトな距離空間上での距離グラフのロヴァーズ・シータ関数の計算が、群不変性と調和解析を活用することで効率的に行える。
• ハミング立方体では、対称テンソルと単項式を用いたブール立方体上のフーリエ解析から得られる線形計画法境界が導出可能である。
• 単位球面上では、調和多項式と直交群不変性を用いた球体符号に対する線形計画法境界が提供される。
• 対称テンソルと同次多項式の同型写像は内積を保存し、直交群作用と可換となるため、表現の一貫性が保証される。
• 本フレームワークは無限次元SDPをサポートし、幾何的・組合せ最適化分野における今後の研究に強力なツールを提供する。