Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Georgia
Abstract
1. Introduction
1 Definitely, there are states such that the bounds (3) and (4) are not optimal and the
lower bound of the Wigner function for certain states can be a positive one. However, in view
of the well-known Hudson’s theorem [14], a positive definiteness occurs only for very special
classes of states, e.g., a Gaussian wave function is the only pure state corresponding to a
positive Wigner function.
2
quantum theory and it became associated to the manifestation of quantumness
of a physical system. Despite of a long history of studies of the quasiprobabilty
distributions nowadays new aspects of the Wigner function negativity has drawn
attention. Particularly, in connection to the quantum computing and theory
of quantum information, a special class of so-called discrete Wigner functions
[15, 16] has been introduced, for which negativity is equivalent to the quantum
contextuality [17, 18, 19].
Based on the violation of the Wigner function semi-positivity, one can in-
troduce measures of deviation from classicality. There are at least two types of
such measures, either measures based on the distance from the base “classical
state” [20, 21, 22], or measures which depend on the volume of a phase space
region where the Wigner function is negative, [23, 13]. Following the latter ide-
ology, in the present note we will discuss the phenomenon of negativity of the
Wigner function based on the volume indicator of nonclassicality introduced by
A. Kenfack and K. Życzkowski [23]:
Z
δ(%) = d ΩW% (Ω) − 1 , (6)
Ω
where the integration is performed over the phase space Ω and · stands for
the absolute value (modulus) of the Wigner function. Hereinafter, the function
δ(%) will be termed as the KZ-indicator.
In the next sections we consider KZ-indicator (6) of an N -level quantum
system and present the results of calculation of the KZ-indicators of nonclassi-
cality for two and three-level systems: qubits and qutrits respectively. We will
analyze a functional dependence of the KZ-indicator on the representation of
the Wigner function and will discuss an interplay between the KZ-indicator and
the recently introduced global indicator of classicality [13] .
In this section we collect necessary notations and definitions from the fa-
mous Stratonovich-Weyl approach to the Wigner quasiprobability distribution
3
function of a finite-dimensional system (we follow presentations given in [4, 5,
12, 24]).
Consider an N -level quantum system in a mixed state characterized by a
density matrix % . Its expansion over the Hermitian basis λ = {λ1 , · · · , λN 2 −1 },
of su(N ) algebra with the orthnormality conditions, tr(λµ λν ) = 2δµν , reads
…
1 N −1
%= IN + (ξ, λ) , (7)
N 2N
According to [12], the kernel ∆(ΩN ) in (8) is the self-adjoint trace class operator,
Z
dΩN ∆(ΩN ) = 1 ,
ΩN
4
a complex flag variety ΩN,k ' FN
k = U (N )/Hk , where the isotropy group
2
Hk ∈ U (N ) is of the form Hk = U (k1 ) × U (k2 ) × · · · × U (ks+1 ) .
Finalising this section, we give an expression for the Wigner function of an
N − dimensional quantum system in terms of the Bloch vector ξ and a unit
(N 2 − 1)-dimensional vector n characterizing representative Stratonovich-Weyl
kernel. Using (7) and the SVD decomposition of the Stratonovich-Weyl kernel
∆(ΩN |ν) :
!
1 X
∆(ΩN |ν) = U (ΩN ) IN + κ µs (ν)λs U (ΩN )† . (10)
N
λs ∈K
p
In (10) κ = N (N 2 − 1)/2 is the normalization constant, K ∈ su(N ) is the
Cartan subalgebra of su(N ) algebra and (N − 1) real coefficients of expansion
µs (ν) are coordinates of points on a unit radius SN −2 (1) sphere
(ν)
The Wigner function Wξ (Ω) can be represented as (see details in [24])
N2 − 1
Å ã
(ν) 1
Wξ (Ω) = 1+ √ (ξ , n) , (12)
N N +1
2
−1)
where (N 2 −1)-dimensional vector n = µ3 n(3) +µ8 n(8) +· · ·+µN 2 −1 n(N is a
superposition of (N − 1) orthonormal vectors whose components are determined
by diagonalysing matrix,
1
n(s) tr U λs U † λµ , s = 3, 8, . . . , N 2 − 1 .
µ = (13)
2
5
Indeed, owing to the covariance property of the Stratonovich-Weyl kernel
[5] , the unitary transformation of a density matrix
% → %0 = g % g † , g ∈ U (N ) ,
Hence, taking into account the SU (N ) invariance of the volume form on sym-
plectic space ΩN , we convinced that the KZ–indicator is a unitary scalar:
Z
dΩN W%(ν) (ΩN ) − 1 .
δN ([%] | [∆]) = (14)
ΩN
Here the notation [%] and [∆] point out that KZ-indicator is a function on the
corresponding equivalence classes with respect to the SU (N ) group action.
with α ∈ [0, 2π] , β ∈ [0, π] , γ ∈ [0, 4π] , then the Euler angles α and β are
coordinates of 2-dimensional symplectic manifold Ω2 = SU (2)/U (1) and the
Wigner function (12) of a qubit reads
√
1 3
Wξ (Ω2 ) = + (ξ , n) . (17)
2 2
Here, the unit vector n = (− cos α sin β , sin α sin β , cos β) parameterizes Ω2 ,
6
√
Figure 1: KZ-indicator for a single qubit (20) is zero for the Bloch radius r ∈ [0, 1/ 3].
and ξ = (r sin ψ cos φ , r sin ψ sin φ , r cos ψ) is the Bloch vector of a qubit in a
mixed state,
1
%= (I2 + (ξ, σ)) . (18)
2
Hence, taking into account that Ω2 ∼ S2 (1) with the standard induced measure,
one can write the integral representation for KZ-indicator:
Z 4π Z π Z 2π
2 1
δ2 (r) = 2 3
dγ dβ dαWξ (Ω2 ) sin (β) − 1 .
(19)
2π 2 0 0 0
1
0, for 0≤r≤ √ ,
3
δ2 (r) = (20)
√ Å ã
3 1 1
r+ − 1, for √ < r ≤ 1.
2 3r
3
1 1
%3 = I3 + √ (ξ, λ) . (21)
3 3
7
Figure 2: The ordered C2 -simplex AOC represents the unitary orbit space of a qutrit. The 6-
dimensional regular orbits of the adjoint SU (3) action are characterized by r1 > r2 > r3 , and
their representative belongs to the domain ∆AOC /{AO , OC} ; two 4-dimensional degenerate
orbits with r1 = r2 > r3 and with r1 > r2 = r3 correspond to the boundary segments
{AO , OC}/{O} ; a single fixed point O(0, 0) represents a maximally mixed state.
where the density matrix % is diagonal, i.e., the Bloch vector is of the form
ξ = {0, 0, ξ3 , 0, 0, 0, 0, ξ8 },
1 1
% = diag||r1 , r2 , r3 || = I3 + √ (ξ3 λ3 + ξ8 λ8 ) . (22)
3 3
Below we will assume that the eigenvalues of a qutrit density matrix belong to
the following ordered C2 simplex:
n X3 o
3
C2 = r ∈ R ri = 1, 1 ≥ r1 ≥ r2 ≥ r3 ≥ 0 . (23)
i=1
1 2 2 1 2 2 1 4
π1 = + √ µ3 + µ8 , π2 = − √ µ3 + µ8 , π3 = − µ8 , (24)
3 3 3 3 3 3 3 3
8
with the apex angle ζ:
The range of the apex angle corresponds to the descending order of the eigenval-
ues, π1 ≥ π2 ≥ π3 . The angle ζ serves as the moduli parameter of the unitary
non-equivalent representations of the Wigner functions of a qutrit. Note, that
the edge points M and N of the segment in Fig.3 with apexes ζ = 0 and ζ = π/3
correspond to degenerate Stratonovich-Weyl kernels: 3
1
spec (∆) = {1, 1, −1} , spec (∆) = {5, −1, −1} . (26)
ζ=0 ζ= π 3
3
Figure 3: The moduli space of a qutrit Stratonovich-Weyl kernel is given by the arc of a
unit circle centered at the origin of (µ3 , µ8 )-plane; it is a union of the regular stratum, the arc
M
˜ N /{M , N } , and two degenerate strata being the edge points M and N of the segment.
4
responding phase-spaces:
3 This kernel with the last two equal eigenvalues was found by Luis [10].
4 Hereafter, following V.I.Arnold we adopt notations for ordered set of nonequal eigenvalues
by (12 . . . N ) and use the sign “|” between equal eigenvalues, e.g., (1|23|4).
9
2. Ω(1|23) = SU (3)/H(1|23) with H(1|23) ' SU (3)/S(U (2) × U (1)) for the
Stratonovich-Weyl kernel with the first two equal eigenvalues, π1 = π2 ;
3. Ω(12|3) = SU (3)/H(12|3) with H(12|3) ' SU (3)/S(U (1) × U (2)) for the
Stratonovich-Weyl kernel with the last two equal eigenvalues, π2 = π3 ;
To parameterize all these factor spaces, we will use the generalized Euler de-
composition of U (Ω3 ) ∈ SU (3) :
α β γ a b c
U = eı 2 λ3 eı 2 λ2 eı 2 λ3 eıθλ5 eı 2 λ3 eı 2 λ2 eı 2 λ3 eıφλ8 ,
Here the ζ-parametric family of the Wigner function of a qutrit state charac-
terized by the Bloch vector ξ d = {0, 0, ξ3 , 0, 0, 0, 0, ξ8 } is
(ζ) 1 4 î ó
Wξd (Ω(123) ) = + sin(ζ) (ξ d , n(3) ) + cos(ζ) (ξ d , n(8) ) , (30)
3 3
where n(3) and n(8) are defined in (13). The integration measures in (27)-(29)
for each stratum is determined by the corresponding isotropy group:
3 Vol(H(123) )
dΩ(123) = √ cos θ sin3 θ sin β sin b dβ ∧ dγ ∧ dθ ∧ da ∧ db,(31)
64 3π 5
3Vol(H(1|23) )
dΩ(1|23) = √ cos θ sin3 θ sin β sin b dβ ∧ dθ ∧ db , (32)
64 3π 5
3Vol(H(12|3) )
dΩ(12|3) = √ cos θ sin3 θ sin β sin b dβ ∧ dθ ∧ db . (33)
64 3π 5
10
In order to make our presentation transparent and to simplify the analysis,
below we will give only the results of evaluation of the KZ-indicator for two
representative Wigner functions whose spectrum is degenerate. The evaluation
of the integral (28) gives
0, if ξ3 , ξ8 ∈ 4OAP ,
δ(1|23) (ξ d ) = √ (34)
1 (2( 3ξ3 + ξ8 ) − 1)3
√ , if ξ3 , ξ8 ∈ 4AP C .
36 ξ3 (ξ3 + 3ξ8 )
Here the triangles 4OAP and 4AP C decompose simplex C2 in a way shown in
Fig.4. The triangle 4AP C represents the domain of negativity of the Wigner
function:
√
1 1 − 2ξ8
ß ™
1
4AP C := ξ3 , ξ8 ∈ C2 ≤ ξ8 ≤ , √ ≤ ξ3 ≤ 3 ξ8 . (35)
8 2 2 3
Similarly, evaluating the integral (29) for the Stratonovich-Weyl kernel with
ζ = π/3, we obtain
0, if ξ3 , ξ8 ∈ 4OSQ ,
3
1 (1 − 4ξ8 )
, if ξ3 , ξ8 ∈ ARQS ,
δ(12|3) (ξ d ) = 18 (ξ32 − 3ξ82 )
Ä √
ä3
2( 3 ξ3 + ξ8 ) + 1
1
√ − 2, if ξ3 , ξ8 ∈ 4CQR .
36 ξ3 (ξ3 + 3 ξ8 )
(36)
The domains of definitions of the both KZ-indicators as well as their plots
are given in Fig.4 - Fig.5 respectively.
6. Conclusion
11
Figure 4: The negativity triangle 4AP C Figure 5: Plots of KZ-indicators, δ1|23
of a qutrit WF with ζ = 0 . The negativity (red surface) and δ12|3 (blue and yellow
domain of a qutrit WF with ζ = π3 is the surfaces) of a qutrit as functions of two
union of trapezium ARQS and triangle invariants ξ3 and ξ8 .
4CQR .
family of the Wigner function of a qutrit. Our calculations show that despite
the quantitative distinction of these indicators, there are interesting common
features between both indicators of nonclassicality:
- The isometries of the state space induces certain symmetry of the non-
classicality indicators. To find out the roots of this symmetry note that
triangles 4OAP and 4OSQ where the Wigner function is positive are
congruent. By performing rotation of triangle 4OSQ on π/3 around
point O with subsequent reflection over OC , one can superpose them.
This symmetry is a reminiscent of the existence of the Weyl group acting
on the eigenvalues of a qutrit density matrix by discrete rotations and
reflection. As a result of the Weyl symmetry, one can expect that there
are characteristics of the nonclassicality of a qubit which are equal modulo
π/3. From the geometrical reasoning, it is easy to find such characteris-
tics. Indeed, one can get convinced that for both, ζ = 0 and ζ = π/3 , the
Euclidean areas of the domain where the Wigner function is positive are
√
equal S4OAP = S4OSQ = 2−5 3 . Therefore, assuming that the eigenval-
ues of a qutrit are uniformly distributed, the geometric probability to find
12
a random qutrit state with positive Wigner function is the same for both
degenerate Stratonovich-Weyl kernels with ζ = 0 and π/3 :
Euclidean Area of WF Positive Part of Orbit Space 1
= . (37)
Total Euclidean Area of Orbit Space 4
It is clear that the above argumentation can be extended to the case of
metrics possessing the Weyl symmetry. As an example, one can consider
the flat Hilbert-Schmidt metric on a qutrit state space. For this case, the
volume form on the orbit space reads
Å 2 ã2
8 ξ
w3 = √ ξ32 3 − ξ82 dξ3 ∧ dξ8 , (38)
9 3 3
and evaluation of the integrals over 4OAP and 4OSQ gives the same
results
Z Z
1
w3 = w3 = .
4OAP 4OSQ 2580480
Hence, noting that
Z
1
S4OAC = w3 = ,
4OAC 10080
we conclude that for both representative WF the ratio is
Hilbert-Schmidt Area of WF Positive Part of Orbit Space 1
= . (39)
Total Hilbert-Schmidt Area of Orbit Space 256
where dPN is the normalized probability measure on the orbit space eval-
uated for a given random ensemble of states.
13
7. Acknowledgments
The publication has been prepared with the support of the “RUDN Univer-
sity Program 5-100” (recipient V.A., KZ indicator) and of the grant of plenipo-
tentiary representative of Czech Republic in JINR (symmetry analysis).
References
[6] Andrei Klimov and Hubert de Guise, General approach to SU(n) quasi-
distribution functions J. Phys. A 43.40 402001 (2010).
[7] Andrei B. Klimov , José Luis Romero and Hubert de Guise, Generalized
SU(2) covariant Wigner functions and some of their applications, J. Phys.
A 50 323001 (2017).
14
[11] T. Tilma, M. J. Everitt, J. H. Samson, W. J. Munro and K. Nemoto,
Wigner functions for arbitrary quantum systems, Phys. Rev. Lett. 117
180401 (2016).
[16] K.S.Gibbons, M.J. Hoffman and W.K. Wootters, Discrete phase space based
on finite fields, Phys. Rev. A 70062101 (2004).
15
[21] V.V. Dodonov, O. V. Man’ko, V.I. Man’ko and A. Wünsche, Hilbert-
Schmidt distance and non-classicality of states in quantum optics J. Mod.
Opt. 47 4 633–654 (2000).
16