Converse to the state-extension theorem for logical exclusivity

About 6 years old · traced to

Let AA be a partial Boolean algebra, let η ⁣:A⟶A[⊥]\eta\colon A\longrightarrow A[\perp] be the canonical map to its logical exclusivity extension, and let ν\nu be a state of AA. A state satisfies Probabilistic Exclusivity (PEP) when it has the probabilistic exclusivity property.

State-extension conjecture. If state ν\nu of AA satisfies PEP, then there is a state ν^\hat{\nu} of A[⊥]A[\perp] such that

ν=ν^∘η.\nu=\hat{\nu}\circ\eta.

This is conjectured as the converse to the paper's theorem asserting the corresponding implication for states on the logical exclusivity extension. The source gives no resolution.

References

Primary source

Samson Abramsky and Rui Soares Barbosa, “The logic of contextuality”, arXiv:2011.03064 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.