Showing 1–3 of 3 results for author: Levi, E

An Algebraic Hypergraph Regularity Lemma

Authors: Alexis Chevalier, Elad Levi

Abstract: Szemerédi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $φ(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $φ(x, y)$ such that all indu… ▽ More Szemerédi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $φ(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $φ(x, y)$ such that all induced subgraphs are quasirandom and the error bound on quasirandomness is $O(q^{-1/4})$. In this work we prove an algebraic hypergraph regularity lemma for definable sets in finite fields, thus answering a question of Tao. We also extend the algebraic regularity lemma to definable sets in the difference fields $(F_q^{alg}, x^q)$ and we offer a new point of view on the geometric content of the algebraic regularity lemma. △ Less

Submitted 16 September, 2022; v1 submitted 3 April, 2022; originally announced April 2022.

Comments: 54 pages. Corrected some minor inaccuracies in the first version

Some remarks on dp-minimal groups

Authors: Elad Levi, Itay Kaplan, Pierre Simon

Abstract: We prove that $\ omega $-categorical dp-minimal groups are nilpotent-by-finite. We also show that in dp-minimal definably amenable groups, f-generic global types are strongly f-generic. We prove that $\ omega $-categorical dp-minimal groups are nilpotent-by-finite. We also show that in dp-minimal definably amenable groups, f-generic global types are strongly f-generic. △ Less

Submitted 5 May, 2017; v1 submitted 25 May, 2016; originally announced May 2016.

Indiscernible arrays and rational functions with algebraic constraint

Authors: Elad Levi

Abstract: Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$ does not have the maximal Zariski-dimension. Tao proved that if $P$ has an algebraic constraint then it can be decomposed: there exists $Q,F,G\in k[x]$ such th… ▽ More Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$ does not have the maximal Zariski-dimension. Tao proved that if $P$ has an algebraic constraint then it can be decomposed: there exists $Q,F,G\in k[x]$ such that $P(x_{1},x_{2})=Q(F(x_{1})+G(x_{2}))$, or $P(x_{1},x_{2})=Q(F(x_{1})\cdot G(x_{2}))$. In this paper we give an answer to a question raised by Hrushovski and Zilber regarding 3-dimensional indiscernible arrays in stable theories. As an application of this result we find a decomposition of rational functions in three variables which has an algebraic constraint. △ Less

Submitted 24 June, 2015; originally announced June 2015.