arXiv subjects

Or Shalom

Publications and source records attributed to Or Shalom.

16 recordsLinked to original sources

arXiv2026

The structure of non-commutative multiple correlation sequences and applications

Let $Γ$ be a countable abelian group with Pontryagin dual $Σ:=\widehatΓ$. A non-commutative $2$-fold multiple correlation sequence is a double-indexed sequence $$b(γ,γ') = \int_X T_γS_{γ'} f\cdot T_γg\cdot h\,dμ,$$ where $f,h\in L^2(μ)$ and $g\in L^\infty(μ)$ are functions on a probability space $\XX=(X,\mathcal{B},μ)$ and $T,S$ are two, not necessarily commuting, measure preserving $Γ$-actions. We prove that $b$ is of this form if and only if there are two finite Borel measures $σ_1,σ_2$ on $Σ$ and a bounded operator $G:L^2(Σ,σ_1)\rightarrow L^2(Σ,σ_2)$ with $$b(γ,γ')=\int_ΣG(ξ_γ)\cdotξ_{γ'}\,dσ_2 ,$$ where $ξ_γ(χ)=χ(γ)$ is the evaluation map. We then study the extent to which the triple $(G,σ_1,σ_2)$ is positive in the case $f=g=h=1_A$. Positivity fails in the sense available for the spectral measure of a single correlation sequence, but survives on positive functions with non-negative Fourier coefficients, where we also obtain a quantitative form by generalizing an inequality of Chu. As an application we prove a multiple recurrence theorem for products of linear forms, and deduce a simultaneous partition regularity result for a family of quadratic equations, extending, under a non-degeneracy hypothesis, a theorem of Frantzikinakis and Host.

math.DS↗

arXiv2026

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.

math.DS↗

arXiv2026

The structure of totally disconnected Host--Kra--Ziegler factors, and the inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion

Let $Γ$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},μ,T)$ be an ergodic $Γ$-system of order $k$ in the sense of Host--Kra--Ziegler. The $Γ$-system $\mathrm{X}$ is said to be totally disconnected if all its structure groups are totally disconnected. We show that any totally disconnected $Γ$-system of order $k$ is a generalized factor of a $\mathbb{Z}^ω$-system with the structure of a Weyl system. As a consequence of this structure theorem, we show that totally disconnected $Γ$-systems of order $k$ are represented by translations on double cosets of nilpotent Polish groups. By a correspondence principle of two of us, we can use this representation to establish a (weak) inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion.

math.DS↗

arXiv2026

Non-vanishing of multiple correlation sequences

We resolve in the negative a conjecture of Frantzikinakis and Kuca concerning the vanishing of multiple correlation sequences in nilsystems. Specifically, we prove the existence of an ergodic $3$-step nilsystem $(G/Γ, μ_{G/Γ}, R_α)$ and bounded functions $f_0, f_1, f_2 \in L^\infty(μ_{G/Γ})$ orthogonal to the Conze--Lesigne factor $L^2(G/G_3Γ)$, whose associated multiple correlation sequence $$a(n) = \int_{G/Γ} f_0(x) f_1(α^n x) f_2(α^{2n} x) \, dμ_{G/Γ}(x)$$ does not decay to zero. The same counterexample also refutes another conjecture of Frantzikinakis and Kuca and a conjecture of Leibman. To construct this counterexample, we develop a framework for Fourier analysis on $G/Γ$ where $G$ is the free $3$-step nilpotent Lie group on $4$ generators, a methodology that extends naturally to general nilsystems.

math.DS↗

arXiv2026

$\mathrm{IP}_{\mathrm{rat}}$-polynomial recurrence and large intersections

Let $p_1,...,p_k$ be a rationally independent sequence of integer valued nonlinear polynomials. We show that for all $E\subseteq \mathbb{N}$, every Folner sequence $Φ$, and every $\varepsilon>0$, the set $$\left\{n\in \mathbb{N} : d_Φ\left(E\cap(E+p_1(n))\cap\cdots\cap (E+p_k(n))\right) > d_Φ(E)^{k+1}-\varepsilon\right\}$$ intersects every IP generated by a sequence with rational spectrum. Our methods involve the study of the characteristic factors for multiple ergodic polynomial averages along IPs. In particular, we also prove a pointwise convergence theorem for polynomial averages along IPs with rational spectrum, generalizing a well known result of Leibman.

math.DS↗

arXiv2026

On the Furstenberg-Katznelson constant for the IP Szemeredi theorem over finite fields

Bergelson et al. observed that Furstenberg's proof of Szemeredi's theorem provides a positive lower bound on the density of arithmetic progressions in sets of positive density in the integers. Namely, for every $δ\in(0,1]$ and every $k\in \mathbb{N}$, there exists a positive constant $c=c(k,δ)>0$ such that $$\{n\in \mathbb{N} : d(E\cap (E-n)\cap\dots\cap (E-(k-1)n))>c(k,δ)\} \neq \emptyset$$ whenever $d(E)\ge δ$. Similarly, Furstenberg and Katznelson proved the IP Szemeredi theorem, establishing in particular the existence of a constant $c_{\mathrm{IP}}=c_{\mathrm{IP}}(k,δ)>0$ such that $$\{n\in \mathbb{N} : d(E\cap (E-n)\cap\dots\cap (E-(k-1)n))>c_{\mathrm{IP}}(k,δ)\}$$ is $\mathrm{IP}^*$ whenever $d(E)\ge δ$. In this paper, we study analogues of $c$ and $c_{\mathrm{IP}}$ and their ergodic-theoretic counterparts, $c^{\mathrm{rec}}$ and $c_{\mathrm{IP}}^{\mathrm{rec}}$, for vector spaces over finite fields. We provide a qualitative result and in special cases such as Roth's theorem and the IP-Roth theorem, we also provide strong quantitative bounds for these constants. Our tools are primarily ergodic theoretic; we study the characteristic factors and limit of multiple ergodic averages along $\mathrm{IP}$s in vector spaces over finite fields.

