量子信息論 The Theory of Quantum Information

John Watrous

買這商品的人也買了...

商品描述

過去二十年,經過量子物理學家、電腦科學家和數學家的思想碰撞,量子信息科學發展出極其迷人的生命力,
反過來對其他傳統學科產生了很大的沖擊,引領世界進入第二次量子科技革命。
本書作者是量子信息科學的先驅之一。
書中內容涵蓋本學科的主要思想,是這個領域的入門寶典。
通過這本書,讀者將深刻掌握量子信息科學的要點。
—— 翁文康,華為量子計算軟件與算法首席科學家
本書不僅是對量子信息論的優雅概述,而且清晰闡釋了其推理背後的重要技術。
書中涵蓋表示論、半定規劃、測度集中以及其他主流工具,呈現了該領域的關鍵元素。
這些技能將幫助讀者武裝頭腦,為前沿研究貢獻智慧。
—— Patrick Hayden,斯坦福大學

本書是關於量子信息的數學理論書籍,主要討論量子信息論中基礎理論的精確數學表示和證明。
它是為數學、電腦科學和理論物理方向的研究人員和高校研究生所設計的,
可幫助他們全面理解這一領域的關鍵結論、證明技術和方法論,進而將其應用到不同的研究方向。
本書要求讀者對基礎數學知識有一定的理解,包括線性代數、概率論、泛函分析和測度論。
書中首先給出必要的數學預備知識,在此基礎上,對所有結論均給出了清晰和完整的證明。
此外,書中還配備了一些有挑戰性的練習,目的是幫助讀者提升技能,逐步加深對量子信息論的理解。

作者簡介

John Watrous

 

滑铁卢大学计算机科学学院教授,量子计算研究所成员。他是加拿大高等研究院(CIFAR)研究员,以及圆周理论物理研究所成员。

他的主要研究方向是量子信息与计算,目前的研究重点是量子信息理论及其在算法、复杂性理论和密码学中的应用。

目錄大綱

