결어긋남

1. 개요[편집]

결어긋남 Decoherence
다른 표기	결잃음, 결맞음 상실, 양자 결어긋남
정식화	체 (1970) · 주렉 (1981) · 요스-체 (1985)
일어나는 일	밀도행렬 비대각 성분의 지수적 소멸
기저를 정하는 것	상호작용 해밀토니안 (포인터 기저)
큐비트 척도	T₂ (결맞음) ≤ 2 T₁ (에너지 완화)
거시계 시간척도	완화 시간의 10⁻⁴⁰ 배 수준

왜 고양이는 중첩 상태로 안 보이는가? 답: 보인다. 다만 $10^{-40}$ 초 동안만 보인다.

결어긋남(decoherence)은 계가 환경과 얽히면서 어떤 기저에서 밀도행렬의 비대각 성분(결맞음 항)이 지수적으로 사라지고, 그 결과 양자 중첩이 고전적 확률 혼합처럼 보이게 되는 과정이다. 중첩이 “붕괴”하는 것이 아니라, 중첩을 확인하는 데 필요한 위상 정보가 환경으로 흩어져 계 안에서 국소적으로는 복구 불가능해지는 것이다.

이것이 왜 큰 이야기인지는 밀도행렬의 기본 사실 하나에서 나온다. $\frac{1}{\sqrt2}(|0\rangle+|1\rangle)$ 과 “반반 확률로 $|0\rangle$ 또는 $|1\rangle$“은 서로 다른 상태이고, 차이는 오직 비대각 성분에 들어 있다. 그 성분이 죽으면 두 상태는 어떤 국소 측정으로도 구별되지 않는다. 즉 결어긋남은 양자성과 고전성 사이의 환율이고, 그 환율은 계의 크기에 따라 잔인할 만큼 빠르게 나빠진다.

계산과학 쪽에서 이 문서가 중요한 이유는 두 가지다. 결어긋남은 양자 하드웨어를 죽이는 주범인 동시에 고전 근사를 정당화해 주는 근거다. 같은 현상이 한쪽에서는 적이고 다른 쪽에서는 알리바이다.

2. 최소 모형 — 비대각 성분이 죽는 장면[편집]

계가 $\alpha|0\rangle+\beta|1\rangle$, 환경이 $|E\rangle$ 로 시작해 상호작용이 계 상태에 따라 환경을 다르게 밀어낸다고 하자.

$$(\alpha|0\rangle+\beta|1\rangle)\otimes|E\rangle \;\longrightarrow\; \alpha|0\rangle|E_0(t)\rangle + \beta|1\rangle|E_1(t)\rangle$$

전체는 여전히 순수상태이고 진화는 유니터리다 — 어디에도 붕괴는 없다. 그런데 환경을 부분대각합으로 지우면

$$\rho_S(t)=\begin{pmatrix} |\alpha|^2 & \alpha\beta^{*}\,\langle E_1(t)|E_0(t)\rangle\\[2pt] \alpha^{*}\beta\,\langle E_0(t)|E_1(t)\rangle & |\beta|^2 \end{pmatrix}$$

가 되고, 환경 상태들이 서로 직교해 갈수록 겹침 $\langle E_1|E_0\rangle\to0$ 이다. 대각 성분은 손도 안 대고 비대각만 죽는다. 이것이 결어긋남의 전부이며, 왜 “확률은 그대로인데 간섭만 사라지는가”라는 관측 사실이 자동으로 나오는지를 설명한다.

핵심은 겹침이 얼마나 빨리 0으로 가느냐다. 환경 자유도가 $N$ 개이고 각각이 두 상태를 조금씩 다르게 밀면 겹침은 $\prod_{j=1}^N \langle E_1^{(j)}|E_0^{(j)}\rangle$ 이므로 $N$ 에 대해 지수적으로 죽는다. 공기 분자 하나가 먼지를 스쳐도 겹침이 0.999배가 될 뿐이지만, 초당 $10^{20}$ 번 스치면 이야기가 끝난다. 결어긋남이 압도적으로 빠른 이유는 상호작용이 세서가 아니라 환경이 많아서다.

3. 위치 기저 — 왜 고양이가 안 보이는가[편집]

거시적 물체에서는 위치가 문제의 기저다. 산란 환경(공기 분자, 광자) 아래 밀도행렬의 위치 표현은 요스-체 형태의 마스터 방정식을 따르고, 자유 진화를 빼면