math.DS↗

arXiv2026

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}.

math.DS↗

arXiv2025

Ergodic averages and the large intersection property along IP sets

We study multiple ergodic averages along IP sets, meaning we restrict iterates in the averages to all finite sums of some infinite sequence of natural numbers. We give criteria for convergence and divergence in mean of these multiple averages and derive sufficient conditions for convergence to the projection onto the space of invariant functions. For a class of sequences that, roughly speaking, only have rational obstructions to such a limit, we show that the behavior is controlled by nilsystems. We also consider pointwise convergence, obtaining convergence and a formula for a set of functions on nilsystems that are dense in $L^2$. Finally, we show that certain correlations have optimally large intersections along an IP set

math.DS↗

arXiv2024

The structure of arbitrary Conze-Lesigne systems

Let $Γ$ be a countable abelian group. An (abstract) $Γ$-system $\mathrm{X}$ - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of $Γ$ - is said to be a Conze-Lesigne system if it is equal to its second Host-Kra-Ziegler factor $\mathrm{Z}^2(\mathrm{X})$. The main result of this paper is a structural description of such Conze-Lesigne systems for arbitrary countable abelian $Γ$, namely that they are the inverse limit of translational systems $G_n/Λ_n$ arising from locally compact nilpotent groups $G_n$ of nilpotency class $2$, quotiented by a lattice $Λ_n$. Results of this type were previously known when $Γ$ was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers $U^3(G)$ norm for arbitrary finite abelian groups $G$.

math.DS↗

arXiv2024

Mitigating Data Injection Attacks on Federated Learning

Federated learning is a technique that allows multiple entities to collaboratively train models using their data without compromising data privacy. However, despite its advantages, federated learning can be susceptible to false data injection attacks. In these scenarios, a malicious entity with control over specific agents in the network can manipulate the learning process, leading to a suboptimal model. Consequently, addressing these data injection attacks presents a significant research challenge in federated learning systems. In this paper, we propose a novel technique to detect and mitigate data injection attacks on federated learning systems. Our mitigation method is a local scheme, performed during a single instance of training by the coordinating node, allowing the mitigation during the convergence of the algorithm. Whenever an agent is suspected to be an attacker, its data will be ignored for a certain period, this decision will often be re-evaluated. We prove that with probability 1, after a finite time, all attackers will be ignored while the probability of ignoring a trustful agent becomes 0, provided that there is a majority of truthful agents. Simulations show that when the coordinating node detects and isolates all the attackers, the model recovers and converges to the truthful model.

cs.LG↗

arXiv2023

On the maximal spectral type of nilsystems

Let $(G/Γ,R_a)$ be an ergodic $k$-step nilsystem for $k\geq 2$. We adapt an argument of Parry to show that $L^2(G/Γ)$ decomposes as a sum of a subspace with discrete spectrum and a subspace of Lebesgue spectrum with infinite multiplicity. In particular, we generalize a result previously established by Host, Kra and Maass for $2$-step nilsystems and a result by Stepin for nilsystems $G/Γ$ with connected, simply connected $G$.

math.DS↗

arXiv2023

Host-Kra factors for $\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$ actions and finite dimensional nilpotent systems

Let $\mathcal{P}$ be a countable multiset of primes and let $G=\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$. We study the universal characteristic factors associated with the Gowers-Host-Kra seminorms for the group $G$. We show that the universal characteristic factor of order $<k+1$ is a factor of an inverse limit of finite dimensional $k$-step nilpotent homogeneous spaces. The latter is a counterpart of a $k$-step nilsystem where the homogeneous group is not necessarily a Lie group. This result provides a counterpart of the structure theorem of Host-Kra and Ziegler concerning $\mathbb{Z}$-actions and generalizes the results of Bergelson Tao and Ziegler concerning $\mathbb{F}_p^ω$-actions. This result is the first instance of a structure theorem for the universal characteristic factors associated with a non-finitely generated group of unbounded torsion. As an application we derive an alternative proof for the $L^2$-convergence of multiple ergodic averages associated with $k$-term arithmetic progressions in $G$ and derive a formula for the limit in the special case where the underlying space is a nilpotent homogeneous system.

math.DS↗

arXiv2022

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.

math.DS↗

arXiv2022

Khintchine-type recurrence for 3-point configurations

The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $φ, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $φ(G)$, $ψ(G)$, and $(ψ-φ)(G)$ have finite index in $G$, then $\{φ, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{φ(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $φ(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $φ(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $φ,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{φ(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $φ(G)$ and $ψ(G)$ invariant functions.

math.DS↗

arXiv2021

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.

math.DS↗

arXiv2020

$\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.

math.DS↗