English
Related papers

Related papers: An arithmetic algebraic regularity lemma

200 papers

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…

Combinatorics · Mathematics 2022-03-04 G. Conant , A. Pillay , C. Terry

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

Rings and Algebras · Mathematics 2008-10-03 F. Cedo , E. Jespers , J. Okninksi

The hypergraph regularity lemma -- the extension of Szemer\'edi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several…

Combinatorics · Mathematics 2019-07-19 Guy Moshkovitz , Asaf Shapira

The hypergraph regularity lemma -- the extension of Szemer\'edi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several…

Combinatorics · Mathematics 2018-04-17 Guy Moshkovitz , Asaf Shapira

A random algebraic graph is defined by a group $G$ with a uniform distribution over it and a connection $\sigma:G\longrightarrow[0,1]$ with expectation $p,$ satisfying $\sigma(g)=\sigma(g^{-1}).$ The random graph…

Probability · Mathematics 2023-05-10 Kiril Bangachev , Guy Bresler

In analogy with the regularity lemma of Szemer\'edi, regularity lemmas for polynomials shown by Green and Tao (Contrib. Discrete Math. 2009) and by Kaufman and Lovett (FOCS 2008) modify a given collection of polynomials \calF =…

Computational Complexity · Computer Science 2013-11-21 Arnab Bhattacharyya , Pooya Hatami , Madhur Tulsiani

We present a systematic study of the regularity phenomena for NIP hypergraphs and connections to the theory of (locally) generically stable measures, providing a model-theoretic hypergraph version of the results from [L. Lov\'asz, B.…

Logic · Mathematics 2021-03-11 Artem Chernikov , Sergei Starchenko

In this paper we extend the classical notion of digraphical and graphical regular representation of a group and we classify, by means of an explicit description, the finite groups satisfying this generalization. A graph or digraph is called…

Combinatorics · Mathematics 2019-01-23 Jia-Li Du , Yan-Quan Feng , Pablo Spiga

In this paper we show that evolution algebras over any given field $\Bbbk$ are universally finite. In other words, given any finite group $G$, there exist infinitely many regular evolution algebras $X$ such that $Aut(X)\cong G$. The proof…

Rings and Algebras · Mathematics 2021-12-15 Cristina Costoya , Panagiote Ligouras , Alicia Tocino , Antonio Viruel

Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some…

Combinatorics · Mathematics 2007-05-23 Ben Green

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

Logic · Mathematics 2017-05-23 Eliana Barriga

A graph $\Gamma$ labelled by a set $S$ defines a group $G(\Gamma)$ whose generators are the set of labels $S$ and whose relations are all words which can be read on closed paths of this graph. We introduce the notion of aspherical graph and…

Group Theory · Mathematics 2022-06-17 Vadim Bereznyuk

In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical…

Group Theory · Mathematics 2024-08-22 David Gao , Srivatsav Kunnawalkam Elayavalli , Mahan Mj

Let $p$ be an odd prime, $q=p^e$, $e\ge 1$, and $\mathbb{F} = \mathbb{F_q}$ denote the finite field of $q$ elements. Let $f: \mathbb{F}^2\to \mathbb{F}$ and $g: \mathbb{F}^3\to \mathbb{F}$ be functions, and let $P$ and $L$ be two copies of…

Combinatorics · Mathematics 2021-09-08 Felix Lazebnik , Vladislav Taranchuk

Given a real $\mu\geq 1$, a graph $H$ is $\mu$-almost-regular if $\Delta(H)\leq \mu \delta(H)$. The celebrated regularization theorem of Erd\H{o}s and Simonovits states that for every real $0<\varepsilon<1$ there exists a real…

Combinatorics · Mathematics 2025-07-17 Tao Jiang , Sean Longbrake

Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular…

Combinatorics · Mathematics 2020-11-26 Ben Green , Terence Tao

Let $A$ be a sufficiently dense subset of a finite field $\mathbb F_q$ or a finite, cyclic ring $\mathbb Z/ N\mathbb Z$. Assuming that $q$ and $N$ have no small prime divisors, we show that generalised Fermat equations have the expected…

Number Theory · Mathematics 2026-01-05 Sam Chow , Zi Li Lim , Akshat Mudgal

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Logic · Mathematics 2022-11-02 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

Group Theory · Mathematics 2007-05-23 Kai-Uwe Bux , Kevin Wortman

This paper is about the $dfg$/$fsg$ decomposition for groups $G$ definable in $p$-adically closed fields. It is proved that for $G$ definably amenable, $G$ has a definable normal $dfg$ subgroup $H$ such that the quotient $G/H$ is a…

Logic · Mathematics 2026-01-29 Anand Pillay , Ningyuan Yao , Zhentao Zhang