Almost Commutative Kronecker Product

Introduction

Tensor product and Kronecker product are very important in quantum mechanics. It also have practical physical meanings for quantum processes. One of the interesting properties of Kronecker product is that it is “almost commutative”.

In this blog post, I would like to informally discuss the “almost commutative” property for Kronecker product.

Outer Product

Given two vectors $u=\{u_0,u_1,\cdots ,u_{m-1}\}$ and $v=\{v_0,v_1,\cdots ,v_{n-1}\}$, the outer product of $u$ and $v$, denoted as $u\otimes v$, is defined as

$$\begin{array}{rl}u\otimes v& =\left[\begin{array}{cccc}{u}_0{v}_0& u_0{v}_1& \cdots & u_0{v}_{n-1}\\ u_1{v}_0& u_1{v}_1& \cdots & u_1{v}_{n-1}\\ ⋮& ⋮& \ddots & ⋮\\ u_{m-1}{v}_0& u_{m-1}{v}_1& \cdots & u_{m-1}{v}_{n-1}\end{array}\right]\end{array}$$

Using index notation,

$$(u\otimes v{)}_{i,j}=u_i{v}_j$$

If $u$ and $v$ are column vectors, i.e., $u=[u_0,u_1,\cdots ,u_{m-1}{]}^{\mathrm{\top }}$ and $v=[v_0,v_1,\cdots ,v_{n-1}{]}^{\mathrm{\top }}$, the outer product could also be simply expressed using matrix multiplication.

$$\begin{array}{rl}u\otimes v& =u{v}^{†}\end{array}$$

The mapping of outer product could be described as

$$\otimes :{\mathbb{C}}^m\times {\mathbb{C}}^n\to {\mathbb{C}}^{m\times n}$$

Tensor Product

Tensor product is essentially an general case of one dimensional array outer product. It is the outer product of two tensors, namely multidimensional tensors, that could have different dimensionality.

If $A$ is a $k$ dimensional tensor, $A\in {\mathbb{C}}^{\prod _{i=0}^{k-1}{m}_i}$ and $B$ is a $k^{\prime }$ dimensional tensor, $B\in {\mathbb{C}}^{\prod _{i=0}^{k^{\prime }-1}{n}_i}$, the tensor product $A\otimes B$ is a $k+k^{\prime }$ dimensional tensor that would have shape $A\otimes B\in {\mathbb{C}}^{\prod _{i=0}^{k-1}{m}_i\prod _{i=0}^{k^{\prime }-1}{n}_i}$.

Kronecker Product

The outer product and Kronecker product are closely related. In fact the same symbol is commonly used to denote both operations.

If $u$ and $v$ are column vectors, i.e., $u=[u_0,u_1,\cdots ,u_{m-1}{]}^{\mathrm{\top }}$ and $v=[v_0,v_1,\cdots ,v_{n-1}{]}^{\mathrm{\top }}$, the Kronecker product could also be expressed as follows.

$$\begin{array}{rl}u{\otimes }_{\text{Kron}}v& =\left[\begin{array}{c}{u}_{0}v\\ u_{1}v\\ ⋮\\ u_{m-1}v\end{array}\right]\\ & =\left[\begin{array}{c}{u}_0{v}_0\\ u_0{v}_1\\ ⋮\\ u_0{v}_{n-1}\\ ⋮\\ u_{m-1}{v}_0\\ u_{m-1}{v}_1\\ ⋮\\ u_{m-1}{v}_{n-1}\end{array}\right]\end{array}$$

Note that there is an implicit dimensional reduction process in the above expression.

The mapping of outer product could be described as

$$\otimes :{\mathbb{C}}^{m\times 1}\times {\mathbb{C}}^{n\times 1}\to {\mathbb{C}}^{mn\times 1}$$

More concretely, let $A\in {\mathbb{C}}^{m\times m^{\prime }}$ and $B\in {\mathbb{C}}^{n\times n^{\prime }}$. Then the Kronecker product of $A$ and $B$ is defined as the matrix

$$\begin{array}{rl}A{\otimes }_{\text{Kron}}B& =\left[\begin{array}{cccc}{A}_{0,0}B& A_{0,1}B& \cdots & A_{0,m^{\prime }-1}B\\ A_{1,0}B& A_{1,1}B& \cdots & A_{1,m^{\prime }-1}B\\ ⋮& ⋮& \ddots & ⋮\\ A_{m-1,0}B& A_{m-1,1}B& \cdots & A_{m-1,m^{\prime }-1}B\end{array}\right]\end{array}$$

Almost Commutative

Kronecker product is not commutative, i.e., usually $A\otimes B\ne B\otimes A$. However, Kronecker product is almost commutative with some row and column exchanges in some dimensions. We define this as $A\otimes B\cong B\otimes A$.

Suppose we have $A\in {\mathbb{C}}^{m\times m^{\prime }}$ and $B\in {\mathbb{C}}^{n\times n^{\prime }}$, we have

$$\begin{array}{rl}& A\otimes B\\ & =\left[\begin{array}{cccc}{A}_{0,0}B& A_{0,1}B& \cdots & A_{0,m^{\prime }-1}B\\ A_{1,0}B& A_{1,1}B& \cdots & A_{1,m^{\prime }-1}B\\ ⋮& ⋮& \ddots & ⋮\\ A_{m-1,0}B& A_{m-1,1}B& \cdots & A_{m-1,m^{\prime }-1}B\end{array}\right]\\ & =\left[\begin{array}{cccc}{A}_{0,0}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& A_{0,1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& \cdots & A_{0,m^{\prime }-1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]\\ A_{1,0}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& A_{1,1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& \cdots & A_{1,m^{\prime }-1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]\\ ⋮& ⋮& \ddots & ⋮\\ A_{m-1,0}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& A_{m-1,1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]& \cdots & A_{m-1,m^{\prime }-1}\left[\begin{array}{cccc}{B}_{:,0}& B_{:,1}& \cdots & B_{:,n^{\prime }-1}\end{array}\right]\end{array}\right]\\ & =\left[\begin{array}{ccccccccccccc}\left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,n^{\prime }-1}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,n^{\prime }-1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\end{array}\right]\end{array}$$

We rearrange the columns of $A\otimes B$, we have

$$\begin{array}{rl}& A\otimes B\\ & =\left[\begin{array}{ccccccccccccc}\left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,n^{\prime }-1}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,n^{\prime }-1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\end{array}\right]\\ & \to \left[\begin{array}{ccccccccccccc}\left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,0}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,1}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{c}{A}_{0,0}\\ A_{1,0}\\ ⋮\\ A_{m-1,0}\end{array}\right]B_{:,n^{\prime }-1}& \left[\begin{array}{c}{A}_{0,1}\\ A_{1,1}\\ ⋮\\ A_{m-1,1}\end{array}\right]B_{:,n^{\prime }-1}& \cdots & \left[\begin{array}{c}{A}_{0,m^{\prime }-1}\\ A_{1,m^{\prime }-1}\\ ⋮\\ A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\end{array}\right]\\ & =\left[\begin{array}{cccc}\left[\begin{array}{cccc}{A}_{0,0}& A_{0,1}& \cdots & A_{0,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{cccc}{A}_{0,0}& A_{0,1}& \cdots & A_{0,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{cccc}{A}_{0,0}& A_{0,1}& \cdots & A_{0,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\\ \left[\begin{array}{cccc}{A}_{1,0}& A_{1,1}& \cdots & A_{1,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{cccc}{A}_{1,0}& A_{1,1}& \cdots & A_{1,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{cccc}{A}_{1,0}& A_{1,1}& \cdots & A_{1,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\\ ⋮& ⋮& \cdots & ⋮\\ \left[\begin{array}{cccc}{A}_{m-1,0}& A_{m-1,1}& \cdots & A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,0}& \left[\begin{array}{cccc}{A}_{m-1,0}& A_{m-1,1}& \cdots & A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,1}& \cdots & \left[\begin{array}{cccc}{A}_{m-1,0}& A_{m-1,1}& \cdots & A_{m-1,m^{\prime }-1}\end{array}\right]B_{:,n^{\prime }-1}\end{array}\right]\\ & =\left[\begin{array}{cccc}\left[\begin{array}{c}{B}_{0,0}\\ B_{1,0}\\ ⋮\\ B_{n-1,0}\end{array}\right]A_{0,:}& \left[\begin{array}{c}{B}_{0,1}\\ B_{1,1}\\ ⋮\\ B_{n-1,1}\end{array}\right]A_{0,:}& \cdots & \left[\begin{array}{c}{B}_{0,n^{\prime }}\\ B_{1,n^{\prime }}\\ ⋮\\ B_{n-1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{c}{B}_{0,0}\\ B_{1,0}\\ ⋮\\ B_{n-1,0}\end{array}\right]A_{1,:}& \left[\begin{array}{c}{B}_{0,1}\\ B_{1,1}\\ ⋮\\ B_{n-1,1}\end{array}\right]A_{1,:}& \cdots & \left[\begin{array}{c}{B}_{0,n^{\prime }}\\ B_{1,n^{\prime }}\\ ⋮\\ B_{n-1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮& ⋮& \cdots & ⋮\\ \left[\begin{array}{c}{B}_{0,0}\\ B_{1,0}\\ ⋮\\ B_{n-1,0}\end{array}\right]A_{m-1,:}& \left[\begin{array}{c}{B}_{0,1}\\ B_{1,1}\\ ⋮\\ B_{n-1,1}\end{array}\right]A_{m-1,:}& \cdots & \left[\begin{array}{c}{B}_{0,n^{\prime }}\\ B_{1,n^{\prime }}\\ ⋮\\ B_{n-1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\end{array}\right]\\ & =\left[\begin{array}{c}\left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{1,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\end{array}\right]\end{array}$$

We further rearrange the rows of $A\otimes B$, we have

$$\begin{array}{rl}A\otimes B& \to \left[\begin{array}{c}\left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{1,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\end{array}\right]\\ & \to \left[\begin{array}{c}\left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{0,0}& B_{0,1}& \cdots & B_{0,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{1,0}& B_{1,1}& \cdots & B_{1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{0,:}\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{1,:}\\ ⋮\\ \left[\begin{array}{cccc}{B}_{n-1,0}& B_{n-1,1}& \cdots & B_{n-1,n^{\prime }-1}\end{array}\right]A_{m-1,:}\end{array}\right]\\ & =\left[\begin{array}{cccc}{B}_{0,0}A& B_{0,1}A& \cdots & B_{0,n^{\prime }-1}A\\ B_{1,0}A& B_{1,1}A& \cdots & B_{1,n^{\prime }-1}A\\ ⋮& ⋮& \ddots & ⋮\\ B_{n-1,0}A& B_{n-1,1}A& \cdots & B_{n-1,n^{\prime }-1}A\end{array}\right]\\ & =B\otimes A\end{array}$$

Therefore,

$$A\otimes B\cong B\otimes A$$

This means, there exist permutation matrices $P$ and $Q$ such that

$$A\otimes B=P(B\otimes A)Q$$

Miscellaneous

In Numpy, the tensor product could be computed using numpy.ufunc.outer, and the Kronecker product could be computed using numpy.kron.