In SIT, one considers a situation where Alice sends messages to Bob through a “channel”. Alice is allowed to perform some processing, called encoding, of the message before sending it. Bob is allowed to do some processing of his own, called decoding, to undo, as much as possible, the encoding done by Alice. The goal is for Bob to be able to get Alice’s message with zero error, despite the fact that the intervening channel is “noisy”.
The CC (channel capacity) is defined as the maximum number of bits per channel use that can be sent by Alice to Bob with zero error. CC is like a maximum possible efficiency: If each channel use transmits one bit, then CC is the ratio of input bits to output bits (where the input is to the encoder and the output is from the encoder to the channel). CC is an “optimal” efficiency: all efficiencies less than CC are “achievable”, and none greater than CC are achievable (with zero error). (Communication theorists like to use the word “rate” instead of “efficiency”).
A CC is subject to the constraints imposed by the physical theory being considered. (This reminds me of special relativity, a theory which can be deduced in its entirety from the simple constraint that messages cannot travel through a channel at a speed greater than the speed of light.)
There are various types of CC, depending on what constraints are imposed on the resources available to Alice and Bob, and on the channel connecting them. In quantum mechanics, the resources and channel are constrained to obey the laws of quantum mechanics. Since quantum mechanics subsumes classical mechanics but is far richer, there are more types of CC in quantum SIT than in classical SIT.
Let and be integers. Let and represent channels. Let be a channel consisting of parallel uses of channel . Let be a generic channel capacity for channel . In general, there exists a function such that
One Letter Formula for CC. For some CCs, the limit of Eq.(1) can be shown to equal an easily computable “one letter formula”. For instance, the main CC used in classical SIT can be shown to equal the mutual information , a quantity that does not involve any limits over .
Additivity of CC. In general, any function (or ) is said to be additive if for any two channels and , even if ,
From Eq.(1), one gets
So any CC satisfies
However, this does not imply that all CCs are additive; there could still exist unequal channels and such that .
, the main CC used in classical SIT, is additive. The capacity of water channels (e.g., pipes) is also additive.
The Quest to Find the One Channel Capacity to Rule then All. A very interesting feature of quantum SIT is that, for most of the quantum CCs that researchers have proposed so far, a one letter formula is not known, and they are non-additive. For instance, consider the CC for transmitting quantum messages, usually denoted by . A one letter formula for is not known. Furthermore, it is possible to define channels and such that and yet .
Scientists are beginning to question whether their current definitions of quantum CCs are too narrow. It would be nice to find a ring to rule them all, a definition of a quantum CC such that:
- it reduces in special cases to the classical CC (i.e., ) and to some of the previously considered, more narrow definitions of quantum CCs
- we know a one letter formula for it
- if it’s non-additive, we know the precise reasons for this, and how to control its non-additivity.
Carlo Bennetto, the Gandalf of quantum information theory, and his hobbits at the IBM shire, have been trying for centuries to find the one ring, sometimes coming within a hair’s breadth of it. Graeme Smith recently published a short (just 5 pages), superb review paper on the current status of quantum channel capacities.
I wish I could have written this story in the beautiful language used in both the novel and movies “The Lord of the Rings”, a language that mesmerizes with its archaic sounding vocabulary, syntax, rhythm and rhyme. But I leave that task to storytellers more skillful than I am, for I must embark immediately upon the quest to find the one ring to rule them all.
- wikipedia on Lord of the Rings(books) here
- wikipedia on Lord of the Rings(films) here
- wikiquote on Lord of the Rings(books) here
- wikiquote on Lord of the Rings(films) here