[논문 리뷰] Oscillator-based Ising Machine

Tianshi Wang, Jaijeet Roychowdhury|arXiv (Cornell University)|2017. 09. 23.

Quantum Computing Algorithms and Architecture참고 문헌 34인용 수 47

한 줄 요약

이 논문은 비선형 자기진동 소자 기반의 새로운 이징 머신 아키텍처를 제안하며, 이는 하이퍼하모닉 주입 고정(SHIL)을 통해 진동자의 위상에 이진 논리를 인코딩한다. 이러한 진동자를 공학적으로 상호작용시키면 이징 해밀토니안을 최소화하는 시스템이 되며, 시뮬레이션에서 2000변수 MAX-CUT 문제에서 최신 기술 수준을 초월하는 성능을 달성한다. 평균 해의 품질이 기존 이징 머신을 뛰어넘는다.

ABSTRACT

Many combinatorial optimization problems can be mapped to finding the ground states of the corresponding Ising Hamiltonians. The physical systems that can solve optimization problems in this way, namely Ising machines, have been attracting more and more attention recently. Our work shows that Ising machines can be realized using almost any nonlinear self-sustaining oscillators with logic values encoded in their phases. Many types of such oscillators are readily available for large-scale integration, with potentials in high-speed and low-power operation. In this paper, we describe the operation and mechanism of oscillator-based Ising machines. The feasibility of our scheme is demonstrated through several examples in simulation and hardware, among which a simulation study reports average solutions exceeding those from state-of-art Ising machines on a benchmark combinatorial optimization problem of size 2000.

연구 동기 및 목표

• 비선형 진동기를 사용하여 조합 최적화 문제를 해결할 수 있는 확장 가능하고 저전력의 물리적 아키텍처를 개발하기 위해.
• 실제로 어떤 자기진동 비선형 진동제도 위상 기반 인코딩을 통해 이진 논리 요소로 사용될 수 있음을 보여주기 위해.
• SHIL과 라파노프 기반 에너지 역학을 통해 결합된 진동기가 이징 해밀토니안을 최소화할 수 있음을 보여주기 위해.
• 기준 최적화 문제에 대한 시뮬레이션과 하드웨어 프로토타입을 통해 접근법의 타당성을 검증하기 위해.
• 진동기 네트워크를 사용하여 역행할 수 있는 부울 논리 계산, 예를 들어 반가감산기 계산을 수행할 수 있는지 탐색하기 위해.

제안 방법

• 하이퍼하모닉 주입 고정(SHIL)을 활용하여 180도가 다른 이중 안정 위상 고정 상태를 생성함으로써, 진동기 위상에 이진 인코딩을 구현한다.
• 시간에 따라 변화하는 외부 힘과 노이즈를 포함한 쿠라모토 모델에서 유도된 단위 위상 매크로모델을 사용해 결합된 진동기 시스템을 모델링한다.
• 라파노프 함수를 통해 진동기 네트워크의 에너지 함수를 이징 해밀토니안에 매핑함으로써, 낮은 에너지 상태로의 수렴을 보장한다.
• 지속적인 냉각을 적용하여 진동기 역학에서 노이즈 진폭을 점차 감소시켜 局부 최소값에서 벗어나도록 한다.
• 특정 최적화 문제, 예를 들어 MAX-CUT나 반가감산기 논리 등을 인코딩하기 위해 결합 행렬(J_ij)과 국부적 필드(h_i)를 설계한다.
• 임시 시뮬레이션과 하드웨어 프로토타입을 활용하여 기준 문제에 대한 성능을 검증한다.

실험 결과

연구 질문

• RQ1 비선형 자기진동 진동기의 광범위한 집단이 위상 기반 논리 인코딩을 통해 이징 머신을 구현하는 데 사용될 수 있는가?
• RQ2 결합된 진동기의 에너지 함수는 이징 해밀토니안과 어떻게 관련되어 있으며, 효과적으로 최소화될 수 있는가?
• RQ3 진동기 기반 이징 머신은 대규모 조합 최적화 문제에서 기존 최신 기술 수준의 이징 머신을 능가할 수 있는가?
• RQ4 진동기 중심 주파수의 공정 변동은 진동기 기반 이징 머신의 성능에 어떤 영향을 미치는가?
• RQ5 진동기 네트워크를 사용하여 반가감산기 계산과 같은 역행할 수 있는 논리 문제를, 논리를 이징 해밀토니안으로 인코딩함으로써 해결할 수 있는가?

주요 결과

• 진동기 기반 이징 머신은 시뮬레이션에서 2000변수 MAX-CUT 기준 문제에서 최신 기술 수준의 이징 머신을 뛰어넘는 평균 해의 품질을 달성한다.
• 진동기 중심 주파수의 변동에 대해 뛰어난 내성성을 보이며, 이러한 비트리버스한 편차가 성능에 거의 영향을 주지 않는다.
• 문제 크기가 증가함에 따라 계산 시간이 거의 일정하게 유지되며, 주로 진동기 기술의 내재 속도에 따라 스케일링된다.
• 반가감산기 논리 예제는 식 a + b = 2c + s를 이징 해밀토니안으로 성공적으로 인코딩하였으며, 입력 또는 출력이 고정된 경우 시뮬레이션을 통해 정확한 해로 수렴하는 것으로 확인되었다.
• 자기진동 진동기와 위상 기반 인코딩의 사용은 변동에 대한 내성과 에너지 효율성 측면에서 CMOS 기반 기술보다 잠재적인 이점을 제공한다.
• 이론적 분석을 통해 결합된 진동기 시스템의 라파노프 함수가 이징 해밀토니안과 일치함을 확인하였으며, 이는 냉각 조건 하에서 낮은 에너지 상태로의 수렴을 보장한다.