In this paper, we study the hardness of solving graph-structured linear
systems with coefficients over a finite field Zpβ and over a
polynomial ring F[x1β,β¦,xtβ].
We reduce solving general linear systems in Zpβ to solving
unit-weight low-degree graph Laplacians over Zpβ with a
polylogarithmic overhead on the number of non-zeros. Given the hardness of
solving general linear systems in Zpβ [Casacuberta-Kyng 2022], this
result shows that it is unlikely that we can generalize Laplacian solvers over
R, or finite-element based methods over R in general, to
a finite-field setting. We also reduce solving general linear systems over
Zpβ to solving linear systems whose coefficient matrices are walk
matrices (matrices with all ones on the diagonal) and normalized Laplacians
(Laplacians that are also walk matrices) over Zpβ.
We often need to apply linear system solvers to random linear systems, in
which case the worst case analysis above might be less relevant. For example,
we often need to substitute variables in a symbolic matrix with random values.
Here, a symbolic matrix is simply a matrix whose entries are in a polynomial
ring F[x1β,β¦,xtβ]. We formally define the reducibility
between symbolic matrix classes, which are classified in terms of the degrees
of the entries and the number of occurrences of the variables. We show that the
determinant identity testing problem for symbolic matrices with polynomial
degree 1 and variable multiplicity at most 3 is at least as hard as the
same problem for general matrices over R.Comment: 57 pages, submitted version to STOC2