Constant-order remainder and fourth-order capacity behavior

Improve the \(O(\log\log n)\) remainder in the third-order expansion of the classical capacity of quantum depolarizing channels to \(O(1)\), and characterize the corresponding fourth-order behavior.

Background

The paper establishes a third-order expansion for the logarithm of the maximum message size with an Od,p,ε(log⁡log⁡n)O_{d,p,\varepsilon}(\log\log n) remainder. This remainder arises from the approximate-majorization defect and the resulting perturbation of the hypothesis-testing error parameter. The authors explicitly identify reducing this remainder to constant order and determining the next, fourth-order asymptotic term as unresolved directions for future work.

References

Several interesting questions remain open for future study. A central one is to establish the full majorization relation in Eq.~eq:output-majorization-conjecture in general. Other important directions include improving the current remainder term to $O(1)$ and characterizing the corresponding fourth-order behavior.

— Approximate majorization and high-order capacity of quantum depolarizing channels  (2609.37240 - Song et al., 29 Sep 2026) in Section 6, Discussion