Bell s inequality is violated in classical systems as well as quantum systems

Size: px
Start display at page:

Download "Bell s inequality is violated in classical systems as well as quantum systems"

Transcription

1 Bell s inequality is violated in classical systems as well as quantum systems Shiro ISHIKAWA Department of Mathematics, Faculty of Science and Technology, Keio University, , Hiyoshi, Kouhoku-ku Yokohama, Japan ishikawa@mathkeioacjp Abstract Bell s inequality is usually considered to belong to mathematics and not quantum mechanics We think that this makes it difficult to understand Bell s theory Thus in this paper, contrary to Bell s spirit which inherits Einstein s spirit), we try to discuss Bell s inequality in the framework of quantum theory with the linguistic Copenhagen interpretation And we clarify that whether or not Bell s inequality holds does not depend on whether classical systems or quantum systems, but depend on whether a kind of simultaneous measurements exist or not And further we assert that our argument based on the linguistic Copenhagen interpretation) should be regarded as a scientific representation of Bell s philosophical argument based on Einstein s spirit) Key phrases: Bohr-Einstein debates, Bell s inequality, Combined observable, Linguistic Copenhagen interpretation, Quantum Language 1 Review: Quantum language = Measurement theory =MT) ) 11 Introduction Following refs [6, 7, 8, 9, 10, 11], we shall review quantum language ie, quantum theory with the linguistic Copenhagen interpretation, or measurement theory ), which has the following form: Quantum language = measurement theory) = Measurement Axiom 1) + Causality Axiom 2) + Linguistic Copenhagen ) interpretation how to use Axioms 1 and 2) 1) We think that the location of quantum language in the history of world-description is as follows the realistic world view monism, realism) Parmenides Socrates 0 :Greek philosophy Plato Aristotle Schola- 1 sticism monism) ewton realism) 2 dualism) Descartes Locke, 6 Kant idealism) relativity theory 3 quantum mechanics 4 linguistic view) linguistic philosophy statistics system theory language A 1 ) language A 2 ) 7 8 language 9 A 3 ) 5 10 unsolved) theory of everything quantum phys) =MT) quantum language language) the linguistic world view dualism, idealism ) Figure 1: The history of the world-description 1

2 And in Figure 1, we think that the following four are equivalent cf ref [10]): A 0 ) to propose quantum language cf 10 in Figure 1) A 1 ) to clarify the Copenhagen interpretation of quantum mechanics cf 7 in Figure 1) A 2 ) to clarify the final goal of the dualistic idealism cf 8 in Figure 1, see ref [11]) A 3 ) to reconstruct statistics in the dualistic idealism cf 9 in Figure 1) In Bohr-Einstein debates refs [2, 5]), Einstein s standing-point is on the side of the realistic view in Figure 1 On the other hand, we think that Bohr s standing point is on the side of the linguistic view in Figure 1 though Bohr might believe that the Copenhagen interpretation proposed by his school) belongs to physics) In this paper, contrary to Bell s spirit which inherits Einstein s spirit), we try to discuss Bell s inequality refs [1, 13]) in quantum language ie, quantum theory with the linguistic Copenhagen interpretation) And we clarify that whether or not Bell s inequality holds does not depend on whether classical systems or quantum systems in Section 3), but depend on whether a kind of simultaneous measurements exist or not in Section 2) And further we assert that our argument based on the linguistic Copenhagen interpretation) should be regarded as a scientific representation of Bell s philosophical argument based on Einstein s spirit) 12 Quantum language: Mathematical preparations ow we briefly introduce quantum language as follows Consider an operator algebra BH) ie, an operator algebra composed of all bounded linear operators on a Hilbert space H with the norm F BH) = sup u H =1 F u H ), and consider the pair [A, ] BH), called a basic structure Here, A BH)) is a C - algebra, and A BH)) is a particular C -algebra called a W -algebra) such that is the weak closure of A in BH) The measurement theory =quantum language= the linguistic interpretation) is classified as follows B 1 ): quantum system theory when A = CH)) B) measurement theory = B 2 ): classical system theory when A = C 0 Ω)) That is, when A = CH), the C -algebra composed of all compact operators on a Hilbert space H, the B 1 ) is called quantum measurement theory or, quantum system theory), which can be regarded as the linguistic aspect of quantum mechanics Also, when A is commutative that is, when A is characterized by C 0 Ω), the C -algebra composed of all continuous complex-valued functions vanishing at infinity on a locally compact Hausdorff space Ω cf [12, 14])), the B 2 ) is called classical measurement theory Also, note cf [12]) that, when A = CH), i) A = TrH) =trace class), = BH), = TrH) ie, pre-dual space), thus, TrH) ρ, T )BH) = Tr ρt ) ρ TrH), T BH)) H Also, when A = C 0 Ω), ii) A = the space of all signed measures on Ω, = L Ω, ν) BL 2 Ω, ν))), = L 1 Ω, ν), where ν is some measure on Ω, thus, L 1 Ω,ν) ρ, T )L Ω,ν) = Ω ρω)t ω)νdω) ρ L1 Ω, ν), T L Ω, ν)) cf [12]) The measure ν is usually omitted in this paper, that is, L Ω, ν) and L 1 Ω, ν) is respectively written by L Ω) and L 1 Ω) Let [A, ] BH) be a basic structure Let A BH)) be a C -algebra, and let A be the dual Banach space of A That is, A = {ρ ρ is a continuous linear functional on A }, and the norm ρ A is defined by sup{ ρf ) F A such that F A = F BH) ) 1} Define the mixed state ρ A ) such that ρ A = 1 and ρf ) 0 for all F A such that F 0 And define the mixed state space S m A ) such that S m A )={ρ A ρ is a mixed state} 2

3 A mixed state ρ S m A )) is called a pure state if it satisfies that ρ = θρ θ)ρ 2 for some ρ 1, ρ 2 S m A ) and 0 < θ < 1 implies ρ = ρ 1 = ρ 2 Put S p A )={ρ S m A ) ρ is a pure state}, which is called a state space It is well known cf [12]) that S p CH) ) = { u u ie, the Dirac notation) u H = 1}, and S p C 0 Ω) ) = {δ ω0 δ ω0 is a point measure at ω 0 Ω}, where Ω fω)δ ω 0 dω) = fω 0 ) f C 0 Ω)) The latter implies that S p C 0 Ω) ) can be also identified with Ω called a spectrum space or simply spectrum) such as S p C 0 Ω) ) state space) δ ω ω Ω spectrum) For instance, in the above ii) we must clarify the meaning of the value of F ω 0 ) for F L Ω, ν) and ω 0 Ω An element F ) is said to be essentially continuous at ρ 0 S p A )), if there uniquely exists a complex number α such that C) if ρ, ρ = 1) converges to ρ 0 S p A )) in the sense of weak topology of A, that is, ρg) ρ 0 G) G A )), then ρf ) converges to α And the value of ρ 0 F ) is defined by the α According to the noted idea cf [4]), an observable O :=X, F, F ) in is defined as follows: i) [σ-field] X is a set, F 2 X PX)), the power set of X) is a σ-field of X, that is, Ξ 1, Ξ 2, F Ξ n F, Ξ F X \ Ξ F ii) [Countable additivity] F is a mapping from F to satisfying: a): for every Ξ F, F Ξ) is a nonnegative element in such that 0 F Ξ) I, b): F ) = 0 and F X) = I, where 0 and I is the 0-element and the identity in respectively c): for any countable decomposition {Ξ 1, Ξ 2,, Ξ n, } of Ξ ie, Ξ, Ξ n F n = 1, 2, 3, ), Ξ n = Ξ, Ξ i Ξ j = i j) ), it holds that F Ξ) = F Ξ n) in the sense of weak topology in 13 Axiom 1 [Measurement] and Axiom 2 [Causality] Measurement theory B) is composed of two axioms ie, Axioms 1 and 2) as follows With any system S, a basic structure [A, ] BH) can be associated in which the measurement theory B) of that system can be formulated A state of the system S is represented by an element ρ S p A )) and an observable is represented by an observable O :=X, F, F ) in Also, the measurement of the observable O for the system S with the state ρ is denoted by M O, S [ρ] ) or more precisely, M O :=X, F, F ), S [ρ] ) ) An observer can obtain a measured value x X) by the measurement M O, S [ρ] ) The Axiom 1 presented below is a kind of mathematical generalization of Born s probabilistic interpretation of quantum mechanics And thus, it is a statement without reality ow we can present Axiom 1 in the W -algebraic formulation as follows Axiom 1 [ Measurement ] The probability that a measured value x X) obtained by the measurement M O :=X, F, F ), S [ρ] ) belongs to a set Ξ F) is given by ρf Ξ)) if F Ξ) is essentially continuous at ρ S p A )) ext, we explain Axiom 2 Let [A 1, 1 ] BH1) and [A 2, 2 ] BH2) be basic structures A continuous linear operator Φ 1,2 : 2 with weak topology) 1 with weak topology) is called a Markov operator, if it satisfies that i): Φ 1,2 F 2 ) 0 for any non-negative element F 2 in 2, ii): Φ 1,2 I 2 ) = I 1, where I k is the identity in k, k = 1, 2) In addition to the above i) and ii), in this paper we assume that Φ 1,2 A 2 ) A 1 and sup{ Φ 1,2 F 2 ) A1 F 2 A 2 such that F 2 A2 1} = 1 It is clear that the dual operator Φ 1,2 : A 1 A 2 satisfies that Φ 1,2S m A 1)) S m A 2) If it holds that Φ 1,2S p A 1)) S p A 2), the Φ 1,2 is said to be deterministic If it is not deterministic, it is said to 3

4 be non-deterministic or decoherence Also, note that, for any observable O 2 :=X, F, F 2 ) in 2, the X, F, Φ 1,2 F 2 ) is an observable in 1 ow Axiom 2 is presented as follows: Axiom 2 [Causality] Let t 1 t 2 The causality is represented by a Markov operator Φ t1,t 2 : t2 t1 14 The linguistic interpretation = the manual to use Axioms 1 and 2) In the above, Axioms 1 and 2 are kinds of spells, ie, incantation, magic words, metaphysical statements), and thus, it is nonsense to verify them experimentally Therefore, what we should do is not to understand but to use After learning Axioms 1 and 2 by rote, we have to improve how to use them through trial and error We can do well even if we do not know the linguistic interpretation However, it is better to know the linguistic interpretation = the manual to use Axioms 1 and 2), if we would like to make progress quantum language early The essence of the manual is as follows: D) Only one measurement is permitted And thus, the state after a measurement is meaningless since it can not be measured any longer Thus, the collapse of the wavefunction is prohibited cf [9]) We are not concerned with anything after measurement That is, any statement including the phrase after the measurement is wrong Also, the causality should be assumed only in the side of system, however, a state never moves Thus, the Heisenberg picture should be adopted, and thus, the Schrödinger picture should be prohibited and so on For details, see [10] 15 Simultaneous measurement, parallel measurement Definition 1 i): Let [A, ] BH) be a basic structure Consider observables O k = X k, F k, F k ) k = 1, 2,, K) in Let K k=1 X k, K k=1f k ) be the product measurable space An observable O = K k=1 O k = K k=1 X k, K k=1f k, F ) in is called the simultaneous observable of O k k = 1, 2,, K), if it holds that K k=1 F k Ξ k ) = F K k=1 Ξ k ) Ξ k F k ) 2) Also, the measurement M O, S [ρ0 ]) is called a simultaneous measurement of measurements M O k, S [ρ0 ]) k = 1, 2,, K) ote that a simultaneous observable O = K k=1 X k, K k=1, F ) in always exists if observables O = K k=1 X k, K k=1f k, F ) commute, ie, F k Ξ k )F l Ξ l ) = F l Ξ l )F k Ξ k ) Ξ k F l, Ξ l F k, k l) 3) ii): Let [A k, k ] BHk ) k = 1, 2,, K) be basic structures, and let [ K k=1 A k, K k=1 k] K k=1 BH be the k) tensor basic structure cf [10]) Consider measurements M k O k = X k, F k, F k ), S [ρk ]) k = 1, 2,, K) in k Let K k=1 O k = K k=1 X k, K k=1 F k, K k=1 F k) be the parallel observable in a tensor W -algebra K k=1 k And let K k=1 ρ k S p K k=1 A k) )) Then, the measurement M K k=1 K k k=1 O k = K k=1 X k, K k=1 F k, K k=1 F k), S [ K k=1 ρ k] ) is called a parallel measurement of M k O k = X k, F k, F k ), S [ρk ]) k = 1, 2,, K) ote that the parallel measurement always exists uniquely 2 Bell s inequality in quantum language 21 Our view about Bell s inequality In this paper, I assert that Bell s inequality should be studied in the framework of quantum theory ie, quantum theory with the linguistic Copenhagen interpretation) Let us start from the following definition, which is a slight modification of the simultaneous observable in Definition 1 4

