Monotonicity, convexity and inequalities involving zero-balanced Gaussian hypergeometric function

1.   Introduction

In 1843, Hamilton extended the real number field $\mathbb{R}$ and the complex number field $\mathbb{C}$ to quaternions $\mathbb{Q}$. By now, quaternions and quaternion matrices have been widely used in many fields such as computer graphics, color image processing and signals ^[1,2,3]. Tensors, as multidimensional arrays of vectors and matrices, appear widely in applications such as chemometrics ^[4], image and signal processing ^[5,6,7,8]. For instance, Soto-Quiros ^[5] considered the inverse tensor problem for denoising data, which can be represented as a least-squares problem of a linear tensor equation of third-order. The author proposed a numerical method of estimating a least-squares solution to a complex tensor linear equation and used it for audio denoising and color image deconvolution. Based on t-product, Reichel et al. ^[6] also solved a penalized least-squares problem of a linear tensor equation of third-order by generalized Arnoldi-type and bidiagonalization solution methods. As applications, it is used on the color image and video restoration. Guide et al. ^[7] proposed a tensor iterative Krylov subspace method to solve large multi-linear tensor equations $\mathcal{M}(\mathcal{X}) = \mathcal{C}$, like $\mathcal{A}\mathcal{X} = \mathcal{C}$ and $\mathcal{A}\mathcal{X}\mathcal{B} = \mathcal{C}.$ While Jin et al. ^[9] developed an algorithm to compute the Moore-Penrose inverse of $p$-order tensor, and then it can deal with a linear $p$-order tensor equation problems. All those work are about the tensor over the real field. In ^[10,11], they considered the third-order tensor over the quaternions $\mathbb{Q}$. Qin et al. ^[10] proposed a numerical method to compute the singular value decomposition of $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$ and presented it to compress the color video. Inspired by ^[5,6,8], we realized that the third-order linear tensor equation problems over $\mathbb{Q}$ always exists when doing the color video deconvolution, color video denoising, color video reconstruction, and so on. Thus, we aim to solve the classic third-order quaternion tensor equation $\mathcal{A} \ast_{\mathbb{Q}} \mathcal{X} = \mathcal{B}$, especially the least-squares solutions and the minimum-norm least-squares solutions. Up to now, there are some numerical methods to solve the quaternion linear tensor equations, like ^[12,13]. In ^[13], Zhang et al. solved the generalized Sylvester quaternion $p$-order quaternion tensor equations by tensor form of GPBiCG algorithm. But an effective way to find the least-squares solution to the tensor equation $\mathcal{A} \ast_{\mathbb{Q}} \mathcal{X} = \mathcal{B}$ is to be developed. Thus, this paper will explore this problem in theoretical way.

2.   Preliminary results

The set of quaternions $\mathbb{Q}$ is a linear space over $\mathbb{R}$. An element $q$ of $\mathbb{Q}$ is of the form

Here i, j and k are three imaginary units with the following multiplication laws:

For a quaternion, the conjugate quaternion of $q$ is $q^\ast = a - b\textbf{i} - c\textbf{j} - d\textbf{k}$. The norm of $q$ is $\mid q \mid = \sqrt{qq^\ast} = \sqrt{a^2+b^2+c^2+d^2}$.

A third-order tensor $\mathcal{A} = (a_{i_1i_2i_3}), 1 \le i_j \le n_j, (j = 1, 2, 3)$ is a multidimensional array with $n_1n_2n_3$ entries. In this paper, we use the notations $a, \textbf{a}, A$ and $\mathcal{A}$ to denote the scalar, vector, matrix and third-order quaternion tensor, respectively. In ^[10], the horizontal, lateral and frontal slices of a third-order tensor are denoted by $\mathcal{A}(i, :, :), \mathcal{A}(:, i, :), \mathcal{A}(:, :, i)$, respectively, and for simplicity we denote the frontal slice of a third-order tensor by $A^{(i)} = \mathcal{A}(:, :, i)$. In the paper, we use $A^\ast$ to represent the conjugate transpose of matrix $A$. $\mathcal{O}$ represents zero tensor with all the entries being zero. $\mathcal{I}$ denotes the identity tensor, in which the first frontal slice is an identity matrix and the other slice matrices are zero. For a positive integer $n$, $[n]$ stands for $\{1, 2, \dots, n\}$. Let $\mathcal{A} \in \mathbb{C}^{n_1 \times n_2 \times n_3}$, the block circulant matrix $\textbf{circ}(\mathcal{A}) \in \mathbb{C}^{n_1n_3 \times n_2n_3}$ generated by a third-order tensor $\mathcal{A}$'s frontal slices $A^{(1)}, A^{(2)}, ..., A^{(n_3)}$ is defined as

