Conjecture on regularity over the cyclic group of order a power of two

Let f ⁣:Z/2nZ{±1}f\colon \mathbb{Z}/2^n\mathbb{Z}\to\{\pm1\} be a Boolean function. Say that ff has (δ,k)(\delta,k)-R\mathbb{R}-regularity and that it has ϵ\epsilon-Z/2nZ\mathbb{Z}/2^n\mathbb{Z}-Regularity according to the regularity notions defined in the paper. Regularity transfer conjecture. For any ϵ>0\epsilon>0, there is a k=k(ϵ)k=k(\epsilon) and a δ=δ(ϵ)>0\delta=\delta(\epsilon)>0 such that (δ,k)(\delta,k)-R\mathbb{R}-regularity implies ϵ\epsilon-Z/2nZ\mathbb{Z}/2^n\mathbb{Z}-Regularity. The conjecture is motivated largely by numerical evidence and asks for an analogue over Z/2nZ\mathbb{Z}/2^n\mathbb{Z} of the quasirandomness results established over F2n\mathbb{F}_2^n; its general validity remains open.

Sources & referencesView supporting material

Primary source

Fan Chung and Nicholas Sieger, “Quasi-Random Influences of Boolean Functions”, arXiv:2209.03573 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.