Next Article in Journal
Young’s Experiment with Entangled Bipartite Systems: The Role of Underlying Quantum Velocity Fields
Next Article in Special Issue
Partial Recovery of Coherence Loss in Coherence-Assisted Transformation
Previous Article in Journal
Optimal Deployment Strategy for Reconfigurable Intelligent Surface under LoSD via Joint Active and Passive Beamforming
Previous Article in Special Issue
Bandit Algorithm Driven by a Classical Random Walk and a Quantum Walk
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Characterizing an Uncertainty Diagram and Kirkwood–Dirac Nonclassicality Based on Discrete Fourier Transform

School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo 454000, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Entropy 2023, 25(7), 1075; https://doi.org/10.3390/e25071075
Submission received: 15 June 2023 / Revised: 13 July 2023 / Accepted: 14 July 2023 / Published: 17 July 2023
(This article belongs to the Special Issue Recent Advances in Quantum Information Processing)

Abstract

:
In this paper, we investigate an uncertainty diagram and Kirkwood–Dirac (KD) nonclassicality based on discrete Fourier transform (DFT) in a d-dimensional system. We first consider the uncertainty diagram of the DFT matrix, which is a transition matrix from basis A to basis B . Here, the bases A ,   B are not necessarily completely incompatible. We show that for the uncertainty diagram of the DFT matrix, there is no “hole” in the region of the ( n A , n B ) plane above and on the line n A + n B = d + 1 . Then, we present where the holes are in the region strictly below the line and above the hyperbola n A n B = d . Finally, we provide an alternative proof of the conjecture about KD nonclassicality based on DFT.

1. Introduction

In quantum mechanics, there exist many nonclassical properties, such as entanglement, discord, coherence, nonlocality, contextuality and negativity or nonreality of quasiprobability distributions. By studying these nonclassical properties, one can not only obtain a better understanding of quantum mechanics but also explore their applications in quantum information processing. The Kirkwood–Dirac (KD) distribution is a quasiprobability distribution that was independently developed by Kirkwood [1] and Dirac [2]. It is a finite-dimensional analog of the well-known Wigner distribution [3,4]. A quasiprobability distribution behaves like a probability distribution, but negative or nonreal values are allowed to appear in the distribution. For a quantum state and some observables, the KD distribution of this state can be obtained. A quantum state is called KD classical if the KD distribution of the state is real non-negative everywhere, i.e., a probability distribution. Otherwise, it is called KD nonclassical. Recently, KD nonclassicality has come to the forefront due to its application in quantum tomography [5,6,7,8,9,10,11,12,13,14] and weak measurements [15,16,17].
The noncommutativity of observables cannot guarantee the nonclassicality of a state [18]. The KD nonclassicality of a state depends not only on the state but also on the eigenbases of observables. Given a state | ψ and an eigenbasis A of observable A and an eigenbasis B of observable B, authors in Ref. [19] gave a sufficient condition on the KD nonclassicality of a state; that is, | ψ is KD is nonclassical if n A ( ψ ) + n B ( ψ ) > 3 d 2 , where n A ( ψ ) counts the number of nonvanishing coefficients in the basis A representation, and it is similar for n B ( ψ ) . In 2021, De Bièvre [20] introduced the concept of complete incompatibility on the eigenbases A , B of two observables A , B and presented the relations among complete incompatibility, support uncertainty and KD nonclassicality, also showing that | ψ is KD nonclassical if n A ( ψ ) + n B ( ψ ) > d + 1 and a i | b j 0 , where | a i and | b j are the eigenvectors of A , B , respectively. Xu [21] generalized the concept of complete incompatibility to s-order incompatibility and established a link between s-order incompatibility and the minimal support uncertainty. Fiorentino et al. [22] generalized Tao’s uncertainty relation [23] to complete sets of mutually unbiased bases in spaces of prime dimensions. Recently, De Bièvre [24] provided an in-depth study of the links of complete incompatibility to support uncertainty and to KD nonclassicality. Xu [25] gave some characterizations for the general structure of KD classical pure states and showed that when A , B are mutually unbiased bases, | ψ is KD classical if and only if n A ( ψ ) n B ( ψ ) = d . This answered the conjecture in Ref. [20]. Langrenez et al. characterized how the full convex set of states with positive KD distributions depends on the eigenbases of A and B [26].
Discrete Fourier transform (DFT) is an important linear transform in quantum information theory. The uncertainty diagram is a practical and visual tool to study the uncertainty of a state with respect to bases A , B . De Bièvre [24] characterized the uncertainty diagram of complete incompatibility bases. However, for the DFT matrix with nonprime order, the bases A , B are not completely incompatible bases. The uncertainty diagram of the DFT matrix with nonprime order is still unclear. In this paper, we consider this question. Firstly, for the uncertainty diagram of DFT, we show that for any dimension d, there is no “hole” in the region of the ( n A , n B ) plane above or on the line defined by Tao’s uncertainty relation [23], n A + n B = d + 1 , i.e., there is no absence of states with ( n A ( ψ ) , n B ( ψ ) ) in the region. Secondly, we provide some holes in the region strictly below the line and above the hyperbola defined by Donoho and Stark’s product uncertainty relation [27], n A n B = d . Finally, we give a new method to prove the conjecture [20] about KD nonclassicality of a state based on DFT. Our method avoids analyzing the phases and only uses the concept of congruence class.
The rest of this paper is organized as follows. In Section 2, we recall some relevant notions and notations. In Section 3, we study the uncertainty diagram of DFT. In Section 4, we give an alternative method to characterize the KD nonclassicality of a state based on DFT. Conclusions are given in Section 5.

2. Preliminaries

