arxiv: v1 [quant-ph] 22 Oct 2010

Transcription

1 The extenion problem for partial Boolean tructure in Quantum Mechanic Cotantino Budroni 1 and Giovanni Morchio 1, 2 1) Dipartimento di Fiica, Univerità di Pia, Italy 2) INFN, Sezione di Pia, Italy Alternative partial Boolean tructure, implicit in the dicuion of claical repreentability of et of quantum mechanical prediction, are characterized, with definite general concluion on the equivalence of the approache going back to Bell and Kochen-Specker. An algebraic approach i preented, allowing for a dicuion of partial claical extenion, amounting to reduction of the number of context, claical repreentability ariing a a pecial cae. A a reult, known technique are generalized and ome of the aociated computational difficultie overcome. The implication on the dicuion of Boole-Bell inequalitie are indicated. arxiv: v1 [quant-ph] 22 Oct 2010 I. INTRODUCTION The central role of partial claical (Boolean) tructure in Quantum Mechanic (QM) ha been recognized by many author, both for their abtract mathematical implication (contraint on truth and probability aignment, Gleaon theorem 1, Kochen-Specker theorem 2 ) and for their fundamental role in the analyi of empirical correlation (Bell 3, Mermin 4, Pitowky 5 ). Mot notably, Gleaon reult how that the partial Boolean tructure of QM given by the et of Boolean algebra of projection of a Hilbert pace of dimenion 3 force the correponding et of probability meaure to be given by a quantum tate. Maximal Boolean algebra define context, correponding to the QM notion of jointly meaurable obervable; more generally, they play the role of maximal et of obervable for which a claical decription i given. Independently of QM, they arie in general a a reult of compatibility relation (which can be formulated 6 in term of few propertie of equence of experiment) characterizing et of obervable on which logical operation can be defined. A baic problem behind the introduction of partial Boolean tructure i it neceity, i.e. whether their logical and probabilitic tructure are compatible or not with a claical probability theory. More generally, one may ak whether partial claical extenion exit, giving joint probabilitic prediction for certain et of incompatible obervable. In thi language, the claical hidden variable problem concern the exitence of a claical repreentation, identifying partial Boolean tructure and meaure on them a retriction of a ingle probability theory. More generally, the exitence of a claical decription for et larger than the given context play an important role in the dicuion of the interpretation of QM and give rie to a more general extenion problem. The object of the preent paper i a general analyi of partial claical tructure, given by partial Boolean algebra (PBA) and contextual probability theorie (CPT) and of their extenion problem. A we hall ee, our analyi will cover rather general notion and relation, with ubtantial implication on the analyi of the interpretation of QM, which eem to have been overlooked. In Sect.II the notion of PBA, CPT and extenion are introduced and dicued. In Sect.III alternative PBA and CPT are aociated to QM obervable and prediction. In fact, one may either conider collection of Boolean algebra of commuting projection, or partial Boolean algebra freely generated by ye/no obervable and to treat Boolean relation a empirical relation, induced by quotient aociated to experiment. We will how that uch quotient are well defined for PBA ariing in the QM cae and lead from free algebra to projection algebra. The ditinction between free abtract algebra and concrete projection algebra i eential in order to obtain a unification (Theorem III.1 below) of Kochen-Specker-type and Bell-type approache to the invetigation of claical repreentability. The aim of ret of the paper i to dicu the problem of the extenion of partial Boolean tructure. Claical repreentability i the mot tudied iue and i uually dicued in term of Bell-like inequalitie 5. Their violation in QM exclude uch a repreentability in general; on the contrary, a we hall ee, non-trivial partial extenion arie automatically in many cae; on one ide thi give an interpretation of Bell-like inequalitie a condition for further extenion and allow for a more contructive dicuion of their violation; on the other ide, uch extenion give rie to a implification of the computation of condition of claical repreentability, reducing the problem to the compatibility of automatically provided olution for certain ubproblem. In Sect.IV the extenion problem i dicued for all the 3 and 4 obervable cae which are relevant for QM. In Sect.V we preent general reult and technique for the computation of extenibility condition in term of topological propertie of compatibility relation. In Appendix A we recall ome baic notion and reult for Boolean algebra. In Appendix B we collect reult that explicitly relate the correlation polytope approach to our algebraic approach. In Appendix C we recall Horn and Tarki notion of partial meaure which provide, in our framework, an extenibility criterion for a large cla of contextual theorie.