see ^[7]. For the quaternion $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, the block circulant matrix $\textbf{circ}(\mathcal{A}) \in \mathbb{Q}^{n_1n_3 \times n_2n_3}$ can be defined in the same way.

The operations $\textbf{unfold}(\mathcal{A})$, $diag(\mathcal{A})$ are as follows:

The inverse operation of $\textbf{unfold}(\bullet)$, denoted as $\textbf{fold}(\bullet)$, turns a block tensor with the size of $n_1n_3 \times n_2$ into a tensor with the size of $n_1 \times n_2 \times n_3$, that is,

In ^[10], the authors defined the Qt-product of two third-order quaternion tensors.

Definition 1. (Qt-product) Let $\mathcal{A} \in \mathbb{Q}^{n_1\times n_2\times n_3}$ and $\mathcal{B} \in \mathbb{Q}^{n_2\times n_4\times n_3}$. Then Qt-product of $\mathcal{A}$ and $\mathcal{B}$ is defined /as

where $\mathcal{A} = \mathcal{A}_{\mathbf{1, i}} + \mathbf{j}\mathcal{A}_{\mathbf{j, k}}, \mathcal{A}_{\mathbf{1, i}}, \mathcal{A}_{\mathbf{j, k}} \in \mathbb{C}^{n_1\times n_2\times n_3}$.

The matrix $P_{n_3} = (P_{ij}) \in \mathbb{R}^{n_3 \times n_3 }$ is a permutation matrix where $P_{11} = P_{ij} = 1$ if $i + j = n_3 + 2, 2 \le i, j \le n_3; P_{ij} = 0$, otherwise. The notation $'\otimes'$ means the Kronecker product.

Definition 2. (See ^[10]) The Discrete Fourier Transformation (DFT) of $\mathcal{A} \in \mathbb{Q}^{n_1\times n_2 \times n_3}$ along the third mode is denoted as tensor $\widehat{\mathcal{A}} \in \mathbb{Q}^{n_1\times n_2 \times n_3}$, where $\widehat{\mathcal{A}}(i, j, :) = \sqrt{n_3} F_{n_3} \mathcal{A}(i, j, :)$, $i \in [n_1]$, $j \in [n_2]$ and $F_{n_3} \in \mathbb{C}^{n_3 \times n_3}$ is the normalized DFT matrix, with $F_{n_3}(i, j) = \frac{1}{\sqrt{n_3}} \omega^{(i-1)(j-1)}$, $i, j \in [n_3]$, $\omega = e^{- \frac{2\pi i}{n_3}}$.

By Definition 2, $\widehat{\mathcal{A}}$ satisfying

In the paper, denoting

with $\widehat{A}^{(1)}, \dots, \widehat{A}^{(n_3)}$ are defined by (2.2). Next, we introduce an important result that can turn third-order tensor problems into matrix problems.

Lemma 1. (See ^[10]) Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$ and $\mathcal{C} \in \mathbb{Q} ^{n_1 \times n_4 \times n_3}$, $\mathcal{A}, \mathcal{B}, \mathcal{C}$ after DFT to obtain $\widehat{\mathcal{A}}, \widehat{\mathcal{B}}, \widehat{\mathcal{C}}$, respectively. Then $\mathcal{C} = \mathcal{A} \ast_{\mathbb{Q}} \mathcal{B} \Longleftrightarrow diag(\widehat{\mathcal{C}}) = diag(\widehat{\mathcal{A}}) \cdot diag(\widehat{\mathcal{B}})$.

It follows from Lemma 1 that

The conjugate transpose $\mathcal{A}^\ast$ of third-order complex tensor $\mathcal{A} \in \mathbb{C}^{n_1 \times n_2 \times n_3}$ is defined as follows: first conjugately transpose each frontal slice of $\mathcal{A}$, and then reverse the order of conjugately transposed frontal slices $2$ through $n_3$, see ^[10]. For the third-order quaternion tensor $\mathcal{A} = \mathcal{A}_{\textbf{1, i}} + \textbf{j}\mathcal{A}_{\textbf{j, k}}, \mathcal{A}_{\textbf{1, i}}, \mathcal{A}_{\textbf{j, k}} \in \mathbb{C}^{n_1\times n_2\times n_3}$, $\mathcal{A}^\ast$ is defined in a more generalized way. ^[10] defined the third-order quaternion tensor $\mathcal{A}^\ast$ through $\textbf{unfold}(\mathcal{A}^\ast)$, which should satisfies

