[논문 리뷰] An Efficient Algorithmic Way to Construct Boltzmann Machine Representations for Arbitrary Stabilizer Code

Yuanhang Zhang, Zhian Jia외 2명|arXiv (Cornell University)|2018. 09. 23.

Quantum many-body systems참고 문헌 21인용 수 9

한 줄 요약

이 논문은 안정자 생성자로부터 가우스 소거법과 파울리 군 변환을 통해 명시적인 RBM 파라미터를 유도하여, 제한된 볼츠만 기계(RBM)를 사용해 어떤 안정자 코드 상태라도 정확하고 효율적으로 표현할 수 있는 최초의 알고리즘적 방법을 제시한다. 이 구성은 임의의 안정자 코드에 대해 다항식 크기의 효율적 RBM 표현을 보장하며, 높은 얽힘을 가진 양자 오류정정 상태에 대해 RBM의 정확한 표현 능력을 입증한다.

ABSTRACT

Restricted Boltzmann machines (RBMs) have demonstrated considerable success as variational quantum states; however, their representational power remains incompletely understood. In this work, we present an analytical proof that RBMs can exactly and efficiently represent stabilizer code states (a class of highly entangled quantum states that are central to quantum error correction). Given a set of stabilizer generators, we develop an efficient algorithm to determine both the RBM architecture and the exact values of its parameters. Our findings provide new insights into the expressive power of RBMs, highlighting their capability to encode highly entangled states, and may serve as a useful tool for the classical simulation of quantum error-correcting codes.

연구 동기 및 목표

• 안정자 코드 상태(높은 얽힘을 가진 양자 오류정정의 핵심이 되는 상태)에 대해 제한된 볼츠만 기계(RBM)의 표현 능력을 확립하기 위해.
• 주어진 안정자 생성자로부터 RBM 아키텍처와 파라미터(가중치, 편향)를 체계적이고 알고리즘적으로 계산할 수 있는 방법을 개발하기 위해.
• RBM이 임의의 안정자 코드 상태를 은닉 뉴런 수가 $ O(n^2) $ 이내로 제한되는 방식으로 정확히 표현할 수 있음을 증명하기 위해.
• 고전적 시뮬레이션과 RBM 기반 변분 상태를 통한 양자 오류정정 코드의 초기화를 가능하게 하는 체계적 프레임워크를 제공하기 위해.

제안 방법

• GF(2)에서의 가우스 소거법을 적용하여 안정자 생성자를 X형과 Z형 연산자로 구성된 표준형으로 변환함으로써 논리 상태의 구조를 단순화한다.
• 얻어진 표준형을 바탕으로 체계적으로 RBM을 구축하며, 각 안정자 생성자를 특정 은닉 뉴런과 연결에 매핑함으로써 올바른 위상 및 부호 구조를 보장한다.
• X형 안정자에 대해서는 복소 지수 인자에서 유도된 가중치와 편향을 가진 은닉 뉴런을 도입하고, 항등식 $ \exp(i\pi v_i) = 1 + \exp(i\pi) $ 를 사용하여 짝수성 조건을 강제한다.
• Z형 안정자에 대해서는 가중치 $ i\pi $ 와 적절한 편향을 가진 은닉 뉴런을 사용하여, 해당 큐비트 문자열에서 1의 개수가 홀수 또는 짝수일 경우 상태 진폭이 0이 되도록 강제한다.
• 최종 진폭 표현을 항등식 $ \psi(\mathbf{v}) = \frac{1}{Z} \exp(\sum_i a_i v_i) \prod_j \left(1 + \exp(b_j + \sum_i W_{ij} v_i) \right) $ 를 사용해 RBM 형태로 변환하고, 명시적인 파라미터 할당을 수행한다.
• 은닉 뉴런 수가 $ p(p-1)/2 + r $ 이하임을 보장함으로써 효율성을 확보한다. 여기서 $ p $ 는 X형 생성자의 수이고 $ r $ 은 Z형 생성자의 수이다.

실험 결과

연구 질문

• RQ1 RBM은 어떤 안정자 코드 상태를 정확히 표현할 수 있으며, 그 조건은 무엇인가?
• RQ2 임의의 안정자 코드 상태를 표현하기 위해 필요한 최소 RBM 아키텍처는 무엇인가?
• RQ3 RBM 파라미터(가중치 및 편향)는 안정자 생성자로부터 어떻게 체계적으로 유도할 수 있는가?
• RQ4 은닉 뉴런 수 측면에서 안정자 코드의 RBM 표현은 효율적인가?
• RQ5 이 구성은 계산 기저 상태가 아닌 임의의 논리 연산자의 고유상태로 일반화될 수 있는가?

주요 결과

• 논문은 임의의 안정자 코드에 대해 RBM 파라미터를 명시적이고 알고리즘적으로 구성하는 최초의 방법을 제공하며, RBM이 이러한 상태를 정확히 표현할 수 있음을 입증한다.
• 필요로 하는 은닉 뉴런 수는 $ p(p-1)/2 + r $ 이하로 제한되며, 여기서 $ p $ 는 X형 생성자의 수이고 $ r $ 은 Z형 생성자의 수이므로 다항식 효율성이 보장된다.
• [[5,1,3]] 코드의 경우, 5개의 볼록 뉴런과 5개의 은닉 뉴런을 가진 RBM 표현이 명시적으로 구성되었으며, 파라미터는 $ \alpha = \log(1 + \sqrt{2}) $ 에서 유도되었다.
• 진폭 함수는 $ \Psi(\mathbf{v}) = \exp\left((i\pi + \alpha)\sum v_i\right) \prod_{i=1}^5 \left(1 + \exp(i\pi + 2\alpha)(1 - v_i - v_{i+1}) \right) $ 로 표현되어 RBM 형태임을 확인한다.
• 논리 연산자의 고유상태로 일반화하기 위해 논리 연산자를 추가 안정자로 간주하고 동일한 가우스 소거법과 파라미터 할당 절차를 적용함으로써 이 구성이 일반화됨을 보였다.
• 이 구성은 특히 양자 오류정정 코드에서 높은 얽힘을 가진 양자 상태를 표현하는 데에 RBM이 경험적으로 성공한 이유를 설명한다.