Geometry of Kirkwood–Dirac classical states: a case study based on discrete Fourier transform

Source abstract

Abstract The characterization of Kirkwood–Dirac (KD) classicality or non-classicality is very important in quantum information processing. In general, the set of KD classical states with respect to two bases is not a convex polytope (Langrene et al 2024 J. Math. Phys. 65 072201), which makes us interested in finding out in which circumstances they do form a polytope. In this paper, we focus on the characterization of KD classicality of mixed states for the case where the transition matrix between two bases is a discrete Fourier transform (DFT) matrix in Hilbert space with dimensions p 2 and pq , respectively, where p , q are prime. For the two particular cases we investigate, the sets of extremal points are finite, implying that the set of KD classical states we characterize forms a convex polytope. We show that for p 2 dimensional system, the set KD A , B + is a convex hull of the set pure ( KD A , B + ) based on DFT, where KD A , B + is the set of KD classical states with respect to two bases and pure ( KD A , B + ) is the set of all the rank-one projectors of KD classical pure states with respect to two bases. In pq dimensional system, we believe that this result also holds. Unfortunately, we do not completely prove it, but some meaningful conclusions are obtained about the characterization of KD classicality.