Protocols of quantum information science often realize in terms of specially selected states. In particular, such states are used to perform measurements at the final stage of a protocol. This study aims to explore measurements assigned to a mutually unbiased-equiangular tight frame. The utilized method deals with Kirkwood–Dirac quasiprobabilities, which are increasingly used in contemporary research. These quasiprobabilities constitute a matrix that can be linked to unravelings of certain quantum channels. Using states of the given frame to build principal Kraus operators leads to quasiprobabilities that represent the measured state. The structure of a mutually unbiased-equiangular tight frame allows one to characterize entropies associated with a particular unraveling. To do this, we estimate some of the Schatten and Ky Fan norms of the matrix consisted of quasiprobabilities. New uncertainty relations in terms of Rényi and Tsallis entropies follow from the obtained inequalities. A utility of the presented inequalities is exemplified with mutually unbiased bases of a qubit and equiangular tight frames of a ququart.

Quantum technologies of information processing are currently the subject of active research. Their role will only increase in recent future. Several physical platforms are recognized as a feasible way to build quantum processors.1–4 Quantum measurements are a necessary step to complete any protocol. Specially constructed sets of quantum states are requisite for such purposes. Mutually unbiased bases5 are seemingly the most known example of important discrete structures in Hilbert spaces.6 They were first considered by Schwinger7 and applied to quantum state determination in Refs. 8 and 9. In fact, two mutually unbiased bases are used in the BB84 scheme of quantum cryptography.10 Recently, equiangular tight frames have been shown to be useful in quantum information processing. Such frames of finite-dimensional vectors were originally studied independently of applications.11,12 The concept of mutually unbiased equiangular tight frames was also proposed rather as a way to produce new frames from existing ones.13 Extending mutually unbiased bases, this concept deserves further development, including potential usage in quantum information science.

As a rule, quantum measurements of the considered type differ from the most familiar case of an orthonormal basis. It is important in both theory and practice that the number of different outcomes can exceed the dimensionality. The use of overcomplete sets of vectors is often significant, for example, as with mutually unbiased bases.14 Properties of the measurements of interest can be described in terms of quasiprobabilities. The Wigner functions15 are a popular example of quasiprobabilities used in various questions.16–20 The Kirkwood–Dirac quasiprobabilities are another especially important direction of investigations. They are now exploited more widely21 than it was intended initially.22,23 In fact, Kirkwood gave a phase-space methodology to calculate partition functions and dealt with canonically conjugate variables.22 At present, the Kirkwood–Dirac quasiprobabilities have found use in quantum state tomography,24–27 information scrambling,28–31 postselected metrology,32–34 quantum thermodynamics,35–37 and conceptual questions.38–41 Reference 42 used the Kirkwood–Dirac quasiprobabilities to characterize the unravelings of quantum channel assigned to an equiangular tight frame.

This study examines the Kirkwood–Dirac quasiprobabilities for measurements assigned to mutually unbiased equiangular tight frames. First, it generalizes to several measurements the consideration originally given in Ref. 42. Second, the introduced matrices of quasiprobabilities will be described in terms of the Schatten and Ky Fan norms. Relations between various characteristics of probability distributions are important because some of them are easier to obtain than others. The structure of a mutually unbiased-equiangular tight frame allows one to derive many useful relations. New entropic uncertainty relations will be given for unravelings of the induced quantum channels. It is also of interest, since entropic functions are hardly exposed to measure immediately. This paper is organized as follows: Sec. II reviews the preliminary facts and gives the notation. Section III aims to characterize the quasiprobabilities in terms of the Schatten and Ky Fan norms. Entropic uncertainty relations for unravelings of the corresponding quantum channels will also be examined. The considered examples include complementary finite-dimensional observables with mutually unbiased eigenbases. Section IV concludes this paper.

This section reviews the required material. First, one recalls some definitions concerning finite-dimensional operators and their norms. Second, the concept of mutually unbiased equiangular tight frames is briefly discussed. Furthermore, Kirkwood–Dirac quasiprobabilities in connection with unravelings of a quantum channel are discussed. Finally, we recall the Rényi and Tsallis entropies to characterize probability distributions of interest.