5 Definition 2 [Combined observable] Let [A, ] BH) be a basic structure Put X = { 1, 1} Consider four observables: O 13 = X 2, PX 2 ), F 13 ), O 14 = X 2, PX 2 ), F 14 ), O 23 = X 2, PX 2 ), F 23 ), O 24 = X 2, PX 2 ), F 24 ) in The four observables are said to be combinable if there exists an observable O = X 4, PX 4 ), F ) in such that F 13 {x 1, x 3 )}) = F {x 1 } X {x 3 } X), F 14 {x 1, x 4 )}) = F {x 1 } X X {x 4 }) F 23 {x 2, x 3 )}) = F X {x 2 } {x 3 } X), F 24 {x 2, x 4 )}) = F X {x 2 } X {x 4 }) 4) for any x 1, x 2, x 3, x 4 ) X 4 The observable O is said to be a combined observable of O ij i = 1, 2, j = 3, 4) ote that the O is regarded as a kind of simultaneous observable of O ij i = 1, 2, j = 3, 4) Also, the measurement M O = X 4, PX 4 ), F ), S [ρ0 ]) is called the conbined measurement of M O 13, S [ρ0 ]), M O 14, S [ρ0 ]), M O 23, S [ρ0 ]) and M O 24, S [ρ0 ]) The following theorem is all of our insistence concerning Bell s inequality Theorem 3 [Bell s inequality in quantum language] Let [A, ] BH) be a basic structure Put X = { 1, 1} Fix the pure state ρ 0 S p A ) ) And consider the four measurements M O 13 = X 2, PX 2 ), F 13 ), S [ρ0 ]), M O 14 = X 2, PX 2 ), F 14 ), S [ρ0 ]), M O 23 = X 2, PX 2 ), F 23 ), S [ρ0 ]) and M O 24 = X 2, PX 2 ), F 24 ), S [ρ0 ]) Or equivalently, consider the parallel measurement i=1,2,j=3,4 M O ij = X 2, PX 2 ), F ij ), S [ρ0 ]) Define four correlation functions i = 1, 2, j = 3, 4), R ij = u v ρ 0 F ij {u, v)})) u,v) X X Assume that four observables O 13 = X 2, PX 2 ), F 13 ), O 14 = X 2, PX 2 ), F 14 ), O 23 = X 2, PX 2 ), F 23 ) and O 24 = X 2, PX 2 ), F 24 ) are combinable, that is, we have the observable O = X 4, PX 4 ), F ) in such that it satisfies 4) Then we have the combined measurement M O = X 4, PX 4 ), F ), S [ρ0 ]) of M O 13, S [ρ0 ]), M O 14, S [ρ0 ]), M O 23, S [ρ0 ]) and M O 24, S [ρ0 ]) And further, we have Bell s inequality in quantum language as follows R 13 R 14 + R 23 + R ) Proof Clearly we see, i = 1, 2, j = 3, 4, R ij = x i x j ρ 0 F {x 1, x 2, x 3, x 4 )})) 6) x 1,x 2,x 3,x 4) X X X X for example, R13 = x 1,x 2,x 3,x 4 ) X X X X x 1 x 3 ρ 0 F {x 1, x 2, x 3, x 4 )})) ) Therefore, we see that R 13 R 14 + R 23 + R 24 [ ] = x 1 x 3 x 1 x 4 + x 2 x 3 + x 2 x 4 ρ 0 F {x 1, x 2, x 3, x 4 )})) = x 1,x 2,x 3,x 4 ) X X X X x 1,x 2,x 3,x 4) X X X X This completes the proof [ ] x 3 x 4 + x 3 + x 4 ρ 0 F {x 1, x 2, x 3, x 4 )})) 2 As the corollary of this theorem, we have the followings: 5

6 Corollary 4 Consider the parallel measurement i=1,2,j=3,4 M O ij = X 2, PX 2 ), F ij ), S [ρ0 ]) as in Theorem 3 Let x = x 1 13, x 2 13), x 1 14, x 2 14), x 1 23, x 2 23), x 1 24, x 2 24) ) X 2 { 1, 1} 8 ) i,j=1,2 be a measured value of the parallel measurement i=1,2,j=3,4 M O ij = X 2, PX 2 ), F ij ), S [ρ0 ]) Let be sufficienly large natural number Consider -parallel measurement [ i=1,2,j=2,3 M O ij := X 2, PX 2 ), F ij ), S [ρ0 ]) ] Let {x n } be the measured value That is, {x n } = x 1,1 x 1,2 13, x2, , x2,2 13 Here, note that the law of large numbers says: ), x1,1 14, x2,1 14 ), x1,1 23, x2,1 23 ), x1,1 24, x2,1 24 )) ), x1,2 14, x2,2 14 ), x1,2 23, x2,2 23 ), x1,2 24, x2,2 24 )) x 1, 13, x2, 13 ), x1, 14, x2, 14 ), x1, 23, x2, 23 R ij 1 Then, it holds, by the formula 5), that 13 x2,n x2,n 14 ) ), x1, 24, x2, 24 ) ij x2,n ij i = 1, 2, j = 3, 4) + which is also called Bell s inequality in quantum language 23 x2,n x2,n 24 X 8 ) 2, 7) Remark 5 [The conventional Bell s inequality cf [13])] The mathematical Bell s inequality is as follows: Let Θ, B, P ) be a probability space Let f 1, f 2, f 3, f 4 ) : Θ X 4 { 1, 1} 4 ) be a measurable functions Define the correlation functions R ij i = 1, 2, j = 3, 4) by Θ f iθ)f j θ)p dθ) Then, the following mathematical Bell s inequality holds: This is easily proved as follows the left-hand side of the above 8) R 13 R 14 + R 23 R ) Θ f 3 θ) + f 4 θ) P dθ) + f 3 θ) f 4 θ) P dθ) 2 Θ 3 Bell s inequality is violated in classical systems as well as quantum systems In the previous section, we show that E 1 ) Under the combinable condition cf Definition 1), Bell s inequality 5) or, 7)) holds in both classical systems and quantum systems 6

7 Or, equivalently, E 2 ) If Bell s inequality 5) or 7)) is violated, then the combined observable does not exist, and thus, we cannot obtain the measured value by the measurement of the combined observable) This makes us expect that F) Bell s inequality 5) or 7)) is violated in classical systems as well as quantum systems without the combined condition This F) was already shown in my previous paper [7] However, I got a lot of questions concerning F) from the readers Thus, in this section, we again explain the F) precisely For this, three steps [Step:I] [Step:III]) are prepared in what follows [Step: I] Put X = { 1, 1} Define complex numbers a k = α k + β k 1) k = 1, 2, 3, 4) such that a k = 1 Define the probability space X 2, PX 2 ), ν aia j ) such that i = 1, 2, j = 3, 4) ν ai a j {1, 1)})= ν ai a j { 1, 1)})= 1 α i α j β i β j )/4 ν aia j { 1, 1)})= ν aia j {1, 1)})= 1 + α i α j + β i β j )/4 9) The correlation Ra i, a j ) i = 1, 2, j = 3, 4) is defined as follows: Ra i, a j ) ow we have the following problem: x 1,x 2 ) X X x 1 x 2 ν ai a j {x 1, x 2 )}) = α i α j β i β j 10) G) Find a measurement M O aia j [A, ] BH) such that := X 2, PX 2 ), F aia j ), S [ρ0 ]) i = 1, 2, j = 3, 4) in a basic structure ν ai a j Ξ) = ρ 0 F ai a j Ξ)) Ξ PX 2 )) 11) and [Step: II] F a1a 3 {x 1 } X) = F a1a 4 {x 1 } X) F a1a 3 X {x 3 }) = F a2a 3 X {x 3 }) F a2a 3 {x 2 } X) = F a2a 4 {x 2 } X) F a1a 4 X {x 4 }) = F a2a 4 X {x 4 }) x k X { 1, 1}), k = 1, 2, 3, 4) Let us answer this problem G) in the two cases ie, classical case and quantum case), that is, i):the case of quantum systems: [A = BC 2 C 2 )] ii):the case of classical systems: [A = C 0 Ω Ω)] i):the case of quantum system: [A = BC 2 ) BC 2 ) = BC 2 C 2 )] Put e 1 = [ ] 1, e 0 2 = [ ] 0 1 C 2 ) 7

