{{위키데이터 속성 추적}}
'''위상 양자 컴퓨터'''({{llang|en|Topological quantum computer}})는 1997년 러시아계 미국인 물리학자 [[알렉세이 키타예프]]가 제안한 이론적 양자 컴퓨터다. 이 양자 컴퓨터는 큐비트를 만들기 위해 3차원 [[시공간]](시각 1차원과 장소 2차원)에서 [[세계선]]들이 꼬이는 [[애니온]]이라고 하는 2차원 계의 [[준입자]]를 사용한다. 이 애니온들의 세계선들이 이루는 꼬임은 컴퓨터를 구성하는 [[논리 회로]]를 형성한다. 양자 꼬임을 기반으로 하는 양자 컴퓨터는 포획된 양자 입자를 사용하는 것보다 훨씬 더 안정적이라는 장점이 있다. 누적된 작은 섭동들로 인해 양자 상태에 [[양자 결어긋남|결어긋남]]이 발생하게 되는데, 이는 양자 컴퓨터에 계산 오류가 발생할 수 있는 원인이 된다. 그러나, 이러한 작은 섭동 때문에 꼬임의 [[꼬임군 (위상수학)|위상수학적 성질]]이 바뀌지는 않는다. 따라서, 위상 양자 컴퓨터는 다른 방식에 비해 상당히 안정적일 것이라 본다. 비유적으로 설명하자면, 공을 벽의 특정 위치에 던져 맞추는 과정에서는 작은 방해로도 빗나가기 쉽지만, 특정 상태로 꼬인 끈을 조금 움직인다고 해서, 그 꼬인 방식이 바뀌지는 않기 때문에, 위상수학적 성질을 이용하는 컴퓨터가 상대적으로 더 안정적이라고 할 수 있다.

위상 양자 컴퓨터의 기본 요소는 순전히 수학적 영역에서 기원하지만, 분수 양자 홀 계에서의 실험은 [[절대 영도]]에 가까운 온도에서 강한 [[자기장]]을 받는 [[비소화 갈륨]]으로 만든 [[반도체]]를 사용하여 물리적 세계에서 이러한 요소를 생성할 수 있음을 나타낸다.

== 소개 ==
꼬임이라는 위상수학적 개념은 오스트리아 수학자 [[에밀 아르틴]]이 1925년에 제안한 [[꼬임군 (위상수학)|꼬임군]]이라는 [[대수적 위상수학|대수 위상]]적 대상을 이룬다. 예를 들어, 네 가닥의 꼬임을 나타내는 꼬임군 <math>\operatorname{Braid}(4)</math>은 다음 세 원소들로 생성된다:

{| style="text-align:center"
| style="padding: 1em" |[[파일:Braid_s1.png]]
| style="padding: 1em" |[[파일:Braid_s2.png]]
| style="padding: 1em" |[[파일:Braid_s3.png]]
|-
|σ<sub>1</sub>
|σ<sub>2</sub>
|σ<sub>3</sub>
|}
그리고 이 군에서 연산은 다음과 같은 방식으로 이뤄진다:
{| style="text-align:center"
|[[파일:Braid_s3.png]]
| style="padding:1em" |·
|[[파일:Braid_s2.png]]
| style="padding:1em" |=
|[[파일:Braid_s3s2.png]]
|-
|<math>\sigma_3</math>
|·
|<math>\sigma_2</math>
|=
|<math>\sigma_3\sigma_2</math>
|}
꼬임의 이러한 성질은, 수학적으로, 꼬임을 이용한 계산을 할 수 있게 한다.

한편, [[애니온]]은 2차원 공간에서 준입자이다. 애니온은 [[페르미온]]도 [[보손]]도 아니지만 페르미온과 마찬가지로 동일한 상태를 점유할 수 없다. 따라서 두 애니온의 [[세계선]]들은 서로 교차하거나 하나로 합쳐질 수 없으며, 이는 그들의 세계선이 시공간에서 안정적인 끈을 형성할 수 있도록 한다. 애니온들은 아주 강한 자기장에서 차가운 2차원 전자 가스의 들뜸에서 형성될 수 있으며, 분수 단위의 자속을 운반한다. 이 현상을 분수 양자 홀 효과라고 한다. 일반적인 실험실 계에서 전자 가스는 AlGaAs 층 사이에 끼워진 얇은 반도체 층을 차지한다.

