[論文レビュー] Estimating Certain Non-Zero Littlewood-Richardson Coefficients

Hariharan Narayanan|arXiv (Cornell University)|Jun 18, 2013

Advanced Combinatorial Mathematics参考文献 13被引用数 3

ひとこと要約

本稿では、DikinウォークとBrunn-Minkowski型不等式を用いた体積推定を活用して、特定の非ゼロのLittlewood-Richardson係数のランダム化された強多項式時間近似スキームを提示する。移動したLittlewood-Richardson錐の係数の定数割合が効率的に近似可能であることが確立され、特定の条件下でこれらの係数に対する近似的な対数凸性が証明されている。

ABSTRACT

Littlewood Richardson coefficients are structure constants appearing in the representation theory of the general linear groups ($GL_n$). The main results of this paper are: 1. A strongly polynomial randomized approximation scheme for certain Littlewood-Richardson coefficients. 2. A proof of approximate log-concavity of certain Littlewood-Richardson coefficients.

研究の動機と目的

• 一般には#P困難であるため、Littlewood-Richardson係数の正確な計算が不可能であることを踏まえ、効率的な近似スキームの開発を目的とする。
• 一般線型群のランクが固定でない場合、正確な計算が標準の複雑性仮定のもとで非現実的であるという課題に対処すること。
• Littlewood-Richardson錐の特定の領域における係数の近似的な対数凸性の性質を確立すること。
• 入力サイズと誤差パラメータにのみ依存し、入力データのビット長に依存しない強多項式実行時間を持つランダム化アルゴリズムを提供すること。
• 既知の正性判定と固定ランクケースを超えて、係数空間の広範で密な部分集合に対し、効率的な近似を拡張すること。

提案手法

• 本手法は、Littlewood-Richardson係数に関連する多面体 $ Q_{\nu}^\nu $ の体積推定に、対数凸分布からのサンプリングに用いられるマルコフ連鎖モンテカルロ技法「Dikinウォーク」を用いる。
• Hoeffdingの不等式を適用して、体積比 $ \mathrm{vol}(\zeta_{\lambda\mu}^{\nu}) / \mathrm{vol}(Q_{\lambda\mu}^{\nu}) $ の推定誤差を制限し、高確率での集中を保証する。
• ビット長の増加が強多項式実行時間に影響しないよう、切り捨て実数演算を用いた実数モデルで動作する。
• 凸集合のミンコフスキー結合における体積の関係を示すBrunn-Minkowski不等式を用いて、近似的な対数凸性の導出を可能にする。
• 主な技術的ステップは、$ (1/\epsilon)(\Delta, \Delta, \Delta') + LRC $ 内のベクトルに対して、係数 $ c_{\lambda\mu}^\nu $ が関連多面体の体積の $ 1 \pm C\epsilon $ 因数内にあることを示すことである。
• 係数推定が体積比によってよく近似可能になるように、$ (\Delta, \Delta, \Delta') $ によるシフトを用いることで、効率的なサンプリングと推定が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ランダム化された強多項式時間アルゴリズムは、高い確率と所望の精度で、非ゼロのLittlewood-Richardson係数の大部分を近似可能か？
• RQ2 正確な対数凸性が失敗するにもかかわらず、錐の特定の領域におけるLittlewood-Richardson係数に対して、ある種の近似的な対数凸性が成立するか？
• RQ3 入力サイズが $ \gamma $ で制限されるとき、すべてのLittlewood-Richardson係数のうち、どれくらいの割合が効率的に近似可能か？ その割合は $ n $ と $ \gamma $ にどのように依存するか？
• RQ4 移動した錐 $ (1/\epsilon)(\Delta, \Delta, \Delta') + LRC $ において、多面体 $ Q_{\lambda\mu}^\nu $ の体積と実際の係数 $ c_{\lambda\mu}^\nu $ はどのように関係するか？
• RQ5 切り捨て実数演算を用いる場合でも、Dikinウォークを変更して、$ Q_{\lambda\mu}^\nu $ 上の一様測度からの効率的サンプリングが、有界な誤差で可能か？

主な発見

• 領域 $ (\Delta, \Delta, \Delta') + LRC $ 内のLittlewood-Richardson係数について、$ n $, $ \epsilon^{-1} $, $ \log \delta^{-1} $ に対して多項式時間で実行されるランダム化された強多項式時間近似スキームが存在する。入力のビット長に依存しない。
• $ \gamma > Cn^5 $ のとき、$ LRC \cap \{ \| (\lambda,\mu,\nu) \|_1 \leq \gamma \} $ 内のすべての非ゼロ係数の $ 1 - C(n^5 / \gamma) $ 割合が、高確率で $ 1 \pm C\epsilon $ の精度で近似可能である。
• $ (1/\epsilon)(\Delta, \Delta, \Delta') + LRC $ 内の係数は、近似的な対数凸性不等式を満たす：$ \log c_{\lambda\mu}^\nu + C\epsilon \geq \theta \log c_{\lambda'\mu'}^{\nu'} + (1-\theta) \log c_{\bar{\lambda}\bar{\mu}}^{\bar{\nu}} $（$ n > C $ のとき）。
• $ (\lambda,\mu,\nu) \in (1/\epsilon)(\Delta, \Delta, \Delta') + LRC $ に対して、比 $ c_{\lambda\mu}^\nu / \mathrm{vol}(Q_{\lambda\mu}^\nu) $ は $ [1 - C\epsilon, 1] $ の範囲にある。これにより、体積推定が係数をよく近似することが保証される。
• 体積推定手順の成功確率は $ 1 - \delta $ 以上に下界が保証され、誤差確率はHoeffdingの不等式により制御され、サンプル数は $ \epsilon^{-1} $ と $ \log \delta^{-1} $ に対して多項式的である。
• 本手法は乗法的近似要因 $ 1 \pm C\epsilon $ を達成し、誤差境界が入力サイズのビット長に依存しないため、アルゴリズムの強多項式性が裏付けられる。