Induced arithmetic removal over abelian groups

Informal Conjecture (Induced Arithmetic Removal for Arbitrary Abelian Groups) · arXiv:1911.03427

arXiv Informal medium confidence— first stated 2019-11-08

Authors: Jacob Fox, Jonathan Tidor, Yufei Zhao

Status open high confidence

The conjecture asking for an induced arithmetic removal lemma for arbitrary complexity-1 patterns with integer coefficients over arbitrary abelian groups remains open. A 2024 paper by Gladkova (arXiv:2412.15170) extends the Fox–Tidor–Zhao result by achieving complete removal for partition-regular complexity-1 patterns, but stays within the finite-field setting and does not address the arbitrary abelian group case. No work resolving the conjecture over general abelian groups was found in the indexed literature.

Cited literature (1)

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

V. Gladkova · arXiv preprint · arXiv:2412.15170

Proves complete induced arithmetic removal for partition-regular complexity-1 patterns over finite fields, extending the Fox–Tidor–Zhao framework, but does not address the extension to arbitrary abelian groups.

Reviewer notes. The conjecture is deliberately left informal in the source paper due to unresolved issues with infinite-complexity patterns and trivial solutions. The 2024 Gladkova paper is the most directly related follow-up work but remains restricted to finite fields. No resolution over arbitrary abelian groups was found.

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

Informal. A statement analogous to Theorem 1.14 holds for arbitrary patterns with coefficients in $\mathbb{Z}$ over arbitrary abelian groups, subject to appropriate caveats concerning infinite complexity patterns and trivial solutions.

Context

Immediately following the statement of the main theorem (Theorem 1.14) and its remark on tower-type bounds, the authors write: 'We conjecture that a similar statement holds for arbitrary patterns (with coefficients in $\mathbb{Z}$) in arbitrary abelian groups.' They decline to give a precise formulation due to unresolved issues with infinite complexity and trivial solutions.

Notes. Authors explicitly decline to state a precise conjecture: 'we do not state a precise conjecture here'. Classified as Informal accordingly.

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