8 For each a k k = 1, 2, 3, 4), define the observable O ak X, PX), G ak ) in BC 2 ) such that Then, we have four observable: and further, G ak {1}) = 1 2 [ ] 1 āk, G a k 1 ak { 1}) = 1 [ ] 1 āk 2 a k 1 Ô ai = X, PX), G ai I), Ô aj = X, PX), I G aj ) i = 1, 2, j = 3, 4) 12) O aia j = X 2, PX 2 ), F aia j := G ai G aj ) i = 1, 2, j = 3, 4) 13) in BC 2 C 2 ), where it should be noted that F ai a j is separated by G ai and G aj Further define the singlet state ρ 0 = ψ s ψ s S p BC 2 C 2 ) ) ), where ψ s = e 1 e 2 e 2 e 1 )/ 2 Thus we have the measurement M BC2 C 2 )O aia j, S [ρ0 ]) in BC 2 C 2 ) i = 1, 2, j = 3, 4) The followings are clear: for each x 1, x 2 ) X 2 { 1, 1} 2 ), ρ 0 F ai a j {x 1, x 2 )})) = ψ s, G ai {x 1 }) G aj {x 2 }))ψ s = ν ai a j {x 1, x 2 )}) i = 1, 2, j = 3, 4) 14) For example, we easily see: ρ 0 F ai b j {1, 1)})) = ψ s, G ai {1}) G aj {1}))ψ s = 1 [ ] [ 1 8 e āi 1 āj 1 e 2 e 2 e 1 ), a i 1 a j 1 [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] = 1 āi 1 āj 1 0 ), ) a i 1 a j = 1 [ ] [ ] [ ] [ ] [ ] ] ] [ ] [āj [āi 1 8 ), ) a i ] )e 1 e 2 e 2 e 1 ) = aā j ā i a j ) = 1 α i α j β i β j )/4 = ν ai a j {1, 1)}) Therefore, the measurement M BC2 C 2 )O aia j, S [ρ0 ]) satisfies the condition G) a j [ ] 0 1 [ ] 1 ) 0 ii):the case of classical systems: [A = C 0 Ω) C 0 Ω) = C 0 Ω Ω)] Put ω 0 = ω 0, ω 0 )) Ω Ω ρ 0 = δ ω0 S p C 0 Ω Ω) ), ie, the point measure at ω 0 ) ) Define the observable O ai a j := X 2, PX 2 ), F ai a j ) in L Ω Ω) such that [F ai a j {x 1, x 2 )})]ω) = ν ai a j {x 1, x 2 )}) x 1, x 2 ) X 2, i = 1, 2, j = 3, 4, ω Ω Ω) 15) Thus, we have four observables O ai a j = X 2, PX 2 ), F ai a j ) i = 1, 2, j = 3, 4) 16) in L Ω Ω) though the variables are not separable cf the formula 13) ) Then, it is clear that the measurement M L Ω Ω)O ai a j, S [δω0 ]) satisfies the condition G) [Step: III] 8

9 As defined by 9), consider four complex numbers a k = α k + β k 1; k = 1, 2, 3, 4) such that ak = 1 Thus we have four observables O a1a 3 := X 2, PX 2 ), F a1a 3 ), O a1a 4 := X 2, PX 2 ), F a1a 4 ), O a2a 3 := X 2, PX 2 ), F a2a 3 ), O a2a 4 := X 2, PX 2 ), F a2a 4 ), in the W -algebra Thus, we have the parallel measurement i=1,2,j=3,4 M O ai a j := X 2, PX 2 ), F ai a j ), S [ρ0]) in i=1,2,j=3,4 Thus, putting we see, by 10), that a 1 = 1, a 2 = 1, a 3 = 1 + 1, a 4 = 1 1, 2 2 Ra 1, a 3 ) Ra 1, a 4 ) + Ra 2, a 3 ) + Ra 2, a 4 ) = ) Further, assume that the measured value is x X 8 ) That is, x = x 1 13, x 2 13), x 1 14, x 2 14), x 1 23, x 2 23), x 1 24, x 2 24) ) X 2 { 1, 1} 8 ) i,j=1,2 Let be sufficiently large natural number Consider -parallel measurement [ i=1,2,j=3,4 M O ai a j := X 2, PX 2 ), F ai a j ), S [ρ0 ]) ] Assume that its measured value is {x n } That is, {x n } = x 1,1 x 1,2 13, x2, , x2,2 13 ), x1,1 14, x2,1 14 ), x1,1 23, x2,1 23 ), x1,1 24, x2,1 24 )) ), x1,2 14, x2,2 14 ), x1,2 23, x2,2 23 ), x1,2 24, x2,2 24 )) x 1, 13, x2, 13 ), x1, 14, x2, 14 ), x1, 23, x2, 23 Then, the law of large numbers says that This and the formula 17) say that 13 x2,n 13 Ra i, a j ) 1 14 x2,n 14 ) ), x1, 24, x2, 24 ) ij x2,n ij i = 1, 2, j = 3, 4) + 23 x2,n 23 + X 2) { 1, 1} 8 ) i=1,2,j=3,4 24 x2,n ) Therefore, Bell s inequality 5) or 7)) is violated in classical systems as well as quantum systems 4 Conclusions In this paper, contrary to Bell s spirit which inherits Einstein s spirit), we try to discuss Bell s inequality in the framework of quantum theory with the linguistic Copenhagen interpretation of quantum mechanics And we show Theorem 3 Bell s inequality in quantum language), which says the statement E 2 ), that is, H) E 2 )): If Bell s inequality 5) or 7)) is violated, then the combined observable does not exist, and thus, we cannot obtain the measured value 9

10 Also, recall that Bell s original argument based on Einstein s spirit) says, roughly speaking, that I) : If the mathematical Bell s inequality 8) is violated, then hidden variables do not exist which is rather philosophical It should be note that the I) is a statement in Einstein s spirit, on the other hand, the H) is a statement in scientific theory ie, quantum theory with the linguistic Copenhagen interpretation) Therefore, we assert that our H) is a scientific representation of the philosophical I) If so, we can, for the first time, understand Bell s inequality in science We hope that our proposal will be examined from various points of view 1 References [1] Bell, JS On the Einstein-Podolosky-Rosen Paradox, Physics 1, ) [2] Bohr, Can quantum-mechanical description of physical reality be considered complete?, Phys Rev 48) ) [3] Born, M Zur Quantenmechanik der Stoßprozesse Vorläufige Mitteilung), Z Phys 37) [4] Davies, E B Quantum Theory of Open Systems, Academic Press, 1976 [5] Einstein, A, Podolosky, B and Rosen, Can quantum-mechanical description of reality be considered completely? Phys Rev 47) ) [6] Ishikawa,S, Mathematical Foundations of Measurement Theory, Keio University Press Inc 335pages, 2006 http: //wwwkeio-upcojp/kup/mfomt/) [7] Ishikawa,S, A ew Interpretation of Quantum Mechanics, Journal of quantum information science, Vol 1, o 2, 35-42, 2011 doi: /jqis [8] Ishikawa,S, Quantum Mechanics and the Philosophy of Language: Reconsideration of traditional philosophies, Journal of quantum information science, Vol 2, o 1, 2-9, 2012 doi: /jqis [9] Ishikawa,S, Linguistic interpretation of quantum mechanics ; Projection Postulate, Journal of quantum information science, Vol 5, o4, , 2015, DOI: /jqis PaperInformationaspx?PaperID=62464%20) [10] Ishikawa,S, Linguistic interpretation of quantum mechanics: Quantum language Version 2, Research Report Department of mathematics, Keio university), KSTS-RR-16/001, 2016, 426 pages) This preprint is a draft of my book Linguistic Interpretation of Quantum Mechanics Towards World-Description in Quantum Language - Shiho-Shuppan Publisher,2016) [11] Ishikawa,S, Final solution to mind-body problem by quantum language, Journal of quantum information science, Vol 7, o2, 48-56, 2017, DOI: /jqis aspx?paperid=76391) [12] Sakai, S, C -algebras and W -algebras, Ergebnisse der Mathematik und ihrer Grenzgebiete Band 60), Springer- Verlag, 1971) [13] Selleri, F Die Debatte um die Quantentheorie, Friedr Vieweg&Sohn Verlagsgesellscvhaft MBH, Braunschweig 1983) [14] Yosida, K, Functional Analysis, Springer-Verlag, 6th edition, For the further information of quantum language, see my home page: ishikawa/indexehtml 10

