1: \begin{abstract}

2:     We study the problem $\#\edgesubsprob(\Phi)$ of counting $k$-edge subgraphs satisfying a given graph property $\Phi$ in a large host graph $G$. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the number of such subgraphs as a finite linear combination of graph homomorphism counts and derive the complexity of computing this number by studying its coefficients. 

3:     

4:     Our approach relies on novel constructions of low-degree Cayley graph expanders of $p$-groups, which might be of independent interest. The properties of those expanders allow us to analyse the coefficients in the aforementioned linear combinations over the field $\mathbb{F}_p$ which gives us significantly more control over the cancellation behaviour of the coefficients. Our main result is an exhaustive and fine-grained complexity classification of $\#\edgesubsprob(\Phi)$ for minor-closed properties $\Phi$, closing the missing gap in previous work by Roth, Schmitt and Wellnitz (ICALP 21). 

5:     

6:     Additionally, we observe that our methods also apply to modular counting. Among others, we obtain novel intractability results for the problems of counting $k$-forests and matroid bases modulo a prime $p$. Furthermore, from an algorithmic point of view, we construct algorithms for the problems of counting $k$-paths and $k$-cycles modulo $2$ that outperform the best known algorithms for their non-modular counterparts.

7:     

8:     In the course of our investigations we also provide an exhaustive parameterized complexity classification for the problem of counting graph homomorphisms modulo a prime $p$.

9: \end{abstract}

10: