| Alice and Bob | |
|---|---|
| Name | Alice and Bob |
| Caption | Conventional names for communicating parties in quantum information |
| First | 1978 (formalized use in cryptography) |
| Creator | Common usage in cryptography and quantum information theory |
| Occupation | Hypothetical communicants, protocol participants |
Alice and Bob
Alice and Bob are conventional placeholder names used to denote two parties in discussions of communication, cryptography and especially quantum information and quantum mechanics. Their notional interactions—transmitting classical or quantum information, performing measurements, or attempting to establish secret keys—provide a stable, shared vocabulary that aids rigorous exposition of protocols and thought experiments. The Alice-and-Bob framework matters because it abstracts complex cryptography and quantum computing scenarios into clear roles, enabling precise statements about security, entanglement and information flow.
In quantum information theory, Alice and Bob are the canonical sender and receiver whose actions are analyzed to evaluate information-processing tasks. They commonly appear in formulations of quantum key distribution (QKD), analyses of quantum entanglement, and proofs concerning the capacities of quantum channels. Using named agents allows authors to attribute operations—quantum gates, state preparation, and positive operator-valued measure (POVM) measurements—to distinct parties, clarifying locality and causality in protocols such as BB84 and E91. The Alice-and-Bob paradigm is central to formal results like the no-cloning theorem and studies of quantum teleportation where entangled pairs (often produced by a third party, commonly named Charlie) mediate correlations between the parties. In theoretical analyses tied to institutions such as IBM Quantum and research groups at MIT, Caltech and University of Cambridge the Alice/Bob notation standardizes cross-publication discourse.
Alice and Bob recur across many canonical protocols. In BB84, Alice prepares single-qubit states and Bob performs measurements to establish a shared key; security proofs often reference an adversary named Eve performing an intercept–resend attack. In E91 and entanglement-based QKD, a source (sometimes EPR pair generator) distributes entangled qubits to Alice and Bob who measure in chosen bases to test violations of Bell's theorem and detect eavesdropping. In quantum teleportation protocols, Alice performs a joint Bell-state measurement and sends classical bits to Bob to allow unitary correction; this protocol underpins distributed quantum computing architectures studied by groups at Google Quantum AI and national laboratories such as NIST. Alice and Bob also appear in models of quantum error correction, where logical qubits are transmitted through noisy quantum channels and syndromes are reported to enable recovery, and in multi-party extensions like secret sharing and secure multi-party computation that introduce further named parties (e.g., Dave, Trent).
Literature adopts uniform conventions when describing Alice and Bob. Systems owned by Alice or Bob are often labeled A and B, respectively; composite systems receive tensor-product notation such as A⊗B and density operators ρ_A, ρ_B represent marginal states. Quantum operations attributable to each party are denoted by completely positive trace-preserving maps (CPTP maps) Λ_A, Λ_B; classical messages are typically indexed as m_A→B. Security statements use formal measures like von Neumann entropy S(ρ), mutual information I(A:B), and trace distance to quantify distinguishability. In cryptographic proofs the role of an adversary Eve is formalized as an environment or purifying system E; composable security frameworks such as the Universal Composability (UC) model and constructive cryptography adapt the Alice/Bob notation to specify ideal resources and simulators. Standardized notation facilitates reproducibility in publications from venues like the Physical Review Letters, IEEE Transactions on Information Theory, and conferences such as QCrypt.
The Alice-and-Bob narrative is pedagogically effective: by personifying abstract roles, instructors motivate experiments and exercises in undergraduate and graduate courses on quantum computing and quantum cryptography. Textbooks by authors associated with Nielsen and Chuang and lecture series at institutions like Oxford University and ETH Zurich use Alice and Bob to introduce concepts including qubit state space, measurement disturbance, and entanglement swapping. Popular science expositions and classroom demonstrations employ simple dialogues—Alice prepares photon polarizations, Bob measures in differing bases—to convey counterintuitive results such as complementary observables. Standard naming also anchors problem sets used in summer schools and training programs for national quantum initiatives, thereby promoting continuity across curricula and research training.
Over time the cast around Alice and Bob has expanded into a conventional roster used to represent roles beyond simple sender and receiver. Common additions include Eve (eavesdropper), Charlie (referee or source), Trent (trusted third party), and Mallory (malicious insider). These names enable succinct description of more complex settings such as relay nodes in quantum networks, adversarial models in device-independent protocols, and verifiable delegation in blind quantum computation. Different communities sometimes prefer other labels (e.g., R, S for referee and sender) but the traditional Alice–Bob roster endures because it fosters clear, stable exposition across research articles, standards bodies, and national quantum programs.