Bell s inequality is violated in classical systems as well as quantum systems. Shiro Ishikawa

Bell s inequality is violated in classical systems as well as quantum systems. Shiro Ishikawa Research Report KSTS/RR-17/006 Bell s inequality is violated in classical systems as well as quantum systems by Shiro Ishikawa Shiro Ishikawa Department of Mathematics Keio University Department of Mathematics

More information

arxiv: v1 [stat.ot] 5 Aug 2014

arxiv: v1 [stat.ot] 5 Aug 2014 1 The Final Solutions of Monty Hall Problem and Three Prisoners Problem arxiv:1408.0963v1 [stat.ot] 5 Aug 2014 Shiro Ishikawa Department of Mathematics, Faculty of Science and Technology, Keio University,

More information

Linguistic Copenhagen interpretation of quantum mechanics: Quantum Language [Ver. 4] Shiro Ishikawa

Linguistic Copenhagen interpretation of quantum mechanics: Quantum Language [Ver. 4] Shiro Ishikawa Research Report KSTS/RR-18/002 Linguistic Copenhagen interpretation of quantum mechanics: Quantum Language [Ver. 4] by Shiro Ishikawa Shiro Ishikawa Department of Mathematics Keio University Department

More information

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 3] Shiro Ishikawa

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 3] Shiro Ishikawa Research Report KSTS/RR-17/007 Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 3] by Shiro Ishikawa Shiro Ishikawa Department of Mathematics Keio University Department of Mathematics

More information

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2]

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2] Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2] Shiro ISHIKAWA (ishikawa@math.keio.ac.jp) Department of mathematics, Faculty of science and Technology, Keio University, 3-14-1,

More information

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2] 1 Shiro ISHIKAWA Department of mathematics, Facul

Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2] 1 Shiro ISHIKAWA Department of mathematics, Facul Research Report KSTS/RR-16/001 January 8, 2016 Linguistic interpretation of quantum mechanics: Quantum Language [Ver. 2] by Shiro Ishikawa Shiro Ishikawa Department of Mathematics Keio University Department

More information

arxiv: v4 [stat.ot] 15 Sep 2014

arxiv: v4 [stat.ot] 15 Sep 2014 1 The two envelopes paradox in non-bayesian and Bayesian statistics Shiro Ishikawa Department of Mathematics, Faculty of Science and Technology, Keio University, 3-14-1, Hiyoshi, Kouhoku-ku Yokohama, 3-85,

More information

Einstein-Podolsky-Rosen paradox and Bell s inequalities

Einstein-Podolsky-Rosen paradox and Bell s inequalities Einstein-Podolsky-Rosen paradox and Bell s inequalities Jan Schütz November 27, 2005 Abstract Considering the Gedankenexperiment of Einstein, Podolsky, and Rosen as example the nonlocal character of quantum

More information

Stochastic Quantum Dynamics I. Born Rule

Stochastic Quantum Dynamics I. Born Rule Stochastic Quantum Dynamics I. Born Rule Robert B. Griffiths Version of 25 January 2010 Contents 1 Introduction 1 2 Born Rule 1 2.1 Statement of the Born Rule................................ 1 2.2 Incompatible

More information

The nature of Reality: Einstein-Podolsky-Rosen Argument in QM

The nature of Reality: Einstein-Podolsky-Rosen Argument in QM The nature of Reality: Einstein-Podolsky-Rosen Argument in QM Michele Caponigro ISHTAR, Bergamo University Abstract From conceptual point of view, we argue about the nature of reality inferred from EPR

More information

Master Projects (EPFL) Philosophical perspectives on the exact sciences and their history

Master Projects (EPFL) Philosophical perspectives on the exact sciences and their history Master Projects (EPFL) Philosophical perspectives on the exact sciences and their history Some remarks on the measurement problem in quantum theory (Davide Romano) 1. An introduction to the quantum formalism

More information

Density Matrices. Chapter Introduction

Density Matrices. Chapter Introduction Chapter 15 Density Matrices 15.1 Introduction Density matrices are employed in quantum mechanics to give a partial description of a quantum system, one from which certain details have been omitted. For

More information

For the seminar: Ausgewählte Probleme der Quantenmechanik Faculty of Physics, University of Vienna, WS 2011/2012 Christian Knobloch a

For the seminar: Ausgewählte Probleme der Quantenmechanik Faculty of Physics, University of Vienna, WS 2011/2012 Christian Knobloch a Bohmian Mechanics For the seminar: Ausgewählte Probleme der Quantenmechanik Faculty of Physics, University of Vienna, WS 2011/2012 Christian Knobloch a0846069 1 Introduction In the following lines the

More information

Consistent Histories. Chapter Chain Operators and Weights

Consistent Histories. Chapter Chain Operators and Weights Chapter 10 Consistent Histories 10.1 Chain Operators and Weights The previous chapter showed how the Born rule can be used to assign probabilities to a sample space of histories based upon an initial state

More information

QUANTUM MECHANICS. Lecture 5. Stéphane ATTAL

QUANTUM MECHANICS. Lecture 5. Stéphane ATTAL Lecture 5 QUANTUM MECHANICS Stéphane ATTAL Abstract This lecture proposes an introduction to the axioms of Quantum Mechanics and its main ingredients: states, observables, measurement, quantum dynamics.

More information

The hybrid-epistemic model of quantum mechanics and the solution to the measurement problem

The hybrid-epistemic model of quantum mechanics and the solution to the measurement problem The hybrid-epistemic model of quantum mechanics and the solution to the measurement problem Jiří Souček Charles University in Prague, Faculty of Arts U Kříže 8, Prague 5, 158 00, Czech Republic jiri.soucek@ff.cuni.cz

More information

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Evidence and Theory in Physics Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Two Features of Physics Physics displays two interesting features: 1) Programmatically, it aspires to be completely

More information

Borromean Entanglement Revisited

Borromean Entanglement Revisited Borromean Entanglement Revisited Ayumu SUGITA Abstract An interesting analogy between quantum entangled states and topological links was suggested by Aravind. In particular, he emphasized a connection

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Bell s inequalities and their uses

Bell s inequalities and their uses The Quantum Theory of Information and Computation http://www.comlab.ox.ac.uk/activities/quantum/course/ Bell s inequalities and their uses Mark Williamson mark.williamson@wofson.ox.ac.uk 10.06.10 Aims

More information

Stochastic Processes

Stochastic Processes qmc082.tex. Version of 30 September 2010. Lecture Notes on Quantum Mechanics No. 8 R. B. Griffiths References: Stochastic Processes CQT = R. B. Griffiths, Consistent Quantum Theory (Cambridge, 2002) DeGroot

More information

Problems with/failures of QM