2 2 II. CONTEXTUAL PROBABILITY THEORIES We tart introducing PBA and CPT. The baic notion go back to Kochen and Specker 2 ; our approach i more general, ince we do not aume a property, indicated in the following a (K-S), which hold for Boolean tructure in QM; it role in the extenion problem will be dicued below. A partial Boolean algebra (PBA) i a et X together with a non-empty family F of Boolean algebra, F {B i } i I, uch that i B i = X, that atify (P 1 ) for every B i, B j F, B i B j F and the Boolean operation ( i, i, ci ), ( j, j, cj ) of B i and B j coincide on it. Without lo of generality we can alo aume the property (P 2 ) for all B i F, each Boolean ubalgebra of B i belong to F. By (P 1 ), Boolean operation, when defined, are unique and will be denoted by (,, c ); we hall denote a partial Boolean algebra by (X, {B i } i I ), or imply by {B i } i I. In the following we hall conider only finite partial Boolean algebra. Their element will alo be called obervable. Given a partial Boolean algebra (X, {B i }), a contextual tate i defined a a map f : X [0, 1], uch that f Bi i a normalized meaure on the Boolean algebra B i for all i. Equivalently, a contextual tate i given by a collection of compatible probability meaure {µ i }, i.e. meaure coinciding on interection of Boolean algebra, one for each B i. A contextual probability theory (CPT) i a pair ((X, {B i }); f), where (X, {B i }) i a partial Boolean algebra and f i a contextual tate defined on it. Equivalently, a contextual probability theory can be denoted with ((X, {B i }); {µ i }), where µ i = f Bi, or imply by ({B i }; {µ i }). It can be eaily checked that the above propertie are atified by the et of all orthogonal projection in a Hilbert pace of arbitrary dimenion, with Boolean operation defined by P Q P Q, P Q P + Q P Q, P c 1 P, (1) for all pair P, Q of commuting projection. If one conider a finite et of orthogonal projection, the reult of the iteration of the above Boolean operation (on commuting projection) i till a finite et and a partial Boolean algebra. Moreover, given a et of projection, the correponding prediction given by a QM tate define a CPT on the generated PBA. In fact, given a PBA of projection on a Hilbert pace H, by the pectral theorem, a quantum mechanical tate ψ define a contextual tate f ψ on it, given by f ψ (P ) = (ψ, P ψ). The generalization to denity matrice i obviou. We hall name the o obtained CPT projection algebra contextual probability theorie. We hall ee in Sect. III that they are not the only CPT that can be aociated to QM prediction, other choice being implicit in different approache to contextuality in QM. It i intereting to notice that, in QM, PBA of projection alo atify the following property (K-S) if A 1,..., A n are element of X uch that any two of them belong to a common algebra B i, then there i a B k F uch that A 1,..., A n B k ; which i actually part of the definition of partial Boolean algebra given by Kochen and Specker. The reaon for not auming (K-S) i that it eem only motivated by PBA ariing in QM. In a general theory of meaurement, it make perfectly ene to conider, for intance, three meaurement uch that every pair can be performed jointly, but it i impoible to perform jointly all the three. Moreover, CPT ariing in uch a cae are not in general given by a probability on a common Boolean algebra, and therefore property K-S i a real retriction. Given a PBA (X, {B i }), we hall call a context each maximal, with repect to incluion, Boolean algebra of {B i }. Moreover, given A, B X, we hall ay that A and B are compatible if they belong to a common context. Given a ubet G X, we hall ay that G generate, or that G i a et of generator for (X, {B i }), if each maximal Boolean algebra of {B i } i generated by a ubet of G. Given two partial Boolean algebra (X, {B i }) and (X, {B j }), we ay that a function ϕ : X X i a homomorphim if for each B i the image ϕ(b i ) belong to {B j } and ϕ Bi i a homomorphim of Boolean algebra; moreover, if ϕ i invertible, we ay that ϕ i an iomorphim. If (X, {B j }) i a Boolean algebra (notice that a Boolean algebra i alo a PBA) and the homomorphim ϕ i an injection, we ay that ϕ i an embedding. Homomorphim of (X, {B i }) into the Boolean algebra {0, 1} define multiplicative contextual tate. In the following, we hall analyze the poibility of extending a contextual probability theory to additional algebra, reducing the number of context. We hall ay that (X, {B j }) contain (X, {B i}) if X X and {B i } {B j }. We hall ay that (X, {B j }) extend (X, {B i}) if (X, {B j }) contain (X, {B i}) and X generate (X, {B j }). Similar notion apply to contextual tate. Given two CPT C = ((X, {B i }); {µ i }) and C = ((X, {B j }); {µ j }), we hall ay that C contain C if (X, {B j }) contain (X, {B i}) and {µ i } {µ j }; we hall

3 3 ay that C extend C if (X, {B j }) extend (X, {B i}) and C contain C. By claical repreentation of a CPT C = ((X, {B i }); {µ i }) we hall mean a Boolean algebra B and a (normalized) meaure µ uch that (B; µ) extend C. The fact that a PBA i not embeddable into a Boolean algebra i preciely the original form of the Kochen- Specker theorem. The minimality implicit in the above notion of extenion reduce the multiplicity of claical repreentation in the ene of Kochen and Specker 2 (not requiring that the PBA generate the Boolean algebra); however, a claical repreentation exit in our ene iff it exit in the K-S ene ince clearly a PBA i embeddable in a Boolean algebra iff it can be extended to a Boolean algebra. If it PBA {B i } extend to a Boolean algebra B, the exitence of a claical repreentation of a CPT amount to the extenion problem of a function, induced by the correponding contextual tate, defined on a ubet of B; the olution of thi extenion problem (with neceary and ufficient condition) i then implicit in the work of Horn and Tarki 11, which i ummarized in Appendix C. A contextual theory C = ({B i }; {µ i }) uch that {B i } extend to a Boolean algebra will be called a Horn-Tarki (H-T) contextual probability theory. III. REDUCTION TO HORN-TARSKI CPTS A. Empirical quotient of contextual probability theorie The aim of the following dicuion i to how how PBA and CPT provide a unification of the Kochen- Specker-type and Bell-type approache to claical repreentability. A fundamental role i played by the notion of empirical quotient; we hall briefly dicu it in claical probability theory and then we hall generalize it to CPT. Conider a claical probability theory defined by a finite Boolean algebra B and a probability meaure µ. If for two element A, B B it hold µ(a B c ) = µ(a c B) = 0, equivalently µ(a) = µ(b) = µ(a B), it follow that every time A happen alo B happen and converely. In term of conditional probabilitie thi can be written a P r(a B) = P r(b A) = 1. Therefore, in the ituation decribed by the meaure µ, it make ene to identify the event A, B and A B with a ingle event ince they cannot be ditinguihed by any experiment. Thi procedure induce an equivalence relation I on B, given by the ideal I = {A B µ(a) = 0}, giving rie to the empirical quotient algebra B B/ I. µ induce a normalized meaure µ on B. Similar notion, with identical interpretation, apply to the cae of a finite Boolean algebra B and a collection of normalized meaure {µ k } k K, where K may be any et of indice, through the ideal I = {A B µ k (A) = 0 for all k K} (any K being admiible ince B i finite). The extenion of the above notion to the cae of CPT i not automatic and require further condition. Given two collection of CPT {C k } k K = {({B i } i I ; f k )} k K and { C k } k K = {({ B j } j J ; f k )} k K we hall ay that { C k } k K i an empirical quotient of {C k } k K, if there exit an equivalence relation on X = i B i uch that (i) when retricted to each Boolean algebra B i, coincide with the equivalence relation induced by the ideal I i {A B i f k (A) = 0 for all k K}; (ii) given A B i and B B l, with B i and B l maximal, if A B, then there exit C B i B l uch that A C ( and B C for tranitivity); (iii) the quotient et X/ i a partial Boolean algebra iomorphic to the PBA X = j B j ; by (i), thi implie that the quotient preerve Boolean operation, namely for all A, B X, with A and B compatible, it hold [A] [B] = [A B], where [A] denote the equivalence cla of A with repect to, and analogou propertie hold for and c ; (iv) denoted with ϕ : X/ X the iomorphim in (iii), it hold f k (A) = f k (ϕ[a]), for all k K and for all A X. The above definition clearly applie in the claical cae, i.e. when both X and X are Boolean algebra; we hall provide below le trivial example. We remark that, unlike the claical cae, an equivalence relation on a CPT, atifying (i) and (ii), doe not in general give rie to an empirical quotient; a counterexample can be contructed by conidering a CPT given by the PBA coniting of three maximal Boolean algebra, generated repectively by the pair of obervable {A, B}, {B, C} and {A, C}, together with the correponding ubalgebra, and a contextual tate f that induce in the above Boolean algebra the identification A B, B C and C A c. In fact, if an empirical quotient exit, then by tranitivity A i identified with A c and therefore, by (i), both are identified with ; thi contradict f(ϕ[1]) = 1. The above notion of quotient may look too retrictive; on the contrary, it will turn out that all CPT with a PBA admitting a complete et of tate (ee below) can be identified with quotient of CPT aociated to a collection of freely generated Boolean algebra, automatically embeddable in a Boolean algebra. Thi will imply that all extenion problem in QM can be put in the H-T form. B. Claical repreentation of contextual probability theorie and of their empirical quotient An important role i played by the following notion.

