Table of Contents
Fetching ...

Polar Codes for Erasure and Unital Classical-Quantum Markovian Channels

Jaswanthi Mandalapu, Vikesh Siddhu, Krishna Jagannathan

TL;DR

The paper investigates classical communication over cq-channels with Markovian memory, focusing on erasure and unital noise models. It shows that Arıkan polar codes can achieve the classical capacity for these channels when the receiver has channel-state information (and Pauli-ordering for the unital case), by combining induced classical-channel capacity results with a finite-state approximation of countable Markov processes. The authors establish a four-step proof: reduce to the induced classical channel, approximate countable Markov memory by finite FAIM channels, apply FAIM-polar results, and extend to the original countable-state model via Portmanteau. This work provides an explicit, low-complexity coding scheme showing capacity-achievability for Markovian cq-channels and highlights the broader applicability of polar codes in quantum settings with memory.

Abstract

We consider classical-quantum (cq-)channels with memory, and establish that Arıkan-constructed polar codes achieve the classical capacity for two key noise models, namely for (i) qubit erasures and (ii) unital qubit noise with channel state information at the receiver. The memory in the channel is assumed to be governed by a discrete-time, countable-state, aperiodic, irreducible, and positive recurrent Markov process. We establish this result by leveraging existing classical polar coding guarantees established for finite-state, aperiodic, and irreducible Markov processes [FAIM], alongside the recent finding that no entanglement is required to achieve the capacity of Markovian unital and erasure quantum channels when transmitting classical information. More broadly, our work illustrates that for cq-channels with memory, where an optimal coding strategy is essentially classical, polar codes can be shown to approach the capacity.

Polar Codes for Erasure and Unital Classical-Quantum Markovian Channels

TL;DR

The paper investigates classical communication over cq-channels with Markovian memory, focusing on erasure and unital noise models. It shows that Arıkan polar codes can achieve the classical capacity for these channels when the receiver has channel-state information (and Pauli-ordering for the unital case), by combining induced classical-channel capacity results with a finite-state approximation of countable Markov processes. The authors establish a four-step proof: reduce to the induced classical channel, approximate countable Markov memory by finite FAIM channels, apply FAIM-polar results, and extend to the original countable-state model via Portmanteau. This work provides an explicit, low-complexity coding scheme showing capacity-achievability for Markovian cq-channels and highlights the broader applicability of polar codes in quantum settings with memory.

Abstract

We consider classical-quantum (cq-)channels with memory, and establish that Arıkan-constructed polar codes achieve the classical capacity for two key noise models, namely for (i) qubit erasures and (ii) unital qubit noise with channel state information at the receiver. The memory in the channel is assumed to be governed by a discrete-time, countable-state, aperiodic, irreducible, and positive recurrent Markov process. We establish this result by leveraging existing classical polar coding guarantees established for finite-state, aperiodic, and irreducible Markov processes [FAIM], alongside the recent finding that no entanglement is required to achieve the capacity of Markovian unital and erasure quantum channels when transmitting classical information. More broadly, our work illustrates that for cq-channels with memory, where an optimal coding strategy is essentially classical, polar codes can be shown to approach the capacity.

Paper Structure

This paper contains 9 sections, 10 theorems, 16 equations, 1 figure.

Key Result

Theorem II.1

hayashi2003general The classical capacity of any arbitrary quantum channel is given as where $\underline{{I}}(\{\vec{P},\vec{\rho}\}, \vec{N})$ is the quantum analog (see hayashi2003general) of inf-information rate defined in verdu1994general.

Figures (1)

  • Figure 1: The state transition diagram of a GE-QEC, where $k_{ij}$ represents the transition probability from state $i$ to state $j$.

Theorems & Definitions (22)

  • Definition II.1
  • Definition II.2
  • Definition II.3
  • Definition II.4
  • Theorem II.1
  • Example II.1
  • Example II.2
  • Theorem II.2
  • Theorem II.3
  • Corollary II.1
  • ...and 12 more