9,339 research outputs found
Moderate deviation analysis for classical-quantum channels and quantum hypothesis testing
© 1963-2012 IEEE. In this paper, we study the tradeoffs between the error probabilities of classical-quantum channels and the blocklength n when the transmission rates approach the channel capacity at a rate lower than 1 {n} , a research topic known as moderate deviation analysis. We show that the optimal error probability vanishes under this rate convergence. Our main technical contributions are a tight quantum sphere-packing bound, obtained via Chaganty and Sethuraman's concentration inequality in strong large deviation theory, and asymptotic expansions of error-exponent functions. Moderate deviation analysis for quantum hypothesis testing is also established. The converse directly follows from our channel coding result, while the achievability relies on a martingale inequality
Moderate Deviation Analysis for Classical Communication over Quantum Channels
© 2017, Springer-Verlag GmbH Germany. We analyse families of codes for classical data transmission over quantum channels that have both a vanishing probability of error and a code rate approaching capacity as the code length increases. To characterise the fundamental tradeoff between decoding error, code rate and code length for such codes we introduce a quantum generalisation of the moderate deviation analysis proposed by Altŭg and Wagner as well as Polyanskiy and Verdú. We derive such a tradeoff for classical-quantum (as well as image-additive) channels in terms of the channel capacity and the channel dispersion, giving further evidence that the latter quantity characterises the necessary backoff from capacity when transmitting finite blocks of classical data. To derive these results we also study asymmetric binary quantum hypothesis testing in the moderate deviations regime. Due to the central importance of the latter task, we expect that our techniques will find further applications in the analysis of other quantum information processing tasks
On converse bounds for classical communication over quantum channels
We explore several new converse bounds for classical communication over
quantum channels in both the one-shot and asymptotic regimes. First, we show
that the Matthews-Wehner meta-converse bound for entanglement-assisted
classical communication can be achieved by activated, no-signalling assisted
codes, suitably generalizing a result for classical channels. Second, we derive
a new efficiently computable meta-converse on the amount of classical
information unassisted codes can transmit over a single use of a quantum
channel. As applications, we provide a finite resource analysis of classical
communication over quantum erasure channels, including the second-order and
moderate deviation asymptotics. Third, we explore the asymptotic analogue of
our new meta-converse, the -information of the channel. We show that
its regularization is an upper bound on the classical capacity, which is
generally tighter than the entanglement-assisted capacity and other known
efficiently computable strong converse bounds. For covariant channels we show
that the -information is a strong converse bound.Comment: v3: published version; v2: 18 pages, presentation and results
improve
Properties of Noncommutative Renyi and Augustin Information
The scaled R\'enyi information plays a significant role in evaluating the
performance of information processing tasks by virtue of its connection to the
error exponent analysis. In quantum information theory, there are three
generalizations of the classical R\'enyi divergence---the Petz's, sandwiched,
and log-Euclidean versions, that possess meaningful operational interpretation.
However, these scaled noncommutative R\'enyi informations are much less
explored compared with their classical counterpart, and lacking crucial
properties hinders applications of these quantities to refined performance
analysis. The goal of this paper is thus to analyze fundamental properties of
scaled R\'enyi information from a noncommutative measure-theoretic perspective.
Firstly, we prove the uniform equicontinuity for all three quantum versions of
R\'enyi information, hence it yields the joint continuity of these quantities
in the orders and priors. Secondly, we establish the concavity in the region of
for both Petz's and the sandwiched versions. This completes the
open questions raised by Holevo
[\href{https://ieeexplore.ieee.org/document/868501/}{\textit{IEEE
Trans.~Inf.~Theory}, \textbf{46}(6):2256--2261, 2000}], Mosonyi and Ogawa
[\href{https://doi.org/10.1007/s00220-017-2928-4/}{\textit{Commun.~Math.~Phys},
\textbf{355}(1):373--426, 2017}]. For the applications, we show that the strong
converse exponent in classical-quantum channel coding satisfies a minimax
identity. The established concavity is further employed to prove an entropic
duality between classical data compression with quantum side information and
classical-quantum channel coding, and a Fenchel duality in joint source-channel
coding with quantum side information in the forthcoming papers
A Simple and Tighter Derivation of Achievability for Classical Communication over Quantum Channels
Achievability in information theory refers to demonstrating a coding strategy
that accomplishes a prescribed performance benchmark for the underlying task.
In quantum information theory, the crafted Hayashi-Nagaoka operator inequality
is an essential technique in proving a wealth of one-shot achievability bounds
since it effectively resembles a union bound in various problems. In this work,
we show that the pretty-good measurement naturally plays a role as the union
bound as well. A judicious application of it considerably simplifies the
derivation of one-shot achievability for classical-quantum (c-q) channel coding
via an elegant three-line proof.
The proposed analysis enjoys the following favorable features: (i) The
established one-shot bound admits a closed-form expression as in the celebrated
Holevo-Helstrom Theorem. Namely, the average error probability of sending
messages through a c-q channel is upper bounded by the error of distinguishing
the joint state between channel input and output against -many products
of its marginals. (ii) Our bound directly yields asymptotic results in the
large deviation, small deviation, and moderate deviation regimes in a unified
manner. (iii) The coefficients incurred in applying the Hayashi-Nagaoka
operator inequality are no longer needed. Hence, the derived one-shot bound
sharpens existing results that rely on the Hayashi-Nagaoka operator inequality.
In particular, we obtain the tightest achievable -one-shot capacity
for c-q channel heretofore, and it improves the third-order coding rate in the
asymptotic scenario. (iv) Our result holds for infinite-dimensional Hilbert
space. (v) The proposed method applies to deriving one-shot bounds for data
compression with quantum side information, entanglement-assisted classical
communication over quantum channels, and various quantum network
information-processing protocols
Lower Bounds on Error Exponents via a New Quantum Decoder
We introduce a new quantum decoder based on a variant of the pretty good
measurement, but defined via an alternative matrix quotient. We use this
decoder to show new lower bounds on the error exponent both in the one-shot and
asymptotic regimes for the classical-quantum and the entanglement-assisted
channel coding problem. Our bounds are expressed in terms of measured (for the
one-shot bounds) and sandwiched (for the asymptotic bounds) channel R\'enyi
mutual information of order between 1/2 and 1. Our results are not comparable
with some previously established bounds for general instances, yet they are
tight (for rates close to capacity) when the underlying channel is classical.Comment: v2: further properties of the new measurement are discusse
Sphere-packing bound for symmetric classical-quantum channels
© 2017 IEEE. "To be considered for the 2017 IEEE Jack Keil Wolf ISIT Student Paper Award." We provide a sphere-packing lower bound for the optimal error probability in finite blocklengths when coding over a symmetric classical-quantum channel. Our result shows that the pre-factor can be significantly improved from the order of the subexponential to the polynomial, This established pre-factor is arguably optimal because it matches the best known random coding upper bound in the classical case. Our approaches rely on a sharp concentration inequality in strong large deviation theory and crucial properties of the error-exponent function
Quantum Sphere-Packing Bounds with Polynomial Prefactors
© 1963-2012 IEEE. We study lower bounds on the optimal error probability in classical coding over classical-quantum channels at rates below the capacity, commonly termed quantum sphere-packing bounds. Winter and Dalai have derived such bounds for classical-quantum channels; however, the exponents in their bounds only coincide when the channel is classical. In this paper, we show that these two exponents admit a variational representation and are related by the Golden-Thompson inequality, reaffirming that Dalai's expression is stronger in general classical-quantum channels. Second, we establish a finite blocklength sphere-packing bound for classical-quantum channels, which significantly improves Dalai's prefactor from the order of subexponential to polynomial. Furthermore, the gap between the obtained error exponent for constant composition codes and the best known classical random coding exponent vanishes in the order of , indicating our sphere-packing bound is almost exact in the high rate regime. Finally, for a special class of symmetric classical-quantum channels, we can completely characterize its optimal error probability without the constant composition code assumption. The main technical contributions are two converse Hoeffding bounds for quantum hypothesis testing and the saddle-point properties of error exponent functions
- …