Gabriel Conant,Kyle Gannon,James E. Hanson
Abstract:We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $\mu$ is fim over $M$, then for any Keisler-Morley measure $\lambda$ in $\mu$ over $M$ and any formula $\varphi(x,b)$, $\lim_{i \to \infty} \lambda(\varphi(x_i,b)) = \mu(\varphi(x,b))$. We also show that any measure satisfying this conclusion must be fam. (2) We study the map, defined by Ben Yaacov, taking a definable measure $\mu$ to a type $r_\mu$ in the randomization. We prove that this map commutes with Morley products, and that if $\mu$ is fim then $r_\mu$ is generically stable. (3) We characterize when generically stable types are closed under Morley products by means of a variation of ict-patterns. Moreover, we show that NTP$_2$ theories satisfy this property. (4) We prove that if a local measure admits a suitably tame global extension, then it has finite packing numbers with respect to any definable family. We also characterize NIP formulas via the existence of tame extensions for local measures.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about how to define and understand the "generic stability" of Keisler measures in any theory. Specifically, the authors explore what the appropriate definition of the generic stability of Keisler measures is without assuming global NIP (non - forking independence property). The paper tries to solve this problem by introducing and studying several possible concepts, such as frequency interpretation measures (abbreviated as fim), randomizations, self - averaging, and the relationships among them.
### Main contributions and findings
1. **Frequency interpretation measures (fim)**:
- The authors define a new concept - Keisler - Morley measure, which plays a role similar to that of Morley sequences in Keisler measures.
- It is proved that if a Keisler measure \(\mu\) is fim, then for any Keisler - Morley measure \(\lambda\) and formula \(\phi(x, b)\), \(\lim_{i \to \infty} \lambda(\phi(x_i, b))=\mu(\phi(x, b))\).
- It is further proved that the measure satisfying the above conclusion must be fim.
2. **Randomizations**:
- The mapping that maps a definable measure \(\mu\) to a type \(r_\mu\) in the randomization theory \(T^R\) defined by Ben Yaacov is studied.
- It is proved that this mapping commutes with the Morley product, and if \(\mu\) is fim, then \(r_\mu\) is generically stable.
3. **Self - averaging**:
- The self - averaging of a Keisler measure \(\mu\) is defined, that is, for any formula \(\phi(x, b)\) and Keisler - Morley measure \(\lambda\), \(\lim_{i \to \infty} \lambda(\phi(x_i, b))=\mu(\phi(x, b))\).
- It is proved that fim measures are self - averaging, and self - averaging measures are fam (finite approximation measures).
4. **Closure of generic stability in NTP2 theories**:
- A combinatorial characteristic is provided, which describes in which theories generically stable types are closed under the Morley product.
- It is proved that in NTP2 theories, generically stable types are closed under the Morley product.
5. **Study of local NIP formulas**:
- A characterization of local NIP formulas is given, that is, if a local measure has a good enough global extension, a finite bound of the \(\epsilon\)-separation family of the formula \(\phi(x, y)\) can be obtained.
- Through these results, the existence of NIP formulas is further characterized.
### Conclusion
By introducing and studying various new concepts, such as Keisler - Morley measure, self - averaging, etc., this paper provides new perspectives and tools for defining and understanding the generic stability of Keisler measures in any theory. These results not only deepen the understanding of generic stability but also provide a basis for future research.