Abstract:We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins with a discrete logic structure, it reduces arbitrary formulas of probability logic to correlations between quantifier-free formulas. We completely classify binary correlations in terms of the Kim-Pillay space, leading to strong results on the interpretative power of pure probability logic over a binary language. Assuming higher amalgamation of independent types, we prove a higher stationarity statement for such correlations. We also give a short model-theoretic proof of a categoricity theorem for continuous logic structures with a measure of full support, generalizing theorems of Gromov-Vershik and Keisler, and often providing a canonical model for a complete pure probability logic theory. These results also apply to local probability logic, providing in particular a canonical model for a local pure probability logic theory with a unique 1-type and geodesic metric. For sequences of approximate equivalence relations with an 'approximately unique' probability logic 1-type, we obtain a structure theorem generalizing the `Lie model' theorem for approximate subgroups. The models here are Riemannian homogeneous spaces, fibered over a locally finite graph. Specializing to definable graphs over finite fields, we show that after a finite partition, a definable binary relation converges in finitely many self-compositions to an equivalence relation of geometric origin. For NIP theories, pursuing a question of Pillay's, we prove an archimedean finite-dimensionality statement for the automorphism groups of definable measures, acting on a given type of definable sets.

On Bounded Completeness and the $L_1$-Denseness of Likelihood Ratios

A Donsker-type Theorem for Log-likelihood Processes

A NEW PERSPECTIVE ON ROBUST M-ESTIMATION: FINITE SAMPLE THEORY AND APPLICATIONS TO DEPENDENCE-ADJUSTED MULTIPLE TESTING

Limit Theorems for Dependent Bernoulli Variables with Statistical Inference

The Sufficient and Necessary Conditions of the Strong Law of Large Numbers under Sub-Linear Expectations

Borel-Cantelli, zero-one laws and inhomogeneous Duffin-Schaeffer

Universal Inference Meets Random Projections: A Scalable Test for Log-concavity

A measure of evidence based on the likelihood-ratio statistics

Approximate equivalence relations

A NOTE ON A SIMPLE PROBLEM IN INFERENCE

Convergence of Unadjusted Langevin in High Dimensions: Delocalization of Bias

Saddlepoint approximations for likelihood ratio like statistics with applications to permutation tests

The Small-Noise Limit of the Most Likely Element is the Most Likely Element in the Small-Noise Limit

An Empirical Likelihood Method In Mixture Models With Incomplete Classifications

On uniformly consistent tests

Nonparametric maximum likelihood estimation under a likelihood ratio order

High-dimensional empirical likelihood inference

Bayesian one- and two-sided inference on the local effective dimension

Bayesian Inference for Multivariate Monotone Densities

On the probability of linear separability through intrinsic volumes

Empirical Likelihood for High Dimensional Data