Problems with/failures of QM CM fails to describe macroscopic quantum phenomena. Phenomena where microscopic properties carry over into macroscopic world: superfluidity Helium flows without friction at sufficiently low temperature.

More information

Has CHSH-inequality any relation to EPR-argument?

Has CHSH-inequality any relation to EPR-argument? arxiv:1808.03762v1 [quant-ph] 11 Aug 2018 Has CHSH-inequality any relation to EPR-argument? Andrei Khrennikov International Center for Mathematical Modeling in Physics, Engineering, Economics, and Cognitive

More information

A No-Go Result on Common Cause Approaches via Hardy s Paradox

A No-Go Result on Common Cause Approaches via Hardy s Paradox A No-Go Result on Common Cause Approaches via Hardy s Paradox Katsuaki Higashi Abstract According to a conventional view, there exists no common-cause model of quantum correlations satisfying locality

More information

Today s Outline - April 18, C. Segre (IIT) PHYS Spring 2017 April 18, / 23

Today s Outline - April 18, C. Segre (IIT) PHYS Spring 2017 April 18, / 23 Today s Outline - April 18, 2017 C. Segre (IIT) PHYS 406 - Spring 2017 April 18, 2017 1 / 23 Today s Outline - April 18, 2017 The Einstein, Podolsky, Rosen paradox C. Segre (IIT) PHYS 406 - Spring 2017

More information

Can Everettian Interpretation Survive Continuous Spectrum?

Can Everettian Interpretation Survive Continuous Spectrum? Can Everettian Interpretation Survive Continuous Spectrum? Bryce M. Kim 2016/02/21 Abstract This paper raises a simple continuous spectrum issue in many-worlds interpretation of quantum mechanics, or Everettian

More information

Ph 219/CS 219. Exercises Due: Friday 20 October 2006

Ph 219/CS 219. Exercises Due: Friday 20 October 2006 1 Ph 219/CS 219 Exercises Due: Friday 20 October 2006 1.1 How far apart are two quantum states? Consider two quantum states described by density operators ρ and ρ in an N-dimensional Hilbert space, and

More information

The Measure Problem. Louis de Branges Department of Mathematics Purdue University West Lafayette, IN , USA

The Measure Problem. Louis de Branges Department of Mathematics Purdue University West Lafayette, IN , USA The Measure Problem Louis de Branges Department of Mathematics Purdue University West Lafayette, IN 47907-2067, USA A problem of Banach is to determine the structure of a nonnegative (countably additive)

More information

Introduction to Bell s theorem: the theory that solidified quantum mechanics

