measures and measurements - purdue university...trivial fibre bundles ... • and connects topology...
TRANSCRIPT
![Page 1: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/1.jpg)
Marcelo Terra Cunha
Purdue Winer Memorial Lectures 2018
Universidade Estadual de Campinas - Unicamp
Measures and Measurements
![Page 2: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/2.jpg)
Starting Points
• We should not run away from Probability Theory (agree with Ehtibar)
• Quantum Theory is a Generalisation of Probability Theory
• (Quantum) Contextuality appears as a failure of a Global Probability Space
• Let us define “local” Probability Spaces and “glue them together”
![Page 3: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/3.jpg)
Quick Review on Probability Theory
A Measurable Space is a pair (Ω, Σ)
A set, called Sample SpaceΩ
Σ A sigma-algebra of subsets of the Sample Space
![Page 4: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/4.jpg)
Quick Review on Probability Theory
A Probability Space is a triple (Ω, Σ, μ)A set, called Sample SpaceΩ
Σ A sigma-algebra of subsets of the Sample Space
μ A probability measure on Σ
![Page 5: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/5.jpg)
Remind: sigma-Algebra
∅ ∈ Σ
A ∈ Σ ⟹ Ω∖A ∈ Σ
Ai ∈ Σ, i ∈ ℕ ⟹ ⋃i
Ai ∈ Σ ∧ ⋂i
Ai ∈ Σ
A family of subsets of such thatΩ
![Page 6: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/6.jpg)
Remind: Probability Measure
μ : Σ ⟶ ℝ
μ (A) ≥ 0
μ (Σ) = 1
Ai ∩ Aj = ∅∀i, j ⟹ μ (⋃i
Ai) = ∑i
μ (Ai)(countable disjoint union)
Kolmogorov
![Page 7: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/7.jpg)
Small Detour: My understanding of
Kolmogorov’s “ontology”
• Sigma is the Event-Space, where “observables” live
• Omega is the “Underlying Reality”, from where all “observables” are determined
![Page 8: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/8.jpg)
The Problem
• What if not all observables can be jointly defined???
• What if Compatibility Conditions should be imposed to the theory?
![Page 9: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/9.jpg)
The Solution
• Just like a manifold is obtained glueing together “pieces” of vector spaces, we can define a Probability Space for each context and glue them together!
![Page 10: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/10.jpg)
The Solution
• More precisely, we will build two fibre bundles where the fibres are:
• Measurable Spaces
• Probability Spaces
![Page 11: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/11.jpg)
The Basis: Contextuality Scenarios
A Pair (𝒳, 𝒞)𝒳 A Set of possible Measurements
𝒞 A Compatibility Cover, i.e. 𝒞 ⊆ 𝒫 (𝒳)C ∈ 𝒞 ∧ C′� ⊂ C ⟹ C′� ∈ 𝒞s.t.
![Page 12: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/12.jpg)
A Basic Concept: Measurement
A Measurement, , is characterised by the set of its possible outcomes
ℳ
A Realisation of is given by a Measurable Space, , with a partition of , subordinated to
ℳ
ℳ(Ω, Σ)
Ω
A Probability Measure for is given by a Probability Measure on
ℳΣ
![Page 13: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/13.jpg)
CompatibilityCompatible Measurements can be Realised
in the same Measurable Space
Thm: Measurements and are compatible iff there is the joint measurement
ℳ 𝒩ℳ ∧ 𝒩
![Page 14: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/14.jpg)
Attaching the Fibres
Given a Contextuality Scenario, , for each maximal context, , one
attaches a Measurable Space .
(𝒳, 𝒞)C
(ΩC, ΣC)
Rmk: Up to this point, we have Contextuality-by-Default, as defined by Dzhafarov
![Page 15: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/15.jpg)
Digression
• Up to this moment, the contexts are isolated! There is no precise meaning in saying one measurement belongs to two (or more) different contexts
• How to fix it? How to include Kochen-Specker contextuality in this framework?
![Page 16: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/16.jpg)
Glueing ContextsFor each context, will have a different realisationℳ
(Ω, Σ)In , with partition {Am}m∈ℳ
(Ω′�, Σ′�)In , with partition {A′�m}m∈ℳ
This defines a bijection for such sets:
Am ↔ A′�m
which plays the rôle of transition functions in this fibre bundle.
![Page 17: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/17.jpg)
Empirical Models
• Up to now, our fibres are Measurable Spaces
• Another fibre bundle over the contextuality scenario has Probability Spaces as fibres
• This we call (following Abramsky) an Empirical Model
![Page 18: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/18.jpg)
Empirical Models
Given a Contextuality Scenario, , for each maximal context, , one
attaches a Probability Space .
(𝒳, 𝒞)C
(ΩC, ΣC, μC)
New interpretation to Non-Disturbance condition!
![Page 19: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/19.jpg)
Non-Disturbanceℳ ∈ C ∩ C′� ⟹ μC (Am) = μC′�(A′�m)
In words, this is the condition for the Empirical Model to be defined on the Fibre Bundle we built by identifying
the same measurements in different contexts.
In other words, Non-Disturbing Empirical Model defines a Probability Bundle
![Page 20: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/20.jpg)
Trivial Fibre Bundles
• A Fibre Bundle is called trivial when it can be identified with , where is the basis and is the fibre
• A Probability Bundle is trivial when all the probability measures can be defined on the same measurable space
B × F BF
![Page 21: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/21.jpg)
Classification
• An Empirical Model is noncontextual when it can be described using one probability space
• An Empirical Model is quantum when it can be described using one state space and Born’s rule
![Page 22: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/22.jpg)
Fine-Abramsky-Brandenburger Thm
An Empirical Model is noncontextual iff its Probability Bundle is trivial
![Page 23: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/23.jpg)
A Lesson from Bundles
• If the basis is topologically trivial, all fibre bundles are trivial
• This stresses the importance of Contextuality Scenarios
• And connects topology of the Scenario with the possible manifestations of contextuality
![Page 24: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/24.jpg)
Other Lesson from Bundles: Extensions
We have just interpreted non-contextuality as the possibility of extending a given empirical model to a trivial probability bundle
What about other extensions?
![Page 25: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/25.jpg)
Subscenarios
Given a Scenario , we call a Subscenario if
and
Special Case (Induced Subscenario): For a chosen , take all which are made of elements of
(𝒳, 𝒞)(𝒳′�, 𝒞′�) 𝒳′� ⊆ 𝒳
𝒞′� ⊆ 𝒞
𝒳′� ⊆ 𝒳C ∈ 𝒞 𝒳′�
Special Family (Nested Subscenarios): Fixed , nested Compatibility Covers gives Nested Subscenarios
𝒳
![Page 26: Measures and Measurements - Purdue University...Trivial Fibre Bundles ... • And connects topology of the Scenario with the possible manifestations of contextuality. Other Lesson](https://reader034.vdocuments.mx/reader034/viewer/2022042914/5f4cd47cf4f1f51f831ca1b8/html5/thumbnails/26.jpg)
Thank you!