Table of Contents
Fetching ...

Strong converse bounds on the classical identification capacity of the qubit depolarizing channel

Liuhang Ye, Bjarne Bergh, Nilanjana Datta

Abstract

A strong converse bound for the classical identification capacity of a quantum channel is an upper bound on the asymptotic identification rate of classical messages sent through the channel, such that, above this rate, the probability of an identification error necessarily converges to one. Converse bounds for identification are notoriously difficult to obtain for fully quantum channels. The only previously known converse bound, due to Atif, Pradhan and Winter [Int.~J.~Quantum Inf.~22(5):2440013, 2024], has the unsatisfactory feature of remaining strictly positive even for a completely noisy channel, for which identification is clearly impossible. We derive strong (and hence also weak) converse bounds, for the qubit depolarizing channel with noise parameter $p$, that vanish as $p\to 1$, thereby yielding the correct behavior in the completely noisy limit. Moreover, in the setting of simultaneous classical identification under the constraint of complete product measurements, our converse bound matches the corresponding achievability bound, and establishes that in this case the identification capacity equals the classical capacity of the channel.

Strong converse bounds on the classical identification capacity of the qubit depolarizing channel

Abstract

A strong converse bound for the classical identification capacity of a quantum channel is an upper bound on the asymptotic identification rate of classical messages sent through the channel, such that, above this rate, the probability of an identification error necessarily converges to one. Converse bounds for identification are notoriously difficult to obtain for fully quantum channels. The only previously known converse bound, due to Atif, Pradhan and Winter [Int.~J.~Quantum Inf.~22(5):2440013, 2024], has the unsatisfactory feature of remaining strictly positive even for a completely noisy channel, for which identification is clearly impossible. We derive strong (and hence also weak) converse bounds, for the qubit depolarizing channel with noise parameter , that vanish as , thereby yielding the correct behavior in the completely noisy limit. Moreover, in the setting of simultaneous classical identification under the constraint of complete product measurements, our converse bound matches the corresponding achievability bound, and establishes that in this case the identification capacity equals the classical capacity of the channel.

Paper Structure

This paper contains 18 sections, 11 theorems, 74 equations, 1 figure.

Key Result

Theorem 1

For a quantum channel $\mathcal{N}$, $\blacktriangleleft$$\blacktriangleleft$

Figures (1)

  • Figure 1: (A): Unrestricted identification codes The orange and green curves show the strong converse bounds (\ref{['general converse bound']}) for $\mathcal{N}_p$ and (\ref{['result_5']}), respectively. (B): Simultaneous identification codes with complete product measurements. The orange curve gives the achievability bound and the matching strong converse bound (\ref{['matching bound']}), while the blue curve shows the previous $\log$-dimension upper bound (\ref{['Q-soft-covering bound']}) of atif2024quantum.

Theorems & Definitions (18)

  • Definition 1
  • Definition 2: (Löber lober1999quantum)
  • Theorem 1: (Löber lober1999quantum)
  • Definition 3
  • Definition 4
  • Definition 5: ($M$-type distribution)
  • Theorem 2: (Classical-quantum soft covering cheng2023error)
  • Definition 6: (Identification with complete product measurement)
  • Lemma 1: (Reduction to an $n$-fold BSC)
  • Theorem 3: (Simultaneous identification capacity of $\mathcal{N}_p$ under complete product measurements)
  • ...and 8 more