1: \begin{abstract}

2: Invertible map equivalences are approximations of graph isomorphism that refine the well-known Weisfeiler-Leman method.

3: They are parametrised by a number $k$ and a set $Q$ of primes. 

4: The intuition is that two graphs $G\IMequiv{k}{Q}H$ cannot be distinguished by a refinement of $k$-tuples given 

5: by linear operators acting on vector spaces over fields of characteristic $p$, for any $p \in Q$.

6: These equivalences have first appeared in the study of rank logic, but in fact they can be 

7: used to delimit the expressive power of any extension of fixed-point logic with linear-algebraic operators. We define $\LAkLogic(Q)$, an infinitary logic with $k$ variables and all linear-algebraic operators over finite vector spaces of characteristic $p \in Q$ and show

8: that $\IMequiv{k}{Q}$ is the natural notion of elementary equivalence for this logic.  The logic  $\LALogic(Q) = \bigcup_{k \in \omega} \LAkLogic(Q)$ is then a natural upper bound on the expressive power of any extension of fixed-point logics by means of $Q$-linear-algebraic operators.

9: 

10: By means of a new and much deeper algebraic analysis of a generalized variant, for any prime~$p$,

11: of the CFI-structures due to Cai, Fürer, and Immerman,  we prove that, as long as $Q$ is not the set of \emph{all} 

12: primes, there is no $k$ such that $\IMequiv{k}{Q}$ is the same as isomorphism. It follows that there are polynomial-time properties

13: of graphs which are not definable in $\LALogic(Q)$, which implies that no extension of fixed-point logic with linear-algebraic operators can capture PTIME, 

14: unless it includes such operators for all prime characteristics. Our analysis requires substantial algebraic machinery, 

15: including a homogeneity property of CFI-structures and Maschke's Theorem, an important result  

16: from the representation theory of finite groups. 

17: \end{abstract}

18: