Popular differences for matrix patterns
The following combinatorial conjecture arises naturally from recent ergodic-theoretic work of Ackelsberg, Bergelson, and Best. Let M1, M2 be k×k integer matrices, G be a finite abelian group of order N, and A⊆Gk with ∣A∣≥αNk. If M1, M2, M1−M2, and M1+M2 are automorphisms of Gk, is it true that there exists a popular difference d∈Gk∖{0} such that #{x∈Gk:x,x+M1d,x+M2d,x+(M1+M2)d∈A}≥(α4−o(1))Nk. We show that this conjecture is false in general, but holds for G=Fpn with p an odd prime given the additional spectral condition that no pair of eigenvalues of M1M2−1 (over Fp) are negatives of each other. In particular, the "rotated squares" pattern does not satisfy this eigenvalue condition, and we give a construction of a set of positive density in (F5n)2 for which that pattern has no nonzero popular difference. This is in surprising contrast to three-point patterns, which we handle over all compact abelian groups and which do not require an additional spectral condition.