%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Preface) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Hilbert space refresher) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Hilbert spaces) endobj 17 0 obj << /S /GoTo /D (subsubsection.2.1.1) >> endobj 20 0 obj (Definition and examples) endobj 21 0 obj << /S /GoTo /D (subsubsection.2.1.2) >> endobj 24 0 obj (Basic properties) endobj 25 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 28 0 obj (Operators on Hilbert spaces) endobj 29 0 obj << /S /GoTo /D (subsubsection.2.2.1) >> endobj 32 0 obj (C-algebra of bounded operators) endobj 33 0 obj << /S /GoTo /D (subsubsection.2.2.2) >> endobj 36 0 obj (Partially ordered vector space of selfadjoint operators) endobj 37 0 obj << /S /GoTo /D (subsubsection.2.2.3) >> endobj 40 0 obj (Group of unitary operators) endobj 41 0 obj << /S /GoTo /D (subsubsection.2.2.4) >> endobj 44 0 obj (Orthocomplemented poset of projections) endobj 45 0 obj << /S /GoTo /D (subsubsection.2.2.5) >> endobj 48 0 obj (Ideal of trace class operators) endobj 49 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 52 0 obj (Also these are needed) endobj 53 0 obj << /S /GoTo /D (subsubsection.2.3.1) >> endobj 56 0 obj (Weak operator topology) endobj 57 0 obj << /S /GoTo /D (subsubsection.2.3.2) >> endobj 60 0 obj (Dirac notation) endobj 61 0 obj << /S /GoTo /D (subsubsection.2.3.3) >> endobj 64 0 obj (Linear functionals and dual spaces) endobj 65 0 obj << /S /GoTo /D (subsubsection.2.3.4) >> endobj 68 0 obj (Tensor product) endobj 69 0 obj << /S /GoTo /D (section.3) >> endobj 72 0 obj (States and effects) endobj 73 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 76 0 obj (Duality of states and effects) endobj 77 0 obj << /S /GoTo /D (subsubsection.3.1.1) >> endobj 80 0 obj (Basic framework) endobj 81 0 obj << /S /GoTo /D (subsubsection.3.1.2) >> endobj 84 0 obj (Quantum state space) endobj 85 0 obj << /S /GoTo /D (subsubsection.3.1.3) >> endobj 88 0 obj (Quantum state space for a finite dimensional system) endobj 89 0 obj << /S /GoTo /D (subsubsection.3.1.4) >> endobj 92 0 obj (From states to effects) endobj 93 0 obj << /S /GoTo /D (subsubsection.3.1.5) >> endobj 96 0 obj (From effects to states) endobj 97 0 obj << /S /GoTo /D (subsubsection.3.1.6) >> endobj 100 0 obj (Gleason's Theorem) endobj 101 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 104 0 obj (Superposition structure of pure states) endobj 105 0 obj << /S /GoTo /D (subsubsection.3.2.1) >> endobj 108 0 obj (Superposition of two pure states) endobj 109 0 obj << /S /GoTo /D (subsubsection.3.2.2) >> endobj 112 0 obj (Interference) endobj 113 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 116 0 obj (Automorphism groups) endobj 117 0 obj << /S /GoTo /D (subsubsection.3.3.1) >> endobj 120 0 obj (State automorphisms) endobj 121 0 obj << /S /GoTo /D (subsubsection.3.3.2) >> endobj 124 0 obj (Pure state automorphisms) endobj 125 0 obj << /S /GoTo /D (subsubsection.3.3.3) >> endobj 128 0 obj (Effect automorphisms) endobj 129 0 obj << /S /GoTo /D (subsubsection.3.3.4) >> endobj 132 0 obj (Wigner's Theorem) endobj 133 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 136 0 obj (Composite systems) endobj 137 0 obj << /S /GoTo /D (subsubsection.3.4.1) >> endobj 140 0 obj (System vs. subsystems) endobj 141 0 obj << /S /GoTo /D (subsubsection.3.4.2) >> endobj 144 0 obj (State purification) endobj 145 0 obj << /S /GoTo /D (section.4) >> endobj 148 0 obj (Observables) endobj 149 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 152 0 obj (Observables as positive operator valued measures) endobj 153 0 obj << /S /GoTo /D (subsubsection.4.1.1) >> endobj 156 0 obj (Definition and basic properties) endobj 157 0 obj << /S /GoTo /D (subsubsection.4.1.2) >> endobj 160 0 obj (Discrete observables) endobj 161 0 obj << /S /GoTo /D (subsubsection.4.1.3) >> endobj 164 0 obj (Real observables) endobj 165 0 obj << /S /GoTo /D (subsubsection.4.1.4) >> endobj 168 0 obj (Mixtures of observables) endobj 169 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 172 0 obj (Sharp observables) endobj 173 0 obj << /S /GoTo /D (subsubsection.4.2.1) >> endobj 176 0 obj (Definition and basic properties) endobj 177 0 obj << /S /GoTo /D (subsubsection.4.2.2) >> endobj 180 0 obj (Sharp observables and selfadjoint operators) endobj 181 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 184 0 obj (Informationally complete observables) endobj 185 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 188 0 obj (Identification of quantum states) endobj 189 0 obj << /S /GoTo /D (subsubsection.4.4.1) >> endobj 192 0 obj (Unambiguous discrimination of pure states) endobj 193 0 obj << /S /GoTo /D (subsubsection.4.4.2) >> endobj 196 0 obj (How close are two states?) endobj 197 0 obj << /S /GoTo /D (subsubsection.4.4.3) >> endobj 200 0 obj (Minimum-error state discrimination and the trace distance) endobj 201 0 obj << /S /GoTo /D (subsubsection.4.4.4) >> endobj 204 0 obj (Fidelity) endobj 205 0 obj << /S /GoTo /D (subsection.4.5) >> endobj 208 0 obj (Relations between observables) endobj 209 0 obj << /S /GoTo /D (subsubsection.4.5.1) >> endobj 212 0 obj (State distinction and determination) endobj 213 0 obj << /S /GoTo /D (subsubsection.4.5.2) >> endobj 216 0 obj (Coarse-graining) endobj 217 0 obj << /S /GoTo /D (subsection.4.6) >> endobj 220 0 obj (Example: photon counting observables) endobj 221 0 obj << /S /GoTo /D (subsubsection.4.6.1) >> endobj 224 0 obj (Single mode electromagnetic field and number observable) endobj 225 0 obj << /S /GoTo /D (subsubsection.4.6.2) >> endobj 228 0 obj (Non-ideal photon counting observables) endobj 229 0 obj << /S /GoTo /D (section.5) >> endobj 232 0 obj (Operations and channels) endobj 233 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 236 0 obj (Operations and complete positivity ) endobj 237 0 obj << /S /GoTo /D (subsubsection.5.1.1) >> endobj 240 0 obj (Definition and basic properties) endobj 241 0 obj << /S /GoTo /D (subsubsection.5.1.2) >> endobj 244 0 obj (Schrodinger vs. Heisenberg picture) endobj 245 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 248 0 obj (Physical model of quantum channels) endobj 249 0 obj << /S /GoTo /D (subsubsection.5.2.1) >> endobj 252 0 obj (Isolated vs. open systems) endobj 253 0 obj << /S /GoTo /D (subsubsection.5.2.2) >> endobj 256 0 obj (Stinespring's dilation theorem) endobj 257 0 obj << /S /GoTo /D (subsubsection.5.2.3) >> endobj 260 0 obj (Operator sum decomposition of quantum channels) endobj 261 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 264 0 obj (Elementary properties of quantum channels) endobj 265 0 obj << /S /GoTo /D (subsubsection.5.3.1) >> endobj 268 0 obj (Convexity) endobj 269 0 obj << /S /GoTo /D (subsubsection.5.3.2) >> endobj 272 0 obj (Distances and channels) endobj 273 0 obj << /S /GoTo /D (subsubsection.5.3.3) >> endobj 276 0 obj (Conjugate channels) endobj 277 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 280 0 obj (Parametrizations of quantum channels) endobj 281 0 obj << /S /GoTo /D (subsubsection.5.4.1) >> endobj 284 0 obj (Matrix representation) endobj 285 0 obj << /S /GoTo /D (subsubsection.5.4.2) >> endobj 288 0 obj (-matrix representation) endobj 289 0 obj << /S /GoTo /D (subsubsection.5.4.3) >> endobj 292 0 obj (Choi-Jamiolkowski isomorphism) endobj 293 0 obj << /S /GoTo /D (subsection.5.5) >> endobj 296 0 obj (Classes of channels) endobj 297 0 obj << /S /GoTo /D (subsubsection.5.5.1) >> endobj 300 0 obj (Strictly contractive channels) endobj 301 0 obj << /S /GoTo /D (subsubsection.5.5.2) >> endobj 304 0 obj (Random unitary channels) endobj 305 0 obj << /S /GoTo /D (subsubsection.5.5.3) >> endobj 308 0 obj (Pure decoherence channels) endobj 309 0 obj << /S /GoTo /D (subsection.5.6) >> endobj 312 0 obj (Example: qubit channels) endobj 313 0 obj << /S /GoTo /D (subsubsection.5.6.1) >> endobj 316 0 obj (Complete positivity constraints) endobj 317 0 obj << /S /GoTo /D (subsubsection.5.6.2) >> endobj 320 0 obj (Unital channels) endobj 321 0 obj << /S /GoTo /D (section.6) >> endobj 324 0 obj (Measurement models and instruments) endobj 325 0 obj << /S /GoTo /D (subsection.6.1) >> endobj 328 0 obj (Measurement models) endobj 329 0 obj << /S /GoTo /D (subsubsection.6.1.1) >> endobj 332 0 obj (Definition) endobj 333 0 obj << /S /GoTo /D (subsubsection.6.1.2) >> endobj 336 0 obj (Normal measurement models) endobj 337 0 obj << /S /GoTo /D (subsection.6.2) >> endobj 340 0 obj (Instruments) endobj 341 0 obj << /S /GoTo /D (subsubsection.6.2.1) >> endobj 344 0 obj (Definition and Ozawa's Theorem) endobj 345 0 obj << /S /GoTo /D (subsubsection.6.2.2) >> endobj 348 0 obj (A-compatibility) endobj 349 0 obj << /S /GoTo /D (subsubsection.6.2.3) >> endobj 352 0 obj (Conditional output states) endobj 353 0 obj << /S /GoTo /D (subsection.6.3) >> endobj 356 0 obj (Disturbance caused by a measurement) endobj 357 0 obj << /S /GoTo /D (subsubsection.6.3.1) >> endobj 360 0 obj (No information without disturbance) endobj 361 0 obj << /S /GoTo /D (subsubsection.6.3.2) >> endobj 364 0 obj (BB84 quantum key distribution) endobj 365 0 obj << /S /GoTo /D (subsection.6.4) >> endobj 368 0 obj (Repeatable measurements) endobj 369 0 obj << /S /GoTo /D (subsubsection.6.4.1) >> endobj 372 0 obj (Repeatability) endobj 373 0 obj << /S /GoTo /D (subsubsection.6.4.2) >> endobj 376 0 obj (Approximate repeatability) endobj 377 0 obj << /S /GoTo /D (subsection.6.5) >> endobj 380 0 obj (L\374ders measurements) endobj 381 0 obj << /S /GoTo /D (subsubsection.6.5.1) >> endobj 384 0 obj (Sharp L\374ders measurement and ideality) endobj 385 0 obj << /S /GoTo /D (subsubsection.6.5.2) >> endobj 388 0 obj (L\374ders theorem) endobj 389 0 obj << /S /GoTo /D (subsubsection.6.5.3) >> endobj 392 0 obj (Example: mean king problem) endobj 393 0 obj << /S /GoTo /D (subsection.6.6) >> endobj 396 0 obj (Programmable quantum processors) endobj 397 0 obj << /S /GoTo /D (subsubsection.6.6.1) >> endobj 400 0 obj (Programs and processors) endobj 401 0 obj << /S /GoTo /D (subsubsection.6.6.2) >> endobj 404 0 obj (Programming channels) endobj 405 0 obj << /S /GoTo /D (subsubsection.6.6.3) >> endobj 408 0 obj (Programming channels imperfectly) endobj 409 0 obj << /S /GoTo /D (subsubsection.6.6.4) >> endobj 412 0 obj (Programming observables) endobj 413 0 obj << /S /GoTo /D (section.7) >> endobj 416 0 obj (Entanglement) endobj 417 0 obj << /S /GoTo /D (subsection.7.1) >> endobj 420 0 obj (Composite bipartite systems) endobj 421 0 obj << /S /GoTo /D (subsubsection.7.1.1) >> endobj 424 0 obj (Vectors) endobj 425 0 obj << /S /GoTo /D (subsubsection.7.1.2) >> endobj 428 0 obj (Positive operators) endobj 429 0 obj << /S /GoTo /D (subsubsection.7.1.3) >> endobj 432 0 obj (Operations and channels) endobj 433 0 obj << /S /GoTo /D (subsection.7.2) >> endobj 436 0 obj (Entanglement vs LOCC) endobj 437 0 obj << /S /GoTo /D (subsection.7.3) >> endobj 440 0 obj (Entanglement detection) endobj 441 0 obj << /S /GoTo /D (subsubsection.7.3.1) >> endobj 444 0 obj (Entanglement detection via linear operators) endobj 445 0 obj << /S /GoTo /D (subsubsection.7.3.2) >> endobj 448 0 obj (Entanglement via not completely positive linear maps) endobj 449 0 obj << /S /GoTo /D (subsubsection.7.3.3) >> endobj 452 0 obj (Entanglement distillation) endobj 453 0 obj << /S /GoTo /D (subsection.7.4) >> endobj 456 0 obj (Example: Werner states) endobj 457 0 obj << /S /GoTo /D (equation.7.59) >> endobj 460 0 obj (Acknowledgment) endobj 461 0 obj << /S /GoTo /D (section*.3) >> endobj 464 0 obj (Appendix A: Mathematical preliminaries) endobj 465 0 obj << /S /GoTo /D (section*.4) >> endobj 468 0 obj (Relations) endobj 469 0 obj << /S /GoTo /D (section*.8) >> endobj 472 0 obj (Convex sets) endobj 473 0 obj << /S /GoTo /D (section*.9) >> endobj 476 0 obj (Convex functions) endobj 477 0 obj << /S /GoTo /D (section*.10) >> endobj 480 0 obj (Appendix B: List of Symbols) endobj 481 0 obj << /S /GoTo /D (section*.11) >> endobj 484 0 obj (List of Hilbert space operators) endobj 485 0 obj << /S /GoTo /D (section*.12) >> endobj 488 0 obj (List of channels and operations) endobj 489 0 obj << /S /GoTo /D (section*.12) >> endobj 491 0 obj (References) endobj 492 0 obj << /S /GoTo /D [493 0 R /FitV ] >> endobj 495 0 obj << /Length 2118 /Filter /FlateDecode >> stream xڥX[s۶~#9NOuIO'2h8Hϯ.)NL3&]. 'Br&\HuʔrQb DQN2&3pɜrLkmˬèJHfQ^yHã&&z",t&<ˇE?k,NA=7aARCJK#8*Yt>t=$.sZnZ 39x 0f\Fhe{uwqQ2mHt(l H&3 <}S J8p!?~~<[E4~wg&Z /&/o>,hvϱwAO2ѯI2a3R2)2Tpg2*/1 :7Li2YÎfJ@KC&,F oPj8˸;R7 3pdXXvJ_weҸyML{A*ώʶ X~9o8BӪ"fւQ9f,̀ɔ}.:գTt5jpi)Y[FNb|A9N1ғ[øs g gOeWm b]4~h!Î&okX}!zwXF1Z.U;˂*뢄?F3J$Xf$ǸR i'%9 mK(ϣ@ WƊeCȂkN!hC>w[R]u/s&5dY