Related papers: Generic stability, randomizations, and NIP formula…
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
We utilize Gaussian measure preserving systems to prove the existence and genericity of Lebesgue measure preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically…
We introduce the {\em $\mu$-topological stability}. This is a type of stability depending on the measure $\mu$ different from the set-valued approach \cite{lm}. We prove that the map $f$ is $m_p$-topologically stable if and only if $p$ is a…
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…
We refine results of Gannon [G21, Theorem 4.7] and Simon [S15a, Lemma 2.8] on equivalences of convergent Morley sequences. We then introduce the notion of eventual $NIP$, as a property of a model, and give a variant of [KP18, Corollary…
The generalized entropic measure, which is optimized by a given arbitrary distribution under the constraints on normalization of the distribution and the finite ordinary expectation value of a physical random quantity, is considered and its…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
Let $(M,\omega)$ be a K\"ahler manifold and let $K$ be a compact group that acts on $M$ in a Hamiltonian fashion. We study the action of $K^\mathbb{C}$ on probability measures on $M$. First of all we identify an abstract setting for the…
We study generalizations of Reifenberg's Theorem for measures in $\mathbb R^n$ under assumptions on the Jones' $\beta$-numbers, which appropriately measure how close the support is to being contained in a subspace. Our main results, which…
We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has…
The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order theory $T$ with $NIP$ is a (complete) first-order continuous…
We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological…
We study theories of spaces of random variables: first, we consider random variables with values in the interval $[0,1]$, then with values in an arbitrary metric structure, generalising Keisler's randomisation of classical structures. We…
We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$…
We examine measure preserving mappings $f$ acting from a probability space $(\Omega, F,\mu) $ into a probability space $% (\Omega ^{*},F^{*},\mu ^{*}) ,$ where $\mu ^{*}=\mu (f^{-1})$. Conditions on $f$, under which $f$ preserves the…
We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…
One can consider $\mu$-Martin-L\"of randomness for a probability measure $\mu$ on $2^{\omega}$, such as the Bernoulli measure $\mu_p$ given $p \in (0, 1)$. We study Bernoulli randomness of sequences in $n^{\omega}$ with parameters $p_0,…
We present a systematic study of the regularity phenomena for NIP hypergraphs and connections to the theory of (locally) generically stable measures, providing a model-theoretic hypergraph version of the results from [L. Lov\'asz, B.…
We introduce the notion of an NTP$_{2}$-smooth measure and prove that they exist assuming NTP$_{2}$. Using this, we propose a notion of distality in NTP$_{2}$ that unfortunately does not intersect simple theories trivially. We then prove a…
Stochastic dynamical systems consisting of non-invertible continuous maps on an interval are studied. It is proved that if they satisfy the recently introduced so-called $\mu$-injectivity and some mild assumptions, then proximality,…