측정만으로 가능한 양자계산 : 유니터리 역학 없이도 계산할 수 있다.

1. 개요

보통 양자계산은 유니터리 게이트를 차례로 적용하는 회로 모델로 배운다.

Hadamard, CNOT, phase gate 같은 연산을 순서대로 걸고, 마지막에 측정하는 방식

하지만 양자계산은 꼭 이 형태일 필요가 없다

양자정보 이론은 측정만으로도 보편 양자 계싼이 가능하다는 것을 보여줬다.

사영측정 (projective measurement) 과 양자 메모리, 그리고 0 상태 준비만으로도 보편 양자 계산이 가능하다고 보였다.

이 관점으 곧 측정 기반 양자 계산 Measurement-Based Quantum Computation, MBQC 또는 one-wway quantum computing 으로 구체화되었다. 

미리 준비된 강항 얽힘 상태 cluster state 위에서 단일 큐비트 측정만으로 계산을 수행할 수 있음을 제시했다.

 

2. 유니터리 없이 계산한다는 말의 정확한 뜻

정확히 말하자면

계산 절차 자체를 유니터리 게이트 시퀀스로 실행하지 않아도 된다는 뜻

즉, 회로 모델처럼 계산 도중에 U_1, U_2, U_3 를 직접 적용하지 않아도 된다는 말

다만 물리적으로는 완전히 유니터리 없는 우주가 아니다.

실제 실험에서는

• 초기 자원 상태를 준비해야 하고
• 측정 장치와 계가 상호작용해야 하며
• 측정 결과에 따라 다음 측정 기준을 바꿔야 하기 때문

즉, 회로 모델에서의 계산 핵심이 유니터리 게이트여링라면,

MBQC 에서는 미리 만들어 둔 얽힘 자원 + 국소 측정 + 고전적 피드포워드가 계산의 핵심이 된다.

 

3. 왜 측정이 원래는 계산처럼 보이지 않았는가

보통 측정은 양자역학에서 상태를 읽는 마지막 단계처럼 배운다

• 먼저 유니터리 진화가 있고
• 마지막에 측정해서 결과를 읽는다.

이 관점에서 측정은 계산을 끝내는 행위이지, 계산을 수행하는 행위처럼 보이지 않는다. 

하지만 MBQC 는이 순서를 뒤집는다

측정이 단순한 readout 이 아니라, 다음에 남을 양자상태를 밀어내고 변형하는 동력이 된다. 

cluster state 의 일부 큐비트를 특정 기저에서 측정하면, 남은 큐비트들 위에 특정한 논리 연산ㅇ ㅣ유도된다. 

계산은 측정이 진행되면서 자원을 소비하는 방식으로 앞으로 나아간다. 그래서 이를 one-way 계산이라고 부른다.  

 

4. 측정 기반 양자계산의 기본 구조

MBQC 의 구조는 크게 세 단계

4.1 자원 상태 준비

먼저 많은 큐비트를 강하게 얽힌 상태, 보통 cluster state 또는 더 일반적으로 graph state 로 준비한다. 이 얽힘 상태가 계산의 연료 역할을 한다.

 

4.2 단일 큐비트 측정

각 큐비트를 특정 기저에서 하나씩 측정한다.

중요한 점은 측정 방향이 곧 프로그램이라는 것이다.

어떤 각도로 측정하느냐에 따라 남은 상태 위에 유도되는 논리 연산이 달라진다.

 

4.3 고전적 피드포워드

측정은 확률적이다. 따라서 어떤 큐비트를 측정하면 결과는 0 또는 1로 랜덤하게 나온다.

그 결과는 계산을 망치는 잡음처럼 보일 수 있지만, 실제로는 Pauli byproduct 라는 예측 가능한 형태의 보정 오차로 정리된다. 그래서 앞선 측정 결과를 보고 다음 측정 기저를 조정핳면 원하는 계사는 계속 정확히 이어갈 수 있다. 

이 적응적 측정 adaptive measurement 이 MBQC 의 핵심이다..

 

5. 어떻게 측정만으로 게이트가 생기는가

핵심 직관은 이렇다.

회로 모델에서는

게이트가 상태를 움직인다.

MBQC 에서는

측정이 남은 상태의 정보 흐름을 재배치한다.

cluster state 위에서 한 큐비트를 측정하면 그 큐비트는 사라지지만, 그 과정에서 양자정보가 이웃 큐비트 쪽으로 전이되고 회전된 형태로 남는다. 적절한 측정 각도를 선택하면 단일 큐비트 회전이 구현되고, 얽힘 구조를 적절히 설계하면 2큐비트 entangling gate 도 구현할 수 있다. 이 조합이 보편성을 만든다.

즉, 측정은 단순 파괴가 아니다

얽힘 자원을 소비하면서 논리 연산을 유도하는 행위다.

 

6. 왜 이것이 보편 양자계산이 되는가

양자계산이 보편적이려면 다음 두 종류가 가능해야 한다.

• 임의의 단일 큐비트 회전
• 적어도 하나의 비자명한 2큐비트 얽힘 게이트

MBQC 는 cluster state 와 단일 큐비트 측정만으로 이 둘을 모두 시뮬레이션할 수 있다. 따라서 회로 모델과 계산 능력이 동등하다

또 별개로 Nielsen 은 even more absract 하게 측정만 있고 coherent unitary dynamics 는 계산 절차에 포함되지 않는 모델도 보편적이라고 보였다.

즉, "보편 양자 계산 = 반드시 유니터리 게이트열이라는 생각 자체가 필수는 아니다.

 

7. 회로 모델과 측정 기반 모델의 차이

회로 모델

• 초기 상태 준비
• 유니터리 게이트열 적용
• 마지막에 측정

측정 기반 모델

• 먼저 큰 얽힘 자원 상태 준비
• 그 뒤는 측정만 수행
• 측정 결과를 고전적으로 받아 다음 측정 기저를 조정

즉 차이는

계산 중에 유니터리를 계속 거느냐와

처음에 얽힘을 한꺼번에 준비하고 이후엔 측정으로 밀고 가느냐의 차이ㅏ.

회로 모델이 연산 중심이라면, MBQC 는 자원 상태 중심이라고 볼 수 있다.

 

8. 왜 이것이 개념적으로 중요한가

단순히 다른 구현 방법이 하나 더 있다가 아닌

핵심은, 양자계산의 본질이 꼭 연속적인 유니터리 게이트 적용에만 있지 않다는 점을 드러냈다는 데 있다.

즉 양자계산의 계산 능력은 더 깊게 보면

• 얽힘이라는 자원
• 국소 측정
• 측정 결과에 따른 고전적 적응

의 조합으로 실현될 수 있다.

양자계산을 게이트 기계로만 보지 않고 정보 흐름을 얽힘 자원 위에서 측정으로 조형하는 과정으로 보게 만든다.

 

9. 핵심 정리

측정만으로 양자계산이 가능하다는 말은 다음 뜻이다. 

양자계산의 보편성은 반드시 계산 중 유니터리 게이트를 연속 적응하는 방식에만 묶여 있지 않다. 

미리 준비된 얽힘 자원 상태 위에서

국소 측정과 측정 결과에 따른 적응적 제어만으로도 보편 양자계산이 가능하다.

 

직설적으로 말하면

 

회로 모델에서는 유니터리가 계산을 수행하고 측정이 마지막에 결과를 읽는다.

MBQC 에서는 얽힘이 계산의 연료이고, 측정이 계산을 앞으로 진행시킨다.