量子計(jì)算十講 主編 孫曉明 副主編 尚云 李綠周
定 價(jià):89 元
- 作者:主編 孫曉明 副主編 尚云 李綠周
- 出版時(shí)間:2024/3/1
- ISBN:9787111735168
- 出 版 社:機(jī)械工業(yè)出版社
- 中圖法分類:TP385
- 頁(yè)碼:
- 紙張:純質(zhì)紙
- 版次:
- 開(kāi)本:16開(kāi)
量子計(jì)算是當(dāng)前十分活躍的領(lǐng)域,代表了計(jì)算科學(xué)未來(lái)發(fā)展的重要方向。本書由國(guó)內(nèi)量子計(jì)算領(lǐng)域的9位知名專家學(xué)者共同撰寫,著眼前沿,以簡(jiǎn)明的文字和公式介紹了量子計(jì)算領(lǐng)域的基本理論以及重要方法和應(yīng)用,包括Shor素因數(shù)分解算法、Grover搜索算法、量子游走、量子通信等,幫助讀者全面了解量子計(jì)算的主要思想和研究成果。
本書適合量子計(jì)算及相關(guān)領(lǐng)域的科研人員、研究生閱讀,也適合從事相關(guān)工作的從業(yè)人員閱讀。
中國(guó)工程院院士鄭緯民作序
李國(guó)杰院士、陸汝黔院士 聯(lián)袂推薦
量子計(jì)算領(lǐng)域?qū)<覍W(xué)者攜手打造,系統(tǒng)構(gòu)建知識(shí)體系
綜述當(dāng)下領(lǐng)域前沿研究方向、理論與技術(shù)
以宏觀視野把握領(lǐng)域前沿,獲取領(lǐng)域底層邏輯
量子計(jì)算是一個(gè)跨越計(jì)算機(jī)科學(xué)、物理學(xué)、數(shù)學(xué)、材料科學(xué)等多學(xué)科的新興交叉研究領(lǐng)域,其利用物理學(xué)中量子疊加、量子糾纏、量子酉變換等量子力學(xué)特性來(lái)完成計(jì)算及信息處理任務(wù),通過(guò)設(shè)計(jì)高效的量子算法來(lái)降低完成計(jì)算任務(wù)所需的時(shí)間、空間或其他資源消耗,構(gòu)建新的計(jì)算體系范式,幫助提升計(jì)算效率和性能,有望從根本上解決計(jì)算中的一些困難問(wèn)題。量子計(jì)算并非經(jīng)典計(jì)算的單純加速版,而是一種全新的計(jì)算模型,其核心是如何借助量子力學(xué)的基本規(guī)律巧妙地設(shè)計(jì)量子算法來(lái)求解計(jì)算問(wèn)題,在信息科技飛速發(fā)展的今天,量子計(jì)算為解決日益凸顯的算力瓶頸問(wèn)題提供了新的可能方案。
本書從計(jì)算機(jī)專業(yè)角度出發(fā),較為全面和系統(tǒng)地介紹了量子計(jì)算所需的數(shù)學(xué)基礎(chǔ)、常用量子算法、量子復(fù)雜性理論和量子糾錯(cuò)原理。具體來(lái)說(shuō),第1講詳細(xì)介紹了量子計(jì)算的理論基礎(chǔ),包括量子計(jì)算中的基本數(shù)學(xué)概念、假設(shè)和符號(hào),為讀者閱讀后續(xù)章節(jié)提供了便利;第2講Shor素因數(shù)分解算法,介紹Shor提出的求解大整數(shù)素因數(shù)分解問(wèn)題的量子算法,該算法比當(dāng)前最好的經(jīng)典算法具有指數(shù)量級(jí)加速效果,充分展示了量子計(jì)算理論上的優(yōu)越性;第3講Grover搜索算法,系統(tǒng)介紹Grover提出的量子搜索算法相關(guān)內(nèi)容,包括算法步驟、正確性、復(fù)雜性分析、最優(yōu)性證明,以及Grover算法的進(jìn)一步擴(kuò)展和典型應(yīng)用;第4講線性方程組的量子求解算法,介紹兩類具有指數(shù)量級(jí)加速效果和一類具有多項(xiàng)式量級(jí)加速效果的求解線性方程組的量子算法;第5講和第6講量子游走基礎(chǔ)與應(yīng)用,集中講解量子游走算法,包括量子游走的各種模型及其之間的轉(zhuǎn)換關(guān)系、量子游走的通用性等,以及基于量子游走的算法和協(xié)議,如三角形搜索算法、多硬幣量子游走的通信理論和協(xié)議等;第7講量子計(jì)算復(fù)雜性,包括量子圖靈機(jī)與量子電路模型、量子多項(xiàng)式時(shí)間復(fù)雜性類BQP、量子交互式證明系統(tǒng)QIP等;第8講量子查詢復(fù)雜性模型,介紹在量子計(jì)算中普遍采用的量子查詢模型、幾個(gè)常見(jiàn)的量子查詢算法,以及兩種證明量子查詢復(fù)雜度下界的重要方法——多項(xiàng)式方法與對(duì)手法;第9講量子通信復(fù)雜性,介紹量子通信復(fù)雜性模型、高效通信協(xié)議、通信復(fù)雜度下界,并探討信息不完備與計(jì)算困難性之間的關(guān)系;第10講量子糾錯(cuò),介紹量子糾錯(cuò)基本原理、糾錯(cuò)碼構(gòu)造、容錯(cuò)量子計(jì)算和量子糾錯(cuò)的研究現(xiàn)狀。上述十講的每一部分內(nèi)容都保持相對(duì)獨(dú)立,各自構(gòu)成一個(gè)完整的章節(jié)體系,同時(shí)各講之間又緊密聯(lián)系,共同構(gòu)成一個(gè)有機(jī)整體。由于涉及多個(gè)不同的專題,本書對(duì)各專題領(lǐng)域內(nèi)的素材選取可能未能全面反映該專題的最新前沿進(jìn)展。但每一章節(jié)末尾均附有詳盡的參考文獻(xiàn)資料,以供有興趣的讀者進(jìn)一步深入鉆研。我們深知,任何一本書都無(wú)法完全涵蓋一個(gè)領(lǐng)域的全部知識(shí)或理論,仍有許多未知問(wèn)題有待挖掘。因此,我們希望本書能成為激發(fā)讀者對(duì)量子計(jì)算領(lǐng)域興趣與好奇心的火花,引導(dǎo)讀者勇敢探索和研究其中的未解難題。
本書由9位量子計(jì)算領(lǐng)域資深研究人員共同撰寫完成,具體分工如下:第1講由陜西師范大學(xué)席政軍教授撰寫,第2講由中國(guó)科學(xué)院計(jì)算技術(shù)研究所田國(guó)敬副研究員撰寫,第3講由中山大學(xué)李綠周教授撰寫,第4講由北京郵電大學(xué)高飛教授撰寫,第5講和第6講由中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院尚云研究員撰寫,第7講由清華大學(xué)季錚鋒教授撰寫,第8講由中國(guó)科學(xué)院計(jì)算技術(shù)研究所孫曉明研究員撰寫,第9講由南京大學(xué)姚鵬暉副教授撰寫,第10講由清華大學(xué)魏朝暉助理教授撰寫。孫曉明擔(dān)任本書主編,負(fù)責(zé)規(guī)劃本書的內(nèi)容結(jié)構(gòu)和召集、組織編寫組撰寫。他們均是量子計(jì)算領(lǐng)域的一線科研人員,擁有豐富的實(shí)踐經(jīng)驗(yàn)和深厚的科研背景,近年來(lái)承擔(dān)了多個(gè)與量子計(jì)算緊密相關(guān)的國(guó)家重大科研項(xiàng)目,取得了一系列重要科研成果,而且還常年致力于高校量子計(jì)算課程的教學(xué)工作,積累了豐富的教學(xué)經(jīng)驗(yàn),培養(yǎng)了一批優(yōu)秀的量子計(jì)算人才。
本書可作為高等院校計(jì)算機(jī)、數(shù)學(xué)、物理和信息安全等專業(yè)一年級(jí)研究生或高年級(jí)本科生學(xué)習(xí)量子計(jì)算的教材或參考書,總學(xué)時(shí)數(shù)建議為48~64學(xué)時(shí);也可根據(jù)所在專業(yè)的培養(yǎng)目標(biāo)和需求,選擇其中的部分章節(jié)進(jìn)行教學(xué),每一章建議的學(xué)時(shí)數(shù)為4~6學(xué)時(shí)。本書也可作為量子計(jì)算領(lǐng)域從業(yè)人員的參考書。
在此我們要向參與本書撰寫、審稿、校對(duì)等工作的專家學(xué)者致以誠(chéng)摯的感謝!感謝你們的專業(yè)精神和辛勤付出,為本書的質(zhì)量提供了堅(jiān)實(shí)的保障。同時(shí),也要感謝中國(guó)計(jì)算機(jī)學(xué)會(huì)(CCF)、CCF“計(jì)算機(jī)科學(xué)前沿叢書”編委會(huì)、理論計(jì)算機(jī)科學(xué)專委會(huì)和北京西西艾弗信息科技有限公司。感謝本書所有讀者的包容與理解,盡管我們已經(jīng)盡力確保內(nèi)容文字的準(zhǔn)確性,但書中難免仍存在小的紕漏,期待并歡迎您提出寶貴的意見(jiàn)和建議。最后,衷心希望這本書能夠?qū)δ兴鶈l(fā)和幫助,感謝您的閱讀!
全體作者
2023/12/31
孫曉明
中國(guó)科學(xué)院計(jì)算技術(shù)研究所研究員,量子計(jì)算與算法理論實(shí)驗(yàn)室主任,CCF理事, 理論計(jì)算機(jī)科學(xué)專委會(huì)主任。主要研究領(lǐng)域?yàn)樗惴ㄅc計(jì)算復(fù)雜性、量子計(jì)算等。獲國(guó)家杰出青年科學(xué)基金資助,曾獲王選杰出青年科學(xué)家獎(jiǎng)等。
尚云
中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員,博士生導(dǎo)師,CCF杰出會(huì)員,量子計(jì)算專 業(yè)委員會(huì)常委。長(zhǎng)期從事量子計(jì)算及其基礎(chǔ)理論、量子游走、量子機(jī)器學(xué)習(xí)的研究,已在高 水平期刊發(fā)表60多篇論文。曾獲中國(guó)計(jì)算機(jī)學(xué)會(huì)CCF科學(xué)技術(shù)獎(jiǎng)自然科學(xué)二等獎(jiǎng)、英國(guó)皇家物理學(xué)會(huì)IOP高被引獎(jiǎng),王寬誠(chéng)優(yōu)秀女科學(xué)家專項(xiàng)獎(jiǎng),陜西省優(yōu)秀博士論文等。
李綠周
中山大學(xué)計(jì)算機(jī)學(xué)院教授,量子計(jì)算與軟件研究所所長(zhǎng),CCF杰出會(huì)員,量子計(jì)算專委會(huì)副主任。長(zhǎng)期從事量子計(jì)算研究,主要研究興趣為量子算法、量子計(jì)算模型、量子電路編譯與優(yōu)化等,在國(guó)際主流學(xué)術(shù)期刊發(fā)表學(xué)術(shù)論文70余篇,出版學(xué)術(shù)專著1部。
叢書序
“十講”序
前言
第1講 量子計(jì)算理論基礎(chǔ)
1.1 量子計(jì)算的數(shù)學(xué)基礎(chǔ)/2
1.1.1 Hilbert空間及線性算子/2
1.1.2 隨機(jī)變量及其函數(shù)/8
1.2 量子力學(xué)的基礎(chǔ)/11
1.2.1 量子力學(xué)基本假設(shè)/11
1.2.2 密度算子上的度量/15
1.2.3 量子線路/17
1.3 本講小結(jié)/19
參考文獻(xiàn)/19
第2講 Shor素因數(shù)分解算法
2.1 量子傅里葉變換/22
2.2 相位估計(jì)/25
2.2.1 相位估計(jì)電路圖/26
2.2.2 相位估計(jì)精度分析/28
2.2.3 相位估計(jì)算法過(guò)程/30
2.3 量子求階算法/31
2.3.1 求階中用到的數(shù)論知識(shí)/31
2.3.2 求階問(wèn)題與量子算法/32
2.3.3 模冪運(yùn)算/34
2.3.4 連分式分解/35
2.3.5 求階量子算法及性能分析/36
2.4 Shor素因數(shù)分解算法詳解/38
2.4.1 算法過(guò)程/38
2.4.2 一個(gè)分解實(shí)例/40
2.5 Shor素因數(shù)分解算法的實(shí)驗(yàn)進(jìn)展/42
2.6 Shor素因數(shù)分解算法的經(jīng)典模擬/48
2.6.1 乘法器的構(gòu)造/50
2.6.2 帶模加法器的構(gòu)造/51
2.7 本講小結(jié)/53
參考文獻(xiàn)/54
第3講 Grover搜索算法
3.1 原始Grover算法/58
3.1.1 預(yù)備知識(shí)/58
3.1.2 算法描述與分析/60
3.1.3 目標(biāo)點(diǎn)個(gè)數(shù)未知的處理方法/64
3.1.4 最優(yōu)性證明/66
3.2 Grover算法的擴(kuò)展/70
3.2.1 精確量子搜索/70
3.2.2 魯棒量子搜索/74
3.2.3 量子計(jì)數(shù)/76
3.2.4 量子振幅放大/78
3.3 Grover算法的應(yīng)用/80
3.3.1 NP完全問(wèn)題加速求解/80
3.3.2 量子算法搜索最小值/82
3.3.3 其他問(wèn)題/84
3.4 本講小結(jié)/85
參考文獻(xiàn)/85
第4講 線性方程組的量子求解算法
4.1 HHL算法/89
4.1.1 量子模擬/89
4.1.2 算法假設(shè)/90
4.1.3 算法思想/91
4.1.4 算法步驟/91
4.1.5 復(fù)雜性分析/92
4.1.6 討論/94
4.2 CKS算法/97
4.2.1 算法思想/97
4.2.2 傅里葉方法/99
4.2.3 算法實(shí)現(xiàn)和復(fù)雜性分析/101
4.2.4 討論/103
4.3 量子奇異值估計(jì)算法和WZP算法/104
4.3.1 量子奇異值估計(jì)算法/104
4.3.2 WZP算法/110
4.3.3 討論/112
4.4 本講小結(jié)/112
參考文獻(xiàn)/113
第5講 量子游走基礎(chǔ)
5.1 量子游走模型/119
5.1.1 離散量子游走模型/119
5.1.2 連續(xù)量子游走模型/138
5.1.3 模型之間的轉(zhuǎn)化/139
5.2 基于量子游走的通用量子計(jì)算/141
5.2.1 基于連續(xù)量子游走的通用量子計(jì)算/141
5.2.2 基于離散量子游走的通用量子計(jì)算/145
5.3 本講小結(jié)/148
參考文獻(xiàn)/148
第6講 量子游走應(yīng)用
6.1 基于量子游走的算法/152
6.1.1 元素區(qū)分/152
6.1.2 三角形搜索/156
6.1.3 連續(xù)量子游走搜索算法/158
6.1.4 基于Markov鏈隨機(jī)游走的量子化/160
6.1.5 mixing time/170
6.2 基于多硬幣量子游走的通信協(xié)議/171
6.2.1 基于量子游走的隱形傳輸框架/171
6.2.2 基于兩硬幣量子游走的完美狀態(tài)轉(zhuǎn)移/177
6.2.3 基于多硬幣量子游走的高維糾纏態(tài)的生成/181
6.3 本講小結(jié)/187
參考文獻(xiàn)/187
第7講 量子計(jì)算復(fù)雜性
7.1 量子圖靈機(jī)與量子電路/192
7.1.1 量子圖靈機(jī)/192
7.1.2 量子電路/193
7.1.3 量子圖靈機(jī)與量子電路的等價(jià)性/194
7.2 量子多項(xiàng)式時(shí)間復(fù)雜性類/197
7.2.1 量子多項(xiàng)式時(shí)間類的性質(zhì)/197
7.2.2 量子計(jì)算與計(jì)數(shù)復(fù)雜性/199
7.3 量子梅林亞瑟與哈密頓量復(fù)雜性/203
7.3.1 量子梅林亞瑟的定義/203
7.3.2 量子Cook-Levin定理/204
7.3.3 強(qiáng)完備性可靠性間隙放大定理/208
7.3.4 量子梅林亞瑟的上界/210
7.3.5 關(guān)于QMA及其相關(guān)復(fù)雜性類的討論/212
7.4 量子交互證明系統(tǒng)/213
7.4.1 單證明人量子交互證明系統(tǒng)/213
7.4.2 量子交互證明系統(tǒng)的并行化/216
7.4.3 多證明人量子交互證明系統(tǒng)與貝爾不等式的復(fù)雜性問(wèn)題/219
7.5 其他問(wèn)題/229
7.6 本講小結(jié)/231
參考文獻(xiàn)/232
第8講 量子查詢復(fù)雜性模型
8.1 經(jīng)典查詢復(fù)雜性與量子查詢復(fù)雜性/240
8.1.1 經(jīng)典查詢復(fù)雜性模型/240
8.1.2 量子查詢復(fù)雜性模型/242
8.2 常見(jiàn)量子查詢算法/243
8.2.1 Deutsch-Jozsa問(wèn)題/243
8.2.2 Grover搜索/246
8.2.3 權(quán)重判定問(wèn)題/247
8.2.4 碰撞問(wèn)題/250
8.3 證明量子查詢復(fù)雜性下界的多項(xiàng)式方法/252
8.3.1 布爾函數(shù)的精確/近似多項(xiàng)式表示/252
8.3.2 量子查詢復(fù)雜性與近似多項(xiàng)式次數(shù)/253
8.3.3 無(wú)結(jié)構(gòu)搜索問(wèn)題的量子查詢復(fù)雜性下界/258
8.4 證明量子查詢復(fù)雜性下界的對(duì)手方法/261
8.4.1 原始量子對(duì)手方法/261
8.4.2 AND-OR樹(shù)的量子查詢復(fù)雜性下界/266
8.4.3 通用量子對(duì)手方法/268
8.5 本講小結(jié)/271
參考文獻(xiàn)/271
第9講 量子通信復(fù)雜性
9.1 通信復(fù)雜性模型/276
9.2 量子通信復(fù)雜性模型/279
9.3 高效量子通信協(xié)議/280
9.4 量子通信復(fù)雜性下界/283
9.4.1 基于矩陣分析方法的量子通信復(fù)雜性下界/283
9.4.2 基于量子信息論方法的量子通信復(fù)雜性下界/286
9.4.3 通信復(fù)