4 4 Given a PBA {B i } i I and a collection of contextual tate {f k } k K, we hall ay that the collection {f k } k K i complete with repect to {B i } i I if for all A X = i B i, with A there exit f k uch that f k (A) 0. If, in addition, for all A B, with A, B X, there exit f k uch that f k (A) f k (B) then {f k } k K i aid to be eparating for {B i } i I. Notice that for an empirical quotient { C k } k K = {({ B j } j J ; f k )} k K, by (i) and (iv), { f k } k K i alway complete with repect to { B j } j J. The following reult relate claical repreentation of a contextual theory with embedding of PBA aociated to empirical quotient. Propoition III.1. Given {C k } k K = {({B i } i I ; f k )} k K and { C k } k K = {({ B j } j J ; f k )} k K, with { C k } k K an empirical quotient of {C k } k K, if there exit k 0 K uch that C k0 admit a claical repreentation, then there exit a multiplicative contextual tate on { B i }, i.e. a homomorphim δ 0 : X = B j j {0, 1}. Moreover, if there exit K K uch that { f k } k K i eparating for { B j } j J and C k admit a claical repreentation for every k K, then { B j } j J i embeddable into the Boolean algebra 2 N, the power et of a N-element et, where N i the number of multiplicative contextual tate induced by claical repreentation of the contextual tate {f k } k K. Proof Let the Boolean algebra B together with the normalized meaure µ be a claical repreentation for C k0, then µ can be written a a convex combination of multiplicative meaure (ee Lemma A.2 below), namely µ = i λ i δ i, (2) where the δ i are multiplicative meaure and the λ i are poitive number that um up to one. It follow that µ(a B c ) = µ(a c B) = 0 for all A, B X uch that A B and A and B belong to a common algebra B i0 {B i }, and therefore δ i (A B c ) = δ i (A c B) = 0, for each δ i that appear in (2). Actually, the ame hold even if A and B do not belong to a common maximal algebra of {B i }. In fact, by (ii), there exit an element C in the interection of the two maximal algebra containing A and B uch that A C B and the above tatement follow from A B c = (A B c C) (A B c C c ). It follow that δ i (A) = δ i (B) for all A, B X uch that A B and for all δ i appearing in (2); therefore each δ i induce a well defined {0, 1}-valued function on X. To conclude, we hall prove that uch function are homomorphim when retricted to each algebra of { B j }. Thi follow from the iomorphim between X and X/ and the fact that each δ i define a multiplicative meaure on B i / for all B i. In fact, given A, B B i, [A] [B] = [ ] implie δ i (A B) = 0 and therefore δ i (A) + δ i (B) = δ i (A B); each δ i define, therefore, a {0, 1}-valued function on B i / which i additive on dijoint element, i.e. a multiplicative meaure which i a homomorphim with the Boolean algebra {0, 1} (ee Lemma A.3). The proof of the econd part follow eaily from the firt part together with Theorem 0 of Kochen and Specker 2. C. Contextual probability theorie a empirical quotient of free H-T theorie We now how that any complete et of tate on a PBA can be regarded a an empirical quotient of a collection of CPT on a PBA which i embeddable in a (free) Boolean algebra, i.e a collection of H-T CPT. Conider a collection of CPT { C k } k K = {({ B j } j J ; f k )} k K uch that { f k } k K i complete, and take a ubet G = {Ã1,..., Ãn} X = j B j of generator of { B j } j J atifying the following property (G) given k 1 maximal Boolean algebra B i1,..., B ik, generated repectively by maximal ubet of compatible generator G i1,..., G ik G, uch that B i1... B ik {, 1}, the et G i1...i k G i1... G ik i not empty and it generate the Boolean algebra B i1... B ik ; notice that each maximal algebra i generated by a maximal ubet of compatible generator and that the above choice i alway poible ince one can take G = X. The role of thi property will be clarified below. Denote with { G l } the collection of ubet of compatible obervable of G, G l = {à 1... à nl }. Now conider the PBA {B i } i I coniting of Boolean algebra freely generated by ubet G l {A 1... A nl }. We now how how each contextual tate f k induce a contextual tate f k on {B i } i I. Firt, notice that, ince each contextual tate i a collection of normalized meaure, it i ufficient to define it a meaure on maximal Boolean algebra. Each meaure on a maximal algebra B l of {B i } i I, generated by a et G l = {A 1,..., A nl } i completely determined by it value on element of the form ( 1) 1 ε1 A 1... ( 1) 1 ε l A l, where A A c and ε i {0, 1}, ince each element of the algebra can be written a a dijoint union of element of that form (ee Lemma A.2 and A.3). Now, f k i defined a f k (( 1) 1 ε1 A 1... ( 1) 1 ε l A l ) f k (( 1) 1 ε1ã 1... ( 1) 1 ε l à l ) for all maximal ubet of compatible obervable G l of G, and extended a a meaure on each maximal algebra. It can be verified that uch meaure are normalized and they coincide on interection of Boolean algebra; therefore, they define a contextual tate.

