[논문 리뷰] Magic of quantum hypergraph states

Junjie Chen, Yuxuan Yan외 1명|arXiv (Cornell University)|2023. 08. 03.

Quantum Computing Algorithms and ArchitectureComputer Science참고 문헌 78인용 수 3

한 줄 요약

이 논문은 안정자 R{\'e}nyi-\alpha 엔트로피(SRE)를 사용하여 양자 초그래프 상태에서의 마법—비안정성—을 정량화하는 분석적 프레임워크를 제공한다. 초그래프 상태가 일정한 평균 차수를 가지면 최대 마법을 달성할 수 없지만, 일반적인 랜덤 초그래프 상태는 최대 마법에 가까이 집중됨을 증명한다. 놀랍게도, 높은 대칭성을 가진 3-완전 초그래프 상태는 \alpha \geq 2일 경우 상수 또는 지수적으로 작은 마법만을 보이며, 이는 대칭성과 마법 자원성 사이에 비직관적인 상충 관계를 드러낸다.

ABSTRACT

Magic, or nonstabilizerness, characterizes the deviation of a quantum state from the set of stabilizer states and plays a fundamental role from quantum state complexity to universal fault-tolerant quantum computing. However, analytical or even numerical characterizations of magic are very challenging, especially in the multi-qubit system, even with a moderate qubit number. Here we systemically and analytically investigate the magic resource of archetypal multipartite quantum states -- quantum hypergraph states, which can be generated by multi-qubit Controlled-phase gates encoded by hypergraphs. We first give the magic formula in terms of the stabilizer R$\mathrm{\acute{e}}$nyi-$α$ entropies for general quantum hypergraph states and prove the magic can not reach the maximal value, if the average degree of the corresponding hypergraph is constant. Then we investigate the statistical behaviors of random hypergraph states and prove the concentration result that typically random hypergraph states can reach the maximal magic. This also suggests an efficient way to generate maximal magic states with random diagonal circuits. Finally, we study some highly symmetric hypergraph states with permutation-symmetry, such as the one whose associated hypergraph is $3$-complete, i.e., any three vertices are connected by a hyperedge. Counterintuitively, such states can only possess constant or even exponentially small magic for $α\geq 2$. Our study advances the understanding of multipartite quantum magic and could lead to applications in quantum computing and quantum many-body physics.

연구 동기 및 목표

• 다중편자 양자 초그래프 상태에서의 마법 자원을 체계적으로 특성화하는 것—이는 그래프 상태의 일반화이며 양자 우월성과 측정 기반 양자 계산에서 핵심적인 역할을 한다.
• 기존 방법이 지수적 스케일링으로 인해 실패하는 고도로 얽힌 다중 큐비트 상태에서 마법을 측정하는 데 도전하는 것.
• 3-완전 상태와 같은 높은 대칭성을 가진 초그래프 상태가 보편 양자 계산을 위한 고마법 자원 상태로 사용될 수 있는지 여부를 규명하는 것.
• 초그래프의 구조적 성질(예: 차수 분포, 대칭성)과 SRE 측정치를 통한 마법 함량 사이의 연결 고리를 설정하는 것.

제안 방법

• 저자들은 마법을 안정자 R{\'e}nyi-\alpha 엔트로피(SRE)로 표현하여, 상태의 파울리 스트링에 대한 투영의 가중치 분포를 측정한다.
• 원래 초그래프에서 유도된 초그래프와 SRE를 연결하는 그림자 표현을 도출하여, 파울리 스트링의 오버랩을 분석적으로 다룰 수 있도록 한다.
• 이 연구는 이진 벡터 공간에서의 세기 기법을 활용하여 마법의 통계적 성질을 조합 문제로 변환한다.
• 대칭 상태인 3-완전 초그래프의 경우, 순열 대칭성을 활용하여 파울리-리우빌 모멘트의 추적 계산을 단순화한다.
• 특히 \alpha = 2 및 \alpha = 1/2에 대해 추적 모멘트의 해석적 유도를 통해 정확한 SRE 값을 계산한다.
• 랜덤 대각 회로를 통한 랜덤 초그래프 상태에서의 마법 집중 현상을 분석함으로써, 랜덤 대각 회로에서의 일반적인 파울리 스트링 오버랩 행동을 분석하여 마법 집중을 증명한다.

Figure 1: (a) A hypergraph with six vertices. We use big circles to label hyperedges and small points to label vertices. There are four hyperedges, $\{1,2,3\},\{3,5,6\},\{1,4\},\{5\}$ , and the first two of them are $3$ -edge. (b) shows the induced hypergraph $G^{*}_{\vec{x},\vec{z}}$ according to E

실험 결과

연구 질문

• RQ1 양자 초그래프 상태는 최대 마법을 달성할 수 있으며, 어떤 구조적 조건에서 가능한가?
• RQ2 초그래프의 평균 차수가 해당 초그래프 상태의 마법 상한선에 미치는 영향은 무엇인가?
• RQ3 3-완전 상태와 같은 높은 대칭성을 가진 초그래프 상태는 대칭성에도 불구하고 높은 마법을 갖는가?
• RQ4 랜덤 초그래프 상태는 어느 정도 최대 마법에 가까이 집중되며, 이를 효율적인 자원 상태로 사용할 수 있는가?
• RQ5 SRE 측정치(예: \alpha = 2 대비 \alpha = 1/2)는 초그래프 상태에서 대칭성과 얽힘에 대해 어떻게 민감도가 다른가?

주요 결과

• 일정한 평균 차수를 가진 초그래프 상태는 SRE가 상한선에 의해 제한되어 이론적 최대치로 발산하지 않기 때문에 최대 마법을 달성할 수 없다.
• 랜덤 대각 회로로 생성된 일반적인 랜덤 초그래프 상태는 최대 마법에 가까이 집중되며, 하르 랜덤 상태와 유사한 행동을 보인다.
• 3-완전 초그래프 상태의 경우, \alpha = 2일 때 SRE는 상수로 유계이며, \alpha = 1/2일 때는 2^{(2n-7-(-1)^n)/4}로 증가하여 서로 다른 \alpha 측정치 사이에 지수적 분리가 나타남을 보여준다.
• 3-완전 상태의 SRE는 \alpha = 2와 \alpha = 1/2 사이에서 지수적으로 다를 수 있으며, 이는 서로 다른 SRE 측정치가 마법 함량에 대해 극명하게 다른 결론을 도출할 수 있음을 시사한다.
• 파울리-리우빌 모멘트 \mathbf{m}_2(\ket{G_{3\textrm{-com}}})는 \frac{1}{8} + \frac{7}{2^{n+\frac{3-(-1)^n}{2}}}로 유계이며, 큰 n에 대해 \frac{1}{8}에 수렴한다.
• 3-완전 상태의 \alpha = 1/2에 대한 SRE는 \mathbf{m}_{1/2}(\ket{G_{3\textrm{-com}}}) = 2^{\frac{2n-7-(-1)^n}{4}} + 1 - 2^{-n+\frac{1+(-1)^n}{2}}로 표현되며, n에 따라 증가하지만 여전히 최대가 아니다.

Figure 2: (a) A random $c=3$ -unifrom hypergraph with 6 vertices. In this case, there are three $3$ -edges selected, $\{1,2,3\},\{2,4,5\},\{3,5,6\}$ . The ensemble $\mathcal{E}_{c}^{p}$ in Def. 3 contains random hypergraph states, whose hypergraphs are generated by selecting all possible $c$ -edges