7 papers
Non-vanishing of multiple correlation sequences
Or Shalom
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…
-polynomial recurrence and large intersections
Borys Holikov, Or Shalom
Let be a rationally independent sequence of integer valued nonlinear polynomials. We show that for all , every Folner sequence , and every…
Holistic Evaluation and Failure Diagnosis of AI Agents
Netta Madvil, Gilad Dym, Alon Mecilati +12
AI agents execute complex multi-step processes, but current evaluation falls short: outcome metrics report success or failure without explaining why, and process-level approaches s…
On the Furstenberg-Katznelson constant for the IP Szemeredi theorem over finite fields
Or Shalom
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 t…
A Host--Kra -system of order that is not Abramov of order , and non-measurability of the inverse theorem for the norm
Asgar Jamneshan, Or Shalom, Terence Tao
It was conjectured by Bergelson, Tao, and Ziegler \cite{btz} that every Host--Kra $\F_p^Ï$-system of order is an Abramov system of order . This conjecture has been verified…
Polynomial towers and inverse Gowers theory for bounded-exponent groups
Asgar Jamneshan, Or Shalom, Terence Tao
In this paper we develop Host--Kra and inverse Gowers theory for abelian groups of bounded exponent. We show that the Host--Kra factors associated with act…