Epsilon-smooth measure of coherence

TL;DR

This paper introduces the epsilon-smooth measure of coherence, a generalized quantifier that estimates minimal quantum coherence within an epsilon neighborhood, providing continuity and bounds for coherence estimation.

Contribution

It defines the epsilon-smooth measure of coherence, analyzes its properties, and demonstrates its usefulness in bounding one-shot coherence distillation.

Findings

The epsilon-smooth measure remains a coherence monotone.

It is continuous even if the original measure is not.

Provides upper bounds for one-shot coherence distillation.

Abstract

In this paper, by minimizing the coherence quantifiers over all states in an $\epsilon$ ball around a given state, we define a generalized smooth quantifier, called the $\epsilon$-smooth measure of coherence. We use it to estimate the difference between the expected state and the actually prepared state and quantify quantum coherence contained in an actually prepared state, and it can been interpreted as the minimal coherence guaranteed to present in an $\epsilon$ ball around given quantum state. We find that the $\epsilon$-smooth measure of any coherence monotone is still a coherence monotone, but it does not satisfy monotonicity on average under incoherent operations. We show the $\epsilon$-smooth measure of coherence is continuous even if the original coherence quantifier is not. We also study the $\epsilon$-smooth measure of distance-based coherence quantifiers, and some interesting properties are given. Moreover, we discuss the dual form of the $\epsilon$-smooth measure of coherence by maximizing over all states in an $\epsilon$ ball around the given state and show that the dual $\epsilon$-smooth measure of coherence provides an upper bound of one-shot coherence distillation.