5 5 In thi way, we obtain a collection of CPT {C k } k K {({B i } i I ; f k )} k K uch that the initial collection { C k } k K = {({ B j } j J ; f k )} k K i an empirical quotient. The equivalence relation can be, in fact, defined a follow: to each element A of X, generated by a ubet of compatible generator G l G there correpond, via the correpondence A i Ãi, a unique element à of X, defined a the element generated by G l G by mean of the ame operation that generate A from G l ; then an equivalence relation can be defined on X a A B iff à = B. It can be eaily verified that i an equivalence relation and that it define an empirical quotient: (i): it i ufficient to conider each Boolean algebra B l, generated by G l = {A l1,..., A l }, and notice that, there, coincide with the equivalence relation induced by the ideal I {B B l ε H B ( 1) 1 ε1ã l 1... ( 1) 1 εã l = } with H B {ε = (ε 1,..., ε n ) {0, 1} n ( 1) 1 ε1 A l1... ( 1) 1 ε A l B} (ee lemma A.3 below); now, ince { f k } k K i complete and by contruction of {f k } k K, I coincide with the et {B B l f k (B) = 0 for all k K}. (ii): given A, B X, belonging repectively to maximal algebra B l1, generated by G l1, and B l2, generated by G l2, with G l1 and G l2 maximal, if A B, then there exit C B l1 B l1, which i the Boolean algebra generated by G l1 G l2, uch that A C B. In fact, A B implie, with the ame notation a above, à = B; therefore the two maximal algebra generated repectively by G l1 and G l2 have a non-empty interection containing Ã, then, by (G), G l1 G l2 and an element C atifying the above condition exit. (iii): by contruction, X/ i in a one-to-one correpondence with X; that uch a bijection i alo an iomorphim follow from the coincidence, within each Boolean algebra, of with the equivalence relation induced by the ideal I dicued above. (iv): it follow by contruction of {f k } k K. The above partial Boolean algebra {B i } i I i embeddable into the Boolean algebra freely generated by the et G. The CPT {C k } k K are therefore of the Horn-Tarki type and we hall name {C k } k K the collection of free H- T contextual probability theorie aociated to { C k } k K and G. D. Claical repreentation and free H-T theorie The following theorem applie the reult of Propoition 3.1 to the above contruction, allowing to reduce the dicuion of the exitence of claical repreentation to H-T theorie. Theorem III.1. Given a collection of contextual theorie { C k } k K = {({ B j } j J ; f k )} k K with { f k } k K complete with repect to { B j } j J, a et of generator G = { à 1,..., Ãn} atifying property (G) and the aociated collection of free H-T CPT {C k } k K = {({B i } i I ; f k )} k K, then (a) if, for a given k K, Ck admit a claical repreentation, then C k admit a claical repreentation; (b) if there exit K K uch that { f k } k K i eparating for { B j } j J and C k admit a claical repreentation for all k K, then C k admit a claical repreentation for all k K. Proof (a) Let the Boolean algebra B together with the normalized meaure µ k be a claical repreentation for Ck. By the definition of extenion, the et G i a et of generator for B, therefore the Boolean algebra B i iomorphic to the quotient algebra B/, where B i the Boolean algebra freely generated by n generator {A 1,..., A n } and the equivalence relation i that induced by the ideal I {B B ε H B ( 1) 1 ε1ã 1... ( 1) 1 εnã n = } with H B {ε = (ε 1,..., ε n ) {0, 1} n ( 1) 1 ε1 A 1... ( 1) 1 εn A n B} (ee Lemma A.3 below). Then, denoted with ϕ the iomorphim between B/ and B, a meaure µ k extending the contextual tate f k on B can be defined a µ k (A) µ k (ϕ[a]) for all A B, where [A] i the equivalence cla of A with repect to. It can be eaily verified that (B, µ k ) i a claical repreentation for C k. (b) Let the free Boolean algebra B, defined a above, together with a normalized meaure µ k be a claical repreentation for C k, for all k K. By Propoition III.1, { B j } j J i embeddable into the Boolean algebra 2 N, N a in Propoition III.1; let u denote with B the ubalgebra of 2 N generated by G and with S the et of all homomorphim δ : X {0, 1} induced by the normalized meaure µ k, k K (ee Propoition III.1). Such homomorphim are, by contruction (ee Theorem 0 in Kochen-Specker 2 ), in a one-to-one correpondence with the multiplicative meaure of 2 N and can be extended to multiplicative meaure on B in a way uniquely determined by the value aumed on the et of generator G. It follow that each element ε H ( 1)1 ε1ã 1... ( 1) 1 εnã n, with H {0, 1} n, generated by G i the zero element of B if and only if n ε H i=1 ε iδ(ãi) + (1 ε i )(1 δ(ãi)) = 0, i.e. the extenion of δ i zero on uch element, for all δ S. Since the homomorphim in S are induced by multiplicative meaure aociated, eq. (2), to the normalized meaure µ k, k K, it follow that the ideal I defined a in (a) coincide with the ideal I {B B µ k (B) = 0 for all k K }. Thi implie, a in the proof of Propoition III.1, that µ k induce a normalized meaure on B/, and conequently a normalized meaure µ k on B, for all k K. It can be eaily checked that ( B; µ k ) i a

6 6 claical repreentation for C k for all k K. E. Free H-T CPT veru projection algebra CPT in QM On the bai of the above dicuion, it i clear that the projection algebra i not the only poible PBA for the formulation of QM prediction. In particular, for any given PBA of projection, quantum tate generate a complete collection of contextual tate; it follow that, for any et of generator atifying property (G)), the contruction in III.C applie and therefore any collection of QM prediction can be decribed a free H-T CPT. The above reult formalize contruction which are often ued implicitly in dicuion of the interpretation of QM: conider in fact a finite et of ye/no apparatue G = {A 1,..., A n }, repreented a projection P = {P 1,..., P n } in a finite-dimenional Hilbert pace H; then for every ubet of compatible apparatue, i.e. commuting projection, in G, it make ene to conider logical combination obtained by mean of logic gate applied to the outcome in an experiment where they are jointly meaured. In thi way we obtain a collection of Boolean algebra of obervable {B i }, each one freely generated by a ubet G i G of compatible apparatue; there i no longer a bijection between {B i } and the partial Boolean algebra generated by P, ee eq. (1), but contextual tate are till given by quantum mechanical tate ψ by f ψ (A) = (ψ, P A ψ), where A belong to a free Boolean algebra B i generated by a ubet of compatible apparatue G i G and P A i the projection obtained from the correponding ubet of commuting projection P i P by mean of the ame Boolean operation that generate A from G i (notice that P A may be 0 even if A ). Notice that the above contruction only relie on the notion of compatible apparatue and oberved frequencie. It can be qualified a a Bell-type approach: every attribution of 0 and 1 to a et of obervable i aumed to be poible, only a poteriori contrained by experimental information, and the logical tructure i that of a free Boolean algebra. A ytematic treatment of uch a problem i given by Pitowky 5 in term of propoitional logic, we hall refer to it a the correlation polytope approach (ee Appendix B for an account in term free Boolean algebra). The alternative approach baed on projection algebra give rie to reult of a rather different form, tarting from the K-S theorem, and will be referred to a Kochen- Specker-type approach. The relation between the two approache ha not been clarified in general and i alo confued by the fact that in ome cae (e.g. the Bell argument with four meaurement) the approache eem to coincide. From the above dicuion, it i clear the main difference between Kochen-Specker-type and Bell-type approache reide in which logical relation between obervable are aumed. In fact, the above reult imply that the K-S approach i related to the Bell approach by an empirical quotient: by the contruction of Sect. III.C, a free H-T CPT i obtained from the projection algebra CPT on the bai of any et P atifying property (G), which alway exit, a dicued above. The logical content of uch a contruction i that logical relation between compatible obervable can be weakened to empirical relation, aociated in principle to a collection of experiment or contextual tate. (Similar ditinction have been introduced, with a different interpretation, by Garola and Solombrino 7 ). The contruction in III.C, Propoition III.1 and Theorem III.1 clarify the relation between Kochen- Specker-type reult, preenting a non-embeddable partial Boolean algebra of projection, and Bell-type argument, giving condition for the exitence of a probability meaure reproducing meaurable correlation on a free Boolean algebra. The reult i that the equivalence of the two viewpoint for the dicuion of claical repreentability in QM, recognized by Cabello 8 (ee alo 9 ) in ituation ariing in the dicuion of the Kochen-Specker theorem, i a very general fact, following from baic logical and probabilitic tructure. In fact, Propoition III.1 implie that a et of prediction that generate a Kochen-Specker-type contradiction, namely the impoibility of a conitent truth aignment (i.e. a homomorphim between projection PBA and {0, 1}), alo generate a Bell-type contradiction for all quantum tate in the aociated free H-T CPT, more preciely each quantum tate violate at leat one Bell inequality (not necearily the ame for all tate). Moreover, a a conequence of Theorem III.1, we obtain that, given a et of apparatue and a et of quantum tate inducing a eparating collection of contextual tate on their projection PBA, a claical repreentation of all the correponding projection algebra CPT exit if and only if all the correponding free H-T CPT, contructed a in Sect. III.C admit a claical repreentation, independently of the choice of the generator. It follow that all extenion problem ariing in QM can be dicued in the framework of free H-T CPT; the ret of thi paper i devoted to the invetigation of extenibility condition in thi cae. IV. SYSTEMS OF 3 AND 4 OBSERVABLES In thi ection we hall dicu two application of the criterion of claical repreentability, preented in Appendix B, obtained from the tranlation of Pitowky