Consider a Hilbert space H with dimension d. Let an orthonormal basis A = { | a i } i = 0 d 1 , respectively, B = { | b j } j = 0 d 1 , be the eigenbasis of observable A, respectively, of observable B. Let U be the unitary transition matrix with entries U i j = a i | b j from basis A to basis B . In terms of these two bases, the Kirkwood–Dirac (KD) distribution of a state | ψ H can be written as
Q i j = a i | ψ ψ | b j b j | a i , i , j Z d .
It is a quasiprobability distribution and satisfies i , j = 0 d 1 Q i j = 1 , with conditional probabilities Q ( a i | ψ ) = j = 0 d 1 Q i j = | a i | ψ | 2 and Q ( b j | ψ ) = i = 0 d 1 Q i j = | b j | ψ | 2 . A state | ψ is called classical if the KD distribution of | ψ is a probability distribution, i.e., Q i j 0 for all i , j Z d . Otherwise, | ψ is called nonclassical. Obviously, all of the basis vectors | a i and | b j are classical.
Given a state | ψ H , let n A ( ψ ) , respectively, n B ( ψ ) , be the number of nonzero components of | ψ on A , respectively, on B . That is, n A ( ψ ) = | S ψ | and n B ( ψ ) = | T ψ | , where
S ψ = { i | a i | ψ 0 , i Z d } , T ψ = { j | b j | ψ 0 , j Z d } ,
and | · | denotes the cardinality of a set.
Two bases A and B are called completely incompatible [20] if all index sets S , T Z d for which | S | + | T | d have the property that
H ( S , T ) : = Π A ( S ) H Π B ( T ) H = { 0 } ,
where Π A ( S ) is an orthogonal projector i S | a i a i | and Π A ( S ) H is a | S | -dimensional subspace. Notice that any | ψ Π A ( S ) H implies S ψ S . If A and B are completely incompatible and mutually unbiased (or close to mutually unbiased), the only classical states are the basis states [24].
The physical interpretation of completely incompatible bases is based on the theory of selective projective measurements [24]. Suppose, on a state | ψ , successive measurements in basis A then basis B yields the outcomes S then T. If the outcome S occurs with probability one when measuring again in A after having obtained T, then it implies that the measurement B is not disturbed by the first outcome S. The completely incompatible bases implies that such repeated compatible selective measurements cannot occur.
The uncertainty diagram for orthonormal bases A , B , denoted by UNCD ( A , B ) , is a set of points ( n A , n B ) Z d + 1 * × Z d + 1 * in the n A n B plane, for which there exists a state | ψ such that n A ( ψ ) = n A and n B ( ψ ) = n B , where Z d + 1 * = Z d + 1 \ { 0 } . For any state | ψ H , we have n A ( ψ ) n B ( ψ ) max i , j | a i | b j | 2 , where i , j Z d [20,24,27]. If A , B are mutually unbiased bases (MUBs) [28,29], i.e., | a i | b j | = 1 d for all i , j Z d , we have n A ( ψ ) n B ( ψ ) d . This is Donoho and Stark’s product uncertainty relation [27]. This means that all the points ( n A , n B ) UNCD ( A , B ) are above or on the hyperbola n A n B = d . The inequality n A + n B d + 1 is Tao’s uncertainty relation [23].
The following lemma was introduced in Ref. [24]. It can be employed to determine whether a point ( n A , n B ) belongs to UNCD ( A , B ) .
Lemma 1.
Let S , T be two subsets of Z d and suppose dim H ( S , T ) = L 1 . Suppose that for all S S for which | S | = | S | 1 , one has dim H ( S , T ) L 1 , and that for all T T for which | T | = | T | 1 , one has dim H ( S , T ) L 1 . Then, the set of | ψ H ( S , T ) for which n A ( ψ ) = | S | , n B ( ψ ) = | T | is an open and dense set in H ( S , T ) . The opposite implication is also true.
By Lemma 1, the point ( d , d ) belongs to the UNCD ( A , B ) , since dim H ( S , T ) = dim H = d and dim H ( S , T ) = dim H ( S , T ) = d 1 . In order to better employ Lemma 1, let us first consider subspace H ( S , T ) . Without loss of generality, let S = { 0 , 1 , , k 1 } , T = { 0 , 1 , , l 1 } . If k = d , then H ( S , T ) = Π B ( T ) H . If k d , H ( S , T ) is isomorphic to the null space of a ( d k ) × l matrix. Notice that [20]
H ( S , T ) { ( β 0 , , β l 1 ) | a i | φ = 0 , i Z d \ S } , = { ( β 0 , , β l 1 ) | j = 0 l 1 a i | b j β j = 0 , i Z d \ S } ,
where | φ = j = 0 l 1 β j | b j H ( S , T ) , and ≅ denotes two sets are isomorphic. It follows that H ( S , T ) is isomorphic to the null space of the matrix M = ( a i | b j ) ( d k ) × l . It implies that dim H ( S , T ) = l − Rank ( M ) . In this paper, a submatrix of a matrix U is denoted by
U i 0 , i 1 , , i s ; j 0 , j 1 , , j t . ,
where i k and j l are the i k -th row and j l -th column of U and i k , j l Z d .
Now, an improved lemma is given to show the existence of point ( n A , n B ) in UNCD ( A , B ) .
Lemma 2.
In UNCD ( A , B ) , suppose n A d . Then, a point ( n A , n B ) UNCD ( A , B ) if and only if there exists a ( d n A ) × n B submatrix M of the transition matrix U,
M = U i 0 , i 1 , , i d n A 1 ; j 0 , j 1 , , j n B 1 . ,
which satisfies the following three conditions:
(i) Rank ( M ) < n B ;
(ii) Rank ( M ) = Rank ( M ) + 1 , where
M = U i 0 , i 1 , , i d n A 1 , i d n A ; j 0 , j 1 , , j n B 1 .
and i d n A Z d \ { i 0 , i 1 , , i d n A 1 } ;
(iii) Rank ( M ) = Rank ( M ) , where M is a new submatrix of U that is obtained by removing one column of M.
Proof. 
Let us first consider the sufficiency. Without loss of generality, suppose that a submatrix M = ( a i | b j ) ( d n A ) × n B with n A i d 1 and 0 j n B 1 satisfies the three conditions in Lemma 2. Let S = Z n A and T = Z n B .
Note that dim H ( S , T ) is equal to the dimension of the null space of M, that is, dim H ( S , T ) = n B Rank ( M ) . Then, dim H ( S , T ) 1 , since Rank ( M ) < n B . For any S S for which | S | = n A 1 , assume S = S \ { k } , k Z n A . Then, dim H ( S , T ) = n B Rank ( M ) , where M is a ( d n A + 1 ) × n B submatrix of U that is obtained by adding row k, i.e.,
( a k | b 0 , . . . , a k | b n B 1 ) ,
to M. By condition (ii), we have Rank ( M ) = Rank ( M ) + 1 . Thus,
dim H ( S , T ) = n B Rank ( M ) = n B Rank ( M ) 1 < dim H ( S , T ) ) .
For any T T for which | T | = n B 1 , assume T = T \ { l } , l Z n B . Then, dim H ( S , T ) is equal to the dimension of the null space of M , i.e., dim H ( S , T ) = n B 1 Rank ( M ) , where M is a ( d n A ) × ( n B 1 ) submatrix of U that is obtained by removing column l of M, i.e., ( a 1 | b l , , a n A 1 | b l ) T . By condition (iii), we have Rank ( M ) = Rank ( M ) . It follows dim H ( S , T ) = n B 1 Rank ( M ) = n B 1 Rank ( M ) < dim H ( S , T ) . Therefore, ( n A , n B ) UNCD ( A , B ) by Lemma 1.
Now, we turn to showing the necessity. We proceed by contradiction. If condition (i) does not hold, i.e., Rank ( M ) = n B , it implies dim H ( S , T ) = 0 . Thus, ( n A , n B ) UNCD ( A , B ) by Lemma 1. It is a contradiction. If condition (ii) cannot be satisfied, i.e., for any ( d n A ) × n B submatrix M of U, there exists a row, called row k, that is added to M such that Rank ( M ) = Rank ( M ) . Hence, dim H ( S , T ) = dim H ( S , T ) = n B Rank ( M ) , where S = S \ { k } . It means ( n A , n B ) UNCD ( A , B ) by Lemma 1. Similarly, we can also obtain the desired result when condition (iii) cannot be satisfied. □
Note that M in Equation (7) is a submatrix of U, and condition (ii) means the rank will increase by one if a new row is added to the submatrix M. And condition (iii) means the rank is invariant if a column of M is removed. Lemma 2 provides a more efficient method to determine whether a point ( n A , n B ) belongs to UNCD ( A , B ) or not.
Now, we introduce the discrete Fourier transform (DFT). Suppose that F is the DFT matrix with F = ( F i j ) = ( 1 d ω d i j ) , where i , j Z d and ω d = e 2 π 1 / d . Obviously, F is a symmetric and reversible Vandermonde matrix. The DFT matrix F has the following property.
Lemma 3.
Suppose m | d but m d . Let
M = F i 0 , i 0 + m , , i 0 + ( t 1 ) m ; j 0 , j 1 , , j s 1 . ,
where t d m and j l j k mod d m for l k . Then, Rank(M) = min { s , t } .
The proof of Lemma 3 is given in Appendix A. Since F is symmetric, a similar property can be obtained if one interchanges indices of the rows with that of columns of M in Equation (8). Lemma 3 means that M in Equation (8) is a row full-rank matrix or a column full-rank matrix.

3. Uncertainty Diagram of DFT

De Bièvre [20] has shown that the points on the hyperbola n A ( ψ ) n B ( ψ ) = d belong to UNCD ( A , B ) of the DFT matrix F. He [24] also showed that A and B are completely incompatible if and only if
UNCD ( A , B ) = { ( n A , n B ) | n A + n B d + 1 , n A , n B Z d + 1 * } .
However, it is unclear if A and B are not completely incompatible. In this section, we continue to explore UNCD ( A , B ) of F.
The UNCD ( A , B ) of F is symmetric, since F is symmetric [24]. That is, ( n A , n B ) UNCD ( A , B ) of F if and only if ( n B , n A ) UNCD ( A , B ) of F.
Theorem 1.
Suppose m | d and n 0 . A point ( d n , n B ) belongs to the UNCD ( A , B ) of F if m | n and n m < n B d m .
Proof. 
In order to show ( d n , n B ) UNCD ( A , B ) , we only need to find an n × n B submatrix that satisfies Lemma 2. First of all, let
N = F 0 , 1 , , n m 1 ; 0 , m , , ( n B 1 ) m . = ω d i k m n m × n B ,
where i Z n m and k Z n B . Obviously, N is a n m × n B submatrix of F, since n m < n B , N is a Vandermonde Matrix that is a row full-rank matrix by Lemma 3. The matrix N has the following two properties:
(i) If row i 1 { n m , n m + 1 , , d m 1 } of F is added to N to obtain submatrix N , then Rank( N ) = Rank(N) + 1 = n m + 1 by Lemma 3. It is because N is still a Vandermonde matrix, and n m + 1 n B and ω d i m ω d i m , where i , i Z n m { i 1 } , i i .
(ii) If a column of N is removed to obtain submatrix N , then Rank( N ) = Rank(N) = n m by Lemma 3 and n m n B 1 .
Secondly, consider the following n × n B submatirx
M = F , d m i , d m i + 1 , , d m i + n m 1 , ; 0 , m , , ( n B 1 ) m . , i = 0 , 1 , , m 1 = N N N .
The equality in Equation (9) holds due to ω d ( d m i + j ) × k m = ω d j × k m . It follows Rank(M) = Rank(N) = n m < n B .
Since N has the above two properties and M has the form in Equation (9), we have Rank ( M ) = n m + 1 = Rank ( M ) + 1 and Rank ( M ) = n m = Rank ( M ) , where M is obtained by adding a new row d m j + i 1 to M, i 1 Z d m \ Z n m , and M is obtained by removing a column of M. Here, we employ the condition ω d ( d m j + i 1 ) k m = ω d i 1 k m . So, M is the required submatrix. By Lemma 2, the required result is obtained. □
Notice that n 0 . This means Theorem 1 cannot work for ( d , n B ) . However, taking m = 1 and n B = d in Theorem 1, we obtain ( i , d ) UNCD ( A , B ) , where i Z d * . By the symmetry of UNCD ( A , B ) of F, we have ( d , i ) UNCD ( A , B ) , where i Z d * . In addition, ( d , d ) UNCD ( A , B ) by Lemma 1.
Taking m = 1 and n A = d n , we have the following result by Theorem 1 and the discussions above.
Corollary 1.
A point ( n A , n B ) UNCD ( A , B ) of F if n A + n B d + 1 .
Note that in Corollary 1, n A can run over set Z d + 1 * due to the above discussion of Corollary 1. Corollary 1 means that all the points above and on the line segment n A + n B = d + 1 do exist, whether A and B are completely incompatible or not. It implies that there is no “hole” in the region of the ( n A , n B ) plane above and on the line n A + n B = d + 1 for any d; that is, there is no absence of states with ( n A ( ψ ) , n B ( ψ ) ) in the region. The absence of states lies strictly above the hyperbola of n A ( ψ ) n B ( ψ ) = d and strictly below the line n A + n B = d + 1 . This is illustrated in Figure 1. The following theorems show where the holes are.
Theorem 2.
A point ( d n , 2 ) belongs to the UNCD ( A , B ) of F if and only if n = 0 or n | d but n d .
Proof. 
Sufficiency can be obtained by taking n = m in Theorem 1 and by the discussion above of Corollary 1 for n = 0 . We now show the necessity. Since ( d , 2 ) and ( d 1 , 2 ) belong to UNCD ( A , B ) , we have n = 0 , 1 , respectively. Then, we consider n 2 . A point ( d n , 2 ) belongs to UNCD ( A , B ) of F. It means there exists an n × 2 submatrix
M = ω d i 0 j ω d i 0 k ω d i n 1 j ω d i n 1 k .
satisfying Lemma 2. Then, we have Rank ( M ) =1. This means that ω d ( i t i s ) j = ω d ( i t i s ) k for any s , t Z n and s t . It follows that ( i t i s ) ( k j ) 0 mod d . Assume gcd ( k j , d ) = p . Then, i s i t mod d p . That is, i s is in the congruence class of i t modulo d p . Notice that the cardinality of the congruence class of i t modulo d p is p. It implies that there are at most p rows in submatrix M by the arbitrariness of s , t Z n , i.e., n p . In fact, the submatrix M has only p rows, i.e., n = p . Otherwise, M cannot satisfy the second condition of Lemma 2. Thus, n | d since p | d . However, n = p d , since j k mod d . □
Note that for the UNCD ( A , B ) of F, n A ( ψ ) n B ( ψ ) d for any state | ψ H . Thus, n = d is meaningless in Theorem 2. This means that a point ( d n , 2 ) the UNCD ( A , B ) of F if and only if n d . In fact, we only consider the case n d 2 since ( d n ) × 2 d . For example, if d = 6 , there is no hole for n B = 2 , since n = 1 , 2 , 3 are all the divisors of 6. See panel (a) of Figure 1. If d = 8 , there is a hole ( 5 , 2 ) , since n = 3 8 . See panel (b) of Figure 1.
Theorem 3.
Suppose d has only nontrivial prime divisors. Then, a point ( d n , 3 ) belongs to the UNCD ( A , B ) of F if and only if n = 0 or there exists a divisor m of d such that 3 m d and n = m or n = 2 m .
The proof of Theorem 3 is given in Appendix B. Theorem 3 presents where the holes are when n B = 3 . For instance, if d = 9 , m = 1 , 2 . Then, n = 0 , 1 , 2 , 3 , 6 . It implies that n A = 9 , 8 , 7 , 6 , 3 , but n A 5 , 4 . Thus, there is two holes, ( 5 , 3 ) and ( 4 , 3 ) , for n B = 3 . See panel (c) of Figure 1. Panel (d) is for d = 10 . It should be noted that although 8 has a nontrivial nonprime divisor, one can check that the result of Theorem 3 for d = 8 still holds, since the proof can be followed similarly for the proof of Theorem 3.

4. KD Nonclassicality on DFT

In Section 3, the existence of states in UNCD ( A , B ) has been shown. In this section, we focus on the KD nonclassicality of a state based on DFT. In Ref. [20], De Bièvre gave a conjecture, that is, whether it is true that the only KD classical states for the DFT are the ones on the hyperbola n A ( ψ ) n B ( ψ ) = d . From a different perspective than Xu [25], we give an alternative method to prove this conjecture. Our method avoids analyzing the phases and only uses the concept of congruence class.
Theorem 4.
Suppose that the bases A and B are related by the DFT matrix F. A state | ψ H is KD nonclassical if and only if n A ( ψ ) n B ( ψ ) > d . In other words, | ψ is KD classical if and only if n A ( ψ ) n B ( ψ ) = d .
Proof. 
The necessity has been proved by De Bièvre in Ref. [20]. Here, we only need to show the sufficiency, i.e., | ψ H is KD nonclassical if n A ( ψ ) n B ( ψ ) > d .
We proceed by contradiction. Suppose that | ψ is KD classical, i.e.,
a i | ψ ψ | b j b j | a i 0
for any i , j Z d . Since the KD distribution is insensitive to global phase rotations, we perform global phase rotations | a i e 1 ϕ i | a i and | b j | e 1 ϕ j | b j | such that a i | ψ and ψ | b j are non-negative for i , j Z d . Reordering the basis vectors, we can suppose that a i m | ψ > 0 and ψ | b j s > 0 for m Z n A ( ψ ) and s Z n B ( ψ ) , where i m , j s are initial indices of basis vectors | a m and | b s , respectively. Thus, for the same range of i m and j s , we have b j s | a i m 0 . Since F is the DFT matrix, we have | F i j | = | a i | b j | = 1 d | ω d i j | = 1 d . It follows a i m | b j s = 1 d for m Z n A ( ψ ) , and s Z n B ( ψ ) . It means that the top left-hand block V = ( v i j ) in the new transition matrix after reordering the basis vectors is an n A × n B submatrix with all entries of 1 d .
Let us first consider the trivial case. If n A ( ψ ) = 1 (or n B ( ψ ) = 1 ), then n B ( ψ ) = d (or n A ( ψ ) = d ), since F is the DFT matrix. Thus, n A ( ψ ) n B ( ψ ) = d . It is a contradiction with n A ( ψ ) n B ( ψ ) > d .
Next, we consider the case n A ( ψ ) 2 and n B ( ψ ) 2 . For any m Z n A ( ψ ) , any s , t Z n B ( ψ ) with s < t , calculate the product of two numbers, d v m s * and d v m t , in V. We have
1 = d v m s * · v m t = d e 1 ( ϕ j s ϕ i m ) b j s | a i m e 1 ( ϕ j t ϕ i m ) a i m | b j t = e 1 ( ϕ j t ϕ j s ) ω d i m j s ω d i m j t = ω d α s , t + i m ( j t j s ) .
where α s , t : = d 2 π ( ϕ j t ϕ j s ) . This implies that α s , t + i m ( j t j s ) 0 mod d . Notice that α s , t is independent of m. Thus, for any m , n Z n A ( ψ ) and m < n , we have
α s , t + i m ( j t j s ) 0 mod d , α s , t + i n ( j t j s ) 0 mod d .
It follows that
( i n i m ) ( j t j s ) 0 mod d .
Suppose gcd ( j t j s , d ) = p and q : = d p . If p = 1 , then i n i m mod d . This is impossible, since m , n Z n A ( ψ ) and m < n . If p 1 , then we have
i n i m mod q , j t j s mod p .
It implies that i n is in the congruence class of i m modulo q and the cardinality of the congruence class of i m is p. Similarly, j t is in the congruence class of j s modulo p, and the cardinality of the congruence class of j s is q. Because of the arbitrariness of i n , i m Z n A ( ψ ) and j t , j s Z n B ( ψ ) , we obtain n A ( ψ ) p and n B ( ψ ) q . Therefore, n A ( ψ ) n B ( ψ ) d . This is a contradiction with n A ( ψ ) n B ( ψ ) > d . □
From the above proof, we find that n A ( ψ ) n B ( ψ ) d if | ψ is KD classical. It follows that n A ( ψ ) n B ( ψ ) = d , since n A ( ψ ) n B ( ψ ) d for the DFT matrix. This implies that only the KD classical states lie on the hyperbola of n A ( ψ ) n B ( ψ ) = d . This result gives a positive answer to the conjecture in Ref. [20].
When d is prime, the bases A , B are completely incompatible. Then, all the states are nonclassical except for basis vectors [20]. In Theorem 4, the KD nonclassicality of a state based on the DFT matrix, whenever d is prime or not, is completely characterized by Donoho and Stark’s product uncertainty relation [27], n A n B = d . See Figure 1. It should be noted that this method is completely different from the method in Ref. [25]. Here, we only use the concept of congruence class.
In the following example, we analyze the positions of two states in UNCD ( A , B ) and their KD nonclassicality.
Example 1.
Consider the computational basis A = { | j } j = 0 5 and B = { | Φ j } j = 0 5 in C 6 , where | Φ j = 1 6 Σ k = 0 5 ω 6 j k | k . Obviously, the DFT matrix F is the transition matrix from A to B . Take a state | ψ 1 = 1 2 [ | Φ 0 | Φ 2 ] = 1 12 [ ( 1 ω 6 2 ) | 1 + ( 1 + ω 6 ) | 2 + ( 1 ω 6 2 ) | 4 + ( 1 + ω 6 ) | 5 ] . Then, n A ( ψ 1 ) = 4 and n B ( ψ 1 ) = 2 . The KD distribution, presented in Table 1, is nonclassical. Take | ψ 2 = 1 2 [ | Φ 0 + | Φ 3 ] = 1 3 [ | 0 + | 2 + | 4 ] , then n A ( ψ 2 ) = 3 and n B ( ψ 2 ) = 2 . The KD distribution, presented in Table 2, is real and non-negative.
It should be noted that the notions of nonclassicality based on the different contexts are different. In Ref. [30], Ferraro et al. focus on two celebrated criteria for defining the nonclassicality of bipartite bosonic quantum systems. One stems from physical constraints on the quantum phase space. The other stems from information theoretic concepts. They showed that the two defining criteria are maximally inequivalent. Notice that these two types of definitions of the nonclassicality are for bipartite quantum systems. The quasiprobability formalism provides a useful alternative to describe the nonclassicality of quantum states. The Wigner function is the most famous quasiprobability distribution which deals with continuous variable systems [3,4]. However, it is ill-suited for finite-dimensional systems and observables. The KD distribution can deal with finite-dimensional systems. It is a versatile tool in studying quantum information processing. Recently, Budiyono et al. quantified quantum coherence via KD quasiprobability [31]. Since the terms “classicality” and “nonclassicality” lack unique definition, Langrenez et al. changed the terminology from KD-classical to KD-positive [26]. Notice that the KD distribution can be used for a single qudit system. It implies that a finite-dimensional system is not always nonclassical. For instance, the KD classical states only lie on the hyperbola of n A ( ψ ) n B ( ψ ) = d for the DFT matrix. See Figure 1.

