Pith. sign in

REVIEW 5 minor 27 references

Possibilistic collapse and extremality of simplicial distributions

T0 review · 0 major / 5 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Strong connectivity of the support of a simplicial distribution forces it to be an extremal point of the probability polytope.

desk verdict Solid incremental math paper: usable sufficient criteria for extremal simplicial distributions, clean proofs, honest about incompleteness. read the letter →

arxiv 2607.02754 v1 pith:LMCUGKZA submitted 2026-07-02 math.CT math.ATquant-ph

Aziz Kharoof , Cihan Okay This is my paper
classification math.CTmath.ATquant-ph MSC 18F2055U1081P13
keywords simplicialdistributionspossibilisticcollapsebundlescenarioseventextremalpointscontextualityBellVorob'evtheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Contextual families of local probability distributions are studied by viewing them as simplicial distributions on a simplicial map. The paper first identifies the Boolean (possibilistic) collapse of any such distribution with a geometric object called a bundle scenario, and likewise identifies the collapse of an empirical model with an event scenario. A new topological connectivity condition on the total space of the bundle scenario is then shown to be sufficient for the original distribution to be a vertex of the convex set of all simplicial distributions. An analogous categorical connectivity condition works for empirical models on simplicial complexes. The two frameworks are related by a natural comparison, and the criteria are used to produce new families of contextual vertices on Bell scenarios and on the boundary of a standard simplex (linking to Vorob'ev's theorem on acyclic complexes).

What carries the argument

The natural isomorphism that realises the possibilistic collapse of a simplicial distribution as a sub-bundle scenario (and of an empirical model as a sub-event scenario), together with the strong-connectivity relation on the total space of that scenario.

What would settle it

Exhibit a simplicial distribution whose support bundle is strongly connected yet which is a non-trivial convex combination of two other distributions, or prove that every vertex arises from a strongly connected support.

Watch

Extended reading notes

Core claim

If the restricted bundle scenario obtained from the possibilistic collapse of a simplicial distribution p is strongly connected, then p is necessarily a vertex of the polytope of all simplicial distributions on that map. An analogous categorical strong-connectivity condition on the associated event scenario forces an empirical model to be a vertex.

Load-bearing premise

