Examining the validity of Schatten-p -norm-based functionals as coherence measures

It has been asked by different authors whether the two classes of Schatten-p -norm-based functionals C_p(ρ ) =minσ_∈I∥ρ_{-σ ∥ p} and C_∼p(ρ ) =∥ρ_{-Δ ρ ∥ p} with p ≥1 are valid coherence measures under incoherent operations, strictly incoherent operations, and genuinely incoherent operations, respectively, where I is the set of incoherent states and Δ ρ is the diagonal part of density operator ρ . Of these questions, all we know is that C_p(ρ ) is not a valid coherence measure under incoherent operations and strictly incoherent operations, but all other aspects remain open. In this paper, we prove that (1) C_∼1(ρ ) is a valid coherence measure under both strictly incoherent operations and genuinely incoherent operations but not a valid coherence measure under incoherent operations, (2) C₁(ρ ) is not a valid coherence measure even under genuinely incoherent operations, and (3) neither C_{p >1}(ρ ) nor C_{∼p >1}(ρ ) is a valid coherence measure under any of the three sets of operations. This paper not only provides a thorough examination on the validity of taking C_p(ρ ) and C_∼p(ρ ) as coherence measures, but also finds an example that fulfills the monotonicity under strictly incoherent operations but violates it under incoherent operations.