An inverse theorem in Z/pZ and rainbow-free colorings

From MaRDI portal
Publication:1681900



Abstract: Let mathbbFp be the field with p elements with p prime, X1,ldots,Xn pairwise disjoint subsets of mathbbFpwith at least 3 elements such that sumi=1n|Xi|leqp−5, and mathbbSn the set of permutations of 1,2,ldots,n. If a1,ldots,aninmathbbFp∗ are not all equal, we characterize the subsets X1,ldots,Xn which satisfy �egin{equation*} Bigg|�igcup_{sigmainmathbb{S}_n}sum_{i=1}^na_{sigma(i)}X_iBigg|leq sum_{i=1}^n|X_i|. end{equation*} This result has the following application: For ngeq2, binmathbbFp and a1,ldots,an as above, we characterize the colorings where each color class has at least 3 elements such that sumi=1naixi=b has not rainbow solutions.


Let \(p\) be a prime and let \(\mathbb{Z}/p\mathbb{Z}\) denote the set of congruence classes modulo \(p\). An \(n\)-coloring of \(\mathbb{Z}/p\mathbb{Z}\) is a partition of \(\mathbb{Z}/p\mathbb{Z}\) into \(n\) nonempty subsets. A subset of \(\mathbb{Z}/p\mathbb{Z}\) is called rainbow if it contains at least one element from every color class. In this paper the author improves a previous result of \textit{D. Conlon} [Discrete Math. 306, No. 17, 2056--2063 (2006; Zbl 1220.05131)] about the existence of rainbow solutions of linear equations over \(\mathbb{Z}/p\mathbb{Z}\). Namely, he proves that if the set \(\mathbb{Z}/p\mathbb{Z}\) is colored with \(n \ge 3\) different colors such that each color class has at least four elements, then for any nonzero \(a_{1}, \dots, a_{n} \in \mathbb{Z}/p\mathbb{Z}\) with not all of them being equal, and for any \(b \in \mathbb{Z}/p\mathbb{Z}\), there is a rainbow solution of the equation \(\sum_{i=1}^{n}a_{i}x_{i} = b\). The proof uses some results of additive number theory. The key tool is an inverse theorem due to the author.











This page was built for publication: An inverse theorem in \(\mathbb{Z}/p\mathbb{Z}\) and rainbow-free colorings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1681900)