# .

# Matrix multiplication

In mathematics, matrix multiplication is a binary operation that takes a pair of matrices, and produces another matrix. This term may refer to a number of different ways to multiply matrices, but most commonly refers to the matrix product.[1][2]

This article will use the following notational conventions. Matrices are represented by capital letters in bold, vectors in lowercase bold, and entries of vectors and matrices are italic (since they are scalars).

Scalar multiplication

Main article: Scalar multiplication

The simplest form of multiplication associated with matrices is scalar multiplication.

General definition

Left multiplication

The scalar multiplication of a matrix A and a scalar λ gives another matrix λ A of the same size as A. The entries of λ A are given by

\( \lambda(A)_{ij} = (\lambda A)_{ij} = \lambda A_{ij} \)

explicitly:

\( \lambda \mathbf{A} = \lambda \begin{pmatrix} A_{11} & A_{12} & \cdots & A_{1m} \\ A_{21} & A_{22} & \cdots & A_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ A_{n1} & A_{n2} & \cdots & A_{nm} \\ \end{pmatrix} = \begin{pmatrix} \lambda A_{11} & \lambda A_{12} & \cdots & \lambda A_{1m} \\ \lambda A_{21} & \lambda A_{22} & \cdots & \lambda A_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ \lambda A_{n1} & \lambda A_{n2} & \cdots & \lambda A_{nm} \\ \end{pmatrix} \)

If we are concerned with matrices over a more general ring, then the above multiplication is the left multiplication of the matrix A with scalar λ.

Right multiplication

Similarly, the right multiplication is defined to be

\( (A\lambda)_{ij} = A_{ij} \lambda \)

When the underlying ring is commutative, for example, the real or complex number field, the two multiplications are the same. However, if the ring is not commutative, such as the quaternions, they may not be equal.

Examples

For a real scalar and matrix:

\( \begin{align} & \lambda = 2, \quad \mathbf{A} =\begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}, \\ & 2 \mathbf{A} = 2 \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} = \begin{pmatrix} 2a & 2b \\ 2c & 2d \\ \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}2= \mathbf{A}2 \end{align} \)

For quaternion scalars and matrices:

\( i\begin{pmatrix} i & 0 \\ 0 & j \\ \end{pmatrix} = \begin{pmatrix} -1 & 0 \\ 0 & k \\ \end{pmatrix} \ne \begin{pmatrix} -1 & 0 \\ 0 & -k \\ \end{pmatrix} = \begin{pmatrix} i & 0 \\ 0 & j \\ \end{pmatrix}i \)

Matrix product (two matrices)

Assume two matrices are to be multiplied (the generalization to any number is discussed below). If A is an n×m matrix and B is an m×p matrix, the result AB of their multiplication is an n×p matrix defined only if the number of columns m in A is equal to the number of rows m in B.

General definition

The arithmetic process of multiplying numbers in row i in matrix A and column j in matrix B, then adding to obtain entry ij in the final matrix.

When multiplying matrices, the elements of the rows in the first matrix are multiplied with corresponding columns in the second matrix (depicted in the image right). One may compute each entry in the third matrix one at a time.

For two matrices

\( \mathbf{A}=\begin{pmatrix} A_{11} & A_{12} & \cdots & A_{1m} \\ A_{21} & A_{22} & \cdots & A_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ A_{n1} & A_{n2} & \cdots & A_{nm} \\ \end{pmatrix},\quad\mathbf{B}=\begin{pmatrix} B_{11} & B_{12} & \cdots & B_{1p} \\ B_{21} & B_{22} & \cdots & B_{2p} \\ \vdots & \vdots & \ddots & \vdots \\ B_{m1} & B_{m2} & \cdots & B_{mp} \\ \end{pmatrix} \)

(where necessarily the number of columns in A equals the number of rows in B equals m) the matrix product AB is defined by [3][4]

\( \mathbf{A}\mathbf{B} =\begin{pmatrix} (AB)_{11} & (AB)_{12} & \cdots & (AB)_{1p} \\ (AB)_{21} & (AB)_{22} & \cdots & (AB)_{2p} \\ \vdots & \vdots & \ddots & \vdots \\ (AB)_{n1} & (AB)_{n2} & \cdots & (AB)_{np} \\ \end{pmatrix} \)

(with no multiplication signs or dots) where AB has entries defined by

\( (AB)_{ij} = \sum_{k=1}^m A_{ik}B_{kj} \)

Treating the rows and columns in each matrix as row and column vectors respectively, this entry is also their vector dot product:

\( \mathbf{a}_i=\begin{pmatrix} A_{i1} & A_{i2} & \cdots & A_{in} \end{pmatrix}\,, \quad \mathbf{b}_j=\begin{pmatrix} B_{1j} \\ B_{2j} \\ \vdots \\ B_{nj} \end{pmatrix}, \quad (AB)_{ij} = \mathbf{a}_i \cdot \mathbf{b}_j \)

(See below for further details). Usually the entries are numbers or expressions, but can even be matrices themselves (see block matrix). The matrix product can still be calculated the same way.

Illustration

Matrix multiplication diagram

The figure to the right illustrates diagrammatically the product of two matrices A and B, showing how each intersection in the product matrix corresponds to a row of A and a column of B.

\( \overset{4\times 2 \text{ matrix}}{\begin{bmatrix} \color{BrickRed} a_{11} & \color{BrickRed} a_{12} \\ \cdot & \cdot \\ \color{BurntOrange} a_{31} & \color{BurntOrange} a_{32} \\ \cdot & \cdot \\ \end{bmatrix}} \overset{2\times 3\text{ matrix}}{\begin{bmatrix} \cdot & \color{Fuchsia}b_{12} & \color{Violet}b_{13} \\ \cdot & \color{Fuchsia}b_{22} & \color{Violet}b_{23} \\ \end{bmatrix}} = \overset{4\times 3\text{ matrix}}{\begin{bmatrix} \cdot & x_{12} & \cdot \\ \cdot & \cdot & \cdot \\ \cdot & \cdot & x_{33} \\ \cdot & \cdot & \cdot \\ \end{bmatrix}} \)

The values at the intersections marked with circles are:

\( \begin{align} x_{12} &= ({\color{BrickRed}a_{11}}, {\color{BrickRed}a_{12}})\cdot({\color{Fuchsia}b_{12}}, {\color{Fuchsia}b_{22}}) &= {\color{BrickRed}a_{11}}{\color{Fuchsia}b_{12}} + {\color{BrickRed}a_{12}}{\color{Fuchsia}b_{22}} \\ x_{33} &= ({\color{BurntOrange}a_{31}}, {\color{BurntOrange}a_{32}})\cdot({\color{Violet}b_{13}}, {\color{Violet}b_{23}}) &= {\color{BurntOrange}a_{31}}{\color{Violet}b_{13}} + {\color{BurntOrange}a_{32}}{\color{Violet}b_{23}} \\ \end{align} \)

Examples

Square matrix and column vector

\( \mathbf{A} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}, \quad \bold{B} = \begin{pmatrix} x \\ y \\ \end{pmatrix} \)

their matrix product is:

\( \mathbf{AB} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} \begin{pmatrix} x \\ y \\ \end{pmatrix} = \begin{pmatrix} a \times x + b\times y \\ c \times x + d \times y \\ \end{pmatrix}=\begin{pmatrix} ax + by \\ cx + dy \\ \end{pmatrix} \)

yet BA is not defined.

The product of a square matrix multiplied by a column matrix arises naturally in linear algebra; for solving linear equations and representing linear transformations. By choosing a, b, c, d in A appropriately, A can represent a variety of transformations such as rotations, scaling and reflections, shears, of a geometric shape in space.

Square matrices

\( \mathbf{A} = \begin{pmatrix} 1 & 2 \\ 3 & 4 \\ \end{pmatrix}, \quad \mathbf{B} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} \)

their matrix products are:

\( \mathbf{AB} = \begin{pmatrix} 1 & 2 \\ 3 & 4 \\ \end{pmatrix} \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} = \begin{pmatrix} 1 \times a + 2\times c & 1\times b + 2\times d \\ 3 \times a + 4 \times c & 3 \times b + 4\times d \\ \end{pmatrix}=\begin{pmatrix} a + 2c & b + 2d \\ 3a + 4c & 3b + 4d \\ \end{pmatrix} \)

and

\( \mathbf{BA} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} \begin{pmatrix} 1 & 2 \\ 3 & 4 \\ \end{pmatrix} = \begin{pmatrix} a \times 1 + b\times 3 & a \times 2 + b \times 4 \\ c \times 1 + d \times 3 & c \times 2 + d \times 4 \\ \end{pmatrix}=\begin{pmatrix} a + 3b & 2a + 4b \\ c + 3d & 2c + 4d \\ \end{pmatrix} \)

Multiplying square matrices which represent linear transformations corresponds to the composite transformation (see below for details).

Properties of matrix multiplication

General

Analogous to numbers (elements of a field), matrices satisfy the following general properties. Although there is one subtlety, due to the nature of matrix multiplication.

