任意子:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Wolfch留言 | 贡献
无编辑摘要
增加或调整参考来源 维基化
第4行: 第4行:
|任意子 (電路)
|任意子 (電路)
}}
}}
'''任意子'''是[[数学]]和[[物理学]]中的一个概念。它描述一类只在二维-{}-系统中出现的粒子。它是对[[费米子]]和[[玻色子]]概念的广义化。
'''任意子'''({{lang-en|'''anyon'''}})是[[数学]]和[[物理学]]中的一个概念。它描述一类只在二维-{}-系统中出现的粒子。它是对[[费米子]]和[[玻色子]]概念的广义化。


== 物理学 ==
== 物理学 ==
第12行: 第12行:
其中<math>\left|\dots\right\rangle</math>中的第一项是第一个粒子的状态,第二项是第二个粒子的状态。因此公式的左侧的意思是“粒子一在<math>\psi_1</math>状态和粒子二在<math>\psi_2</math>状态”。加号相应于两个粒子都是玻色子,减号相应于两个粒子都是费米子(玻色子和费米子混合的状态是不可能的)。
其中<math>\left|\dots\right\rangle</math>中的第一项是第一个粒子的状态,第二项是第二个粒子的状态。因此公式的左侧的意思是“粒子一在<math>\psi_1</math>状态和粒子二在<math>\psi_2</math>状态”。加号相应于两个粒子都是玻色子,减号相应于两个粒子都是费米子(玻色子和费米子混合的状态是不可能的)。


1977年[[奥斯陆大学]]的两名学者证明在二维-{}-系统中准粒子可以[[连续函数|连续]]地遵循费米-狄拉克统计和玻色-爱因斯坦统计之间的任何统计<ref>{{lang|no|J.M.Leinaas}}和{{lang|no|J.Myrheim}},《{{lang|en|On the theory of identical particles}}》,Nuovo Cimento '''B37''', 1-23 (1977年)</ref>。使用上面两粒子系统的例子其公式为:
1977年[[奥斯陆大学]]的两名学者证明在二维-{}-系统中准粒子可以[[连续函数|连续]]地遵循费米-狄拉克统计和玻色-爱因斯坦统计之间的任何统计<ref>{{cite journal
| title = On the theory of identical particles
| journal = Il Nuovo Cimento B
| volume = 37
| issue = 1
| pages = 1–23
| last1 = Leinaas | first = Jon Magne
| last2 = Myrheim | first2 = Jan
| url = http://www.ifi.unicamp.br/~cabrera/teaching/referencia.pdf
| date = 1977-01-11
| doi = 10.1007/BF02727953
| bibcode = 1977NCimB..37....1L }}</ref>使用上面两粒子系统的例子其公式为:
:<math>\left|\psi_1\psi_2\right\rangle = e^{i\,\theta}\left|\psi_2\psi_1\right\rangle</math>
:<math>\left|\psi_1\psi_2\right\rangle = e^{i\,\theta}\left|\psi_2\psi_1\right\rangle</math>


<math>i</math>是[[复数]]计算中的[[虚数单位]],<math>\theta</math>是一个[[实数]]。<math>|e^{i\theta}|=1</math>,<math>e^{2i\pi}=1</math>和<math>e^{i\pi}=-1</math>。假如<math>\theta=\pi</math>我们获得费米-狄拉克统计(负号),假如<math>\theta=2\pi</math>我们获得玻色-爱因斯坦统计(正号)。在其间我们获得其它统计。任意子这个名称是[[弗朗克·韦尔切克]]起的<ref>{{lang|en|F.Wilczek}},《{{lang|en|Phys.Rev.Lett.}}》,49号,957页(1982年)</ref>,因为这些粒子在进行粒子交换的情况下可以有任意相。
<math>i</math>是[[复数]]计算中的[[虚数单位]],<math>\theta</math>是一个[[实数]]。<math>|e^{i\theta}|=1</math>,<math>e^{2i\pi}=1</math>和<math>e^{i\pi}=-1</math>。假如<math>\theta=\pi</math>我们获得费米-狄拉克统计(负号),假如<math>\theta=2\pi</math>我们获得玻色-爱因斯坦统计(正号)。在其间我们获得其它统计。任意子这个名称是[[弗朗克·韦尔切克]]起的<ref>{{cite journal
| title = Quantum Mechanics of Fractional-Spin Particles
| journal = Physical Review Letters
| volume = 49
| issue = 14
| pages = 957–959
| last = Wilczek | first = Frank | authorlink = Frank Wilczek
| date = 4 October 1982
| url = http://www.ifi.unicamp.br/~mtamash/f689_mecquant_i/prl49_957.pdf
| doi = 10.1103/PhysRevLett.49.957
| bibcode=1982PhRvL..49..957W}}</ref>,因为这些粒子在进行粒子交换的情况下可以有任意相。


我们也可以用<math>\theta = 2 \pi s</math>,其中粒子的[[自旋]]量子数<var>s</var>对于[[玻色子]]而言是整数,对于[[费米子]]而言是半整数。因此:
我们也可以用<math>\theta = 2 \pi s</math>,其中粒子的[[自旋]]量子数<var>s</var>对于[[玻色子]]而言是整数,对于[[费米子]]而言是半整数。因此:
第25行: 第46行:
在任何二维以上的空间里,[[自旋統計定理]]规定任何多粒子状态都必须要么遵循费米-狄拉克统计,要么遵循玻色-爱因斯坦统计。这与<math>n>2</math>的{{lang|en|SO(''n'',1)}}[[基本群]]有关,其值为<math>\mathrm{Z}_2</math>(有两个元素的[[循環群]])。因此这里只有两个可能性(这里的细节比上述的要复杂,但是最关键的原因是这个)。
在任何二维以上的空间里,[[自旋統計定理]]规定任何多粒子状态都必须要么遵循费米-狄拉克统计,要么遵循玻色-爱因斯坦统计。这与<math>n>2</math>的{{lang|en|SO(''n'',1)}}[[基本群]]有关,其值为<math>\mathrm{Z}_2</math>(有两个元素的[[循環群]])。因此这里只有两个可能性(这里的细节比上述的要复杂,但是最关键的原因是这个)。


在二维空间里情况发生了变化,这里{{lang|en|SO(2,1)}}的基本群是<math>Z</math>(无限循环)。这意味着自旋(2,1)不是[[通用覆盖群|通用覆盖]]:它们不是[[單連通]]。详细地说[[广义正交群|特殊正交群]]{{lang|en|SO(2,1)}}的[[射影表示]]不仅仅有{{lang|en|SO(2,1)}}或者其二重覆盖群[[旋量群]]自旋(2,1)的[[表示论|线性表示]]。而这些额外的表示被称为任意子。
在二维空间里情况发生了变化,这里{{lang|en|SO(2,1)}}的基本群是<math>Z</math>(无限循环)。这意味着{{lang|en|Spin(2,1)}}不是[[通用覆盖群|通用覆盖]]:它们不是[[單連通]]。详细地说[[广义正交群|特殊正交群]]{{lang|en|SO(2,1)}}的[[射影表示]]不仅仅有{{lang|en|SO(2,1)}}或者其二重覆盖群[[旋量群]]{{lang|en|Spin(2,1)}}的[[表示论|线性表示]]。而这些额外的表示被称为任意子。


这个概念对非相对论系统也有效。关键是空间旋量群是有无限基本群的{{lang|en|SO(2)}}。
这个概念对非相对论系统也有效。关键是空间旋量群是有无限基本群的{{lang|en|SO(2)}}。
第32行: 第53行:


有一种考虑解决[[量子计算机]]中的稳定性问题的方法是使用任意子制成的[[拓扑量子计算机]]。这种计算机使用准粒子作为线程,使用[[辫理论]]来设计稳定的逻辑门<ref>{{cite journal
有一种考虑解决[[量子计算机]]中的稳定性问题的方法是使用任意子制成的[[拓扑量子计算机]]。这种计算机使用准粒子作为线程,使用[[辫理论]]来设计稳定的逻辑门<ref>{{cite journal
| title = {{lang|en|Topological Quantum Computation}}
| title = Topological Quantum Computation
| journal = {{lang|en|Bulletin of the American Mathematical Society}}
| journal = Bulletin of the American Mathematical Society
| volume = 40
| volume = 40
| issue = 1
| issue = 1
| pages = 31–38
| pages = 31–38
| last = {{lang|en|Freedman}}
| last = Freedman
| first = {{lang|en|Michael}}
| first = Michael
| coauthors = {{lang|en|Alexei Kitaev}}、{{lang|en|Michael Larsen}}和{{lang|en|Zhenghan Wang}}
|author2=Alexei Kitaev |author3=Michael Larsen |author4=Zhenghan Wang
| date = 20021020
| date = 2002-10-20
| doi = 10.1090/S0273-0979-02-00964-3| arxiv = quant-ph/0101025}}</ref><ref>{{cite journal|last=Monroe |first= Don |url=https://www.newscientist.com/channel/fundamentals/mg20026761.700-anyons-the-breakthrough-quantum-computing-needs.html |title=Anyons: The breakthrough quantum computing needs? | work=[[New Scientist]] |issue= 2676|date= 1 October 2008}}</ref>。
| doi = 10.1090/S0273-0979-02-00964-3}}</ref>
<ref>{{lang|en|Monroe, Don}},[http://www.newscientist.com/channel/fundamentals/mg20026761.700-anyons-the-breakthrough-quantum-computing-needs.html ''Anyons: The breakthrough quantum computing needs?''],《新科學人》,2008年10月1</ref>。


== 参考资料 ==
== 参考资料 ==
{{Reflist|2}}
<references />


== 外部链接 ==
== 外部链接 ==

2018年11月25日 (日) 10:14的版本

任意子(英語:anyon)是数学物理学中的一个概念。它描述一类只在二维系统中出现的粒子。它是对费米子玻色子概念的广义化。

物理学

石墨烯量子霍尔效应等二物理系统中任意子这个数学概念变得越来越有用。 在三维以上的空间里,粒子根据其统计特性的不同只能是费米子或者是玻色子。费米子遵从费米-狄拉克统计,玻色子遵从玻色-爱因斯坦统计。在量子力学中这些统计是根据多粒子状态下粒子交换的反应来描写的。使用狄拉克符号在两粒子状态中为:

其中中的第一项是第一个粒子的状态,第二项是第二个粒子的状态。因此公式的左侧的意思是“粒子一在状态和粒子二在状态”。加号相应于两个粒子都是玻色子,减号相应于两个粒子都是费米子(玻色子和费米子混合的状态是不可能的)。

1977年,奥斯陆大学的两名学者证明在二维系统中准粒子可以连续地遵循费米-狄拉克统计和玻色-爱因斯坦统计之间的任何统计。[1]使用上面两粒子系统的例子其公式为:

复数计算中的虚数单位是一个实数。假如我们获得费米-狄拉克统计(负号),假如我们获得玻色-爱因斯坦统计(正号)。在其间我们获得其它统计。任意子这个名称是弗朗克·韦尔切克起的[2],因为这些粒子在进行粒子交换的情况下可以有任意相。

我们也可以用,其中粒子的自旋量子数s对于玻色子而言是整数,对于费米子而言是半整数。因此:

,或者

在边界上,分数量子霍尔效应任意子被限制在一维空间中移动。一维任意子的数学模型提供了上述交换关系的基础。

拓扑学基础

在任何二维以上的空间里,自旋統計定理规定任何多粒子状态都必须要么遵循费米-狄拉克统计,要么遵循玻色-爱因斯坦统计。这与SO(n,1)基本群有关,其值为(有两个元素的循環群)。因此这里只有两个可能性(这里的细节比上述的要复杂,但是最关键的原因是这个)。

在二维空间里情况发生了变化,这里SO(2,1)的基本群是(无限循环)。这意味着Spin(2,1)不是通用覆盖:它们不是單連通。详细地说特殊正交群SO(2,1)射影表示不仅仅有SO(2,1)或者其二重覆盖群旋量群Spin(2,1)线性表示。而这些额外的表示被称为任意子。

这个概念对非相对论系统也有效。关键是空间旋量群是有无限基本群的SO(2)

这个事实也与紐結理論中著名的辫群有关。在二维中两个粒子的排列群不再是对称群,而是辫子群了。这样也可以来理解这个问题。

有一种考虑解决量子计算机中的稳定性问题的方法是使用任意子制成的拓扑量子计算机。这种计算机使用准粒子作为线程,使用辫理论来设计稳定的逻辑门[3][4]

参考资料

  1. ^ Leinaas, Jon Magne; Myrheim, Jan. On the theory of identical particles (PDF). Il Nuovo Cimento B. 1977-01-11, 37 (1): 1–23. Bibcode:1977NCimB..37....1L. doi:10.1007/BF02727953. 
  2. ^ Wilczek, Frank. Quantum Mechanics of Fractional-Spin Particles (PDF). Physical Review Letters. 4 October 1982, 49 (14): 957–959. Bibcode:1982PhRvL..49..957W. doi:10.1103/PhysRevLett.49.957. 
  3. ^ Freedman, Michael; Alexei Kitaev; Michael Larsen; Zhenghan Wang. Topological Quantum Computation. Bulletin of the American Mathematical Society. 2002-10-20, 40 (1): 31–38. arXiv:quant-ph/0101025可免费查阅. doi:10.1090/S0273-0979-02-00964-3. 
  4. ^ Monroe, Don. Anyons: The breakthrough quantum computing needs?. New Scientist. 1 October 2008, (2676). 

外部链接