For example, for the third-order quaternion tensor $\mathcal{A}\in \mathbb{Q}^{n_1 \times n_2 \times 4}$, to get $\mathcal{A}^{\ast }\in \mathbb{Q}^{n_2 \times n_1 \times 4}$, we should first derive $\mathbf{unfold}(\mathcal{A}^{\ast })$ by (2.3):

thus, according to $\textbf{unfold}(\mathcal{A}^\ast)$, the first frontal slice of $\mathcal{A}^{\ast }$ is $\left(A_{1, i}^{(1)}\right) ^{\ast }-\left(A_{j, k}^{(1)}\right) ^{\ast }\mathbf{j},$ the second frontal slice of $\mathcal{A}^{\ast }$ is $\left(A_{1, i}^{(4)}\right) ^{\ast }-\left(A_{j, k}^{(2)}\right) ^{\ast }\mathbf{j},$ the third frontal slice of $\mathcal{A}^{\ast }$ is $\left(A_{1, i}^{(3)}\right) ^{\ast }-\left(A_{j, k}^{(3)}\right) ^{\ast }\mathbf{j},$ the fourth frontal slice of $\mathcal{A}^{\ast }$ is $\left(A_{1, i}^{(2)}\right) ^{\ast }-\left(A_{j, k}^{(4)}\right) ^{\ast }\mathbf{j}.$

From the definition of third-order quaternion tensor $\mathcal{A}^\ast$, we can see that it still satisfies

For the third-order quaternion tensor $\mathcal{A}\in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, it should be noted that the definition of $\mathcal{A}^\ast$ generalizes the definition of $\mathcal{A}^\ast$ when $\mathcal{A}$ is a third-order complex tensor.

If $\mathcal{U}^\ast \ast_\mathbb{Q} \mathcal{U} = \mathcal{U} \ast_\mathbb{Q} \mathcal{U}^\ast = \mathcal{I}_{nnl}$, then we call $\mathcal{U}$ the $n \times n \times l$ unitary tensor.

Next, we will show some properties for $\mathcal{A}^\ast.$

Proposition 1. Let $\mathcal{A} \in \mathbb{C}^{n_1 \times n_2 \times n_3}$, then $diag(\widehat{\mathcal{A}^\ast}) = (diag(\widehat{\mathcal{A}}))^\ast$.

Proof. According to (2.1), we can see that $\textbf{circ}(\mathcal{A}^\ast) = (\textbf{circ}(\mathcal{A}))^\ast$. From ^[14], each complex circulant block matrix can be diagonalized by the DFT matrix, i.e.,

where $\mathcal{A} \in \mathbb{C}^{n_1 \times n_2 \times n_3}$. By applying (2.4), we have

□ Here we show that Proposition 1 is also true over quaternion skew field.

Proposition 2. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, then $diag(\widehat{\mathcal{A}^\ast}) = (diag(\widehat{\mathcal{A}}))^\ast$.

Proof. Since $\widehat{\mathcal{A}^\ast}$ is the DFT of $\mathcal{A}^\ast$, $F_{n_3}F_{n_3} = P_{n_3}$ and $F_{n_3}\textbf{j} = \textbf{j}P_{n_3}F_{n_3}$, it follows from (2.2) and (2.3) that

which means

It is shown by ^[10] that $diag(\widehat{\mathcal{A}}) = diag(\widehat{\mathcal{A}_{1, \textbf{i}}}) + \textbf{j}(P_{n_3} \otimes I_{n_1}) diag(\widehat{\mathcal{A}_{\textbf{j}, \textbf{k}}})(P_{n_3} \otimes I_{n_2}) \in \mathbb{Q}^{n_1n_3 \times n_2n_3}$. The conjugate transpose of it is $(diag(\widehat{\mathcal{A}}))^\ast = (diag(\widehat{\mathcal{A}_{1, \textbf{i}}}))^\ast - (P_{n_3} \otimes I_{n_2}) (diag(\widehat{\mathcal{A}_{\textbf{j}, \textbf{k}}}))^\ast (P_{n_3} \otimes I_{n_1}) \textbf{j} \in \mathbb{Q}^{n_2n_3 \times n_1n_3}$. From Proposition 1 and Eq (2.5), we can get $diag(\widehat{\mathcal{A}^\ast}) = (diag(\widehat{\mathcal{A}}))^\ast.$ □

