pith. sign in

arxiv: 2506.19369 · v2 · submitted 2025-06-24 · 🪐 quant-ph

Gottesman-Knill Limit on One-way Communication Complexity: Tracing the Quantum Advantage down to Magic Resources

Pith reviewed 2026-05-19 08:25 UTC · model grok-4.3

classification 🪐 quant-ph
keywords one-way communication complexityGottesman-Knill theoremmagic statesstabilizer statesClifford operationsquantum advantageprime dimension
0
0 comments X

The pith

Stabilizer-state encodings and Clifford decodings in prime-dimensional one-way quantum communication can be exactly simulated by classical systems of the same dimension with shared randomness.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that any one-way communication protocol using prime-dimensional quantum systems, when limited to stabilizer-state encodings and Clifford-operation decodings, can be perfectly matched by sending a classical system of equal size if the parties share randomness. This directly parallels the Gottesman-Knill theorem by pinning the source of any quantum advantage to non-stabilizer resources known as magic. The work further exhibits concrete tasks in which even a minimal amount of magic produces a strict improvement over the classical simulation. A sympathetic reader sees this as a precise boundary on where quantum effects matter for communication efficiency.

Core claim

Any one-way communication protocol implemented using a prime-dimensional quantum system restricted to stabilizer-state encodings and Clifford-operation decodings can be exactly simulated by transmitting a classical system of the same dimension, given access to shared randomness between the sender and receiver. In direct analogy with the Gottesman-Knill theorem, this identifies the same non-stabilizer resources, commonly known as the magic resources, as the essential ingredient for the quantum advantage in one-way communication complexity. Explicit tasks are presented where even a minimal magic resource suffices to achieve a provable quantum advantage.

What carries the argument

The exact simulation equivalence that reduces restricted quantum one-way protocols to classical transmission plus shared randomness, isolating magic resources as the carrier of any remaining advantage.

If this is right

  • Quantum advantage in these one-way tasks must come from non-stabilizer states or non-Clifford operations.
  • Minimal magic resources are already enough to produce strict separation from the classical simulation in some explicit tasks.
  • The equivalence applies only in prime dimensions and relies on the availability of shared randomness.
  • Any extension beyond stabilizer encodings or Clifford decodings falls outside the simulation guarantee.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same resource distinction may help classify which communication problems admit efficient quantum solutions and which remain hard even with quantum resources.
  • Results of this form suggest that magic-state distillation techniques developed for computation could be repurposed to improve communication efficiency.
  • It would be natural to test whether the classical simulation still works when the shared randomness is replaced by weaker correlation resources.

Load-bearing premise

The protocols are limited to stabilizer-state encodings and Clifford-operation decodings, so the classical simulation holds only under this restriction.

What would settle it

A concrete one-way communication task in which a stabilizer Clifford quantum protocol in prime dimension beats every classical protocol of the same dimension that uses shared randomness would falsify the central claim.

read the original abstract

Quantum systems are known to offer advantages over their classical counterpart in communication complexity protocols, where the aim is to minimize the amount of information exchange between distant parties to compute global functions of their distributed inputs. In this work, we establish that any one-way communication protocol implemented using a prime-dimensional quantum system -- restricted to stabilizer-state encodings and Clifford-operation decodings -- can be exactly simulated by transmitting a classical system of the same dimension, given access to shared randomness between the sender and receiver. In direct analogy with the Gottesman-Knill theorem, which attributes quantum computational speedup to non-stabilizer resources, commonly known as the magic resources, our result identifies the same non-stabilizer resources as the essential ingredient for the quantum advantage in one-way communication complexity. Furthermore, we present explicit tasks where even a 'minimal magic resource' suffices to achieve a provable quantum advantage, highlighting its efficient use in communication protocols.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes that any one-way communication protocol in a prime-dimensional quantum system, when restricted to stabilizer-state encodings at the sender and Clifford-operation decodings at the receiver, can be exactly simulated by a classical system of the same dimension with access to shared randomness. This is framed as a direct analogue of the Gottesman-Knill theorem, identifying non-stabilizer ('magic') resources as the origin of any quantum advantage in this setting. The authors further exhibit explicit communication tasks in which even a minimal amount of magic suffices to produce a provable separation from the classical case.

