Source author record

Or Shalom

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.CO math.GR

Catalog footprint

Research overview

5works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

A Host--Kra ${\mathbf F}_2^ω$ -system of order $5$ that is not Abramov of order $5$ , and non-measurability of the inverse theorem for the $U^6({\mathbf F}_2^n)$ norm

It was conjectured by Bergelson, Tao, and Ziegler \cite{btz} that every Host--Kra $\F_p^ω$-system of order $k$ is an Abramov system of order $k$ . This conjecture has been verified for $k \leq p+1$ . In this paper we show that the conjecture fails when $k=5, p=2$ . We in fact establish a stronger (combinatorial) statement, in that we produce a bounded function $f: \F_2^n \to \C$ of large Gowers norm $\|f\|_{U^6(\F_2^n)}$ which (as per the inverse theorem for that norm) correlates with a non-classical quintic phase polynomial $e(P)$ , but with the property that all such phase polynomials $e(P)$ are ``non-measurable'' in the sense that they cannot be well approximated by functions of a bounded number of random translates of $f$ . A simpler version of our construction can also be used to answer a question of Candela, González-Sánchez, and Szegedy \cite{CGSS}.

preprint2026arXiv

Polynomial towers and inverse Gowers theory for bounded-exponent groups

In this paper we develop Host--Kra and inverse Gowers theory for abelian groups of bounded exponent. We show that the Host--Kra factors $Z^{\leq k}(\mathrm{X})$ associated with actions of such groups admit extensions with the structure of \emph{polynomial towers}. This new notion is a system obtained as a finite iteration of abelian extensions of the trivial system by polynomial cocycles; crucially, the intermediate extensions in this system are not required to agree with the Host--Kra factors. We prove that all such extensions are Abramov (generalizing a recent result of Candela, González-Sánchez, and Szegedy), but not necessarily Weyl, and have the structure of k-step translational systems. Combining this structure theorem with a correspondence principle due to the first and third authors, we derive an inverse theorem for the Gowers norms on finite abelian groups of bounded exponent: large $U^{k+1}$ -norm implies large correlation with a polynomial of degree $\le k$ (on the same group), even when the exponent is not square-free or is divisible by small primes. This resolves a conjecture of the first and third authors for such groups, and also answers a question of Candela, González-Sánchez, and Szegedy.

preprint2022arXiv

Host-Kra theory for $\bigoplus_{p\in P}\mathbb{F}_p$ - Systems and multiple recurrence

Let $\mathcal{P}$ be an (unbounded) countable multiset of primes (i.e. every prime may appear multiple times) and let $G=\bigoplus_{p\in \mathcal{P}}\mathbb{F}_p$ . We develop a Host-Kra structure theory for the universal characteristic factors of an ergodic $G$ -system. More specifically, we generalize the main results of Bergelson Tao and Ziegler who studied these factors in the special case $\mathcal{P}=\{p,p,p,...\}$ for some fixed prime $p$ . As an application we deduce a Khintchine-type recurrence theorem in the flavor of Bergelson Tao and Ziegler and Bergelson Host and Kra.

preprint2021arXiv

Multiple ergodic averages in abelian groups and Khintchine type recurrence

Let $G$ be a countable abelian group. We study ergodic averages associated with configurations of the form $\{ag,bg,(a+b)g\}$ for some $a,b\in\mathbb{Z}$ . Under some assumptions on $G$ , we prove that the universal characteristic factor for these averages is a factor of a $2$ -step nilpotent homogeneous space. As an application we derive a Khintchine type recurrence result. In particular, we prove that for every countable abelian group $G$ , if $a,b\in\mathbb{Z}$ are such that $aG,bG,(b-a)G$ and $(a+b)G$ are of finite index in $G$ , then for every $E\subset G$ and $\varepsilon>0$ the set $\{g\in G : d(E\cap E-ag\cap E-bg\cap E-(a+b)g)\geq d(E)^4-\varepsilon\}$ is syndetic. This generalizes previous results for $G=\mathbb{Z}$ , $G=\mathbb{F}_p^ω$ and $G=\bigoplus_{p\in P}\mathbb{F}_p$ by Bergelson Host and Kra, Bergelson Tao and Ziegler and the author, respectively.

preprint2020arXiv

$\bigoplus_{p\in P}\mathbb{F}_p$ -Systems as Abramov Systems

Let $\mathcal{P}$ be an (unbounded) countable multiset of primes, let $G=\bigoplus_{p\in P}\mathbb{F}_p$ . We study the $k$ 'th universal characteristic factors of an ergodic probability system $(X,\mathcal{B},μ)$ with respect to some measure preserving action of $G$ . We find conditions under which every extension of these factors is generated by phase polynomials and we give an example of an ergodic $G$ -system that is not Abramov. In particular we generalize the main results of Bergelson Tao and Ziegler who proved a similar theorem in the special case $P=\{p,p,p,...\}$ for some fixed prime $p$ . In a subsequent paper we use this result to prove a general structure theorem for ergodic $\bigoplus_{p\in P}\mathbb{F}_p$ -systems.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Or Shalom

Research overview

Is this your work?

5 publications

A Host--Kra ${\mathbf F}_2^ω$ -system of order $5$ that is not Abramov of order $5$ , and non-measurability of the inverse theorem for the $U^6({\mathbf F}_2^n)$ norm

Polynomial towers and inverse Gowers theory for bounded-exponent groups

Host-Kra theory for $\bigoplus_{p\in P}\mathbb{F}_p$ - Systems and multiple recurrence

Multiple ergodic averages in abelian groups and Khintchine type recurrence

$\bigoplus_{p\in P}\mathbb{F}_p$ -Systems as Abramov Systems

See the researcher in context

Building this map preview

Or Shalom

Research overview

Is this your work?

5 publications

A Host--Kra F2ω{\mathbf F}_2^ωF2ω​-system of order 555 that is not Abramov of order 555, and non-measurability of the inverse theorem for the U6(F2n)U^6({\mathbf F}_2^n)U6(F2n​) norm

Polynomial towers and inverse Gowers theory for bounded-exponent groups

Host-Kra theory for ⨁p∈PFp\bigoplus_{p\in P}\mathbb{F}_p⨁p∈P​Fp​- Systems and multiple recurrence

Multiple ergodic averages in abelian groups and Khintchine type recurrence

⨁p∈PFp\bigoplus_{p\in P}\mathbb{F}_p⨁p∈P​Fp​-Systems as Abramov Systems

See the researcher in context

Building this map preview

A Host--Kra ${\mathbf F}_2^ω$ -system of order $5$ that is not Abramov of order $5$ , and non-measurability of the inverse theorem for the $U^6({\mathbf F}_2^n)$ norm

Host-Kra theory for $\bigoplus_{p\in P}\mathbb{F}_p$ - Systems and multiple recurrence

$\bigoplus_{p\in P}\mathbb{F}_p$ -Systems as Abramov Systems