We correct two equations in ^[10] (page 3, line-4 and line-6) as follows:

It should be noted that, for ${\mathcal{A}} = {\mathcal{A}}_{1, \textbf{i}}+\textbf{j}{\mathcal{A}}_{\textbf{j}, \textbf{k}}, \widehat{\mathcal{A}} = \widehat{\mathcal{A}}_{1, \textbf{i}}+\textbf{j}\widehat{\mathcal{A}}_{\textbf{j}, \textbf{k}},$ the following equations still hold

And in general, $\widehat{\mathcal{A}}\neq \widehat{\mathcal{A}_{1, \textbf{i}}}+\textbf{j}\widehat{\mathcal{A}_{\textbf{j}, \textbf{k}}},$ or

Based on Qt-product, we can find that the multiplication operation between tensors obeys an excellent law, similar to matrix multiplication.

Proposition 3. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$, $\mathcal{C} \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$, and $\mathcal{D} \in \mathbb{Q}^{n_4 \times n_5 \times n_3}$. Then

(a) $(\mathcal{A}^\ast)^\ast = \mathcal{A};$

(b) $(\mathcal{B} + \mathcal{C})^\ast = \mathcal{B}^\ast + \mathcal{C}^\ast;$

(c) $(\mathcal{A} \ast_{\mathbb{Q}} \mathcal{B}) \ast_{\mathbb{Q}} \mathcal{D} = \mathcal{A} \ast_{\mathbb{Q}} (\mathcal{B} \ast_{\mathbb{Q}} \mathcal{D})$;

(d) $\mathcal{A} \ast_{\mathbb{Q}} (\mathcal{B} + \mathcal{C}) = \mathcal{A} \ast_{\mathbb{Q}} \mathcal{B} + \mathcal{A} \ast_{\mathbb{Q}} \mathcal{C};$

(e) $(\mathcal{B} + \mathcal{C}) \ast_\mathbb{Q} \mathcal{D} = \mathcal{B} \ast_{\mathbb{Q}} \mathcal{D} + \mathcal{C} \ast_{\mathbb{Q}} \mathcal{D}$;

(f) $(\mathcal{A} \ast_{\mathbb{Q}} \mathcal{B})^\ast = \mathcal{B}^\ast \ast_{\mathbb{Q}} \mathcal{A}^\ast.$

Proof. For the simplicity, we only prove (f). Denote $\mathcal{C} = \mathcal{A} \ast_{\mathbb{Q}} \mathcal{B}.$ By Proposition 2 and Lemma 1,

Moreover,

thus

which implies

□

The Frobenius norm of a quaternion tensor $\mathcal{A}$ is the sum of all norms of its entries, i.e.

For a tensor $\mathcal{A} = \mathcal{A}_{1, \textbf{i}} + \textbf{j}\mathcal{A}_{\textbf{j}, \textbf{k}}$, $\mathcal{A}_{1, \textbf{i}}, \mathcal{A}_{\textbf{j}, \textbf{k}} \in \mathbb{C}^{n_1 \times n_2 \times n_3}$, its Frobenius norm can also be expressed as

According to equality (2.2) and (2.6), it is easy to show that

3.   Generalized inverses

In this section, we will define some generalized inverses and explore their properties.

Definition 3. For an $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, if there exists a quaternion tensor $\mathcal{X} \in \mathbb{Q}^{n_2 \times n_1 \times n_3}$ satisfying:

then we call $\mathcal{X}$ the Moore-Penrose inverse of the tensor $\mathcal{A}$. Also, denote it as $\mathcal{A}^\dagger$.

In ^[10], based on the Qt-product between the two third-order quaternion tensors, the authors derived the SVD decomposition of $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$.

Lemma 2. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}.$ Then $\mathcal{A} = \mathcal{U} \ast_{\mathbb{Q}} \mathcal{S} \ast_{\mathbb{Q}} \mathcal{V}^\ast$ is the Qt-SVD of quaternion tensor $\mathcal{A}$, where

$e$ is an ${n_3}$-dimensional column vector with all elements being 1.

From Lemma 2, we can derive the SVD decomposition of $\mathcal{A}^\dagger$.

Theorem 1. Let the Qt-SVD of quaternion tensor $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$ be $\mathcal{A} = \mathcal{U} \ast_{\mathbb{Q}} \mathcal{S} \ast_{\mathbb{Q}} \mathcal{V}^\ast$. Then tensor $\mathcal{A}$ has a unique Moore-Penrose inverse

where

Proof. First of all, it can be verified that $\textbf{fold}(\frac{1}{\sqrt{n_3}} (F^\ast_{n_3} \otimes I_{n_2}) (diag(\widehat{\mathcal{S}}))^\dagger (e \otimes I_{n_1}))$ is the Moore-Penrose inverse of $\mathcal{S}$ by substituting it into the four equations in Definition 3. Then, obviously, $\mathcal{V} \ast_\mathbb{Q} \mathcal{S}^\dagger \ast_\mathbb{Q} \mathcal{U}^\ast$ also satisfies the four equations in Definition 3 as $\mathcal{U}, \mathcal{V}$ are unitrary tensors. Next, by Proposition 3, using the exactly same method as proving the uniqueness of Moore-Penrose inverse of a matrix, we can show that the Moore-Penrose inverse of a tensor $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$ is unique. □

Next, we list some properties of the Moore-Penrose inverse of a quaternion tensor $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$.

Proposition 4. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$. Then

(a) $(\mathcal{A}^\dagger)^\dagger = \mathcal{A}$;

(b) $(\mathcal{A}^\dagger)^\ast = (\mathcal{A}^\ast)^\dagger$;

(c) $\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^\dagger = (\mathcal{A}^\ast)^\dagger \ast_\mathbb{Q} \mathcal{A}$;

(d) $(\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^\dagger)^\ast = \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^\dagger$;

(e) $\mathcal{E}_{\mathcal{A}} \ast_\mathbb{Q} \mathcal{A} = \mathcal{O}, \mathcal{A} \ast_\mathbb{Q} \mathcal{F}_{\mathcal{A}} = \mathcal{O},$ where $\mathcal{E}_{\mathcal{A}} = \mathcal{I} - \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^\dagger$, $\mathcal{F}_{\mathcal{A}} = \mathcal{I} - \mathcal{A}^\dagger \ast_\mathbb{Q} \mathcal{A}$;

(f) $\mathcal{A}^\dagger$ always exists and is unique.

Proof. We only prove (b) as all of those are using the same approach with the proof of matrix.

By Proposition 3, $(\mathcal{A}\ast _{\mathbb{Q}}\mathcal{B})^{\ast } = \mathcal{B} ^{\ast }\ast _{\mathbb{Q}}\mathcal{A}^{\ast }$, thus

which means $(\mathcal{A}^{\dagger })^{\ast }$ satisfying the definition of the Moore-Penrose inverse of $\mathcal{A}^{\ast }$. □

Definition 4. Given a tensor $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, let $\mathcal{A}\left\{1, 3\right\}$ denote the set of tensor $\mathcal{X} \in \mathbb{Q}^{n_2 \times n_1 \times n_3}$, which satisfies Eqs ($1$), ($3$) of (3.1). In this case, $\mathcal{X} \in \mathcal{A}\left\{1, 3\right\}$ is called a $\left\{1, 3\right\}$-inverse of $\mathcal{A}$. It can also be written as $\mathcal{A}^{(1, 3)}$. $\mathcal{A}^{(1, 4)}$ and $\mathcal{A}^{(1)}$ can be defined in the same way.

By verifying the equations in (3.1), we derive the following result, which reveals that $\mathcal{A}^\dagger$ can also be expressed by $\mathcal{A}^{(1, 3)}$ and $\mathcal{A}^{(1, 4)}$.

Corollary 1. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$. Then $\mathcal{A}^\dagger = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)}$.

Here, we actually generalized the result in ^[15], i.e., for any finite matrix $A$ of complex elements,

4.   Solutions to third-order quaternion tensor equation $\mathcal{A} \ast_{\mathbb{Q}} \mathcal{X} = \mathcal{B}$

In this section, we will derive general solutions, least-squares solutions, minimum-norm solutions and minimum-norm least-squares solution of the third-order quaternion tensor equation

by some generalized inverses. We first introduce a well-known result of matrix equation:

Lemma 3. (See ^[16]) For the complex matrix equation

then:

(a) If (4.2) is consistent, then $X = A^{(1)}B$ is the solution of (4.2), moreover, $X = A^{(1, 4)}B$ is the least-norm solution of (4.2), where $A^{(1, 4)}$ is the $(1, 4)-$ inverse of matrix $A$.

(b) The matrix equation (4.2) don't have to be consistent. $X = A^{(1, 3)}B$ is the least-squares solution of (4.2), where $A^{(1, 3)}$ is the $(1, 3)-$ inverse of matrix $A$.

(c) The matrix equation (4.2) don't have to be consistent. $X = A^{\dagger}B$ is the minimum-norm least-squares solution of (4.2), where $A^{\dagger}$ is the Moore-Penrose inverse of matrix $A$.

