English
Related papers

Related papers: Generically stable and smooth measures in NIP theo…

200 papers

We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state.…

Dynamical Systems · Mathematics 2017-01-31 Antti Käenmäki

We give a direct proof of well-posedness of solutions to general selection-mutation and structured population models with measures as initial data. This is motivated by the fact that some stationary states of these models are measures and…

Analysis of PDEs · Mathematics 2015-11-25 José A. Cañizo , José A. Carrillo , Sílvia Cuadrado

We make two contributions to the study of polite combination in satisfiability modulo theories. The first contribution is a separation between politeness and strong politeness, by presenting a polite theory that is not strongly polite. This…

Logic in Computer Science · Computer Science 2021-04-28 Ying Sheng , Yoni Zohar , Christophe Ringeissen , Andrew Reynolds , Clark Barrett , Cesare Tinelli

This paper is concerned with the study of the stability of dynamical systems evolving on time scales. We first {formalize the notion of matrix measures on time scales, prove some of their key properties and make use of this notion to study…

Dynamical Systems · Mathematics 2022-06-10 Giovanni Russo , Fabian Wirth

The notion of expansivity and its generalizations (measure expansive, measure positively expansive, continuum-wise expansive, countably-expansive) are well known for deterministic systems and can be a useful property for studying…

Dynamical Systems · Mathematics 2024-10-15 Rafael A. Bilbao , Marlon Oliveira , Eduardo Santana

Hypothesis testing results often rely on simple, yet important assumptions about the behaviour of the distribution of p-values under the null and the alternative. We examine tests for one dimensional parameters of interest that converge to…

Statistics Theory · Mathematics 2021-08-06 Yanbo Tang , Radu Craiu , Lei Sun

We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $GL_n(\mathbb{Z}_p)$ as approximating groups…

Group Theory · Mathematics 2025-07-18 Francesco Fournier-Facio

It is shown that bootstrap approximations of an estimator which is based on a continuous operator from the set of Borel probability measures defined on a compact metric space into a complete separable metric space is stable in the sense of…

Statistics Theory · Mathematics 2011-11-09 Andreas Christmann , Matias Salibian-Barrera , Stefan Van Aelst

Building on Pierre Simon's notion of distality, we introduce distality rank as a property of first-order theories and give examples for each rank $m$ such that $1\leq m \leq \omega$. For NIP theories, we show that distality rank is…

Logic · Mathematics 2021-10-26 Roland Walker

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…

Combinatorics · Mathematics 2025-09-05 G. Conant , C. Terry

In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…

Logic · Mathematics 2025-07-08 Michele Bailetti

We establish a bijection between marginal independence models on $n$ random variables and split closed order ideals in the poset of partial set partitions. We also establish that every discrete marginal independence model is toric in cdf…

Statistics Theory · Mathematics 2025-04-02 Francisco Ponce-Carrión , Seth Sullivant

We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…

Logic · Mathematics 2025-12-16 Pierre Simon , Mariana Vicaria

The paper introduces notions of robustness margins geared towards the analysis and design of systems that switch and oscillate. While such phenomena are ubiquitous in nature and in engineering, a theory of robustness for behaviors away from…

Systems and Control · Computer Science 2019-05-31 Alberto Padoan , Fulvio Forni , Rodolphe Sepulchre

In this paper we introduce a new property for normed algebras. This property which we call it stability, plays a key role in the studying of the theory of almost multiplier maps. In this note we study some of the basic properties of this…

Functional Analysis · Mathematics 2015-09-29 E. Ansari Piri , S. Nouri

A measure-preserving action of a discrete countable group on a standard probability space is called stable if the associated equivalence relation is isomorphic to its direct product with the ergodic hyperfinite equivalence relation of type…

Group Theory · Mathematics 2017-05-23 Yoshikata Kida

We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure,…

Logic · Mathematics 2017-03-22 Alexander Berenstein , Tapani Hyttinen , Andrés Villaveces

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…

Dynamical Systems · Mathematics 2022-07-26 Rigoberto Zelada

We study the $\kappa$-Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T', if T is classifiable and T' is…

Logic · Mathematics 2025-02-05 Miguel Moreno

We consider ultraweak variational formulations for (parametrized) linear first order transport equations in time and/or space. Computationally feasible pairs of optimally stable trial and test spaces are presented, starting with a suitable…

Numerical Analysis · Mathematics 2019-02-27 Julia Brunken , Kathrin Smetana , Karsten Urban