Education / Quantum Information

Quantum Information · Chapter 01

Information and Distinguishability

What makes two physical messages distinguishable?

In this chapter
  1. 1.1 Messages and Encodings
    1. 1.1.1 Physical carriers and distinguishable alternatives
    2. 1.1.2 States and knowledge about states
  2. 1.2 Uncertainty
    1. 1.2.1 Possible messages and prior knowledge
    2. 1.2.2 Observations and inference
  3. 1.3 Information Tasks
    1. 1.3.1 Learning, preserving, and transmitting
    2. 1.3.2 Resources and criteria for success
Before you begin

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?

1.1.2 States and knowledge about states§

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.

1.2.1 Possible messages and prior knowledge§

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.

1.2.2 Observations and inference§

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.

How 100 model trials divide between cards and detector reports The bars share a scale of 100 trials. Card A occupies 75 trials: 15 red and 60 dark. Card B occupies 25 trials: 20 red and 5 dark. Although B is less common, it contributes more of the red reports. 0255075100 trials Card A75 trials 1560 Card B25 trials 205 Red report Dark report How 100 model trials divide between cards and detector reports The bars share a scale of 100 trials. Card A occupies 75 trials: 15 red and 60 dark. Card B occupies 25 trials: 20 red and 5 dark. Although B is less common, it contributes more of the red reports. 0255075100 trials Card A75 trials 1560 Card B25 trials 205 Red report 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
PreparationRed reportDark reportTotal
A156075
B20525
Total3565100

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

\[p(B\mid R)=\frac{p(B,R)}{p(R)}=\frac{1/5}{7/20}=\frac47.\]

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.

1.3.1 Learning, preserving, and transmitting§

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.

1.3.2 Resources and criteria for success§

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

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.

1. Quick check §

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\).

Revisit the relevant explanation

2. Quick check §

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.

Revisit the relevant explanation

3. Quick check §

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.

Revisit the relevant explanation

4. Worked problem §

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.

Revisit the relevant explanation

5. Worked problem §

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.

Revisit the relevant explanation

6. Worked problem §

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.

Revisit the relevant explanation

7. Worked problem §

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.

Revisit the relevant explanation

8. Misconception §

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.

Revisit the relevant explanation

9. Extension §

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.

Revisit the relevant explanation

10. Extension §

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.

Revisit the relevant explanation

Search this book

Search the course.