Graph-theory open problems

Induced arithmetic removal over abelian groups

AX_induced_arithmetic_removal_abelian_groups

Source: arXiv:1911.03427 — Induced arithmetic removal: complexity 1 patterns over finite fields

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

Diagnostic tag ill-posed high confidence

The quoted conjecture has no determinate truth value, and the most direct uniform finite-group formulation is false.

Caveat. The counterexamples exploit precisely the unspecified infinite-complexity and torsion/trivial-solution exclusions, so a suitably repaired formulation may remain open.

Attack verdicts are unrefereed model self-reports. An ill-posed label is a diagnostic of the catalog statement supplied to the model, not a literature-review status or a peer-reviewed result.

Assessed 2026-08-31 with gpt-5.6-sol · view the full attack artifact.

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)

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

Related conjectures

  • implies Induced arithmetic removal for higher complexity patterns open (plausible) The intended relation is right: the source conjecture (an analogue of Theorem 1.14 for arbitrary Z-coefficient patterns over arbitrary abelian groups) would, if true, answer the target problem affirmatively, since arbitrary abelian groups include F_q^n and Z, and arbitrary patterns include those of complexity greater than 1 (integer coefficients acting on F_q^n cover F_q-coefficient patterns after reduction mod q). However, the source is explicitly informal: the authors 'decline to give a precise formulation due to unresolved issues with infinite complexity and trivial solutions', and those caveats could exclude cases the target problem asks about (e.g. infinite-complexity patterns over Z). Without a precise source statement one cannot rigorously certify the implication, so this stays at plausible rather than confirmed.

View in the relation graph — relations are AI-reviewed, not formally verified.