IBM 의 John Watrous 가 쓴 Understanding Quantum Information and Computation 의 Lesson 1, 첫 다섯 슬라이드를 정리한 기록입니다. 다룬 범위는 Cover 부터 Descriptions of quantum information, Classical information, 그리고 Dirac notation 의 앞부분까지.
요약하자면 이번 노트의 결론은 한 줄로 다음과 같습니다.
classical 확률 상태는 vector 로 표현되지만, quantum 상태와는 근본적으로 다르다. 그 차이를 만들어내는 것이 amplitude 의 부호, 복소 자유도와 정규화 조건이다.
본격적으로 들어가기 전에 한 가지만 짚고 갑니다. 이번 unit 은 quantum state 를 unit complex vector 로, operation 을 unitary matrix 로 다루는 simplified description 입니다. 더 일반적인 density matrix 표기는 다음 unit 의 주제입니다.
Classical information 과 probability vector
system 가 유한한 classical state 의 집합 중 하나의 상태에 있다고 합시다. 어떤 state 에 있는지에 대해 불확실성이 있을 때, 각 state 에 probability 를 부여해 표현합니다. 이걸 column vector 로 모은 것이 probability vector 입니다.
probability vector 의 조건은 두 가지뿐입니다.
- 모든 entry 가
- entry 의 합이
두 번째 조건이 합 이라는 점은, 뒤에서 quantum 의 과 비교할 때 결정적인 차이로 작용합니다. 미리 마음에 담아두면 좋습니다.
Dirac notation
quantum 표기법의 출발점인 Dirac ket 는 단순합니다. 에 대응하는, 해당 위치만 1 이고 나머지는 0 인 standard basis column vector. 그래서 임의의 probability vector 는 항상 다음 형태로 쓸 수 있습니다.
이 구조는 다음 unit 에서 quantum state 를 다룰 때 그대로 재사용됩니다.
차이는 단지 두 가지뿐입니다. weight 의 종류 (real complex), 그리고 정규화 조건 (). 표기 구조가 같다는 점이 오히려 헷갈림의 원인이 되기도 합니다.
예제: probability vector 만들어 보기
이고 , , 일 때.
Dirac notation 으로:
standard basis 를 풀어 column vector 로 옮기면:
조건 확인: 모든 entry , 합 . probability vector 입니다.
Probability vector 와 quantum state vector 의 차이
여기서부터가 이번 노트의 핵심입니다. "classical probabilistic state 도 vector 로 표현되니 quantum state 와 본질적으로 같지 않냐" 는 직관에 답을 해야 합니다.
| 구분 | Probability vector | Quantum state vector |
|---|---|---|
| Entry 의 의미 | 그 state 에 있을 probability (real, 이상) | amplitude (측정 시 그 결과로 collapse 될 진폭) |
| 부호, 위상 | non-negative 만 가능 | negative, 복소수 자유 |
| 정규화 | ||
| 측정 결과 확률 | entry 자체가 확률 | 로 변환해야 확률 |
가장 중요한 차이는 결국 한 가지로 귀결됩니다. amplitude 가 negative 또는 복소수일 수 있다는 사실이 interference (간섭) 를 가능하게 합니다. classical probability 는 entry 가 항상 이라 더하면 무조건 커지기만 합니다. 상쇄(cancellation) 자체가 일어날 수 없습니다.
같은 측정 결과, 다른 quantum state
다음 두 quantum state 를 비교해 봅시다.
standard basis 로 측정하면 둘 다 , . 측정 결과만 보면 둘은 구분 불가능 합니다. classical probability vector 의 관점에서 본다면 같은 상태여야 할 것 같죠.
그런데 Hadamard 를 한 번 끼워 넣으면 이야기가 달라집니다.
를 거치고 나면 한쪽은 deterministic 0, 다른 쪽은 deterministic 1 로 완전히 갈라집니다. 부호 차이 (relative phase) 가 사라지지 않고 남아 있다가, 어떤 unitary 를 통과하느냐에 따라 한쪽은 보강 간섭으로, 다른 쪽은 상쇄 간섭으로 작동한 결과입니다.
이 한 가지 예가 quantum state space 가 단순한 부호 있는 probability vector 가 아니라는 사실의 가장 깔끔한 증거입니다.