-
Model theory of probability spaces
Authors:
Alexander Berenstein,
C. Ward Henson
Abstract:
This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability spaces by identifying two measurable sets if they differ by a set of measure zero. The class of probability algebras is axiomatizable in continuous first order logic…
▽ More
This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability spaces by identifying two measurable sets if they differ by a set of measure zero. The class of probability algebras is axiomatizable in continuous first order logic; we denote its theory by $Pr$. We show that the existentially closed structures in this class are exactly the ones in which the underlying probability space is atomless. This subclass is also axiomatizable; its theory $APA$ is the model companion of $Pr$. We show that $APA$ is separably categorical (hence complete), has quantifier elimination, is $ω$-stable, and has built-in canonical bases, and we give a natural characterization of its independence relation. For general probability algebras, we prove that the set of atoms (enlarged by adding $0$) is a definable set, uniformly in models of $Pr$. We use this fact as a basis for giving a complete treatment of the model theory of arbitrary probability spaces. The core of this paper is an extensive presentation of the main model theoretic properties of $APA$. We discuss Maharam's structure theorem for probability algebras, and indicate the close connections between the ideas behind it and model theory. We show how probabilistic entropy provides a rank connected to model theoretic forking in probability algebras. In the final section we mention some open problems.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Existentially closed measure-preserving actions of free groups
Authors:
Alexander Berenstein,
C. Ward Henson,
Tomás Ibarlucía
Abstract:
This paper is motivated by the study of probability measure-preserving (pmp) actions of free groups using continuous model theory. Such an action is treated as a metric structure that consists of the measure algebra of the probability measure space expanded by a family of its automorphisms. We prove that the existentially closed pmp actions of a given free group form an elementary class, and there…
▽ More
This paper is motivated by the study of probability measure-preserving (pmp) actions of free groups using continuous model theory. Such an action is treated as a metric structure that consists of the measure algebra of the probability measure space expanded by a family of its automorphisms. We prove that the existentially closed pmp actions of a given free group form an elementary class, and therefore the theory of pmp $\mathbb{F}_k$-actions has a model companion. We show this model companion is stable and has quantifier elimination. We also prove that the action of $\mathbb{F}_k$ on its profinite completion with the Haar measure is metrically generic and therefore, as we show, it is existentially closed.
We deduce our main result from a more general theorem, which gives a set of sufficient conditions for the existence of a model companion for the theory of $\mathbb{F}_k$-actions on a separably categorical, stable metric structure.
△ Less
Submitted 7 November, 2023; v1 submitted 18 March, 2022;
originally announced March 2022.
-
Model Theory of R-trees
Authors:
Sylvia Carlisle,
C Ward Henson
Abstract:
We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is complete and has quantifier elimination; it is stable but not superstable. We identify its independence relation and find built-in canonical bases for non-algebr…
▽ More
We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is complete and has quantifier elimination; it is stable but not superstable. We identify its independence relation and find built-in canonical bases for non-algebraic types. Among the models of $\rbRT_r$ are $\R$-trees that arise naturally in geometric group theory. In every infinite cardinal, we construct the maximum possible number of pairwise non-isomorphic models of $\rbRT_r$; indeed, the models we construct are pairwise non-homeomorphic. We give detailed information about the type spaces of $\rbRT_r$. Among other things, we show that the space of $2$-types over the empty set is nonseparable. Also, we characterize the principal types of finite tuples (over the empty set) and use this information to conclude that $\rbRT_r$ has no atomic model.
△ Less
Submitted 4 March, 2021; v1 submitted 29 September, 2018;
originally announced October 2018.
-
Asymptotically Hilbertian Modular Banach Spaces: Examples of Uncountable Categoricity
Authors:
C. Ward Henson,
Yves Raynaud
Abstract:
We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H is an arbitrary Hilbert space and \oplus_m denotes the modular direct sum. Also, we give several families of examples in the class of Nakano direct sums of fini…
▽ More
We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H is an arbitrary Hilbert space and \oplus_m denotes the modular direct sum. Also, we give several families of examples in the class of Nakano direct sums of finite dimensional normed spaces that satisfy this criterion. This yields many new examples of uncountably categorical Banach spaces, in the model theory of Banach space structures.
△ Less
Submitted 20 September, 2016; v1 submitted 9 June, 2016;
originally announced June 2016.
-
Generic orbits and type isolation in the Gurarij space
Authors:
Itaï Ben Yaacov,
C. Ward Henson
Abstract:
We study the question of when the space of embeddings of a separable Banach space $E$ into the separable Gurarij space $\mathbf G$ admits a generic orbit under the action of the linear isometry group of $\mathbf G$. The question is recast in model-theoretic terms, namely type isolation and the existence of prime models. We characterise isolated types over $E$ using tools from convex analysis.…
▽ More
We study the question of when the space of embeddings of a separable Banach space $E$ into the separable Gurarij space $\mathbf G$ admits a generic orbit under the action of the linear isometry group of $\mathbf G$. The question is recast in model-theoretic terms, namely type isolation and the existence of prime models. We characterise isolated types over $E$ using tools from convex analysis. We show that if the set of isolated types over $E$ is dense, then a dense $G\_δ$ orbit exists, and otherwise all orbits are meagre. We then study some (families of) examples with respect to this dichotomy. We also point out that the class of Gurarij spaces is the class of models of an $\aleph\_0$-categorical theory with quantifier elimination, and calculate the density character of the space of types over $E$, answering a question of Avil{é}s et al.
△ Less
Submitted 14 March, 2016; v1 submitted 20 November, 2012;
originally announced November 2012.
-
Nonstandard analysis of the behavior of ergodic means of dynamical systems on very big finite probability spaces
Authors:
E. I. Gordon,
L. Yu. Glebsky,
C. W. Henson
Abstract:
The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however,…
▽ More
The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however, $\ll |T|$. This statement has a natural rigorous formulation in the setting of nonstandard analysis, which is, in fact, equivalent to the ergodic theorem for infinite probability spaces. Its standard formulation in terms of sequences of finite probability spaces is complicated. We also discuss some other properties of the sequence $A_n(f,T)$ for very large finite $|Y|$ and $n$. A special consideration is given to the case, when a very big finite space $Y$ and its permutation $T$ approximate a dynamical system $(X,ν, τ)$, where $X$ is compact metric space, $ν$ is a Borel measure on $X$ and $τ:X\to X$ is a measure preserving transformation. The definition of approximation introduced here is new to our knowledge.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.
-
Ergodic theorem for a Loeb space and hyperfinite approximations of dynamical systems
Authors:
L. Yu. Glebsky,
E. I. Gordon,
C. W. Henson
Abstract:
Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss.
In this paper we discuss the reason why the usual approach, based on transfer of some simple facts abou…
▽ More
Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss.
In this paper we discuss the reason why the usual approach, based on transfer of some simple facts about arbitrary large finite spaces on infinite spaces using nonstandard analysis technique, does not work for the BET. We show that the the BET for hyperfinite spaces may be interpreted as some qualitative result for very big finite spaces. We introduce the notion of a hyperfinite approximation of a dynamical system and prove the existence of such an approximation. The standard versions of the results obtained in terms of sequences of finite dynamical systems are formulated.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
Model-theoretic independence in the Banach lattices $L_p(μ)$
Authors:
Itaï Ben Yaacov,
Alexander Berenstein,
C. Ward Henson
Abstract:
We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,μ)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real elements.
We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,μ)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real elements.
△ Less
Submitted 30 July, 2009;
originally announced July 2009.
-
Almost indiscernible sequences and convergence of canonical bases
Authors:
Itaï Ben Yaacov,
Alexander Berenstein,
C. Ward Henson
Abstract:
We give a model-theoretic account for several results regarding sequences of random variables appearing in Berkes & Rosenthal \cite{Berkes-Rosenthal:AlmostExchangeableSequences}. In order to do this, {itemize} We study and compare three notions of convergence of types in a stable theory: logic convergence, i.e., formula by formula, metric convergence (both already well studied) and convergence of…
▽ More
We give a model-theoretic account for several results regarding sequences of random variables appearing in Berkes & Rosenthal \cite{Berkes-Rosenthal:AlmostExchangeableSequences}. In order to do this, {itemize} We study and compare three notions of convergence of types in a stable theory: logic convergence, i.e., formula by formula, metric convergence (both already well studied) and convergence of canonical bases. In particular, we characterise $\aleph_0$-categorical stable theories in which the last two agree. We characterise sequences which admit almost indiscernible sub-sequences. We apply these tools to $ARV$, the theory (atomless) random variable spaces. We characterise types and notions of convergence of types as conditional distributions and weak/strong convergence thereof, and obtain, among other things, the Main Theorem of Berkes & Rosenthal. {itemize}
△ Less
Submitted 6 August, 2013; v1 submitted 26 July, 2009;
originally announced July 2009.
-
Model theory of probability spaces with an automorphism
Authors:
Alexander Berenstein,
C. Ward Henson
Abstract:
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic structures of this kind are exactly the ones isomorphic to the measure algebra of a standard Lebesgue space equipped with an aperiodic measure-preserving automorp…
▽ More
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic structures of this kind are exactly the ones isomorphic to the measure algebra of a standard Lebesgue space equipped with an aperiodic measure-preserving automorphism. The corresponding theory is complete and has quantifier elimination; moreover it is stable with built-in canonical bases. We give an intrinsic characterization of its independence relation.
△ Less
Submitted 18 May, 2004;
originally announced May 2004.
-
On finite approximations of topological algebraic systems
Authors:
L. Yu. Glebsky,
E. I. Gordon,
C. W. Henson
Abstract:
We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it i…
▽ More
We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it is a subsystem of an ultraproduct of some systems in $\K$. We obtain a similar characterization of approximation of a locally compact system $A$ by systems in $\K$.
We inroduce the bounded formulas of the signature of $A$ and their approximations similar to those introduced by C.W.Henson \cite{he} for Banach spaces. We prove that a positive bounded formula $\f$ holds in $A$ if all precise enough approximations of $\f$ hold in all precise enough approximations of $A$.
We prove that a locally compact field cannot be approximated by finite associative rings (not necessary commutative). Finite approximations of the field $\R$ can be concedered as computer systems for reals. Thus, it is impossible to construct a computer arithmetic for reals that is an associative ring.
△ Less
Submitted 31 July, 2006; v1 submitted 21 November, 2003;
originally announced November 2003.