$$\frac{\partial}{\partial t}\rho(x,x') = -\Lambda\,(x-x')^2\,\rho(x,x') \;\;\Longrightarrow\;\; \rho(x,x',t)=\rho(x,x',0)\,e^{-\Lambda (x-x')^2 t}$$

가 된다. $\Lambda$ 는 국소화율(localization rate)로, 산란체의 개수 밀도·속도·단면적에 비례한다. 여기서 읽어야 할 것은 $(x-x')^2$ 라는 거리 의존성이다. 두 갈래의 간격이 두 배면 결어긋남은 네 배 빨라진다. 원자 크기의 중첩은 살아남고 고양이 크기는 살아남지 못한다는 정량적 답이 이 지수 하나에 들어 있다.

더 인상적인 것은 결어긋남 시간과 에너지 완화 시간의 비다. 질량 $m$, 온도 $T$, 중첩 간격 $\Delta x$ 인 물체에서

$$\frac{\tau_{\rm dec}}{\tau_{\rm relax}} \;\approx\; \left(\frac{\lambda_{\rm th}}{\Delta x}\right)^{2}, \qquad \lambda_{\rm th}=\frac{\hbar}{\sqrt{2mk_BT}}$$

이다. $m=1\,\mathrm{g}$, $T=300\,\mathrm{K}$, $\Delta x=1\,\mathrm{cm}$ 를 넣으면 열적 드브로이 파장이 $10^{-23}\,\mathrm{m}$ 언저리라 비가 $10^{-40}$ 정도로 떨어진다.¹ 마찰로 물체가 멈추는 데 걸리는 시간이 1초라면 결맞음은 $10^{-40}$ 초 만에 사라진다는 뜻이다. 거시계에서 양자 간섭을 못 보는 것은 원리적 금지가 아니라 시간 척도의 문제이고, 이 진술이 실험적으로 반증 가능한 형태를 갖는다는 점이 결어긋남 이론의 최대 성과다. 실제로 진공도와 온도를 낮춰 $\Lambda$ 를 줄이면 점점 무거운 분자에서 간섭무늬가 보인다.

4. 포인터 기저 — 왜 하필 위치인가[편집]

“비대각 성분이 죽는다”고 하려면 어느 기저에서 죽는지를 먼저 정해야 한다. 밀도행렬은 기저를 바꾸면 대각·비대각이 뒤섞이므로, 기저를 지정하지 않은 결어긋남 주장은 공허하다.

답은 상호작용 해밀토니안이 정한다. 환경이 감시하는 관측량 $\hat{A}$ 에 대해

$$[\,\hat{A},\,H_{\rm int}\,]=0$$

이면 $\hat{A}$ 의 고유상태는 환경과 얽히기만 할 뿐 자기들끼리 섞이지 않는다. 이런 기저가 포인터 기저(pointer basis)이고, 환경이 다른 기저를 무자비하게 지워 이 기저만 살아남는 과정을 주렉은 환경유도 초선택(einselection)이라 불렀다. 대부분의 상호작용이 거리에 의존하므로 $H_{\rm int}$ 는 위치의 함수이고, 그래서 일상 세계의 포인터 기저가 위치다. 반대로 초전도 큐비트에서 환경이 주로 에너지에 결합하면 포인터 기저는 에너지 고유상태가 되고, 그때 죽는 것은 위치 결맞음이 아니라 위상이다.

이 지점에서 흔한 오해 하나를 정리하자. 결어긋남은 측정 문제를 풀지 않는다. 부분대각합으로 얻은 $\rho_S$ 는 대각행렬이지만, 그것은 “고전적 확률 혼합”이 아니라 비고유 혼합(improper mixture)이다 — 전체는 여전히 순수한 얽힘 상태이고, 우리가 계만 보기로 했기 때문에 대각으로 보일 뿐이다. 왜 그중 하나의 결과가 실제로 일어나는지는 여전히 대답되지 않았다. 결어긋남이 해결한 것은 어떤 기저에서 고전성이 나타나는지이고, 남긴 것은 왜 하나만 일어나는지다.²

5. 큐비트에서 — T₁, T₂, 그리고 T₂*[편집]

실무에서 결어긋남은 숫자 두 개로 요약된다.

• $T_1$ — 에너지 완화(진폭감쇠). 들뜬 상태 점유가 $e^{-t/T_1}$ 로 준다. 블로흐 구에서 세로 방향 수축.
• $T_2$ — 결맞음 시간. 비대각 성분이 $e^{-t/T_2}$ 로 준다. 가로 방향 수축.

둘의 관계는 자유롭지 않다. 에너지가 완화되면 위상 정보도 함께 날아가므로 $T_1$ 과정만으로도 $T_2 = 2T_1$ 이 나오고, 여기에 에너지를 건드리지 않고 위상만 흩는 순수 위상소멸(pure dephasing) $T_\varphi$ 가 더해진다.

$$\frac{1}{T_2} \;=\; \frac{1}{2T_1} \;+\; \frac{1}{T_\varphi}$$

$T_\varphi>0$ 이므로 $T_2\le 2T_1$ 이다. 실험에서 $T_2>2T_1$ 이 나왔다면 물리가 아니라 피팅이 틀린 것이다. 이 부등식이 린드블라드 도약연산자에서 어떻게 나오는지는 린드블라드 방정식에, 채널 형태에서 어떻게 나오는지는 개방 양자계에 적혀 있다.

순수 위상소멸을 따로 떼는 것이 왜 중요한가. 에너지 완화는 환경 온도가 정하지만 위상소멸은 잡음 스펙트럼이 정하기 때문이다. 큐비트 주파수가 잡음 $\delta\omega(t)$ 로 흔들리면 축적 위상은 $\phi(t)=\int_0^t \delta\omega\,dt'$ 이고, 가우스 잡음에서 결맞음은 $e^{-\langle\phi^2\rangle/2}$ 로 준다. 여기서 갈림길이 생긴다.

잡음 성질	결맞음 감쇠 꼴	실무 이름	되살릴 수 있나
백색(넓은 대역)	지수 $e^{-t/T_2}$	진짜 $T_2$	아니오
준정적·1/f	가우스 $e^{-(t/T_2^{*})^2}$	$T_2^{*}$	예 (스핀 에코)

준정적 잡음은 한 실험 반복 동안 거의 고정된 오프셋이라, 중간에 $\pi$ 펄스를 넣어 위상을 되감으면 상쇄된다(스핀 에코, 한 에코). 그래서 논문의 $T_2$ 는 펄스 시퀀스를 밝히지 않으면 비교 불가능한 숫자다. 이 아이디어를 여러 펄스로 확장한 것이 동적 결합 해제이고, 필터 함수 $F(\omega t)$ 를 설계해 잡음 스펙트럼 $S(\omega)$ 의 특정 대역만 걸러내는 문제로 정식화된다.

$$\chi(t)=\frac{1}{\pi}\int_0^{\infty} \frac{d\omega}{\omega^{2}}\,S(\omega)\,F(\omega t), \qquad \langle\sigma_x\rangle \propto e^{-\chi(t)}$$

즉 결맞음 유지가 신호처리 문제가 된다 — 잡음을 없애는 게 아니라 잡음을 안 보는 대역으로 큐비트를 옮기는 것이다.

6. 계산과학에서 — 적이자 알리바이[편집]

적인 쪽. 양자 하드웨어에서 쓸 수 있는 회로 깊이는 대략 $T_2 / t_{\rm gate}$ 로 정해진다. 초전도 큐비트가 $T_1\sim100\,\mu\mathrm{s}$, 2큐비트 게이트가 수십 ns 수준이면 원리적 상한이 게이트 수천 개이고, 게이트당 오류가 $10^{-3}$ 근처면 실제로 의미 있는 결과가 나오는 깊이는 그보다 훨씬 얕다. 이온 트랩은 결맞음이 몇 자릿수 길지만 게이트도 그만큼 느려서 비율로 보면 승부가 생각보다 팽팽하다. 이 벽을 우회하는 유일한 알려진 길이 양자 오류 정정이고, 그 문턱 정리가 요구하는 물리적 오류율이 아직도 하드웨어 로드맵의 중심 지표다.

고전 시뮬레이션 쪽에서도 결어긋남은 비용이다. 결어긋남을 모형에 넣는 순간 상태벡터를 버리고 밀도행렬로 가야 하므로 메모리가 $2^n$ 에서 $4^n$ 으로 뛴다. 그래서 잡음 있는 회로 시뮬레이션은 파울리 채널로 근사해 안정자 형식 안에 머무르거나, 몬테카를로 파동함수로 궤적을 굴리는 쪽으로 도망친다.

알리바이인 쪽. 역설적으로 결어긋남은 고전 근사를 정당화한다. 분자 동역학에서 원자핵을 고전 입자로 취급하는 것은 원자핵이 무거워서만이 아니라, 서로 다른 핵 경로 사이의 간섭항이 주변 자유도에 의해 이미 죽었기 때문이다. 간섭이 없다면 궤적 앙상블 = 고전 확률분포이고, 그 순간 분자동역학이 성립한다.

비단열 동역학의 표면 도약(surface hopping) 계열이 이 논리를 가장 노골적으로 쓴다. 각 궤적이 전자 상태 사이를 확률적으로 도약하는데, 궤적별 전자 결맞음을 그대로 두면 실제보다 오래 살아남아 과결맞음(overcoherence) 오류가 난다. 그래서 표준 구현은 결맞음을 인위적으로 감쇠시키는 보정을 넣는다 — 결어긋남을 손으로 넣어 주지 않으면 근사가 물리보다 더 양자적으로 굴어서 틀린다. 근사가 원본보다 결맞음이 좋은 흔치 않은 상황이다.³

7. 자주 나는 오해와 사고[편집]

• “결어긋남 = 파동함수 붕괴”. 아니다. 전 과정이 유니터리이고, 붕괴는 어디에도 없다. 관측자가 부분만 본다는 사실이 전부다.
• 기저를 안 밝히고 결어긋남을 논한다. 어떤 기저에서든 대각인 밀도행렬은 최대혼합뿐이다. 포인터 기저를 명시하지 않은 “결맞음이 사라졌다”는 문장은 반증 불가능하다.
• $T_2$ 를 잰 뒤 펄스 시퀀스를 안 적는다. $T_2^{*}$ 와 에코 $T_2$ 는 한 자릿수 이상 차이 날 수 있다. 숫자만 비교하면 그냥 틀린다.
• 감쇠가 지수가 아닌데 지수로 피팅한다. 가우스 감쇠는 준정적 잡음의 지문이고, 되살릴 여지가 있다는 신호다. 지수로 뭉개면 그 정보가 사라진다.
• 결어긋남을 잡음 항 하나로 뭉뚱그린다. 진폭감쇠와 위상감쇠는 블로흐 구에서 하는 일이 완전히 다르다. 둘을 같은 파라미터로 묶으면 $T_2\le2T_1$ 을 위반하는 모형이 만들어진다.

8. 관련 문서[편집]

• 밀도행렬 · 개방 양자계 · 린드블라드 방정식 · 블로흐 구
• 몬테카를로 파동함수 · 양자 얽힘 · 얽힘 엔트로피
• 양자역학 · 슈뢰딩거 방정식 · 벨 부등식
• 본-오펜하이머 근사 · 분자동역학 · 전자 상관
• 양자 오류 정정 · 숨은 변수 이론 · 정준 앙상블
• 푸리에 변환 · 브라운 운동 · 텐서 네트워크

9. Footnotes[편집]

1. 주렉이 Physics Today(1991)에서 대중화한 계산이다. 지수가 $-40$ 인 숫자를 볼 때는 자릿수 몇 개는 틀려도 결론이 안 바뀐다는 점이 오히려 위안이 된다. $10^{-35}$ 든 $10^{-45}$ 든 “관측 불가”라는 답은 같다. ↩

2. 이 구별을 뭉개면 30년째 진행 중인 논쟁에 자동으로 참전하게 된다. 다중세계 지지자는 “하나만 일어난다”는 전제가 틀렸다고 하고, 붕괴 이론가는 유니터리성에 추가 항을 넣는다. 실무 엔지니어에게 중요한 것은 하나다 — 어느 해석을 사든 $T_2$ 는 똑같이 짧다. 해석은 커피 마시면서 하고 코드는 린드블라드로 짜면 된다. ↩

3. 표면 도약 계열의 원형은 털리의 최소 전환 표면 도약(fewest-switches surface hopping, 1990)이고, 결맞음 보정은 그 뒤 20년간 나온 수십 가지 처방 중 하나를 고르는 문제다. 문헌을 읽다 보면 “보정을 어떻게 넣느냐”가 사실상 모형의 정체를 결정한다는 것을 알게 되는데, 이쯤 되면 근사가 아니라 취향이 아니냐는 소리가 나온다. 그래도 실험과는 잘 맞는다. ↩