Introduction to Bell s theorem: the theory that solidified quantum mechanics Introduction to Bells theorem: the theory that solidified quantum mechanics Jia Wang Department of Chemistry, University of Michigan, 930 N. University Ave., Ann Arbor, MI 48109 (Received November 30,

More information

A history of entanglement

A history of entanglement A history of entanglement Jos Uffink Philosophy Department, University of Minnesota, jbuffink@umn.edu May 17, 2013 Basic mathematics for entanglement of pure states Let a compound system consists of two

More information

Mathematical and Physical Examination of the Locality Condition in Bell s Theorem

Mathematical and Physical Examination of the Locality Condition in Bell s Theorem Physics Essays volume 9, number 4, 006 Mathematical and Physical Examination of the Locality Condition in Bell s Theorem Abstract Using the Clauser Horne model of Bell s theorem, the locality condition

More information

Comments on There is no axiomatic system for the. quantum theory. Noname manuscript No. (will be inserted by the editor) J.

Comments on There is no axiomatic system for the. quantum theory. Noname manuscript No. (will be inserted by the editor) J. Noname manuscript No. (will be inserted by the editor) Comments on There is no axiomatic system for the quantum theory J. Acacio de Barros the date of receipt and acceptance should be inserted later Abstract

More information

Basics on quantum information

Basics on quantum information Basics on quantum information Mika Hirvensalo Department of Mathematics and Statistics University of Turku mikhirve@utu.fi Thessaloniki, May 2014 Mika Hirvensalo Basics on quantum information 1 of 49 Brief

More information

Bell s Theorem...What?! Entanglement and Other Puzzles

Bell s Theorem...What?! Entanglement and Other Puzzles Bell s Theorem...What?! Entanglement and Other Puzzles Kyle Knoepfel 27 February 2008 University of Notre Dame Bell s Theorem p.1/49 Some Quotes about Quantum Mechanics Erwin Schrödinger: I do not like

More information

Chapter 5. Density matrix formalism

Chapter 5. Density matrix formalism Chapter 5 Density matrix formalism In chap we formulated quantum mechanics for isolated systems. In practice systems interect with their environnement and we need a description that takes this feature

More information

Checking Consistency. Chapter Introduction Support of a Consistent Family

Checking Consistency. Chapter Introduction Support of a Consistent Family Chapter 11 Checking Consistency 11.1 Introduction The conditions which define a consistent family of histories were stated in Ch. 10. The sample space must consist of a collection of mutually orthogonal

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

ON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS

ON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS 1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important

More information

Quantum mechanics with the permitted hidden parameters

Quantum mechanics with the permitted hidden parameters Quantum mechanics with the permitted hidden parameters D.A.Slavnov Department of Physics, Moscow State University, Moscow 119899, Russia. arxiv:quant-ph/0010069v1 19 Oct 2000 Abstract Within the framework

More information

Basics on quantum information

Basics on quantum information Basics on quantum information Mika Hirvensalo Department of Mathematics and Statistics University of Turku mikhirve@utu.fi Thessaloniki, May 2016 Mika Hirvensalo Basics on quantum information 1 of 52 Brief

More information

Maximal vectors in Hilbert space and quantum entanglement

Maximal vectors in Hilbert space and quantum entanglement Maximal vectors in Hilbert space and quantum entanglement William Arveson arveson@math.berkeley.edu UC Berkeley Summer 2008 arxiv:0712.4163 arxiv:0801.2531 arxiv:0804.1140 Overview Quantum Information

More information

Introduction to Quantum Mechanics

Introduction to Quantum Mechanics Introduction to Quantum Mechanics R. J. Renka Department of Computer Science & Engineering University of North Texas 03/19/2018 Postulates of Quantum Mechanics The postulates (axioms) of quantum mechanics

More information

Bell s Theorem. Ben Dribus. June 8, Louisiana State University

Bell s Theorem. Ben Dribus. June 8, Louisiana State University Bell s Theorem Ben Dribus Louisiana State University June 8, 2012 Introduction. Quantum Theory makes predictions that challenge intuitive notions of physical reality. Einstein and others were sufficiently

More information

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement 226 My God, He Plays Dice! Entanglement Chapter 29 20 This chapter on the web informationphilosopher.com/problems/entanglement Entanglement 227 Entanglement Entanglement is a mysterious quantum phenomenon

More information

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication 7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =

More information

Quantum measurements and Kolmogorovian probability theory

Quantum measurements and Kolmogorovian probability theory Quantum measurements and Kolmogorovian probability theory D.A.Slavnov arxiv:quant-ph/0301027v1 8 Jan 2003 Department of Physics, Moscow State University, Moscow 119992, Russia. E- mail: slavnov@goa.bog.msu.ru

More information

Topic 3: Bohr, Einstein, and the EPR experiment

Topic 3: Bohr, Einstein, and the EPR experiment Bohr, Einstein, and the EPR experiment http://www.wuthrich.net/ MA Seminar: Philosophy of Physics Hilbert spaces Barrett, The Quantum Mechanics of Minds and Worlds, Appendix Quantum states are represented

More information

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding. CS 94- Bell States Bell Inequalities 9//04 Fall 004 Lecture Hilbert Space Entanglement Quantum Gates Bell States Superdense Coding 1 One qubit: Recall that the state of a single qubit can be written as

More information

Quantum Information Types

Quantum Information Types qitd181 Quantum Information Types Robert B. Griffiths Version of 6 February 2012 References: R. B. Griffiths, Types of Quantum Information, Phys. Rev. A 76 (2007) 062320; arxiv:0707.3752 Contents 1 Introduction

More information

ALMOST AUTOMORPHIC GENERALIZED FUNCTIONS

ALMOST AUTOMORPHIC GENERALIZED FUNCTIONS Novi Sad J. Math. Vol. 45 No. 1 2015 207-214 ALMOST AUTOMOPHIC GENEALIZED FUNCTIONS Chikh Bouzar 1 Mohammed Taha Khalladi 2 and Fatima Zohra Tchouar 3 Abstract. The paper deals with a new algebra of generalized

More information

A structural perspective on quantum cognition

A structural perspective on quantum cognition A structural perspective on quantum cognition Kyoto University Supported by JST PRESTO Grant (JPMJPR17G9) QCQMB, Prague, 20 May 2018 QCQMB, Prague, 20 May 2018 1 / Outline 1 What Is Quantum Cognition?

More information

Trace Class Operators and Lidskii s Theorem

Trace Class Operators and Lidskii s Theorem Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace

More information

COPENHAGEN INTERPRETATION:

COPENHAGEN INTERPRETATION: QUANTUM PHILOSOPHY PCES 4.41 Perhaps the most difficult things to understand about QM are (i) how to reconcile our common sense ideas about physical reality with phenomena such as entanglement, & (ii)

More information

Closing the Debates on Quantum Locality and Reality: EPR Theorem, Bell's Theorem, and Quantum Information from the Brown-Twiss Vantage

Closing the Debates on Quantum Locality and Reality: EPR Theorem, Bell's Theorem, and Quantum Information from the Brown-Twiss Vantage Closing the Debates on Quantum Locality and Reality: EPR Theorem, Bell's Theorem, and Quantum Information from the Brown-Twiss Vantage C. S. Unnikrishnan Fundamental Interactions Laboratory Tata Institute

More information

Two-sided multiplications and phantom line bundles

Two-sided multiplications and phantom line bundles Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard

More information

3/10/11. Which interpreta/on sounds most reasonable to you? PH300 Modern Physics SP11

3/10/11. Which interpreta/on sounds most reasonable to you? PH300 Modern Physics SP11 3// PH3 Modern Physics SP The problems of language here are really serious. We wish to speak in some way about the structure of the atoms. But we cannot speak about atoms in ordinary language. Recently:.

More information

Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures

Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures 2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon

More information

The Philosophy of Quantum Mechanics (Handout Eight) between the microphysical and the macrophysical. The macrophysical world could be understood

The Philosophy of Quantum Mechanics (Handout Eight) between the microphysical and the macrophysical. The macrophysical world could be understood The Philosophy of Quantum Mechanics (Handout Eight) 1. The Copenhagen Interpretation Bohr interpreted quantum theory as showing that there is a fundamental partition in nature, between the microphysical

More information

Small probability space formulation of Bell s theorem

Small probability space formulation of Bell s theorem Small probability space formulation of Bell s theorem Márton Gömöri Hungarian Academy of Sciences Budapest, Hungary Tomasz Placek Jagiellonian University Kraków, Poland January 9, 2017 To László E. Szabó

More information

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert

More information

7 Lecture 7: Rational domains, Tate rings and analytic points

7 Lecture 7: Rational domains, Tate rings and analytic points 7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss

More information

Quantum Systems Measurement through Product Hamiltonians

Quantum Systems Measurement through Product Hamiltonians 45th Symposium of Mathematical Physics, Toruń, June 1-2, 2013 Quantum Systems Measurement through Product Hamiltonians Joachim DOMSTA Faculty of Applied Physics and Mathematics Gdańsk University of Technology

More information

arxiv: v1 [math.fa] 1 Oct 2015

arxiv: v1 [math.fa] 1 Oct 2015 SOME RESULTS ON SINGULAR VALUE INEQUALITIES OF COMPACT OPERATORS IN HILBERT SPACE arxiv:1510.00114v1 math.fa 1 Oct 2015 A. TAGHAVI, V. DARVISH, H. M. NAZARI, S. S. DRAGOMIR Abstract. We prove several singular

More information

arxiv:math/ v1 [math.fa] 26 Oct 1993

arxiv:math/ v1 [math.fa] 26 Oct 1993 arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological

More information

Quantum Entanglement. Chapter Introduction. 8.2 Entangled Two-Particle States

Quantum Entanglement. Chapter Introduction. 8.2 Entangled Two-Particle States Chapter 8 Quantum Entanglement 8.1 Introduction In our final chapter on quantum mechanics we introduce the concept of entanglement. This is a feature of two-particle states (or multi-particle states) in

More information

A COMMENT ON FREE GROUP FACTORS

A COMMENT ON FREE GROUP FACTORS A COMMENT ON FREE GROUP FACTORS NARUTAKA OZAWA Abstract. Let M be a finite von Neumann algebra acting on the standard Hilbert space L 2 (M). We look at the space of those bounded operators on L 2 (M) that

More information

A proof of Bell s inequality in quantum mechanics using causal interactions

A proof of Bell s inequality in quantum mechanics using causal interactions A proof of Bell s inequality in quantum mechanics using causal interactions James M. Robins, Tyler J. VanderWeele Departments of Epidemiology and Biostatistics, Harvard School of Public Health Richard

More information

Popper School Methodological Disproof of Quantum Logic

Popper School Methodological Disproof of Quantum Logic Popper School Methodological Disproof of Quantum Logic Steve Meyer Tachyon Design Automation San Francisco, CA 94111 smeyer@tdl.com Presented August 6, 2015 CLMPS Helsinki Slides and addition references

More information

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010 Preliminaries on von Neumann algebras and operator spaces Magdalena Musat University of Copenhagen Copenhagen, January 25, 2010 1 Von Neumann algebras were introduced by John von Neumann in 1929-1930 as

More information

The Relativistic Quantum World

The Relativistic Quantum World The Relativistic Quantum World A lecture series on Relativity Theory and Quantum Mechanics Marcel Merk University of Maastricht, Sept 24 Oct 15, 2014 Relativity Quantum Mechanics The Relativistic Quantum

More information

Reconciling Einstein and Bohr: The Ultra-Instrument View of Quantum Mechanics

Reconciling Einstein and Bohr: The Ultra-Instrument View of Quantum Mechanics Adv. Studies Theor. Phys., Vol. 6, 01, no. 16, 781-789 Reconciling Einstein and Bohr: The Ultra-Instrument View of Quantum Mechanics J.F. Geurdes C. vd. Lijnstraat 164 593 NN Den Haag Netherlands han.geurdes@gmail.com

More information

Singlet State Correlations

Singlet State Correlations Chapter 23 Singlet State Correlations 23.1 Introduction This and the following chapter can be thought of as a single unit devoted to discussing various issues raised by a famous paper published by Einstein,

More information

Negative and Complex Probability in Quantum Information. Vasil Penchev 1

Negative and Complex Probability in Quantum Information. Vasil Penchev 1 Negative and Complex Probability in Quantum Information Vasil Penchev 1 Abstract: Negative probability in practice: quantum communication. Very small phase space regions turn out to be thermodynamically

More information

On Firmness of the State Space and Positive Elements of a Banach Algebra 1

On Firmness of the State Space and Positive Elements of a Banach Algebra 1 Journal of Universal Computer Science, vol. 11, no. 12 (2005), 1963-1969 submitted: 14/10/05, accepted: 15/11/05, appeared: 28/12/05 J.UCS On Firmness of the State Space and Positive Elements of a Banach

More information

Quantum mechanics without the measurement axiom. Jiří Souček

Quantum mechanics without the measurement axiom. Jiří Souček Quantum mechanics without the measurement axiom. Jiří Souček Charles University in Prague, Faculty of Philosophy U Kříže 8, Prague 5, 158 00, Czech Republic jiri.soucek@ff.cuni.cz Abstract. We present

More information

The Born Rule. Chapter Classical Random Walk

The Born Rule. Chapter Classical Random Walk Chapter 9 The Born Rule 9.1 Classical Random Walk The previous chapter showed how to construct sample spaces of histories for both classical and quantum systems. Now we shall see how to use dynamical laws

More information

Lecture Notes. Quantum Theory. Prof. Maximilian Kreuzer. Institute for Theoretical Physics Vienna University of Technology. covering the contents of

Lecture Notes. Quantum Theory. Prof. Maximilian Kreuzer. Institute for Theoretical Physics Vienna University of Technology. covering the contents of Lecture Notes Quantum Theory by Prof. Maximilian Kreuzer Institute for Theoretical Physics Vienna University of Technology covering the contents of 136.019 Quantentheorie I and 136.027 Quantentheorie II

More information

Rational and H dilation

Rational and H dilation Rational and H dilation Michael Dritschel, Michael Jury and Scott McCullough 19 December 2014 Some definitions D denotes the unit disk in the complex plane and D its closure. The disk algebra, A(D), is

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

Entanglement, games and quantum correlations

Entanglement, games and quantum correlations Entanglement, and quantum M. Anoussis 7th Summerschool in Operator Theory Athens, July 2018 M. Anoussis Entanglement, and quantum 1 2 3 4 5 6 7 M. Anoussis Entanglement, and quantum C -algebras Definition

More information

The Born rule and its interpretation

The Born rule and its interpretation The Born rule and its interpretation The Born rule provides a link between the mathematical formalism of quantum theory and experiment, and as such is almost single-handedly responsible for practically

More information

A note on the σ-algebra of cylinder sets and all that

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

More information

A NOTE ON CHECKING REGULARITY OF INTERVAL MATRICES

A NOTE ON CHECKING REGULARITY OF INTERVAL MATRICES A NOTE ON CHECKING REGULARITY OF INTERVAL MATRICES G. Rex and J. Rohn Abstract It is proved that two previously known sufficient conditions for regularity of interval matrices are equivalent in the sense

More information

On positive maps in quantum information.

On positive maps in quantum information. On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University

More information

THE NUMBER OF ORTHOGONAL CONJUGATIONS

THE NUMBER OF ORTHOGONAL CONJUGATIONS THE NUMBER OF ORTHOGONAL CONJUGATIONS Armin Uhlmann University of Leipzig, Institute for Theoretical Physics After a short introduction to anti-linearity, bounds for the number of orthogonal (skew) conjugations

More information

On a Theorem of Dedekind

On a Theorem of Dedekind On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an

More information

MGP versus Kochen-Specker condition in hidden variables theories

MGP versus Kochen-Specker condition in hidden variables theories arxiv:quant-ph/0211049v2 29 Jan 2004 MGP versus Kochen-Specker condition in hidden variables theories Claudio Garola Abstract Hidden variables theories for quantum mechanics are usually assumed to satisfy

More information

Physics 4022 Notes on Density Matrices

Physics 4022 Notes on Density Matrices Physics 40 Notes on Density Matrices Definition: For a system in a definite normalized state ψ > the density matrix ρ is ρ = ψ >< ψ 1) From Eq 1 it is obvious that in the basis defined by ψ > and other

More information

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY J. OPERATOR THEORY 64:1(21), 149 154 Copyright by THETA, 21 CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY DANIEL MARKIEWICZ and ORR MOSHE SHALIT Communicated by William Arveson ABSTRACT.

More information

1 Compact and Precompact Subsets of H

1 Compact and Precompact Subsets of H Compact Sets and Compact Operators by Francis J. Narcowich November, 2014 Throughout these notes, H denotes a separable Hilbert space. We will use the notation B(H) to denote the set of bounded linear

More information

The length-ω 1 open game quantifier propagates scales

The length-ω 1 open game quantifier propagates scales The length-ω 1 open game quantifier propagates scales John R. Steel June 5, 2006 0 Introduction We shall call a set T an ω 1 -tree if only if T α

More information

A non-commutative notion of separate continuity

A non-commutative notion of separate continuity A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)

More information

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr

More information

Smooth Quantum Mechanics

Smooth Quantum Mechanics http://philsci-archive.pitt.edu/ manuscript No. (will be inserted by the editor) Ovidiu Cristinel Stoica Smooth Quantum Mechanics Quantum Mechanics without discontinuities in time evolution Received: date

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

BASIC VON NEUMANN ALGEBRA THEORY

BASIC VON NEUMANN ALGEBRA THEORY BASIC VON NEUMANN ALGEBRA THEORY FARBOD SHOKRIEH Contents 1. Introduction 1 2. von Neumann algebras and factors 1 3. von Neumann trace 2 4. von Neumann dimension 2 5. Tensor products 3 6. von Neumann algebras

More information

INTRODUCTORY NOTES ON QUANTUM COMPUTATION

INTRODUCTORY NOTES ON QUANTUM COMPUTATION INTRODUCTORY NOTES ON QUANTUM COMPUTATION Keith Hannabuss Balliol College, Oxford Hilary Term 2009 Notation. In these notes we shall often use the physicists bra-ket notation, writing ψ for a vector ψ

More information

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE.

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. Ezra Getzler and András Szenes Department of Mathematics, Harvard University, Cambridge, Mass. 02138 USA In [3], Connes defines the notion of

More information

KOLMOGOROV s PROBABILITY THEORY IN QUANTUM PHYSICS

KOLMOGOROV s PROBABILITY THEORY IN QUANTUM PHYSICS KOLMOGOROV s PROBABILITY THEORY IN QUANTUM PHYSICS D.A. Slavnov Department of Physics, Moscow State University, GSP-2 Moscow 119992, Russia. E-mail: slavnov@theory.sinp.msu.ru A connection between the

More information

Some inequalities for sum and product of positive semide nite matrices

Some inequalities for sum and product of positive semide nite matrices Linear Algebra and its Applications 293 (1999) 39±49 www.elsevier.com/locate/laa Some inequalities for sum and product of positive semide nite matrices Bo-Ying Wang a,1,2, Bo-Yan Xi a, Fuzhen Zhang b,

More information