투영측정, 기대값, 분산과 교환자를 이용해 양립 가능성과 Robertson 불확정성 관계를 직접 유도합니다.
한 상태에서 위치를 매우 좁게 준비하면 운동량분포가 넓어지고, 스핀 z를 확정하면 스핀 x는 두 결과로 퍼집니다.
불확정성은 측정 장비가 대상을 교란해서 생기는 오차일까요?
이번 글의 답핵심 불확정성은 동일한 상태를 반복 준비했을 때 두 관측량 분포가 동시에 임의로 좁아질 수 없다는 상태공간의 제약입니다. 교환자 [A,B]가 그 하한을 정합니다.
01직관부터 완전 전개 계산까지
측정과 불확정성: 기호를 외우기 전에 질문부터 세우기
Heisenberg 불확정성 관계를 ‘측정하면 입자를 건드린다’는 문장만으로 배우면 본질을 놓칩니다. 장비가 완벽해도 한 상태가 위치와 운동량의 날카로운 고유상태일 수 없는 이유는 두 연산자가 공통 고유기저를 갖지 않기 때문입니다.
이 글을 읽기 전에 확인할 세 가지
Part 1의 복소 벡터
확률의 평균과 분산
행렬의 고유값 문제
투영측정
관측량의 고유공간으로 상태를 투영해 결과 확률과 측정 후 상태를 정하는 이상적 측정입니다.
교환자
[A,B]=AB−BA로 두 연산자의 작용 순서가 바뀔 때 생기는 차이를 나타냅니다.
양립 가능
공통 고유기저를 선택할 수 있어 동시에 날카로운 값을 가질 수 있는 관측량 관계입니다.
관찰에서 식과 예측으로 가는 흐름
각 화살표는 단순한 목차가 아니라 다음 단계가 왜 필요한지를 보여줍니다.
반복 가능한 ensemble
Hermitian 연산자
평균·분산
동시 정밀도
$$ \Delta A\,\Delta B\ge\frac12\left|\langle[\hat A,\hat B]\rangle\right|,\qquad [\hat x,\hat p]=i\hbar $$
핵심 식을 네 단계로 읽고 유도합니다
중심화 연산자 A′=A−⟨A⟩, B′=B−⟨B⟩를 정의하면 ||A′ψ||=ΔA, ||B′ψ||=ΔB입니다.
Cauchy–Schwarz 부등식 ΔA²ΔB²≥|⟨A′B′⟩|²을 적용합니다.
A′B′={A′,B′}/2+[A′,B′]/2로 대칭·반대칭 부분을 나누고 허수부만 남겨 약한 하한 ΔAΔB≥|⟨[A,B]⟩|/2를 얻습니다.
x표현에서 p=−iℏd/dx를 사용해 [x,p]ψ=x(−iℏψ′)+iℏ(xψ)′=iℏψ를 확인합니다.
대입에서 끝내지 않고 결과의 뜻까지 확인합니다
각 예제는 식 세우기 → 계산 → 단위·극한 점검 → 물리적 해석의 순서로 읽으세요.
Gaussian 최소 불확정성 상태
Gaussian은 Robertson 하한을 정확히 포화합니다. 위치폭을 절반으로 줄이면 운동량폭은 두 배가 됩니다. 이는 장비 해상도가 아니라 상태의 Fourier 구조입니다.
스핀 z 고유상태에서 Sx와 Sy 불확정성
왼쪽 곱도 ℏ²/4이므로 하한을 포화합니다. Sz가 확정된 대신 그와 commute하지 않는 두 횡방향 성분은 최대한 퍼져 있습니다.
서로 commute하는 관측량
두 행렬은 같은 기저에서 대각이므로 공통 고유상태에서 두 값이 동시에 확정됩니다. [A,B]=0은 필요한 핵심 조건이며 축퇴가 있을 때는 공통 기저를 적절히 선택합니다.
스스로 확인하기 · 불확정성은 측정 장비가 대상을 교란해서 생기는 오차일까요?
핵심 불확정성은 동일한 상태를 반복 준비했을 때 두 관측량 분포가 동시에 임의로 좁아질 수 없다는 상태공간의 제약입니다. 교환자 [A,B]가 그 하한을 정합니다.
02문제와 물리적 직관
Heisenberg 불확정성 관계를 ‘측정하면 입자를 건드린다’는 문장만으로 배우면 본질을 놓칩니다. 장비가 완벽해도 한 상태가 위치와 운동량의 날카로운 고유상태일 수 없는 이유는 두 연산자가 공통 고유기저를 갖지 않기 때문입니다.
- 투영측정 — 관측량의 고유공간으로 상태를 투영해 결과 확률과 측정 후 상태를 정하는 이상적 측정입니다.
- 교환자 — [A,B]=AB−BA로 두 연산자의 작용 순서가 바뀔 때 생기는 차이를 나타냅니다.
- 양립 가능 — 공통 고유기저를 선택할 수 있어 동시에 날카로운 값을 가질 수 있는 관측량 관계입니다.
03수학적 모형과 핵심 방정식
관측량 A의 projective measurement는 고유공간 투영자 Pₐ로 기술합니다. 결과 a의 확률은 ⟨ψ|Pₐ|ψ⟩이고 결과를 선택한 뒤 상태는 Pₐ|ψ⟩/√P(a)로 바뀝니다. Cauchy–Schwarz 부등식에 ΔA|ψ⟩와 ΔB|ψ⟩를 적용하면 교환자의 기대값이 분산 곱의 하한을 줍니다.
04유도와 계산 전략
공식은 외우는 대상이 아니라 가정과 정의에서 따라 나오는 결과입니다. 아래 순서를 따라 각 항의 출처와 계산 조건을 확인합니다.
- 중심화 연산자 A′=A−⟨A⟩, B′=B−⟨B⟩를 정의하면 ||A′ψ||=ΔA, ||B′ψ||=ΔB입니다.
- Cauchy–Schwarz 부등식 ΔA²ΔB²≥|⟨A′B′⟩|²을 적용합니다.
- A′B′={A′,B′}/2+[A′,B′]/2로 대칭·반대칭 부분을 나누고 허수부만 남겨 약한 하한 ΔAΔB≥|⟨[A,B]⟩|/2를 얻습니다.
- x표현에서 p=−iℏd/dx를 사용해 [x,p]ψ=x(−iℏψ′)+iℏ(xψ)′=iℏψ를 확인합니다.
05적용 범위·한계·다음 연결
Robertson 부등식의 오른쪽이 0이라고 해서 두 분산이 반드시 0인 것은 아닙니다. 특정 상태에서 교환자 기대값만 0일 수 있으며 더 강한 Schrödinger 불확정성 관계에는 반교환자 공분산 항도 포함됩니다.
- Part 4에서 시간-에너지 불확정성이 연산자 쌍과 다른 의미를 갖는 이유를 다룹니다.
- 동시대각화는 좋은 양자수와 대칭에 따른 상태 분류의 기반입니다.
- 실험의 POVM과 open-system 측정은 고급 과정에서 투영측정을 일반화합니다.
06이 글의 용어 사전
본문을 읽다가 “그래서 이 말이 정확히 뭐지?”라는 질문이 생기면 여기에서 다시 확인할 수 있습니다.
- 투영측정projective measurement
- 관측량의 고유공간으로 상태를 투영해 결과 확률과 측정 후 상태를 정하는 이상적 측정입니다.
- 교환자commutator
- [A,B]=AB−BA로 두 연산자의 작용 순서가 바뀔 때 생기는 차이를 나타냅니다.
- 양립 가능compatible observables
- 공통 고유기저를 선택할 수 있어 동시에 날카로운 값을 가질 수 있는 관측량 관계입니다.
- 상태벡터state vector
- 한 양자계에서 가능한 모든 측정의 확률 정보를 담는 Hilbert 공간의 벡터입니다.
- Hamiltonian
- 계의 에너지와 시간발전을 생성하는 Hermitian 연산자입니다.
- 중첩superposition
- 둘 이상의 허용 상태를 복소 계수로 선형 결합해 새로운 상태를 만드는 성질입니다.
07참고자료와 더 읽을거리
- KAIST 물리학과 교과과정 — PH301·PH302 양자역학 I·II와 수리물리학·고전역학의 공식 학부 교과 흐름을 확인합니다.
- MIT OpenCourseWare, Quantum Physics I — 파동함수, 1차원 퍼텐셜, 조화진동자, 산란과 수소 원자를 강의·문제 세트로 학습합니다.
- MIT OpenCourseWare, Quantum Physics II — 양자 동역학, 두 상태 계, 각운동량·스핀, 동일입자 형식의 학부 후반부 기준입니다.
- Griffiths & Schroeter, Introduction to Quantum Mechanics, 3rd ed. — 파동함수부터 대칭성·근사법·산란·양자 동역학까지 이어지는 학부 표준 목차입니다.