Starting point: No subject prerequisites; quantities and notation are introduced as needed.
Keep in view: Cards A and B, chosen with probabilities 3/4 and 1/4, and a detector that reports red with probabilities 1/5 and 4/5.
We start with nothing but an ordinary question: when one person sends something to another, what has actually been communicated? A letter, a light pulse and a voltage can all carry a message. Yet none of them carries a message by itself being sent. Something about the receiver matters too.
The tension is that the same physical object can be perfectly informative in one setting and nearly useless in another. So before we can talk about quantum information, we need a precise account of when two preparations can be told apart. That account forces three ideas in turn. A message needs preparations and a reading rule. A noisy reading needs probabilities, and an observation updates them by conditioning. Conditioning then lets us find the best guess, and the best guess depends on what the task demands. These ideas will carry every later chapter.
1.1 Messages and Encodings
What does a sender need in order to send a single yes-or-no answer? A physical carrier is necessary but not enough, because the receiver must also be able to read it. We first name the parts of a message: the preparations, the agreement that links them to meanings, and the rule the receiver uses to decode. Then we ask what a description of a preparation must contain, which separates what the sender knows from what the receiver can learn.
1.1.1 Physical carriers and distinguishable alternatives§
Alice wants to send Bob a yes-or-no answer. She could send a light pulse, turn a dial, or put a card in an envelope. In each case, she needs two preparations that Bob can tell apart. They agree that one means “yes” and the other means “no.”
This agreement is an encoding: a rule associating a message with a physical preparation. Bob also needs a decoder, a rule for turning what he observes into a guess about the message. If he can identify either preparation with certainty using the observations available to him, the preparations are perfectly distinguishable.
Let us give Bob a less reliable apparatus. Alice chooses a card marked A or B and puts it into a detector. Bob cannot see the card. He sees only a lamp, which either lights red or stays dark. Both cards can produce either report. Reading the lamp without error therefore does not guarantee that he can identify the card.
So the question becomes practical. After seeing the lamp, which card should Bob guess, and how often will he be right?
Suppose Alice has put card A into the detector. She knows which preparation she made; Bob does not. Their knowledge differs even though they are talking about the same physical carrier.
A state description tells us what outcomes to expect from possible observations. It must give more than a name such as “card A”: to make predictions, we also need to know how that preparation responds to the detector. Bob, uncertain about Alice’s choice, must combine the predictions for A and B with the probabilities of those choices.
For the cards, this uncertainty can come from not knowing which label Alice chose. Is that the only possible source of uncertainty? For cards it is: if Bob knew the card, he would know how likely each report is, and nothing more could be known. Quantum systems will add a second source. Alice can know her preparation completely, and the outcome of an observation can still be uncertain.
A classical value with two alternatives, written 0 and 1, is a bit. Two preparations that Bob can reliably distinguish can carry such a value. Merely having two different preparation labels does not establish that he can read it. What matters is how the preparations respond to the observations he can make.
Problems
Problem 1.1. Alice uses two different physical preparations. What must Bob be able to do for them to encode a reliably readable bit?
Worked solution
He needs an allowed observation whose outcomes distinguish the two preparations. Different preparation names alone do not guarantee distinct observable responses.
1.2 Uncertainty
Bob cannot see the card, and the lamp does not settle it either. How should he describe what he knows, before and after the lamp? We first put numbers on what he knows in advance, as probabilities. Then we work out how one lamp report should change those numbers, which leads to conditioning.
Before using the detector, Bob already knows something: Alice chooses A on three quarters of trials and B on one quarter. We describe these choices by probabilities, \(p(A)=3/4\) and \(p(B)=1/4\). These are his prior probabilities, the probabilities assigned before he sees the report.
A probability lies between zero and one. Zero means an event never occurs in the model; one means it is certain. Because Alice chooses exactly one of A and B, their probabilities must add to one.
Bob could ignore the detector and always guess A. He would then be right on three quarters of trials. Any rule using the lamp should be compared with this \(3/4\) success rate. A fair guess would be a weaker starting point because it would discard information Bob already has.
The detector lights red on one fifth of A trials and four fifths of B trials. Red therefore occurs more often for B. But A is the more common card. To decide what a red report means, Bob must account for both facts.
Imagine 100 trials in the proportions specified by our model. Of the 75 A cards, one fifth produce red: 15 trials. The other 60 produce a dark report. Of the 25 B cards, four fifths produce red: 20 trials. The remaining 5 produce a dark report.
Count the red reports: 15 came from A and 20 from B. Each bar uses the same scale, so its length also shows how often Alice chooses that card.
Expected counts in 100 trials
Preparation
Red report
Dark report
Total
A
15
60
75
B
20
5
25
Total
35
65
100
Now suppose Bob sees red. He knows that his trial belongs to the group of 35 red reports. Within that group, 20 came from B and 15 from A. His probability for B becomes
\[p(B\mid R)=\frac{20}{35}=\frac47.\]
The vertical bar means “given”: \(p(B\mid R)\) is the probability of B given a red report, written \(R\). Selecting the trials consistent with an observation and finding the proportions within that group is called conditioning. B was less likely before the observation; it is more likely within the red group.
We can obtain the same answer directly from the probabilities. The probability of both B and red is \(p(B,R)=(1/4)(4/5)=1/5\). The probability of red is \(p(R)=(3/4)(1/5)+(1/4)(4/5)=7/20\). Dividing the first by the second gives
The comma means “both.” Notice the difference between \(p(R\mid B)=4/5\) and \(p(B\mid R)=4/7\). The first asks how the detector responds when the card is known. The second asks which card was sent when the report is known. The table makes the different denominators visible: 20 out of 25 B trials, compared with 20 out of 35 red trials.
These counts describe the model’s proportions. In an actual set of 100 trials the counts can fluctuate; they need not be exactly 15, 60, 20, and 5.
Problems
Problem 1.2. How well does the rule “red means B, otherwise A” perform?
Worked solution
Correct events have probability (1/4)(4/5)+(3/4)(4/5)=4/5. This improves on the prior-only success 3/4.
1.3 Information Tasks
Conditioning tells Bob what to believe after a report. It does not yet tell him what to do, and doing depends on the goal. We first separate three goals that are easy to confuse: learning a message, preserving a carrier and transmitting it. Then we fix one goal, guessing the card, and find the decoder that serves it best. That shows how a task, its resources and its success criterion together decide how useful a report is.
So far Bob has tried to learn which card Alice chose. Suppose instead that his job is to pass her card, unopened, to another receiver. He can succeed at that task without identifying it himself.
These are different requirements. Learning asks what Bob can infer from an observation. Preserving asks whether a physical state survives a procedure. Transmitting asks whether the required information or state reaches another place.
Consider a card sealed in an envelope. Passing the envelope on may preserve it. Opening it may reveal the card while damaging the seal. Whether opening counts as success depends on what was meant to survive: the printed letter, the intact envelope, or both. We have to state the task before judging the procedure.
Quantum information makes the distinction especially important. Measuring a carrier may disturb its state, and a single specimen need not reveal which quantum state was prepared. Faithfully transferring that state and identifying it are therefore separate goals.
Return to Bob’s lamp. His task is to guess the card correctly as often as possible, using one detector report. The table gives a decision rule: guess B on red, because 20 exceeds 15; guess A on dark, because 60 exceeds 5.
He succeeds on the 20 red B trials and the 60 dark A trials. His success probability is
\[p(\text{correct})=\frac{20+60}{100}=\frac45.\]
Always guessing A gave \(3/4\). Using the report raises the success rate from 75 to 80 correct decisions per 100 model trials.
Could a different decoder do better with this same report? On red trials, choosing A would replace 20 correct guesses by 15. On dark trials, choosing B would replace 60 correct guesses by 5. Randomly switching between the two guesses only mixes a better choice with a worse one. Our rule is therefore optimal among decoders that receive this detector’s report. A different detector might offer better information.
This comparison depends on the allowed preparations, their prior probabilities, the available observation, and the required output. Those details define the task. Other tasks add resources to count: transmitted systems, uses of a channel, classical messages, and correlations shared in advance.
The same report can be useful in one task and insufficient in another. Bob’s detector supports a guess with success \(4/5\), but it does not let him read every card without error. To say how much information a carrier provides, we must say what the receiver is trying to do with it.
One question remains open. Bob's uncertainty about the card has been described by two probabilities, but we have not yet measured how much uncertainty that is, or how many bits it would cost to remove it.
Problems
Problem 1.3. Does a carrier with many possible physical settings guarantee many readable messages?
Worked solution
No. Their responses may overlap, the receiver may have limited measurements, or the preparation and noise may prevent reliable discrimination.
Transfer problem. Suppose the prior for A rises to 9/10 while the detector responses stay the same. Find the best decoder and its success. Does this detector improve decision accuracy?
Worked solution
The red weights are (9/10)(1/5)=9/50 for A and (1/10)(4/5)=4/50 for B. Non-red weights are 36/50 and 1/50. Both reports favor A, so always guess A, succeeding with probability 9/10. The observation still changes the posterior but does not improve this decision score.
Summary
Information is physical, and a physical carrier encodes messages only to the extent that different preparations produce statistically distinguishable measurement outcomes.
Operational tasks—compression, noisy transmission, state discrimination, and privacy—define the quantitative measures of both classical and quantum information theory.
Questions and worked problems
These exercises draw on the whole chapter. Attempt each question before opening a hint, explain your reasoning, then compare it with the worked solution.
In the running example, \(p(A)=3/4\), the lamp lights red on \(1/5\) of A trials and \(4/5\) of B trials. Find \(p(\text{dark})\) and \(p(A\mid\text{dark})\), using the table of 100 model trials or the probability formulas.
Hint 1
Dark reports: 60 from A and 5 from B.
Hint 2
\(p(A\mid D)=p(A,D)/p(D)\).
Worked solution
Of 100 model trials, 60 A cards and 5 B cards give a dark report, so \(p(D)=65/100=13/20\). Within the dark group, \(p(A\mid D)=60/65=12/13\approx0.92\). From the formulas: \(p(A,D)=\frac34\cdot\frac45=\frac35\) and \(p(D)=\frac35+\frac14\cdot\frac15=\frac{13}{20}\), giving \(\frac{3/5}{13/20}=\frac{12}{13}\). A dark report strengthens Bob’s belief in A from \(0.75\) to about \(0.92\).
Compute the success probability of three decoders for the running example: (a) always guess B; (b) red means A, dark means B; (c) the optimal rule from Section 1.3.2. Which uses the detector, and which uses it well?
Hint 1
Count correct trials among the 100 model trials.
Hint 2
Rule (b) is correct on red A trials and dark B trials.
Worked solution
(a) Always B is correct on the 25 B trials: success \(1/4\). (b) Red means A is correct on 15 red A trials, and dark means B on 5 dark B trials: \(20/100=1/5\), worse than ignoring the lamp. (c) The optimal rule gives \(4/5\). Rules (b) and (c) both use the report, with opposite interpretations. Using an observation does not by itself help: the decoder must interpret it correctly, given the priors and the detector’s response probabilities.
For each task, say whether it is mainly learning, preserving, or transmitting, and what counts as success: (a) Bob must report which card was sent; (b) Bob must pass the sealed envelope on unopened; (c) Bob must tell Carol, by telephone, which card was sent.
Hint 1
Ask what must exist at the end: a correct belief, an intact object, or information at a new place.
Hint 2
Task (c) needs Bob to learn the card first.
Worked solution
(a) Learning: success is a correct guess, and opening the envelope would be fine. (b) Preserving, and transmitting the physical object: success is an intact envelope reaching the next person, and Bob need not learn anything. (c) Learning followed by transmitting a classical message: Bob must identify the card and send the answer, so his success is limited by his own decoding, at best \(4/5\) with this lamp. These tasks have different success criteria, and a procedure that is ideal for one may fail another. In quantum information, measuring to learn can spoil a task that requires preserving the state.
Change the prior to \(p(A)=p(B)=\frac12\), keeping the same lamp. (a) Build the table of 100 model trials. (b) Find the optimal decoder and its success probability. (c) What is the success of always guessing, and how much does the lamp help now?
Hint 1
A: 10 red, 40 dark. B: 40 red, 10 dark.
Hint 2
For each report, guess the card with more trials.
Worked solution
(a) Of 50 A cards, 10 give red and 40 dark; of 50 B cards, 40 give red and 10 dark. (b) On red, B wins 40 to 10; on dark, A wins 40 to 10. Success is \((40+40)/100=4/5\). (c) Always guessing gives \(1/2\), so the lamp raises success by \(0.3\), much more than the \(0.05\) gain with the \(3/4\) prior. The same detector is more valuable when the prior is uncertain. In general the optimal success is \(\sum_r\max_m p(m)p(r\mid m)\): for each report, keep the larger joint probability.
Suppose Alice’s card can be put through the detector twice, giving two independent reports with the same response probabilities. With \(p(A)=3/4\), find the joint probability of each pair of reports for each card, the optimal decoder, and its success probability.
Hint 1
For A: \(p(RR\mid A)=1/25\), \(p(RD\mid A)=p(DR\mid A)=4/25\), \(p(DD\mid A)=16/25\).
Hint 2
Multiply by the prior and compare A with B for each pair.
Worked solution
Multiplying by the priors, per 100 trials: A gives \(RR\): 3, \(RD\): 12, \(DR\): 12, \(DD\): 48; B gives \(RR\): 16, \(RD\): 4, \(DR\): 4, \(DD\): 1. The optimal rule guesses B only on \(RR\) (16 against 3), and A otherwise. Success is \((16+12+12+48)/100=0.88\), up from \(0.80\) with one report. A second independent observation helps because it can confirm or contradict the first. The improvement depends on the reports being independent given the card; a detector that simply repeated its first answer would add nothing.
A new detector has three reports: red with probabilities \(0.1\) (A) and \(0.6\) (B), amber with \(0.3\) and \(0.3\), and dark with \(0.6\) and \(0.1\). With \(p(A)=3/4\), find \(p(A\mid\text{amber})\), the optimal decoder, and its success. What does the amber report tell Bob?
Hint 1
Joint weights for A: \(0.075,\,0.225,\,0.45\); for B: \(0.15,\,0.075,\,0.025\).
Hint 2
Compare \(p(A\mid\text{amber})\) with the prior.
Worked solution
The joint probabilities are \(p(A,\text{red})=0.075\), \(p(B,\text{red})=0.15\); \(p(A,\text{amber})=0.225\), \(p(B,\text{amber})=0.075\); \(p(A,\text{dark})=0.45\), \(p(B,\text{dark})=0.025\). So \(p(A\mid\text{amber})=0.225/0.3=0.75\), exactly the prior. The optimal rule guesses B on red and A on amber and dark, with success \(0.15+0.225+0.45=0.825\). An outcome that is equally likely for both cards leaves Bob’s probabilities unchanged: it carries no information about the card, even though it occurs on \(30\%\) of trials.
For the original lamp, find the prior \(q=p(A)\) at which a red report makes A and B equally likely. For which priors does the optimal decoder ignore the lamp entirely, and what is its success then?
Hint 1
Red makes them equally likely when \(q\cdot\frac15=(1-q)\cdot\frac45\).
Hint 2
Check the dark report as well.
Worked solution
Setting \(\frac q5=\frac{4(1-q)}{5}\) gives \(q=\frac45\). For \(q>\frac45\), even a red report favors A; a dark report favors A for every \(q>\frac15\) (from \(\frac{4q}{5}>\frac{1-q}{5}\)). So for \(q\ge\frac45\) the optimal decoder always guesses A, with success \(q\); symmetrically, for \(q\le\frac15\) it always guesses B, with success \(1-q\). Between those values it follows the lamp. A detector can change Bob’s probabilities without changing any decision: whether an observation is useful depends on the task as well as the detector.
A student reasons: “The lamp lights red on \(4/5\) of B trials, so when it is red, the card is B with probability \(4/5\).” Test the claim with the original prior and with \(p(A)=0.99\). What has the student confused?
Hint 1
Compute \(p(B\mid R)=p(B)p(R\mid B)/p(R)\) in both cases.
Hint 2
\(p(R\mid B)\) and \(p(B\mid R)\) have different denominators.
Worked solution
With \(p(A)=3/4\), \(p(B\mid R)=4/7\approx0.57\), not \(0.8\). With \(p(A)=0.99\), \(p(R)=0.99\times0.2+0.01\times0.8=0.206\) and \(p(B\mid R)=0.008/0.206\approx0.039\): a red report still leaves B unlikely. The student confused \(p(R\mid B)\), how the detector responds to a known card, with \(p(B\mid R)\), which card is likely given a report. The first counts red trials among B trials; the second counts B trials among red trials. When B is rare, most red reports come from A cards, however reliably B produces red.
With equal priors, show that the optimal success probability for two preparations is \(\frac12\big(1+D\big)\), where \(D=\frac12\sum_r|p(r\mid A)-p(r\mid B)|\). Check it for the lamp, and find \(D\) for a detector that identifies the card perfectly and for one whose reports do not depend on the card.
Hint 1
With equal priors, the optimal success is \(\frac12\sum_r\max\big(p(r\mid A),p(r\mid B)\big)\).
Hint 2
\(\max(a,b)=\frac12(a+b)+\frac12|a-b|\).
Worked solution
With equal priors the optimal decoder keeps the larger of \(\frac12p(r\mid A)\) and \(\frac12p(r\mid B)\) for each report, so success is \(\frac12\sum_r\max(\cdot)\). Using \(\max(a,b)=\frac12(a+b)+\frac12|a-b|\) and \(\sum_rp(r\mid m)=1\), this equals \(\frac12+\frac14\sum_r|p(r\mid A)-p(r\mid B)|=\frac12(1+D)\). For the lamp, \(D=\frac12(0.6+0.6)=0.6\) and success is \(0.8\), as found directly. A perfect detector has \(D=1\) and success \(1\); an uninformative one has \(D=0\) and success \(\frac12\). The quantity \(D\) measures how distinguishable the two response distributions are; its quantum counterpart for states is the trace distance.
Section 1.3.2 says that switching randomly between guesses cannot beat the best fixed rule. Make this precise for the running example: suppose that on red Bob guesses B with probability \(t\), and on dark he guesses A with probability \(u\). Write his success probability as a function of \(t\) and \(u\), and show where it is largest.
Hint 1
On red, success is \(0.15(1-t)+0.20t\).
Hint 2
A function that is linear in each variable is maximized at an endpoint.
Worked solution
On red trials (probability \(0.35\) overall) Bob is right on \(0.15\) of trials when he guesses A and on \(0.20\) when he guesses B, so the red contribution is \(0.15+0.05t\). On dark trials the contribution is \(0.05+0.55u\). The total is \(0.20+0.05t+0.55u\), linear in each variable. It is largest at \(t=1\), \(u=1\), giving \(0.80\): the deterministic optimal rule. Randomization averages the success of deterministic rules, so it can never exceed the best of them. The argument applies to every decoding problem of this kind.