Let L(Hd) denote the space of linear operators on d-dimensional Hilbert space Hd. By L+(Hd) and Lsa(Hd), one, respectively, means the set of positive semi-definite operators and the real space of Hermitian ones. The quantum states are represented by density matrices such that ρL+(H) and tr(ρ) = 1. The set of pure states contains density matrices of the form ρ = |ψ⟩⟨ψ|, where |ψHd and ⟨ψ|ψ⟩ = 1. The operators of interest are described by rectangular matrices with complex entries. Let Mm×n(C) be the space of all m × n complex matrices. The space of n × n matrices will be denoted by Mn(C). By Mn(sa)(C) and Mn+(C), we, respectively, mean the space of Hermitian n × n matrices and the set of positive semi-definite ones. For every GMm×n(C), the square matrices GG and GG have the same non-zero eigenvalues. The positive square roots of these eigenvalues are the singular values σj(G) of G.43 For real α > 0, we will use norm-like functional,
(1)
where the sum is actually taken over non-zero singular values of G. The legitimate norm arises for α ≥ 1, and it is the Schatten α-norm. In particular, this family includes the trace norm for α = 1, the Hilbert–Schmidt norm, or the Frobenius norm,
(2)
for α = 2, and the spectral norm G=maxσj(G).
The Ky Fan norms form another especially important family of unitarily invariant norms. These norms are used to formulate the Ky Fan maximum principle.44 For k = 1, 2, …, the Ky Fan k-norm is defined as43 
(3)
Here, the down arrow indicates that singular values should be put in non-increasing order. The above norms can also be applied to finite-dimensional vectors. For a probability distribution P = {pj} and α > 0, we will use the quantity
(4)
Furthermore, the Ky Fan k-norm reads as
(5)
For a distribution with N probabilities, the index of coincidence is defined as
(6)
The above quantities will be applied to characterize probability distributions quantitatively.
Quantum measurements are represented by the non-orthogonal resolutions of the identity, also known as positive operator-valued measures (POVMs).45 The set E=Ejj=1N of operators EjL+(Hd) is a POVM, when the completeness relation holds,
(7)
For the pre-measurement density matrix ρ, the probability of the jth outcome reads as
(8)
It is principally important for quantum information processing that the number of outcomes N can exceed the dimensionality d.
A set |ϕj of nd unit vectors of Hd gives a tight frame, when46,
(9)
If the formula
(10)
holds for all ij, then we deal with an equiangular tight frame (ETF). It can be shown that nd2 and
(11)
An equiangular tight frame of n = d2 vectors, if it exists in Hd, leads to a symmetric informationally complete measurement (SIC-POVM) with elements,
(12)
The existence of such sets for all d was conjectured by Zauner.6 Reference 47 examined SIC-POVMs in more detail. Informationally complete measurements are interesting in various issues, including quantum tomography.48 
The concept of a mutually unbiased-equiangular tight frame was first introduced in Ref. 13. Suppose that 1 ≤ M and 1 ≤ dn. A sequence |ϕμj of unit vectors with μ = 1, …, M and j = 1, …, n is a mutually unbiased-equiangular tight frame if13,
(13)
where c is given by (11). In other words, this mutually unbiased-equiangular tight frame consists of M usual ETFs. The special case with n = d and c = 0 reduces to a set of M mutually unbiased bases (MUBs). Such bases provide an example of complementary observables in finite dimensions.49 The authors of Ref. 13 also gave a recipe to produce new ETFs with the use of mutually unbiased ETFs. The authors of Ref. 50 proposed mutually unbiased measurements. These measurements are similar to MUBs, but rank-one elements are not required. The case of several ETFs with the fixed overlap between vectors of different frames can be treated as another modification of MUBs. We still use POVMs with rank-one elements, but the number of outcomes can exceed dimensionality.
Let us exemplify shortly a mutually unbiased-equiangular tight frame with c ≠ 0. It deals with a ququart in dimension four. The vectors of mutually unbiased ETFs arise as columns of the matrices Ψ, ΔΨ, and Δ2Ψ, where13 
(14)
and ω=exp(i2π/15). In this example, we have d = 4, n = 5, and M = 3.
Each of M ETFs induces a non-orthogonal resolution Fμ=Fμii=1n of the identity with rank-one elements,
(15)
since
(16)
For each μ, the probability of the ith outcome reads as
(17)
Substituting these probabilities in (6) gives the μth index of coincidence I(Fμ;ρ). To a mutually unbiased-equiangular tight frame, we also assign a single POVM with rank-one elements,
(18)
The probability of the μith outcome then appears as
(19)
It follows from (17) and (19) that
(20)
Here, the total index of coincidence I(F;ρ) is obtained from (6) by substituting the probabilities (19). Formula (20) connects two different interpretations of measurement data.
The concept of Kirkwood–Dirac quasiprobabilities was originally introduced for orthonormal bases and later extended to the case of two POVMs.51 In this paper, we will use the following reformulation. To the given POVM E=Ejj=1N and density matrix ρ, one assigns N2 quantities of the form trEiEjρ. Following Ref. 42, these quantities will be referred to as generalized Kirkwood–Dirac quasiprobabilities. To each POVM, one can also assign trace-preserving completely positive map, or quantum channel,
(21)
where
(22)
The set {Aj}j=1N is a particular operator-sum representation of Ψ in terms of Kraus operators. Following Ref. 52, we will call it an unraveling of Ψ. The operators of form (22) are measurement operators according to Sec. 2.2.6 of Ref. 45. The operators Aj will be referred to as the principal Kraus operators.53 
In the case of POVM elements from a mutually unbiased-equiangular tight frame, measurement statistics can be interpreted in two different ways. The first deals with the quasiprobabilities expressed as
(23)
By Π(F;ρ), we denote the Mn × Mn matrix constituted by these quasiprobabilities. When μν, quantity (23) involves states of the two different frames. This is consistent with the approach to a generalized Kirkwood–Dirac distribution proposed in Ref. 51. Extending Ref. 42, we define the quantum channel as follows:
(24)
(25)
where pμi(F;ρ) reads as (19). In the following, we will also use the Mn × Mn matrix Λ(A;ρ) with elements,
(26)
The latter differs from (23) only by a factor. Therefore, the matrix equation
(27)
is valid due to the chosen form of POVM elements. It is obvious that Λ(A;ρ)MMn(sa)(C) and Π(F;ρ)MMn(sa)(C). It will be proved in the following that these matrices are positive semi-definite.
The second interpretation uses M POVMs Fμ and M quantum channels. For each μ = 1, …, M, we have the n × n matrix Π(Fμ;ρ), which consisted of quasiprobabilities of the form
(28)
The corresponding quantum channel and its principal Kraus operators read as
(29)
(30)
where pi(Fμ;ρ) is given by (17). The n × n matrix Λ(Aμ;ρ) contains entries of the form
(31)
It is obvious that Λ(Aμ;ρ)Mn(sa)(C) and Π(Fμ;ρ)Mn(sa)(C). These matrices are positive semi-definite and Λ(Aμ;ρ)1=1.42 
To characterize probability distributions, we will use the Rényi54 and Tsallis entropies.55 It will be convenient to begin with the second case. Dealing with the functions of the Tsallis type, we utilize the α-logarithm of positive variable. It is defined as
(32)
For α > 0, the Tsallis α-entropy reads as55,
(33)
The Rényi α-entropy is defined as54,
(34)
The limit α → ∞ gives the min-entropy expressed as
(35)
In the limit α → 1, both entropies (33) and (34) reduce to the Shannon entropy,
(36)
The basic properties of the Rényi and Tsallis entropies are considered in Sec. 2.7 of Ref. 56. It follows from (33) and (34) that
(37)
Due to this link, each of Tsallis-entropy inequalities potentially has a Rényi-entropy counterpart, and vice versa. Using quantity (4), we, respectively, write
(38)
(39)
The above entropies have found use in various disciplines. Part II of Ref. 57 discussed concrete physical examples, which actualize the Tsallis entropies. For physical applications of the Rényi entropies, see Ref. 58 and references therein.

This section aims to report the main results. First, the Schatten norms of the corresponding matrices are characterized. Furthermore, some Ky Fan norms are estimated from above. Third, the obtained inequalities are used to formulate new uncertainty relations for unravelings of the considered quantum channels. Finally, we give examples of Kirkwood–Dirac quasiprobabilities defined in terms of mutually unbiased ETFs. The first example deals with a pair of complementary observables in dimension two.

The inner structure of a mutually unbiased-equiangular tight frame allows us to evaluate the Hilbert–Schmidt norms of the matrices of interest. This result is posed as follows:

Proposition 1.
Let the matrix Λ(A;ρ) with elements (26) be assigned to the density matrix ρ and mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n; then, Λ(A;ρ)MMn+(C), Λ(A;ρ)1=1, and
(40)

Proof.
The matrix Λ(A;ρ) is Hermitian and can be diagonalized as
(41)
where V is a unitary Mn × Mn matrix. Due to a unitary freedom in the operator-sum representation,45 map (24) can be rewritten with a new Kraus operator,
(42)
It is immediate to check that λμi=pμi(A(ex);ρ)0. Thus, the matrix Λ(A;ρ) is positive semi-definite. Its trace is equal to 1 and also coincides with the norm Λ(A;ρ)1.
The (μi, μi)-entry of Λ(A;ρ)2 reads as
(43)
where we used the second row of (13). Summing the second term in (43) over μ = 1, …, M and i = 1, …, n results in
(44)
due to (16). The first sum in (43) is rewritten as
(45)
Summing the latter over μ = 1, …, M and i = 1, …, n gives
(46)
Adding (44) to (46) provides the right-hand side of (40). ■
The result (40) will be used together with the following formula:
(47)
which follows from
(48)
The latter was first proved in Ref. 42. It can also be obtained from (40) with M = 1. Let us proceed to the estimation of the Hilbert–Schmidt norms from above.

Proposition 2.
Let the matrix Λ(A;ρ) with elements (26) be assigned to the density matrix ρ and mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n; then,
(49)
where S = n/d. It also holds that
(50)

Proof.
It was shown in the Appendix of Ref. 59 that
(51)
This result follows from the properties of generalized equiangular measurements given in Refs. 60 and 61. Combining (20) with (51) leads to
(52)
Thus, the index of coincidence is estimated from above in terms of the purity. Claim (49) immediately follows from (40) and (52). Combining (47) with (51) leads to (50). ■
Inequality (49) estimates the square of the Hilbert–Schmidt norm of Λ(A;ρ) from above. Due to (50), we can estimate the averaged Hilbert–Schmidt norm of the matrices Λ(Aμ;ρ). These relations further lead to inequalities for certain Schatten norms. Let the piecewise smooth function XLα(X) be defined as
(53)
where integer q ≥ 1. This function will be used to formulate desired estimates.

Proposition 3.
Let the matrix Λ(A;ρ) with elements (26) be assigned to the density matrix ρ and mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n. For α ∈ [1,2], it holds that
(54)
(55)

Proof.
Reference 62 is devoted to estimating the Tsallis α-entropy at the given index of coincidence. It was shown therein that, for α ∈ (0, 2],
(56)
where positive numbers λj obey jλj = 1. Let λj with j = 1, …, Mn denote the positive eigenvalues of Λ(A;ρ). For 1 < α ≤ 2, we directly obtain from (56) that
(57)
The latter remains valid for α = 1 due to Λ(A;ρ)1=1. By construction, the function XLα(X) is decreasing and convex. Using these properties, we combine (49) with (57) to prove (54).
In addition, the function X↦1 − (α − 1)Lα(X) is increasing and concave for α ∈ (1, 2]. By concavity and (57), we have
The latter proves (55) due to (50). ■

For the prescribed values of α, we have estimated the Schatten norms of Λ(A;ρ) from above. In a similar manner, inequality (55) deals with the averaged norms. Let us proceed to inequalities for some of the Ky Fan norms.

For positive semi-definite matrices, the Ky Fan k-norm reduces to the sum of k largest eigenvalues. Such sums can be characterized in terms of the Hilbert–Schmidt norm. The following statement holds.

Proposition 4.
Let the matrix Λ(A;ρ) with elements (26) be assigned to the density matrix ρ and mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n; then,
(58)
(59)
In addition, it holds that
(60)
(61)

