Related papers: Definable convolution and idempotent Keisler measu…

We investigate the relevance of the conformal method by investigating stability issues for the Einstein-Lichnerowicz conformal constraint system in a nonlinear scalar-field setting. We prove the stability of the system with respect to…

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…

Let $G$ a semisimple Lie group of non-compact type and let $\mathcal{X}_G$ be the Riemannian symmetric space associated to it. Suppose $\mathcal{X}_G$ has dimension $n$ and it has no factor isometric to either $\mathbb{H}^2$ or…

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…

We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…

We study the type set of singular measures of fractional type on the Heisenbrg group.

A regular sampling theory in a multiply generated unitary invariant subspace of a separable Hilbert space $\mathcal{H}$ is proposed. This subspace is associated to a unitary representation of a countable discrete abelian group $G$ on…

This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…

We give a new characterization of relative entropy, also known as the Kullback-Leibler divergence. We use a number of interesting categories related to probability theory. In particular, we consider a category FinStat where an object is a…

We introduce and systematically study a profile function whose asymptotic behavior quantifies the dimension or the size of a metric approximation of a finitely generated group $G$ by a family of groups $\mathcal{F}=\{(G_{\alpha},…

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields.…

We show that every group $H$ of at most exponential growth with respect to some left invariant metric admits a bi-Lipschitz embedding into a finitely generated group $G$ such that $G$ is amenable (respectively, solvable, satisfies a…

We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the…

We show that if $M$ is a sub-Riemannian manifold and $N$ is a Carnot group such that the nilpotentization of $M$ at almost every point is isomorphic to $N$, then there are subsets of $N$ of positive measure that embed into $M$ by…

For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

On a compact K\"ahler manifold $(X,\omega)$, we study the strong continuity of solutions with prescribed singularities of complex Monge-Amp\`ere equations with integrable Lebesgue densities. Moreover, we give sufficient conditions for the…

Multiparameter persistent homology has emerged as a powerful generalization of topological data analysis, capable of encoding multivariate filtrations. However, the algebraic complexity of multiparameter persistence modules, marked by wild…

Let $G$ be a locally compact group and also let $H$ be a compact subgroup of $G$. It is shown that, if $\mu$ is a relatively invariant measure on $G/H$ then there is a well-defined convolution on $L^1(G/H,\mu)$ such that the Banach space…