All matrices

Not commutative (in general):

\( \mathbf{A}\mathbf{B}\neq\mathbf{B}\mathbf{A} \)

because AB and BA may not be simultaneously defined, even if they are they may still not be equal. This is contrary to ordinary multiplication of numbers. As long as the entries of the matrix come from a ring which has an identity, and n > 1 there is a pair of n×n noncommuting matrices over the ring.

Associative:

\( \mathbf{A}(\mathbf{BC}) = (\mathbf{AB})\mathbf{C} \)

Distributive over matrix addition:

\( \mathbf{A}(\mathbf{B} + \mathbf{C}) = \mathbf{AB} + \mathbf{AC}, \quad (\mathbf{A} + \mathbf{B} )\mathbf{C} = \mathbf{AC} + \mathbf{BC} \)

Scalar multiplication commutes with matrix multiplication:

\( \lambda(\mathbf{AB}) = (\lambda \mathbf{A})\mathbf{B} \) and \( (\mathbf{A} \mathbf{B})\lambda=\mathbf{A}(\mathbf{B}\lambda ) \)

where λ is a scalar. If λ belongs to the center of the ring of entries of the matrix, then all four quantities are equal, because λX = Xλ for all matrices X. This condition is automatically satisfied if the numbers in the entries come from a commutative ring, for example, a field.

Transpose:

\( (\mathbf{AB})^\mathrm{T} = \mathbf{B}^\mathrm{T}\mathbf{A}^\mathrm{T} \)

where T denotes the transpose, the interchange of row i with column i in a matrix. This identity holds for any matrices over a commutative ring, but not for all rings in general.

Hermitian conjugate: If A and B have complex entries, then

\( (\mathbf{AB})^\dagger = \mathbf{B}^\dagger\mathbf{A}^\dagger \)

where \dagger denotes the Hermitian conjugate of a matrix (complex conjugate and transposed).

Traces: The trace of a product AB is independent of the order of A and B:

\( \mathrm{tr}(\mathbf{AB}) = \mathrm{tr}(\mathbf{BA}) \)

Square matrices only

Main article: square matrix

Identity element: If A is a square matrix, then

\( \mathbf{AI} = \mathbf{IA} = \mathbf{A} \)

where I is the identity matrix of the same order.

Inverse matrix: If A is a square matrix, there may be an inverse matrix A^{−1} of A such that

\( \mathbf{A}\mathbf{A}^{-1} = \mathbf{A}^{-1}\mathbf{A} = \mathbf{I} \)

If this property holds then A is an invertible matrix, if not A is a singular matrix.

Determinants: The determinant of a product AB is the product of the determinants of A and B:

\( \det(\mathbf{AB}) = \det(\mathbf{A})\det(\mathbf{B}) \)

While the products of matrices AB and BA themselves do not always commute, the determinants of the products always do since they are numbers.

Linear transformations

Main article: Linear transformations

Matrices offer a concise way of representing linear transformations between vector spaces, and matrix multiplication corresponds to the composition of linear transformations. The matrix product of two matrices can be defined when their entries belong to the same ring, and hence can be added and multiplied.

Let U, V, and W be vector spaces over the same field with given bases, S: V → W and T: U → V be linear transformations and ST: U → W be their composition.

Suppose that A, B, and C are the matrices representing the transformations T, S, and ST with respect to the given bases.

Then AB = C, that is, the matrix of the composition (or the product) of linear transformations is the product of their matrices with respect to the given bases.

Matrix product (any number)

Chain multiplication

Main article: Matrix chain multiplication

Matrix multiplication can be extended to the case of more than two matrices, provided that for each sequential pair, their dimensions match.

General definition

The product of *N* matrices **A**_{1}, **A**_{2}, ..., **A**_{N} with sizes *n*_{0}×*n*_{1}, *n*_{1}×*n*_{2}, ..., *n*_{N − 1}×*n*_{N}, is the *n*_{0}×*n*_{N} matrix:

\( \prod_{i=1}^N \mathbf{A}_i = \mathbf{A}_1\mathbf{A}_2\cdots\mathbf{A}_N \)

The same properties will hold, as long as the ordering of matrices is not changed.

Examples

If A, B, C, and D are respectively m×p, p×q, q×r, and r×n matrices, then there are 5 ways of grouping them without changing their order, and

\( \mathbf{ABCD} = ((\mathbf{AB})\mathbf{C})\mathbf{D}=(\mathbf{A}(\mathbf{BC}))\mathbf{D}=\mathbf{A}((\mathbf{BC})\mathbf{D})=\mathbf{A}(\mathbf{B}(\mathbf{CD}))=(\mathbf{AB})(\mathbf{CD}) \)