The connectivity conditions are only sufficient for extremality; the paper itself exhibits extremal distributions that fail one or both of them.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper develops the theory of simplicial distributions over the Boolean semiring, characterizing possibilistic collapses of probabilistic simplicial distributions as sub-bundle scenarios (Thm 3.9) and, in parallel, possibilistic collapses of empirical models as sub-event scenarios (Thm 3.19). Using a strong-connectivity condition on the total space of the support bundle, it gives a sufficient topological criterion for a simplicial distribution to be extremal (Thm 4.13); an analogous categorical connectivity condition on event scenarios yields a sufficient criterion for empirical models (Thm 4.26). The two frameworks are related by a natural comparison via relative Grothendieck constructions and singular realization. Explicit examples recover known contextual vertices on cycle scenarios, boundaries of standard simplices (linking to Vorob'ev), and Bell scenarios (including three-way nonlocal boxes).

Significance. The work supplies usable, checkable sufficient conditions for extremality of contextual distributions in two standard formalisms of quantum foundations, with full proofs and naturality statements. Strengths include the geometric identification of Boolean collapses with bundle/event scenarios, the comparison isomorphism between the simplicial and sheaf settings, and concrete recovery of PR boxes, Vorob'ev-type examples on ∂Δ^n, and three-way nonlocal vertices. The criteria are only sufficient (as the authors show in Ex 5.11–5.12), but that limitation is internal and does not undercut the stated theorems. The contribution is a solid, self-contained advance in the combinatorial/topological study of contextuality polytopes.

minor comments (5)
  1. Throughout: a few typos remain (e.g. ‘ctegory’ in Def A.3, ‘preseheaf’ in Prop 4.17, ‘octohedral’ in the section title 5.3 and abstract-adjacent text). A final proofreading pass would clean these.
  2. Notation for the preorder ⪯ and the face κ^{-1}(p⪯) is dense in §4; a short remark or diagram summarizing the chain Prop 4.5 → Cor 4.7 → Thm 4.13 would help readers who enter at the extremality criteria.
  3. Figures 3, 5–7 are helpful but the identification of same-coloured edges is only stated in captions; a one-sentence reminder in the main text of Ex 5.2 and 5.10 would make the strong-connectivity claim easier to verify by hand.
  4. In Def 4.11 the uniqueness of lifts is part of the relation ∼_x; it would be useful to note explicitly that this uniqueness is with respect to the restricted bundle g = f|ζ(κ(p)), not the ambient f, so that the argument of Prop 4.12 applies directly.
  5. The unoriented singular realization and the nerve-complex extension to Rel are mentioned in §2.3 but not used later; a brief forward pointer or a sentence on why the ordered case suffices for the extremality criteria would avoid a loose end.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: pure mathematical derivations of sufficient extremality criteria from definitions of bundle/event scenarios and the Boolean collapse preorder.

full rationale

The paper develops characterizations of possibilistic collapses (Theorems 3.9 and 3.19) as natural isomorphisms between functors of simplicial distributions/empirical models and sub-bundle/sub-event scenarios, then proves two sufficient conditions for extremality (Theorems 4.13 and 4.26). The topological criterion follows a short local chain: Proposition 4.12 equates probability masses on strongly-connected generators of the support, Corollary 2.5 excludes non-generators, normalization forces the unique value t = 1/|fibre|, and Corollary 4.7 upgrades uniqueness of the lift of κ(p) to vertex status. The categorical criterion is analogous via the preorder ⪯ and strong connectivity of the event scenario. Both are derived from the paper’s own definitions (bundle scenarios, flasque maps, relative Grothendieck constructions, the preorder ⪯) without fitted parameters, self-referential normalizations, or load-bearing uniqueness theorems imported from the authors’ prior work. Self-citations ([6,7,8,13–16]) supply only background definitions of simplicial distributions and empirical models; the target theorems are self-contained. The paper itself records that the criteria are strictly sufficient (Examples 5.11–5.12), so no over-claim of characterization occurs. No circular steps of any of the six enumerated kinds are present.

Assumptions & free parameters 0 free parameters · 3 assumptions · 2 invented entities

The paper works entirely inside standard category theory, simplicial-set theory and convex geometry over semirings. The only non-standard ingredients are the authors’ earlier notions of bundle scenario and event scenario, which are recalled and then extended by the new connectivity conditions. No free parameters or physical postulates are introduced.

assumptions (3)
  • standard math Distribution monads DR over an arbitrary semiring R (including R≥0 and the Boolean semiring B) and the induced convex structure on simplicial distributions.
    Taken from Jacobs and earlier work of the authors; used throughout §§2–4.
  • domain assumption A surjective simplicial map is a bundle scenario precisely when it has the left-lifting property against all ordinal maps ∆[n]→∆[m] (flasque + surjective).
    Definition 3.1, previously introduced by the authors; the whole geometric characterisation rests on it.
  • standard math Finiteness of non-degenerate simplices of X and of all fibres of f guarantees that sDist(f) is a polytope in standard form.
    Proposition 4.1; needed to speak of vertices.
invented entities (2)
  • Strong connectivity of a simplicial map (∼f relation generated by unique lifts of injective ordinal maps)
    purpose: Provides a purely topological sufficient condition for a simplicial distribution to be extremal.
    Definition 4.11; the key new geometric notion of the paper.
  • Categorical strong connectivity of a flasque functor on a finite poset
    purpose: Analogous sufficient condition for empirical models that is strictly weaker than the topological one.
    Definition 4.24; used in Theorem 4.26 and shown to detect extra vertices (Example 5.11).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Possibilistic collapse and extremality of simplicial distributions." pith.science (2026). https://pith.science/paper/LMCUGKZA

@misc{pith2026260702754,
  author       = {Pith},
  title        = {Pith review of: Possibilistic collapse and extremality of simplicial distributions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LMCUGKZA}},
  note         = {Machine review of arXiv:2607.02754}
}
read the original abstract

Consistent families of locally defined probability distributions that do not admit a joint global distribution are known as contextual, with primary examples arising in quantum theory. In this paper, we study such families of distributions using the theory of simplicial distributions, and further develop the theory for possibilistic distributions defined over the Boolean semiring. We characterize possibilistic collapses of simplicial distributions geometrically using bundle scenarios. Using this characterization together with a new connectivity condition on the total space of a bundle scenario, we provide a criterion for detecting extremal simplicial distributions. In parallel, we develop an analogous theory for presheaves on simplicial complexes, describe possibilistic collapses of empirical models on them using event scenarios together with a categorical extremality condition, and relate the two frameworks via a comparison result. We provide examples of contextual simplicial distributions that arise from our criteria on scenarios of interest in quantum foundations, such as Bell scenarios and boundaries of standard simplices, the latter connecting to Vorob'ev's classical theorem on acyclic complexes.

Figures