7 7 correlation polytope reult into the Boolean framework. The proof of the following theorem are eentially baed on the analyi of Bell-Wigner and Clauer-Horne correlation polytope made by Pitowky 5. Theorem IV.1 how that for three obervable with two compatible pair a claical probabilitic model which reproduce obervable correlation alway exit; it implie that for three quantum mechanical obervable a claical probabilitic model alway exit for all poible compatibility relation. Theorem IV.2 how that for four obervable with Bell-type compatibility relation a probabilitic model for the four obervable exit if and only if there are two model for three obervable that coincide on the interection; a reult obtained by Fine 10 in a rather different etting; our approach provide in thi cae a complete analyi for the cae of four quantum mechanical obervable. Theorem IV.1. Let B be a Boolean algebra freely generated by G = {A 1, A 2, A 3 } and B 13 and B 23 the ubalgebra generated repectively by {A 1, A 3 } and {A 2, A 3 }. Conider f : B 13 B 23 [0, 1], uch that f B13 and f B23 are normalized meaure on uch ubalgebra. Then f i extenible to a normalized meaure on the algebra B. Proof By Lemma B.2, without lo of generality we can conider f : X = {A 1, A 2, A 3, A 1 A 3, A 2 A 3 } [0, 1]. The vector p = (p 1, p 2, p 3, p 13, p 23 ) i given by p i = f(a i ) and p ij = f(a i A j ); ince uch value come from a meaure on B 13 and B 23 from p 13 min{p 1, p 3 } p 23 min{p 2, p 3 }; (3) 0 f((a i A j ) c ) = 1 f(a i A j ) = = 1 f(a i ) f(a j ) + f(a i A j ), {i, j} = {1, 3}, {2, 3} we obtain p 1 + p 3 p 13 1, p 2 + p 3 p 23 1 (4) From Lemma B.1 and Propoition B.1 we know that if a normalized meaure µ which extend f exit, then λ(ε) µ(a ε ) = µ(( 1) 1 ε1 A 1 ( 1) 1 ε2 A 2 ( 1) 1 ε3 A 3 ). (5) Therefore the coefficient λ(ε) are obtained from (5) and the property (b) of the definition of meaure (ee Appendix A). The convex combination i obtained by mean of two coefficient χ and η repreenting the two miing correlation µ(a 1 A 2 A c 3) and µ(a 1 A 2 A 3 ) (alternatively, one can ue µ(a 1 A 2 ) and µ(a 1 A 2 A 3 ), but the inequalitie (6) (9) below become more complicated). The following inequalitie are obtained from the non-negativity of the meaure in the ame way a in (4) η min{p 13, p 23, } (6) η max{0, p 13 + p 23 p 3 } (7) χ min{p 1 p 13, p 2 p 23 } (8) χ max{0, p 1 + p 2 + p 3 p 13 p 23 1}. (9) Uing (3) and (4), one can eaily how that each number that appear in min{...} of (6) i greater or equal to each number that appear in max{...} of (7), the ame for (8) and (9). Therefore, (6) (9) define two nonempty interval where one can chooe χ and η. We can now write explicitly the coefficient λ(ε) λ(0, 0, 0) =1 (p 1 + p 2 + p 3 p 13 p 23 ) + χ λ(1, 0, 0) =p 1 p 13 χ, λ(0, 1, 0) =p 2 p 23 χ, λ(0, 0, 1) =η + p 3 p 13 p 23, λ(1, 1, 0) =χ, λ(1, 0, 1) =p 13 η, λ(0, 1, 1) =p 23 η, λ(1, 1, 1) =η. It follow immediately that λ(ε) 0 for all ε {0, 1} 3, and that ε {0,1} 3 λ(ε) = 1. To conclude one jut ha to how, by writing it explicitly, that ε {0,1} λ(ε)u 3 ε = p and then apply Propoition B.1. It follow that, for three obervable, there exit a claical repreentation for any contextual tate alo in the cae in which there i only a pair of compatible obervable and in the cae of three incompatible obervable. In fact, in the cae of three incompatible obervable only p 1, p 2 and p 3 are given, thu one can add p 13 and p 23 that atify (3) and (4) and then apply the ame argument a in the proof of Theorem IV.1. The ame argument alo applie to the cae in which there i only a pair of compatible obervable. Finally, if property (K-S) i aumed, a claical repreentation exit alo for three pairwie compatible obervable. We can conclude, therefore, that for three quantum mechanical obervable a claical probabilitic model which reproduce all obervable correlation alway exit. We now dicu the implication of the reult for the cae of three obervable to the analyi of the cae of four. Theorem IV.2. Let B be a Boolean algebra freely generated by G = {A 1, A 2, A 3, A 4 }, and B ij, B ijk, be the ubalgebra generated repectively by {A i, A j } and {A i, A j, A k }. Conider f : B 13 B 23 B 14 B 24 [0, 1] uch that f B13, f B23, f B14 and f B24 are normalized meaure on uch ubalgebra. Then f i extenible to a normalized meaure on the algebra B if and only if there exit two partial extenion f 123 and f 124, of f B13 B 23 and f B14 B 24 on the ubalgebra B 123 and B 124, uch that f 123 B12 f 124 B12. Proof One implication i obviou ince if a meaure that extend f exit, then the two partial extenion exit and they coincide on the interection. For the convere, we note, a in Theorem IV.1, that we can conider without lo of generality

