Professional Documents
Culture Documents
Probability in
Quantum Information
Vasil Penchev,
Institute of Philosophical
Research– Bulgarian Academy
of Science
Contact:
vasildinev@gmail.com
Blogs:
http://vasil7penchev.wordpress
http://
my.opera.com/vasil%20penche
http://
www.esnips.com/web/vasilpenchevsne
“Negative probability” in
practice
ctica l m e a n in g is co n n e cte d to th e a p p li
n tu m in fo rm a tio n ” a n d m o re e x a ctly , o f
m a in : q u a n tu m co m m u n ica tio n . V e ry sm a
spp a ce re g io n s tu rn o u t to b e th e rm o d y n a
o g ica l to th o se o f su p e rco n d u cto r. M a cro
o r sig n a ls m ig h t e x ist in co h e re n t o r e n -
sta te . S u ch p h y sica l o b je cts h a v in g sh o
d in a ry p ro p e rtie s co u ld b e in th e b a se o
m co m m u n ica tiv e ch a n n e ls o r e v e n “ m a t
Negative probability
I.Why does it appear in
quantum mechanics?
II.It appears in phase-space
formulated quantum
mechanics
III.Next, in quantum
correlations …
IV.… and for wave-
Mathematically: A ratio of
Ψ→ P :
W IG N E R F U N C T IO N
( 1 9 3 2 ) IN
The original Weyl
transformation (1927)
•
F[f] = ?
The original Weyl
transformation (1927)
•
F [ f] tu rn s o u t to b e p a rtly
a n a lo g ica l to D ira c ’ s δ-
fu n ctio n s ( S ch w a rtz
d istrib u tio n s)
Groenewold’s
statistical ideas(1946)
“Our problems are about:
Øα the correspondence a⟺ A
between physical quantities a
and quantum operators A
(quantization) and
Øβ the possibility of
understanding the statistical
character of quantum mechanics
by averaging over uniquely
determined processes as in
Groenewold’s statistical
ideas (1946)
Øα the correspondence a⟺ A
(quantization), in fact,
generates two kinds пof
problems abut the physical
quantities a:
Øa is not continuous function (it
is either continuous, or
generalized one, distribution);
Øthere exist quantities a whose
Groenewold’s statistical
ideas (1946)
ØThe difficulties in α ( the
quantization of physical
quantities ) reflect at the
same rate in β ( statistical
description):
ØNegative probability of
some states appears, but they
are easily interpreted
physically by the regions of
Moyal’s statistical approach
(1949)
“Classical statistical mechanics
antisymmetry) conditions
introduce a probability
dependence between any two
particles in B. E . (or F .D.)
assemblies even in the
absence of any energy
interaction. … It is this
dependence which gives rise
Again to Moyal’s statistical
approach
Again to Moyal’s statistical
approach
The parameter γ accepts the
Hilbert
space ?
Minkowski sapc
III. Negative probability
in quantum correlations
T h e b a ttle fo r o r a g a in st
“ h id d e n p a ra m e te rs ” in
q u a n tu m m e ch a n ics
ocal “hidden parameters
usality) against nonloca
nes (quantum correlation
Gedanken experiment
! (1935)
Einstein – Podolsky – Rosen
Link
“Die verschränkten
Zustände” of Scrödinger
and the poorLink
“cat” (1935)
The sets of quantum quantities are
considered, and the conclusion is:
“There are no ensembles which
are free from dispersion. There are
ho-mogeneous ensembles…”
Consequently, there are no
homogeneous ensembles, i.e. for
exam-ple those of a single
A’: ⟺ ≥ 0 ⇒ Erw ( ⟺ ) ≥ 0
B ’: Erw ( a . ⟺ + b . ⟺ +…) =
a . Erw ( ⟺ )+ b . Erw ( ⟺ )+ …, where a , b
∈ ℝ
α‘: ⟺ is a dispersion free
quantity ≝ Erw ( R 1 )=1
[ Erw ( � , φ)=(R φ, φ)]
β‘: ⟺ is a homogenous one ≝{ a , b
∈ ℝ , a+b=1,
I. {⟺⟺ R } ⇒{ f ( ⟺ ) ⟺ f ( R )}
II . { ⟺ ⟺ R , ⟺ S , …} ⇒{ ⟺ + ⟺ +…
� R + S +…}
“There corresponds to each physical
quantity of a quantum mechanical
system, a unique hyper-maximal
Hermitian operator, as we know … and
it is convenient to assume that this
correspon-dence is one-to-one -- that
T he theorem and
negative probability
By introducing negative
probability, then expectation is not
additive in general, then the
premises of the theorem are not
fulfilled
Parts (elements) and the deduction
Possible states is not
of the system valid (worlds) of the system
Essential parts Orthogonal possible states
(elements) of the system (separated worlds)
External “parts” Non-orthogonal possible
(elements) of the system states (interacting worlds)
A few equivalent expressions of
them:
1. Non-negative probability
2. Orthogonal possible states
3. Separated “worlds”
4. An isolated quantum
system
(4
)
“The demonstrations of von
Neumann and others, that
quantum mechanics does not
permit a hidden variable
interpretation, are reconsidered. It
is shown that their essential
axioms are unreasonable. It is
urged that in further examination
of this problem an interesting
5)
((5
)
“His essential assumption" is: Any
real linear
combination of any two Hermitian
operators represents an
observable, and the same linear
combination of expectation values
is the expec-tation value of the
combination. This is true for
quantum mechanical states; it is
The idea of “Bell’s
inequalities”
by negative probability
Since von Neumann’s theorem is
valid only about nonnegative
probability (expectation
additivity), and quantum
mechanics permits negative
probability, the idea is the domain
of the theorem validity to be
described by an inequality of the
expectation of two quantities (the
A notion of local or non-
local hidden parameter:
clearing
1. Von Neumannn’s theorem
as well as the theories of
hidden parameters interpret
them as local ones implicitly.
2. Bell’s inequalities discuss
the distinction between loal
and nonlocal parameter
because quantum mechaics
Statistical Description by
description Ψ-function
A non-standard A Gibbs
Boltzmann ensemble ensemble
болц-мановски
Parts (elements) Possible states
ансамбъл
of the system (worlds) of the system
Essential parts (elements) Orthogonal possible states
на системата (separated worlds)
External “parts” Non-othogonal states
(elements) of the system (interacting worlds)
M x2
A small x
neighborhoo p
d
The light
cone
A notion of local or non-
local hidden parameter:
clearing
Lorentz t
invariance
The light is valid/meani
cone out of a small neighborhoo
M x2
A small
neigborho p
x
od
Uncertainty relation is
The light
conemeaningful/ valid ( ? )
within a small neigborhood
An absolutely immovable
body
Heisenberg’s uncertainty
S =p.x
p
T h e “ h a lo ” o f n e g a tiv e p ro
x
Again about the comparison of a
Gibbs and of a non-standard
Boltzmann ensemble
A Gibbs ensemble A non-standard
An ensemble of the states of An ensemble
Boltzmann oneof
Description
the system asbya Ψ -functions Statistical
whole parts (P>0, P<0)
No states of
SimultaneouslyP<0 Parts of P<0
description
No such quantities
immeasurable quantities
A mechanism of
violating Bell’s
inequalities (link)
1 + Е[b(λ),c(λ)] ≥ |Е[a(λ),b(λ)] −
Е[a(λ),c(λ)]|
Hilbert space:
P The presence of
b common possible
a c< states води
implies increasing
P Ψthe possibility of
the other ( non -
a b common ) states in
the mutual system
c S Phase space
How does negative
probability violate Bell’s
inequalities?
1 + Е[b(λ),c(λ)] ≥ |Е[a(λ),b(λ)] −
Е[a(λ),c(λ)]|
Phase space:
P
b The halo of
negative
a < probability states
c around
S any component
of the system
P “ pushes away ” the
others in its
The notion of proper ( non - common )
part от of phase
effective space
The notion of effective probability
(immediate probabilistic
interaction))
interaction)
A corollary of von Neumann’s theorem after
its genera-lizingfrom an isolated to two or
more interacting sys-tems is the immediate
interaction of probabilities :
P C = ∅
a b
λΨ
P
a
c
C ≠ ∅
b
Ψ
Isolated systems Interacting
The necessary and sufficient condition
systems of
immediate probabilistic interaction is to
share common possible states of
probability
(immediate probabilistic
interaction)
1 + Е[b(λ),c(λ)] ≥ | Е[a(λ),b(λ)] −
Е[a(λ),c(λ)]|
P An example : Before
the interacting
b ( both systems
a c< separately ) :
a = b = 80 %, c = 20 % ,
aΨ/c=b/c=4
Any of the two
systems After the
“ pushes away” the interacting
other in its
( the two systems
proper states at one )
probability
(immediate probabilistic
interaction)
1 + Е[b(λ),c(λ)] ≥ | Е[a(λ),b(λ)] −
The
Е[a(λ),c( λ)]halo
| of
P negative pro -
b bability c around
a < any of both systems
c S” push away” the
other in its proper
states ( either a , or
However the halo of negative
probability “ pushes b )
away ” the system itself , any of the
both , to the states of positive
probability , too . They become
A comparison of the statistical
and standard formalism by
means of “efective
probability”
STATISTICAL ONE STANDARD ONE
Различни части от Different states of the system
системата as a whole
Части с отрицателна Any state is one of non-
вероятност negative probability
Relatively higher Relatively higher positive
positive probability probability of the proper
also within a states only within the
separated system common system
An ontological comparison
of the statistical and
standard formalism
?
?
Kochen − Specker’s theo
(1967)
L in k
D iscre te ly
to th e p a st
Contramotion, Janus Poluekt
А. и Б. Стругацк
Понедельник
начинается
в субботу.
Scholia: Schrödinger’s
cat has eaten Photon, the
parrot – contramotioner
Dicac’s conception about
Lin k
negative probability
“ N e g a tiv e e n e rg ie s a n d p ro b a b ilitie s
sh o u ld n o t b e co n sid e re d a s n o n se n se .
T h e y a re w e ll- d e fin e d co n - ce p ts
m a th e m a tica lly , lik e a n e g a tiv e su m o f
m o n e y , sin ce th e e q u a tio n s w h ich
e x p re ss th e im p o rta n t p ro - p e rtie s o f
e n e rg ie s a n d p ro b a b ilitie s ca n still b e
u se d w h e n th e y a re n e g a tiv e . T h u s
n e g a tiv e e n e rg ie s a n d p ro b a b ilitie s
sh o u ld b e co n sid e re d sim p ly a s th in g s
w h ich d o n o t a p p e a r in e x p e rim e n ta l
Pauli about negative
probability (link)
co n n e ctio n o f th e th e o ry o f G u p ta - B
d iscu sse d th e in tro d u ce d b y th e m f
o f “ n e g a tiv e p ro b a b ilitie s” ; the norm
; and the expectation
η is a n H e rm itia n o p e ra to r w h ich in
s a n o p e ra to r m e a su re in H ilb e rt sp a
Pauli about negative
probability
h ca se s , th e n o rm re m a in s co n sta n t in tim
H a m ilto n ia n o f th e sy ste m is a H e rm itia n
If η is n o t a n H e rm itia n o p e ra to r, e v e n a
co n d itio n , th e n o rm co n se rv e s co n sta n t
te rp re ta tio n : T h e o p e ra to r η ca n b e th o u
v a le n t te n so r w h ich tra n sfo rm s a H ilb e rt
o th e r. T h e a p p ro a ch o f R ie sz ’ s represent
m ca n b e u se d fo r v e ry im p o rta n t co n clu
th e o p e ra to r m e a su re η a n d its p h y sica l
e ta tio n
re
The operator measure η
interpreted physically
η=1 The Hilbert space is the same
T h e ca se o f e n ta n g le m e n t
T h e ca se d iscu sse d b y P
The operator measure η
interpreted physiscally
n e ra l, o n e - to - o n e co rre sp o n d e n ce is v a l
e n a n y o p e ra to r in H ilb e rt sp a ce a n d a p
so r o f a n y fin ite v a le n ce k + l ca n b e re p re
p e ra to r in H ilb e rt sp a ce a n d co n se q u e n t
n it:
The physical interpretation of
operator measure η:
conclusions
ØIn the spirit of Skolemian relativity,
any system of entangled subsystem can
be represented equivalently both as an
independent, isolated, indivisible system
and as an arbitrary operator (an operator
measure η) transforming a point of
the Hilbert space of the one system
into that of another system
The physical interpretation of
operator measure η:
conclusions
ØThe conclusion just above implies particu-
larly (entanglement = 0), that any measured va-
lue of a quantity in the system ‘an apparatus –
a quantum object’ is ‘the objective value’ of
that quantity of the quantum object: no hidden
parameter deterministically among its random
values
ØThe Hermitian character of any physical
quantity generalizes also about discrete
functions the requirement that the value is in
a exactly given point of time
The conclusions of operator
measure η
ØΨ-function represents that a quantum quanti-
ty can obtain non-zero values only on areas
whose common measure is zero. The absence
of hidden parameter is due of the zero measure
of any area with non-zero values. The same is
represented by Dirac’s δ-function. The zero
measure of any area with non-zero values is
a mathematical way to be represented of uncer-
tainty relation
ØAny Ψ-function can be interpreted as the
operator measure η of a quantum object en-
tangled with its environment
Lin k
Feynman about negative
probability
I m e n tio n F e y n m a n ’ s a rticle m a in ly
b e ca u se it is o fte n cite d . H e d id n o t g o
b e y o n d D ira c ’ s a p p ro a ch o f
in tro d u cin g n e g a tiv e p ro b a b ilitie s o n ly
co n v e n tio n a l- ly , in th e co u rse o f
ca lcu la tio n s , in a sim ila rity o f
“ negative money ” . H e g a v e m a n y
e x a m p le s fro m cla ssica l a n d q u a n tu m
p h y sics . N e g a tiv e p ro b a b ility in th e m
m e a n t th a t th e h a p p e n in g o f a n e v e n t
d e cre a se d o f th e re a lizin g o f a n o th e r:
A few mathematical
questions
co n sid e r:
rtle tt’ s a p p ro a ch fo r in tro d u cin g
v e p ro b a b ility b y m e a n s o f th e ch
e ristic fu n ctio n o f ra n d o m q u a n ti
a so n ’ s th e o re m a b o u t th e e x istin
su re in H ilb e rt sp a ce
ch e n – S p e ck e r ’ s th e o re m a g a in ,
in a sta tistica l in te rp re ta tio n
Bartlett’s properly
mathematical approach to
negative
p 1 +probability
p 2 =p
“ Since a negative probability implies
automatically a complementary
probability greater than unity , we
shall reconsider (1) with all
restrictions on the values of the
individual p r removed , provided that
the sum remains finite equal to the
conventional sum of unity . For those
familiar with the correspondence
between probability theory and the
theory of measure , it is noted that
the parallel extension in this more
Bartlett’s properly
mathematical approach to
negative probability
p 1 +p 2 =p :
“… which is always the algebraic
difference of
two positive functions ” “ Thus
probabilities in
the original range 0 to 1 , as we
might reasonably expect , still retain
their special significance . It is
only these probabilities which we can
immediately relate with actual
frequencies ; it is only these
probabilities , for example , for which
Bartlett about negative
probability
“ R andom v a ria b le s a re
co rre sp o n d in g ly g e n e ra lize d to
in clu d e e x tra o rd in a ry ra n d o m
v a ria b le s ; th e se h a v e b e e n d e fin e d in
g e n e ra l, h o w e v e r, o n ly th ro u g h th e ir
ch a ra cte ristic fu n ctio n s . ” “ N e g a tiv e
p ro b a b i- litie s m u st a lw a y s be
co m b in e d w ith p o sitiv e o n e s to g iv e
an o rd in a ry p ro b a b ility b e fo re a
p h y sica l in te rp re ta tio n is a d m issib le .
T h is su g g e sts th a t w h e re n e g a tiv e
p ro b a b ilitie s h ave a p p e a re d
Ψ-function as the
characteristic function of a
random quantity
t’ s a p p ro a ch d ire cts to th e th o u g h t to d i
tio n a s th e ch a ra cte ristic fu n ctio n o f a p h
ty w h ich is ra n d o m , o r m o re e x a ctly , o f t
n a te s in co n fig u ra tio n sp a ce . T h e u tiliza t
tio n a s th e ch a ra cte ristic fu n ctio n in ste a
b a b ilistic d istrib u tio n o f ra n d o m q u a n tit
v a n ta g e o f d e scrib in g its b e h a v io r in g e n
so in a d iscre te ch a n g e o f p ro b a b ility ( a
a p ) w h e n th e p ro b a b ilistic d istrib u tio n it
in t is re p re se n te d b y δ- fu n ctio n
Ψ-function as the
characteristic function of a
random quantity
it is w h a t is a v a ila b le in a ll th e p h e n o m e
le m e n t: w h e n th e p ro b a b ilistic d istrib u ti
a n tu m o b je ct re stricts im m e d ia te ly th e d
d o m o f a n o th e r; a s a re su lt o f th a t “ in fo r
in te ra ctio n , th e p ro b a b ility o f a g iv e n p o
d iscre te le a p in th e g e n e ra l ca se . T h e d
u e in th a t p o in t o f th e p ro b a b ilistic d istr
d it is m o st im p o rta n t th a t it ca n n o t h a v
o rm co n v e n tio n a lly a cce p te d a s u n it. It s
Ψ-function as the
characteristic function of a
random quantity
r th e d iffe re n tia l p ro b a b ility is > 1 in th e
h e d iscre te ch a n g e o f p ro b a b ility , then i
a p p e a ra n ce a n d in tro d u ctio n o f n e g a tiv e
ty fo llo w in g B a rtle tt’ s a p p ro a ch : p = p 1 + p
, keeping p = 1 , then p 2 < 0 ! Consequently
e of negative probability , in last analy
e availability of the discrete leaps of
ome points . It is what forces to be util
on ( it is the characteristic function ) i
bilistic distribution itself of the ran
Ψ-function as the
characteristic function of a
random quantity
e stio n - h o w ψ- fu n ctio n p ro v e s o u t to
be
istic fu n ctio n ? - remains yet . Let ’ s see :
p( x )
…
…
The “ trapezoids ”
xsummed in ∞
form the integral !
The ψ - function ( on the right ) is
obtained by the pro -
balistic distribution ( on the left ) as
the integral is substituted by an
infinite sum of constants (“ trape -
Gleason’s theorem about
measures Lin k
in Hilbert space
T ill n o w w e h a v e d iscu sse d n e g a tiv e
o r co m p le x p ro -
b a b ilitie s a s re la tio n s o f m e a su re s :
h ow ever an y of
w h ich is a n o n n e g a tiv e re a l n u m b e r.
G le a so n ’ s th e o -
re m d isp la y s th a t a n y m e a su re o f su ch
a n o rd in a ry
ty p e in a H ilb e rt sp a ce o f d im e n sio n
m o re th a n tw o n e ce ssa rily co n se rv e s
th e o rth o g o n a lity o f th e d i- m e n sio n s.
Gleason’s theorem about
measures Lin k
In
in Hilbert space
o th e r w o rd s, w h e th e r n o t to b e th e
co m p le x m e a su re a d e q u a te o n a n y
“ cu rv e d ” , i. e . h a v in g n o n -
o rth o g o n a l b a sis , H ilb e rt sp a ce o f
d im e n sio n m o re th a n 2? W h a t is th e
sig n ifica n ce o f th e e x se p tio n o f
GT le
h ea so
id en a’ sisthth
e oa re
t th
m ea eb xo eu pt tio
2 n about 2
dd im
im eenn sio
sionn s? s g u a ra n te e s th e
“ backdoor ” , through which a
S k o le m ia n ty p e o f re la tiv ity b e tw e e n
“ flat” and “ curved ” Hilbert space can
p a ss th ro u g h in to a n a lso
Gleason’s theorem about
measures Lin k
in Hilbert space
so n ’ s th e o re m itse lf sta te s:
μ b e a m e a su re o n th e clo se d su b sp a ce s o f a
ra b le ( re a lo r co m p lex ) H ilb e rt sp a ce ℋ
e n sio n a t le a st th re e . T h e re exists a p o sitive
d e fin ite se lf-a d jo in t o p e ra to r T o f th e tra ce cl
th a t fo r a llclo se d su b sp a ce s A o f ℋ
μ( A ) = trace ( TP A ),
P A is the orthogonal projection of ℋ onto
leason 1957 : 892 - 893 )
Bell’s interpretation (1966)
of
Gleason’s theorem (1957):
“… if the dimensionality of the state
space is greater than two, the
additivity requirement for expectation
values of commuting operators cannot be
met by dispersion free states” ( Bell
1966 : 450 ).