Significance. If the central simulation theorem holds, the result supplies a resource-theoretic account of quantum advantage in one-way communication complexity that parallels the computational case. By isolating magic as the necessary and sufficient non-classical resource under the stated restrictions, the work clarifies when quantum communication can outperform classical communication and supplies concrete tasks that demonstrate efficient use of minimal magic. These contributions would be of interest to researchers working on quantum resource theories and communication complexity.

major comments (2)
  1. [Main theorem (presumably §3 or §4)] The central simulation theorem is stated in the abstract and presumably proved in the main text, but the provided manuscript excerpt does not include the full proof or verification of edge cases (e.g., when the input dimension is composite or when the shared randomness is limited). A load-bearing step appears to be the exact equivalence between the quantum protocol and its classical simulation; this equivalence must be shown to hold for all admissible stabilizer encodings and Clifford decodings without additional assumptions.
  2. [Explicit tasks section] The claim that 'minimal magic resource' suffices for advantage is illustrated by explicit tasks, but it is unclear from the abstract whether these tasks remain hard when the classical simulator is also granted the same minimal magic (or equivalent classical resources). If the separation relies on the quantum side having access to magic while the classical side does not, this must be stated explicitly to avoid conflating the resource with the protocol model.
minor comments (2)
  1. [Abstract] Notation for the prime dimension p and the stabilizer group should be introduced consistently; the abstract uses 'prime-dimensional' without defining the underlying Hilbert space dimension explicitly.
  2. [Model definition] The phrase 'Clifford-operation decodings' should be clarified: does this include only unitary Clifford gates, or also measurements in the computational basis after Clifford conjugation?

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the scope and presentation of our results. We address each major comment below.

read point-by-point responses
  1. Referee: [Main theorem (presumably §3 or §4)] The central simulation theorem is stated in the abstract and presumably proved in the main text, but the provided manuscript excerpt does not include the full proof or verification of edge cases (e.g., when the input dimension is composite or when the shared randomness is limited). A load-bearing step appears to be the exact equivalence between the quantum protocol and its classical simulation; this equivalence must be shown to hold for all admissible stabilizer encodings and Clifford decodings without additional assumptions.

    Authors: The complete proof of the main simulation theorem appears in Section 3 of the full manuscript. The theorem is formulated and proved exclusively for prime-dimensional systems, where the Heisenberg-Weyl operators form a basis that permits an exact classical simulation via shared randomness. We do not assert the result for composite dimensions, as the algebraic structure of the generalized Pauli group changes and the direct simulation correspondence fails to hold in the same manner; this restriction is stated in the manuscript. The shared randomness employed is finite and explicitly constructed to reproduce the output statistics of any admissible stabilizer encoding and Clifford decoding. The equivalence is shown to hold for the full class of such protocols using only the standard definitions of stabilizer states and Clifford operations, without further assumptions. We are prepared to add a short clarifying paragraph on the prime-dimensional scope and the construction of the shared randomness in a revised version. revision: partial

  2. Referee: [Explicit tasks section] The claim that 'minimal magic resource' suffices for advantage is illustrated by explicit tasks, but it is unclear from the abstract whether these tasks remain hard when the classical simulator is also granted the same minimal magic (or equivalent classical resources). If the separation relies on the quantum side having access to magic while the classical side does not, this must be stated explicitly to avoid conflating the resource with the protocol model.

    Authors: We agree that the resource distinction must be stated unambiguously. The explicit tasks are constructed to exhibit a separation between a quantum protocol that employs a minimal magic resource (one non-stabilizer state or one non-Clifford operation) and any classical protocol that uses only shared randomness without magic. The classical simulator furnished by the main theorem corresponds exactly to the magic-free case. Supplying magic to the classical side would allow it to emulate the quantum protocol, which is outside the classical communication model under study. We will revise the abstract and the explicit-tasks section to state explicitly that the comparison is between magic-assisted quantum communication and magic-free classical communication with shared randomness. revision: yes

