projective measurement의 확률·조건부 상태를 일반 기저와 위치·운동량 연속 스펙트럼에서 계산하고 δ 함수의 역할을 해석합니다.

대학원 고급 양자역학 · Sakurai · PART 1 · Sakurai의 출발점: 추상 상태공간02 / 03

검출기의 좁은 위치 구간에 입자가 들어왔다는 사건은 ‘정확한 한 점의 ket’을 얻는 것이 아니라 그 구간에 대한 projector를 적용한 것입니다.

정규화되지 않는 |x⟩와 |p⟩로 어떻게 유한한 측정 확률을 계산할 수 있을까요?

이번 글의 답한 점의 확률이 아니라 확률밀도와 유한 구간의 projector를 사용합니다. δ 정규화는 연속기저의 완비성을 표현하며, 실제 검출 확률은 밀도를 구간에 적분해 얻습니다.

01직관부터 완전 전개 계산까지

SAKURAI, STEP BY STEP

측정과 연속 기저: 기호를 외우기 전에 질문부터 세우기

고급 측정 이론의 핵심은 ‘관측량의 숫자를 읽는다’는 말을 사건에 대응하는 양의 연산자와 상태의 결합으로 바꾸는 것입니다. 이상적 projective measurement에서는 사건 a에 projector Pₐ가 대응하고 Born 규칙은 p(a)=Tr(ρPₐ)입니다. 순수상태 공식 |⟨a|ψ⟩|²은 이 식의 특별한 경우입니다. 연속 변수에서는 한 점의 ket이 정규화되지 않으므로 확률밀도와 spectral measure를 구분해야 합니다.

BEFORE YOU START

이 글을 읽기 전에 확인할 세 가지

01

학부 양자역학 전체

02

복소 선형대수

03

Dirac 표기와 스핀 1/2

CORE CONCEPT

spectral measure

실수축의 각 측정값 집합 Δ에 projector P(Δ)를 대응시키는 연속 스펙트럼의 엄밀한 측정 구조입니다.

CORE CONCEPT

δ 정규화

연속 고유ket의 직교성과 완비성을 Dirac δ 분포로 표현하는 규약입니다.

CORE CONCEPT

상태 갱신

측정 결과 a가 알려진 뒤 상태를 PₐρPₐ/Tr(ρPₐ)로 조건부화하는 이상적 Lüders 규칙입니다.

CONCEPT ROUTE

관찰에서 식과 예측으로 가는 흐름

각 화살표는 단순한 목차가 아니라 다음 단계가 왜 필요한지를 보여줍니다.

01projector

측정 사건

02Born 규칙

trace 확률

03δ 정규화

연속기저

04유한 분해능

구간 적분

$$ p(a)=\operatorname{Tr}(\rho P_a),\qquad P_\Delta=\int_\Delta dx\,|x\rangle\langle x|,\qquad \langle x|p\rangle=\frac{e^{ipx/\hbar}}{\sqrt{2\pi\hbar}} $$

DERIVE THE EQUATION

핵심 식을 네 단계로 읽고 유도합니다

$$ p(a)=\operatorname{Tr}(\rho P_a),\qquad P_\Delta=\int_\Delta dx\,|x\rangle\langle x|,\qquad \langle x|p\rangle=\frac{e^{ipx/\hbar}}{\sqrt{2\pi\hbar}} $$
01

위치와 운동량의 변환 kernel K(x,p)=⟨x|p⟩를 두고 p가 위치표현에서 −iℏ∂ₓ라는 고유값 방정식을 적용합니다.

02

−iℏ∂ₓK=pK를 풀면 K=C(p)e^{ipx/ℏ}이고, ⟨p|p′⟩=δ(p−p′) 조건으로 C=1/√(2πℏ)를 정합니다.

03

I=∫dp|p⟩⟨p|를 |ψ⟩ 앞에 삽입하면 ψ(x)=∫dp K(x,p)φ(p)가 되어 위치와 운동량 파동함수가 Fourier 쌍임을 얻습니다.

04

한 점 대신 Δ 구간의 projector를 사용하면 p(x∈Δ)=Tr(ρP_Δ)=∫_Δ|ψ(x)|²dx로 유한하고 실험 가능한 확률이 됩니다.

THREE WORKED PROBLEMS

대입에서 끝내지 않고 결과의 뜻까지 확인합니다