Remark 1. The statement also holds when the matrix equation (4.2) is over quaternion skew field.

Next, we will describe our required solutions by some generalized inverses of tensor.

Theorem 2. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. Then $\mathcal{X} = \mathcal{A}^{(1)}\ast_\mathbb{Q} \mathcal{B}$ is the solution of the quaternion tensor equation (4.1), when it is consistent.

Proof. By Lemma 1 and (2.4),

$i = 1, \cdots, n_3.$ By (a) in Lemma 3 and its Remark 1, for the consistent quaternion matrix equation

If the matrix $\widehat{T}^{(i)} \in \widehat{A}^{(i)}\{1\},$ then $\widehat{X}^{(i)} = \widehat{T}^{(i)}\widehat{B}^{(i)}$ is the solution of the consistent matrix equation (4.3). Thus, if $diag(\widehat{\mathcal{T}}) \in (diag(\widehat{\mathcal{A}}))\{1\},$ then $diag(\widehat{\mathcal{X}}) = diag(\widehat{\mathcal{T}})\cdot diag(\widehat{\mathcal{B}})$ is the solution of the consistent quaternion matrix equation $diag(\widehat{\mathcal{A}})\cdot diag(\widehat{\mathcal{X}}) = diag(\widehat{\mathcal{B}}).$ Note that

Thus, $\mathcal{X} = \mathcal{T} \ast_\mathbb{Q} \mathcal{B}$ is the solution of consistent tensor equation $\mathcal{A} \ast_{\mathbb{Q}} \mathcal{X} = \mathcal{B}$, where $\mathcal{T} \in \mathcal{A}\{1\}$.

□

Corollary 2. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. The tensor equation (4.1) is consistent if and only if

In this case, the general solution is given by

where $\mathcal{Y} \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$ is arbitrary.

Proof. If $\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1)} \ast_\mathbb{Q} \mathcal{B} = \mathcal{B}$, then it can be seen that $\mathcal{A}^{(1)} \ast_\mathbb{Q} \mathcal{B}$ is a solution to (4.1). If the tensor equation (4.1) is consistent then there exists $\mathcal{X}_0$ such that $\mathcal{A} \ast_\mathbb{Q} \mathcal{X}_0 - \mathcal{B} = \mathcal{O}.$ Considering the definition of $\mathcal{A}^{(1)}$, we have

Next, we show that (4.4) is the general expression of the solution to (4.1). Firstly, we can verify that $\mathcal{X}$ is the solution to (4.1). Secondly, we aim to show that any solution of (4.1) is in the form of (4.4). Assume that $\mathcal{X}_0$ is an arbitrary solution to (4.1). Setting $\mathcal{Y} = \mathcal{X}_0,$ then

□

In Corollary 2, if $\mathcal{A}^{(1)}$ is replaced by $\mathcal{A}^\dagger$, the following result is also true. Since the proof is almost the same with the proof of Corollary 2, thus we omit for simplicity.

Corollary 3. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. Then quaternion tensor equation (4.1) is consistent if only if

When the equation is consistent, then the general solution is

where $\mathcal{Y}$ is an arbitrary quaternion tensor with appropriate size.

Next, we aim to derive the least-squares solution of the tensor equation (4.1).

We now provide a result for the Frobenius norm of the sum of two third-order tensors.

Theorem 3. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$. Then

Proof. By (2.7) and $\parallel K\parallel _{F}^{2} = tr(K^{\ast }K)$, $tr(L) = tr(L^{\ast })$, where $K$, $L$ are any quaternion matrices and $tr(\bullet)$ represents the trace of a matrix, we have

□

Theorem 4. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. Then $\mathcal{X} = \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B}$ is the least-squares solution of the tensor equation (4.1).

Proof. It follows from Theorem 3

where $\mathcal{M} = \mathcal{A} \ast_\mathbb{Q} (\mathcal{X}_0 - \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B})$, $\mathcal{N} = \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B} - \mathcal{B}$ and $\mathcal{X}_0 \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$ is arbitrary.

The property of generalized inverse $\mathcal{A}^{(1, 3)}$ gives us

Thus

So $diag(\widehat{\mathcal{M}^{\ast}}\ast_\mathbb{Q}\widehat{\mathcal{N}}) = O.$ Then we can get

which means that $\mathcal{X} = \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B}$ is the least-squares solution of Eq (4.1).

□