出版者的話
譯者序
前言
符號說明
第 1 章 數學基礎 . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 線性代數. . . . . . . . . . . . . . . . . . . . . . . . .1
1.1.1 復歐幾里得空間 . . . . . . . . . . . . . . 1
1.1.2 線性算子 . . . . . . . . . . . . . . . . . . . . 6
1.1.3 算子的分解與範數. . . . . . . . . . .20
1.2 分析、凸性和概率論 . . . . . . . . . . . . 28
1.2.1 分析和凸性 . . . . . . . . . . . . . . . . . 28
1.2.2 概率論 . . . . . . . . . . . . . . . . . . . . . 38
1.2.3 半定規劃 . . . . . . . . . . . . . . . . . . . 43
1.3 推薦參考資料. . . . . . . . . . . . . . . . . . .46
第 2 章 量子信息基本概念 . . . . . . . . . . . . . 47
2.1 寄存器與態 . . . . . . . . . . . . . . . . . . . . . 47
2.1.1 寄存器與經典態的集合 . . . . . . 47
2.1.2 寄存器的量子態. . . . . . . . . . . . .49
2.1.3 量子態的約化與純化 . . . . . . . . 54
2.2 量子通道 . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.1 通道的定義與基本概念 . . . . . . 58
2.2.2 通道的表示與特徵. . . . . . . . . . .61
2.2.3 通道與其他映射的例子 . . . . . . 72
2.2.4 極點通道 . . . . . . . . . . . . . . . . . . . 76
2.3 測量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
2.3.1 測量的兩種定義. . . . . . . . . . . . .80
2.3.2 測量的基本概念. . . . . . . . . . . . .83
2.3.3 極點測量與系綜. . . . . . . . . . . . .89
2.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
2.5 參考書目註釋. . . . . . . . . . . . . . . . . . .96
第 3 章 態與通道間的相似性及距離 . . . . 98
3.1 量子態區分 . . . . . . . . . . . . . . . . . . . . . 98
3.1.1 區分一對量子態. . . . . . . . . . . . .98
3.1.2 區分系綜的量子態 . . . . . . . . . 104
3.2 保真度函數 . . . . . . . . . . . . . . . . . . . . 109
3.2.1 保真度函數的基本性質 . . . . . 110
3.2.2 保真度函數的特徵 . . . . . . . . . 113
3.2.3 保真度函數的其他性質 . . . . . 122
3.3 通道距離與區分 . . . . . . . . . . . . . . . 130
3.3.1 通道區分 . . . . . . . . . . . . . . . . . . 130
3.3.2 完全有界跡範數 . . . . . . . . . . . 132
3.3.3 通道間的距離. . . . . . . . . . . . . .139
3.3.4 完全有界跡範數的特徵 . . . . . 147
3.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
3.5 參考書目註釋. . . . . . . . . . . . . . . . . .158
第 4 章 保幺通道與優超. . . . . . . . . . . . . . .161
4.1 保幺通道的分類 . . . . . . . . . . . . . . . 161
4.1.1 混合酉通道. . . . . . . . . . . . . . . .161
4.1.2 Weyl 協變通道 . . . . . . . . . . . . 170
4.1.3 Schur 通道 . . . . . . . . . . . . . . . . 176
4.2 保幺通道的普遍性質 . . . . . . . . . . 179
4.2.1 保幺通道集合的極點 . . . . . . . 179
4.2.2 保幺通道的不動點、譜和模 . . . . . . . . . . . . . . . . . . . . . .184
4.3 優超 . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
4.3.1 實向量的優超. . . . . . . . . . . . . .188
4.3.2 Hermite 算子的優超. . . . . . . .194
4.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
4.5 參考書目註釋. . . . . . . . . . . . . . . . . .200
第 5 章 量子熵與信源編碼 . . . . . . . . . . . . 202
5.1 經典熵 . . . . . . . . . . . . . . . . . . . . . . . . . 202
5.1.1 經典熵函數的定義 . . . . . . . . . 202
5.1.2 經典熵函數的性質 . . . . . . . . . 204
5.2 量子熵 . . . . . . . . . . . . . . . . . . . . . . . . . 214
5.2.1 量子熵函數的定義 . . . . . . . . . 214
5.2.2 量子熵函數的基本性質 . . . . . 215
5.2.3 量子相對熵的聯合凸性 . . . . . 222
5.3 信源編碼 . . . . . . . . . . . . . . . . . . . . . . 228
5.3.1 經典信源編碼. . . . . . . . . . . . . .229
5.3.2 量子信源編碼. . . . . . . . . . . . . .232
5.3.3 在量子態上編碼經典信息 . . . 236
5.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
5.5 參考書目註釋. . . . . . . . . . . . . . . . . .247
第 6 章 二分糾纏 . . . . . . . . . . . . . . . . . . . . . . 249
6.1 可分性 . . . . . . . . . . . . . . . . . . . . . . . . . 249
6.1.1 可分算子與可分態 . . . . . . . . . 249
6.1.2 可分映射與 LOCC 範式 . . . . 261
6.1.3 可分測量與 LOCC 測量 . . . . 268
6.2 關於糾纏的操作 . . . . . . . . . . . . . . . 273
6.2.1 糾纏變換 . . . . . . . . . . . . . . . . . . 273
6.2.2 可提取糾纏和糾纏費用 . . . . . 279
6.2.3 束縛糾纏和部分轉置 . . . . . . . 284
6.3 與糾纏有關的現象 . . . . . . . . . . . . . 290
6.3.1 傳態和密集編碼 . . . . . . . . . . . 290
6.3.2 非經典關聯. . . . . . . . . . . . . . . .300
6.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
6.5 參考書目註釋. . . . . . . . . . . . . . . . . .313
第 7 章 置換不變性和酉不變測度 . . . . . 316
7.1 置換不變的向量和算子 . . . . . . . . 316
7.1.1 置換不變向量的子空間 . . . . . 316
7.1.2 置換不變算子的代數 . . . . . . . 324
7.2 酉不變概率測度 . . . . . . . . . . . . . . . 332
7.2.1 均勻球測度和 Haar 測度 . . . 332
7.2.2 酉不變測度的應用 . . . . . . . . . 342
7.3 測度集中及其應用 . . . . . . . . . . . . . 349
7.3.1 L.evy 引理和 Dvoretzky定理 . . . . . . . . . . . . . . . . . . . . . .349
7.3.2 測度集中的應用 . . . . . . . . . . . 364
7.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
7.5 參考書目註釋. . . . . . . . . . . . . . . . . .376
第 8 章 量子通道容量 . . . . . . . . . . . . . . . . . 379
8.1 量子通道上的經典信息 . . . . . . . . 379
8.1.1 量子通道的經典容量 . . . . . . . 379
8.1.2 Holevo-Schumacher- Westmoreland 定理 . . . . . . . . 388
8.1.3 有糾纏協助的經典容量定理 . . . . . . . . . . . . . . . . . . . . . .402
8.2 量子通道上的量子信息 . . . . . . . . 418
8.2.1 量子容量與相關概念的定義 . . . . . . . . . . . . . . . . . . . . . .418
8.2.2 量子容量定理. . . . . . . . . . . . . .425
8.3 非可加性和超激發 . . . . . . . . . . . . . 440
8.3.1 Holevo 容量的非可加性. . . . .441
8.3.2 量子通道容量的超激發 . . . . . 446
8.4 習題 . . . . . . . . . . . . . . . . . . . . . . . . . . . 455
8.5 參考書目註釋. . . . . . . . . . . . . . . . . .457
參考文獻 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459