각 예제는 식 세우기 → 계산 → 단위·극한 점검 → 물리적 해석의 순서로 읽으세요.

01

Gaussian 파동함수의 구간 검출 확률

$$ \begin{aligned}|\psi(x)|^2&=\frac{1}{\sqrt{2\pi}\sigma}e^{-x^2/(2\sigma^2)}\\P(|x|<\sigma)&=\int_{-\sigma}^{\sigma}|\psi(x)|^2dx\\&=\operatorname{erf}\!\left(\frac1{\sqrt2}\right)\simeq0.6827\end{aligned} $$

정확한 x=0의 확률은 0이지만 그 점의 확률밀도는 유한합니다. 실제 분해능이 ±σ인 검출기는 약 68.27%의 사건을 기록합니다.

02

서로 다른 spin 기저로 측정

$$ \begin{aligned}|+z\rangle&=\frac1{\sqrt2}(|+x\rangle+|-x\rangle)\\P(+x)&=\langle+z|P_{+x}|+z\rangle=\frac12\\\rho_{+x}&=\frac{P_{+x}|+z\rangle\langle+z|P_{+x}}{1/2}=|+x\rangle\langle+x|\end{aligned} $$

확률 계산과 결과가 알려진 뒤의 상태 갱신은 다른 단계입니다. +x가 관측되었다는 조건 아래에서는 후속 x 측정이 확률 1로 +를 줍니다.

03

운동량 파동함수의 정규화

$$ \begin{aligned}\psi(x)&=\left(\frac{1}{2\pi\sigma_x^2}\right)^{1/4}e^{-x^2/(4\sigma_x^2)}\\|\phi(p)|^2&=\sqrt{\frac{2\sigma_x^2}{\pi\hbar^2}}e^{-2\sigma_x^2p^2/\hbar^2}\\\int dp\,|\phi(p)|^2&=1,\quad \sigma_p=\frac{\hbar}{2\sigma_x}\end{aligned} $$

kernel의 1/√(2πℏ) 계수는 Parseval 관계가 성립하도록 정해집니다. 위치분포를 좁히면 Fourier 변환된 운동량분포가 넓어지는 이유가 수치로 드러납니다.

스스로 확인하기 · 정규화되지 않는 |x⟩와 |p⟩로 어떻게 유한한 측정 확률을 계산할 수 있을까요?

한 점의 확률이 아니라 확률밀도와 유한 구간의 projector를 사용합니다. δ 정규화는 연속기저의 완비성을 표현하며, 실제 검출 확률은 밀도를 구간에 적분해 얻습니다.

02문제와 물리적 직관

고급 측정 이론의 핵심은 ‘관측량의 숫자를 읽는다’는 말을 사건에 대응하는 양의 연산자와 상태의 결합으로 바꾸는 것입니다. 이상적 projective measurement에서는 사건 a에 projector Pₐ가 대응하고 Born 규칙은 p(a)=Tr(ρPₐ)입니다. 순수상태 공식 |⟨a|ψ⟩|²은 이 식의 특별한 경우입니다. 연속 변수에서는 한 점의 ket이 정규화되지 않으므로 확률밀도와 spectral measure를 구분해야 합니다.

먼저 구분할 세 가지 개념
  • spectral measure — 실수축의 각 측정값 집합 Δ에 projector P(Δ)를 대응시키는 연속 스펙트럼의 엄밀한 측정 구조입니다.
  • δ 정규화 — 연속 고유ket의 직교성과 완비성을 Dirac δ 분포로 표현하는 규약입니다.
  • 상태 갱신 — 측정 결과 a가 알려진 뒤 상태를 PₐρPₐ/Tr(ρPₐ)로 조건부화하는 이상적 Lüders 규칙입니다.

03수학적 모형과 핵심 방정식

위치와 운동량 고유ket은 ⟨x|x′⟩=δ(x−x′), ⟨p|p′⟩=δ(p−p′)로 정규화됩니다. 기저 사이의 kernel ⟨x|p⟩=(2πℏ)^{-1/2}e^{ipx/ℏ}가 Fourier 변환을 만들고, 구간 Δ의 위치측정 projector는 P_Δ=∫_Δdx|x⟩⟨x|입니다.

