출처 검증됨레벨 3
위상 킥백
위상 킥백은 고유 상태에 있는 표적에 제어 연산을 적용할 때, 표적은 변하지 않고 대신 고윳값의 위상이 제어 레지스터에 새겨지는 효과입니다.
무슨 뜻인가요
|ψ⟩가 유니터리 U의 고유 상태이고 고윳값이 e^{iφ}라고 합시다.즉 U|ψ⟩ = e^{iφ}|ψ⟩입니다.제어 큐비트를 중첩에 두고 제어-U를 적용하면, |0⟩ 분기는 아무 일도 하지 않고 |1⟩ 분기는 인자 e^{iφ}를 얻습니다.두 분기 모두에서 표적이 정확히 |ψ⟩로 되돌아오므로 이 위상을 표적의 것으로 볼 수 없습니다 — 위상은 제어 레지스터의 상대 위상으로 나타납니다: (|0⟩ + |1⟩)/√2가 (|0⟩ + e^{iφ}|1⟩)/√2가 됩니다.정보가 표적에서 제어로 '되차인(킥백)' 것입니다.교과서의 예는 XOR 오라클의 고유 상태인 표적 |−⟩ = (|0⟩ − |1⟩)/√2를 사용합니다: Uf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩이므로, 보조 큐비트는 내내 |−⟩로 유지되는 동안 각 입력 분기 x가 부호 (−1)^{f(x)}를 얻습니다.이는 함수 값을 진폭의 부호로 변환하는 것으로, 간섭이 작용할 수 있는 바로 그 형태입니다.위상 킥백은 도이치-조사 알고리즘, 양자 위상 추정(따라서 쇼어 알고리즘), 그리고 그로버의 오라클 표시 단계의 작동 핵심입니다.일상 비유
위상 킥백은 놀이공원의 마법 손도장과 같습니다: 친구(보조 큐비트)가 여러분 대신 입구를 통과하는데, 잉크 도장은 마법처럼 친구가 아니라 '여러분' 손에 찍힙니다 — 그리고 친구는 떠날 때 모습 그대로 돌아옵니다. 답은 질문한 레지스터에 기록되고, 보조자는 변하지 않습니다.
완벽하게 단단한 용수철을 자연스러운 모양 그대로 누르는 것과 같습니다: 용수철(고유 상태)은 전혀 변형되지 않고 — 대신 미는 힘이 여러분의 손으로 되돌아옵니다. 고유 상태는 아무것도 흡수하지 않고, 위상은 제어 쪽으로 반동합니다.
흔한 오해
- 위상은 표적 큐비트에 남지 않습니다 — 표적은 고유 상태이므로 들어갈 때와 정확히 같은 모습으로 연산을 빠져나옵니다. 위상을 표적에 귀속시키는 장부 정리는 요점을 놓친 것입니다: 물리적으로 의미 있는 변화는 제어 레지스터의 상대 위상입니다.
- 위상 킥백은 새로운 물리적 상호작용이나 인과율 위반이 아닙니다 — 그저 평범한 선형성입니다: 각 제어 분기는 유니터리성이 정하는 대로 진화하며, 스칼라인 고윳값 위상은 중첩이 있는 곳으로 인수분해되어 나올 뿐입니다.
- 제어가 확정된 기저 상태에 있다면 킥백은 보이지 않습니다 — 단일 분기의 위상은 물리적 효과가 없는 전역 위상이기 때문입니다. 되차인 위상이 측정 가능한 상대 위상이 되려면 제어가 중첩에 있어야 합니다.
핵심 정리
- U|ψ⟩ = e^{iφ}|ψ⟩이면, 제어-U는 (|0⟩ + |1⟩)|ψ⟩/√2를 (|0⟩ + e^{iφ}|1⟩)|ψ⟩/√2로 보냅니다: 위상이 제어에 실립니다.
- 보조 큐비트를 |−⟩에 두면 XOR 오라클은 Uf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩로 작용하여 함수 값을 진폭의 부호로 바꿉니다.
- 위상 킥백은 오라클의 출력을 간섭이 활용할 수 있는 위상으로 변환합니다 — 도이치-조사, 위상 추정, 그로버 표시 단계의 기관실입니다.
- 이 효과에는 표적이 고유 상태에 있고 제어가 중첩에 있어야 합니다.
이해했는지 확인해 보세요
입력 레지스터가 (|0⟩ + |1⟩)/√2에 있고 보조 큐비트가 |−⟩로 준비된 상태에서 XOR 오라클 Uf를 적용했습니다. 이후 f에 대한 정보는 어디에 나타납니까?
- A.보조 큐비트에 — f = 1이면 |+⟩로 뒤집힘
- B.입력 레지스터의 분기들에 상대 부호 (−1)^{f(x)}로 나타나며, 보조 큐비트는 |−⟩로 유지됨
- C.어디에도 나타나지 않음 — 상태는 변하지 않음
- D.오라클 내부의 고전 레지스터에
정답 보기
정답: B. 입력 레지스터의 분기들에 상대 부호 (−1)^{f(x)}로 나타나며, 보조 큐비트는 |−⟩로 유지됨
이유: |−⟩는 XOR 작용의 고유 상태이므로 Uf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩입니다. 보조 큐비트는 변하지 않고, 입력 레지스터의 각 분기 x가 부호 (−1)^{f(x)}를 얻습니다. 이것이 위상 킥백입니다: 함수 값이 질문한 레지스터에 위상으로 새겨집니다.
먼저 알아야 할 개념
원 출처: Nielsen & Chuang, Quantum Computation and Quantum Information (2010), doi:10.1017/CBO9780511976667
Graded 2026-07-10 (human sign-off): established — phase kickback as used in Deutsch–Jozsa and phase estimation per Nielsen & Chuang (2010) §1.4.3–§1.4.4 and §5.2, Preskill Ph219, and the IBM Qiskit Textbook chapter on phase kickback. Pending human grading.