5. Conclusions and Discussion

We studied the uncertainty diagram and Kirkwood–Dirac nonclassicality based on DFT in a d-dimensional system. We showed that for the uncertainty diagram of the DFT matrix, there is no “hole” in the region of the ( n A , n B ) plane above and on the line n A + n B = d + 1 , whether the bases A , B are completely incompatible bases or not. The absence of states lies strictly above the hyperbola of n A ( ψ ) n B ( ψ ) = d and strictly below the line n A + n B = d + 1 . Then, we showed where the holes are when n B = 2 , 3 . Finally, an alternative method to prove the conjecture in Ref. [20] was proposed.
As is known, completely incompatible bases imply that repeated compatible selective measurements cannot occur. However, for the DFT matrix with nonprime d, A and B are not completely incompatible. This means that there exist some states such that repeated compatible selective measurements can occur. In addition, as concerns the KD distribution, nonclassical KD quasiprobabilities have been linked to various forms of quantum advantages in weak measurements [15,16,17], quantum tomography [11,12] and quantum metrology [32]. Our results might provide better understanding and insight into the roles of KD nonclassicality as a resource in quantum information processing. We hope our results can lead to more findings in this field. There are still some questions left. For example, how is the strength of the KD nonclassicality established?

Author Contributions

Methodology, Y.-H.Y. and X.-L.W.; software, Y.-H.Y.; validation, Y.-H.Y., B.-B.Z., X.-L.W., S.-J.G. and P.-Y.C.; formal analysis, Y.-H.Y., B.-B.Z. and X.-L.W.; writing—original draft preparation, Y.-H.Y. and B.-B.Z.; writing—review and editing, X.-L.W., S.-J.G. and P.-Y.C.; supervision, Y.-H.Y. and X.-L.W. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the National Natural Science Foundation of China (Grant Nos. 11971151, 11901163, 62171264, 11871019, 62272208), the Fundamental Research Funds for the Universities of Henan Province (NSFRF220402), Natural Science Foundation of Hebei Province (F2021205001).