is an m×n matrix.

Powers of matrices

Square matrices can be multiplied by themselves repeatedly in the same way as ordinary numbers, because they always have the same number of rows and columns. This repeated multiplication can be described as a power of the matrix, a special case of the ordinary matrix product. On the contrary - rectangular matrices do not have the same number of rows and columns so they can never be raised to a power. For an n×n matrix A rasied a positive integer k it's defined as

\( \mathbf{A}^k = \underset{k \mathrm{\, times}}{\mathbf{A}\mathbf{A}\cdots\mathbf{A}}\)

and the following identities hold, where λ is a scalar:

Zero power

\( \mathbf{A}^0 = \mathbf{I}\)

where I is the identity matrix. This is parallel to the zeroth power of any number which equals unity.

Scalar multiplication

\( ( \lambda \mathbf{A} )^k = \lambda^k\mathbf{A}^k\)

Determinant

\( \det(\mathbf{A}^k) = \det(\mathbf{A})^k \)

The naive computation of matrix powers is to multiply k times the matrix A to the result, starting with the identity matrix just like the scalar case. This can be improved using the binary representation of k, a method commonly used for scalars. An even better method is to use the eigenvalue decomposition of A.

Calculating high powers of matrices can be very time-consuming, but the complexity of the calculation can be dramatically decreased by using the Cayley–Hamilton theorem, which takes advantage of an identity found using the matrices' characteristic polynomial and gives a more effective equation for A^{k}, which instead raises a scalar to the required power, rather than an entire matrix.

Powers of diagonal matrices

A special case is the power of a diagonal matrix A.

Since the product of diagonal matrices amounts to simply multiplying corresponding diagonal elements together, the power k of a diagonal matrix A will have entries raised to the power. Explicitly;

\( \mathbf{A}^k = \begin{pmatrix} A_{11} & 0 & \cdots & 0 \\ 0 & A_{22} & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & A_{nn} \end{pmatrix}^k = \begin{pmatrix} A_{11}^k & 0 & \cdots & 0 \\ 0 & A_{22}^k & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & A_{nn}^k \end{pmatrix} \)

meaning its easy to raise a diagonal matrix to a power. When raising an arbitrary matrix (not necessarily a diagonal matrix) to a power, it is often helpful to exploit this property by diagonalizing the matrix first.

The inner and outer products

Given two column vectors a and b, the Euclidean inner product and outer product are the simplest special cases of the matrix product, by transposing the column vectors into row vectors.[5]

The inner product

is a column vector multiplied on the left by a row vector:

\( \mathbf{a}\cdot \mathbf{b} = \mathbf{a}^\mathrm{T}\mathbf{b}\)

More explicitly,

\( \mathbf{a}\cdot \mathbf{b} = \begin{pmatrix}a_1 & a_2 & \cdots & a_n\end{pmatrix} \begin{pmatrix}b_1 \\ b_2 \\ \vdots \\ b_n\end{pmatrix} = a_1b_1+a_2b_2+\cdots+a_nb_n = \sum_{i=1}^n a_ib_i \)

The outer product

is a row vector multiplied on the left by a column vector:

\( \mathbf{a}\otimes \mathbf{b} = \mathbf{a}\mathbf{b}^\mathrm{T}\)

where

\( \mathbf{a}\mathbf{b}^\mathrm{T} = \begin{pmatrix}a_1 \\ a_2 \\ \vdots \\ a_n\end{pmatrix} \begin{pmatrix}b_1 & b_2 & \cdots & b_n\end{pmatrix} = \begin{pmatrix} a_1 b_1 & a_1 b_2 & \cdots & a_1 b_n \\ a_2 b_1 & a_2 b_2 & \cdots & a_2 b_n \\ \vdots & \vdots & \ddots & \vdots \\ a_n b_1 & a_n b_2 & \cdots & a_n b_n \\ \end{pmatrix}. \)

Matrix product (in terms of inner product)

Suppose that the first n×m matrix A is decomposed into its row vectors ai, and the second m×p matrix B into its column vectors bi: [6]

