Certification and Quantification of Multilevel Quantum Coherence

Quantum coherence, present whenever a quantum system exists in a superposition of multiple classically distinct states, marks one of the fundamental departures from classical physics. Quantum coherence has recently been investigated rigorously within a resource-theoretic formalism. However, the finer-grained notion of multilevel coherence, which explicitly takes into account the number of superposed classical states, has remained relatively unexplored. A comprehensive analysis of multi-level coherence, which acts as the single-party analogue to multi-partite entanglement, is essential for understanding natural quantum processes as well as for gauging the performance of quantum technologies. Here we develop the theoretical and experimental groundwork for characterizing and quantifying multilevel coherence. We prove that non-trivial levels of purity are required for multilevel coherence, as there is a ball of states around the maximally mixed state that do not exhibit multilevel coherence in any basis. We provide a simple necessary and sufficient analytical criterion to verify multilevel coherence, which leads to a complete classification for three-level systems. We present the robustness of multilevel coherence, a bona fide quantifier which we show to be numerically computable via semidefinite programming and experimentally accessible via multilevel coherence witnesses. We further verify and lower-bound the robustness of multilevel coherence by performing a semi-device-independent phase discrimination task, implemented experimentally with four-level probes in a photonic setup. Our results contribute to understanding the operational relevance of genuine multilevel coherence, also by demonstrating the key role it plays in enhanced phase discrimination---a primitive for quantum communication and metrology---and suggest new ways to reliably test the quantum behaviour of physical systems.