Geometry of Kirkwood-Dirac classical states： A case study based on discrete Fourier transform

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 polytopeJ. Math. Phys. 65 072201 (2024), which makes us interested in finding out in which circumnstances 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² 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² dimensional system, the set KD₀, ₁^+ is a convex hull of the set pure ({KD₀, ₁^+}) based on DFT, where KD₀, ₁^+ is the set of KD classical states with respect to two bases and pure ({KD₀, ₁^+}) 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.