Figures reproduced from arXiv: 2607.02754 by the authors.

Figure 1
Figure 1. The circle with four edges defined by setting fσj = σ[j] , where [j] denotes the residue class of j modulo n. Note that every pair of edges in C (nk) is f-strongly connected. Given the projection map fC(n) ,m : C (n) × ∆Zm → C (n) , a simplicial distribution p: C (n) → D(C (n) × ∆Zm) is called a k-order cycle distribution on fC(n) ,m, where 1 ≤ k ≤ m, if there exists a finite sequence [PITH_FULL_IMAGE:figures/full_… view at source ↗
Figure 2
Figure 2. A disk triangulated into four triangles. [PITH_FULL_IMAGE:figures/full_fig_p035_2.png] view at source ↗
Figure 3
Figure 3. The space ζf [PITH_FULL_IMAGE:figures/full_fig_p035_3.png] view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: The simplicial complex B(3, 2). The same colored edges are identified. Example 5.10. Consider Σ = B(3, 2) with maximal simplices {x, y, z}, {x, y, z′ }, {x, y′ , z}, {x, y′ , z′ }, {x ′ , y, z}, {x ′ , y, z′ }, {x ′ , y′ , z}, {x ′ , y′ , z′ }. For T = (B(3, 2), Z2), w…
Figure 5
Figure 5. Figure 5: The space ζf (κf (p)) corresponding to p of Example 5.10. We conclude this section by presenting the other two three-way nonlocal vertices from [11] as simplicial distributions on fsB(3,2),2 and showing that they satisfy the condition of Theorem 4.13. Suppose that (x, …
Figure 6
Figure 6. Figure 6: The space ζf [PITH_FULL_IMAGE:figures/full_fig_p042_6.png]
Figure 7
Figure 7. Figure 7: The space ζf [PITH_FULL_IMAGE:figures/full_fig_p043_7.png]
Figure 8
Figure 8. Figure 8: The graph Σ of Example 5.11. See [PITH_FULL_IMAGE:figures/full_fig_p043_8.png]

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

27 extracted references · 3 linked inside Pith

  1. [1]

    On the Einstein Podolsky Rosen paradox,

    J. S. Bell, “On the Einstein Podolsky Rosen paradox,”Physics Physique Fizika, vol. 1, pp. 195– 200, Nov 1964

    1964

  2. [2]

    The problem of hidden variables in quantum mechanics,

    S. Kochen and E. P. Specker, “The problem of hidden variables in quantum mechanics,”Journal of Mathematics and Mechanics, vol. 17, pp. 59–87, 1967

    1967

  3. [3]

    Bell nonlocality,

    N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, “Bell nonlocality,”Review of Modern Physics, vol. 86, p. 419, 2014

    2014

  4. [4]

    Kochen-specker contextuality,

    C. Budroni, A. Cabello, O. G¨ uhne, M. Kleinmann, and J.- ˚A. Larsson, “Kochen-specker contextuality,”Reviews of Modern Physics, vol. 94, no. 4, p. 045007, 2022. 45

    2022

  5. [5]

    The sheaf-theoretic structure of non-locality and contex- tuality,

    S. Abramsky and A. Brandenburger, “The sheaf-theoretic structure of non-locality and contex- tuality,”New Journal of Physics, vol. 13, no. 11, p. 113036, 2011

    2011

  6. [6]

    Simplicial quantum contextuality,

    C. Okay, A. Kharoof, and S. Ipek, “Simplicial quantum contextuality,”Quantum, vol. 7, p. 1009, May 2023

    2023

  7. [7]

    A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios,

    R. S. Barbosa, A. Kharoof, and C. Okay, “A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios,”arXiv preprint arXiv:2308.06336, 2023

    arXiv 2023

  8. [8]

    Simplicial methods in the resource theory of contextuality,

    A. Kharoof and C. Okay, “Simplicial methods in the resource theory of contextuality,”arXiv preprint arXiv:2505.24010, 2025

    arXiv 2025

Show all 27 references
  1. [9]

    Pitowsky,Quantum Probability – Quantum Logic, vol

    I. Pitowsky,Quantum Probability – Quantum Logic, vol. 321 ofLecture Notes in Physics. Berlin: Springer, 1989

    1989

  2. [10]

    Quantum nonlocality as an axiom,

    S. Popescu and D. Rohrlich, “Quantum nonlocality as an axiom,”Foundations of Physics, vol. 24, no. 3, pp. 379–385, 1994

    1994

  3. [11]

    Nonlocal correlations as an information-theoretic resource,

    J. Barrett, N. Linden, S. Massar, S. Pironio, S. Popescu, and D. Roberts, “Nonlocal correlations as an information-theoretic resource,”Physical Review A, vol. 71, p. 022101, Feb 2005

    2005

  4. [12]

    Interconversion of nonlocal correlations,

    N. S. Jones and L. Masanes, “Interconversion of nonlocal correlations,”Physical Review A—Atomic, Molecular, and Optical Physics, vol. 72, no. 5, p. 052312, 2005

    2005

  5. [13]

    Homotopical characterization of strongly contextual simplicial distributions on cone spaces,

    A. Kharoof and C. Okay, “Homotopical characterization of strongly contextual simplicial distributions on cone spaces,”Topology and its Applications, vol. 352, p. 108956, 2024

    2024

  6. [14]

    Extremal simplicial distributions on cycle scenarios with arbitrary outcomes,

    A. Kharoof, S. Ipek, and C. Okay, “Extremal simplicial distributions on cycle scenarios with arbitrary outcomes,”Journal of Physics A: Mathematical and Theoretical, 2024

    2024

  7. [15]

    The geometry of simplicial distributions on suspension scenarios,

    A. Kharoof, “The geometry of simplicial distributions on suspension scenarios,”Journal of Applied and Computational Topology, vol. 10, no. 1, p. 2, 2026

    2026

  8. [16]

    Vertex structure of fiber products of probability polytopes,

    A. Kharoof and C. Okay, “Vertex structure of fiber products of probability polytopes,”arXiv preprint arXiv:2603.19479, 2026

    2026

  9. [17]

    Logical Bell inequalities,

    S. Abramsky and L. Hardy, “Logical Bell inequalities,”Physical Review A, vol. 85, p. 062114, Jun 2012

    2012

  10. [18]

    Contextuality, cohomology and paradox,

    S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, and S. Mansfield, “Contextuality, cohomology and paradox,” in24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (S. Kreutzer, ed.), vol. 41 ofLeibniz International Proceedings in Informatics (LIPIcs), pp. 211– 228,...

    2015

  11. [19]

    Possibilities determine the combinatorial structure of probability polytopes,

    S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, and S. Mansfield, “Possibilities determine the combinatorial structure of probability polytopes,”Journal of Mathematical Psychology, vol. 74, pp. 58–65, 2016

    2016

  12. [20]

    Consistent families of measures and their extensions,

    N. N. Vorob’ev, “Consistent families of measures and their extensions,”Theory of Probability & Its Applications, vol. 7, no. 2, pp. 147–163, 1962

    1962

  13. [21]

    Simplicial distributions, convex categories and contextuality,

    A. Kharoof and C. Okay, “Simplicial distributions, convex categories and contextuality,”Theory and Applications of Categories, vol. 44, no. 13, pp. 372–409, 2025. 46

    2025

  14. [22]

    Convexity, duality and effects,

    B. Jacobs, “Convexity, duality and effects,” inIFIP International Conference on Theoretical Computer Science, pp. 1–19, Springer, 2010

    2010

  15. [23]

    An elementary illustrated introduction to simplicial sets,

    G. Friedman, “An elementary illustrated introduction to simplicial sets,”arXiv preprint arXiv:0809.4221, 2008

    2008 arXiv

  16. [24]

    P. G. Goerss and J. F. Jardine,Simplicial homotopy theory. Springer Science & Business Media, 2009

    2009

  17. [25]

    Closing Bell: Boxing black box simulations in the resource theory of contextuality,

    R. S. Barbosa, M. Karvonen, and S. Mansfield, “Closing Bell: Boxing black box simulations in the resource theory of contextuality,” inSamson Abramsky on Logic and Structure in Computer Science and Beyond(A. Palmigiano and M. Sadrzadeh, eds.), vol. 25 ofOutstanding Contribution...

    2023

  18. [26]

    Contextuality, cohomology and paradox,

    S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, and S. Mansfield, “Contextuality, cohomology and paradox,” in24th EACSL Annual Conference on Computer Science Logic (CSL 2015), vol. 41 ofLeibniz International Proceedings in Informatics (LIPIcs), pp. 211–228, Schloss Dagstuhl – ...

    2015

  19. [27]

    Mac Lane,Categories for the working mathematician, vol

    S. Mac Lane,Categories for the working mathematician, vol. 5. Springer Science & Business Media, 2013. A Relative Grothendieck construction This section recalls the usual Grothendieck construction [27] and presents a relative version, introduced in [8], that extends to 2-categ...

    2013

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.