Generic sampling and invariant measures on the space of $k$-uniform hypergraphs

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ackerman, Nathanael, Freer, Cameron, Gannon, Kyle, Hanson, James E., Patel, Rehana
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917027038363648
author Ackerman, Nathanael
Freer, Cameron
Gannon, Kyle
Hanson, James E.
Patel, Rehana
author_facet Ackerman, Nathanael
Freer, Cameron
Gannon, Kyle
Hanson, James E.
Patel, Rehana
contents We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.
format Preprint
id arxiv_https___arxiv_org_abs_2510_17090
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
Ackerman, Nathanael
Freer, Cameron
Gannon, Kyle
Hanson, James E.
Patel, Rehana
Combinatorics
Logic
Probability
We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.
title Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
topic Combinatorics
Logic
Probability
url https://arxiv.org/abs/2510.17090