Cite this problem as Problem 17.
For any two quantum channels and , define the ”entanglement assisted capacity” of for -messages as the supremum of all rates such that, for large , parallel copies of may be simulated by copies of , where the simulation involves arbitrary coding and decoding operations using (if necessary) arbitrarily many entangled pairs between sender and receiver, and where the errors go to zero as .
Show that .
As for other capacities, the ”two-step coding inequality” is easy to show. Hence . Equality means here, that the two channels are essentially equivalent as a resource for simulating other channels (apart from a constant factor): (with ). In this case we call and reversible for entanglement assisted coding.
For ordinary capacity (without entanglement assistance) reversibility fails in general: When is an ideal classical 1 bit channel, and is an ideal 1 qubit quantum channel, we have , but , because quantum information cannot be sent on classical channels. On the other hand, with entanglement assistance we have by superdense coding and by teleportation.
Because all ideal channels are equivalent as reference channels, we can define , with the ideal classical 1 bit channel as the entanglement assisted capacity of . For this quantity there is an explicit formula (coding theorem) by . The problem stated above appears in  as the “Reverse Shannon Theorem”.
The problem is solved for the special case of a known “tensor power source”, i.e. a source emitting the same, known, density matrix at each time step. Recent efforts by P. Shor focus on the unknown tensor power source and the known “tensor product source” where the density matrix of the source is a tensor product .
 C. H. Bennett, P. W. Shor, J. A. Smolin, and A. V. Thapliyal, Entanglement-assisted classical capacity of noisy quantum channels, Phys. Rev. Lett. 83, 3081 (1999), quant-ph/9904023.
 C. H. Bennett, P. W. Shor, J. A. Smolin, and A. V. Thapliyal, Entanglement-assisted capacity of a quantum channel and the reverse Shannon theorem, quant-ph/0106052
 P. W. Shor, private communication (2003).