Institutional Review Board Statement

Not applicable.

Data Availability Statement

The datasets generated during and/or analyzed during the current study are available from the corresponding author on reasonable request.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. The Proof of Lemma 3

Proof of Lemma 3.
Suppose min { s , t } = u . Consider the u × u submatrix M ˜ in Equation (8),
M ˜ = F i 0 , i 0 + m , , i 0 + ( u 1 ) m ; j 0 , j 1 , , j u 1 . = ω d i 0 j 0 ω d i 0 j u 1 ω d i 0 j 0 + ( u 1 ) m j 0 ω d i 0 j u 1 + ( u 1 ) m j u 1 .
Notice that
det ( M ˜ ) = ω d i 0 ( j 0 + + j u 1 ) 0 l < k u 1 ( ω d m j k ω d m j l ) = ω d i 0 ( j 0 + + j u 1 ) 0 l < k u 1 ( ω d m j k ω d m j l ) 0
since ω d m j k ω d m j l mod d m . Thus Rank( M ) = u. The desired result is obtained. □

Appendix B. The Proof of Theorem 3

Proof of Theorem 3.
Sufficiency can be obtained by Theorem 1 and the discussion above on Corollary 1. Now, we consider the necessity. Since ( d , 3 ) belongs to UNCD ( A , B ) , we have n = 0 . If n = 1 or 2, we can take m = 1 such that the result holds. For n 3 , a point ( d n , 3 ) belongs to the UNCD ( A , B ) of F. This means there exists an n × 3 submatrix
M = ω d i 0 j 0 ω d i 0 j 1 ω d i 0 j 2 ω d i n 1 j 0 ω d i n 1 j 1 ω d i n 1 j 2 .
satisfying Lemma 2. Then, Rank ( M ) 2 . Without loss of generality, assume that the first column of M is a linear combination of the other two columns. It follows that ω d i k j 0 = c 1 ω d i k j 1 + c 2 ω d i k j 2 , where k = 0 , , n 1 , and c 1 , c 2 are the coefficients of the linear combination. Then, c 1 ω d i k ( j 1 j 0 ) + c 2 ω d i k ( j 2 j 0 ) = 1 . By Euler’s formula e x 1 = cos x + 1 sin x , we obtain
c 1 cos 2 π i k ( j 1 j 0 ) d + c 2 cos 2 π i k ( j 2 j 0 ) d = 1 , c 1 sin 2 π i k ( j 1 j 0 ) d + c 2 sin 2 π i k ( j 2 j 0 ) d = 0 .
Calculating the square of two sides of the two equations in Equation (A1) and then adding the two equations, we obtain
2 c 1 c 2 cos 2 π i k ( j 1 j 2 ) d = 1 c 1 2 c 2 2 ,
Case 1. If c 1 c 2 = 0 , then c 1 = 0 or c 2 = 0 . Without loss of generality, suppose c 1 = 0 . Then, ω i k ( j 0 j 2 ) = c 2 . For i k i l , ω ( i k i l ) ( j 0 j 2 ) = 1 . It follows that ( i k i l ) ( j 0 j 2 ) 0 mod d for any k , l Z n . Let gcd ( j 2 j 0 , d ) = p . We have j 2 j 0 mod p and i k i l mod d p . This means that i k is in the congruence class of i l modulo d p for any k , l Z n . This implies that n p , since the cardinality of the congruence class i l modulo d p is p. Next, we show that it is impossible for n < p .
Since c 1 = 0 , Rank ( M ) must be 1. Otherwise, if Rank ( M ) = 2 , we can remove column j 1 , and then Rank ( M ) = 1 , where M is a new submatrix of F that is obtained by removing column j 1 of M. It contradicts condition (iii) of Lemma 2.
For any k , l Z n , the row i k of M is proportional to row i l , since Rank ( M ) = 1 . That is, ω d ( i k i l ) j 0 = ω d ( i k i l ) j 1 = ω d ( i k i l ) j 2 . Hence, ( i k i l ) ( j 0 j 1 ) 0 mod d . It follows that j 0 j 1 j 2 mod p , since p is prime. If n < p , it means that there exists at least one row, say row i s , that is not in submatrix M but satisfies i s i k mod d p . Thus, row i s can be added to M to obtain submatrix M such that Rank ( M ) = Rank ( M ) , since ω d ( i k i s ) j 0 = ω d ( i k i s ) j 1 = ω d ( i k i s ) j 2 . This contradicts condition (ii) of Lemma 2. It implies n = p . The required divisor m of d is p, satisfying m = n and 3 m d .
Case 2. If c 1 c 2 0 , from Equation (A2), we have
cos 2 π i k ( j 1 j 2 ) d = 1 c 1 2 c 2 2 2 c 1 c 2 ,
It follows that
cos 2 π i k ( j 1 j 2 ) d = cos 2 π i l ( j 1 j 2 ) d , k , l Z n .
Thus, we have
( i k ± i l ) ( j 1 j 2 ) 0 mod d .
Suppose gcd ( j 1 j 2 , d ) = p . Then, j 2 j 1 mod p and i k ± i l mod d p . By Equation (A5), there are two subcases, as follows.
Case 2.1. If i k i l mod d p for any k , l Z n , by assumption, we have
ω d i k j 0 = c 1 ω d i k j 1 + c 2 ω d i k j 2 = ω d i k j 2 ( c 1 ω d i k ( j 1 j 2 ) + c 2 ) ω d i l j 0 = c 1 ω d i l j 1 + c 2 ω d i l j 2 = ω d i l j 2 ( c 1 ω d i l ( j 1 j 2 ) + c 2 ) .
Notice that ω d i k ( j 1 j 2 ) = ω d i l ( j 1 j 2 ) , since j 2 j 1 mod p and i k i l mod d p . It follows that c 1 ω d i k ( j 1 j 2 ) + c 2 = c 1 ω d i l ( j 1 j 2 ) + c 2 . Then, ω d ( i k i l ) j 0 = ω d ( i k i l ) j 2 . It follows that j 0 j 1 j 2 mod p , since p is prime. A similar discussion in Case 1 can be applied here. We can obtain n = p = m .
Case 2.2. If this is not the case, there exists an index set C Z n such that i k i 0 mod d p , k C and i l i 0 mod d p , l Z n \ C . Applying a similar discussion in Case 2.1 for i k i 0 mod d p , k C , we have that the cardinality of C is p. Similarly, the cardinality of Z n \ C is also p. Thus, n = 2 p . The required divisor m of d is p, satisfying 2 m = n and 3 m d . □