Proof.
Due to Λ(A;ρ)MMn+(C) and Λ(A;ρ)1=1, the eigenvalues of Λ(A;ρ) are positive and sum to 1. The left-hand side of (58) is equal to the maximal eigenvalue. To bind it from above, we recall that the maximal probability can be estimated in terms of the index of coincidence as62 
(62)
where N is the number of outcomes. Note also that the right-hand side of (62) increases with I(P). Applying these facts to the eigenvalues of Λ(A;ρ) with N = Mn and (49) completes the proof of (58). The right-hand side of (62) is a concave function of the index of coincidence. This fact allows one to write
(63)
Combining the latter with (50) completes the proof of (60).

It was formulated in Theorem 2 of Ref. 63 that
(64)
The right-hand side of (64) increases with I(P) so that the inequalities (49) and (64) together provide (59). Since the right-hand side of (64) is a concave function of I(P), we also have
(65)
whence the result (61) follows. ■
The statement of Proposition 4 allows one to estimate the first Ky Fan norms of Λ(A;ρ) from above. For M matrices Λ(Aμ;ρ), the averaged Ky Fan norms were estimated. In all these cases, the inequalities are expressed in terms of purity and M, n, and d. If the measurement statistics is sufficient to evaluate the corresponding indices of coincidence, we also have other formulations. For Λ(A;ρ), it holds that
(66)
(67)
In addition, the averaged Ky Fan norms satisfy
(68)
(69)
The inequalities for k = 1 are of particular importance since they lead to uncertainty relations in terms of the min-entropy. The first Ky Fan norm is estimated from below as follows: Let XΛp(X) be a piecewise smooth function such that62 
(70)
where integer q ≥ 2. For any distribution, the maximal probability is not less than ΛpI(P),62 whence
(71)
(72)
At this point, the measurement statistics allows us to evaluate the squared Hilbert–Schmidt norms due to relations (40) and (48). Inequalities (49) and (50) are not suitable here since the function XΛp(X) increases.
The above inequalities lead to uncertainty relations for unravelings of channel (24). Information entropies provide a flexible way to address various measurement scenarios, including the cases of quantum memory64–67 and multipartite systems.68–70 For more applications of entropic uncertainty relations in quantum information, see Ref. 71 and references therein. For special types of measurements, uncertainty relations often follow from the estimation of the corresponding indices of coincidence. Using MUBs, this approach was given in Ref. 72. It was later applied to a SIC-POVM,73 a general SIC-POVM,74 and a single ETF.75 We can similarly treat the case of mutually unbiased ETFs. Proposition 2 allows one to evaluate the Hilbert–Schmidt norm of all matrices of the form Λ(B;ρ). These positive semi-definite matrices have the same non-zero eigenvalues, whence
(73)
(74)
For each of M quantum channels of form (29), we also write
(75)
(76)
Using the above connection, we have arrived at a conclusion.

Proposition 5.
Let principal Kraus operators (24) be built of the states of mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n. For arbitrary unraveling B of channel (24), each density matrix ρ, and α ∈ (0, 2], it holds that
(77)
Let Bμ be an arbitrary unraveling of the quantum channel (29). For each density matrix ρ and α ∈ (0, 2], we also have
(78)

Proof.
It immediately follows from (56) that, for α ∈ (0, 2],
(79)
To estimate I(B;ρ) for an arbitrary unraveling B, we use (49) and (73) to write
(80)
Since the function XLα(X) decreases, combining (79) with (80) completes the proof of (77).
As the function XLα(X) is convex, one gets
(81)
According to (50), we also write
(82)
Combining the latter with (81) leads to (78) due to the decreasing of the function XLα(X). ■
The statement of Proposition 5 gives an estimate of Hα(B;ρ) for arbitrary unraveling of map (24). Using (37) allows us to obtain
(83)
where α ∈ (0, 2]. Indeed, the function X(1α)1ln1+(1α)X is increasing. For α ∈ [1,2], one also has
(84)
To derive the latter, we recall the following fact. If the function Xf(X) is convex and the function Yg(Y) is increasing and convex, then their composition Xgf(X) is convex too. Combining this with the properties of XLα(X) and Y(1α)1ln1+(1α)Y gives convexity of the function
for α ∈ [1,2]. In addition, this function decreases. Then, result (84) follows from (82) and
(85)
Thus, we have formulated uncertainty relations in terms of the Tsallis and Rényi entropies for arbitrary unravelings of the quantum channels (24) and (29).

Uncertainty relations in terms of the min-entropy follow from the estimates of the maximal probabilities from above. The following statement is based on results (58) and (60).

Proposition 6.
Let principal Kraus operators (24) be built of the states of mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n. For arbitrary unraveling B of channel (24) and each density matrix ρ, it holds that
(86)
Let Bμ be an arbitrary unraveling of the quantum channel (29). For each density matrix ρ, we also have
(87)

Proof.
To estimate the maximal probability for an arbitrary unraveling B, we use (58) and (74) to get
(88)
Combining this with (35) immediately gives (86). In a similar manner, one uses (60) to write
(89)
To obtain (87), we combine (35) with (89) since the function X↦ − ln X is convex and decreasing.■

Formulas (59) and (61) lead to uncertainty relations of the Landau–Pollak type. Inequalities of this kind are formulated in terms of the two maximal probabilities. Applications to uncertainty relations were mentioned in Ref. 76, whereas the original formulation77 was focused on signal analysis. Here, we have arrived at a conclusion.

