Related papers: Measures and stability in a model, revisited
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…
We develop a theory of generically stable and smooth Keisler measures in NIP metric theories, generalizing the case of classical logic. Using smooth extensions, we verify that fundamental properties of (Borel)-definable measures and the…
We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…
We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and…
We study generically stable measures in the local, NIP context. We show that in this setting, a measure is generically stable if and only if it admits a natural finite approximation.
We study some non-local functionals on the Sobolev space $W^{1,p}_0(\Omega)$ involving a double integral on $\Omega\times\Omega$ with respect to a measure $\mu$. We introduce a suitable notion of convergence of measures on product spaces…
In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of "generic stability" in arbitrary theories. Among other things, we show that the standard definition of generic…
We prove an analytic version of the stable graph regularity lemma from \cite{MaSh}, which applies to stable functions $f\colon V\times W\to [0,1]$. Our methods involve continuous model theory and, in particular, results on the structure of…
As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself…
We initiate a systematic study of the convolution operation on Keisler measures, generalizing the work of Newelski in the case of types. Adapting results of Glicksberg, we show that the supports of generically stable (or just definable,…
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…
We prove that stable-like non-local Dirichlet forms converge to local Dirichlet form in the sense of Mosco on metric measure spaces. We prove that subordinated Dirichlet forms converge to the original Dirichlet form in the sense of Mosco on…
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…
The moduli-space metric in the static non-Abelian charge-two sector of the Moyal-deformed CP^1 sigma model in 1+2 dimensions is analyzed. After recalling the commutative results of Ward and Ruback and the zeta-regularized construction of…
We introduce and investigate the notions of expansiveness, topological stability and persistence for Borel measures with respect to time varying bi-measurable maps on metric spaces. We prove that expansive persistent measures are…
We discuss two constructions for obtaining generically stable Keisler measures in an NIP theory. First, we show how to symmetrize an arbitrary invariant measure to obtain a generically stable one from it. Next, we show that suitable…
We introduce an analogue of Bridgeland's stability conditions for polarised varieties. Much as Bridgeland stability is modelled on slope stability of coherent sheaves, our notion of Z-stability is modelled on the notion of K-stability of…
We study the local dimensions and local multifractal properties of measures on doubling metric spaces. Our aim is twofold. On one hand, we show that there are plenty of multifractal type measures in all metric spaces which satisfy only mild…
We address the existence and stability of spatial localized modes supported by a parity-time-symmetric complex potential in the presence of power-law nonlinearity. The analytical expressions of the localized modes, which are Gaussian in…
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…