8 8 X = {A 1, A 2, A 3, A 4, A 1 A 3, A 2 A 3, A 1 A 4, A 2 A 4 } and f : X [0, 1] and then apply Propoition B.1; therefore we contruct the vector p = (p 1, p 2, p 3, p 4, p 13, p 23, p 14, p 24 ) and find the coefficient λ(ε). Firt, we apply Theorem IV.1 to the ubalgebra B 123 and B 124 and to f B13 B 23 and f B14 B 24, obtaining two partial extenion f 123 and f 124, that are normalized meaure on the ubalgebra B 123 and B 124. Now we conider the vector p = (p 1, p 2, p 3, p 12, p 13, p 23), p i = f 123 (A i ), i = 1, 2, 3 p ij = f 123 (A i A j ), 1 i < j 3. and note that, by Propoition B.1, there exit u ε = (ε 1, ε 2, ε 3, ε 1 ε 2, ε 1 ε 3, ε 2 ε 3 ) and λ (ε) uch that p = λ (ε)u ε, λ (ε) = 1, λ (ε) 0. ε {0,1} 3 ε {0,1} 3 The ame argument applie to p = (p 1, p 2, p 3, p 12, p 13, p 23),, p i = f 124 (A i ), i = 1, 2, 4 p 12 = f 124 (A 1 A 2 ), p i3 = f 124 (A i A 4 ), i = 1, 2, and we obtain λ (ε) uch that p = λ (ε)u ε, λ (ε) = 1, λ (ε) 0. ε {0,1} 3 ε {0,1} 3 Now we can define, for ε = (ε 1, ε 2, ε 3, ε 4 ) {0, 1} 4, λ(ε) = λ(ε 1, ε 2, ε 3, ε 4 ) = λ (ε 1, ε 2, ε 3 )λ (ε 1, ε 2, ε 4 ) λ (ε 1, ε 2, 0) + λ (ε 1, ε 2, 1) (10) if the denominator i different from zero, and λ(ε) = 0 otherwie (it i not difficult to how that the definition of λ(ε) i independent of chooing λ or λ in the denominator) It i obviou that λ(ε) 0; their um i given by ε {0,1} 4 λ(ε) = ε 1,ε 2 ε 3,ε 4 λ (ε 1,ε 2,ε 3)λ (ε 1,ε 2,ε 4) λ (ε 1,ε 2,0)+λ (ε 1,ε 2,1) = = ε 1,ε 2 [λ (ε 1,ε 2,0)+λ (ε 1,ε 2,1)][λ (ε 1,ε 2,0)+λ (ε 1,ε 2,1)] λ (ε 1,ε 2,0)+λ (ε 1,ε 2,1) = = ε 1,ε 2 λ (ε 1, ε 2, 0) + λ (ε 1, ε 2, 1) = ε {0,1} 3 λ (ε) = 1 In the ame way one verifie that ε {0,1} λ(ε)ε 4 i = p i, for i = 1, 2, 3, 4, and that ε {0,1} λ(ε)ε iε 4 j = p ij for i = 1, 2 e j = 3, 4. It i intereting to notice that equation (10) ha the form of a conditional probability P r(a, B, C) P r (A B)P r (C B)P r (B) = P r (A,B)P r (C,B) P r (B), where B i an event decribed by (ε 1, ε 2 ), A an event decribed by ε 3 and C an event decribed by ε 4. Thi allow in fact for a generalization (ee Theorem V.1 below). Another intereting remark i that, ince by Theorem IV.1 two partial extenion for three obervable are alway poible, Bell inequalitie can be een a compatibility (exactly in the ene of contextual tate) condition for uch partial extenion. Moreover, the above i the only et of compatibility relation conitent with property (K-S) in which claical repreentability doe not follow from Theorem V.1 below. Theorem IV.2 together with Theorem V.1 provide, therefore, a complete analyi for the cae of four quantum obervable. In general, the correlation polytope approach to the extenion problem i computationally intractable 5, but the ue of partial Boolean algebra and contextual tate provide new criteria of claical repreentability for CPT. In the next ection we hall dicu ome reult that allow for a implification of the computation of extenibility condition in many non-trivial cae. Another extenibility criterion baed on Horn and Tarki notion of partial meaure 11 i preented in Appendix C. V. NEW EXTENSIBILITY CRITERIA In thi ection we hall how how claical repreentability may arie algebraically, i.e. independently of tate, in many non-trivial cae and we hall preent ome technique that allow for a implification of the computation of condition of claical repreentability. The following reult i given by a generalization of the proof of Theorem IV.2 Theorem V.1. Let B be the Boolean algebra freely generated by {A 1,..., A n }, and let B 1 and B 2 be the ubalgebra generated repectively by {A 1,..., A k } and {A i,..., A n }, with 1 i k n. Let µ 1 and µ 2 be two normalized meaure on B 1 and B 2, uch that µ 1 coincide with µ 2 on B 1 B 2. Then a meaure µ which extend µ 1 and µ 2 on B exit. Proof Uing the bijective correpondence between the atom of the ubalgebra B 1 and the vector ε = (ε 1,..., ε k ) {0, 1}k, given by a ε = ( 1) 1 ε 1 A 1... ( 1) 1 ε k Ak (ee Lemma A.3 below) we define the function f 1 : {0, 1} k [0, 1] a f 1 (ε ) µ 1 (a ε ) for all ε {0, 1} k. For all A B 1 µ 1 (A) = ε I A f 1 (ε ), where I A {ε {0, 1} k a ε A}, therefore µ 1 (1) = 1 implie ε {0,1} k f 1 (ε ) = 1 (11) We apply the ame procedure to the meaure µ 2, defining f 2 : {0, 1} n i+1 [0, 1] a f 2 (ε ) µ 2 (a ε ), where ε {0, 1} n i+1 and a ε i an atom of B 2. Similarly, µ 2 (1) = 1 implie f 2 (ε ) = 1. (12) ε {0,1} n i+1 Moreover, µ 1 B1 B 2 µ 2 B1 B 2 implie ε 1,...,ε i 1 f 1 (ε 1,..., ε i 1, ε i..., ε k ) = = ε k+1,...,ε n f 2 (ε i,..., ε k, ε k+1..., ε n ), (13)

