2022/10/24 by Daniel Altman, Altman, Daniel
Mathematics · Computer Science · #Limits and Structures in Graph Theory #Advanced Graph Theory Research #Advanced Topology and Set Theory
paper · pdf · doi:10.48550/arxiv.2210.13515
A system of linear equations in \mathbbFpn is common if every two-colouring of \mathbbFpn yields at least as many monochromatic solutions as a random two-colouring, asymptotically as n → ∞. By analogy to the graph-theoretic setting, Alon has asked whether any (non-Sidorenko) system of linear equations can be made uncommon by adding sufficiently many free variables. Fox, Pham and Zhao answered this question in the affirmative among systems which consist of a single equation. We answer Alon's question in the negative. We also observe that the property of remaining common despite that addition of arbitrarily many free variables is closely related to a notion of commonness in which one replaces the arithmetic mean of the number of monochromatic solutions with the geometric mean, and furthermore resolve questions of Kamčev--Liebenau--Morrison.