固定有限域向量空间中复杂度为1的分区-正则模式的诱导算术去除
Induced arithmetic removal for partition-regular patterns of complexity 1
摘要 Abstract
2019年,Fox、Tidor和Zhao(arXiv:1911.03427)证明了固定有限域向量空间中复杂度为1的线性模式的诱导算术去除引理。在不对模式做进一步假设的情况下,该引理不能保证完全消除给定模式的空间重新着色,因为一些“非通用”实例必然需要保留。另一方面,Bhattacharyya等人(arXiv:1212.3849)表明,在平移不变模式的情况下,可以实现完全消除给定模式的重新着色,不留任何例外。本文证明了对于所有复杂度为1的分区-正则算术模式,都可以实现这种完全去除。
In 2019, Fox, Tidor and Zhao (arXiv:1911.03427) proved an induced arithmetic removal lemma for linear patterns of complexity 1 in vector spaces over a fixed finite field. With no further assumptions on the pattern, this induced removal lemma cannot guarantee a fully pattern-free recolouring of the space, as some `non-generic' instances must necessarily remain. On the other hand, Bhattacharyya et al. (arXiv:1212.3849) showed that in the case of translation-invariant patterns, it is possible to obtain recolourings that eliminate the given pattern completely, with no exceptions left behind. This paper demonstrates that such complete removal can be achieved for all partition-regular arithmetic patterns of complexity 1.