9 9 where ε j {0, 1}, j = 1,..., n. In fact, ince B 1 B 2 i the ubalgebra generated by {A i, A i+1,..., A k }, (13) follow from the two poible way of writing every atom a η of B 1 B 2, with η {0, 1} k i+1, a a um of atom of B 1 or of B 2. We define f on {0, 1} n a follow f(ε 1,..., ε n ) f 1(ε 1,..., ε i,..., ε k )f 2 (ε i,..., ε k,..., ε n ), η 1,...,η i 1 f 1 (η 1,..., η i 1, ε i,..., ε k ) (14) if the denominator i different from 0, and f(ε) = 0 otherwie. Equivalently, by (13), the denominator can be written with f 2, intead of f 1, ummed over the lat (n k) variable. A function µ on B i induced by f µ(a) = f(ε) (15) ε H A for all A B, where H A {ε {0, 1} n a ε A} and a ε i an atom of B given by Lemma A.3. It i obviou that µ i non-negative and additive on dijoint element; normalization (µ(1) = 1) follow eaily from (11) and (12). To conclude we need to how that µ coincide with µ 1 on B 1 and with µ 2 on B 2. Given A B 1, it can be written either a A = ε I A a ε, where ε {0, 1} k, a ε i an atom of B 1 and I A i defined a above, or ele, in term of the atom of B, a A = ε H A a ε. By Lemma A.3, H A = {(ε, ε) {0, 1} n ε I A, ε {0, 1} n k } hence, by uing alo (13), we obtain µ(a) = ε H A f(ε) = ε I A ε k+1,...,ε n f(ε, ε) = = f 1(ε ε 1,...,ε i,...,ε k )f2(ε i,...,ε k, ε k+1,..., ε n) I A ε k+1,...,ε n η 1,...,η f i 1 1(η 1,...,η i 1,ε i,...,ε k ) = = ε I A ε k+1,...,ε n f 1(ε 1,...,ε i,...,ε k )f2(ε i,...,ε k, ε k+1,..., ε n) η k+1,...,ηn f2(ε i,...,ε k,η k+1,...,η n) = = ε I A f 1 (ε 1,..., ε i,..., ε k ) = µ 1(A). The proof for µ 2 i analogou. The above theorem provide an extenibility criterion baed only on the partial Boolean tructure of obervable, i.e. on compatibility relation. In many other non-trivial cae a claical extenion of a CPT i in fact obtainable for free, i.e. from partial Boolean tructure, without contraint on the tate. In the following we decribe uch cae in term of compatibility relation, by introducing a compatibility graph repreentation. Conider a Boolean algebra B freely generated by a et of obervable G = {A 1,..., A n } with a function f defined on a ubet i B i B, where each B i i freely generated by a ubet G i G and f Bi i a normalized meaure on B i. We hall repreent compatibility relation a follow: each node repreent a ubalgebra B i on which f define a normalized meaure, and i depicted a an ellipe where the generator G i G, of the ubalgebra are indicated; when for two ubalgebra, generated repectively by G G and G G, f define a normalized meaure on the ubalgebra generated by G G, we hall depict an edge connecting the two correponding node. An example i depicted in fig.1. FIG. 1: An example of a compatibility graph repreentation If property (K-S) hold, ubgraph coniting of pairwie connected node can be decribed by a ingle node. On one ide, thi allow for a repreentation uing only ingle obervable node, on the other, it allow for a retriction to graph without uch completely connected ubgraph. An example i depicted in fig.2. FIG. 2: An example of two equivalent graph repreentation for a contextual theory where property (K-S) hold A repeated application of Theorem V.1 give the following Theorem V.2. Every contextual theory in which the compatibility graph i a tree graph, i.e. a graph in which any two vertice are connected by exactly one path, i extenible to a claical theory. A a conequence of Propoition B.2 Theorem V.2 applie alo in the cae of a collection of diconnected tree.

10 10 Even if quantum prediction for ingle-particle obervable in entangled ytem do not preent tree-like compatibility relation, the application of Theorem V.2 to tree ubgraph ubtantially implifie the analyi, a hown by the following example: Example V.1. Starting from the reult of Theorem IV.2 and with the ame notation, we dicu explicitly the condition of extenibility of the contextual tate f, namely the condition guaranteeing the exitence of two partial extenion f 123 and f 124 that coincide on B 12. By Lemma B.2, it i ufficient that the two meaure coincide on the element A 1 A 2. It i therefore ufficient to invetigate poible attribution to p 12, by mean of the Bell-Wigner polytope (ee Pitowky 5 ), i.e. the correlation polytope aociated with the ubet (ee propoition B.1) X = {A 1, A 2, A, A 1 A, A 2 A, A 1 A 2 }, with = 3, 4. One obtain 5 two ytem of inequalitie that can be written a α (3) p 12 β (3), α (4) p 12 β (4) where α () i the maximum of linear combination L (), of p 1, p 2, p, p 1, p 2, that appear in inequalitie of the form L () p 12, and β () i the minimum of of linear combination L (), of p 1, p 2, p, p 1, p 2, that appear in inequalitie of the form p 12 L (). Therefore, a neceary and ufficient condition for the extenibility of f to a normalized meaure on B, i.e. for the claical repreentability of the correponding contextual theory, can be expreed a max =3,4 α() min =3,4 β(). (16) By exchanging the role of pair 1, 2 and 3, 4 one obtain an analogou olution. It i le obviou, however, that (by Theorem IV.2) condition (16) for a conitent attribution of a value to the correlation p 12 i atified if and only if the analogou condition for the correlation p 34 i atified. A a reult, Bell inequalitie can be identified a condition for extenion of tate beyond their automatic extenion given by algebraic tructure. Even if uch extenion alway exit, the violation of Bell inequalitie how the inconitency of an abolute frequency interpretation. Example V.2. Now conider a contextual theory a before but with obervable A 5,..., A n added only on one ide, i.e. only compatible with A 1, A 2. More preciely, conider a Boolean algebra B freely generated by {A 1,..., A n } and a function f : i=1,2;j=3,...,n B ij [0, 1], uch that f Bij i a normalized meaure on B ij for i = 1, 2 j = 3, 4,..., n. Claical repreentability i till guaranteed, with the ame notation a before, by a condition analogou to (16), namely max =3,...,n α() min =3,...,n β(), (17) with a large implification with repect to the general correlation polytope approach; in the preent approach, the aymmetry of the problem allow in fact a dicuion in term of the additional correlation for the ide with le obervable. A lightly more complicated example i the following: Example V.3. Let B be a Boolean algebra freely generated by G = {A 1,..., A 6 } and B ij the ubalgebra generated by {A i, A j }, conider a function f : i=1,2,3;j=4,5,6 B ij [0, 1], uch that f Bij i a normalized meaure on B ij, with i = 1, 2, 3 and j = 4, 5, 6. By Theorem V.1, there exit three partial extenion f 123 repectively of f 3 i=1 Bi, = 4, 5, 6, to normalized meaure on B 123, the ubalgebra generated {A 1, A 2, A 3, A }. The exitence of an extenion of f to a normalized meaure on B i equivalent to the condition that the three partial extenion f 123 can be taken to coincide on the ubalgebra B 123. Such a condition can be invetigated in term of the value aumed by {A 1 A 2, A 1 A 3, A 2 A 3, A A 2 A 3 } and by mean of the correlation polytope aociated to the et X = {A 1, A 2, A 3, A, A 1 A, A 2 A, A 3 A, A 1 A 2, A 1 A 3, A 2 A 3, A A 2 A 3 }, = 4, 5, 6. Each polytope i generated by 16 vertice in R 11, and i decribed by 48 inequalitie, computed by mean the double decription method 12 with cdd package 13 (for the application of uch method to QM prediction ee Pitowky and Svozil 14 ). However, out of thee 48 inequalitie only 32 are relevant for our dicuion and they can be written a: Type 1 α () 1,ij p ij β () 1,ij, α() 1 p 123 β () 1 {ij} = {12}, {13}, {23}, where α () 1,ij Type 2 α () 2,ij p ij p 123 β () 2,ij {ij} = {12}, {13}, {23}, Type 3 α () 3,ijk p ij + p jk p 123 β () 3,ijk {ij} = {12}, {13}, {23}, j k i, Type 4 α () 4 p 12 + p 13 + p 23 p 123 β () 4, i the maximum of of linear combination L (), of p 1, p 2, p 3, p, p 1, p 2, p 3, that appear in inequalitie of the form L () p ij, and β () i the minimum of of linear combination L (), of p 1, p 2, p 3, p, p 1, p 2, p 3, that appear in inequalitie of the form p ij L (), and o on for each type of inequalitie. A neceary and ufficient condition for the extenibility of f i therefore the exitence of a olution for the following ytem of 11 lin-

