{{위키데이터 속성 추적}}
[[파일:Quantum Entangled Photon Generator - DEF CON 17 - Aug. 2009.jpg|섬네일]]
{{양자역학}}

'''양자 얽힘'''(量子 - , {{llang|en|quantum entanglement}}) 또는 간단히 '''얽힘'''은 [[양자역학]]에서 두 부분계 사이에 존재할 수 있는 일련의 비[[고전역학|고전]]적인 상관관계이다. 얽힘은 두 부분계가 공간적으로 서로 멀리 떨어져 있어도 존재할 수 있다.

예를 들어, 두 입자를 일정한 [[양자상태]]에 두어 두 입자의 [[스핀 (물리학)|스핀]]이 항상 반대가 되도록 하자. (예를 들어 두 [[스핀 (물리학)|스핀]]의 [[단일항]] [[양자상태|상태]].) [[양자역학]]에 따르면, [[측정]]하기 전까지는 두 입자의 상태를 알 수 없다. 하지만 [[측정]]을 한다면, 그 순간 한 계의 [[양자상태|상태]]가 결정되고 이는 즉시 그 계와 얽혀 있는 다른 계의 [[양자상태|상태]]까지 결정하게 된다. 이는 마치 정보가 순식간에 한 계에서 다른 계로 이동한 것처럼 보인다.

