Minimum number of additive tuples in groups of prime order

For a prime number $p$ and a sequence of integers $a_0,\dots,a_k\in {0,1,\dots,p}$,let$s(a_0,\dots,a_k)$betheminimumnumberof$(k+1)$-tuples$(x_0,\dots,x_k)\in A_0\times\dots\times A_k$with$x_0=x_1+\dots + x_k$,oversubsets$A_0,\dots,A_k\subseteq$\mathbb{Z}$_p$ of sizes $a_0,\dots ,a_k$ respectively. An elegant argument of Lev (independently rediscovered by Samotij and Sudakov) shows that there exists an extremal configuration with all sets $A_i$ being intervals of appropriate length, and that the same conclusion also holds for the related problem, reposed by Bajnok, when $a_0=\cdots =a_k=:a$ and $A_0=\cdots =A_k$, provided $k$ is not equal 1 modulo $p$. By applying basic Fourier analysis, we show for Bajnok’s problem that if $p\ge 13$ and $a\in \{3,\dots ,p-3\}$ are fixed while $k\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$ tends to infinity, then the extremal configuration alternates between at least two affine non-equivalent sets.