Volker Strassen - Research

Research

Strassen began his researches as a probabilist; his 1964 paper An Invariance Principle for the Law of the Iterated Logarithm defined a functional form of the law of the iterated logarithm, showing a form of scale invariance in random walks. This result, now known as Strassen's invariance principle or as Strassen's law of the iterated logarithm, has been highly cited and led to a 1966 presentation at the International Congress of Mathematicians.

In 1969, Strassen shifted his research efforts towards the analysis of algorithms with a paper on Gaussian elimination, introducing Strassen's algorithm, the first algorithm for performing matrix multiplication faster than the O(n3) time bound that would result from a naive algorithm. In the same paper he also presented an asymptotically-fast algorithm to perform matrix inversion, based on the fast matrix multiplication algorithm. This result was an important theoretical breakthrough, leading to much additional research on fast matrix multiplication, and despite later theoretical improvements it remains a practical method for multiplication of dense matrices of moderate to large sizes. In 1971 Strassen published another paper together with Arnold Schönhage on asymptotically-fast integer multiplication based on the fast Fourier transform; see the Schönhage–Strassen algorithm. Strassen is also known for his 1977 work with Robert M. Solovay on the Solovay–Strassen primality test, the first method to show that testing whether a number is prime can be performed in randomized polynomial time and one of the first results to show the power of randomized algorithms more generally.