# A nowhere-zero point in a linear mapping

\begin{conjecture} If ${\mathbb F}$ is a finite field with at least 4 elements and $A$ is an invertible $n \times n$ matrix with entries in ${\mathbb F}$, then there are column vectors $x,y \in {\mathbb F}^n$ which have no coordinates equal to zero such that $Ax=y$. \end{conjecture}

The motivation for this problem comes from the study of nowhere-zero flows on graphs. If $A$ is the directed incidence matrix of a graph $G$, then a nowhere-zero ${\mathbb F}$-flow on $G$ is precisely a vector $x$ so that $x$ has all entries nonzero, and $Ax=0$. The above conjecture is similar, but is for general (invertible) matrices. Alon and Tarsi have resolved this conjecture for all fields not of prime order using their polynomial technique.

**Definition:** Say that a $m \times n$ matrix $A$ is $(a,b)$-*choosable* if for all $X_1,X_2,\ldots,X_m \subseteq {\mathbb F}$ with $|X_i|=a$ and for all $Y_1,Y_2,\ldots,Y_n \subseteq {\mathbb F}$ with $|Y_j|=b$, there exists a vector $x \in X_1 \times X_2 \ldots \times X_m$ and a vector $y \in Y_1 \times Y_2 \ldots \times Y_n$ so that $Ax=y$. Note that every matrix is $(1,|{\mathbb F}|)$-choosable, but that an $n \times n$ matrix is $(|{\mathbb F}|,1)$-choosable if and only if it is invertible.

Alon and Tarsi actually prove a stronger property than Jaeger conjectured for fields not of prime order. They prove that if ${\mathbb F}$ has characteristic $p$, then every invertible matrix over ${\mathbb F}$ is $(p,|{\mathbb F}|-1)$-choosable. This result has been extended by DeVos [D] who showed that every such matrix is $(p,|{\mathbb F}|-p+1)$-choosable. Yang Yu [Y] has verified that the conjecture holds for $n \times n$ matrices with entries in ${\mathbb Z}_p$ when $n < 2^{p-2}$.

Jaeger's conjecture is true in a very strong sense for fields of characteristic 2. DeVos [D] proved that every invertible matrix over such a field is $(k+1,|{\mathbb F}|-k)$-choosable for every $k$. The following conjecture asserts that invertible matrices over fields of prime order have choosability properties nearly as strong.

\begin{conjecture} [The choosability in ${\mathbb Z}_p$ conjecture (DeVos)] Every invertible matrix with entries in ${\mathbb Z}_p$ for a prime $p$ is $(k+2,p-k)$-choosable for every $k$. \end{conjecture}

This is essentially the strongest choosability conjecture one might hope to be true over fields of prime order. I (M. DeVos) don't have any experimental evidence for this at all, so it could be false already for some small examples. However, I suspect that if The permanent conjecture is true, that this conjecture should also be true. In any case, I (M. DeVos) am offering a bottle of wine for this conjecture.

## Bibliography

[A] N. Alon, \href[Combinatorial Nullstellensatz]{http://www.math.tau.ac.il/~nogaa/PDFS/null2.pdf}, Combinatorics Probability and Computing 8 (1999) no. 1-2, 7-29. \MRhref{1684621}

[AT] N. Alon, M. Tarsi, \href[A Nowhere-Zero Point in Linear Mappings]{http://www.springerlink.com/content/y9766rt81243188l/}, Combinatorica 9 (1989), 393-395. \MRhref{1054015}

[BBLS] R. Baker, J. Bonin, F. Lazebnik, and E. Shustin, \href[On the number of nowhere-zero points in linear mappings]{http://www.springerlink.com/content/jx477824728366p0/}, Combinatorica 14 (2) (1994), 149-157. \MRhref{1289069}

[D] M. DeVos, \href[Matrix Choosability]{http://www.ams.org/leavingmsn?url=http://www.sciencedirect.com/science/journal/00973165}, J. Combinatorial Theory, Ser. A 90 (2000), 197-209. \MRhref{1749430}

[Y] Y. Yu, \href[The Permanent Rank of a Matrix]{http://www.ams.org/leavingmsn?url=http://dx.doi.org/10.1006/jcta.1998.2904}, J. Combinatorial Theory Ser. A 85 (1999), 237-242. \MRhref{1673948}

* indicates original appearance(s) of problem.