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

• URL: http://arxiv.org/abs/2404.09399v2
• Date: Fri, 13 Sep 2024 02:03:37 GMT
• Title: Geometry of Kirkwood-Dirac classical states: A case study based on discrete Fourier transform
• Authors: Ying-Hui Yang, Shuang Yao, Shi-Jiao Geng, Xiao-Li Wang, Pei-Ying Chen,
• Abstract summary: characterization of Kirkwood-Dirac (KD) classicality is important in quantum information processing. We show that for $p2$ dimensional system, the set $rmKD_mathcalA,mathcalB+$ is a convex hull of the set $rm pure(rm KD_mathcalA,mathcalB+)$ based on DFT.
• Score: 7.9992601246096315
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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[J. Math. Phys. \textbf{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^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 $\rm{KD}_{\mathcal{A},\mathcal{B}}^+$ is a convex hull of the set $\rm {pure}({\rm {KD}_{\mathcal{A},\mathcal{B}}^+})$ based on DFT, where $\rm{KD}_{\mathcal{A},\mathcal{B}}^+$ is the set of KD classical states with respect to two bases and $\rm {pure}({\rm {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.

Related papers

• Poisson Geometric Formulation of Quantum Mechanics [0.6906005491572401]
  We study the geometrical formulation of quantum mechanics for finite dimensional mixed and pure states. We show that quantum mechanics can be understood in the language of classical mechanics.
  arXiv  Detail & Related papers  (2023-12-09T17:05:56Z)
• Dimension-free Remez Inequalities and norm designs [48.5897526636987]
  A class of domains $X$ and test sets $Y$ -- termed emphnorm -- enjoy dimension-free Remez-type estimates. We show that the supremum of $f$ does not increase by more than $mathcalO(log K)2d$ when $f$ is extended to the polytorus.
  arXiv  Detail & Related papers  (2023-10-11T22:46:09Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• Higher rank antipodality [0.0]
  Motivated by general probability theory, we say that the set $X$ in $mathbbRd$ is emphantipodal of rank $k$. For $k=1$, it coincides with the well-studied notion of (pairwise) antipodality introduced by Klee.
  arXiv  Detail & Related papers  (2023-07-31T17:15:46Z)
• Characterizing the geometry of the Kirkwood-Dirac positive states [0.0]
  The Kirkwood-Dirac (KD) quasiprobability distribution can describe any quantum state with respect to the eigenbases of two observables $A$ and $B$. We show how the full convex set of states with positive KD distributions depends on the eigenbases of $A$ and $B$. We also investigate if there can exist mixed KD-positive states that cannot be written as convex combinations of pure KD-positive states.
  arXiv  Detail & Related papers  (2023-05-31T18:05:02Z)
• Characterizing Kirkwood-Dirac nonclassicality and uncertainty diagram based on discrete Fourier transform [6.344765041827868]
  We show that for the uncertainty diagram of the DFT matrix which is a transition matrix from basis $mathcal A$ to basis $mathcal B$, there is no hole" We present that the KD nonclassicality of a state based on the DFT matrix can be completely characterized by using the support uncertainty relation.
  arXiv  Detail & Related papers  (2023-03-30T07:55:21Z)
• Near-optimal fitting of ellipsoids to random points [68.12685213894112]
  A basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Omega(, d2/mathrmpolylog(d),)$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix.
  arXiv  Detail & Related papers  (2022-08-19T18:00:34Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
  arXiv  Detail & Related papers  (2022-08-12T15:05:07Z)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Good Quantum LDPC Codes with Linear Time Decoders [18.16859234929625]
  We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. One of the main ingredients in the analysis is a proof of an essentiallyoptimal property for the tensor product of two random codes.
  arXiv  Detail & Related papers  (2022-06-15T18:23:15Z)
• Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
  It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
  arXiv  Detail & Related papers  (2021-09-06T14:21:43Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.