$$ p(a)=\operatorname{Tr}(\rho P_a),\qquad P_\Delta=\int_\Delta dx\,|x\rangle\langle x|,\qquad \langle x|p\rangle=\frac{e^{ipx/\hbar}}{\sqrt{2\pi\hbar}} $$
이산 측정과 연속 측정은 모두 spectral projector에 대한 trace 규칙으로 표현됩니다.

04유도와 계산 전략

공식은 외우는 대상이 아니라 가정과 정의에서 따라 나오는 결과입니다. 아래 순서를 따라 각 항의 출처와 계산 조건을 확인합니다.

식을 전개하는 네 단계
  • 위치와 운동량의 변환 kernel K(x,p)=⟨x|p⟩를 두고 p가 위치표현에서 −iℏ∂ₓ라는 고유값 방정식을 적용합니다.
  • −iℏ∂ₓK=pK를 풀면 K=C(p)e^{ipx/ℏ}이고, ⟨p|p′⟩=δ(p−p′) 조건으로 C=1/√(2πℏ)를 정합니다.
  • I=∫dp|p⟩⟨p|를 |ψ⟩ 앞에 삽입하면 ψ(x)=∫dp K(x,p)φ(p)가 되어 위치와 운동량 파동함수가 Fourier 쌍임을 얻습니다.
  • 한 점 대신 Δ 구간의 projector를 사용하면 p(x∈Δ)=Tr(ρP_Δ)=∫_Δ|ψ(x)|²dx로 유한하고 실험 가능한 확률이 됩니다.

05적용 범위·한계·다음 연결

projective measurement는 즉각적이고 이상적인 측정을 모델링합니다. 실제 약한 측정, 비효율 검출기, 환경과의 상호작용은 POVM과 quantum instrument가 필요합니다. 여기서는 Sakurai의 기본 측정 공리를 확실히 세우고, 일반화 측정은 밀도연산자 글에서 연결합니다.

다음 과목과 연구로 이어지는 연결
  • 밀도연산자와 POVM은 불완전한 정보와 열린계의 측정을 같은 trace 언어로 확장합니다.
  • 산란이론의 검출 확률도 연속 운동량 상태와 δ 정규화, wave packet limit를 사용합니다.
  • ARPES·중성자 산란처럼 재료 측정의 스펙트럼 세기는 상태와 측정 연산자의 matrix element에 의해 정해집니다.

06이 글의 용어 사전

본문을 읽다가 “그래서 이 말이 정확히 뭐지?”라는 질문이 생기면 여기에서 다시 확인할 수 있습니다.

spectral measureprojection-valued measure
실수축의 각 측정값 집합 Δ에 projector P(Δ)를 대응시키는 연속 스펙트럼의 엄밀한 측정 구조입니다.
δ 정규화delta normalization
연속 고유ket의 직교성과 완비성을 Dirac δ 분포로 표현하는 규약입니다.
상태 갱신state update
측정 결과 a가 알려진 뒤 상태를 PₐρPₐ/Tr(ρPₐ)로 조건부화하는 이상적 Lüders 규칙입니다.
생성자generator
연속 변환을 무한소 수준에서 만들며 대응하는 보존량과 연결되는 Hermitian 연산자입니다.
표현representation
추상 대칭 연산을 상태공간에서 작용하는 행렬이나 연산자로 구현한 것입니다.
propagator
초기 상태가 주어진 시간 뒤 어떤 상태로 이동하는지를 나타내는 시간발전 kernel입니다.

07참고자료와 더 읽을거리

  1. Sakurai & Napolitano, Modern Quantum Mechanics, 3rd ed. — 추상 형식, 동역학, 대칭성, 근사법, 산란과 상대론적 양자역학을 다루는 대학원 기준 교재입니다.
  2. MIT OpenCourseWare, Quantum Theory I — Sakurai를 주교재로 Hilbert 공간, 합성계, 대칭성, 경로적분과 근사법을 전개합니다.
  3. MIT OpenCourseWare, Quantum Theory II — 고급 산란, 동일입자와 상대론적 양자이론으로 이어지는 두 번째 대학원 과목입니다.
  4. KAIST 물리학과 대학원 교과과정 — PH503·PH504 양자역학 I·II와 고체·통계·장론 과목 사이의 공식 연결을 확인합니다.
NEXT ADVANCED QUANTUM NOTE복합계·밀도연산자·얽힘: 부분계가 혼합상태가 되는 이유 →