References

  1. Kirkwood, J.G. Quantum statistics of almost classical assemblies. Phys. Rev. 1933, 44, 31. [Google Scholar] [CrossRef]
  2. Dirac, P.A.M. On the analogy between classical and quantum mechanics. Rev. Mod. Phys. 1945, 17, 195. [Google Scholar] [CrossRef]
  3. Wigner, E. On the quantum correction for thermodynamic equilibrium. Phys. Rev. 1932, 40, 749. [Google Scholar] [CrossRef]
  4. Wootters, W.K. A Wigner-function formulation of finite-state quantum mechanics. Ann. Phys. 1987, 176, 1–21. [Google Scholar] [CrossRef]
  5. Fiurasek, J. Maximum-likelihood estimation of quantum measurement. Phys. Rev. A 2001, 64, 024102. [Google Scholar] [CrossRef] [Green Version]
  6. Riebe, M.; Kim, K.; Schindler, P.; Monz, T.; Schmidt, P.O.; Körber, T.K.; Hänsel, W.; Hxaxffner, H.; Roos, C.F.; Blatt, R. Process tomography of ion trap quantum gates. Phys. Rev. Lett. 2006, 97, 220407. [Google Scholar] [CrossRef] [Green Version]
  7. Johansen, L.M. Quantum theory of successive projective measurements. Phys. Rev. A 2007, 76, 012119. [Google Scholar] [CrossRef] [Green Version]
  8. Lvovsky, A.I.; Raymer, M.G. Continuous-variable optical quantum-state tomography. Rev. Mod. Phys. 2009, 81, 299. [Google Scholar] [CrossRef]
  9. Lundeen, J.S.; Feito, A.; Coldenstrodt-Ronge, H.; Pregnell, K.L.; Silberhorn, C.; Ralph, T.C.; Eisert, J.; Plenio, M.B.; Walmsley, I.A. Tomography of quantum detectors. Nat. Phys. 2009, 5, 27–30. [Google Scholar] [CrossRef] [Green Version]
  10. Nunn, J.; Smith, B.J.; Puentes, G.; Walmsley, I.A.; Lundeen, J.S. Optimal experiment design for quantum state tomography: Fair, precise, and minimal tomography. Phys. Rev. A 2009, 81, 042109. [Google Scholar] [CrossRef] [Green Version]
  11. Lundeen, J.S.; Sutherl, B.; Patel, A.; Stewart, C.; Bamber, C. Direct measurement of the quantum wave function. Nature 2011, 474, 188–191. [Google Scholar] [CrossRef] [Green Version]
  12. Lundeen, J.S.; Bamber, C. Procedure for direct measurement of general quantum states using weak measurement. Phys. Rev. Lett. 2012, 108, 070402. [Google Scholar] [CrossRef] [PubMed]
  13. Bamber, C.; Lundeen, J.S. Observing Dirac’s classical phase space analog to the quantum state. Phys. Rev. Lett. 2014, 112, 070405. [Google Scholar] [CrossRef] [Green Version]
  14. Thekkadath, G.S.; Giner, L.; Chalich, Y.; Horton, M.J.; Banker, J.; Lundeen, J.S. Direct measurement of the density matrix of a quantum system. Phys. Rev. Lett. 2016, 117, 120401. [Google Scholar] [CrossRef] [Green Version]
  15. Pusey, M.F. Anomalous weak values are proofs of contextuality. Phys. Rev. Lett. 2014, 113, 200401. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  16. Dressel, J. Weak values as interference phenomena. Phys. Rev. A 2015, 91, 032116. [Google Scholar] [CrossRef] [Green Version]
  17. Lupu-Gladstein, N.; Yilmaz, Y.B.; Arvidsson-Shukur, D.R.; Brodutch, A.; Pang, A.O.; Steinberg, A.M.; Halpern, N.Y. Negative quasiprobabilities enhance phase estimation in quantum-optics experiment. Phys. Rev. Lett. 2022, 128, 220504. [Google Scholar] [CrossRef] [PubMed]
  18. Jennings, D.; Leifer, M. No return to classical reality. Contemp. Phys. 2016, 57, 60–82. [Google Scholar] [CrossRef] [Green Version]
  19. Arvidsson-Shukur, D.R.M.; Drori, J.C.; Halpern, N.Y. Conditions tighter than noncommutation needed for nonclassicality. J. Phys. A 2021, 54, 284001. [Google Scholar] [CrossRef]
  20. De Bièvre, S. Complete incompatibility, Support uncertainty, and Kirkwood-Dirac nonclassicality. Phys. Rev. Lett. 2021, 127, 190404. [Google Scholar] [CrossRef]
  21. Xu, J.W. Classification of incompatibility for two orthonormal bases. Phys. Rev. A 2022, 106, 022217. [Google Scholar] [CrossRef]
  22. Fiorentino, V.; Weigert, S. Uncertainty relations for the support of quantum states. J. Phys. A Math. Theor. 2022, 55, 495305. [Google Scholar] [CrossRef]
  23. Tao, T. An uncertainty principle for cyclic groups of prime order. Math. Res. Lett. 2005, 12, 121–127. [Google Scholar] [CrossRef] [Green Version]
  24. De Bièvre, S. Relating incompatibility, noncommutativity, uncertainty and Kirkwood-Dirac nonclassicality. J. Math. Phys. 2023, 64, 022202. [Google Scholar] [CrossRef]
  25. Xu, J.W. Kirkwood-Dirac classical pure states. arXiv 2022, arXiv:2210.02876. [Google Scholar]
  26. Langrenez, C.; Arvidsson-Shukur, D.R.M.; De Bièvre, S. Characterizing the geometry of the Kirkwood-Dirac positive states. arXiv 2023, arXiv:2306.00086v1. [Google Scholar]
  27. Donoho, D.L.; Stark, P.B. Uncertainty principles and signal recovery. SIAM J. Appl. Math. 1989, 49, 906–931. [Google Scholar] [CrossRef] [Green Version]
  28. Planat, M.; Rosu, H.C.; Perrine, S. A survey of finite algebraic geometrical structures underlying mutually unbiased quantum measurements. Found. Phys. 2006, 36, 1662–1680. [Google Scholar] [CrossRef] [Green Version]
  29. Durt, T.; Englert, B.-G.; Bengtsson, I.; Zyczkowski, K. On mutually unbiased bases. Int. J. Quantum. Inform. 2010, 8, 535–640. [Google Scholar] [CrossRef] [Green Version]
  30. Ferraro, A.; Paris, M.G.A. Nonclassicality criteria from phase-space representations and information-theoretical constraints are maximally inequivalent. Phys. Rev. Lett. 2012, 108, 260403. [Google Scholar] [CrossRef] [Green Version]
  31. Budiyono, A.; Dipojono, H.K. Quantifying quantum coherence via Kirkwood-Dirac quasiprobability. Phys. Rev. A 2023, 107, 022408. [Google Scholar] [CrossRef]
  32. Arvidsson-Shukur, D.R.M.; Halpern, N.Y.; Lepage, H.V.; Lasek, A.A.; Barnes, C.H.W.; Lloyd, S. Quantum advantage in postselected metrology. Nat. Commun. 2020, 11, 3775. [Google Scholar] [CrossRef] [PubMed]
