[논문 리뷰] Shaken dynamics for the 2d ising model

Valentina Apollonio, Roberto D’Autilia외 3명|arXiv (Cornell University)|2019. 04. 12.

Markov Chains and Monte Carlo Methods인용 수 1

한 줄 요약

이 논문은 일반적인 그래프 위의 스핀 시스템에 대해 관성 매개변수 $ q $ 를 포함한 새로운 마르코프 병렬 동역학을 제안한다. 이 매개변수 $ 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 $ 를 포함한 병렬 마르코프 동역학을 개발함으로써 국소 기억 효과를 모델링하고자 한다.
• 명시적으로 계산 가능한 정적 측도를 가지는 가역 동역학을 정의하고자 한다.
• 적절한 매개변수 선택 조건 하에서 정적 측도가 최저 상태에 집중됨을 보여주어 히우리스틱 최적화를 가능하게 하고자 한다.
• $\mathbb{Z}^2$ 에서 균일한 상호작용과 임의의 경계 조건을 가진 동역학을 분석하고자 한다.
• 일부 매개변수 값에 대해 정적 측도가 기브스 측도에 가까워짐을 보여주어 샘플링 알고리즘에서의 활용 가능성을 입증하고자 한다.

제안 방법

• 상호작용 그래프의 일반적인 구조에 대해 $ J_{xy} $ (스핀 결합), $ \lambda_x $ (외부 필드), $ q $ (관성 매개변수) 를 포함한 병렬 동역학을 도입한다.
• 전이 확률을 정의함으로써 동역학이 $ J_{xy} $, $ \lambda_x $, $ q $ 에 대해 명시적으로 의존하는 정적 측도에 대해 가역적이 되도록 한다.
• 정적 측도를 활용해 매개변수가 적절히 조정되었을 때 최저 상태에 대한 집중을 분석한다.
• $\mathbb{Z}^2$ 격자에서 균일한 $ J_{xy} $, $ \lambda_x $ 와 임의의 경계 조건을 가진 동역학을 연구한다.
• 특정 매개변수 영역에서 정적 측도가 기브스 측도에 가까워짐을 증명함으로써 샘플링 응용의 타당성을 확보한다.
• 관성 매개변수 $ 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 $ 는 서로 다른 정규 격자에 정의된 스핀 시스템 간의 보간을 가능하게 하며, 이는 연속적인 관련 모델의 집합을 시사한다.
• 이 동역학은 기브스 측도에서 샘플링하기 위한 실용적인 병렬 알고리즘 프레임워크를 제공한다. 특히 정적 측도가 목표 분포를 잘 근사하는 영역에서 유용하다.
• 결과는 이 동역학이 어려운 최적화 문제의 히우리스틱 해법으로 사용될 수 있으며, 통계역학 시뮬레이션에서 샘플링 도구로 활용될 수 있음을 시사한다.