Pith. sign in

REVIEW 1 cited by

Intersecting sets in probability spaces and Shelah's classification

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.18772 v1 pith:V5V4WR63 submitted 2024-06-26 math.CO math.LOmath.PR

classification math.COmath.LOmath.PR
keywords probabilityeventsconnectedleftresultsrightsomesufficiently
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

For $n \in \mathbb{N}$ and $\varepsilon > 0$, given a sufficiently long sequence of events in a probability space all of measure at least $\varepsilon$, some $n$ of them will have a common intersection. A more subtle pattern: for any $0 < p < q < 1$, we cannot find events $A_i$ and $B_i$ so that $\mu \left( A_i \cap B_j \right) \leq p$ and $\mu \left( A_j \cap B_i\right) \geq q$ for all $1 < i < j < n$, assuming $n$ is sufficiently large. This is closely connected to model-theoretic stability of probability algebras. We survey some results from our recent work on more complicated patterns that arise when our events are indexed by multiple indices. In particular, how such results are connected to higher arity generalizations of de Finetti's theorem in probability, structural Ramsey theory, hypergraph regularity in combinatorics, and model theory.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Averages of hypergraphs and higher arity stability

    math.CO 2025-08 conditional novelty 8.0 of 10

    Functions built from intersections of set families satisfy a strong hypergraph regularity lemma, and the two known sources of ternary instability both satisfy this regularity, so strong 2-stability cannot be defined b...

Pith tools