In solving practical applications, we sometimes need to find solutions for which the norm is minimal. The next theorem provides the mimimum-norm solution of tensor equation (4.1).

Theorem 5. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. Then $\mathcal{X} = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B}$ is the minimum-norm solution of the tensor equation (4.1), when it is consistent.

Proof. Since $\mathcal{A}^{(1, 4)} \in \mathcal{A}{\{1\}}$, by Theorem 2, $\mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B}$ is a solution of (4.1), if the tensor equation (4.1) is consistent. Next, we prove $\mathcal{X} = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B}$ is the minimum-norm solution. By Corollary 2, for any solution $\mathcal{X}_0$ to (4.1), $\mathcal{X}_0$ can be written in the form of $\mathcal{X}_0 = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B} + (\mathcal{I} - \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{A}) \ast_\mathbb{Q} \mathcal{Y}$, with $\mathcal{Y} \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$. Thus, by Theorem 3,

where $\mathcal{M} = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B},$ $\mathcal{N} = (\mathcal{I} - \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{A}) \ast_\mathbb{Q} \mathcal{Y}.$

By the property of generalized inverse $\mathcal{A}^{(1, 4)}$, we have

We conclude that

□

Remark 2. In the assumption, the tensor equation is consistent means it has a general solution. The solution don't have to be a minimum-norm solution. So, According to Corollary 3, Theorem 5 can be rewritten as follows: Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. If $\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{\dagger} \ast_\mathbb{Q} \mathcal{B} = \mathcal{B}$. Then $\mathcal{X} = \mathcal{A}^{(1, 4)} \ast_\mathbb{Q} \mathcal{B}$ is the minimum-norm solution of the tensor equation (4.1).

It is well known that the least-squares solution of an equation is not unique, neither is the minimum-norm solution. Then we consider the minimum-norm least-squares solution to this problem.

Theorem 6. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$, and $\mathcal{X}_0 \in \mathbb{Q}^{n_2 \times n_4 \times n_3}$. The tensor $\mathcal{X}_0$ is the least-squares solutions of (4.1) if and only if $\mathcal{X}_0$ is the solution of the consistent tensor equation

Proof. "$\Rightarrow$" Assuming $\mathcal{X}_0$ is a least-squares solution of the tensor equation (4.1), from Theorem 4, we have

From Theorem 3, we have

where $\mathcal{M} = \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B} - \mathcal{B}$, $\mathcal{N} = \mathcal{A} \ast_\mathbb{Q} (\mathcal{X}_0 - \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B}).$

Based on (4.7) and (4.9), $\parallel \mathcal{A} \ast_\mathbb{Q} (\mathcal{X}_0 - \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B}) \parallel_F = 0$, thus $\mathcal{A} \ast_\mathbb{Q} (\mathcal{X}_0 - \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B}) = \mathcal{O}$, which means that $\mathcal{X}_0$ is a solution of the tensor equation (4.8).

"$\Leftarrow$" If $\mathcal{X}_0$ is a solution of the tensor equation (4.8), note that $\mathcal{A}^\ast \ast_\mathbb{Q} \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)} = \mathcal{A}^\ast \ast_\mathbb{Q} {(\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)})}^\ast = {(\mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)}\ast_\mathbb{Q}\mathcal{A})}^\ast = \mathcal{A}^\ast,$ then $\mathcal{A}^\ast \ast_\mathbb{Q} \mathcal{A} \ast_\mathbb{Q} \mathcal{X}_0 = \mathcal{A}^\ast \ast_\mathbb{Q} \mathcal{A} \ast_\mathbb{Q} \mathcal{A}^{(1, 3)} \ast_\mathbb{Q} \mathcal{B} = \mathcal{A}^\ast \ast_\mathbb{Q} \mathcal{B}$.

By Lemma 1 and Proposition 2,

which is equivalent to

In other words, ${\widehat{X}_0}^{(i)}$ is the least-squares solution to

Or, $diag(\widehat{\mathcal{X}_0})$ is the least-squares solution to

Since

Then, we can see that $\mathcal{X}_0$ is the least-squares solution of (4.1). □

Remark 3. The tensor equation (4.1) always has a least-squares solution, thus by Theorem 6, the tensor equation (4.8) is always consistent.

Theorem 7. Let $\mathcal{A} \in \mathbb{Q}^{n_1 \times n_2 \times n_3}$, $\mathcal{B} \in \mathbb{Q}^{n_1 \times n_4 \times n_3}$. The tensor $\mathcal{X}_0 = \mathcal{T} \ast_\mathbb{Q} \mathcal{B}$ is the minimum-norm least-squares solution of the tensor equation (4.1) if and only if $\mathcal{T} = \mathcal{A}^\dagger$.