Proposition 7.
Let principal Kraus operators (24) be built of the states of mutually unbiased-equiangular tight frame |ϕμj with μ = 1, …, M and j = 1, …, n. For arbitrary unraveling B of channel (24) and each density matrix ρ, it holds that
(90)
Let Bμ be an arbitrary unraveling of the quantum channel (29). For each density matrix ρ, we also have
(91)

Proof.
Recall that the matrix Λ(Bμ,ρ) is positive semi-definite, and its diagonal elements represent probabilities pj(B;ρ). It also follows from Theorem 1 of Ky Fan44 that
for all jk. Then, inequality (90) follows by combining (59) with (74) for k = 2. In a similar manner, inequality (91) is based on (61) and (76). ■

Let us discuss concrete examples of mutually unbiased equiangular tight frames. A traditional example of MUBs is provided by three eigenbases of the Pauli matrices X, Y, and Z. The corresponding six states are represented on the Bloch sphere by vertices of an octahedron as shown in Fig. 1. The normalized eigenstates are, respectively, denoted by |x±⟩, |y±⟩, and |z±⟩. We begin with the case M = 2 since a diagonal matrix appears for M = 1. The choice M = 2 gives a pair of complementary observables. The obtained quasiprobabilities can be interpreted as a finite-dimensional counterpart of the original formulation.22 For definiteness, the four principal Kraus operators of the unraveling A read as 2−1|x±⟩⟨x±| and 2−1|z±⟩⟨z±|. We begin with illustrating inequality (54). Figure 2 shows the Schatten 1.5-norm of the matrix Λ(A;ρ) and its estimate from above as a function of square of the Bloch vector. The three orientations of the Bloch vector are used here. According to (73), the presented curves also characterize Λ(B;ρ)1.5 for any unraveling B. Errors of the estimate due to (54) are larger when the Bloch vector is directed along the y-axis. For this direction, the estimation error is maximal for pure states. However, it is less than seven percents in a relative scale. This example shows a utility of the obtained estimates.

FIG. 1.

Octahedron vertices corresponding to the six states of three mutually unbiased bases in dimension two.

FIG. 1.

Octahedron vertices corresponding to the six states of three mutually unbiased bases in dimension two.

Close modal
FIG. 2.

Schatten 1.5-norm of the matrix Λ(A;ρ) for few orientations of the Bloch vector together with the estimate from above obtained due to (54).

FIG. 2.

Schatten 1.5-norm of the matrix Λ(A;ρ) for few orientations of the Bloch vector together with the estimate from above obtained due to (54).

Close modal
The second example deals with a ququart in dimension four. The fifteen frame vectors arise as columns of the matrices Ψ, ΔΨ, and Δ2Ψ, of which Ψ and Δ are given in (14). Let us consider density matrices of the form
(92)
where ν ∈ [0, 1] and |Φ00 is one of the rotated Bell states. Such density matrices are similar to isotropic states typically used in testing criteria to detect non-classical correlations. For unitary qubit rotation
(93)
and a, b = 0, 1, the rotated Bell states read as |Φab=R̂(θ)12|Φab. By ̂=(x,y,z), we mean here a real vector of unit length. The rotated Bell states are used in measurement based quantum computation.78 The first Bell state reads as
(94)
Let Kraus operators be built of the states of a mutually unbiased-equiangular tight frame |ϕμj according to (24). It follows from (52) and (56) that, for α ∈ (0, 2],
(95)
Figure 3 shows the entropy H1.5(A;ρ) and its estimate from below as a function of ν ∈ [0, 1]. The choice θ = 0 implies the use of the original state (94). In addition, the rotation with θ = π was used with two orientations of the vector ̂ along the x-axis and the middle between the x- and y-axes. All the curves are similar and decrease with the growth of ν. Similarly to Fig. 2, estimation errors become maximal for pure states. In a relative scale, they do not exceed five percents. A good quality of the given estimates is also observed.
FIG. 3.

Tsallis entropy H1.5(A;ρ) for few orientations of the vector ̂ with the estimate from below due to (95).

FIG. 3.

Tsallis entropy H1.5(A;ρ) for few orientations of the vector ̂ with the estimate from below due to (95).

Close modal

This paper considered Kirkwood–Dirac quasiprobabilities for measurements assigned to a mutually unbiased-equiangular tight frame. Mutually unbiased bases appeared as an important particular case. The contribution of this paper is characterized as threefold. First, the approach to quasiprobabilities given in Ref. 42 was extended to several measurements. It is consistent with the previous definition of generalized Kirkwood–Dirac quasiprobabilities.51 Second, the matrices of quasiprobabilities were characterized in terms of unitarily invariant norms, such as the Schatten and Ky Fan ones. Third, improved entropic uncertainty relations for unravelings of the corresponding quantum channels were derived.

Finite tight frames have found use in various disciplines, including quantum information science. The considered Kirkwood–Dirac quasiprobabilities are easy to analyze in terms of unravelings of quantum channels whose principal Kraus operators are defined via states of the frame. The structure of a mutually unbiased-equiangular tight frame allows one to estimate from above some Schatten and Ky Fan norms of matrices formed by Kirkwood–Dirac quasiprobabilities. Such matrices are immediately connected with the matrices assigned to different unravelings of certain quantum channels. Here, many results are naturally formulated in terms of different unravelings of quantum channels of interest.

