Computation of the Similarity Class of the $p$-Curvature

Abstract : The $p$-curvature of a system of linear differential equations in positive characteristic $p$ is a matrix that measures how far the system is from having a basis of polynomial solutions. We show that the similarity class of the $p$-curvature can be determined without computing the $p$-curvature itself. More precisely, we design an algorithm that computes the invariant factors of the $p$-curvature in time quasi-linear in $\sqrt p$. This is much less than the size of the $p$-curvature, which is generally linear in $p$. The new algorithm allows to answer a question originating from the study of the Ising model in statistical physics.
Liste complète des métadonnées
Contributor : Marie-Annick Guillemer <>
Submitted on : Tuesday, May 24, 2016 - 5:39:06 PM
Last modification on : Thursday, November 15, 2018 - 11:56:37 AM

Links full text



Alin Bostan, Xavier Caruso, Éric Schost. Computation of the Similarity Class of the $p$-Curvature. ISSAC 2016, Jul 2016, Waterloo, ON, Canada. ACM Press, pp.111-118, 〈〉. 〈10.1145/2930889.2930897〉. 〈hal-01321043〉



Record views