\( \mathbf{A} = \begin{pmatrix} A_{1 1} & A_{1 2} & \cdots & A_{1 m} \\ A_{2 1} & A_{2 2} & \cdots & A_{2 m} \\ \vdots & \vdots & \ddots & \vdots \\ A_{n 1} & A_{n 2} & \cdots & A_{n m} \end{pmatrix} = \begin{pmatrix} \mathbf{a}_1 \\ \mathbf{a}_2 \\ \vdots \\ \mathbf{a}_n \end{pmatrix},\quad \mathbf{B} = \begin{pmatrix} B_{1 1} & B_{1 2} & \cdots & B_{1 p} \\ B_{2 1} & B_{2 2} & \cdots & B_{2 p} \\ \vdots & \vdots & \ddots & \vdots \\ B_{m 1} & B_{m 2} & \cdots & B_{m p} \end{pmatrix} = \begin{pmatrix} \mathbf{b}_1 & \mathbf{b}_2 & \cdots & \mathbf{b}_p \end{pmatrix} \)

where

\( \mathbf{a}_i = \begin{pmatrix}A_{i1} & A_{i2} & \cdots & A_{im} \end{pmatrix},\quad \mathbf{b}_i = \begin{pmatrix}B_{1i} & B_{2i} & \cdots & B_{mi}\end{pmatrix}^\mathrm{T} \)

The entries in the introduction were given by:

\( \mathbf{AB} = \begin{pmatrix} \mathbf{a}_1 \\ \mathbf{a}_2 \\ \vdots \\ \mathbf{a}_n \end{pmatrix} \begin{pmatrix} \mathbf{b}_1 & \mathbf{b}_2 & \dots & \mathbf{b}_p \end{pmatrix} = \begin{pmatrix} (\mathbf{a}_1 \cdot \mathbf{b}_1) & (\mathbf{a}_1 \cdot \mathbf{b}_2) & \dots & (\mathbf{a}_1 \cdot \mathbf{b}_p) \\ (\mathbf{a}_2 \cdot \mathbf{b}_1) & (\mathbf{a}_2 \cdot \mathbf{b}_2) & \dots & (\mathbf{a}_2 \cdot \mathbf{b}_p) \\ \vdots & \vdots & \ddots & \vdots \\ (\mathbf{a}_n \cdot \mathbf{b}_1) & (\mathbf{a}_n \cdot \mathbf{b}_2) & \dots & (\mathbf{a}_n \cdot \mathbf{b}_p) \end{pmatrix} \)

It is also possible to express a matrix product in terms of concatenations of products of matrices and row or column vectors:

\( \mathbf{AB} = \begin{pmatrix} \mathbf{a}_1 \\ \mathbf{a}_2 \\ \vdots \\ \mathbf{a}_n \end{pmatrix} \begin{pmatrix} \mathbf{b}_1 & \mathbf{b}_2 & \dots & \mathbf{b}_p \end{pmatrix} = \begin{pmatrix} \mathbf{A}\mathbf{b}_1 & \mathbf{A}\mathbf{b}_2 & \dots & \mathbf{A}\mathbf{b}_p \end{pmatrix} = \begin{pmatrix} \mathbf{a}_1\mathbf{B} \\ \mathbf{a}_2\mathbf{B}\\ \vdots\\ \mathbf{a}_n\mathbf{B} \end{pmatrix} \)

These decompositions are particularly useful for matrices that are envisioned as concatenations of particular types of row vectors or column vectors, e.g. orthogonal matrices (whose rows and columns are unit vectors orthogonal to each other) and Markov matrices (whose rows or columns sum to 1).

Matrix product (in terms of outer product)

An alternative method results when the decomposition is done the other way around, i.e. the first matrix A is decomposed into column vectors \mathbf{\bar a}_i and the second matrix B into row vectors \( \mathbf{\bar b}_i \):

\( \mathbf{AB} = \begin{pmatrix} \mathbf{\bar a}_1 & \mathbf{\bar a}_2 & \cdots & \mathbf{\bar a}_m \end{pmatrix} \begin{pmatrix} \mathbf{\bar b}_1 \\ \mathbf{\bar b}_2 \\ \vdots \\ \mathbf{\bar b}_m \end{pmatrix} = \mathbf{\bar a}_1 \otimes \mathbf{\bar b}_1 + \mathbf{\bar a}_2 \otimes \mathbf{\bar b}_2 + \cdots + \mathbf{\bar a}_m \otimes \mathbf{\bar b}_m = \sum_{i=1}^m \mathbf{\bar a}_i \otimes \mathbf{\bar b}_i \)

where this time

\( \mathbf{\bar a}_i = \begin{pmatrix}A_{1i} & A_{2i} & \cdots & A_{ni} \end{pmatrix}^\mathrm{T},\quad \mathbf{\bar b}_i = \begin{pmatrix}B_{i1} & B_{i2} & \cdots & B_{ip}\end{pmatrix}\)

