Invariant measures concentrated on countable structures

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.1017/FMS.2016.15" rel="nofollow">DOI 10.1017/FMS.2016.15</a><a class="pub-badge pub-badge--grey" href="https://arxiv.org/abs/1206.4011" rel="nofollow">arXiv</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q6233769" rel="nofollow">MaRDI QID Q6233769</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q6233769" rel="nofollow">FDO</a>

Authors Nathanael Ackerman, Cameron E. Freer, Rehana Patel

Publication date 18 June 2012

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Infinite graphs (05C63) Invariant measures for infinite-dimensional dissipative dynamical systems (37L40) Measure-theoretic ergodic theory (28D99) Exchangeability for stochastic processes (60G09) Model theory of denumerable and separable structures (03C15) Applications of model theory (03C98) Ergodic theory (37A99)

Abstract: Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fraisse limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.

This page was built for publication: Invariant measures concentrated on countable structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6233769)