810 research outputs found
Second-order coding rates for pure-loss bosonic channels
A pure-loss bosonic channel is a simple model for communication over
free-space or fiber-optic links. More generally, phase-insensitive bosonic
channels model other kinds of noise, such as thermalizing or amplifying
processes. Recent work has established the classical capacity of all of these
channels, and furthermore, it is now known that a strong converse theorem holds
for the classical capacity of these channels under a particular photon number
constraint. The goal of the present paper is to initiate the study of
second-order coding rates for these channels, by beginning with the simplest
one, the pure-loss bosonic channel. In a second-order analysis of
communication, one fixes the tolerable error probability and seeks to
understand the back-off from capacity for a sufficiently large yet finite
number of channel uses. We find a lower bound on the maximum achievable code
size for the pure-loss bosonic channel, in terms of the known expression for
its capacity and a quantity called channel dispersion. We accomplish this by
proving a general "one-shot" coding theorem for channels with classical inputs
and pure-state quantum outputs which reside in a separable Hilbert space. The
theorem leads to an optimal second-order characterization when the channel
output is finite-dimensional, and it remains an open question to determine
whether the characterization is optimal for the pure-loss bosonic channel.Comment: 18 pages, 3 figures; v3: final version accepted for publication in
Quantum Information Processin
Strong converse rates for classical communication over thermal and additive noise bosonic channels
We prove that several known upper bounds on the classical capacity of thermal
and additive noise bosonic channels are actually strong converse rates. Our
results strengthen the interpretation of these upper bounds, in the sense that
we now know that the probability of correctly decoding a classical message
rapidly converges to zero in the limit of many channel uses if the
communication rate exceeds these upper bounds. In order for these theorems to
hold, we need to impose a maximum photon number constraint on the states input
to the channel (the strong converse property need not hold if there is only a
mean photon number constraint). Our first theorem demonstrates that Koenig and
Smith's upper bound on the classical capacity of the thermal bosonic channel is
a strong converse rate, and we prove this result by utilizing the structural
decomposition of a thermal channel into a pure-loss channel followed by an
amplifier channel. Our second theorem demonstrates that Giovannetti et al.'s
upper bound on the classical capacity of a thermal bosonic channel corresponds
to a strong converse rate, and we prove this result by relating success
probability to rate, the effective dimension of the output space, and the
purity of the channel as measured by the Renyi collision entropy. Finally, we
use similar techniques to prove that similar previously known upper bounds on
the classical capacity of an additive noise bosonic channel correspond to
strong converse rates.Comment: Accepted for publication in Physical Review A; minor changes in the
text and few reference
Quantum trade-off coding for bosonic communication
The trade-off capacity region of a quantum channel characterizes the optimal
net rates at which a sender can communicate classical, quantum, and entangled
bits to a receiver by exploiting many independent uses of the channel, along
with the help of the same resources. Similarly, one can consider a trade-off
capacity region when the noiseless resources are public, private, and secret
key bits. In [Phys. Rev. Lett. 108, 140501 (2012)], we identified these
trade-off rate regions for the pure-loss bosonic channel and proved that they
are optimal provided that a longstanding minimum output entropy conjecture is
true. Additionally, we showed that the performance gains of a trade-off coding
strategy when compared to a time-sharing strategy can be quite significant. In
the present paper, we provide detailed derivations of the results announced
there, and we extend the application of these ideas to thermalizing and
amplifying bosonic channels. We also derive a "rule of thumb" for trade-off
coding, which determines how to allocate photons in a coding strategy if a
large mean photon number is available at the channel input. Our results on the
amplifying bosonic channel also apply to the "Unruh channel" considered in the
context of relativistic quantum information theory.Comment: 20 pages, 7 figures, v2 has a new figure and a proof that the regions
are optimal for the lossy bosonic channel if the entropy photon-number
inequality is true; v3, submission to Physical Review A (see related work at
http://link.aps.org/doi/10.1103/PhysRevLett.108.140501); v4, final version
accepted into Physical Review
Strong converse for the classical capacity of optical quantum communication channels
We establish the classical capacity of optical quantum channels as a sharp
transition between two regimes---one which is an error-free regime for
communication rates below the capacity, and the other in which the probability
of correctly decoding a classical message converges exponentially fast to zero
if the communication rate exceeds the classical capacity. This result is
obtained by proving a strong converse theorem for the classical capacity of all
phase-insensitive bosonic Gaussian channels, a well-established model of
optical quantum communication channels, such as lossy optical fibers, amplifier
and free-space communication. The theorem holds under a particular
photon-number occupation constraint, which we describe in detail in the paper.
Our result bolsters the understanding of the classical capacity of these
channels and opens the path to applications, such as proving the security of
noisy quantum storage models of cryptography with optical links.Comment: 15 pages, final version accepted into IEEE Transactions on
Information Theory. arXiv admin note: text overlap with arXiv:1312.328
Upper bounds on secret key agreement over lossy thermal bosonic channels
Upper bounds on the secret-key-agreement capacity of a quantum channel serve
as a way to assess the performance of practical quantum-key-distribution
protocols conducted over that channel. In particular, if a protocol employs a
quantum repeater, achieving secret-key rates exceeding these upper bounds is a
witness to having a working quantum repeater. In this paper, we extend a recent
advance [Liuzzo-Scorpo et al., arXiv:1705.03017] in the theory of the
teleportation simulation of single-mode phase-insensitive Gaussian channels
such that it now applies to the relative entropy of entanglement measure. As a
consequence of this extension, we find tighter upper bounds on the
non-asymptotic secret-key-agreement capacity of the lossy thermal bosonic
channel than were previously known. The lossy thermal bosonic channel serves as
a more realistic model of communication than the pure-loss bosonic channel,
because it can model the effects of eavesdropper tampering and imperfect
detectors. An implication of our result is that the previously known upper
bounds on the secret-key-agreement capacity of the thermal channel are too
pessimistic for the practical finite-size regime in which the channel is used a
finite number of times, and so it should now be somewhat easier to witness a
working quantum repeater when using secret-key-agreement capacity upper bounds
as a benchmark.Comment: 16 pages, 1 figure, minor change
Capacities of Quantum Amplifier Channels
Quantum amplifier channels are at the core of several physical processes. Not
only do they model the optical process of spontaneous parametric
down-conversion, but the transformation corresponding to an amplifier channel
also describes the physics of the dynamical Casimir effect in superconducting
circuits, the Unruh effect, and Hawking radiation. Here we study the
communication capabilities of quantum amplifier channels. Invoking a recently
established minimum output-entropy theorem for single-mode phase-insensitive
Gaussian channels, we determine capacities of quantum-limited amplifier
channels in three different scenarios. First, we establish the capacities of
quantum-limited amplifier channels for one of the most general communication
tasks, characterized by the trade-off between classical communication, quantum
communication, and entanglement generation or consumption. Second, we establish
capacities of quantum-limited amplifier channels for the trade-off between
public classical communication, private classical communication, and secret key
generation. Third, we determine the capacity region for a broadcast channel
induced by the quantum-limited amplifier channel, and we also show that a fully
quantum strategy outperforms those achieved by classical coherent detection
strategies. In all three scenarios, we find that the capacities significantly
outperform communication rates achieved with a naive time-sharing strategy.Comment: 16 pages, 2 figures, accepted for publication in Physical Review
Strong converse for the classical capacity of the pure-loss bosonic channel
This paper strengthens the interpretation and understanding of the classical
capacity of the pure-loss bosonic channel, first established in [Giovannetti et
al., Physical Review Letters 92, 027902 (2004), arXiv:quant-ph/0308012]. In
particular, we first prove that there exists a trade-off between communication
rate and error probability if one imposes only a mean-photon number constraint
on the channel inputs. That is, if we demand that the mean number of photons at
the channel input cannot be any larger than some positive number N_S, then it
is possible to respect this constraint with a code that operates at a rate
g(\eta N_S / (1-p)) where p is the code's error probability, \eta\ is the
channel transmissivity, and g(x) is the entropy of a bosonic thermal state with
mean photon number x. We then prove that a strong converse theorem holds for
the classical capacity of this channel (that such a rate-error trade-off cannot
occur) if one instead demands for a maximum photon number constraint, in such a
way that mostly all of the "shadow" of the average density operator for a given
code is required to be on a subspace with photon number no larger than n N_S,
so that the shadow outside this subspace vanishes as the number n of channel
uses becomes large. Finally, we prove that a small modification of the
well-known coherent-state coding scheme meets this more demanding constraint.Comment: 18 pages, 1 figure; accepted for publication in Problems of
Information Transmissio
Fundamental rate-loss tradeoff for optical quantum key distribution
Since 1984, various optical quantum key distribution (QKD) protocols have
been proposed and examined. In all of them, the rate of secret key generation
decays exponentially with distance. A natural and fundamental question is then
whether there are yet-to-be discovered optical QKD protocols (without quantum
repeaters) that could circumvent this rate-distance tradeoff. This paper
provides a major step towards answering this question. We show that the
secret-key-agreement capacity of a lossy and noisy optical channel assisted by
unlimited two-way public classical communication is limited by an upper bound
that is solely a function of the channel loss, regardless of how much optical
power the protocol may use. Our result has major implications for understanding
the secret-key-agreement capacity of optical channels---a long-standing open
problem in optical quantum information theory---and strongly suggests a real
need for quantum repeaters to perform QKD at high rates over long distances.Comment: 9+4 pages, 3 figures. arXiv admin note: text overlap with
arXiv:1310.012
Explicit receivers for pure-interference bosonic multiple access channels
The pure-interference bosonic multiple access channel has two senders and one
receiver, such that the senders each communicate with multiple temporal modes
of a single spatial mode of light. The channel mixes the input modes from the
two users pairwise on a lossless beamsplitter, and the receiver has access to
one of the two output ports. In prior work, Yen and Shapiro found the capacity
region of this channel if encodings consist of coherent-state preparations.
Here, we demonstrate how to achieve the coherent-state Yen-Shapiro region (for
a range of parameters) using a sequential decoding strategy, and we show that
our strategy outperforms the rate regions achievable using conventional
receivers. Our receiver performs binary-outcome quantum measurements for every
codeword pair in the senders' codebooks. A crucial component of this scheme is
a non-destructive "vacuum-or-not" measurement that projects an n-symbol
modulated codeword onto the n-fold vacuum state or its orthogonal complement,
such that the post-measurement state is either the n-fold vacuum or has the
vacuum removed from the support of the n symbols' joint quantum state. This
receiver requires the additional ability to perform multimode optical
phase-space displacements which are realizable using a beamsplitter and a
laser.Comment: v1: 9 pages, 2 figures, submission to the 2012 International
Symposium on Information Theory and its Applications (ISITA 2012), Honolulu,
Hawaii, USA; v2: minor change
- …