Properties of multiqubit variational quantum states representing weighted graphs and their computing with quantum programming

1. 연구 배경 및 문제 정의 (Problem)

• 배경: 양자 컴퓨팅에서 얽힘 (entanglement) 은 양자 암호, 텔레포테이션, 그리고 다양한 양자 알고리즘의 지수적 속도 향상을 가능하게 하는 핵심 자원입니다. 특히 현대의 파라미터화된 양자 회로 (PQC) 를 통해 생성된 다중 입자 얽힘 상태의 분포와 특성을 이해하는 것은 중요한 연구 과제입니다.
• 문제: 기존 연구들은 그래프 상태 (Graph States) 의 얽힘을 분석하거나, '황량한 대지 (barren plateaus)' 현상과 얽힘의 관계를 탐구해 왔습니다. 그러나 임의의 구조를 가진 가중치 그래프 (weighted graphs) 를 변분 양자 회로로 표현했을 때, 그래프의 고전적 구조적 속성 (예: 정점의 차수) 과 양자적 성질 (얽힘, 상관관계) 이 어떻게 직접적으로 연결되는지를 체계적으로 분석하고 이를 양자 하드웨어 (또는 시뮬레이터) 를 통해 검증하는 연구는 상대적으로 부족했습니다.
• 목표: 단일 층 (single-layer) 변분 양자 회로로 구성된 상태를 '가중치 양자 그래프 상태'로 간주하고, 그래프의 위상적 특성이 양자 얽힘과 상관관계에 미치는 영향을 이론적으로 유도하고 양자 시뮬레이션을 통해 검증하는 것.

2. 방법론 (Methodology)

• 양자 상태 구성:

  • 임의의 그래프 $G(V, E)$를 나타내는 단일 층 변분 양자 상태를 정의했습니다.
  • 회로 구조: 모든 큐비트에 $RX_i(\phi_i)$ 게이트 (회전) 를 적용한 후, 그래프의 간선 (edge) 에 해당하는 큐비트 쌍에 $RZZ_{jk}(\theta_{jk})$ 게이트 (얽힘) 를 적용합니다.
  • 매핑: 정점 (Vertex) 은 큐비트, 간선 (Edge) 은 $RZZ$게이트의 작용, 간선의 가중치는$RZZ$게이트의 각도 파라미터$\theta_{jk}$에 대응됩니다.
  • 상태 식: $|\psi_G\rangle = \prod_{(j,k)\in E} RZZ_{jk}(\theta_{jk}) \prod_{i} RX_i(\phi_i) |00...0\rangle$.

• 이론적 분석:

  • 기하학적 얽힘 측정 (GME): Shimony 가 정의한 GME 를 사용하여 특정 큐비트 $q[l]$과 나머지 큐비트 간의 얽힘을 계산했습니다. 이는 파울리 연산자 ($\sigma_x, \sigma_y, \sigma_z$) 의 기대값을 통해 유도됩니다.
  • 양자 상관관계 (Quantum Correlators): 두 큐비트 간의 상관관계 $\langle \sigma_l^\alpha \sigma_m^\beta \rangle$ ($\alpha, \beta \in \{x, y, z\}$) 를 그래프의 구조적 파라미터 (정점의 차수 등) 를 사용하여 해석적으로 유도했습니다.

• 양자 시뮬레이션 및 검증:

  • 대상: 별 모양 그래프 (Star Graph, $K_{1,4}$) 를 예시로 선정했습니다.
  • 도구: IBM 의 AerSimulator 를 사용했습니다.
  • 노이즈 모델: 실제 초전도 양자 장치의 특성을 반영하여 읽기 오류 (readout error, $10^{-2}$), 단일 큐비트 게이트 오류 ($10^{-4}$), CNOT 게이트 오류 ($10^{-2}$) 를 포함한 노이즈 모델을 적용했습니다.
  • 측정: 파울리 연산자의 기대값을 측정하여 GME 와 상관관계를 계산하고, 이론적 결과와 비교했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 이론적 발견

1. 그래프 차수와 얽힘의 직접적 연관성:
   • 임의의 그래프 구조에서 큐비트 $q[l]$의 얽힘 ($E_l$) 은 해당 정점의 **차수 (degree, $|N_G(l)|$)**에 직접적으로 의존함이 증명되었습니다.
   • 특히 모든 파라미터가 동일한 경우 ($\phi_i=\phi, \theta_{ij}=\theta$), 얽힘 식은 정점 차수의 함수로 단순화됩니다.
2. 양자 상관관계의 구조적 해석:
   • 양자 상관관계 $\langle \sigma_l^\alpha \sigma_m^\beta \rangle$ 또한 해당 정점들의 차수와 그래프의 이웃 관계 (neighborhood intersection) 에 의해 결정됨을 보였습니다.
   • 이는 고전적인 그래프의 구조적 속성을 양자 프로그래밍을 통해 양자적 관측량으로 감지 (detect) 할 수 있음을 의미합니다.

B. 시뮬레이션 결과

1. 이론과 실험의 일치:
   • $K_{1,4}$ (중앙 정점 1 개, 말단 정점 4 개) 그래프에 대한 GME 및 상관관계 ($\langle \sigma_x \sigma_x \rangle$, $\langle \sigma_y \sigma_y \rangle$, 등) 에 대한 이론적 계산값과 AerSimulator 의 이상적 (ideal) 시뮬레이션 결과가 완벽하게 일치했습니다.
2. 노이즈 내성 (Robustness):
   • 노이즈가 포함된 시뮬레이션에서도 얽힘 값은 노이즈로 인해 감소했으나, 정성적으로는 이론적 예측과 잘 일치했습니다.
   • 이는 근미래의 양자 프로세서 (NISQ 장치) 에서 평균 스핀 (mean spin) 측정을 통해 얽힘을 평가하는 접근법의 실현 가능성을 입증했습니다.
3. 시각화:
   • 다양한 파라미터 ($\phi, \theta$) 에 대한 GME 와 상관관계의 3D 표면 플롯을 생성하여 이론 곡선 (Yellow) 과 시뮬레이션 데이터 (Blue/Red dots) 간의 높은 일치도를 확인했습니다.

4. 의의 및 결론 (Significance & Conclusion)

• 양자 - 고전 연결의 확립: 이 연구는 양자 상태의 물리적 성질 (얽힘, 상관관계) 이 고전적인 그래프 이론의 구조적 속성 (정점 차수 등) 과 직접적으로 연결됨을 수학적으로 증명했습니다.
• 새로운 연구 패러다임: 양자 컴퓨팅을 사용하여 고전적인 객체 (그래프) 의 속성을 연구할 수 있는 새로운 가능성을 제시했습니다. 즉, 그래프의 위상적 특성을 양자 회로 파라미터로 인코딩하고 양자 측정을 통해 이를 분석하는 '양자 그래프 분석'의 기초를 마련했습니다.
• NISQ 시대의 실용성: 변분 양자 회로와 얽힘 측정 기법이 실제 노이즈가 있는 양자 하드웨어에서도 유효하게 작동함을 보여주어, 향후 양자 머신러닝이나 양자 화학 등에서의 그래프 기반 문제 해결에 기여할 것으로 기대됩니다.

요약: 본 논문은 변분 양자 회로로 생성된 상태를 가중치 양자 그래프 상태로 해석하고, 그래프의 정점 차수가 양자 얽힘과 상관관계를 결정한다는 핵심 관계를 이론적으로 유도하고, 노이즈가 있는 양자 시뮬레이션을 통해 이를 검증함으로써 양자 컴퓨팅과 고전 그래프 이론 간의 교량 역할을 수행했습니다.