This method emphasizes the effect of individual column/row pairs on the result, which is a useful point of view with e.g. covariance matrices, where each such pair corresponds to the effect of a single sample point.

Examples

Suppose

\( \mathbf{A} = \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \\ \end{pmatrix},\quad \mathbf{B}=\begin{pmatrix} a & d \\ b & e \\ c & f \\ \end{pmatrix} \)

using the inner product approach:

\( \begin{pmatrix} {\color{BrickRed}1} & {\color{BurntOrange}2} & {\color{Violet}3} \\ {\color{BrickRed}4} & {\color{BurntOrange}5} & {\color{Violet}6} \\ {\color{BrickRed}7} & {\color{BurntOrange}8} & {\color{Violet}9} \\ \end{pmatrix} \begin{pmatrix} {\color{BrickRed}a} & {\color{BrickRed}d} \\ {\color{BurntOrange}b} & {\color{BurntOrange}e} \\ {\color{Violet}c} & {\color{Violet}f} \\ \end{pmatrix} = \begin{pmatrix} {\color{BrickRed}1a} + {\color{BurntOrange}2b} + {\color{Violet}3c} & {\color{BrickRed}1d} + {\color{BurntOrange}2e} + {\color{Violet}3f} \\ {\color{BrickRed}4a} + {\color{BurntOrange}5b} + {\color{Violet}6c} & {\color{BrickRed}4d} + {\color{BurntOrange}5e} + {\color{Violet}6f} \\ {\color{BrickRed}7a} + {\color{BurntOrange}8b} + {\color{Violet}9c} & {\color{BrickRed}7d} + {\color{BurntOrange}8e} + {\color{Violet}9f} \\ \end{pmatrix} \)

while the outer product approach gives:

\( \begin{pmatrix} {\color{BrickRed}1} & {\color{BurntOrange}2} & {\color{Violet}3} \\ {\color{BrickRed}4} & {\color{BurntOrange}5} & {\color{Violet}6} \\ {\color{BrickRed}7} & {\color{BurntOrange}8} & {\color{Violet}9} \\ \end{pmatrix} \begin{pmatrix} {\color{BrickRed}a} & {\color{BrickRed}d} \\ {\color{BurntOrange}b} & {\color{BurntOrange}e} \\ {\color{Violet}c} & {\color{Violet}f} \\ \end{pmatrix} = \begin{pmatrix} {\color{BrickRed}1a} & {\color{BrickRed}1d} \\ {\color{BrickRed}4a} & {\color{BrickRed}4d} \\ {\color{BrickRed}7a} & {\color{BrickRed}7d} \\ \end{pmatrix}+ \begin{pmatrix} {\color{BurntOrange}2b} & {\color{BurntOrange}2e} \\ {\color{BurntOrange}5b} & {\color{BurntOrange}5e} \\ {\color{BurntOrange}8b} & {\color{BurntOrange}8e} \\ \end{pmatrix}+ \begin{pmatrix} {\color{Violet}3c} & {\color{Violet}3f} \\ {\color{Violet}6c} & {\color{Violet}6f} \\ {\color{Violet}9c} & {\color{Violet}9f} \\ \end{pmatrix} \)

Algorithms for efficient matrix multiplication

Unsolved problems in computer science What is the fastest algorithm for matrix multiplication?

The running time of square matrix multiplication, if carried out naïvely, is \( O( n^3 ) \). The running time for multiplying rectangular matrices (one m×p-matrix with one p×n-matrix) is O(mnp), however, more efficient algorithms exist, such as Strassen's algorithm, devised by Volker Strassen in 1969 and often referred to as "fast matrix multiplication". It is based on a way of multiplying two 2×2-matrices which requires only 7 multiplications (instead of the usual 8), at the expense of several additional addition and subtraction operations. Applying this recursively gives an algorithm with a multiplicative cost of \( O( n^{\log_{2}7}) \approx O(n^{2.807}) \). Strassen's algorithm is more complex compared to the naïve algorithm, and it lacks numerical stability. Nevertheless, it appears in several libraries, such as BLAS, where it is significantly more efficient for matrices with dimensions n > 100,[7] and is very useful for large matrices over exact domains such as finite fields, where numerical stability is not an issue.

The current \( O( n^k ) \) algorithm with the lowest known exponent k is a generalization of the Coppersmith–Winograd algorithm that has an asymptotic complexity of O(n^{2.3727}) due to Vassilevska Williams.[8] This algorithm, and the Coppersmith-Winograd algorithm on which it is based, are similar to Strassen's algorithm: a way is devised for multiplying two k×k-matrices with fewer than k3 multiplications, and this technique is applied recursively. However, the constant coefficient hidden by the Big O notation is so large that these algorithms are only worthwhile for matrices that are too large to handle on present-day computers.[9]