Circularity Check

0 steps flagged

No circularity: self-contained simulation theorem under explicit restrictions

full rationale

The paper proves that one-way protocols restricted to stabilizer-state encodings and Clifford decodings in prime dimensions are exactly simulable by classical systems of the same dimension with shared randomness. This is presented as a direct theorem in explicit analogy to the standard Gottesman-Knill result, without any reduction of the claimed equivalence to a fitted parameter, self-referential definition, or load-bearing self-citation. The central claim follows from the algebraic properties of the restricted resources and does not invoke prior work by the same authors as an unverified uniqueness theorem or ansatz. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard quantum information assumptions and the analogy to the Gottesman-Knill theorem; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Quantum mechanics in prime-dimensional Hilbert spaces
    The framework assumes the standard postulates of quantum theory hold for the systems considered.
  • domain assumption Gottesman-Knill theorem for quantum computation
    The communication result is presented in direct analogy with the known computational simulation theorem.

pith-pipeline@v0.9.0 · 5731 in / 1240 out tokens · 34637 ms · 2026-05-19T08:25:55.895170+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · 2 internal anchors

  1. [1]

    U P(a1,a2)U† = exp(ιϕ)P(a′ 1,a′ 2)

    & ϕ s.t. U P(a1,a2)U† = exp(ιϕ)P(a′ 1,a′ 2). The set of stabilizer states for dimension d are given by Std := ConvHull n U |0⟩ ⟨0| U† | U ∈ C d o ⊂ D (Cd), ( 2) where D(·) is the set of density operators. Clearly, Std forms a polytope with its extreme points being the eigen- projectors of the mutually unbiased basis (MUB) operat- ors [32]: MUBd := n P(0,1...

  2. [2]

    – the optimal success when only a single non-stabilizer (magic) state is allowed for encoding. [ Right] In the 3 7→ 1 RAC task, a quantum advantage is obtained only if the non-stabilizer encoding lies outside the green shaded octagonal region, with all other encodings chosen from the stabilizer set (see Theorem 2E). This octagon is defined by the inequali...

  3. [3]

    2], while unrestricted encodings achieve the optimal quantum success of 1 2 (1 + 1√ 2 )

    [the encod- ings are depicted in Fig. 2], while unrestricted encodings achieve the optimal quantum success of 1 2 (1 + 1√ 2 ). As we observe, a similar result to Theorem 2 holds for the 3 7→ 1 RAC task (see Theorem 2E). Strikingly, in 3 7→ 1 RAC, allowing magic in only one of the encoding states yields no advantage when three distinct non-commuting stabil...

  4. [4]

    With this encodings, an advantage over the classical protocols requires at least six encoding states to be non-stabilizer. However, magic 6 Y1 7→ P(0,1) Y2 7→ P(1,0) · · · Yd+1 7→ P(1,d−1) Xr 7→ ψj k p(0|xy) p(1|xy) · · · p(d−1|xy) p(0|xy) p(1|xy) · · · p(d−1|xy) · · · p(0|xy) p(1|xy) · · · p(d−1|xy) X1 7→ ψ0 1 1 0 · · · 0 1 d 1 d · · · 1 d · · · 1 d 1 d ...

  5. [5]

    J. P . Dowling and G. J. Milburn, Quantum technology: the second quantum revolution, Philos. Trans. R. Soc. 361, 1655–1674 (2003)

  6. [6]

    I. H. Deutsch, Harnessing the Power of the Second Quantum Revolution, PRX Quantum 1, 020101 (2020)

  7. [7]

    Aspect, The Second Quantum Revolution: From Basic Concepts to Quantum Technologies ( 2023)

    A. Aspect, The Second Quantum Revolution: From Basic Concepts to Quantum Technologies ( 2023)

  8. [8]

    The Heisenberg Representation of Quantum Computers

    D. Gottesman, The heisenberg representation of quantum computers 10.48550/arXiv.quant-ph/9807006 (1998)

  9. [9]

    Bravyi and A

    S. Bravyi and A. Kitaev, Universal quantum computation with ideal clifford gates and noisy ancillas, Phys. Rev. A 71, 022316 (2005)

  10. [10]

    Knill, Quantum computing with realistically noisy devices, Nature 434, 39–44 (2005)

    E. Knill, Quantum computing with realistically noisy devices, Nature 434, 39–44 (2005)

  11. [11]

    E. T. Campbell, H. Anwar, and D. E. Browne, Magic-State Distillation in All Prime Dimensions Using Quantum Reed-Muller Codes, Phys. Rev. X 2, 041021 (2012)

  12. [12]

    Bravyi and D

    S. Bravyi and D. Gosset, Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates, Phys. Rev. Lett. 116, 250501 (2016)

  13. [13]

    Howard and E

    M. Howard and E. Campbell, Application of a Resource Theory for Magic States to Fault-Tolerant Quantum Com- puting, Phys. Rev. Lett. 118, 090501 (2017)

  14. [14]

    Bravyi, D

    S. Bravyi, D. Browne, P . Calpin, E. Campbell, D. Gosset, and M. Howard, Simulation of quantum circuits by low- rank stabilizer decompositions, Quantum 3, 181 (2019)

  15. [15]

    A. C.-C. Yao, Some complexity questions related to dis- tributive computing(preliminary report), in Proceedings of the eleventh annual ACM symposium on Theory of computing - STOC ’79, STOC ’79 (ACM Press, 1979) p. 209–213

  16. [16]

    A. C. Yao, Protocols for secure computations, in 23rd Annual Symposium on Foundations of Computer Science (sfcs

  17. [17]

    Kushilevitz and N

    E. Kushilevitz and N. Nisan, Communication Complexity (Cambridge University Press, 1996)

  18. [18]

    Kushilevitz, Communication Complexity, in Advances in Computers (Elsevier, 1997) p

    E. Kushilevitz, Communication Complexity, in Advances in Computers (Elsevier, 1997) p. 331–360

  19. [19]

    Quantum Random Access Codes with Shared Randomness

    A. Ambainis, D. Leung, L. Mancinska, and M. Ozols, Quantum random access codes with shared randomness, arXiv 10.48550/arXiv.0810.2937 (2009)

  20. [20]

    Bavarian, D

    M. Bavarian, D. Gavinsky, and T. Ito, On the Role of Shared Randomness in Simultaneous Communication, in Automata, Languages, and Programming (Springer Berlin Heidelberg, 2014) p. 150–162

  21. [21]

    C. L. Canonne, V . Guruswami, R. Meka, and M. Sudan, Communication with Imperfectly Shared Randomness, in Proceedings of the 2015 Conference on Innovations in Theoret- ical Computer Science, ITCS’15 (ACM, 2015)

  22. [22]

    A. C.-C. Yao, Quantum circuit complexity, in Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, SFCS-93 (IEEE, 1993) p. 352–360

  23. [23]

    Cleve and H

    R. Cleve and H. Buhrman, Substituting quantum entan- glement for communication, Phys. Rev. A 56, 1201 (1997)

  24. [24]

    Buhrman, R

    H. Buhrman, R. Cleve, S. Massar, and R. de Wolf, Nonloc- ality and communication complexity, Rev. Mod. Phys. 82, 665 (2010)

  25. [25]

    Wiesner, Conjugate coding, SIGACT News 15, 78–88 (1983)

    S. Wiesner, Conjugate coding, SIGACT News 15, 78–88 (1983)

  26. [26]

    Ambainis, A

    A. Ambainis, A. Nayak, A. Ta-Shma, and U. Vazirani, Dense quantum coding and quantum finite automata, Journal of the ACM 49, 496–511 (2002)

  27. [27]

    Brukner, M

    C. Brukner, M. Zukowski, J.-W. Pan, and A. Zeilinger, Bell’s Inequalities and Quantum Communication Com- plexity, Phys. Rev. Lett. 92, 127901 (2004)

  28. [28]

    Tavakoli, M

    A. Tavakoli, M. Zukowski, and C. Brukner, Does violation of a Bell inequality always imply quantum advantage in a communication complexity problem?, Quantum 4, 316 (2020)

  29. [29]

    Carmeli, T

    C. Carmeli, T. Heinosaari, and A. Toigo, Quantum random access codes and incompatibility of measurements, EPL (Europhysics Letters) 130, 50001 (2020)

  30. [30]

    Gupta, D

    S. Gupta, D. Saha, Z.-P . Xu, A. Cabello, and A. S. Majum- dar, Quantum Contextuality Provides Communication Complexity Advantage, Phys. Rev. Lett. 130, 080802 (2023)

  31. [31]

    Chakraborty, R

    A. Chakraborty, R. K. Patra, K. Agarwal, S. Sen, P . Ghosal, S. G. Naik, and M. Banik, Scalable and noise-robust com- munication advantage of multipartite quantum entangle- ment, Phys. Rev. A 111, 032617 (2025)

  32. [32]

    Gottesman, An introduction to quantum error cor- rection, in Proceedings of Symposia in Applied Mathematics, Vol

    D. Gottesman, An introduction to quantum error cor- rection, in Proceedings of Symposia in Applied Mathematics, Vol. 58 (2002) pp. 221–236

  33. [33]

    Gross, Hudson’s theorem for finite-dimensional quantum systems, J

    D. Gross, Hudson’s theorem for finite-dimensional quantum systems, J. Math. Phys. 47, 122107 (2006)

  34. [34]

    Veitch, C

    V . Veitch, C. Ferrie, D. Gross, and J. Emerson, Negative quasi-probability as a resource for quantum computation, New J. Phys. 14, 113011 (2012)

  35. [35]

    Veitch, S

    V . Veitch, S. A. Hamed M., D. Gottesman, and J. Emerson, The resource theory of stabilizer quantum computation, New J. Phys. 16, 013009 (2014)

  36. [36]

    I. D. Ivonovic, Geometrical description of quantal state determination, J. Phys. A: Math. Gen. 14, 3241–3245 (1981)

  37. [37]

    R. W. Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and G. J. Pryde, Preparation Contextuality Powers Parity- 8 Oblivious Multiplexing, Phys. Rev. Lett. 102, 010401 (2009)

  38. [38]

    Banik, S

    M. Banik, S. S. Bhattacharya, A. Mukherjee, A. Roy, A. Am- bainis, and A. Rai, Limited preparation contextuality in quantum theory and its relation to the cirel’son bound, Phys. Rev. A 92, 030103 (2015)

  39. [39]

    Perry, R

    C. Perry, R. Jain, and J. Oppenheim, Communication Tasks with Infinite Quantum-Classical Separation, Phys. Rev. Lett. 115, 030504 (2015)

  40. [40]

    Tavakoli, A

    A. Tavakoli, A. Hameedi, B. Marques, and M. Bourennane, Quantum Random Access Codes Using Single d-Level Systems, Phys. Rev. Lett. 114, 170502 (2015)

  41. [41]

    Ambainis, M

    A. Ambainis, M. Banik, A. Chaturvedi, D. Kravchenko, and A. Rai, Parity oblivious d-level random access codes and class of noncontextuality inequalities, Quant. Inf. Pro- cess. 18, 111 (2019)

  42. [42]

    C. E. Shannon, A Mathematical Theory of Communica- tion, Bell Sys. Tech. J. 27, 379–423 (1948)

  43. [43]

    A. S. Holevo, Bounds for the quantity of information trans- mitted by a quantum communication channel, Problems Inform. Transmission 9, 3 (1973)

  44. [44]

    P . E. Frenkel and M. Weiner, Classical Information Storage in an n-Level Quantum System, Commun. Math. Phys. 340, 563–574 (2015)

  45. [45]

    Dall’Arno, S

    M. Dall’Arno, S. Brandsen, A. Tosini, F. Buscemi, and V . Vedral, No-Hypersignaling Principle, Phys. Rev. Lett. 119, 020401 (2017)

  46. [46]

    S. G. Naik, E. P . Lobo, S. Sen, R. K. Patra, M. Alimuddin, T. Guha, S. S. Bhattacharya, and M. Banik, Composition of Multipartite Quantum Systems: Perspective from Time- like Paradigm, Phys. Rev. Lett. 128, 140401 (2022)

  47. [47]

    R. K. Patra, S. G. Naik, E. P . Lobo, S. Sen, G. L. Sidhardh, M. Alimuddin, and M. Banik, Principle of Information Causality Rationalizes Quantum Composition, Phys. Rev. Lett. 130, 110202 (2023)

  48. [48]

    R. K. Patra, S. G. Naik, E. P . Lobo, S. Sen, T. Guha, S. S. Bhattacharya, M. Alimuddin, and M. Banik, Classical ana- logue of quantum superdense coding and communication advantage of a single quantum system, Quantum 8, 1315 (2024)

  49. [49]

    X. Wang, M. M. Wilde, and Y. Su, Efficiently Computable Bounds for Magic State Distillation, Phys. Rev. Lett. 124, 090505 (2020)

  50. [50]

    Koukoulekidis and D

    N. Koukoulekidis and D. Jennings, Constraints on magic state protocols from the statistical mechanics of wigner negativity, npj Quantum Information 8, 42 (2022)

  51. [51]

    Gottesman and I

    D. Gottesman and I. L. Chuang, Demonstrating the viabil- ity of universal quantum computation using teleportation and single-qubit operations, Nature 402, 390–393 (1999)

  52. [52]

    Howard, J

    M. Howard, J. Wallman, V . Veitch, and J. Emerson, Con- textuality supplies the ‘magic’ for quantum computation, Nature 510, 351–355 (2014)

  53. [53]

    Bravyi, D

    S. Bravyi, D. Gosset, and R. König, Quantum advantage with shallow circuits, Science 362, 308–311 (2018)

  54. [54]

    Bu and D

    K. Bu and D. E. Koh, Efficient Classical Simulation of Clifford Circuits with Nonstabilizer Input States, Phys. Rev. Lett. 123, 170502 (2019)

  55. [55]

    Broadbent and S

    A. Broadbent and S. Jeffery, Quantum Homomorphic Encryption for Circuits of Low T-gate Complexity, in Advances in Cryptology – CRYPTO 2015 (Springer Berlin Heidelberg, 2015) p. 609–629

  56. [56]

    Hinsche, M

    M. Hinsche, M. Ioannou, A. Nietner, J. Haferkamp, Y. Quek, D. Hangleiter, J.-P . Seifert, J. Eisert, and R. Sweke, One t Gate Makes Distribution Learning Hard, Phys. Rev. Lett. 130, 240602 (2023)

  57. [57]

    Bu and A

    K. Bu and A. Jaffe, Magic Resource Can Enhance the Quantum Capacity of Channels, Phys. Rev. Lett. 134, 050202 (2025)

  58. [58]

    Ambainis, D

    A. Ambainis, D. Kravchenko, S. Sazim, J. Bae, and A. Rai, Quantum advantages in (n, d) 7→ 1 random access codes, New J. Phys. 26, 123023 (2024)

  59. [59]

    Kraus, States, Effects, and Operations: Fundamental No- tions of Quantum Theory (Springer Berlin Heidelberg, 1983)

    K. Kraus, States, Effects, and Operations: Fundamental No- tions of Quantum Theory (Springer Berlin Heidelberg, 1983)

  60. [60]

    Watrous, The Theory of Quantum Information (Cambridge University Press, 2018)

    J. Watrous, The Theory of Quantum Information (Cambridge University Press, 2018)