Figure 1. Uncertainty diagrams of the DFT matrix: (a) d = 6 ; (b) d = 8 ; (c) d = 9 ; (d) d = 10 . Dashed curve is the hyperbola n A ( ψ ) n B ( ψ ) = d . Dot-dashed line is the line n A + n B = d + 1 . Red squares represent KD classical states. Blue diamonds represent KD nonclassical states. Red circles represent holes. The points without a mark enclosed by the hyperbola and the line on panel (c) and panel (d) imply that the existence of these points in UNCD ( A , B ) is unclear.
Figure 1. Uncertainty diagrams of the DFT matrix: (a) d = 6 ; (b) d = 8 ; (c) d = 9 ; (d) d = 10 . Dashed curve is the hyperbola n A ( ψ ) n B ( ψ ) = d . Dot-dashed line is the line n A + n B = d + 1 . Red squares represent KD classical states. Blue diamonds represent KD nonclassical states. Red circles represent holes. The points without a mark enclosed by the hyperbola and the line on panel (c) and panel (d) imply that the existence of these points in UNCD ( A , B ) is unclear.
Entropy 25 01075 g001
Table 1. The KD distribution of | ψ 1 = 1 2 [ | Φ 0 | Φ 2 ] .
Table 1. The KD distribution of | ψ 1 = 1 2 [ | Φ 0 | Φ 2 ] .
Q ij ( ψ 1 ) | 0 | 1 | 2 | 3 | 4 | 5
| Φ 0 0 1 12 ( 1 ω 6 2 ) 1 12 ( 1 + ω 6 ) 0 1 12 ( 1 ω 6 2 ) 1 12 ( 1 + ω 6 )
| Φ 1 000000
| Φ 2 0 1 12 ( 1 + ω 6 ) 1 12 ( 1 ω 6 2 ) 0 1 12 ( 1 + ω 6 ) 1 12 ( 1 ω 6 2 )
| Φ 3 000000
| Φ 4 000000
| Φ 5 000000
Table 2. The KD distribution of | ψ 2 = 1 2 [ | Φ 0 + | Φ 3 ] .
Table 2. The KD distribution of | ψ 2 = 1 2 [ | Φ 0 + | Φ 3 ] .
Q ij ( ψ 2 ) | 0 | 1 | 2 | 3 | 4 | 5
| Φ 0 1 6 0 1 6 0 1 6 0
| Φ 1 000000
| Φ 2 000000
| Φ 3 1 6 0 1 6 0 1 6 0
| Φ 4 000000
| Φ 5 000000
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Yang, Y.-H.; Zhang, B.-B.; Wang, X.-L.; Geng, S.-J.; Chen, P.-Y. Characterizing an Uncertainty Diagram and Kirkwood–Dirac Nonclassicality Based on Discrete Fourier Transform. Entropy 2023, 25, 1075. https://doi.org/10.3390/e25071075

AMA Style

Yang Y-H, Zhang B-B, Wang X-L, Geng S-J, Chen P-Y. Characterizing an Uncertainty Diagram and Kirkwood–Dirac Nonclassicality Based on Discrete Fourier Transform. Entropy. 2023; 25(7):1075. https://doi.org/10.3390/e25071075

Chicago/Turabian Style

Yang, Ying-Hui, Bing-Bing Zhang, Xiao-Li Wang, Shi-Jiao Geng, and Pei-Ying Chen. 2023. "Characterizing an Uncertainty Diagram and Kirkwood–Dirac Nonclassicality Based on Discrete Fourier Transform" Entropy 25, no. 7: 1075. https://doi.org/10.3390/e25071075

APA Style

Yang, Y. -H., Zhang, B. -B., Wang, X. -L., Geng, S. -J., & Chen, P. -Y. (2023). Characterizing an Uncertainty Diagram and Kirkwood–Dirac Nonclassicality Based on Discrete Fourier Transform. Entropy, 25(7), 1075. https://doi.org/10.3390/e25071075

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop