余保民，郭志華

（1渭南師范學院 數學與信息科學學院，陜西 渭南 714000；2陜西師范大學 數學與信息科學學院，陜西 西安 710062）

絕熱定理的研究最早是由Ehrenfest提出，他用早期的量子理論研究了絕熱過程［1－4］，1928年，Born和Fock把它推廣到量子力學波動方程，用現代量子力學理論給出了其證明［5］，在文獻［6］中，作者用數學方法給出絕熱定理的嚴格證明.1984年，Berry在研究絕熱定理時發(fā)現了一個可被觀測的新的幾何相位［7］，引起了物理學界的極大興趣.文獻［8］用Hamiltonian隨時間的變化率對系統(tǒng)的“緩慢變化”定量刻畫，給出絕熱定理的更為精確的表述，并對Berry相位和 Wilczed-Zee算符的導出做了簡化.在文獻［9］中，作者把絕熱演化中的Beery相位推廣到包括非本征態(tài)的一般量子態(tài).迄今為止，關于絕熱定理的討論仍是一個研究的熱點［10－15］.基于絕熱逼近的方法，絕熱定理在物理學、化學等很多領域有廣泛的應用，例如分子物理中的Landau-Zener轉換［15］、量子場論［16］、幾何相位、絕熱量子計算及新的量子算法等［17－20］.本文根據文獻［21］中對絕熱逼近中“緩慢演化”＇充分條件的結果，證明滿足這一充分條件的量子態(tài)的存在性，并詳細討論這種單量子比特態(tài)的構造.

1 預備知識

比特（bit）是經典計算和經典信息的基本概念.量子計算中的基本單位是量子比特.正如經典比特有一個狀態(tài)0或1，量子比特也有一個狀態(tài)，量子比特的兩個可能狀態(tài)是

以上符號｜·〉稱為Dirac記號.〈·｜為｜·〉的共軛轉置.經典比特和量子比特的區(qū)別在于經典比特的狀態(tài)只能是0或1，而量子比特的狀態(tài)可以落在0和1之外，即它可以是狀態(tài)｜0〉與｜1〉的線性組合，通常稱之為疊加態(tài)（superposition），記為｜ψ〉＝α｜0〉＋β｜1〉，其中α和β是復數且｜α｜2＋｜β｜2＝1，即量子比特的狀態(tài)是二維復向量空間中的任意單位向量.特別地，｜0〉和｜1〉狀態(tài)稱為計算基態(tài)（computational basis state），是構成量子比特狀態(tài)空間的一組標準正交基.

根據量子力學中假設:任一孤立量子系統(tǒng)都由一個Hilbert空間來描述，稱之為系統(tǒng)狀態(tài)空間，系統(tǒng)完全由系統(tǒng)空間中的單位向量（稱為狀態(tài)向量）所描述.封閉量子系統(tǒng)的演化由Schr?dinger方程

作為量子力學中最古老的定理之一［1，6］，絕熱定理告訴我們:如果系統(tǒng)在某一時刻的狀態(tài)處于“緩慢演化”的Hamiltonian的瞬時本征態(tài)，那么在之后的演化時間中，系統(tǒng)的狀態(tài)仍然近似于這一本征態(tài)（相差一個相位因子）［7］.用數學的語言敘述，即對一個HamiltonianH（t）依賴于時間t的量子系統(tǒng)，用En（t）和｜En（t）〉分別表示H（t）的瞬時本征值和對應的瞬時本征態(tài).如果｜ψ（t）〉是Schr?dinger方程（1）在［0，T］的一個解，且｜ψ（0）〉＝｜En（0）〉，那么當H（t）在［0，T］內演化的足夠“緩慢”時，存在實值函數θn（t），使得｜ψ（t）〉＝eiθn（t）｜En（t）〉對任意的t∈ ［0，T］成立.

文獻［21］研究HamiltonianH（t）可以“緩慢演化”的充分條件時，證明了以下定理:

設｜ψ（t）〉為Schr?dinger方程（1）的解且滿足初始條件｜ψ（0）〉＝｜En（0）〉.如果

由此可知:如果

那么1－｜〈ψ（t）｜En（t）〉｜＜ε，?t∈ ［0，∞）.進而，系統(tǒng)（1）在任一時刻的狀態(tài)｜ψ（t）〉可以用本征態(tài)｜En（t）〉在整個時間區(qū)間［0，∞）上一致逼近，其誤差一致小于ε.這說明條件（3）是一致絕熱逼近的一個量化充分條件.本文討論滿足條件

的量子態(tài)｜f（t）〉的存在性及其結構，進而構造其本征態(tài)｜En（t）〉滿足（3）的 HamiltonianH（t）.

2 單量子比特態(tài)的情形

令｜f（t）〉是帶有參數t的單比特態(tài)（關于t的二維復向量值函數）.以下討論滿足條件（4）的單量子比特態(tài)的結構.

定理1 設｜f（t）〉＝ （eiα（t）sinx（t），eiβ（t）cosx（t））T是連續(xù)可微的單量子比特態(tài)，則（4）成立當且僅當

（?。?t≥0，有

證明 計算可知 ?t≥0，〈f（t）｜f′（t）〉＝i（α′（t）sin2x（t）＋β′（t）cos2x（t）），

令A（t）＝｜x′（t）cosx（t）＋iα′（t）sinx（t）｜2＋｜－x′（t）sinx（t）＋iβ′（t）cosx（t）｜2，則

必要性 設（4）成立.由〈f（t）｜f′（t）〉＝0（t∈ ［0，∞））知i（α′（t）sin2x（t）＋β′（t）cos2x（t））＝0（t∈ ［0，∞））.

當α′（t）＝β′（t）時，

當α′（t）≠β′（t）時，

所以（5）式成立.進一步，由（6）式得

從而有

推論1 ｜f（t）〉＝ （eiα（t）sinx（t），eiβ（t）cosx（t））T是連續(xù)可微的單量子比特態(tài)，則當｜x′（t）｜dt≥ε或時，（4）不成立.

定理2 設｜f（t）〉是連續(xù)可微的單量子比特態(tài)，則

（?。┊敚黤（t）〉與時間t無關時，｜f（t）〉一定滿足條件（4）式；

證明 （?。╋@然.

（ⅱ）當｜f（t）〉＝ （aeiα（t），beiβ（t））T時，計算可知｜f′（t）〉＝ （aα′（t）eiα（t），bβ′（t）eiβ（t））T，并有

再由（7）式知〈f（t）｜f′（t）〉＝i（a2α′（t）＋b2β′（t））＝0，因此，條件（4）成立.

（ⅲ）當｜f（t）〉＝ （eiαsinx（t），eiβcosx（t））T時，易 知 ｜f′（t）〉＝ （eiαx′（t）cosx（t），－eiβx′（t）sinx（t））T，〈f（t）｜f′（t）〉＝0（?t∈ ［0，∞））.這時

注1 定理1和定理2也給出了滿足（4）式的單量子比特態(tài)的具體結構形式.

3 n維系統(tǒng)的情形

證明 計算可知:?t≥0，有

對任意的t≥0，令

則由（8）知

由此可得

例1 設一個量子系統(tǒng)的HamiltonianH（t）具有如下形式:

滿足定理1的條件，進而滿足文獻［21］中HamiltonianH（t）可以“緩慢演化”的充分條件.

4 結語

［1］Griffiths D J.Introduction to quantum mechanics［M］.2nd ed.Upper Saddle River:Prentice Hall，Inc，1995.

［2］李華鐘.量子絕熱定理，思想和方法［J］.物理，2005，34（6），418-423.

［3］李華鐘.量子絕熱定理（Ⅱ）:近似和適用條件［J］.物理，2007，36（1）:26-31.

［4］曾謹言.量子物理學百年回顧［J］.物理，2003，32（10）:665-672.

［5］Born M，Fock V.Beweis des adiabatensatzes［J］.Zeitschrift für Physik，1928，51:165-180.

［6］Kato T.On the adiabatic theorem of quantum mechanics［J］.Journal of the Physical Society of Japan，1950，5:435-439.

［7］Berry M V.Quantal phase factors accompanying adiabatic changes［J］.Proceedings of the Royal Society of London.A.Mathematical and Physical Sciences，1984，392:45-57.

［8］李伯臧，吳建華.絕熱定理表述的改進以及Berry相位和 Wilczed-Zee算符導出的簡化［J］.物理學報，1995，44（1）:16-23.

［9］吳飆，劉杰.絕熱演化中的一般量子態(tài)的幾何相位［J］.物理，2005，34（12）:883-886.

［10］Guo chu，Duan qianheng，Chen pingxing.A new approcach to the quantum adiabatic condition［J］.Chinese Physics Letters，2012，29（10）:100301（1-4）.

［11］Rigolin G，Ortiz G.Adiabatic theorem for quantum systems with spectral degeneracy［J］.Physical Review A，2012，85:062111（1-4）.

［12］Viennot D，Leclerc A，Jolicard G emph，et al.Consistency between adiabatic and non-adiabatic geometric phases for non-self-adjoint Hamiltonians［J］.Journal of Physics A:Mathematical and Theoretical，2012，45:335301（1-8）.

［13］雷奕安，曾謹言.Berry相與AB相位的關系［J］.物理學報，1997，46（1）:19-21.

［14］曾謹言.有關A-B效應和相伴問題及量子絕熱定理成立條件［J］.大學物理，2006，25（8）:29-32.

［15］Wubs M，Saito K，Kohler S，et al.Gauging aquantum heat bath with dissipative Landau-Zener transitions［J］.Physical Review Letters，2006，97:200404（1-4）.

［16］Gell-Mann M，Low F.Bound states in quantum field theory［J］.Physical Review，1951，84:350-354.

［17］Farhi E，Goldstone J，Gutmann S，et al.A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem［J］.Science，2001，292:472-475.

［18］Siu M S.From quantum circuits to adiabatic algorithms［J］.Physical Review A，2005，71:062314-062320.

［19］鄭淮斌，仇旭，李永放.絕熱條件下二能級系統(tǒng)相干控制動態(tài)分析［J］.陜西師范大學學報:自然科學版，2007，35（4）:28-32.

［20］田巍，姚建永，王渭娜，等.胺基自由基絕熱電離能的理論計算研究［J］.陜西師范大學學報:自然科學版，2009，27（2）:60-63.

［21］Cao Huaixin，Guo Zhihua，Chen Zhangli，et al.Quantitative sufficient conditions for adiabatic approximation［J］.Science China:Physics，Mechanics ＆ Astronomy，2013，56（7）:1401-1407.