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

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

\mathrm{KD}_{\mathcal{A},\mathcal{B}}^+

is a convex hull of the set

\mathrm{pure}({\mathrm{KD}_{\mathcal{A},\mathcal{B}}^+})

based on DFT, where

\mathrm{KD}_{\mathcal{A},\mathcal{B}}^+

is the set of KD classical states with respect to two bases and

\mathrm{pure}({\mathrm{KD}_{\mathcal{A},\mathcal{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.

Note:

26 pages

KD classical state
discrete Fourier transform
KD quasiprobability distribution
convex combination

References(0)

Figures(0)

Loading ...