Polynomial δ-ε dependence for complexity 1 systems

Informal Conjecture (Polynomial Quantitative Bound for Complexity 1 Systems) · arXiv:1911.03427

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

Authors: Jacob Fox, Jonathan Tidor, Yufei Zhao

Status open medium confidence

The conjecture that $\delta = \epsilon^{O_A(1)}$ (polynomial dependence) holds for complexity 1 systems in the induced arithmetic removal lemma over finite fields remains open as of May 2026. A 2024 follow-up (arXiv:2412.15170) extends the qualitative removal result to all partition-regular patterns of complexity 1 but does not address the polynomial quantitative bound and inherits tower-type bounds from Green's arithmetic regularity lemma. No paper establishing or refuting polynomial dependence for the general complexity 1 case was found in the literature.

Cited literature (1)

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

not retrieved · arXiv preprint · arXiv:2412.15170

Extends the induced arithmetic removal result to all partition-regular patterns of complexity 1, achieving complete pattern elimination with no exceptions, but does not address the polynomial quantitative conjecture $\delta = \epsilon^{O(1)}$ and retains tower-type bounds.

Reviewer notes. Reference [20] in the source paper (cited for further discussion of the quantitative question) is likely the Alon–Fox paper on efficient arithmetic regularity and removal lemmas for induced bipartite patterns (Discrete Analysis 2019). The 2024 paper arXiv:2412.15170 qualitatively extends the main theorem to partition-regular patterns but makes no progress on the polynomial quantitative conjecture. Authors of arXiv:2412.15170 could not be retrieved within the web call budget. The source paper describes the quantitative question as 'wide open', and no evidence of subsequent resolution was found.

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

Informal. For complexity 1 systems, the dependence of $\delta$ on $\epsilon$ in Definition 1.10 satisfies $\delta = \epsilon^{O_A(1)}$, i.e., polynomial dependence.

Context

In Section 1.2, after defining complexity 1 (Definition 1.10), the authors remark that the general dependence of $\delta$ on $\epsilon$ is a wide open problem and state conjecturally that polynomial dependence holds. Reference [20] is cited for further discussion of this quantitative question.

Notes. Stated as 'conjecturally' in running prose without a labelled environment and without explicit attribution to named individuals; reference [20] is cited for discussion but no author names are given in the extracted text.

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