Since any algorithm for multiplying two n×n-matrices has to process all 2×n2-entries, there is an asymptotic lower bound of \Omega (n^2) operations. Raz (2002) proves a lower bound of \( \Omega(n^2 \log n) \) for bounded coefficient arithmetic circuits over the real or complex numbers.

Cohn et al. (2003, 2005) put methods such as the Strassen and Coppersmith–Winograd algorithms in an entirely different group-theoretic context, by utilising triples of subsets of finite groups which satisfy a disjointness property called the triple product property (TPP). They show that if families of wreath products of Abelian groups with symmetric groups realise families of subset triples with a simultaneous version of the TPP, then there are matrix multiplication algorithms with essentially quadratic complexity. Most researchers believe that this is indeed the case[10] – a lengthy attempt at proving this was undertaken by the late Jim Eve.[11] However, Alon, Shpilka and Umans have recently shown that some of these conjectures implying fast matrix multiplication are incompatible with another plausible conjecture, the sunflower conjecture.[12]

Because of the nature of matrix operations and the layout of matrices in memory, it is typically possible to gain substantial performance gains through use of parallelization and vectorization. It should therefore be noted that some lower time-complexity algorithms on paper may have indirect time complexity costs on real machines.

Other forms of multiplication

There are other ways to multiply two matrices, in fact simpler than the definition above.

Hadamard product

Main article: Hadamard product (matrices)

For two matrices of the same dimensions, there is the Hadamard product, also known as the entrywise product and the Schur product.[13] For two matrices A and B of the same dimensions, the Hadamard product A ○ B is a matrix of the same dimensions, which has elements

\( (A \circ B)_{ij} = (A)_{ij}(B)_{ij}\)

explicitly:

\( \mathbf{A} \circ \mathbf{B} = \begin{pmatrix} A_{11} & A_{12} & \cdots & A_{1m} \\ A_{21} & A_{22} & \cdots & A_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ A_{n1} & A_{n2} & \cdots & A_{nm} \\ \end{pmatrix}\circ\begin{pmatrix} B_{11} & B_{12} & \cdots & B_{1m} \\ B_{21} & B_{22} & \cdots & B_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ B_{n1} & B_{n2} & \cdots & B_{nm} \\ \end{pmatrix} =\begin{pmatrix} A_{11}B_{11} & A_{12}B_{12} & \cdots & A_{1m}B_{1m} \\ A_{21}B_{21} & A_{22}B_{22} & \cdots & A_{2m}B_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ A_{n1}B_{n1} & A_{n2}B_{n2} & \cdots & A_{nm}B_{nm} \\ \end{pmatrix}\)

Due to the characteristic entrywise procedure, this operation is identical to many multiplying ordinary numbers (mn of them) all at once - hence the Hadamard product is commutative, associative and distributive over addition, and is a principal submatrix of the Kronecker product. It appears in lossy compression algorithms such as JPEG.

The Frobenius inner product, sometimes denoted A : B is the component-wise inner product of two matrices as though they are vectors, alse the sum of the entries of the Hadamard product. Explicitly,

\( \mathbf{A}:\mathbf{B}=\sum_i\sum_j A_{ij} B_{ij} = \mathrm{tr}(\mathbf{A}^\mathrm{T} \mathbf{B}) = \mathrm{tr}(\mathbf{A} \mathbf{B}^\mathrm{T}).\)

where "tr" denotes the trace of a matrix. This inner product induces the Frobenius norm.

Kronecker product

Main article: Kronecker product

For two matrices A and B of any different dimensions m×n and p×q respectively (no contraints on the dimensions of each matrix), the Kronecker product denoted A ⊗ B is a matrix with dimensions mp×nq, which has elements

\( (A \otimes B)_{ij} = (A)_{ij}\mathbf{B} \)\)

explicitly:

\( \mathbf{A} \otimes \mathbf{B} = \begin{pmatrix} A_{11}\mathbf{B} & A_{12}\mathbf{B} & \cdots & A_{1n}\mathbf{B} \\ A_{21}\mathbf{B} & A_{22}\mathbf{B} & \cdots & A_{2n}\mathbf{B} \\ \vdots & \vdots & \ddots & \vdots \\ A_{m1}\mathbf{B} & A_{m2}\mathbf{B} & \cdots & A_{mn}\mathbf{B} \\ \end{pmatrix}\)

