2
$\begingroup$

This is the "real-life" (but slightly more technical) version of a question I have asked recently.

For a prime $p>10$, let $\mathcal L_X$, $\mathcal L_Y$, and $\mathcal L_Z$ denote the pencils of all those lines in $\mathbb F_p^2$ parallel to the lines $$ X:=\{(x,0)\colon x\in\mathbb F_p \}, \ Y:=\{(0,y)\colon y\in\mathbb F_p \}, \ Z:=\{(z,z)\colon z\in\mathbb F_p \}, $$ respectively; thus, $|\mathcal L_X|=|\mathcal L_Y|=|\mathcal L_Z|=p$. Write $$ \chi(x,y) := \omega^x,\quad (x,y)\in\mathbb F_p^2, $$ where $\omega$ is a fixed primitive root of unity of degree $p$. Given a set $S\subseteq\mathbb F_p^2$, with every element $s\in S$ associate a formal variable $x_s$, and consider the system of homogeneous linear equations \begin{gather*} \sum_{s\in S\cap\ell} x_s = 0,\quad \ell\in\mathcal L_X\cup\mathcal L_Y, \\ \sum_{s\in S\cap\ell} \chi(s)\,x_s=0, \quad \ell \in \mathcal L_Z; \end{gather*} notice that there are $3p$ equations and $|S|$ variables. Does there exist a set $S\subseteq\mathbb F_p^2$ of size $|S|<3p$ for which this system has a solution such that the set $\{s\in S\colon x_s\ne 0\}$ meets every line in $\mathbb F_p^2$?

$\endgroup$
  • $\begingroup$ It looks like $S$ is not needed here -- we can assume $S=\mathbb{F}_p^2$ and look for solutions with $|\{s\in \mathbb{F}_p^2\colon x_s\ne 0\}|<3p$. $\endgroup$ – Max Alekseyev Jun 27 '18 at 13:45
  • $\begingroup$ @MaxAlekseyev: right, $S$ is not critical, just a matter of notation. $\endgroup$ – Seva Jun 27 '18 at 14:08
  • $\begingroup$ Removing $S$ would simplify formulation. $\endgroup$ – Max Alekseyev Jun 27 '18 at 15:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.