arXiv Science⌕ Search

arXiv subjects

Gabriel Conant

Publications and source records attributed to Gabriel Conant.

At least 19 recordsLinked to original sources
arXiv2026

Generically stable Keisler measures

Given a first-order theory $T$ (in discrete or continuous logic) and a Borel-definable global Keisler measure $\mu$ in $T$, we show that the following conditions are equivalent: $(i)$ $\mu$ is a frequency interpretation measure; $(ii)$ $\mu$ is definable and its canonical "random extension" $r_\mu$ is generically stable in the randomization theory $T^R$; $(iii)$ $\mu$ is "self-averaging". This result establishes a robust notion of generic stability for Keisler measures, which resolves a long-term research objective from previous work. The implications $(i)\Rightarrow(ii)\Rightarrow (iii)$ were previously established by the authors (for $T$ discrete). The primary focus of this paper is the reverse implications $(iii)\Rightarrow (ii)\Rightarrow(i)$, which we obtain through the use of AI models.

math.LO↗
arXiv2025

VC-dimension of generalized progressions in some nonabelian groups

We analyze generalized progressions in some nonabelian groups using a measure of complexity called VC-dimension, which was originally introduced in statistical learning theory by Vapnik and Chervonenkis. Here by a "generalized progression" in a group $G$, we mean a finite subset of $G$ built from a fixed set of generators in analogy to a (multidimensional) arithmetic progression of integers. These sets play an important role in additive combinatorics and, in particular, the study of approximate groups. Our two main results establish finite upper bounds on the VC-dimension of certain set systems of generalized progressions in finitely generated free groups and also the Heisenberg group over $\mathbb{Z}$.

math.GR↗
arXiv2024

Stable functions and F{\o}lner's Theorem

