[논문 리뷰] A Quantum Observable for the Graph Isomorphism Problem

Mark Ettinger, Peter Høyer|ArXiv.org|1999. 01. 13.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 48

한 줄 요약

이 논문은 힐버트 공간 ℂ[(Sₙ ≀ S₂)ᵐ] 내의 양자 관측량을 제안하며, 이는 동형인 그래프와 비동형인 그래프를 구별한다: 두 그래프가 동형인 경우 관측량은 확실히 '예'를 반환하고, 비동형인 경우 '아니요'를 최소 1 − n!/2ᵐ의 확률로 반환한다. 이 관측량은 코셋 상태의 초위상 상태에 기반하며, 와이어드 프로덕트 군 내의 치환적 스위프의 구조를 활용하지만, 효율적인 양자 구현은 아직 증명되지 않았다.

ABSTRACT

Suppose we are given two graphs on $n$ vertices. We define an observable in the Hilbert space $\Co[(S_n \wr S_2)^m]$ which returns the answer ``yes'' with certainty if the graphs are isomorphic and ``no'' with probability at least $1-n!/2^m$ if the graphs are not isomorphic. We do not know if this observable is efficiently implementable.

연구 동기 및 목표

• 군론적 구조를 이용해 그래프 동형성을 판단하는 양자 관측량을 개발하는 것.
• 양자역학이 숨겨진 부분군 기법을 통해 그래프 동형성 문제를 해결할 수 있는지 탐색하는 것.
• 측정 결과가 높은 신뢰도로 동형성 상태를 드러내는 힐버트 공간 내에서 관측량을 정의하는 것.
• 이러한 관측량을 양자 컴퓨터에서 효율적으로 구현할 수 있는지의 가능성을 검토하는 것.
• 공유된 군 구조를 통해 그래프 동형성 문제와 코드 등가 문제를 연결하는 것.

제안 방법

• 관측량은 정밀도를 조절하는 매개변수 m에 따라 정의된 힐버트 공간 ℂ[(Sₙ ≀ S₂)ᵐ]에서 정의된다.
• 하부공간 ℋ₀와 ℋ₁에 대한 사영 연산자 P₀와 P₁를 사용하며, ℋ₁은 군 G에 속하는 치환적 스위프 k에 관련된 k-벡터들로 생성된다.
• k-벡터는 군 원소들과 그들을 치환적 스위프 k로 곱한 결과의 초위상 상태이다.
• 관측량 L = λ₀P₀ + λ₁P₁는 상태가 ℋ₁에 속해 있는지(즉, 동형성을 나타냄) 또는 그 수직보완공간에 속해 있는지를 측정한다.
• 입력 상태로는 이산 그래프 합성의 자기동형군 H에 대한 코셋 상태 |cH⟩를 사용한다.
• 이 방법은 그래프가 동형인 경우 모든 코셋 상태가 ℋ₁에 완전히 포함되며, 비동형인 경우 ℋ₁와의 겹침이 n!/2ᵐ 이하로 제한된다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 동형인 그래프에 대해 확실히 '예'를 반환하고, 비동형인 그래프에 대해 고확률로 '아니요'를 반환하는 양자 관측량을 구성할 수 있는가?
• RQ2 제안된 관측량이 양자 회로를 통해 효율적으로 실현 가능한가?
• RQ3 와이어드 프로덕트 군 Sₙ ≀ S₂의 구조는 이산 그래프 합성의 자기동형군과 어떻게 관련이 있는가?
• RQ4 이 양자 프레임워크에서 그래프 동형성 문제와 코드 등가 문제 사이의 관계는 무엇인가?
• RQ5 Sₙ ≀ S₂의 숨겨진 부분군 구조를 활용해 그래프 동형성 문제에 대해 다항식 시간 양자 알고리즘을 설계할 수 있는가?

주요 결과

• 두 그래프가 동형인 경우, 입력 상태가 하부공간 ℋ₁에 완전히 포함되어 있어 관측량은 확실히 '예'를 반환한다.
• 그래프가 비동형인 경우, '예'를 측정할 확률은 최대 n!/2ᵐ이며, 따라서 '아니요'를 측정할 확률는 최소 1 − n!/2ᵐ이다.
• 힐버트 공간 ℂ[(Sₙ ≀ S₂)ᵐ]의 차원은 2ᵐ(n!)²ᵐ로 증가하며, m이 n에 대해 로그적일 경우 n에 대해 다항식이지만, m에 대해 지수적으로 증가한다.
• 관측량은 측정 성질이 유리하지만, 아직 효율적인 구현이 알려져 있지 않다.
• 맨니 히ll이 보여준 바와 같이, 공유된 군론적 구조 덕분에 이 방법은 코드 등가 문제로도 확장될 수 있다.
• 치환적 스위프로 생성되는 Sₙ ≀ S₂의 부분군 G′(지표 2)를 전체 군 대신 사용할 수 있으며, 이는 힐버트 공간 차원을 줄이는 데 기여한다.