[論文レビュー] Proof of the local REM conjecture for number partitioning

Christian Borgs, Jennifer Chayes+2 more|arXiv (Cornell University)|Jan 31, 2005

Markov Chains and Monte Carlo Methods被引用数 4

ひとこと要約

本稿は、数分割問題における局所的 REM 猜測を証明する。これは、関連する平均場反強磁性イジンスピンガラス模型のエネルギー準位が局所スケールで統計的に相関がなく、ポアソン過程に収束することを示している。証明により、近接するエネルギー準位は相関がなく、スピン配置は重なりが消失することが確認され、模型の局所的ランダム性が裏付けられる。

ABSTRACT

The number partitioning problem is a classic problem of combinatorial optimization in which a set of $n$ numbers is partitioned into two subsets such that the sum of the numbers in one subset is as close as possible to the sum of the numbers in the other set. When the $n$ numbers are i.i.d. variables drawn from some distribution, the partitioning problem turns out to be equivalent to a mean-field antiferromagnetic Ising spin glass. In the spin glass representation, it is natural to define energies -- corresponding to the costs of the partitions, and overlaps -- corresponding to the correlations between partitions. Although the energy levels of this model are {\em a priori} highly correlated, a surprising recent conjecture asserts that the energy spectrum of number partitioning is locally that of a random energy model (REM): the spacings between nearby energy levels are uncorrelated. In other words, the properly scaled energies converge to a Poisson process. The conjecture also asserts that the corresponding spin configurations are uncorrelated, indicating vanishing overlaps in the spin glass representation. In this paper, we prove these two claims, collectively known as the local REM conjecture.

研究の動機と目的

• 数分割問題のエネルギースペクトルが局所的にランダムエネルギー模型（REM）のようであるという長年の予想を解決すること。
• 数分割問題の平均場反強磁性イジンスピンガラス表現におけるエネルギー準位が、局所スケールで相関がないことを確立すること。
• 近接するエネルギー準位に対応するスピン配置が相関がないことを証明し、スピンガラス表現において重なりが消失することを示すこと。
• 確率的および統計力学的手法を用いて、確率的入力を持つ組合せ最適化問題におけるエネルギー準位の統計的挙動の厳密な数学的基盤を提供すること。

提案手法

• 独立同一分布のクエンチド不純度を有する平均場反強磁性イジンスピンガラス模型として数分割問題をモデル化すること。
• 確率的技法と極値統計を用いて、近接するエネルギー準位の同時分布を分析すること。
• 適切にスケーリングされたエネルギー差がポアソン点過程に収束することを証明し、局所的無相関性を確認すること。
• モーメント生成関数と漸近的解析を用いて、エネルギー間隔の極限分布を特徴づけること。
• 熱力学的極限において、近接するエネルギーに対応するスピン配置間の重なりが消失することを確立すること。
• ランダム行列理論および点過程収束の結果を応用し、REMに類似した挙動を検証すること。

実験結果

リサーチクエスチョン

• RQ1 数分割問題のエネルギー準位は、REM 猜測が予測するように、局所的に相関がないか？
• RQ2 近接する準位間のエネルギー間隔の極限分布はポアソン過程か？
• RQ3 近接するエネルギー準位に対応するスピン配置は、熱力学的極限において相関がなくなるか？
• RQ4 数分割問題の平均場反強磁性イジンスピンガラス模型のエネルギースペクトルは、局所スケールで統計的ランダム性を示すか？
• RQ5 確率的および統計力学的手法を用いて、局所的 REM 挙動を厳密に証明できるか？

主な発見

• 適切にスケーリングされた数分割問題のエネルギー準位は、ポアソン点過程に収束し、エネルギースペクトルの局所的ランダム性が裏付けられる。
• 近接するエネルギー準位間の間隔は相関がなく、局所的 REM 猜測を支持する。
• 近接するエネルギー準位に対応するスピン配置は、熱力学的極限において重なりが消失し、相関がないことを示す。
• 局所的領域におけるエネルギー準位の同時分布はポアソン過程と一致し、REM の予測が検証される。
• 結果は、数分割問題の平均場反強磁性イジンスピンガラス模型が局所的にランダムなエネルギー挙動を示すことを確認する。