Sharp estimates of quantum covering problems via a novel trace inequality

TL;DR

This paper introduces a new trace inequality for operators that improves bounds in various quantum covering problems, extending to infinite-dimensional spaces and employing novel proof techniques.

Contribution

It presents a novel trace inequality and applies it to sharpen bounds in quantum information tasks, including infinite-dimensional cases.

Findings

Sharpened one-shot bounds for quantum covering problems

Extension of bounds to infinite-dimensional Hilbert spaces

Introduction of new proof techniques based on operator layer cake theorem

Abstract

In this paper, we prove a novel trace inequality involving two operators. As applications, we sharpen the one-shot achievability bound on the relative entropy error in a wealth of quantum covering-type problems, such as soft covering, privacy amplification, convex splitting, quantum information decoupling, and quantum channel simulation by removing some dimension-dependent factors. Moreover, the established one-shot bounds extend to infinite-dimensional separable Hilbert spaces as well. The proof techniques are based on the recently developed operator layer cake theorem and an operator change-of-variable argument, which are of independent interest.