11 11 ear inequalitie in the variable p 12, p 13, p 23, p 123, max α () 1,ij p ij min β () 1,ij, (18) {ij} = {12}, {13}, {23}; max α () max α () 1 p 123 min 2,ij p ij p 123 min {ij} = {12}, {13}, {23}; max α () {ij} = {12}, {13}, {23}, j k i; max α () 3,ijk p ij + p jk p 123 min β () 1 ; (19) 4 p 12 + p 13 + p 23 p 123 min β () 2,ij, (20) β () 3,ijk, (21) β () 4. (22) A in example V.1, the dicuion with 1, 2, 3 ubtituted with 4, 5, 6 i analogou and the correponding condition are equivalent. Moreover, a in example V.2, the introduction of additional obervable only on one ide modifie inequalitie (18)-(22) only by extending the et on which maximum and minimum are taken. In general, our method conit in exploiting the algebraic extenion given by Theorem V.2: condition of claical repreentability only arie a conitency (i.e. coincidence on interection) condition for putting together partial extenion aociated to tree ubgraph, giving rie to a decription of the initial compatibility graph a a tree graph on uch extended node. A pointed out in example V.2, different trategie are poible, keeping the value of the given et of correlation fixed throughout all partial extenion. Concluion. We have preented an algebraic approach to the extenion of contextual probability theorie, i.e. partial claical tructure, applicable in particular to thoe ariing in QM, that contain in the ame logical framework both Bell-type and Kochen-Specker-type approache. The above analyi applie in particular to the problem of imulability of quantum algorithm by mean of claical (probabilitic) algorithm. It i well known that a contextual theory can be imulated by a claical theory where additional variable, repreenting obervable in different context, are introduced. Given a contextual theory, aociated to a finite et of quantum meaurement, it i le obviou whether and how much it can be extended; in other word whether the number of it context, i.e., the number of additional claical variable can be reduced. The analyi of partial extenion of a contextual theory provide, therefore, an intrinic meaure of it nonclaicality. From an information-theoretic viewpoint, the above mentioned additional variable may be interpreted a additional information carried by a quantum ytem with repect to it claical counterpart. We tre that becaue of the well known computational intractability of the correlation polytope approach 5 other approache hould be invetigated. Beyond the application of Theorem V.1 in example V.1, V.2 and V.3, in appendix C we point out two additional method: the firt one i to invetigate the partial order of definition C.1 (ee Appendix C) ince it enter in the definition of partial meaure and provide condition of extendibility; the econd one i to invetigate propertie of interior and exterior meaure ince they play a fundamental role in Theorem C.3. We briefly outline ome implication of our approach for the interpretation of QM. It ha been hown in example V.1 that condition (16) i equivalent to the complete (in the ene of Pitowky 5 ) et of CHSH inequalitie; in other word that claical repreentability i equivalent to the poibility of an attribution of a value to the nonobervable correlation p 12 which i conitent with the obervable correlation. Thi example point out explicitly the role of prediction for non-obervable correlation in every attempt to a claical interpretation of quantum mechanical prediction. Thi allow for an interpretation of the violation of Bell inequalitie a a negative anwer to the quetion: given two incompatible obervable i it poible to aign a value to their correlation which i conitent with meaurable correlation? It i intereting to notice that thi conitency criterion i implicit in the argument by Eintein Podolky and Roen. In fact, in their famou paper 15 they dicued the poibility of extending quantum mechanical prediction to include correlation between incompatible obervable with the requirement that uch added (nonobervable) correlation are conitent with the obervable correlation; in their cae, a value i attributed to the momentum of a particle on the bai of it (perfect anti-) correlation with the momentum of the other particle, giving rie to a joint attribution of definite value to poition and momentum of a ingle particle. We may, therefore, name uch conitency condition a the EPR criterion for extenion of QM prediction. Appendix A: Boolean Algebra There exit a vat literature on Boolean algebra that explore deep apect of the ubject and important connection with everal branche of mathematic; we briefly recall in thi ection the elementary reult needed for our dicuion, involving in particular only finite et. For more detail ee Sikorki 16 and Givant-Halmo 17. A Boolean algebra i a non-empty et B in which two binary operation and are defined, called repectively meet and join, and one unary operation c called complement, atifying certain axiom. We hall denote by the zero element, = A A c for all A, and by 1 the unit, 1 = A A c for all A. Every finite Boolean algebra i iomorphic to the Boolean algebra P(X) (the ubet of X with interection, union and complement) for ome finite et X.