[논문 리뷰] A simple protocol for certifying graph states and applications in quantum networks

Damian Markham, Alexandra Krause|arXiv (Cornell University)|2018. 01. 15.

Quantum Mechanics and Applications인용 수 5

한 줄 요약

이 논문은 안정자 측정을 이용하여 양자 네트워크에서 그래프 상태를 장치에 종속되지 않는 간단한 프로토콜을 제안한다. 이는 소스나 채널을 신뢰하지 않더라도 얽힌 자원을 안전하게 검증할 수 있게 한다. 프로토콜은 $1/M$ 비례로 안전성 임계값이 스케일링되며, 높은 정밀도로 상태를 검증할 수 있어 신뢰할 수 있는 양자 계산, 난수 생성, 미세 측정, 기밀 공유 등에 적합하다.

ABSTRACT

We present a simple protocol for certifying graph states in quantum networks using stabiliser measurements. The certification statements can easily be applied to different protocols using graph states. We see for example how it can be used to for measurement based verified quantum compu- tation, certified sampling of random unitaries and quantum metrology and sharing quantum secrets over untrusted channels.

연구 동기 및 목표

• 신뢰할 수 없는 소스와 채널을 가진 양자 네트워크에서 그래프 상태를 실용적이고 안전하게 검증하는 방법을 개발하기 위해.
• 자원 소모와 복잡도를 최소화하면서도 고정밀도 출력 상태를 보장하는 검증 프로토콜을 제공하기 위해.
• 측정 기반 양자 계산, 양자 미세 측정, 양자 기밀 공유와 같은 응용 분야에 더 높은 보안 보장을 제공하기 위해.
• 노이즈 또는 완벽하지 않은 물리적 구현 환경에 적응할 수 있는 확장성 있고 탄력적인 프레임워크를 제공하기 위해.
• 정밀도 한계와 타당성 조건을 기반으로 한 보안 프레임워크를 구축하여, 검증된 상태의 신뢰성 수준을 정량화하기 위해.

제안 방법

• 프로토콜은 n명의 플레이어에게 M개의 그래프 상태 복제본을 배포하며, 그 중 하나는 무작위로 선택되어 사용되고, 나머지 복제본은 무작위 안정자 측정을 통해 검증된다.
• 각 플레이어는 테스트 복제본에서 무작위로 선택된 안정자 생성자 $ S_{t_i} $ 를 측정하며, 수용 조건은 모든 측정 결과가 $+1$ 고유값을 가져야 한다.
• 사용할 복제본과 측정할 안정자 유형을 결정하기 위해 고전적 키 $ k = \{r, t\} $ 를 사용하여 소스가 예측 불가능하게 만들며, 이는 보안성을 높인다.
• 보안성은 완전성(이deal 상태는 항상 수용됨)과 타당성(수용된 경우 상태는 정밀도 측면에서 이상적인 상태에 가까움)을 통해 수학적으로 정의된다.
• 정밀도-타당성 경계 $ \left| \mathcal{F}_Q(\rho) - \mathcal{F}_Q(\sigma) \right| \leq 6\sqrt{1 - F(\rho,\sigma)^2}N^2 $ 를 활용하여 정밀도와 양자 피셔 정보 간의 관계를 수립한다.
• 노이즈에 대한 내성은 수용 임계값을 낮춤으로써 가능하며, 기밀 공유에 적용하기 위해 테스트를 승인된 하위집단에 국한하고 고전적 기밀 공유를 통해 키를 배포함으로써 유연하게 변형할 수 있다.

실험 결과

연구 질문

• RQ1 신뢰할 수 없는 소스와 채널을 가진 양자 네트워크에서 소스와 채널에 대한 신뢰도를 최소화하면서도 간단하고 확장 가능한 프로토콜로 그래프 상태를 검증할 수 있는가?
• RQ2 측정 기반 양자 계산과 양자 미세 측정과 같은 응용 분야에서 보안성을 확보하기 위해 프로토콜을 어떻게 적응시킬 수 있는가?
• RQ3 이러한 검증 프로토콜의 타당성의 기본 스케일링 한계는 무엇이며, $1/M$ 이외의 방식으로 개선 가능할까?
• RQ4 신뢰할 수 없는 채널과 악성 플레이어가 존재하는 상황에서 프로토콜을 어떻게 확장하여 양자 기밀 공유를 지원할 수 있는가?
• RQ5 인정된 양자 프로토콜에서 얽힘 비용과 보안 스케일링 간의 상충 관계는 무엇인가?

주요 결과

• 프로토콜은 $ \epsilon $-보안을 달성하며, 타당성은 $ \mathcal{O}(1/M) $ 비례로 스케일링되며, 여기서 $ M $ 은 검증된 복제본의 수이다.
• 회전된 프로토콜로 GHZ 상태를 검증할 경우, 양자 피셔 정보는 $ \mathcal{F}_Q(\rho_{ACC}) \geq N^2\left(1 - \frac{6}{P_{ACC}M}\right) $ 로 하한이 보장되어, 양자 미세 측정에서 양호한 성능을 발휘한다.
• 프로토콜은 완전성을 유지한다: 소스가 정직한 경우, 출력 상태는 항상 이상적인 그래프 상태 $ |G\rangle $ 로 정확히 수신된다.
• 정밀도 경계 $ \left| \mathcal{F}_Q(\rho) - \mathcal{F}_Q(\sigma) \right| \leq 6\sqrt{1 - F(\rho,\sigma)^2}N^2 $ 는 고정밀도 상태가 양자 미세 측정에서 유사한 성능을 보임을 보장한다.
• 프로토콜의 변형은 승인된 하위집단에만 안정자 테스트를 제한하고 고전적 기밀 공유를 통해 키를 배포함으로써, 신뢰할 수 없는 채널을 통해 양자 기밀 공유를 가능하게 한다.
• 현재 모델 하에서 프로토콜의 $1/M$ 스케일링은 최적이다. 악성 소스는 항상 $1/M$ 확률로 한 상태에서 조작함으로써 탐지에서 피할 수 있기 때문이다.