We show that if $G$ is an amenable group and $A\subseteq G$ has positive upper Banach density, then there is an identity neighborhood $B$ in the Bohr topology on $G$ that is almost contained in $AA^{-1}$ in the sense that $B\backslash AA^{-1}$ has upper Banach density $0$. This generalizes the abelian case (due to F{\o}lner) and the countable case (due to Beiglb\"{o}ck, Bergelson, and Fish). The proof is indirectly based on local stable group theory in continuous logic. The main ingredients are Grothendieck's double-limit characterization of relatively weakly compact sets in spaces of continuous functions, along with results of Ellis and Nerurkar on the topological dynamics of weakly almost periodic flows.

math.DS↗
arXiv2024

An analytic version of stable arithmetic regularity

We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary function $f(x\cdot y)$ is stable in the sense of continuous logic. Roughly speaking, our main result says that if $G$ is amenable, then any stable function on $G$ is almost constant on all translates of a unitary Bohr neighborhood in $G$ of bounded complexity. The proof uses ingredients from topological dynamics and continuous model theory. We also prove several applications which generalize results in arithmetic combinatorics to nonabelian groups.

math.LO↗
arXiv2023

Three surprising instances of dividing

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an NSOP$_1$ theory with a complete type that forks, but does not divide, over a model (answering a question of d'Elb\'{e}e). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic $K_{m,n}$-free incidence structures.

math.LO↗
arXiv2023

Compactifications of pseudofinite and pseudo-amenable groups

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable compactification of a pseudofinite group has an abelian connected component. We then discuss the relationship between Turing's work, the Jordan-Schur Theorem, and a (relatively) more recent result of Kazhdan \cite{Kazh} on approximate homomorphisms, and we use this to widen our scope from finite groups to amenable groups. In particular, we develop a suitable continuous logic framework for dealing with definable homomorphisms from pseudo-amenable groups to compact Lie groups. Together with the stabilizer theorems of \cite{HruAG,MOS}, we obtain a uniform (but non-quantitative) analogue of Bogolyubov's Lemma for sets of positive measure in discrete amenable groups. We conclude with brief remarks on the case of amenable topological groups.

math.LO↗
arXiv2023

Generic stability, randomizations, and NIP formulas

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 role of a Morley sequence for a Keisler measure. We prove that if $\mu$ is fim over $M$, then for any Keisler-Morley measure $\lambda$ in $\mu$ over $M$ and any formula $\varphi(x,b)$, $\lim_{i \to \infty} \lambda(\varphi(x_i,b)) = \mu(\varphi(x,b))$. We also show that any measure satisfying this conclusion must be fam. (2) We study the map, defined by Ben Yaacov, taking a definable measure $\mu$ to a type $r_\mu$ in the randomization. We prove that this map commutes with Morley products, and that if $\mu$ is fim then $r_\mu$ is generically stable. (3) We characterize when generically stable types are closed under Morley products by means of a variation of ict-patterns. Moreover, we show that NTP$_2$ theories satisfy this property. (4) We prove that if a local measure admits a suitably tame global extension, then it has finite packing numbers with respect to any definable family. We also characterize NIP formulas via the existence of tame extensions for local measures.

math.LO↗
arXiv2022

Enriching a predicate and tame expansions of the integers

Given a structure $\mathcal{M}$ and a stably embedded $\emptyset$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some further structure $\mathcal{Q}$. In particular, we show that if $T=\text{Th}(\mathcal{M})$ and $\text{Th}(\mathcal{Q})$ are stable (resp., superstable, $\omega$-stable), then so is the theory $T[\mathcal{Q}]$ of the enrichment of $\mathcal{M}$ by $\mathcal{Q}$. Assuming simplicity of $T$, elimination of hyperimaginaries and a further condition on $Q$ related to the behavior of algebraic closure, we also show that simplicity and NSOP$_1$ pass from $\text{Th}(\mathcal{Q})$ to $T[\mathcal{Q}]$. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of $(\mathbb{Z},+)$. More generally, we show that any stable (resp., superstable, simple, NIP, NTP$_2$, NSOP$_1$) countable graph can be defined in a stable (resp., superstable, simple, NIP, NTP$_2$, NSOP$_1$) expansion of $(\mathbb{Z},+)$ by some unary predicate $A\subseteq\mathbb{N}$.

math.LO↗
arXiv2021

Continuous stable regularity

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 local Keisler measures for stable continuous formulas. Along the way, we develop some basic tools around ultraproducts of metric structures and linear functionals on continuous formulas, and we also describe several concrete families of examples of stable functions.

math.LO↗
arXiv2021

Separation for isometric group actions and hyperimaginary independence

We generalize P. M. Neumann's Lemma to the setting of isometric actions on metric spaces and use it to prove several results in continuous logic related to algebraic independence. In particular, we show that algebraic independence satisfies the full existence axiom (which answers a question of Goldbring) and is implied by dividing independence. We also use the relationship between hyperimaginaries and continuous imaginaries to derive further results that are new even for discrete theories. Specifically, we show that if $\mathbb{M}$ is a monster model of a discrete or continuous theory, then bounded-closure independence in $\mathbb{M}^{\text{heq}}$ satisfies full existence (which answers a question of Adler) and is implied by dividing independence.

math.LO↗
arXiv2021

Keisler measures in the wild

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 satisfy associativity. However, we also demonstrate failures of both properties over uncountable parameter sets. In particular, we show that the Morley product of Borel definable types need not be Borel definable (correcting an erroneous result from the literature). We then study various notions of generic stability for Keisler measures and generalize several results from the NIP setting to arbitrary theories. We also prove some positive results for the class of frequency interpretation measures in arbitrary theories, namely, that such measures are closed under convex combinations and commute with all Borel definable measures. Finally, we construct the first example of a complete type which is definable and finitely satisfiable in a small model, but not finitely approximated over any small model.

math.LO↗
arXiv2020

Approximate subgroups with bounded VC-dimension

We combine the fundamental results of Breuillard, Green, and Tao on the structure of approximate groups, together with "tame" arithmetic regularity methods based on work of the authors and Terry, to give a structure theorem for finite subsets $A$ of arbitrary groups $G$ where $A$ has "small tripling" and bounded VC-dimension: Roughly speaking, up to a small error, $A$ will be a union of a bounded number of translates of a coset nilprogression of bounded rank and step (see Theorem 2.1). We also prove a stronger result in the setting of bounded exponent (see Theorem 2.2). Our results extend recent work of Martin-Pizarro, Palac\'{i}n, and Wolf on finite stable sets of small tripling.

math.GR↗
arXiv2020

Quantitative structure of stable sets in arbitrary finite groups

We show that a $k$-stable set in a finite group can be approximated, up to given error $\epsilon>0$, by left cosets of a subgroup of index $\epsilon^{\text{-}O_k(1)}$. This improves the bound in a similar result of Terry and Wolf on stable arithmetic regularity in finite abelian groups, and leads to a quantitative account of work of the author, Pillay, and Terry on stable sets in arbitrary finite groups. We also prove an analogous result for finite stable sets of small tripling in arbitrary groups, which provides a quantitative version of recent work by Martin-Pizarro, Palac\'{i}n, and Wolf. Our proofs use results on VC-dimension, and a finitization of model-theoretic techniques from stable group theory.

math.CO↗
arXiv2019

Remarks on generic stability in independent theories

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 stability for types coincides with the notion of a frequency interpretation measure. We also give combinatorial examples of types in NSOP theories that are finitely approximated but not generically stable, as well as $\phi$-types in simple theories that are definable and finitely satisfiable in a small model, but not finitely approximated. Our proofs demonstrate interesting connections to classical results from Ramsey theory for finite graphs and hypergraphs.

math.LO↗
arXiv2019

Stability in a group

We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$ such that the bipartite relation $xy\in A$ omits infinite half-graphs. Our proofs rely on the characterization of stability via Grothendieck's "double-limit" theorem (as shown by Ben Yaacov), and the work of Ellis and Nerurkar on weakly almost periodic $G$-flows.

math.LO↗
arXiv2018

Weakly minimal groups with a new predicate

Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all formulas in the expansion $(\mathcal{M}^*,A)$ are equivalent to bounded formulas, and so $(\mathcal{M},A)$ is stable (or NIP) if and only if the $\mathcal{M}$-induced structure $A_{\mathcal{M}}$ on $A$ is stable (or NIP). We then restrict to the case that $\mathcal{M}$ is a pure abelian group with a weakly minimal theory, and $A_{\mathcal{M}}$ is mutually algebraic (equivalently, weakly minimal with trivial forking). This setting encompasses most of the recent research on stable expansions of $(\mathbb{Z},+)$. Using various characterizations of mutual algebraicity, we give new examples of stable structures of the form $(\mathcal{M},A)$. Most notably, we show that if $(G,+)$ is a weakly minimal additive subgroup of the algebraic numbers, $A\subseteq G$ is enumerated by a homogeneous linear recurrence relation with algebraic coefficients, and no repeated root of the characteristic polynomial of $A$ is a root of unity, then $(G,+,B)$ is superstable for any $B\subseteq A$.

math.LO↗
arXiv2018

On finite sets of small tripling or small alternation in arbitrary groups

We prove Bogolyubov-Ruzsa-type results for finite subsets of groups with small tripling, $|A^3|\leq O(|A|)$, or small alternation, $|AA^{\text{-}1} A|\leq O(|A|)$. As applications, we obtain a qualitative analog of Bogolyubov's Lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox, and Zhao, and gives a quantitative version of previous work of the author, Pillay, and Terry.

math.CO↗