Induced arithmetic removal for higher complexity patterns

Open Problem (Extending Induced Arithmetic Removal to Higher Complexity and General Groups) · arXiv:1911.03427

arXiv Problem high confidence— first stated 2019-11-08

Authors: Jacob Fox, Jonathan Tidor, Yufei Zhao

Status open high confidence

The open problem—extending the induced arithmetic removal lemma to higher complexity patterns and to general abelian groups (including Z)—remains unresolved. Fox, Tidor, and Zhao established the lemma for complexity 1 patterns over finite fields in 2019; the original paper was published in Israel Journal of Mathematics (2022). A 2024 follow-up by Gladkova (arXiv:2412.15170) refines the complexity 1/finite-field result by proving that complete removal (no non-generic exceptions) is achievable for partition-regular patterns of complexity 1, but this does not address either of the two main open directions: higher complexity patterns or general abelian groups.

Cited literature (1)

partial Induced arithmetic removal for partition-regular patterns of complexity 1 (2024)

V. Gladkova · arXiv preprint · arXiv:2412.15170

Proves that complete (exception-free) induced arithmetic removal holds for all partition-regular arithmetic patterns of complexity 1 over finite fields, refining the Fox–Tidor–Zhao result, but does not extend to higher complexity patterns or general abelian groups.

Reviewer notes. The paper appeared in Israel Journal of Mathematics 248 (2022), 1–38. The only identified post-2019 follow-up (Gladkova 2024) works within the same complexity 1 / finite-field setting and does not resolve either open direction. No paper found that extends induced arithmetic removal to complexity ≥ 2 or to Z or other infinite abelian groups.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Problem. Extend the induced arithmetic removal lemma beyond complexity 1 patterns over finite fields to higher complexity patterns and to general abelian groups (even the case of $\mathbb{Z}$ is open).

Context

After establishing Theorem 1.14 for complexity 1 patterns over $\mathbb{F}_q$, the authors note that extending to higher complexity and to general groups remains open. They observe that for affine-invariant patterns (which avoid a regularisation difficulty near the origin), the problem for bounded complexity patterns over finite fields has been solved, but the general induced setting is still unresolved.

Source paper

Induced arithmetic removal: complexity 1 patterns over finite fields
Jacob Fox, Jonathan Tidor, Yufei Zhao · 2019-11-08
https://arxiv.org/abs/1911.03427 PDF source