|  |
| --- |
| 관련 기사 시리즈의 일부 |
| 양자역학 |
| {\displaystyle i\hbar {\frac {\partial }{\partial t}}|\psi (t)\rangle ={\hat {H}}|\psi (t)\rangle }슈뢰딩거 방정식 |
| * 개론
* 수학적 공식화
* 역사
 |
| 배경
* 고전역학
* 구양자이론(old quantum theory)
* 브라-켓 표기법

* 해밀토니언
* 간섭

 |
| 기본
* 상보성
* 결어긋남
* 얽힘
* 에너지 준위
* 측정(measurement)
* 비국소성(nonlocality)
* 양자수
* 상태(state)
* 중첩
* Symmetry
* 터널링
* 불확정성
* 파동 함수
	+ 붕괴

 |
| 실험
* 벨 부등식
* 데이비슨-거머
* 이중슬릿
* 엘리추르–바이드만(Elitzur–Vaidman)
* 프랑크-헤르츠
* 레게트-가르그 부등식(Leggett–Garg inequality)
* 마하-젠더(Mach–Zehnder)
* 포퍼(Popper)

* 양자 지우개(quantum eraser)
	+ 지연선택

* 슈뢰딩거의 고양이
* 슈테른-게를라흐
* 휠러의 지연된 선택(Wheeler's delayed-choice)

 |
| 공식화
* 개요

* 하이젠베르크
* 상호작용 묘사
* 행렬
* Phase-space
* 슈뢰딩거
* 합계 기록(경로 적분)

 |
| 방정식
* 디랙
* 클라인-고든
* 파울리(Pauli)
* 뤼드베리
* 슈뢰딩거

 |
| 해석
* 베이지안
* 정합적 역사
* 코펜하겐
* 드 브로이-봄
* 앙상블
* 숨은 변수
	+ 국소적
* 다세계
* 객관적 붕괴
* 양자 논리
* 관계적
* 트랜잭션(transactional)

 |
| 고급 주제
* 상대론적 양자역학
* 양자장론
* 양자 정보 과학
* 양자 컴퓨팅(quantum computing)
* 양자 카오스(quantum chaos)
* EPR 역설
* 밀도 행렬
* 산란 이론
* 양자통계역학
* 양자 기계 학습(quantum machine learning)
 |
| 과학자
* 아하로노프Aharonov
* 벨
* 베테
* 블래킷
* 블로흐
* 봄
* 보어
* 보른
* 보스
* 드브로이
* 콤프턴
* 디랙
* 데이비슨
* 디바이
* 에렌페스트
* 아인슈타인
* 에버렛
* 포크
* 페르미
* 파인먼
* 글라우버
* 구츠윌러Gutzwiller
* 하이젠베르크
* 힐베르트
* 요르단
* 크라머르스
* 파울리
* 램
* 란다우
* 라우에
* 모즐리
* 밀리컨
* 오너스
* 플랑크
* 라비
* 라만
* 뤼드베리
* 슈뢰딩거
* 시몬스Simmons
* 조머펠트
* 폰 노이만
* 바일
* 빈
* 위그너
* 제이만
* 차일링거

 |
| * v
* t
* e
 |

양자역학에서 **밀도 행렬**(density matrix)은 어떤 양자상태들의 고전적인 의미에서 통계적인 분포를 나타내는 도구이다. 밀도 행렬은 대각합이 1인 에르미트 행렬이다. 이 기술 방식은 1927년 존 폰 노이만이 고안했다(레프 란다우와 펠릭스 블로흐도 독립적으로 고안했다고 한다). 밀도 행렬은 고전역학에서의 위상 공간 확률 측정과 유사하다. 밀도 행렬을 통해 통계적 설명하는 것에 대한 필요성은 앙상블을 고려하거나, 계의 이전 행적이 불확정하여 계가 어떤 순수한 양자상태에 놓여 있는지 확신하지 못할 때 발생한다.

통계적 방법의 필요성
-----------

양자역학에서는 상태 벡터 |*ψ*〉가 측정의 통계적 성질을 모두 기술한다. 어느 관측가능량을 하나 생각해보자. 이 관측가능량을 나타내는 연산자를 *A* 라 하면 기댓값 〈*A*〉은 다음과 같이 상태 벡터에 의해 정해진다.

\langle A\rangle =\langle \psi |A|\psi \rangle 
예를 들어 임의의 상태 |*ψ**i*〉가 섞여있는 다음과 같은 상태

|\psi \rangle =\sum \_{i}c\_{i}|\psi \_{i}\rangle 
의 경우 *A*의 기댓값은

\langle A\rangle =\sum \_{i}|c\_{i}|^{2}\langle \psi \_{i}|A|\psi \_{i}\rangle 
가 된다. 이 경우를, 우리는 섞인 상태의 위상 차이까지 알기 때문에 상태들의 결맞는 혼합 상태라 한다. 하지만 실제 실험에서는 각 상태들의 위상 차이까지를 알 수 있는 경우는 많지 않다. 예를 들어, 갓 달궈진 오븐에서 발사되는 은 원자의 상태는 완전 무작위적으로 나오기 때문에 위와 같이 위상 차이까지 알아내는 것은 불가능하지만, 각 상태들이 얼마만큼 나오는지는 알 수 있다. 때문에 상태의 선형 결합으로 계의 성질을 기술하는게 아니라 통계적 방법으로 성질을 기술하는 것이 필요하다. 즉, 각 상태가 나오는 확률을 *w**i* 라 하면 *A*의 기댓값은

\langle A\rangle =\sum \_{i}w\_{i}\langle \psi \_{i}|A|\psi \_{i}\rangle 
이 된다. 이러한 방법론적으로 양자역학을 접근할 때, 중요하게 사용되는 것이 **밀도 연산자**(density operator)

\rho =\sum \_{i}w\_{i}|\psi \_{i}\rangle \langle \psi \_{i}|
이며 이 때, *A*의 기댓값은 다음과 같이 나타난다.

\langle A\rangle ={\mathrm {tr}}(\rho A)

밀도 연산자
------

*A*의 기댓값을 다시 살펴보자. 기댓값을 상태 벡터가 아니라 행렬 연산으로 나타내기 위해 상태 공간의 완전한 기저 {|*b*〉}를 도입해 생각해보자.

\langle A\rangle =\sum \_{{i,b,b'}}w\_{i}\langle \psi \_{i}|b\rangle \langle b|A|b'\rangle \langle b'|\psi \_{i}\rangle 
여기서, 맨 뒤 항을 맨 앞으로 가져오게 되면

\langle A\rangle =\sum \_{{i,b,b'}}w\_{i}\langle b'|\psi \_{i}\rangle \langle \psi \_{i}|b\rangle \langle b|A|b'\rangle 
을 얻게 된다. 위 식의 앞부분의 두 항은 *A*에 무관하고, 오직 각 상태들의 분율과 상태 벡터에만 관계함을 알 수 있다. 우리가 다루는 계의 모든 정보를 담고 있는 이 부분을 새로운 연산자

\rho =\sum \_{i}w\_{i}|\psi \_{i}\rangle \langle \psi \_{i}|
를 정의하면 앞으로 유용하게 사용할 수 있다. 이를 **밀도 연산자**라 부르기로 하자. 밀도 연산자는 계의 통계적 앙상블에 대한 정보를 담고 있기 때문에 물리적으로 매우 중요하다. 이를 사용하여 *A*의 기댓값을 쓰면

\langle A\rangle =\sum \_{{b'}}\langle b'|\rho A|b'\rangle 
즉, 기저 {|*b*〉}에서 *A*의 기댓값은 행렬 〈*b*|*ρA*|*b*〉의 대각합임을 알 수 있다. 하지만 연산자의 어느 기저에서의 기댓값은 기저에 무관하므로 다음과 같이 간단히 쓸 수 있다.

\langle A\rangle ={\mathrm {tr}}(\rho A)
### 성질

밀도 연산자는 다음과 같은 성질을 가진다.

* 밀도 연산자는 에르미트 연산자이다.
* 밀도 행렬은 양의 준정부호를 가지고 있다.
* 정규화 조건 : tr(*ρ*) = 1

순수한 앙상블과 섞인 앙상블
---------------

순수한 앙상블의 경우, 상태가 섞여있지 않기 때문에 밀도 연산자는 다음과 같이 나타내진다.

\rho =|\psi \rangle \langle \psi |
이 경우 밀도 연산자는 다음과 같은 성질을 더 가지게 된다.

### 순수한 앙상블의 성질

* 멱등원 : *ρ*2 = *ρ*
* tr(*ρ*2) = 1

여기서 마지막 성질을 이용해 밀도 연산자의 제곱의 대각합이 1 인지 아닌지 확인하여 밀도 연산자가 나타내는 앙상블이 순수한 앙상블인지 섞인 앙상블인지 구별할 수 있다.

밀도 연산자의 시간 변화
-------------

밀도 연산자의 시간 변화는 각 상태들의 시간 변화에 따라 변하게 된다. 슈뢰딩거 묘사를 사용하면 시간 *t*0에서 |*ψ*〉 에 있던 상태가 시간 *t* 에서는 슈뢰딩거 방정식에 의해 |*ψ*,*t*0;*t*〉로 변하게 된다. 때문에 t 에서의 밀도 연산자는

\rho (t)=\sum \_{i}w\_{i}|\psi \_{i},t\_{0};t\rangle \langle \psi \_{i},t\_{0};t|
로 나타낼 수 있다. 이 밀도 연산자는 다음과 같은 방정식을 만족함을 슈뢰딩거 방정식을 사용하여 알아낼 수 있다.

i\hbar {\frac {\partial \rho }{\partial t}}=-[\rho ,H]
여기서 [·,·]는 교환자이다. 위 식은 마치 하이젠베르크 운동방정식과 유사해 보이지만, 부호가 다름을 알 수 있다. 하지만 밀도 연산자는 동역학적 관측가능량이 아니기 때문에 하이젠베르크 운동방정식을 만족할 필요는 없음에 유의하자. 위 방정식은 고전역학적으로는 리우빌 정리와 유사함을 알 수 있다.

참고 문헌
-----

* J.J. Sakurai (1994). 《Modern Quantum Mechanics》 Revis판. Addison-Wesley.  CS1 관리 - 추가 문구 (링크)

| * v
* t
* e
양자역학 |
| --- |
| 배경 | 
* 개론
* 역사
	+ 연표
* 용어집
* 고전역학
* 초기 양자론

 |
| 근본 | 
* 간섭
* 밀도 행렬
* 불확정성
* 브라-켓 표기법
* 산란 이론
* 상보성
* 결어긋남
* 비국소성
* 양자 상태
* 얽힘
* 중첩
* 터널링
* 관측
* 대칭
* 에너지 준위
	+ 들뜬 상태
	+ 바닥 상태
	+ 축퇴 수준
* 파동 함수
	+ 붕괴
	+ 파동-입자 이중성
* 해밀토니언

 |
| 공식화 | 
* 경로 적분 공식화
* 상호작용
* 슈뢰딩거
* 공식화
* 위상 공간
* 하이젠베르크
* 행렬 역학

 |
| 방정식 | 
* 디랙
* 뤼드베리
* 슈뢰딩거
* 클라인-고든
* 파울리

 |
| 해석 | 
* 객관적 붕괴
* 관계
* 교역
* 다세계
* 드 브로이-봄
* 숨은 변수
* 앙상블
* 양자 논리
* 베이즈주의
* 해석
* 정합적 역사
* 코펜하겐
* 확률론

 |
| 실험 | 
* 아프샤르
* 벨의 부등식
* 차가운 원자 실험실
* 데이비슨-거머
* 지연된 선택 양자 지우개
* 이중 슬릿
* 프랑크-헤르츠
* 마흐-젠더 간섭계
* 엘리주르–바이드만
* 포퍼
* 양자 지우개
	+ 지연된 선택
* 슈뢰딩거의 고양이
* 슈테른-게를라흐
* 휠러의 지연된 선택

 |
| 적용 | 
* 양자 광학
* 양자 기계
* 양자 기술
* 양자 생물학
* 양자 심리
* 양자 암호
* 양자 전자공학
* 양자 정보 과학
* 양자 카오스
* 양자 컴퓨터
	+ 연표
* 양자 화학

 |
| 확대 | 
* 분수 양자역학
* 상대 양자역학
* 양자 중력
* 양자 통계 역학
* 양자장론
	+ 역사

 |