애니온들의 세계선들이 땋아질 때 계의 양자 상태의 변환은 애니온 세계선들 어떻게 꼬였는지에 대한 위상수학적 동치류([[꼬임군 (위상수학)|꼬임군]]에 따라 분류됨)에 따라서만 바뀐다. 따라서 계의 상태에 저장된 양자 정보는 세계선의 작은 오류에 영향을 받지 않는다.<ref name="Welcome2020">{{저널 인용|제목=Welcome anyons! Physicists find best evidence yet for long-sought 2D structures|저널=Nature|성=Castelvecchi|이름=Davide|url=https://www.nature.com/articles/d41586-020-01988-0|날짜=July 3, 2020|권=583|호=7815|쪽=176–177|bibcode=2020Natur.583..176C|doi=10.1038/d41586-020-01988-0|pmid=32620884|확인날짜=September 23, 2020|인용문=Simon and others have developed elaborate theories that use anyons as the platform for quantum computers. Pairs of the quasiparticle could encode information in their memory of how they have circled around one another. And because the fractional statistics is 'topological' — it depends on the number of times one anyon went around another, and not on slight changes to its path — it is unaffected by tiny perturbations. This robustness could make topological quantum computers easier to scale up than are current quantum-computing technologies, which are error-prone.}}</ref> 2005년에 상카르 다스 사르마, [[마이클 프리드먼]]과 [[Chetan Nayak|체탄 나약]]은 위상수학적 큐비트를 물리적으로 구현할 양자 홀 장치를 제안했다. 위상 양자 컴퓨터의 주요 개발에서 2005년 블라드미르 골드만, 페르난도 카미노 및 웨이 저우는 분수 양자 홀 효과를 사용하여 애니온을 생성하는 최초의 실험적 증거를 만들고 관찰했다고 주장했지만 다른 사람들은 그들의 결과는 애니온을 포함하지 않는 현상의 산물일 수 있다고 제안했다. 위상 양자 컴퓨터에 필요한 입자종인 비-아벨 애니온은 아직 실험적으로 확인되지 않았다. 가능한 실험적 증거가 발견되었지만<ref>{{저널 인용|제목=Magnetic field-tuned Aharonov–Bohm oscillations and evidence for non-Abelian anyons at ν = 5/2|저널=Physical Review Letters|성=Willet|이름=R. L.|날짜=January 15, 2013|권=111|호=18|쪽=186401|arxiv=1301.2639|bibcode=2013PhRvL.111r6401W|doi=10.1103/PhysRevLett.111.186401|pmid=24237543}}</ref> 결론은 여전히 논쟁의 여지가 있다.<ref>{{저널 인용|제목=Enhanced Bulk-Edge Coulomb Coupling in Fractional Fabry-Perot Interferometers|저널=Physical Review Letters|성=von Keyserling|이름=Curt|성2=Simon|이름2=S. H.|연도=2015|권=115|호=12|쪽=126807|arxiv=1411.4654|bibcode=2015PhRvL.115l6807V|doi=10.1103/PhysRevLett.115.126807|pmid=26431008|성3=Bernd|이름3=Rosenow}}</ref> 2018년에 과학자들은 필요한 마요라나 입자를 분리했다고 다시 주장했지만 2021년에 그 발견이 철회되었다. ''Quanta Magazine''은 2021년에 "아무도 유니타리(마요라나 제로 모드) 준입자의 존재를 설득력 있게 보여주지 못했다"고 말했다.<ref>{{뉴스 인용|url=https://www.quantamagazine.org/major-quantum-computing-strategy-suffers-serious-setbacks-20210929/|제목=Major Quantum Computing Strategy Suffers Serious Setbacks|성=Ball|이름=Philip|날짜=29 September 2021|뉴스=Quanta Magazine|언어=en|확인날짜=30 September 2021}}</ref>

== 위상 대 표준 양자 컴퓨터 ==
위상 양자 컴퓨터는 다른 표준적인 양자 계산 모델들, 특히 양자 회로 모델 및 [[양자 튜링 기계]] 모델과 계산 능력이 동일하다.<ref name="FLW02">{{저널 인용|제목=A Modular Functor Which is Universal for Quantum Computation|url=https://archive.org/details/sim_communications-in-mathematical-physics_2002-06_227_3/page/605|저널=Communications in Mathematical Physics|성=Freedman|이름=Michael H.|성2=Larsen|이름2=Michael|날짜=2002-06-01|권=227|호=3|쪽=605–622|arxiv=quant-ph/0001108|bibcode=2002CMaPh.227..605F|doi=10.1007/s002200200645|issn=0010-3616|성3=Wang|이름3=Zhenghan}}</ref> 즉, 이러한 모델은 다른 모델을 효율적으로 시뮬레이션할 수 있다. 그럼에도 불구하고 특정 알고리듬은 위상 양자 컴퓨터 모델에서 더 자연스럽게 구현 될 수 있다. 예를 들어, [[매듭 이론]]에서 주요 불변량인 [[존스 다항식]]을 계산하기 위한 알고리듬은 처음에 위상 양자 컴퓨터 모델 기반으로 만들어 졌으며, 나중에 표준 양자 회로 모델에서 변환되고 확장되었다. 특히 임의의 매듭은 어떤 꼬임의 Markov trace closure로 만들 수 있음이 증명되어 있으며 위상 양자 컴퓨터가 꼬임을 기반으로 하기 때문에 매듭 불변량인 존스 다항식에 대한 알고리듬이 위상 양자컴퓨터 모형에서 쉽게 다뤄진다.

=== 계산 ===
그 이름에 걸맞게 위상 양자 컴퓨터는 갇힌 양자 입자를 사용하는 기존의 양자 컴퓨터 설계에서 약속한 고유한 계산적 성질을 가져야 한다. 2000년에 [[마이클 프리드먼]], [[알렉세이 키타예프]], 마이클 라센, 쩡한 왕은 위상 양자 컴퓨터가 원칙적으로 기존 양자 컴퓨터가 수행할 수 있는 모든 계산을 수행할 수 있으며 그 반대도 성립함을 증명했다.<ref name="FLW02">{{저널 인용|제목=A Modular Functor Which is Universal for Quantum Computation|url=https://archive.org/details/sim_communications-in-mathematical-physics_2002-06_227_3/page/605|저널=Communications in Mathematical Physics|성=Freedman|이름=Michael H.|성2=Larsen|이름2=Michael|날짜=2002-06-01|권=227|호=3|쪽=605–622|arxiv=quant-ph/0001108|bibcode=2002CMaPh.227..605F|doi=10.1007/s002200200645|issn=0010-3616|성3=Wang|이름3=Zhenghan}}</ref><ref name="FKW02">{{저널 인용|제목=Simulation of Topological Field Theories by Quantum Computers|url=https://archive.org/details/sim_communications-in-mathematical-physics_2002-06_227_3/page/587|저널=Communications in Mathematical Physics|성=Freedman|이름=Michael H.|성2=Kitaev|이름2=Alexei|날짜=2002-06-01|권=227|호=3|쪽=587–603|arxiv=quant-ph/0001071|bibcode=2002CMaPh.227..587F|doi=10.1007/s002200200635|issn=0010-3616|성3=Wang|이름3=Zhenghan}}</ref><ref>{{저널 인용|제목=Topological quantum computation|저널=Bulletin of the American Mathematical Society|성=Freedman|이름=Michael|성2=Kitaev|이름2=Alexei|url=http://www.ams.org/bull/2003-40-01/S0273-0979-02-00964-3/|날짜=2003-01-01|권=40|호=1|쪽=31–38|arxiv=quant-ph/0101025|doi=10.1090/S0273-0979-02-00964-3|issn=0273-0979|성3=Larsen|이름3=Michael|성4=Wang|이름4=Zhenghan}}</ref>

그들은 논리 회로의 오류 없는 작동이 주어진 기존의 양자 컴퓨터 장치가 절대적인 정확도 수준의 해를 제공하는 반면, 완벽하게 작동하는 위상 양자 컴퓨팅 장치는 유한한 수준의 정확도만 있는 해를 제공한다는 것을 발견했다. 그러나 단순한 선형 관계에서 위상 양자 컴퓨터에 꼬임(논리 회로)을 더 추가하면 답에 대한 모든 수준의 정밀도를 얻을 수 있다. 즉, 꼬임을 적절히 증가시켜서 답변의 정확도를 높일 수 있다. 실제 계산(회로)은 분수 양자 홀 효과의 가장자리 상태에 의해 수행된다. 이것은 1차원 애니온의 모델을 중요하게 만든다. 하나의 공간 차원에서 애니온은 대수적으로 정의된다.

=== 오류 수정 및 제어 ===
양자 꼬임은 갇힌 양자 입자보다 본질적으로 더 안정적이지만 인접한 꼬임을 간섭하는 임의의 표류 쌍을 생성하는 열 변동을 유발하는 오류를 제어할 필요가 여전히 있다. 이러한 오류를 제어하는 것은 단순히 간섭하는 이탈률이 거의 0으로 떨어지는 거리까지 애니온을 분리하는 문제이다. 위상 양자 컴퓨터의 역학을 시뮬레이션하는 것은 표준 양자 정보 처리 방식으로도 내결함성 양자 계산을 구현하는 유망한 방법일 수 있다. 라우센도르프, 해링턴 및 고얄은 시뮬레이션 결과가 유망한 한 모델을 연구했다.<ref>{{저널 인용|제목=Topological fault-tolerance in cluster state quantum computation|저널=New Journal of Physics|성=Raussendorf|이름=R.|성2=Harrington|이름2=J.|날짜=2007-01-01|권=9|호=6|쪽=199|언어=en|arxiv=quant-ph/0703143|bibcode=2007NJPh....9..199R|doi=10.1088/1367-2630/9/6/199|issn=1367-2630|성3=Goyal|이름3=K.}}</ref>

== 예: 피보나치 애니온들로 계산하기 ==
위상 양자 컴퓨팅의 두드러진 예 중 하나는 [[Fibonacci anyons|피보나치 애니온]] 계이다. 등각 장 이론 맥락에서 피보나치 애니온은 양-리 모델, [[천-사이먼스 이론]]의 <math>\text{SU}(2)</math> 특수 사례 및 [[베스-추미노-위튼 모형]]으로 설명된다.<ref>{{저널 인용|제목=A Short Introduction to Fibonacci Anyon Models|저널=Progress of Theoretical Physics Supplement|성=Trebst|이름=Simon|성2=Troyer|이름2=Matthias|날짜=2008|권=176|쪽=384–407|arxiv=0902.3275|bibcode=2008PThPS.176..384T|doi=10.1143/PTPS.176.384|성3=Wang|이름3=Zhenghan|성4=Ludwig|이름4=Andreas W. W.}}</ref> 이러한 애니온은 위상 양자 컴퓨팅을 위한 일반 게이트를 만드는 데 사용할 수 있다. 모델 생성에는 세 가지 주요 단계가 있다.

* 기저을 선택하고 [[힐베르트 공간]]을 제한하라.
* 애니온들을 함께 땋는다.
* 마지막에 애니온을 융합하고 계의 출력을 읽기 위해 융합하는 방법을 감지한다.

=== 상태 준비 ===
피보나치 애니온은 세 가지 특성으로 정의된다.

# 이들은 위상수학적 전하 <math>\tau</math>를 가진다. 이 논의에서 우리는 <math>1</math>이라는 또 다른 전하도 고려한다. 이 전하는, 애니온들이 서로 소멸할 때의 '진공' 전하이다.
# 애니온 각각은 자신의 반입자이다: <math>\tau = \tau^*</math>, <math>1 = 1^*</math>.
# 서로 가깝게 하면 자명한 방식으로 함께 '융합'된다. 특히 '융합' 규칙은 다음과 같다:
## <math>1 \otimes 1 = 1</math>
## <math>1 \otimes \tau = \tau \otimes 1 = \tau</math>
## <math>\tau \otimes \tau = 1 \oplus \tau</math>
# 이 계의 많은 특성은 스핀 1/2 입자 두 개의 특성과 유사하게 설명할 수 있다. 특히, 우리는 동일한 [[직합|직합 연산자]] <math>\oplus</math>와 [[텐서곱]] <math>\otimes</math>을 사용한다.

마지막 '융합' 규칙은 다음과 같은 세 개의 애니온들이 있는 계로 확장 할 수 있다:

: <math>\tau \otimes \tau \otimes \tau = \tau \otimes (1 \oplus \tau) = \tau \otimes 1 \oplus \tau \otimes \tau = \tau \oplus 1 \oplus \tau = 1 \oplus 2 \cdot \tau</math>

따라서, 세 개의 애니온을 융합하면 총 전하 <math>\tau</math>인 최종 상태가 두 가지 방법으로, 또는 총 전하 <math>1</math>인 최종 상태가 정확히 한 가지 방법으로 생성된다. 이 세 가지 상태를 사용하여 기저를 정의한다.<ref name=":0">{{저널 인용|제목=Non-Abelian Anyons and Topological Quantum Computation|저널=Reviews of Modern Physics|성=Nayak|이름=Chetan|날짜=2008|권=80|호=3|쪽=1083–1159|arxiv=0707.1889|bibcode=2008RvMP...80.1083N|doi=10.1103/RevModPhys.80.1083}}</ref> 그러나 이 세 가지 애니온 상태를 0과 1의 중첩으로 인코딩하려고 하므로 기저를 2차원 힐베르트 공간의 기저로 제한해야 한다. 따라서, 총 전하가 <math>\tau</math>인 두 가지 상태만 고려한다. 이 선택은 순전히 현상학적이다. 이 상태에서 가장 왼쪽에 있는 두 개의 애니온들을 '제어계'로 묶고 가장 오른쪽에 있는 애니온을 '비계산 애니온'으로 둔다. 그리고 <math>|0\rangle</math> 상태를 총 '융합' 전하가 <math>1</math>인 상태의 제어계, 그리고  <math>|1 \rangle</math> 상태를 총 '융합' 전하가 <math>\tau</math>인 상태의 제어계로 구분한다. 자세한 설명은 나약을 참조하라.<ref name=":0" />

=== 게이트들 ===
위의 아이디어에 따라 이들 애니온들을 서로 단열적으로 땋으면 유니타리 변환이 발생한다. 이러한 꼬임 연산자는 연산자의 두 하위 동치류의 결과이다.

* ''<math>F</math>'' 행렬
* ''<math>R</math>'' 행렬

행렬 <math>R</math>은 개념적으로 애니온들의 세계선들이 꼬이는 중에 애니온에 부여되는 위상수학적 페이즈로 생각할 수 있다. 애니온들이 서로 감겨지면 [[아로노프-봄 효과]]로 인해 특정 페이즈가 선택된다.

행렬 <math>F</math>는 애니온들이 물리적르으로 회전 한 결과이다. 애니온들이 서로 엮일 때 맨 아래 두 애니온들(제어계)이 여전히 큐비트의 상태를 구별한다는 것을 인식하는 것이 중요하다. 따라서 애니온들을 땋는 것은 제어계에 있는 애니온들을 바꾸므로 기저가 바뀐다. 항상 제어계의 애니온들을 먼저 함께 융합하여 애니온들을 측정하므로 이들을 교환하면 계가 회전한다. 이러한 애니온은 비-아벨이라서 제어계 내에 있는 애니온들의 순서가 중요하므로 계를 변환시킬 것이다.

완전한 꼬임 연산자는 다음과 같이 유도 될 수 있다:

<math>B=F^{-1} R F</math>

<math>F</math>와 <math>R</math> 연산자를 수학적으로 구성하기 위해 이러한 <math>F</math>와 <math>R</math> 연산자의 순열을 고려할 수 있다. 우리가 운영하고 있는 기반을 순차적으로 변경하면 결국 동일한 기반으로 돌아갈 것임을 알고 있다. 마찬가지로, 우리는 애니온들을 특정 횟수만큼 서로 땋으면 동일한 상태로 되돌아간다는 것을 알고 있다. 이러한 공리를 각각 [[오각형]] 및 [[Hexagonal axiom|육각형 공리]]라고 한다. 작업 수행을 상태 변환의 오각형/육각형으로 시각화할 수 있기 때문이다. 수학적으로 어렵지만<ref>Eric Paquette. Topological quantum computing with anyons, 1 2009. Categories, Logic and Foundations of Physics IV.</ref> 시각적으로 훨씬 더 성공적으로 접근할 수 있다.

이러한 꼬임 연산자를 사용하여 힐베르트 공간에서 작동하고 임의의 범용 양자 게이트를 구성하는 방식과 관련하여 꼬임의 개념을 최종적으로 공식화 할 수 있다.<ref>Explicit braids that perform particular quantum computations with Fibonacci anyons have been given by {{저널 인용|제목=Braid Topologies for Quantum Computation|저널=Physical Review Letters|성=Bonesteel|이름=N. E.|성2=Hormozi|이름2=L.|연도=2005|권=95|호=14|쪽=140503|arxiv=quant-ph/0505065|bibcode=2005PhRvL..95n0503B|doi=10.1103/PhysRevLett.95.140503|pmid=16241636|성3=Zikos|이름3=G.|성4=Simon|이름4=S. H.|성5=West|이름5=K. W.}}</ref>

== 같이 보기 ==
* [[긴즈부르크-란다우 이론]]
* [[후시미 표현]]
* 무작위 행렬
* 토릭 코드

== 각주 ==
{{각주}}

== 더 읽어보기 ==
* {{뉴스 인용|url=http://www.cs.virginia.edu/~robins/Computing_with_Quantum_Knots.pdf|title=Computing with Quantum Knots|last=Collins|first=Graham P.|date=April 2006|work=Scientific American}}
* {{저널 인용|title=Topologically Protected Qubits from a Possible Non-Abelian Fractional Quantum Hall State|journal=Physical Review Letters|last1=Sarma|first1=Sankar Das|last2=Freedman|first2=Michael|year=2005|volume=94|issue=16|pages=166802|arxiv=cond-mat/0412343|bibcode=2005PhRvL..94p6802D|doi=10.1103/PhysRevLett.94.166802|pmid=15904258|last3=Nayak|first3=Chetan|s2cid=8773427}}
* {{저널 인용|title=Non-Abelian Anyons and Topological Quantum Computation|journal=Reviews of Modern Physics|last1=Nayak|first1=Chetan|last2=Simon|first2=Steven H.|year=2008|volume=80|issue=3|pages=1083–1159|arxiv=0707.1889|bibcode=2008RvMP...80.1083N|doi=10.1103/RevModPhys.80.1083|last3=Stern|first3=Ady|last4=Freedman|first4=Michael|last5=Sarma|first5=Sankar Das|author-link2=Steven H. Simon|author-link3=Ady Stern|author-link4=Michael Freedman|author-link5=Sankar Das Sarma|s2cid=119628297}}
* {{저널 인용|title=Exact solution of double-delta function Bose gas through interacting anyon gas|journal=Phys. Rev. Lett.|last=Kundu|first=A.|year=1999|volume=83|issue=7|pages=1275–1278|arxiv=hep-th/9811247|bibcode=1999PhRvL..83.1275K|doi=10.1103/physrevlett.83.1275|s2cid=119329417}}
* {{저널 인용|title=One-dimensional interacting anyon gas: low energy properties and Haldane exclusion statistics|journal=Phys. Rev. Lett.|last1=Batchelor|first1=M.T.|last2=Guan|first2=X. W..|url=http://espace.library.uq.edu.au/view/UQ:80501/UQ80501.pdf|year=2006|volume=96|issue=21|pages=210402|arxiv=cond-mat/0603643|bibcode=2006PhRvL..96u0402B|doi=10.1103/physrevlett.96.210402|pmid=16803221|last3=Oelkers|first3=N..|s2cid=28378363}}
* {{저널 인용|title=Anyon-fermion mapping and applications to ultracold gasses in tight waveguides|journal=Phys. Rev. Lett.|last=Girardeau|first=M. D.|year=2006|volume=97|issue=10|pages=100402|arxiv=cond-mat/0604357|bibcode=2006PhRvL..97j0402G|doi=10.1103/physrevlett.97.100402|pmid=17025794|s2cid=206330101}}
* {{저널 인용|title=Coulomb blockade of anyons in quantum antidots|journal=Phys. Rev. Lett.|last1=Averin|first1=D. V.|last2=Nesteroff|first2=J. A.|year=2007|volume=99|issue=9|pages=096801|arxiv=0704.0439|bibcode=2007PhRvL..99i6801A|doi=10.1103/physrevlett.99.096801|pmid=17931025|s2cid=41119577}}
* {{뉴스 인용|url=http://physicsworld.com/cws/article/indepth/43623|title=Quantum Computing with a Twist|last=Simon|first=Steven H.|author-link=Steven H. Simon}}

{{양자역학 주제}}

[[분류:양자 컴퓨팅]]
[[분류:위상수학]]
[[분류:계산 모형]]
[[분류:컴퓨터의 유형]]
[[분류:양자정보과학]]