This is the application of the more general tensor product applied to matrices.

See also

Matrix addition

Matrix inversion

Logical matrix

Composition of relations

Cracovian

Strassen algorithm

Coppersmith–Winograd algorithm

Basic Linear Algebra Subprograms

Notes

^ Encyclopaedia of Physics (2nd Edition), R.G. Lerner, G.L. Trigg, VHC publishers, 1991, ISBN (Verlagsgesellschaft) 3-527-26954-1, ISBN (VHC Inc.) 0-89573-752-3

^ McGraw Hill Encyclopaedia of Physics (2nd Edition), C.B. Parker, 1994, ISBN 0-07-051400-3

^ Linear Algebra (4th Edition), S. Lipcshutz, M. Lipson, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-154352-1

^ Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3

^ Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3

^ Encyclopaedia of Physics (2nd Edition), R.G. Lerner, G.L. Trigg, VHC publishers, 1991, ISBN (Verlagsgesellschaft) 3-527-26954-1, ISBN (VHC Inc.) 0-89573-752-3

^ Press 2007, p. 108.

^ Virginia Vassilevska Williams. "Breaking the Coppersmith-Winograd barrier". The original algorithm was presented by Don Coppersmith and Shmuel Winograd in 1990, has an asymptotic complexity of O(n2.376).

^ Robinson, Sara (2005), "Toward an Optimal Algorithm for Matrix Multiplication", SIAM News 38 (9)

^ Robinson, 2005.

^ Eve, 2009.

^ Alon, Shpilka, Umans, On Sunflowers and Matrix Multiplication

^ (Horn & Johnson 1985, Ch. 5)

References

Henry Cohn, Robert Kleinberg, Balazs Szegedy, and Chris Umans. Group-theoretic Algorithms for Matrix Multiplication. arXiv:math.GR/0511460. Proceedings of the 46th Annual Symposium on Foundations of Computer Science, 23–25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp. 379–388.

Henry Cohn, Chris Umans. A Group-theoretic Approach to Fast Matrix Multiplication. arXiv:math.GR/0307321. Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science, 11–14 October 2003, Cambridge, MA, IEEE Computer Society, pp. 438–449.

Coppersmith, D., Winograd S., Matrix multiplication via arithmetic progressions, J. Symbolic Comput. 9, p. 251-280, 1990.

Eve, James. On O(n^2 log n) algorithms for n x n matrix operations. Technical Report No. 1169, School of Computing Science, University of Newcastle upon Tyne, August 2009. PDF

Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, ISBN 978-0-521-38632-6

Horn, Roger A.; Johnson, Charles R. (1991), Topics in Matrix Analysis, Cambridge University Press, ISBN 978-0-521-46713-1

Knuth, D.E., The Art of Computer Programming Volume 2: Seminumerical Algorithms. Addison-Wesley Professional; 3 edition (November 14, 1997). ISBN 978-0-201-89684-8. pp. 501.

Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T. (2007), Numerical Recipes: The Art of Scientific Computing (3rd ed.), Cambridge University Press, ISBN 978-0-521-88068-8.

Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. doi:10.1145/509907.509932.

Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF

Strassen, Volker, Gaussian Elimination is not Optimal, Numer. Math. 13, p. 354-356, 1969.

Styan, George P. H. (1973), "Hadamard Products and Multivariate Statistical Analysis", Linear Algebra and its Applications 6: 217–240, doi:10.1016/0024-3795(73)90023-2

Vassilevska Williams, Virginia, Breaking the Coppersmith-Winograd barrier, Manuscript, November 2011. PDF

External links

The Wikibook The Book of Mathematical Proofs has a page on the topic of

Proofs of properties of matrices

The Wikibook Linear Algebra has a page on the topic of

Matrix multiplication

The Wikibook Applicable Mathematics has a page on the topic of

Multiplying Matrices

The Simultaneous Triple Product Property and Group-theoretic Results for the Exponent of Matrix Multiplication

WIMS Online Matrix Multiplier

Matrix Multiplication Problems

Block Matrix Multiplication Problems

Matrix Multiplication in C

Wijesuriya, Viraj B., Daniweb: Sample Code for Matrix Multiplication using MPI Parallel Programming Approach, retrieved 2010-12-29

Linear algebra: matrix operations Multiply or add matrices of a type and with coefficients you choose and see how the result was computed.

Visual Matrix Multiplication An interactive app for learning matrix multiplication.

Online Matrix Calculator

Matrix Multiplication in Java – Dr. P. Viry

Retrieved from "http://en.wikipedia.org/"

All text is available under the terms of the GNU Free Documentation License