Related papers: Stabilizers and NIP arithmetic regularity

The standard stabilizer formalism provides a setting to show that quantum computation restricted to operations within the Clifford group are classically efficiently simulable: this is the content of the well-known Gottesman-Knill theorem.…

We determine the non-abelian composition factors of the finite groups with Sylow normalizers of odd order. As a consequence, among others, we prove the McKay conjecture and the Alperin weight conjecture for these groups.

As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself…

We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…

We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+\delta)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $\delta,t$ are small real…

In this work, a convergence lemma for function $f$ being finite compositions of analytic mappings and the maximum operator is proved. The lemma shows that the set of $\delta$-stationary points near an isolated local minimum point $x^*$ is…

Motivated by the recent approach of Milman, Shabelman, and Yehudayoff \cite{MilmanShabelmanYehudayoff2025}, we establish, for $p\geq 1$, a complete characterization of the fixed points of the composition of the $L_p$-centroid operator and…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

The purpose of this simple note is to provide elementary model-theoretic proofs to some existing results on sumset phenomena and IP sets, motivated by Hrushovski's work on the stabilizer theorem.

It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…

We study the $C^*$-algebras associated to upper-semicontinuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer--Raeburn "Stabilization Trick," we construct from each such bundle a groupoid…

Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all…

This paper is a contribution to "neo-stability" type of result for abstract elementary classes. Under certain set theoretic assumptions, we propose a definition and a characterization of NIP in AECs. The class of AECs with NIP properly…

Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem…

Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $\Gamma$ is \emph{P-stable} if every almost homomorphism $\rho_{n_k}\colon \Gamma\rightarrow\operatorname{Sym}(n_k)$ (i.e., for…

Let $x$ be an eigenvector for an element of a finite irreducible reflection group $W$. Let $W_x$ denote the subgroup of $W$ which stabilises $x$. We provide an upper bound for the number of roots in the root system of $W_x$ . This…

We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic…

The non-centralizer graph of a finite group $G$ is the simple graph $\Upsilon_G$ whose vertices are the elements of $G$ with two vertices $x$ and $y$ are adjacent if their centralizers are distinct. The induced subgroup of $\Upsilon_G$…

We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…

We prove a number of results about the structure of the standard representation of the stable limit DAHA. More precisely, we address the triangularity, spectrum, and eigenfunctions of the limit Cherednik operators, and construct several…