Proof. "$\Rightarrow$" If $\mathcal{X}_0 = \mathcal{T} \ast_\mathbb{Q} \mathcal{B}$ is the minimum-norm least-squares solution of the tensor equation (4.1), by Theorem 6, $\mathcal{X}_0$ is the minimum-norm solution of Eq (4.8). Then, by Corollary 1 and Theorem 5, we have

which means that $\mathcal{T} = \mathcal{A}^\dagger$.

"$\Leftarrow$" If $\mathcal{T} = \mathcal{A}^\dagger$, since $\mathcal{A}^\dagger \in \mathcal{A}\{1, 2, 3, 4\}$, it satisfies both the properties of a least-squares solution and minimum-norm solution to the Eq (4.1) by Theorem 4 and Theorem 5. □

5.   Numerical examples

In this section, we give two numerical examples.

Example 1. Consider the third-order tensor equation $\mathcal{A} \ast_\mathbb{Q} \mathcal{X} = \mathcal{B}$, where $\mathcal{A}$ is a $2 \times 2 \times 3$ quaternion tensor with frontal slices $A^{(1)}$, $A^{(2)}$, $A^{(3)}$ which are given by

and the $2 \times 2 \times 3$ quaternion tensor $\mathcal{B}$, with frontal slices $B^{(1)}$, $B^{(2)}$, $B^{(3)}$, which are given by the following $\boldsymbol{unfold}$ form

To investigate whether the tensor equation is consistent or not, we check the solvability condition (4.5) in Corollary 3. First, by Theorem 3.1, we get $\mathcal{A}^\dagger$ via MATLAB as follows:

Then, we get

Clearly, $\mathcal{E}_\mathcal{A} \ast_\mathbb{Q} \mathcal{B}$ is close to $\mathcal{O}$. Therefore, it is almost consistent. By Theorem 7, the minimum-norm solution is $\mathcal{X} = \mathcal{A}^\dagger \ast_\mathbb{Q} \mathcal{B}$, and it is given by the following $\boldsymbol{unfold}$ form

And we can check that $\boldsymbol{unfold}(\mathcal{A} \ast_\mathbb{Q} \mathcal{X} - \mathcal{B}) = 1.0e^{-13}Z$, where

Example 2. For an original color video $\mathcal{X}$, we take the first four frames of the original color video (see Original Frames in Table 1, the video data is from Densely Annotation Video Segmentation dataset (DAVIS)). Then we noise the color video $\mathcal{X}$ by $\mathcal{N}$ and get the color video with noises $\mathcal{X}+\mathcal{N}$ (see the Frames With Noise in Table 1). Now, we disturbed the color video with noise by the tensor $\mathcal{A}$ and get $\mathcal{C}$. Now, we aim to restore the original color video $\mathcal{X}$. In color video processing, we generated the disturbing tensor $\mathcal{A}$ randomly with its elements in $[-30, 30]$. To restore the color video $\mathcal{X}$, we have to find the minimum-norm least-squares solution to the tensor equation

where $\mathcal{A}, \mathcal{C} \in \mathbb{Q}^{400 \times 500 \times 4}$, $\mathcal{X}, \mathcal{N}\in \mathbb{Q}^{500 \times 400 \times 4}$ ($\mathcal{N}$ is a white noise with a mean of $0$ and a standard deviation of $0.01$). By Theorem 7, our required minimum-norm least-squares solution is $\mathcal{X}_0 = \mathcal{A}^{\dagger}\mathcal{C}.$ By computation, we can get the restored color video (see the Restored Frames in Table 1), with

We can see from the Table 1 that our restored color video achieves a good accuracy and has a satisfied result.

6.   Conclusions

In this paper, by utilizing the Qt-product and generalized inverses of third-order quaternion tensors, we derive solvability conditions of the third-order quaternion tensor equation $\mathcal{A} \ast_{\mathbb{Q}} \mathcal{X} = \mathcal{B}$. Also we get the general solution, the least-squares solution, the minimum-norm solution and the minimum-norm least-squares solution of the tensor equation. Finally, two examples demonstrate the theoretical results of the paper.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This research was funded by Macao Science and Technology Development Fund (No. 0013/2021/ITP), The Joint Research and Development Fund of Wuyi University, Hong Kong and Macao (2019WGALH20), and The MUST Faculty Research Grants (FRG-22-073-FIE).

Conflict of interest

The authors declare no competing interests.