Hadamard product (matrices)

The Hadamard product operates on identically-shaped matrices and produces a third matrix of the same dimensions.

In mathematics, the Hadamard product (also known as the Schur product^[1] or the entrywise product^[2]) is a binary operation that takes two matrices of the same dimensions, and produces another matrix where each element ij is the product of elements ij of the original two matrices. It should not be confused with the more common matrix product. It is attributed to, and named after, either French mathematician Jacques Hadamard, or German mathematician Issai Schur.

The Hadamard product is associative and distributive, and unlike the matrix product it is also commutative.

Definition

For two matrices, $A, B$, of the same dimension, $m \times n$ the Hadamard product, $A \circ B$, is a matrix, of the same dimension as the operands, with elements given by

$(A \circ B)_{i,j} = (A)_{i,j} \cdot (B)_{i,j}$.

For matrices of different dimensions ($m \times n$ and $p \times q$, where $m \not= p$ or $n \not= q$ or both) the Hadamard product is undefined.

Example

For example, the Hadamard product for a 3×3 matrix A with a 3×3 matrix B is:

$\left(\begin{array}{ccc} \mathrm{a}_{11} & \mathrm{a}_{12} & \mathrm{a}_{13}\\ \mathrm{a}_{21} & \mathrm{a}_{22} & \mathrm{a}_{23}\\ \mathrm{a}_{31} & \mathrm{a}_{32} & \mathrm{a}_{33} \end{array}\right) \circ \left(\begin{array}{ccc} \mathrm{b}_{11} & \mathrm{b}_{12} & \mathrm{b}_{13}\\ \mathrm{b}_{21} & \mathrm{b}_{22} & \mathrm{b}_{23}\\ \mathrm{b}_{31} & \mathrm{b}_{32} & \mathrm{b}_{33} \end{array}\right) = \left(\begin{array}{ccc} \mathrm{a}_{11}\, \mathrm{b}_{11} & \mathrm{a}_{12}\, \mathrm{b}_{12} & \mathrm{a}_{13}\, \mathrm{b}_{13}\\ \mathrm{a}_{21}\, \mathrm{b}_{21} & \mathrm{a}_{22}\, \mathrm{b}_{22} & \mathrm{a}_{23}\, \mathrm{b}_{23}\\ \mathrm{a}_{31}\, \mathrm{b}_{31} & \mathrm{a}_{32}\, \mathrm{b}_{32} & \mathrm{a}_{33}\, \mathrm{b}_{33} \end{array}\right)$

Properties

The Hadamard product is commutative, associative and distributive over addition. That is,

$\begin{align} A \circ B &= B \circ A, \\ A \circ (B \circ C) &= (A \circ B) \circ C, \\ A \circ (B + C) &= A \circ B + A \circ C. \end{align}$

The identity matrix under Hadamard multiplication of two m-by-n matrices is m-by-n matrix where all elements are equal to 1. This is different from the identity matrix under regular matrix multiplication, where only the elements of the main diagonal are equal to 1. Furthermore, a matrix has an inverse under Hadamard multiplication if and only if none of the elements are equal to zero.^[3]

For vectors $x$ and $y$, and corresponding diagonal matrices $D_x$ and $D_y$ with these vectors as their leading diagonals, the following identity holds:^[4]

$x^*(A \circ B)y = \mathrm{tr}\left(D_x^* A D_y B^T\right)$,

where $x^*$ denotes the conjugate transpose of $x$. In particular, using vectors of ones, this shows that the sum of all elements in the Hadamard product is the trace of $AB^T$. A related result for square $A$ and $B$, is that the row-sums of their Hadamard product are the diagonal elements of $AB^T$:^[5]

$\sum_j (A \circ B)_{i,j} = \left(AB^T\right)_{i,i}.$

The Hadamard product is a principal submatrix of the Kronecker product.

The Hadamard product satisfies the rank inequality

$\operatorname{rank}(A \circ B )\leq \operatorname{rank}(A) \operatorname{rank}(B)$

Schur product theorem

The Hadamard product of two positive-semidefinite matrices is positive-semidefinite.^[5] This is known as the Schur product theorem,^[3] after German mathematician Issai Schur. For positive-semidefinite matrices A and B, it is also known that

$\det(A \circ B) \ge \det(A) \det(B). \,$^[5]

In programming languages

Hadamard multiplication is built into certain programming languages under various names. In MATLAB, GNU Octave and GAUSS, it is known as array multiplication, with the symbol .*.^[6] In Fortran, R,^[7] J and Wolfram Language (Mathematica), it is done through simple multiplication operator *, whereas the matrix product is done through the function matmul, %*%, +/ .* and the . operators, respectively. In Python with the numpy numerical library or the sympy symbolic library, multiplication of array objects as a1*a2 produces the Hadamard product, but with otherwise matrix objects m1*m2 will produce a matrix product. The Eigen C++ library provides a cwiseProduct member function for the Matrix class (a.cwiseProduct(b)), while the Armadillo library use the operator % to make compact expressions (a % b; a * b is a matrix product).

Applications

The Hadamard product appears in lossy compression algorithms such as JPEG. The decoding step involves an entry-for-entry product, i.e., Hadamard product.

Analogous operations

Other Hadamard reactions are also seen in the mathematical literature,^[8] namely the Hadamard Root and Hadamard Power (which are in effect the same thing because of fractional indices), defined for a matrix such that:

For

$\begin{align} B &= A^{\circ 2} \\ B_{ij} &= A^2_{ij} \end{align}$

And for

$\begin{align} B &= A^{\circ \frac{1}{2}} \\ B_{ij} &= A^\frac{1}{2}_{ij} \end{align}$

See also

• Pointwise product

References

1. Davis, Chandler. "The norm of the Schur product operation." Numerische Mathematik 4.1 (1962): 343-344.
2. (Horn & Johnson 1985, Ch. 5)
3. Million, Elizabeth. "The Hadamard Product" (PDF). Retrieved 2 January 2012.
4. (Horn & Johnson 1991)
5. (Styan 1973)
6. "Arithmetic Operators + - * / \ ^ ' -". MATLAB documentation. MathWorks. Retrieved 2 January 2012.
7. "Matrix multiplication". An Introduction to R. The R Project for Statistical Computing. 16 May 2013. Retrieved 24 August 2013.
8. Reams, Robert (1999). "Hadamard inverses, square roots and products of almost semidefinite matrices". Linear Algebra and its Applications 288: 35–43. doi:10.1016/s0024-3795(98)10162-3.