arXiv subjects

G. Conant

Publications and source records attributed to G. Conant.

6 recordsLinked to original sources

arXiv2026

Quantitative analytic stable regularity

We prove quantitative stable regularity lemmas for binary real-valued functions, extending the work of Malliaris and Shelah for stable graphs. The statements of our results are modeled after non-quantitative theorems for stable functions due to Chavarria, Conant, and Pillay. One of the key tools in our quantitative proof is an "analytic symmetry lemma", which gives a function-theoretic analogue of the fact that a pair of good sets in a graph has density close to 0 or 1. We also develop a function-theoretic treatment of Malliaris and Shelah's random sampling method for refining partitions consisting of good sets into equipartitions.

math.LO↗

arXiv2025

Stabilizers and NIP arithmetic regularity

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 bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabilizers using technical (but elementary) maneuvers based on work of Sisask. Using another trick from Alon, Fox, and Zhao, we then give an effective proof of a related result of the first author and Pillay on finite NIP sets of bounded tripling in arbitrary groups. Along the way, we show that NIP sets satisfy a strong form of the Polynomial Bogolyubov-Ruzsa Conjecture.

math.CO↗

arXiv2023

Pseudofinite proofs of the stable graph regularity lemma

This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory. We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (compared to previous proofs) in terms of "functional error". To illustrate the extra leverage obtained by functional error, we give an elementary argument for extracting equipartitions from arbitrary partitions.

math.LO↗

arXiv2023

Higher arity stability and the functional order property

The $k$-dimensional functional order property ($\text{FOP}_k$) is a combinatorial property of a $(k+1)$-partitioned formula. This notion arose in work of Terry and Wolf, which identified $\text{NFOP}_2$ as a ternary analogue of stability in the context of two finitary combinatorial problems related to hypergraph regularity and arithmetic regularity. In this paper we show $\text{NFOP}_k$ has equally strong implications in model-theoretic classification theory, where its behavior as a $(k+1)$-ary version of stability is in close analogy to the behavior of $k$-dependence as a $(k+1)$-ary version of $\text{NIP}$. Our results include several new characterizations of $\text{NFOP}_k$, including a characterization in terms of collapsing indiscernibles, combinatorial recharacterizations, and a characterization in terms of type-counting when $k=2$. As a corollary of our collapsing theorem, we show $\text{NFOP}_k$ is closed under Boolean combinations, and that $\text{FOP}_k$ can always be witnessed by a formula where all but one variable have length $1$. When $k=2$, we prove a composition lemma analogous to that of Chernikov and Hempel from the setting of $2$-dependence. Using this, we provide a new class of algebraic examples of $\text{NFOP}_2$ theories. Specifically, we show that if $T$ is the theory of an infinite dimensional vector space over a field $K$, equipped with a bilinear form satisfying certain properties, then $T$ is $\text{NFOP}_2$ if and only if $K$ is stable. Along the way we provide a corrected and reorganized proof of Granger's quantifier elimination and completeness results for these theories.

math.LO↗

arXiv2018

Structure and regularity for subsets of groups with finite VC-dimension

Suppose $G$ is a finite group and $A\subseteq G$ is such that $\{gA:g\in G\}$ has VC-dimension strictly less than $k$. We find algebraically well-structured sets in $G$ which, up to a chosen $\epsilon>0$, describe the structure of $A$ and behave regularly with respect to translates of $A$. For the subclass of groups with uniformly fixed finite exponent $r$, these algebraic objects are normal subgroups with index bounded in terms of $k$, $r$, and $\epsilon$. For arbitrary groups, we use Bohr neighborhoods of bounded rank and width inside normal subgroups of bounded index. Our proofs are largely model theoretic, and heavily rely on a structural analysis of compactifications of pseudofinite groups as inverse limits of Lie groups. The introduction of Bohr neighborhoods into the nonabelian setting uses model theoretic methods related to the work of Breuillard, Green, and Tao and Hrushovski on approximate groups, as well as a result of Alekseev, Glebskii, and Gordon on approximate homomorphisms.

math.CO↗

arXiv2017

A group version of stable regularity

We prove that, given $\epsilon>0$ and $k\geq 1$, there is an integer $n$ such that the following holds. Suppose $G$ is a finite group and $A\subseteq G$ is $k$-stable. Then there is a normal subgroup $H\leq G$ of index at most $n$, and a set $Y\subseteq G$, which is a union of cosets of $H$, such that $|A\vartriangle Y|\leq\epsilon|H|$. It follows that, for any coset $C$ of $H$, either $|C\cap A|\leq \epsilon|H|$ or $|C\setminus A|\leq \epsilon|H|$. This qualitatively generalizes recent work of Terry and Wolf on vector spaces over $\mathbb{F}_p$.

math.LO↗