Abstract
The complexity of multiplication in group algebras is closely related to the complexity of matrix multiplication. Inspired by the recent group-theoretic approach by Cohn and Umans [10] and the algorithms by Cohn et al. [9] for matrix multiplication, we present conditional group-theoretic lower bounds for the complexity of matrix multiplication. These bounds depend on the complexity of multiplication in group algebras.
Using Bläser’s lower bounds for the rank of associative algebras we characterize all semisimple group algebras of minimal bilinear complexity and show improved lower bounds for other group algebras. We also improve the best previously known bound for the bilinear complexity of group algebras by Atkinson. Our bounds depend on the complexity of matrix multiplication. In the special if the exponent of the matrix multiplication equals two, we achieve almost linear bounds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alder, A., Strassen, V.: On the algorithmic complexity of associative algebras. Theoret. Comput. Sci. 15, 201–211 (1981)
Atkinson, M.D.: The complexity of group algebra computations. Theoret. Comput. Sci. 5(2), 205–209 (1977)
Bläser, M.: Lower bounds for the bilinear complexity of associative algebras. Comput. Complexity 9(2), 73–112 (2000)
Bläser, M.: On the complexity of the multiplication of matrices of small formats. J. Complexity 19(1), 43–60 (2003)
Bläser, M.: A complete characterization of the algebras of minimal bilinear complexity. SIAM J. Comput. 34(2), 277–298 (2004)
Büchi, W.: Über eine Klasse von Algebren minimalen Ranges. PhD thesis, Zürich University (1984)
Bürgisser, P., Clausen, M., Shokrollahi, M.A.: Algebraic Complexity Theory. A Series of Comprehensive Studies in Mathematics, vol. 315. Springer, Heidelberg (1997)
Chudnovsky, D.V., Chudnovsky, G.V.: Algebraic complexities and algebraic curves over finite fields. J. Complexity 4(4), 285–316 (1988)
Cohn, H., Kleinberg, R.D., Szegedy, B., Umans, C.: Group-theoretic algorithms for matrix multiplication. In: 46th FOCS, pp. 379–388. IEEE Comp. Soc., Los Alamitos (2005)
Cohn, H., Umans, C.: A group-theoretic approach to fast matrix multiplication. In: 44th FOCS, pp. 438–449. IEEE Comp. Soc., Los Alamitos (2003)
Gelfand, S.I.: Representations of the full linear group over a finite field. Math. USSR, Sb. 12, 1339 (1970)
Lang, S.: Algebra, 3rd revised edn. Springer, Heidelberg (2005)
Lidl, R., Niederreiter, H.: Finite Fields. Encyclopedia of Mathematics and its Applications, vol. 20. Cambridge University Press, Cambridge (2008)
Lupanov, O.B.: A method of circuit synthesis. Izvesitya VUZ, Radiofizika 1, 120–140 (1958)
Shparlinski, I.E., Tsfasman, M.A., Vladut, S.G.: Curves with many points and multiplication in finite fields. In: Stichtenoth, H., Tsfasman, M.A. (eds.) International Workshop on Coding Theory and Algebraic Geometry. Lecture Notes in Mathematics, vol. 1518, pp. 145–169. Springer, Berlin (1992)
Strassen, V.: Vermeidung von Divisionen. J. Reine Angew. Math. 264, 182–202 (1973)
van der Waerden, B.L.: Algebra II, 5th edn. Springer, Heidelberg (1967)
Wientraub, S.H.: Representation Theory of Finite Groups: Algebra and Arithmetic. Graduate Series in Mathematics, vol. 59. AMS, Providence (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pospelov, A. (2011). Group-Theoretic Lower Bounds for the Complexity of Matrix Multiplication. In: Ogihara, M., Tarui, J. (eds) Theory and Applications of Models of Computation. TAMC 2011. Lecture Notes in Computer Science, vol 6648. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20877-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-20877-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20876-8
Online ISBN: 978-3-642-20877-5
eBook Packages: Computer ScienceComputer Science (R0)