[論文レビュー] Shaken dynamics for the 2d ising model

Valentina Apollonio, Roberto D’Autilia+3 more|arXiv (Cornell University)|Apr 12, 2019

Markov Chains and Monte Carlo Methods被引用数 1

ひとこと要約

本稿では、一般のグラフ上のスピン系に対して、局所的状態の持続性を制御する慣性パラメータ $ q $ を組み込んだ、新しいマルコフ型並列ダイナミクスを提案する。このダイナミクスは、明示的に定義された定常測度に関して可逆的であり、適切なパラメータ設定下で基底状態に集中する。これにより、組合せ最適化問題に対するヒューリスティック解法が可能となる。また、$\mathbb{Z}^2$ 上では特定の条件下でギブス測度をよく近似するため、並列サンプリングの有効なツールとして利用可能である。

ABSTRACT

We define a Markovian parallel dynamics for a class of spin systems on general interaction graphs. In this dynamics, beside the usual set of parameters $J_{xy}$, the strength of the interaction between the spins $\sigma_x$ and $\sigma_y$, and $\lambda_x$, the external field at site $x$, there is an inertial parameter $q$ measuring the tendency of the system to remain locally in the same state. This dynamics is reversible with an explicitly defined stationary measure. For suitable choices of parameter this invariant measure concentrates on the ground states of the Hamiltonian. This implies that this dynamics can be used to solve, heuristically, difficult problems in the context of combinatorial optimization. We also study the dynamics on $\mathbb{Z}^2$ with homogeneous interaction and external field and with arbitrary boundary conditions. We prove that for certain values of the parameters the stationary measure is close to the related Gibbs measure. Hence our dynamics may be a good tool to sample from Gibbs measure by means of a parallel algorithm. Moreover we show how the parameter allow to interpolate between spin systems defined on different regular lattices.

研究の動機と目的

• スピン系の並列マーカフダイナミクスを、局所的記憶効果をモデル化する追加の慣性パラメータ $ q $ を用いて開発すること。
• 明示的に計算可能な定常測度に関して可逆的なダイナミクスを定義すること。
• 適切なパrameter選択の下で、定常測度が基底状態に集中することを示し、ヒューリスティック最適化を可能にすること。
• $\mathbb{Z}^2$ 上で均一な相互作用と任意の境界条件を仮定したダイナミクスの分析を行うこと。
• 特定のパrameter値に対して、定常測度がギブス測度に近いことを示し、サンプリングアルゴリズムへの応用を裏付けること。

提案手法

• スピン結合 $ J_{xy} $、外部場 $ \lambda_x $、慣性パラメータ $ q $ を持つ一般の相互作用グラフ上で並列ダイナミクスを導入する。
• 遷移確率を定義し、定常測度が $ J_{xy} $、$ \lambda_x $、$ q $ に対して明示的に依存するようにし、可逆性を確保する。
• 不変測度を用いて、パラメータを適切に調整した場合の基底状態への集中を分析する。
• 均一な $ J_{xy} $、$ \lambda_x $、任意の境界条件を仮定した2次元格子 $\mathbb{Z}^2$ 上でのダイナミクスを研究する。
• 特定のパラメータ領域において、定常測度がギブス測度に近いことを確立し、サンプリングへの応用を正当化する。
• 慣性パラメータ $ q $ が、異なる正則格子上に定義されたスピン系の間を補間可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 慣性パラメータ $ q $ を持つ並列マーカフダイナミクスを構築可能か。そのダイナミクスは可逆的であり、明示的に定義された定常測度を持つか。
• RQ2 このダイナミクスの定常測度は、$ J_{xy} $、$ \lambda_x $、$ q $ の適切な選択下で基底状態に集中するか。
• RQ3 $\mathbb{Z}^2$ 上で均一な相互作用と任意の境界条件を仮定した場合、このダイナミクスの定常測度はギブス測度とどの程度類似しているか。
• RQ4 慣性パラメータ $ q $ を用いて、異なる正則格子上に定義されたスピン系の間を補間可能か。
• RQ5 このダイナミクスは、ギブス測度からのサンプリングにどの程度効果的な並列アルゴリズムとして機能するか。

主な発見

• 提案されたダイナミクスは可逆的であり、$ J_{xy} $、$ \lambda_x $、$ q $ に依存する明示的な定常測度を持つ。
• 適切なパラメータ選択下で、定常測度はハミルトニアンの基底状態に集中する。これにより、組合せ最適化問題に対するヒューリスティック解法が可能になる。
• $\mathbb{Z}^2$ 上で均一な相互作用と任意の境界条件を仮定した場合、特定のパラメータ値に対して定常測度はギブス測度に近い。
• 慣性パラメータ $ q $ を用いることで、異なる正則格子上に定義されたスピン系の間を補間可能であり、連続的な関連モデルの族を示唆する。
• このダイナミクスは、ギブス測度からのサンプリングに適した並列アルゴリズムフレームワークを提供する。特に、定常測度がターゲット分布に近い領域で有効である。
• 結果から、このダイナミクスは、難解な最適化問題に対するヒューリスティックソルバーや、統計力学のシミュレーションにおけるサンプリングツールとして利用可能であると示唆される。