이러한 양자 얽힘 이론이 등장한 이후 [[양자암호]], [[양자컴퓨터]], [[양자전송]] 실험 등이 꾸준히 진행되었고 이를 통해 양자얽힘 이론의 예측을 실증할 수 있었다.<ref>{{웹 인용 |url=http://nownews.seoul.co.kr/news/newsView.php?id=2014060260101 |제목=보관된 사본 |확인날짜=2014-07-01 |archive-date=2014-07-14 |archive-url=https://web.archive.org/web/20140714174358/http://nownews.seoul.co.kr/news/newsView.php?id=2014060260101 |url-status= }}</ref> 이러한 실험적 결과들이 점점 쌓여가는 한편 이론적인 논의도 꾸준히 진행되었는데, 그중 하나는 이 양자얽힘 현상이 [[국소성의 원리]]를 위배한다는 논의였다. 이 [[국소성의 원리]]는 [[계 (물리학)|계]]의 [[양자상태|상태]]에 관한 정보가 항상 그 [[계 (물리학)|계]]의 주위를 통해서만 매개될 수 있다는 원리로, 만약 양자얽힘 현상에 의해 정보가 전달된다면 주위를 통하지 않고도 정보를 전달할 수 있어 [[국소성의 원리]]와 모순을 일으키게 된다. 결국 양자얽힘 과정에서 실제로 정보가 어떻게 전달되는지에 대한 논의가 계속되었고, 이후 이 모순을 없앨 수 있는 양자역학의 새로운 해석방법이 대두하게 된다.

== 역사적 배경 ==
양자얽힘은 [[양자역학]]의 [[코펜하겐 해석]]으로부터 유도되는 결론 중 하나이나, 그 비직관성으로 인해 [[알베르트 아인슈타인|아인슈타인]]을 비롯한 여러 과학자들에게 받아들여지지 않았다. 이들은 양자역학의 표준해석방법인 [[코펜하겐 해석]]을 받아들이지 않고 대신 [[숨은 변수 이론]]을 창안하였다. 이 이론은 아직 알려지지 않은 결정론적 매개변수가 상호작용을 유도한다는 내용으로, [[코펜하겐 해석]]의 [[확률]]적 해석을 반대하는 입장이었다.

===EPR 역설과 벨 부등식===
{{상세|EPR 역설}}
{{상세|벨 부등식}}
1935년에 [[알베르트 아인슈타인]]과 [[보리스 포돌스키]], 네이선 로젠({{llang|en| Nathan Rosen}}, {{llang|he| נתן רוזן}})은 양자역학의 비국소적이고 비직관적인 현상에 대한 [[사고 실험]]인 [[EPR 역설]]을 발표하였다. 이들은 양자역학과 비슷한 물리 현상을 예측하면서 [[국소성 원리]]를 만족하는 [[숨은 변수 이론]]을 찾으려고 노력하였다. 1964년에 [[존 스튜어트 벨]]은 모든 [[숨은 변수 이론]]이 만족하지만 양자역학은 만족하지 않는 [[벨 부등식]]이라는 조건을 유도하였다. 실험 결과, 실제 물리 현상은 벨 부등식을 따르지 않는다는 사실이 밝혀졌고, 따라서 자연계는 숨은 변수 이론으로 기술할 수 없다.

== 정의 ==
[[브라-켓 표기법]]을 사용하자. 서로 [[상호작용]]하지 않는 두 [[계 (물리학)|부분계]] A, B로 이루어진 전체 계를 생각하자. 그렇다면 전체 계의 힐베르트 공간은 A계와 B계의 힐베르트 공간의 [[텐서 곱]]이다. 식으로 쓰면 다음과 같다.
: <math>\mathcal H=\mathcal H_A \otimes\mathcal H_B </math>.
그렇다면 전체 계의 상태 <math>|\psi\rangle\in\mathcal H</math> 가운데 일부는 다음과 같이 쓸 수 있다.
:<math>|\psi\rangle=|\psi\rangle_A \otimes  |\psi\rangle_B</math>,  여기서 (<math>|\psi_A\rangle\in\mathcal H_A</math>, <math>|\psi_B\rangle\in\mathcal H_B</math>).
이렇게 두 부분계의 상태의 텐서 곱으로 나타내어진 상태는 '''분리가능한 상태'''({{lang|en|separable state}})라고 말한다. 반대로, 전체 계의 상태 가운데 이와 같이 두 부분계의 상태의 텐서 곱으로 나타낼 수 없는 상태를 '''얽힌 상태'''({{lang|en|entangled state}})라고 한다. 예를 들어, 다음과 같은 상태는 (<math>|\psi\rangle_A</math>와 <math>|\psi'\rangle_A</math>가 평행하지 않고, <math>|\psi\rangle_B</math>와 <math>|\psi'\rangle_B</math>가 평행하지 않을 때) 일반적으로 얽힌 상태다.
:<math>|\psi\rangle_A\otimes|\psi\rangle_B+|\psi'\rangle_A\otimes|\psi'\rangle_B\in\mathcal H</math>. (<math>|\psi\rangle_A,|\psi'\rangle_A\in\mathcal H_A</math>, <math>|\psi\rangle_B,|\psi'\rangle_B\in\mathcal H_B</math>)

수학적으로, 양자역학적 상태는 힐베르트 공간 <math>\mathcal H</math>의 [[반직선]]으로 이루어진 [[사영 공간|사영 힐베르트 공간]]<math>P(\mathcal H)</math>의 원소다. 두 부분계의 상태의 텐서 곱 <math>P(\mathcal H_A)\times P(\mathcal H_B)\to P(\mathcal H_A\otimes\mathcal H_B)</math>을 나타내는 함수를 '''세그레 매장'''({{lang|en|Segrè embedding/mapping}})이라고 한다. 따라서 분리가능한 상태는 세그레 매장의 [[치역]]이고, 그 [[여집합]]은 얽힌 상태다.<ref>{{저널 인용|저자=Janusz Grabowski, Marek Kuś, Giuseppe Marmo|제목=Segre maps and entanglement for multipartite systems of indistinguishable particles|저널= Journal of Physics A: Mathematical and Theoretical|권=45|호=10|쪽=105301|doi=10.1088/1751-8113/45/10/105301|arxiv=1111.4812}}</ref>

==예제==
A와 B가 각각 두 개의 상태 <math>|0\rangle</math>과 <math>|1\rangle</math>을 가질 수 있는 계({{lang|en|two-state system}})라고 하자. (이런 계는 전자의 [[스핀 (물리학)|스핀]] 등이 있다.) 이 때, 다음과 같은 상태는 얽혀 있다.
:<math>\frac1{\sqrt2} \left( |0\rangle_A \otimes  |1\rangle_B - |1\rangle_A \otimes |0\rangle_B \right)</math>.
이런 상태에서 A의 스핀을 측정한다면, 다음 두 결과 가운데 하나가 50%:50%의 확률로 일어난다.
# A의 스핀을 0으로 측정한다. 이에 따라 계의 상태는 <math>|0\rangle_A\otimes|1\rangle_B</math>으로 바뀐다.
# A의 스핀을 1로 측정한다. 이에 따라 계의 상태는 <math>|1\rangle_A\otimes |0\rangle_B</math>로 바뀐다.
만약 A의 스핀을 0으로 측정했다면, 그 뒤에 B의 스핀을 측정하면 100%의 확률로 항상 1을 얻는다. 반대로, A의 스핀을 1로 측정했다면, 그 뒤에 B의 스핀을 측정하면 100%의 확률로 항상 0을 얻는다. 하지만 A의 스핀을 먼저 측정하지 않고 B의 스핀을 측정하면 B는 50%:50%의 확률로 0 또는 1을 얻는다.

이에 따라, A의 스핀의 측정이 B의 스핀의 측정에 일종의 영향을 줄 수 있다. 이는 A와 B가 공간적으로 매우 멀리 떨어져 있어도 가능하다. 이것은 [[EPR 역설]]의 한 형태다. 하지만 얽힘 현상을 써서 먼 거리 사이에 정보를 전송할 수는 없다. A를 측정하여 어떤 결과를 얻을지 알 수 없기 때문이다.

만약 스핀의 상태를 복제할 수 있다면 다음과 같이 정보를 전달하는 방법을 생각해 볼 수 있다. A계에서 한 비트를 전송하고 싶다고 하자. 0을 전송하려면 아무것도 하지 않고, 1을 전송하려면 A의 스핀을 측정한다. 그렇다면, B에서 전송한 결과를 다음과 같이 받을 수 있다. 우선, B의 스핀 상태를 여러번 복제하고, 복제한 상태들의 스핀을 각각 측정한다. 만약 A가 0을 전송하였으면 (A의 스핀을 측정하지 않았으면) B의 복제본들의 측정 결과는 제각각이겠지만, 만약 A가 1을 전송하였으면 (A의 스핀을 측정하였다면) B의 복제본들의 스핀은 모두 0이거나 모두 1이어야 한다. 하지만 양자역학적 상태는 [[복제 불가능 정리]]({{lang|en|no-cloning theorem}})에 의하여 정확히 복제할 수 없고, 이러한 정보 전달 방법은 불가능하다.

=== 스핀 단일 상태의 상관 관계 ===
위와 같은 상관관계는 고전적으로 설명할 수 있다. 예를 들어, A의 스핀과 B의 스핀이 항상 반대이지만, 어느 스핀이 0이고 어느 스핀이 1인지는 알 수 없을 수 있다. 하지만 얽힘은 다음 예와 같이 고전적으로 설명하기 힘든 상관관계를 가질 수 있다.

두 개의 [[전자]]로 이루어진 계를 생각하자. 전자는 스핀이 ½인 [[페르미온]]이므로, [[페르미-디랙 통계]]로 인해 계의 [[파동 함수]]는 반대칭적이다. 그 중 총 스핀이 0인 스핀 단일 상태({{lang|en|singlet state}})는 다음과 같다.
:<math>|\text{singlet}\rangle=\frac1{\sqrt2}\left(|\hat z +\rangle_A \otimes |\hat z -\rangle_B - |\hat z -\rangle_A \otimes |\hat z +\rangle_B\right)</math>
명시적으로 스핀이 양자화된 방향을 표시하였다.

이제 위와 같은 상태의 두 입자로 이루어진 계에서 하나의 스핀을 측정하는 경우를 생각해 보자. +나 &minus;가 나올 확률이 반반일 것이다. 이 경우도 위와 마찬가지로
# A를 측정해서 +가 나왔다면, 계 B를 측정하면 반드시 &minus;가 나와야 한다. 즉, A를 +로 측정하면, 계의 상태는 <math>|\hat z +\rangle_A \otimes |\hat z -\rangle_B</math>로 바뀐다.
# A를 측정해서 &minus;가 나왔다면, 계 B를 측정하면 반드시 +가 나와야 한다. 즉, A를 &minus;로 측정하면 계의 상태는 <math>|\hat z -\rangle_A \otimes |\hat z +\rangle_B</math>로 바뀐다.

이러한 사고 실험을 실제로 수행하려면, 총 스핀이 0인 입자가 붕괴하는 과정을 사용해야 한다.(각운동량 보존에 의해 붕괴된 두 입자의 스핀합도 0이어야 한다. 따라서 동일한 입자가 생성될 경우 스핀 단일 상태로 생성되게 된다.) 이 같은 예로는 [[에타 중간자]]가 [[뮤온]] 쌍으로 붕괴하는 현상이 있다. 식으로 쓰면 다음과 같다.
:η → μ<sup>+</sup> + μ<sup>&minus;</sup>
하지만 이 현상은 일어날 확률이 <math>6\times 10^{-6}</math>로 매우 작아 실험적으로 적합하지 않다. 다른 예로는, 작은 [[운동 에너지]]를 갖는 두 [[양성자]]가 충돌하여 다시 튀어나가는 현상을 생각해 보자.
: p + p → p + p
[[파울리 배타 원리]] 때문에 상호작용한 양성자들은 <sup>1</sup>S<sub>0</sub> 상태에 있게 되고, 산란된 양성자들의 스핀 상태는 양성자들이 멀리 떨어진 상태에서도 위와 같이 얽혀 있게 된다.

다시 측정결과로 돌아와서 보면 위의 예 (순수한 계) 와 별다른 차이가 없어 보인다. 위에서처럼 측정 전에는 알지 못했을 뿐이지 흰 공과 검은색 공이 든 항아리에서 공 하나를 꺼내 측정하는 것과 똑같이 설명할 수 있지 않을까? 흰 공이 앨리스에게로 갔다면, 밥은 검은 색 공을 꺼내게 될 것이다. 하지만, 이 문제는 이렇게 간단하지 않다. 스핀이 방향성을 갖기 때문인데, 스핀 단일 상태를 x나 y방향의 스핀 고유 상태로 표시하면 어떻게 될까? x방향의 고유상태와 y방향의 고유상태는
:<math>|\hat{x} \pm\rangle = {1 \over \sqrt{2}} \bigg( |\hat z +\rangle \pm |\hat z -\rangle \bigg)</math>,   <math>|\hat{z} \pm\rangle = {1 \over \sqrt{2}} \bigg( |\hat x +\rangle \pm |\hat x -\rangle \bigg)</math>

와 같은 관계를 가지고 있으므로, 스핀 단일 상태({{lang|en|spin singlet state}})는
:<math>|\text{singlet}\rangle = \frac1{\sqrt2} \left( |\hat x +\rangle_A \otimes |\hat x -\rangle_B - |\hat x -\rangle_A \otimes |\hat x +\rangle_B \right) = \frac1{\sqrt2} \left( |\hat y +\rangle_A \otimes |\hat y -\rangle_B - |\hat y -\rangle_A \otimes |\hat y +\rangle_B \right)</math>
와 같이 표현될 수 있다.

x방향의 스핀을 측정하고 난 뒤 B의 z방향 스핀을 측정하는 경우를 생각해 보자. A의 x방향 스핀 측정 결과에 관계없이 B의 z방향 스핀은 +와 &minus;가 반반씩 측정될 것이다. A의가 x방향 스핀 정보를 측정하면 계의 상태가 <math> |\hat x +\rangle_A \otimes |\hat x -\rangle_B </math> 또는 <math> |\hat x -\rangle_A \otimes |\hat x +\rangle_B </math>로 붕괴할 것이기 때문에 B의 z방향 성분은 무작위로 측정된다. 결과를 정리하면 다음과 같다.
* A는 z방향 B는 x방향을 측정할 때 (A와 B가 서로 수직한 다른 방향의 스핀 성분을 측정할 때), 두 측정 사이의 상관관계는 없다.
* A와 B가 같은 방향을 측정할 때, 두 측정은 100%의 상관관계 (반대방향)를 갖는다.
* A의 스핀을 측정하지 않는다면, B는 측정방향에 상관없이 무작위 결과를 내놓는다.

이를 표로 쓰면 다음과 같다.
:{| class="wikitable" style="text-align:center"
! A의 측정 결과 !! B의 측정 결과
|-
| <math> |\hat z +\rangle_A </math> || <math> |\hat z -\rangle_B </math>
|-
| <math> |\hat z -\rangle_A </math> || <math> |\hat z +\rangle_B </math>
|-
| <math> |\hat x +\rangle_A </math> || <math> |\hat x -\rangle_B </math>
|-
| <math> |\hat x -\rangle_A </math> || <math> |\hat x +\rangle_B </math>
|-
| <math> |\hat z +\rangle_A </math> || <math> |\hat x +\rangle_B </math>
|-
| <math> |\hat z +\rangle_A </math> || <math> |\hat x -\rangle_B </math>
|-
| <math> |\hat z -\rangle_A </math> || <math> |\hat x +\rangle_B </math>
|-
| <math> |\hat z -\rangle_A </math> || <math> |\hat x -\rangle_B </math>
|-
| <math> |\hat x +\rangle_A </math> || <math> |\hat z +\rangle_B </math>
|-
| <math> |\hat x +\rangle_A </math> || <math> |\hat z -\rangle_B </math>
|-
| <math> |\hat x -\rangle_A </math> || <math> |\hat z +\rangle_B </math>
|-
| <math> |\hat x -\rangle_A </math> || <math> |\hat z -\rangle_B </math>
|}
따라서, B의 측정 결과는 A에 행해진 측정 방법에 따라 달라지는 것처럼 보인다.

이는 양자역학적으로 측정이 단순히 기존에 있는 상태를 건드리지 않고 기록하는 과정이 아니라, 계의 상태를 바꾸기 때문이다. A의 z방향 스핀 성분을 +로 관찰하면, 계의 상태는 <math> |\hat z +\rangle_A \otimes |\hat z -\rangle_B </math>으로 바뀐다. 즉, 계의 일부분을 측정하여도 계 전체의 상태가 바뀐다.

== 같이 보기 ==
* [[ER=EPR]]
* [[파울리 배타 원리]]
* [[양자 컴퓨팅]]
* [[양자 네트워크]]
* [[양자 순간 이동]]
* [[슈테른-게를라흐 실험]]
== 참고 문헌==
{{위키공용분류}}
{{각주}}
* {{서적 인용|author=Bengtsson I, Życzkowski K |title=Geometry of Quantum States: An Introduction to Quantum Entanglement |publisher=Cambridge University Press |location=Cambridge |year=2006|isbn=0-521-81451-0|url=http://chaos.if.uj.edu.pl/~karol/geometry.htm}}
* {{저널 인용 |author=Bengtsson I, Życzkowski K|제목={{lang|en|An Introduction to Quantum Entanglement: a Geometric Approach}}|연도=2006|arxiv=quant-ph/0606228}}
* {{서적 인용|author=Steward EG |title=Quantum Mechanics: Its Early Development and the Road to Entanglement |publisher=Imperial College Press |year=2008 |isbn=978-1-86094-978-4}}
* {{저널 인용|author=Horodecki R, Horodecki P, Horodecki M, Horodecki K |title=Quantum entanglement |journal=Reviews of Modern Physics |doi =10.1103/RevModPhys.81.865 |year=2009 |bibcode=2009RvMP...81..865H |volume=81 |issue=2 |pages=865–942|arxiv=quant-ph/0702225}}
* {{서적 인용|author=Jaeger G |year=2009 |title=Entanglement, Information, and the Interpretation of Quantum Mechanics |location=Heildelberg |publisher=Springer |isbn=978-3-540-92127-1}}
* {{저널 인용|author=Plenio MB, Virmani S |title=An introduction to entanglement measures |journal=Quantum Information and Computation |volume=1 |issue=7 |pages=151 |year=2007 |bibcode=2005quant.ph..4163P |last2=Virmani|arxiv=quant-ph/0504163}}

{{전거 통제}}

[[분류:양자역학]]
[[분류:양자정보과학]]
[[분류:초광속 통신]]