GAP 측정과 파동함수 붕괴 스크루지 분포의 불변성

이 논문은 양자 통계역학에서 등장하는 GAP(Scrooge) 측정이라는 확률분포와 파동함수 붕괴 과정 사이의 깊은 연관성을 밝힌다. 먼저, 저자는 GAP₍ρ₎ 를 정의한다. ρ는 힐베르트 공간 H 위의 밀도 행렬(양의 연산자, 트레이스 1)이며, 평균이 0이고 공분산이 ρ인 복소 가우시안 측정 G₍ρ₎ 를 만든다. 그 위에 ‖ψ‖² 를 곱해 조정된 측정 GA₍ρ₎ 를 얻고, 마지막으로 단위 구 S(H) 위로 정규화(projection)하여 GAP₍ρ₎ 를 만든다. 이 과정은 “가장 퍼진” 분포라는 정보이론적 해석을 제공한다. 핵심 정리(정리 1)는 다음과 같다. H 위의 임의의 연산자 집합 {L(x)}가 측정 공간 (X, F, µ) 위에서 ∫ L†(x)L(x) µ(dx)=I 를 만족한다면, 초기 파동함수 Ψ가 GAP₍ρ₎ 로 분포하고, X가 확률분포 P(X∈dx)=‖L(x)Ψ‖² µ(dx) 로 선택될 때, 붕괴 후 파동함수 Ψ′=L(X)Ψ/‖L(X)Ψ‖ 은 조건부로 GAP₍ρ′₎(X) 를 따른다. 여기서 ρ′(x)=L(x)ρL†(x)/tr