POVM·instrument·측정 후 상태와 교란

1. 결과 분포가 같아도 측정 과정은 다를 수 있다

검출기가 음 또는 양의 부호를 출력한다고 하자. 두 실험실에서 모든 입력 상태에 대한 부호 확률이 일치한다면, 남겨진 계도 같을까? 그렇지 않다. 한 실험실은 기록 뒤 피드백을 적용하고 다른 곳은 적용하지 않을 수 있다. 기록은 같아도 후속 실험은 서로 다른 결과를 낼 수 있다.

이 장의 개념 그림은 입력 상태 → instrument의 가지 → 고전적 결과와 남은 양자 상태 → 조건부 선택 또는 평균 → 후속 측정이다. POVM은 고전적 결과의 확률을 정한다. Instrument는 상태 변화까지 정한다. 하나의 POVM을 고정하고 세 instrument를 비교해 두 역할을 분명히 구별한다.

예제는 무차원 Pauli 관측량과 읽기값을 사용한다. 단위 변경을 정확도 개선으로 오인하지 않으면서 식을 정확히 유도할 수 있다. 목적은 지정한 모형을 이해하는 것이다. 하나의 오차 정의가 모든 운용적 측정 과제를 대신한다고 주장하지 않는다.

2. 강도를 조절하는 이진 POVM을 만든다

상태를 Bloch 형태로 쓰고 단위벡터 n,b로 A=n·σ, B=b·σ를 정한다. κ는 두 결과 s=−1,+1에 담긴 A의 정보 강도를 조절한다.

$$\rho=\frac{I+r\cdot\sigma}{2},\quad |r|\le1,\quad A=n\cdot\sigma,\quad B=b\cdot\sigma,\quad |n|=|b|=1,\qquad E_s=\frac{I+s\kappa A}{2},\quad 0\le\kappa\le1,\quad p_s=\operatorname{Tr}(\rho E_s)=\frac{1+s\kappa m}{2},\quad m=n\cdot r.$$

A의 고유값이±1이므로 각 효과의 고유값은(1±κ)/2다. 지정한 구간에서 음수가 아니고 E−+E+=I다. κ=1이면 효과는 사영자다. κ=0이면 두 효과가 I/2이므로 기록은 입력과 독립인 공정한 동전이다. 그러나 동전 같은 기록이라는 사실만으로 계를 그대로 두었다고 결론낼 수는 없다.

임의의 비영 복소 벡터 z로 방향을 정하려면 P=zz†/(z†z), A=2P−I로 만든다. 비영 복소수 a에 대한 z→az는 A를 바꾸지 않는다. 실험은 두 방향에 이 구성을 써서 정규화에 필요한 무리수 좌표를 직접 입력할 필요가 없게 한다.

3. Kraus 연산자로 가지와 조건부 상태를 정한다

하나의 기록 결과에 구별하지 않은 Kraus 라벨 α가 여럿 있을 수 있다. 각 가지는 완전 양의 사상이며 모든 효과의 합은 trace 보존 조건을 준다.

$$\mathcal I_s(\rho)=\sum_\alpha K_{s\alpha}\rho K_{s\alpha}^\dagger=\tau_s,\qquad \sum_\alpha K_{s\alpha}^\dagger K_{s\alpha}=E_s,\qquad \rho_{\mid s}=\frac{\tau_s}{p_s}\ (p_s>0),\qquad \Psi(\rho)=\sum_s\tau_s.$$

비정규화 가지 τs의 trace는 ps다. 이 형태를 유지하면 각 원소가 입력 상태에 선형이다. 조건부 선택은 trace로 나누므로 비선형이다. 기록을 무시한 출력은 Ψ(ρ)다. 이미 확률을 포함한 비정규화 가지에 ps를 한 번 더 곱해 더하면 안 된다.

ps=0이면 양성에 의해 τs=0이지만 조건부 밀도는 정의되지 않는다. 실험은 조건부 밀도·Bloch 벡터·순도·후속 조건부 확률을 null로 둔다. 분모에 작은 epsilon을 넣으면 모형에서 일어날 수 없는 사건에 임의의 상태를 만들어 붙이게 된다.

4. 같은 효과를 갖는 세 instrument를 비교한다

양의 제곱근을 쓰는 Lüders 선택은 결과마다 연산자 하나를 쓴다. 결과별 unitary 피드백은 K†K를 유지하면서 출력을 바꾼다. 측정 후 재준비하는 instrument는 기록 부호에 해당하는 A 고유상태를 만든다.

$$K_s^{L}=\sqrt{E_s},\qquad K_s^{F}=U_s\sqrt{E_s},\qquad K_{s t}^{P}=\sqrt{\frac{1+st\kappa}{2}}\,|n_s\rangle\langle n_t|, \quad s,t\in\{-1,+1\},\qquad \mathcal I_s^{P}(\rho)=p_s|n_s\rangle\langle n_s|.$$

(KstP)†KstP를 t에 대해 더하면 Es를 얻는다. 따라서 세 instrument의 ps는 모든 ρ에서 같다. 조건부 상태는 일반적으로 다르다. 피드백은 U=(aI−i(vxX+vyY+vzZ))/√(a²+|v|²)이며 실수 입력 네 개를 미리 정규화할 필요가 없다. 네 값의 부호를 모두 뒤집으면 전역 위상만 바뀌므로 channel은 같다.

재준비 뒤에 sharp A를 측정하면 결과 s가 확실하다. 그러나 원래의 unsharp 검출기를 반복할 때도 기록이 확실히 반복되는 것은 아니다. |n_s⟩에 원래 POVM을 다시 적용하면 같은 부호 확률은(1+κ)/2다. 실험에서는 sharp-A 반복성과 unsharp 장치 자체의 기록 반복을 구별한다.

5. Bloch 갱신을 유도하고 channel을 그린다

h=√(1−κ²)로 쓰고 r를 평행 성분 mn과 수직 성분으로 나눈다. τs=(ps I+ws·σ)/2로 놓는다. A 고유기저에서 √Es를 전개하면 다음 비정규화 가지와 비선택 사상을 얻는다.

$$w_s^{L}=\frac{h(r-mn)+(m+s\kappa)n}{2},\quad r_L'=h(r-mn)+mn,\qquad w_s^{F}=R_sw_s^{L},\quad r_F'=\sum_sR_sw_s^{L},\qquad w_s^{P}=s p_s n,\quad r_P'=\kappa mn.$$

ps>0일 때 조건부 Bloch 벡터는 ws/ps다. κ=0에서 Lüders channel은 항등사상이지만 재준비 channel은 모든 상태를 I/2로 보낸다. κ=1에서 피드백이 없으면 둘 다 완전한 A 기저 dephasing이다. 이런 끝점 검사는 식과 해석을 함께 확인하는 방법이다.

Bloch 공을 n에 수직인 방향으로 눌러보자. Lüders channel은 축 성분을 유지하고 가로 성분을 h배 줄인다. 재준비 channel은 감쇠한 축 성분만 남긴다. 피드백은 가지별로 다른 회전을 줄 수 있으므로 출력 타원체의 중심이 원점에서 벗어날 수 있다. 조건부 선택은 공 안의 각 가지를, 평균은 channel 출력을 나타낸다.

강도 κ, 입력 +Y, A=Z	Lüders 출력 Bloch 벡터	재준비 출력	X의 Lüders RMS 교란 제곱
0	(0,1,0)	I/2	0
3/5	(0,4/5,0)	I/2	2/5
1	(0,0,0)	I/2	2

표의 모든 행에서 두 instrument의 기록 확률은1/2,1/2다. 기록만 비교하면 남은 계의 차이를 보지 못한다.

6. 순차 결과의 공동 법칙은 순서가 정해진 실험을 뜻한다

s를 기록한 뒤 Qt=(I+tB)/2로 B를 sharp 측정하자. 공동 법칙은 이 순서와 instrument에 대한 것이다. A와 B가 비가환이어도 유효한 음수 없는 분포다.

$$p(s,t)=\operatorname{Tr}(Q_t\tau_s)=\frac{p_s+t\,b\cdot w_s}{2},\qquad \sum_t p(s,t)=p_s,\qquad p(t\mid s)=\frac{p(s,t)}{p_s}\quad(p_s>0).$$

B 주변 분포는 일반적으로 ρ가 아니라 Ψ(ρ)에서 계산한다. 첫 부호는 unsharp meter 결과이지, 입력에 존재하던 sharp A 값이라고 자동 해석할 수 없다. Es가 같아도 instrument를 바꾸면 표가 달라질 수 있고, 순서를 뒤집어도 달라질 수 있다.

이는 비호환 초기 관측량의 장치 독립 공동 분포가 없다는 말과 모순되지 않는다. 순서가 정해진 과정에는 추가 물리적 선택이 들어간다. 이 분포는 그 과정의 결과에 관한 것이며, 상호작용 전에 두 값이 함께 존재했다고 가정한 분포가 아니다.

7. 읽기값 폭·내재 잡음·RMS 오차를 구별한다

결과 s에 읽기값 ts를 붙이자. Raw meter의 배율 t는1, 보정 meter는1/κ다. 연산자 모멘트는 O1=tκA, O2=t²I다. POVM의 내재 잡음은 N=O2−O1²이고 bias는 O1−A다.

$$\mathbb E[M]=t\kappa m,\quad \operatorname{Var}(M)=t^2(1-\kappa^2m^2),\quad N=t^2(1-\kappa^2)I,\qquad \epsilon_t(A)^2=\operatorname{Tr}\rho\,[O_2-O_1A-AO_1+A^2] =t^2+1-2t\kappa.$$

이 오차는 N+(O1−A)²의 기대와도 같다. 내재 잡음과 bias가 함께 기여한다. 읽기값 분산에는 준비 상태의 의존성도 남는다. 모든 입력의 평균에 대해 불편인 meter라도 매 시행의 오차가 사라지는 것은 아니다.

κ>0에서 보정하면 O1=A가 되며 그 비용은 εcal²=(1−κ²)/κ²다. κ=0에서는 보정이 정의되지 않아 null이다. 작은 epsilon으로 나누면 입력과 독립인 동전 기록에 존재하지 않는 정보를 주장하게 된다.

κ=3/5, 입력 +Z, A=Z	읽기값	읽기값 분산	A에 대한 RMS 오차 제곱
이상적 sharp 측정	±1	0	0
Raw unsharp meter	±1	16/25	4/5
보정 unsharp meter	±5/3	16/9	16/9

모든 행에서 입력 A의 분산은0이다. 마지막 행의 불편 평균이 sharp한 시행별 측정을 복원하지는 않는다. 보정은 정보와 무작위성을 함께 확대한다.

8. Isometry를 통해 RMS 교란을 정의한다

서로 직교하는 기록 라벨을 붙여 V=ΣKₛα⊗|s,α⟩로 정하자. Kraus 완비성에 의해 V†V=I다. Pointer는 기록 register에, B는 남긴 계에 작용한다. 아래 제곱 노름이 이 장에서 사용하는 장치 양을 정의한다. 혼합 상태는 √ρ로 표현한다.

$$\epsilon_t(A)^2=\sum_{s,\alpha}\|(tsK_{s\alpha}-K_{s\alpha}A)\sqrt\rho\|_{\mathrm{HS}}^2,\qquad \eta(B)^2=\sum_{s,\alpha}\|(BK_{s\alpha}-K_{s\alpha}B)\sqrt\rho\|_{\mathrm{HS}}^2.$$

이 식에는 초기 A와 pointer 값을 동시에 할당할 필요가 없다. 전개하면 앞의 오차 식과 channel에 대한 관측량 교란 식을 얻는다. Ψ*(B)=tB I+d·σ로 쓸 때 tB는 meter 배율과 무관한 스칼라 계수다. Pauli B²=I이므로 η²=2−2d·b−2tB(r·b)다.

Lüders channel에서는 η(B)²=2(1−h)[1−(n·b)²]다. B=A일 때0이지만 특정 입력 밀도가 유지되어도 양수일 수 있다. Sharp Z dephasing은 I/2를 그대로 두면서 η(X)=√2를 준다. ‘이 밀도가 변하지 않았다’와 ‘이 관측량의 RMS 교란이0이다’는 다른 주장이다.

9. 상태 거리와 분포 변화도 따로 계산한다

Qubit의 trace distance는 Bloch 좌표로 간단히 표현된다. 뒤이은 이진 B 측정의 total variation은 그보다 크지 않다.

$$D(\rho,\Psi(\rho))=\frac{|r'-r|}{2},\qquad \operatorname{TV}_B=\frac{|b\cdot(r'-r)|}{2}\le D(\rho,\Psi(\rho)).$$

I/2가 그대로인 예에서는 두 양이 모두0인데도 X의 RMS 교란은 양수다. 반대로 어떤 channel 변화는 선택한 B 히스토그램에는 보이지 않고 다른 관측량에서는 보일 수 있다. η로 정식화한 정리에 이 거리들을 설명 없이 대신 넣어서는 안 된다.

두 가지에 모두 X 피드백을 넣는 sharp Z 장치도 확인해보자. 입력 +Z에서는 양의 기록이 확실하지만 피드백 뒤 상태는 −Z다. 입력/출력 trace distance는1이며, 후속 sharp Z는 기록 부호와 다르고 η(Z)²=4다. 사영 효과라는 사실만으로 반복 가능한 상태 갱신이 정해지지 않았다.

10. 올바른 오차·교란 관계를 적용한다

C=|Tr(ρ[A,B])|/2=|(n×b)·r|로 놓자. Robertson은 σAσB에 대한 관계다. 위에서 정의한 장치 양은 Ozawa의 보정 관계를 만족한다. 곱만 남겨 대체한 부등식은 일반적으로 성립하지 않는다.

$$\sigma_A\sigma_B\ge C,\qquad \epsilon(A)\eta(B)+\epsilon(A)\sigma_B+\sigma_A\eta(B)\ge C.$$

두 번째 식을 이해하려면 isometry를 unitary dilation에 넣는다. 출력 pointer와 출력 B는 서로 다른 인자에 작용하므로 가환한다. 각각을 입력 A,B와 그 차이로 분해해 교환자를 전개한다. 생기는 세 교환자 기대를 Cauchy–Schwarz로 제한하고, 차이의 표준편차가 RMS 노름보다 크지 않음을 쓰면 세 항이 나온다. 그중 두 항을 임의로 버릴 근거는 없다.

입력 +Y, A=Z,B=X에서 sharp Lüders 측정을 하자. C=1, σA=σB=1, ε=0, η=√2다. 단순 곱 εη는0이지만 보정된 왼쪽은√2≥1이다. 준비 불확정성도 만족한다. 하나의 상태와 장치에서 세 식을 계산하면, 정의되지 않은 ‘측정하면 방해한다’는 설명보다 무엇이 다른지 분명히 볼 수 있다.

11. Channel 구조와 수치 범위를 확인한다

Channel의 비정규화 Choi 행렬은 J=Σij Ψ(|i⟩⟨j|)⊗|i⟩⟨j|이며 output⊗input 순서다. 양이고 trace가2이며 출력 부분trace는 I다. Rank는 최소 Kraus 개수이고 실제 제공한 연산자 수보다 작을 수 있다. κ=0에서 항등 Lüders channel은 rank1, 완전 탈분극 재준비 channel은 rank4다. 효과는 여전히 같다.

실험은 크기10⁶ 이하인 소유 정수22개를 받는다. 유리수 Bloch 벡터, 두 raw 복소 방향 벡터, 유리수 κ, 두 피드백 quaternion이다. Bloch 공과 비영 방향을 정확히 검사한다. Channel 원소·조건부 상태·RMS 제곱·Choi rank는 Q(√(1−κ²))에서 계산하며 유리수인 제곱근은 접어 넣는다. 그림 전에 대수적 비영 부호를 판정한다.

표시 제곱근과 정규화 Kraus 원소는768bit 작업·바깥쪽512bit 보고 구간을 쓴다. 반대 부호의 상쇄는 구간 평가 전에 유리화한다. 해결되지 않은 구간을 예상 정리에 맞춰 잘라내지 않고 미해결로 보고한다. 일반 다중 qubit이나 임의 POVM을 입력하는 기능은 없다. Naimark dilation은 더 큰 계로 POVM을 구현할 수 있음을 설명하지만, 이 예제가 모든 구현을 시뮬레이션하지는 않는다.

12. 해설 문제와 AI 연결

1. κ=0이면 교란도 없는가?

해설. 결과 확률에 정보가 없다는 뜻이다. Lüders 구현은 항등사상이지만 재준비 구현은 모든 입력을 I/2로 보낸다. 효과만으로 상태 변화가 정해지지 않는다.

2. κ=0에서 보정 meter가 없는 이유는 무엇인가?

해설. 배율이1/κ여야 하기 때문이다. 입력과 독립인 동전은 유한 재척도로 불편 A 측정이 될 수 없다. 따라서 큰 임의 값이 아니라 null이다.

3. 불편 meter에도 RMS 오차가 있는가?

해설. 있다. κ=3/5에서 보정하면 O1=A지만 내재 잡음16/9가 남는다. 평균 보정과 시행 수준 정확도는 다르다.

4. I/2가 유지되면 η(X)가 반드시0인가?

해설. 아니다. Sharp Z dephasing은 η(X)²=2이며, 그 상태의 trace distance와 모든 출력 히스토그램 변화는0이다. RMS 관측량 정의는 한 밀도의 비교보다 channel 작용의 더 많은 구조를 사용한다.

5. |n_s⟩를 준비하면 unsharp 기록이 확실히 반복되는가?

해설. Sharp A는 s를 확실히 반복한다. 원래 unsharp POVM은 확률(1+κ)/2로만 반복한다. κ=0이면1/2다.

6. Sharp +Y 예에서 ε=0이어도 어느 관계가 유지되는가?

해설. Robertson과 보정된 세 항 관계가 모두 유지된다. 단순 εη≥C는 왼쪽0, C=1이므로 실패한다. 보정된 왼쪽은√2다.

AI에서도 출력 분포의 일치만으로 숨은 상태 전이의 동등성이 보장되지 않는다. 평균 보정은 작은 표본별 오차를 보장하지 않으며, 개입 순서도 중요하다. 구조적 비유이지 일반 확률적 신경망이 곧 양자 instrument라는 뜻은 아니다. 일반 instrument·양자 channel·추정·피드백 제어·운용적 오차 정의는 이어질 연구 범위다. 유한 실험을 완료했다고 이 질문들까지 완료 처리하지 않는다.

교재 진입은 Book → Interactive Book이다. 배경은 Preskill §3.2.4, RMS 정의와 보정 관계는 Ozawa의 측정 연산자 논문을 참고한다. 세 장치 비교·유도·입력 예제는 이 교재에서 구성했다.