Since measurement statistics can be treated in two different ways, the following interpretations were considered. The first deals with a single POVM and only one quantum channel. The second treatment uses a collection of similar quantum channels defined in terms of mutually unbiased ETFs. Quantitative characteristics of the corresponding matrices were described due to the properties of a mutually unbiased-equiangular tight frame. For a set of several quantum channels, averaged Schatten and Ky Fan norms were estimated from above. The derived inequalities have led to uncertainty relations that hold for arbitrary unravelings of the considered channels. A utility of the derived inequalities was illustrated with qubit MUBs and ququart isotropic states defined in terms of rotated Bell states.

The authors have no conflicts to disclose.

Alexey E. Rastegin: Conceptualization (equal); Formal analysis (equal); Investigation (equal); Methodology (equal); Visualization (equal); Writing – original draft (equal); Writing – review & editing (equal).

The data that support the findings of this study are available within the article.

1.
G.
Wendin
, “
Quantum information processing with superconducting circuits: A review
,”
Rep. Prog. Phys.
80
,
106001
(
2017
).
2.
F.
Flamini
,
N.
Spagnolo
, and
F.
Sciarrino
, “
Photonic quantum information processing: A review
,”
Rep. Prog. Phys.
82
,
016001
(
2019
).
3.
C. D.
Bruzewicz
,
J.
Chiaverini
,
R.
McConnell
, and
J. M.
Sage
, “
Trapped-ion quantum computing: Progress and challenges
,”
Appl. Phys. Rev.
6
,
021314
(
2019
).
4.
L.
Henriet
,
L.
Beguin
,
A.
Signoles
,
T.
Lahaye
,
A.
Browaeys
,
G.-O.
Reymond
, and
C.
Jurczak
, “
Quantum computing with neutral atoms
,”
Quantum
4
,
327
(
2020
).
5.
T.
Durt
,
B.-G.
Englert
,
I.
Bengtsson
, and
K.
Życzkowski
,”
On mutually unbiased bases
,”
Int. J. Quantum Inf.
8
,
535
640
(
2010
).
6.
G.
Zauner
, “
Quantum designs: Foundations of a noncommutative design theory
,”
Int. J. Quantum Inf.
9
,
445
507
(
2011
).
7.
J.
Schwinger
, “
Unitary operator bases
,”
Proc. Natl. Acad. Sci. U. S. A.
46
,
570
579
(
1960
).
8.
I. D.
Ivanović
, “
Geometrical description of quantal state determination
,”
J. Phys. A: Math. Gen.
14
,
3241
3245
(
1981
).
9.
W. K.
Wootters
and
B. D.
Fields
, “
Optimal state-determination by mutually unbiased measurements
,”
Ann. Phys.
191
,
363
381
(
1989
).
10.
C. H.
Bennett
and
G.
Brassard
, “
Quantum cryptography: Public key distribution and coin tossing
,”
Theor. Comput. Sci.
560
,
7
11
(
2014
).
11.
J. H. v.
Lint
and
J. J.
Seidel
, “
Equilateral point sets in elliptic geometry
,”
Indagationes Mathematicae
69
,
335
348
(
1966
).
12.
P. W. H.
Lemmens
and
J. J.
Seidel
, “
Equiangular lines
,”
J. Algebra
24
,
494
512
(
1973
).
13.
M.
Fickus
and
B. R.
Mayo
, “
Mutually unbiased equiangular tight frames
,”
IEEE Trans. Inf. Theory
67
,
1656
1667
(
2021
).
14.
M. A.
Ballester
and
S.
Wehner
, “
Entropic uncertainty relations and locking: Tight bounds for mutually unbiased bases
,”
Phys. Rev. A
75
,
022319
(
2007
).
15.
E.
Wigner
, “
On the quantum correction for thermodynamic equilibrium
,”
Phys. Rev.
40
,
749
759
(
1932
).
16.
A.
Casado
,
S.
Guerra
, and
J.
Plácido
, “
Wigner representation for experiments on quantum cryptography using two-photon polarization entanglement produced in parametric downconversion
,”
J. Phys. B: At., Mol. Opt. Phys.
41
,
045501
(
2008
).
17.
D.
Sels
,
F.
Brosens
, and
W.
Magnus
, “
Wigner distribution functions for complex dynamical systems: A path integral approach
,”
Physica A
392
,
326
335
(
2013
).
18.
R. A.
Earnshaw
,
C.
Lei
,
J.
Li
,
S.
Mugassabi
, and
A.
Vourdas
, “
Large-scale data analysis using the Wigner function
,”
Physica A
391
,
2401
2407
(
2012
).
19.
F.
Siyouri
,
M.
El Baz
, and
Y.
Hassouni
, “
The negativity of Wigner function as a measure of quantum correlations
,”
Quantum Inf. Process.
15
,
4237
4252
(
2016
).
20.
G. S.
Thekkadath
,
F.
Hufnagel
, and
J. S.
Lundeen
, “
Determining complementary properties using weak-measurement: Uncertainty, predictability, and disturbance
,”
New J. Phys.
20
,
113034
(
2018
).
21.
D. R. M.
Arvidsson-Shukur
et al, “
Properties and applications of the Kirkwood–Dirac distribution
,”
New J. Phys.
26
,
121201
(
2024
).
22.
J. G.
Kirkwood
, “
Quantum statistics of almost classical assemblies
,”
Phys. Rev.
44
,
31
37
(
1933
).
23.
P. A. M.
Dirac
, “
On the analogy between classical and quantum mechanics
,”
Rev. Mod. Phys.
17
,
195
199
(
1945
).
24.
L. M.
Johansen
, “
Quantum theory of successive projective measurements
,”
Phys. Rev. A
76
,
012119
(
2007
).
25.
J. S.
Lundeen
,
B.
Sutherland
,
A.
Patel
,
C.
Stewart
, and
C.
Bamber
, “
Direct measurement of the quantum wavefunction
,”
Nature
474
,
188
191
(
2011
).
26.
J. S.
Lundeen
and
C.
Bamber
, “
Procedure for direct measurement of general quantum states using weak measurement
,”
Phys. Rev. Lett.
108
,
070402
(
2012
).
27.
C.
Bamber
and
J. S.
Lundeen
, “
Observing Dirac’s classical phase space analog to the quantum state
,”
Phys. Rev. Lett.
112
,
070405
(
2014
).
28.
N.
Yunger Halpern
, “
Jarzynski-like equality for the out-of-time-ordered correlator
,”
Phys. Rev. A
95
,
012120
(
2017
).
29.
N.
Yunger Halpern
,
B.
Swingle
, and
J.
Dressel
, “
Quasiprobability behind the out-of-time-ordered correlator
,”
Phys. Rev. A
97
,
042105
(
2018
).
30.
J. R.
González Alonso
,
N.
Yunger Halpern
, and
J.
Dressel
, “
Out-of-time-ordered-correlator quasiprobabilities robustly witness scrambling
,”
Phys. Rev. Lett.
122
,
040404
(
2019
).
31.
N.
Yunger Halpern
,
A.
Bartolotta
, and
J.
Pollack
, “
Entropic uncertainty relations for quantum information scrambling
,”
Commun. Phys.
2
,
92
(
2019
).
32.
J.
Dressel
, “
Weak values as interference phenomena
,”
Phys. Rev. A
91
,
032116
(
2015
).
33.
R.
Kunjwal
,
M.
Lostaglio
, and
M. F.
Pusey
, “
Anomalous weak values and contextuality: Robustness, tightness, and imaginary parts
,”
Phys. Rev. A
100
,
042116
(
2019
).
34.
D. R. M.
Arvidsson-Shukur
,
N.
Yunger Halpern
,
H. V.
Lepage
,
A. A.
Lasek
,
C. H. W.
Barnes
, and
S.
Lloyd
, “
Quantum advantage in postselected metrology
,”
Nat. Commun.
11
,
3775
(
2020
).
35.
A. E.
Allahverdyan
, “
Nonequilibrium quantum fluctuations of work
,”
Phys. Rev. E
90
,
032137
(
2014
).
36.
H. J. D.
Miller
and
J.
Anders
, “
Time-reversal symmetric work distributions for closed quantum dynamics in the histories framework
,”
New J. Phys.
19
,
062001
(
2017
).
37.
A.
Levy
and
M.
Lostaglio
, “
Quasiprobability distribution for heat fluctuations in the quantum regime
,”
PRX Quantum
1
,
010309
(
2020
).
38.
H. F.
Hofmann
, “
On the role of complex phases in the quantum statistics of weak measurements
,”
New J. Phys.
13
,
103009
(
2011
).
39.
J. J.
Halliwell
, “
Leggett–Garg inequalities and no-signaling in time: A quasiprobability approach
,”
Phys. Rev. A
93
,
022123
(
2016
).
40.
D. R. M.
Arvidsson-Shukur
,
J. C.
Drori
, and
N. Y.
Halpern
, “
Conditions tighter than noncommutation needed for nonclassicality
,”
J. Phys. A: Math. Theor.
54
,
284001
(
2021
).
41.
S.
De Bièvre
, “
Complete incompatibility, support uncertainty, and Kirkwood–Dirac nonclassicality
,”
Phys. Rev. Lett.
127
,
190404
(
2021
).
42.
A. E.
Rastegin
, “
On Kirkwood–Dirac quasiprobabilities and unravelings of quantum channel assigned to a tight frame
,”
Physica A
629
,
129208
(
2023
).
43.
R. A.
Horn
and
C. R.
Johnson
,
Matrix Analysis
(
Cambridge University Press
,
Cambridge
,
1990
).
44.
K.
Fan
, “
On a theorem of Weyl concerning eigenvalues of linear transformations I
,”
Proc. Natl. Acad. Sci. U. S. A.
35
,
652
655
(
1949
).
45.
M. A.
Nielsen
and
I. L.
Chuang
,
Quantum Computation and Quantum Information
(
Cambridge University Press
,
Cambridge
,
2010
).
46.
F.
Caro Pérez
,
V.
Gonzalez Avella
, and
D.
Goyeneche
, “
Mutually unbiased frames
,”
Quantum
6
,
851
(
2022
).
47.
J. M.
Renes
,
R.
Blume-Kohout
,
A. J.
Scott
, and
C. M.
Caves
, “
Symmetric informationally complete quantum measurements
,”
J. Math. Phys.
45
,
2171
2180
(
2004
).
48.
A.
Czerwinski
, “
Quantum state tomography with informationally complete POVMs generated in the time domain
,”
Quantum Inf. Process.
20
,
105
(
2021
).
49.
K.
Kraus
, “
Complementary observables and uncertainty relations
,”
Phys. Rev. D
35
,
3070
3075
(
1987
).
50.
A.
Kalev
and
G.
Gour
, “
Mutually unbiased measurements in finite dimensions
,”
New J. Phys.
16
,
053038
(
2014
).
51.
N.
Lupu-Gladstein
et al, “
Negative quasiprobabilities enhance phase estimation in quantum-optics experiment
,”
Phys. Rev. Lett.
128
,
220504
(
2022
).
52.
H. J.
Carmichael
,
An Open Systems Approach to Quantum Optics
,
Lecture Notes in Physics
(
Springer
,
Berlin
,
1993
), Vol.
m18
.
53.
J. B.
DeBrota
and
B. C.
Stacey
, “
Lüders channels and the existence of symmetric-informationally-complete measurements
,”
Phys. Rev. A
100
,
062327
(
2019
).
54.
A.
Rényi
, “
On measures of entropy and information
,” in
Proceedings of 4th Berkeley Symposium on Mathematical Statistics and Probability
, edited by
J.
Neyman
(
University of California Press
,
Berkeley
,
1961
), Vol.
I
, pp.
547
561
.
55.
C.
Tsallis
, “
Possible generalization of Boltzmann–Gibbs statistics
,”
J. Stat. Phys.
52
,
479
487
(
1988
).
56.
I.
Bengtsson
and
K.
Życzkowski
,
Geometry of Quantum States: An Introduction to Quantum Entanglement
(
Cambridge University Press
,
Cambridge
,
2017
).
57.
C.
Tsallis
,
Introduction to Nonextensive Statistical Mechanics: Approaching a Complex World
(
Springer
,
New York
,
2023
).
58.
P.
Jizba
and
T.
Arimitsu
, “
The world according to Rényi: Thermodynamics of multifractal systems
,”
Ann. Phys.
312
,
17
59
(
2004
).
59.
A. E.
Rastegin
, “
Uncertainty relations for quantum coherence with respect to mutually unbiased equiangular tight frames
,”
Phys. Scr.
99
,
115109
(
2024
).
60.
K.
Siudzińska
, “
Informationally overcomplete measurements from generalized equiangular tight frames
,”
J. Phys. A: Math. Theor.
57
,
335302
(
2024
).
61.
A. E.
Rastegin
, “
Uncertainty relations for quantum measurements from generalized equiangular tight frames
,”
Ann. Phys.
470
,
169785
(
2024
).
62.
A. E.
Rastegin
, “
Uncertainty relations in terms of generalized entropies derived from information diagrams
,” arXiv:2305.18005 [quant-ph] (
2023
).
63.
A. E.
Rastegin
, “
Entropic uncertainty relations for measurements assigned to a projective two-design
,”
APL Quantum
1
,
026111
(
2024
).
64.
M.
Berta
,
M.
Christandl
,
R.
Colbeck
,
J. M.
Renes
, and
R.
Renner
, “
The uncertainty principle in the presence of quantum memory
,”
Nat. Phys.
6
,
659
(
2010
).
65.
F.
Ming
,
D.
Wang
,
X.-G.
Fan
,
W.-N.
Shi
,
L.
Ye
, and
J.-L.
Chen
, “
Improved tripartite uncertainty relation with quantum memory
,”
Phys. Rev. A
102
,
012206
(
2020
).
66.
B.-F.
Xie
,
F.
Ming
,
D.
Wang
,
L.
Ye
, and
J.-L.
Chen
, “
Optimized entropic uncertainty relations for multiple measurements
,”
Phys. Rev. A
104
,
062204
(
2021
).
67.
T.-Y.
Wang
and
D.
Wang
, “
Stronger entropic uncertainty relations with multiple quantum memories
,”
Phys. Lett. A
499
,
129364
(
2024
).
68.
L.
Wu
,
L.
Ye
, and
D.
Wang
, “
Tighter generalized entropic uncertainty relations in multipartite systems
,”
Phys. Rev. A
106
,
062219
(
2022
).
69.
Z.-A.
Wang
,
B.-F.
Xie
,
F.
Ming
,
Y.-T.
Wang
,
D.
Wang
,
Y.
Meng
,
Z.-H.
Liu
,
K.
Xu
,
J.-S.
Tang
,
L.
Ye
,
C.-F.
Li
,
G.-C.
Guo
, and
S.
Kais
, “
Experimental test of generalized multipartite entropic uncertainty relations
,”
Phys. Rev. A
110
,
062220
(
2024
).
70.
T.-Y.
Wang
and
D.
Wang
, “
Entropic uncertainty relations in Schwarzschild space-time
,”
Phys. Lett. B
855
,
138876
(
2024
).
71.
P. J.
Coles
,
M.
Berta
,
M.
Tomamichel
, and
S.
Wehner
, “
Entropic uncertainty relations and their applications
,”
Rev. Mod. Phys.
89
,
015002
(
2017
).
72.
S.
Wu
,
S.
Yu
, and
K.
Mølmer
, “
Entropic uncertainty relation for mutually unbiased bases
,”
Phys. Rev. A
79
,
022104
(
2009
).
73.
A. E.
Rastegin
, “
Uncertainty relations for MUBs and SIC-POVMs in terms of generalized entropies
,”
Eur. Phys. J. D
67
,
269
(
2013
).
74.
A. E.
Rastegin
, “
Notes on general SIC-POVMs
,”
Phys. Scr.
89
,
085101
(
2014
).
75.
A. E.
Rastegin
, “
Entropic uncertainty relations from equiangular tight frames and their applications
,”
Proc. R. Soc. A
479
,
20220546
(
2023
).
76.
H.
Maassen
and
J. B. M.
Uffink
, “
Generalized entropic uncertainty relations
,”
Phys. Rev. Lett.
60
,
1103
1106
(
1988
).
77.
H. J.
Landau
and
H. O.
Pollak
, “
Prolate spheroidal wave functions, Fourier analysis and uncertainty - II
,”
Bell Syst. Tech. J.
40
,
65
84
(
1961
).
78.
R.
Jozsa
, “
An introduction to measurement based quantum computation
,” arXiv:quant-ph/0508124 (
2005
).