Stable Tensor Principal Component Pursuit: Error Bounds and Efficient Algorithms

Abstract

The rapid development of sensor technology gives rise to the emergence of huge amounts of tensor (i.e., multi-dimensional array) data. For various reasons such as sensor failures and communication loss, the tensor data may be corrupted by not only small noises but also gross corruptions. This paper studies the Stable Tensor Principal Component Pursuit (STPCP) which aims to recover a tensor from its corrupted observations. Specifically, we propose a STPCP model based on the recently proposed tubal nuclear norm (TNN) which has shown superior performance in comparison with other tensor nuclear norms. Theoretically, we rigorously prove that under tensor incoherence conditions, the underlying tensor and the sparse corruption tensor can be stably recovered. Algorithmically, we first develop an ADMM algorithm and then accelerate it by designing a new algorithm based on orthogonal tensor factorization. The superiority and efficiency of the proposed algorithms is demonstrated through experiments on both synthetic and real data sets.

1. Introduction

In recent years, different types of tensor data have emerged with the significant progress of modern sensor technology, such as color images [1], videos [2], functional MRI data [3], hyper-spectral images [4], point could data [5], traffic stream data [6], etc. Thanks to its multi-way nature, tensor-based methods have natural superiority over vector and matrix-based methods in analyzing and processing ubiquitous modern multi-way data, and have found extensive applications in computer vision [1,7], data mining [5], machine learning [2], signal processing [8], to name a few. In real applications, the acquired tensor data may often suffer from noises and gross corruptions owing to many different reasons such as sensor failure, lens pollution, communication interference, occlusion in videos, or abnormalities in a sensor network [9], etc. At the same time, many real-world tensor data, such as face images or videos, have been shown to have some low-dimensional structure and can be well approximated by a smaller number of “principal components” [8]. Then, a question naturally arises: how to pursue the principal components of an observed tensor data in the presence of both noises and gross corruptions? We will answer this question in this paper and refer to the proposed methodology as Stable Tensor Principal Component Pursuit (STPCP).

The tensor low-rankness is an ideal model of the property that a tensor data can be well approximated by a small number of principal components [8]. In the last decade, low-rank tensor models have attracted much attention in many fields [10]. There are multiple low-rank tensor models since there exist different definitions of tensor rank. Among these models, the low CP rank model [11] and the low Tucker rank model [1] should be the most famous two. The low CP rank model approximates the underlying tensor by the sum of a small number of rank-1 tensors, whereas the low Tucker rank model assumes the unfolding matrix along each mode are low rank. To estimate an unknown low-rank tensor from corrupted observations, it is a natural option to consider the rank minimization problem which chooses the tensor of lowest rank as the solution from a certain feasible set. However, tensor rank minimization, even in its 2-way (matrix) case, is generally NP-hard [12] and even harder in higher-way cases [13]. For tractable solutions, researchers turn to a variety of convex surrogates for tensor rank  [1,14,15,16,17,18] to replace the tensor rank in rank minimization problem. Methods based on surrogates for the tensor CP rank and Tucker rank have been extensively explored in both the theoretical side and the application side [14,17,19,20,21,22,23,24].

Recently, the low-tubal-rank model [16,25] has shown better performance than traditional tensor low-rank models in many tensor recover tasks such as image/video inpainting/denoising/ sensing [2,25,26], moving object detection [27], multi-view learning [28], seismic data completion [29], WiFi fingerprint [30], MRI imaging [16], point cloud data inpainting [31], and so on. The tubal rank is a new complexity measure of tensor defined through the framework of tensor singular value decomposition (t-SVD) [32,33]. At the core of existing low-tubal-rank models is the tubal nuclear norm (TNN) which is a convex surrogate for the tubal rank. In contrast to CP-based tensor nuclear norms or Tucker-based tensor nuclear norms which models low-rankness in the original domain, TNN models low-rankness in the Fourier domain. It is pointed out in [25,34,35] that TNN has superiority over traditional tensor nuclear norms in exploiting the ubiquitous “spatial-shifting” property in real-world tensor data.

Inspired by the superior performance of TNN, this paper adopts TNN as a low-rank regularizer in the proposed STPCP model. Specifically, the proposed STPCP aims to estimate the underlying tensor data ${\underset{\_}{\mathrm{L}}}_0\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ from an observation tensor $\underset{\_}{\mathrm{M}}$ polluted by both small dense noises and sparse gross corruptions as follows:

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{M}}={\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0,\end{array}$$

(1)

where ${\underset{\_}{\mathrm{S}}}_0$ is a tensor denoting the sparse corruptions and ${\underset{\_}{\mathrm{E}}}_0$ is a tensor representing small dense noises. Model (1) is also known as robust tensor decomposition in [36,37].

Our STPCP model is first formulated as a TNN-based convex problem. Then, our theoretical analysis gives upper bound on the estimation error of ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$. In contrast to the analysis in [37], the proposed STPCP can exactly recovery the underlying tensor ${\underset{\_}{\mathrm{L}}}_0$ and the sparse corruption tensor ${\underset{\_}{\mathrm{S}}}_0$ when the noise term ${\underset{\_}{\mathrm{E}}}_0$ vanishes. For efficient solution of the proposed STPCP model, we develop two algorithms with extensions to a more challenging scenario where missing observations are also considered. The first algorithm is an ADMM algorithm and the second algorithm accelerates it using tensor factorization. Experiments show the effectiveness and the efficiency of the designed algorithms.

We organize the rest of this paper as follows. In Section 2, we briefly introduce basic preliminaries for t-SVD and some related works. The proposed STPCP model is formulated and analyzed theoretically in Section 3. We design two algorithms in Section 4 and report experimental results in Section 5. This work is concluded in Section 6. The proofs of theorems, propositions, and lemmas are given in the appendix.

2. Preliminaries and Related Works

In this section, some preliminaries of t-SVD are first introduced. Then, the related works are presented.

Notations. We denote vectors by bold lower-case letters, e.g., $\mathbf{a}\in {\mathbb{R}}^n$, matrices by bold upper-case letters, e.g., $\mathbf{A}\in {\mathbb{R}}^{n_1\times n_2}$, and tensors by underlined upper-case letters, e.g., $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$. For a given 3-way tensor, we define its fiber as a vector given through fixing all indices but one, and its slice as a matrix obtained by fixing all indices but two. For a given 3-way tensor $\underset{\_}{\mathrm{A}}$, we use ${\underset{\_}{\mathrm{A}}}_{ijk}$ to denote its $(i,j,k)$-th element; ${\mathbf{A}}^{(k)}:=\underset{\_}{\mathrm{A}}(:,:,k)$ is used to denote its k-th frontal slice. $\widetilde{\underset{\_}{\mathrm{A}}}$ is used to denote the tensor after performing 1D Discrete Fourier Transformation (DFT) on all tube fibers $\underset{\_}{\mathrm{A}}(i,j,:)$ of $\underset{\_}{\mathrm{T}}$, $\forall i=1,2,\cdots ,n_1,j=1,2,\cdots ,n_2$, which can be efficiently computed by the Matlab command $\widetilde{\underset{\_}{\mathrm{A}}}=\mathrm{fft}(\underset{\_}{\mathrm{A}},[],3)$. We use $\mathrm{dft}3(·)$ and $\mathrm{idft}3(·)$ to represent the 1D DFT and inverse DFT along the tube fibers of 3-way tensors, i.e.,  $\mathrm{dft}3(\underset{\_}{\mathrm{A}}):=\mathrm{fft}(\underset{\_}{\mathrm{A}},[],3),\mathrm{idft}3(\underset{\_}{\mathrm{A}}):=\mathrm{ifft}(\underset{\_}{\mathrm{A}},[],3).$

For a given matrix $\mathbf{M}\in {\mathbb{R}}^{n_1\times n_2}$, define the nuclear norm and spectral norm of $\mathbf{M}$ respectively as:

$$\begin{array}{c}\hfill {\parallel \mathbf{M}\parallel }_{\ast }:={\displaystyle \sum _{i=1}^p}{\sigma }_i(\mathbf{M}),\mathrm{and}{\parallel \mathbf{M}\parallel }_{\mathrm{sp}}:=max\{{\sigma }_i(\mathbf{M})\},\end{array}$$

where $p=min\{n_1,n_2\}$, and ${\sigma }_1(\mathbf{M})\ge \cdots \ge {\sigma }_p(\mathbf{M})$ are the singular values of $\mathbf{M}$ in a non-ascending order. The $l_0$-norm, $l_1$-norm, Frobenius norm, $l_{\infty }$-norm of a tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is defined as:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{A}}{\parallel }_0:=\sum _{ijk}\mathsf{1}({\underset{\_}{\mathrm{A}}}_{ijk}\ne 0),\parallel \underset{\_}{\mathrm{A}}{\parallel }_1:=\sum _{ijk}|{\underset{\_}{\mathrm{A}}}_{ijk}|,\parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{F}}:=\sqrt{\sum _{ijk}{\underset{\_}{\mathrm{A}}}_{ijk}^2},\parallel \underset{\_}{\mathrm{A}}{\parallel }_{\infty }:=\underset{ijk}{max}\left|{\underset{\_}{\mathrm{A}}}_{ijk}\right|,\end{array}$$

where $\mathsf{1}(\mathrm{C})$ is an indicator function whose value is 1 if the condition C is true, and 0 otherwise.

Given two matrices $\mathbf{A}=(a_{ij})\in {\mathbb{C}}^{n_1\times n_2},\mathbf{B}=(b_{ij})\in {\mathbb{C}}^{n_1\times n_2}$, we define their inner product as follows:

$$\begin{array}{c}\hfill ⟨\mathbf{A},\mathbf{B}⟩=\mathrm{tr}({\mathbf{A}}^{\mathsf{H}}\mathbf{B})=\sum _{ij}{\overline{a}}_{ij}{b}_{ij},\end{array}$$

where ${\mathbf{A}}^{\mathsf{H}}$ denotes conjugate transpose of matrix $\mathbf{A}$ and ${\overline{a}}_{ij}$ denotes the conjugation of complex number $a_{ij}$. Given two 3-way tensors $\underset{\_}{\mathrm{A}},\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, we define their inner product as follows:

$$\begin{array}{c}\hfill ⟨\underset{\_}{\mathrm{A}},\underset{\_}{\mathrm{B}}⟩:=\sum _{ijk}{\underset{\_}{\mathrm{A}}}_{ijk}{\underset{\_}{\mathrm{B}}}_{ijk}.\end{array}$$

2.1. Tensor Singular Value Decomposition

We first define 3 operators based on block matrices which are introduced in [33]. For a given 3-way tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, we define its block vectorization $\mathrm{bvec}(·)$ and the inverse operation $\mathrm{bvfold}(·)$ in the following equation:

$$\begin{array}{c}\hfill \mathrm{bvec}(\underset{\_}{\mathrm{A}}):=\left[\begin{array}{c}{\mathbf{A}}^{(1)}\\ {\mathbf{A}}^{(2)}\\ ⋮\\ {\mathbf{A}}^{(n_3)}\end{array}\right]\in {\mathbb{R}}^{n_1{n}_3\times n_2},\mathrm{bvfold}(\mathrm{bvec}(\underset{\_}{\mathrm{A}}))=\underset{\_}{\mathrm{A}}.\end{array}$$

We further define the block circulant matrix $\mathrm{bcirc}(·)$ of any 3-way tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ as follows:

$$\begin{array}{c}\hfill \mathrm{bcirc}(\underset{\_}{\mathrm{A}}):=\left[\begin{array}{cccc}{\mathbf{A}}^{(1)}& {\mathbf{A}}^{(n_3)}& \cdots & {\mathbf{A}}^{(2)}\\ {\mathbf{A}}^{(2)}& {\mathbf{A}}^{(1)}& \cdots & {\mathbf{A}}^{(3)}\\ ⋮& \ddots & \ddots & ⋮\\ {\mathbf{A}}^{(n_3)}& {\mathbf{A}}^{(n_3-1)}& \cdots & {\mathbf{A}}^{(1)}\end{array}\right]\in {\mathbb{C}}^{n_1{n}_3\times n_2{n}_3}\end{array}$$

Equipped with above defined operators, we are now in a position to define the t-product of 3-way tensors.

Definition 1

(t-product [33]). Given two tensors $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ and $\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_2\times n_4\times n_3}$, the t-product of $\underset{\_}{\mathrm{A}}$ and $\underset{\_}{\mathrm{B}}$ is a new 3-way tensor $\underset{\_}{\mathrm{C}}$ with size $n_1\times n_4\times n_3$:

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{C}}=\underset{\_}{\mathrm{A}}\ast \underset{\_}{\mathrm{B}}=:\mathrm{bvfold}\left(\mathrm{bcirc}(\underset{\_}{\mathrm{A}})\mathrm{bvec}(\underset{\_}{\mathrm{B}})\right).\end{array}$$

(2)

A more intuitive interpretation of t-SVD is as follows [33]. If we treat a 3-way tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ as a matrix of size $n_1\times n_2$ whose entries are the tube fibers, then the tensor t-product can be analogously understood as the “matrix multiplication” where the standard scalar product is replaced with the vector circular convolution between the tubes (i.e., vectors):

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{C}}=\underset{\_}{\mathrm{A}}\ast \underset{\_}{\mathrm{B}}\iff \underset{\_}{\mathrm{C}}(i,j,:)={\displaystyle \sum _{k=1}^{n_2}}\underset{\_}{\mathrm{A}}(i,k,:)\star \underset{\_}{\mathrm{B}}(k,j,:),\forall i=1,2,\cdots ,n_1,j=1,2,\cdots ,n_4,\end{array}$$

(3)

where ⋆ represent the operation of circular convolution [33] of two vectors $\mathbf{a},\mathbf{b}\in {\mathbb{R}}^{n_3}$ defined as ${(\mathbf{a}\star \mathbf{b})}_j={\sum }_{k=1}^{n_3}{\mathbf{a}}_k{\mathbf{b}}_{1+(j-k)\mathrm{mod}{n}_3}$.

We also define the block diagonal matrix $\mathrm{bdiag}(·)$ of any 3-way tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ and its inverse $\mathrm{bdfold}(·)$ as follows:

$$\begin{array}{c}\hfill \mathrm{bdiag}(\underset{\_}{\mathrm{A}}):=\left[\begin{array}{cc}{\mathbf{A}}^{(1)}& \\ \ddots \\ & {\mathbf{A}}^{(n_3)}\end{array}\right]\in {\mathbb{R}}^{n_1{n}_3\times n_2{n}_3},\mathrm{bdfold}(\mathrm{bdiag}(\underset{\_}{\mathrm{A}}))=\underset{\_}{\mathrm{A}}.\end{array}$$

We also use $\overline{\mathbf{A}}$ (or $\overline{\underset{\_}{\mathrm{A}}}$) to denote the block diagonal matrix of tensor $\widetilde{\underset{\_}{\mathrm{A}}}=\mathrm{dft}3(\underset{\_}{\mathrm{A}})$ (i.e., the Fourier version of $\underset{\_}{\mathrm{A}}$) i.e.,

$$\begin{array}{c}\hfill \overline{\mathbf{A}}=\mathrm{bdiag}(\widetilde{\underset{\_}{\mathrm{A}}}):=\left[\begin{array}{cc}{\tilde{\mathbf{A}}}^{(1)}& \\ \ddots \\ & {\tilde{\mathbf{A}}}^{(n_3)}\end{array}\right]\in {\mathbb{C}}^{n_1{n}_3\times n_2{n}_3}.\end{array}$$

Then the relationship between DFT and circular convolution further indicates that the conducting t-product in the original domain is equivalent to performing standard matrix product on the Fourier block diagonal matrices [33]. Since matrix product on the Fourier block diagonal matrices can be parallel written as matrix product of all the frontal slices in the Fourier domain, we have the following relationships:

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{C}}=\underset{\_}{\mathrm{A}}\ast \underset{\_}{\mathrm{B}}\iff \overline{\mathbf{C}}=\overline{\mathbf{A}}\overline{\mathbf{B}}\iff {\tilde{\mathbf{C}}}^{(k)}={\tilde{\mathbf{A}}}^{(k)}{\tilde{\mathbf{B}}}^{(k)},k=1,2,\cdots ,n_3.\end{array}$$

(4)

The relationship between the t-product and FFT also indicates that the inner product of two 3-way tensors $\underset{\_}{\mathrm{A}},\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ and the inner product of their corresponding Fourier block diagonal matrices $\overline{\underset{\_}{\mathrm{A}}},\overline{\underset{\_}{\mathrm{B}}}\in {\mathbb{C}}^{n_1{n}_3\times n_2{n}_3}$ satisfy the following relationship:

$$\begin{array}{c}\hfill ⟨\underset{\_}{\mathrm{A}},\underset{\_}{\mathrm{B}}⟩=\frac{1}{n_3}⟨\widetilde{\underset{\_}{\mathrm{A}}},\widetilde{\underset{\_}{\mathrm{B}}}⟩=\frac{1}{n_3}⟨\overline{\mathbf{A}},\overline{\mathbf{B}}⟩.\end{array}$$

When $\underset{\_}{\mathrm{A}}=\underset{\_}{\mathrm{B}}=\underset{\_}{\mathrm{X}}$, one has:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{F}}=\frac{1}{\sqrt{n_3}}{\parallel \overline{\underset{\_}{\mathrm{X}}}\parallel }_{\mathrm{F}}.\end{array}$$

We further define the concepts of tensor transpose, identity tensor, f-diagonal tensor and orthogonal tensor as follows.

Definition 2

(tensor transpose [33]). Given a tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, then define its transpose tensor ${\underset{\_}{\mathrm{A}}}^{\top }$ of size $n_2\times n_1\times n_3$ which can be formed through first transposing all the frontal slices of $\underset{\_}{\mathrm{A}}$ and then exchanging each k-th transposed frontal slice with the $(n_3+2-k)$-th transposed frontal slice for all $k=2,3,\cdots ,n_3$.

For example, consider 3-way tensor $\underset{\_}{\mathrm{A}}=[{\mathbf{A}}^{(1)}|{\mathbf{A}}^{(2)}|{\mathbf{A}}^{(3)}|{\mathbf{A}}^{(4)}]\in {\mathbb{R}}^{n_1\times n_2\times 4}$ with 4 frontal slices, the tensor transpose ${\underset{\_}{\mathrm{A}}}^{\top }$ of $\underset{\_}{\mathrm{A}}$ is:

$$\begin{array}{c}\hfill {\underset{\_}{\mathrm{A}}}^{\top }=[{({\mathbf{A}}^{(1)})}^{\top }|{({\mathbf{A}}^{(4)})}^{\top }|{({\mathbf{A}}^{(3)})}^{\top }|{({\mathbf{A}}^{(2)})}^{\top }]\in {\mathbb{R}}^{n_2\times n_1\times 4}.\end{array}$$

Definition 3

(identity tensor [33]). The identity tensor $\underset{\_}{\mathrm{I}}\in {\mathbb{R}}^{n\times n\times n_3}$ is a tensor whose first frontal slice is the n-by-n identity matrix with all other frontal slices are zero matrices.

Definition 4

(f-diagonal tensor [33]). We call a 3-way tensor f-diagonal if all the frontal slices of it are diagonal matrices.

Definition 5

(orthogonal tensor [33]). We call a tensor $\underset{\_}{\mathrm{Q}}\in {\mathbb{R}}^{n\times n\times n_3}$ an orthogonal tensor if the following equations hold:

$${\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}=\underset{\_}{\mathrm{Q}}\ast {\underset{\_}{\mathrm{Q}}}^{\top }=\underset{\_}{\mathrm{I}}.$$

Then, the tensor singular value decomposition (t-SVD) can be given as follows.

Definition 6

(Tensor singular value decomposition, and Tensor tubal rank [38]). Given any 3-way tensor $\underset{\_}{\mathrm{X}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, then it has the following factorization called tensor singular value decomposition (t-SVD):

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{X}}=\underset{\_}{\mathrm{U}}\ast \sum _{\_}\ast {\underset{\_}{\mathrm{V}}}^{\top },\end{array}$$

(5)

where the left and right factor tensors $\underset{\_}{\mathrm{U}}\in {\mathbb{R}}^{n_1\times n_1\times n_3}$ and $\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{n_2\times n_2\times n_3}$ are orthogonal, and the middle tensor $\sum _{\_}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is a rectangular f-diagonal tensor.

A visual illustration for the t-SVD is shown in Figure 1. It can be computed efficiently by FFT and IFFT in the Fourier domain according to Equation (4). For more details, see [2].

Figure 1. A visual illustration of t-SVD.

Definition 7

(Tensor tubal rank [38]). The tensor tubal rank of any 3-way tensor $\underset{\_}{\mathrm{X}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is defined as the number of non-zero tubes of $\sum _{\_}$ in its t-SVD shown in Equation (5), i.e.,

$$\begin{array}{c}\hfill r_{\mathrm{tubal}}(\underset{\_}{\mathrm{A}}):=\sum _i\mathsf{1}(\sum _{\_}(i,i,:)\ne \mathbf{0}).\end{array}$$

(6)

Definition 8

(Tubal average rank [38]). The tubal average rank $r_{\mathrm{a}}(\underset{\_}{\mathrm{A}})$ of any 3-way tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is defined as the averaged rank of all frontal slices of $\widetilde{\underset{\_}{\mathrm{A}}}$ as follows,

$$\begin{array}{c}\hfill r_{\mathrm{a}}(\underset{\_}{\mathrm{A}}):=\frac{1}{n_3}{\displaystyle \sum _{k=1}^{n_3}}error\left({\tilde{\mathbf{A}}}^{(k)}\right).\end{array}$$

(7)

Definition 9

(Tensor operator norm [2,38]). The tensor operator norm $\parallel \underset{\_}{\mathrm{F}}{\parallel }_{\mathrm{op}}$ of any 3-way tensor $\underset{\_}{\mathrm{F}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is defined as follows:

$$\begin{array}{cc}\hfill \parallel \underset{\_}{\mathrm{F}}{\parallel }_{\mathrm{op}}:=& \underset{\parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{F}}\le 1}{sup}{\parallel \underset{\_}{\mathrm{F}}\ast \underset{\_}{\mathrm{A}}\parallel }_{\mathrm{F}}.\hfill \end{array}$$

(8)

The relationship between t-product and FFT indicates that:

$$\begin{array}{cc}\hfill \parallel \underset{\_}{\mathrm{F}}{\parallel }_{\mathrm{op}}:=& \underset{\parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{F}}\le 1}{sup}\parallel \underset{\_}{\mathrm{F}}\ast \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{F}}=\underset{\parallel \overline{\mathbf{A}}{\parallel }_{\mathrm{F}}\le \sqrt{n_3}}{sup}\parallel \overline{\mathbf{F}}·\overline{\underset{\_}{\mathrm{A}}}{\parallel }_{\mathrm{F}}={\parallel \overline{\mathbf{A}}\parallel }_{\mathrm{sp}}.\hfill \end{array}$$

(9)

Definition 10

(Tensor spectral norm [38]). The tensor spectral norm $\parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{sp}}$ of any 3-way tensor $\underset{\_}{\mathrm{F}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is defined as the matrix spectral norm of $\overline{\mathbf{A}}$, i.e., 

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{sp}}:={\parallel \overline{\mathbf{A}}\parallel }_{\mathrm{sp}}.\end{array}$$

(10)

We further define the tubal nuclear norm.

Definition 11

(Tubal nuclear norm [2]). For any tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ with t-SVD $\underset{\_}{\mathrm{A}}=\underset{\_}{\mathrm{U}}\ast \sum _{\_}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, the tubal nuclear norm (TNN) of $\underset{\_}{\mathrm{A}}$ is defined as:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{TNN}}:=⟨\sum _{\_},\underset{\_}{\mathrm{I}}⟩={\displaystyle \sum _{i=1}^r}\sum _{\_}(i,i,1),\end{array}$$

(11)

where $r=r_{tubal}(\underset{\_}{\mathrm{A}})$.

To understand the tubal nuclear norm, first note that:

$$\begin{array}{c}\hfill r_{\mathrm{tubal}}(\underset{\_}{\mathrm{A}})={\sum }_i\mathsf{1}({\sum }_{\_}(i,i,:)\ne \mathbf{0})\stackrel{(i)}{=}{\sum }_i\mathsf{1}(\widetilde{\sum _{\_}}(i,i,:)\ne \mathbf{0})\stackrel{(ii)}{=}{\sum }_i\mathsf{1}(\parallel \widetilde{\sum _{\_}}(i,i,:){\parallel }_1\ne 0)\stackrel{(iii)}{=}{\sum }_i\mathsf{1}(\sum _{\_}(i,i,1)\ne 0),\end{array}$$

(12)

where (i) holds because of the definition of DFT [2], (ii) holds by the property of $l_1$-norm, and (iii) is a result of DFT [2]. Thus, the tubal rank of $\underset{\_}{\mathrm{A}}$ is also the number of non-zero diagonal elements of $\sum _{\_}(i,i,1)$, i.e., the first frontal slice of tensor $\sum _{\_}$ in the t-SVD of $\underset{\_}{\mathrm{A}}$. Similar to the matrix singular values, the values $\sum _{\_}(i,i,1),i=1,2,\cdots ,n_3$ are also called the singular values of tensor $\underset{\_}{\mathrm{A}}$. As the matrix nuclear norm is the sum of matrix singular values, the tubal nuclear norm can be similarly understood as the sum of tensor singular values.

One can also verify by the property of DFT [2] that:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{TNN}}={\displaystyle \sum _{i=1}^r}\sum _{\_}(i,i,1)={\displaystyle \sum _{k=1}^{n_3}}{\displaystyle \sum _{i=1}^r}\widetilde{\sum _{\_}}(i,i,k)=\frac{1}{n_3}{\displaystyle \sum _{k=1}^{n_3}}\parallel {\tilde{\mathbf{A}}}^{(k)}{\parallel }_{\ast }=\frac{1}{n_3}{\parallel \overline{\mathbf{A}}\parallel }_{\ast },\end{array}$$

(13)

which indicates that the TNN of $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ is also the averaged nuclear norm all frontal slices of $\widetilde{\underset{\_}{\mathrm{A}}}$. Thus, TNN indeed models the low-rankness of Fourier domain.

Now, we will show that the low-tubal-rank model is ideal to some real-world tensor data, such as color images and videos.

First, we consider a natural image of size $256\times 256\times 3$, shown in Figure 2a. In Figure 2b, we plot the distribution of its singular values, i.e., the values of $\sum _{\_}(i,i,1)$ along with the index i. As can be seen from Figure 2b, there are only a small number of singular values with large magnitude, and most of the singular values are close to 0. Then, we can say that some natural color images are approximately low tubal rank.

Figure 2. The distribution of tensor singular values $\sum _{\_}(i,i,1)$ in a natural color image. (a) the sample image, (b) the distribution of $\sum _{\_}(i,i,1)$.

Then, consider a commonly used YUV sequence Mother-daughter_qcif (These data can be download from the following link https://sites.google.com/site/subudhibadri/fewhelpfuldownloads.) whose first frame is shown in Figure 3a. We use the Y components of the first 30 frames, and get a tensor of size $144\times 176\times 30$ and show the distribution of tensor singular values in Figure 3b. We can see from Figure 3b that similar to Figure 2b, there are only a small number of singular values with large magnitude, and most of the singular values are close to 0. Then, we can say that some videos can be well approximately low tubal rank.

Figure 3. The distribution of tensor singular values $\sum _{\_}(i,i,1)$ in a video sequence. (a) the first frame of the video, (b) the distribution of $\sum _{\_}(i,i,1)$.

For TNN and tensor spectral norm, we highlight the following two lemmas.

Lemma 1.

[2] TNN is the convex envelop of the tensor average rank in the unit ball of tensor spectral norm $\{\underset{\_}{\mathrm{T}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}|\parallel \underset{\_}{\mathrm{T}}{\parallel }_{\mathrm{sp}}\le 1\}$.

Lemma 2.

[2] The TNN and the tensor spectral norm are dual norms to each other.

2.2. Related Works

In this subsection, we briefly introduce some related works. The proposed STPCP is tightly related to the Tensor Robust Principal Component Analysis (TRPCA) which aims to recover a low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ and a sparse tensor ${\underset{\_}{\mathrm{S}}}_0$ from their sum $\underset{\_}{\mathrm{M}}={\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0$. This is a special case of our measurement Model (1) where the noise tensor ${\underset{\_}{\mathrm{E}}}_0$ is a zero tensor.

In [39], the SNN-based TRPCA model is proposed by modeling the underlying tensor as a low Tucker rank one:

$$\begin{array}{cc}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}& \parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{SNN}}+{\parallel \underset{\_}{\mathrm{S}}\parallel }_1\mathrm{s}.\mathrm{t}.\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}=\underset{\_}{\mathrm{M}},\hfill \end{array}$$

(14)

where SNN (Sum of Nuclear Norms) is defined as $\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{SNN}}:={\displaystyle \sum _{i=1}^{\mathrm{K}}}{\alpha }_k{\parallel {\mathbf{L}}_{(k)}\parallel }_{\ast },$ where ${\alpha }_k>0$ and ${\mathbf{L}}_{(k)}$ is the mode-k matricization of $\underset{\_}{\mathrm{L}}$ [40].

Model (14) indeed assumes the underlying tensor to be low Tucker rank, which can be too strong for some real tensor data. The TNN-based TRPCA model uses TNN to impose low-rankness in the final solution $\underset{\_}{\mathrm{L}}$ as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+\lambda {\parallel \underset{\_}{\mathrm{S}}\parallel }_1\mathrm{s}.\mathrm{t}.\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}=\underset{\_}{\mathrm{M}}.\end{array}$$

(15)

As shown in [2], when the underlying tensor ${\underset{\_}{\mathrm{L}}}_0$ satisfy the tensor incoherent conditions, by solving Problem (15), one can exactly recover the underlying tensor ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ with high probability with parameter $\lambda =1/\sqrt{max\{n_1,n_2\}{n}_3}$.

When the noise tensor ${\underset{\_}{\mathrm{E}}}_0$ is not zero, the robust tensor decomposition based on SNN is proposed in [36] as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{S}}{\parallel }_{\mathrm{F}}+{\lambda }_1\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{SNN}}+{\lambda }_2{\parallel \underset{\_}{\mathrm{S}}\parallel }_1,\end{array}$$

(16)

where ${\lambda }_1$ and ${\lambda }_2$ are positive regularization parameters. The estimation error on $\underset{\_}{\mathrm{L}}$ and $\underset{\_}{\mathrm{S}}$ is analyzed with an upper bound in [36].

In [37], the TNN-based RTD model is proposed as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{S}}{\parallel }_{\mathrm{F}}+{\lambda }_1\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+{\lambda }_2\parallel \underset{\_}{\mathrm{S}}{\parallel }_1,\mathrm{s}.\mathrm{t}.{\parallel \underset{\_}{\mathrm{L}}\parallel }_{\infty }\le \alpha ,\end{array}$$

(17)

where $\alpha$ is an upper estimate of $l_{\infty }$-norm of the underlying tensor ${\underset{\_}{\mathrm{L}}}_0$. An upper bound on the estimation error is also established. However, in the analysis of Model (17), the error does not vanish as the noise tensor ${\underset{\_}{\mathrm{E}}}_0$ vanishes which means the analysis cannot guarantee exact recovery in the noiseless setting (which can be provided by the analysis of TNN-based TRPCA (15) by Lu et al. [2]).

The Bayesian approach is also used for robust tensor recovery. The CP decomposition under sparse corruption and small dense noise is considered [41], and tensor rank estimation is achieved using Bayesian approach. In [42], CP decomposition under missing value and small dense noise is considered with rank estimation similar to [41]. A sparse Bayesian CP model is proposed in [43] to recover a tensor with missing value, outliers and noises. In [44], a fully Bayesian treatment is proposed to recover a low-tubal-rank tensor corrupted by both noises and outliers.

3. Theoretical Guarantee for Stable Tensor Principal Component Pursuit

In this section, we formulate the proposed STPCP model and give the main theoretical result which upper bounds the estimation error and guarantees exact recovery in the noiseless setting.

3.1. The Proposed STPCP

As for the measurement Model (1), we further assume that the noise tensor ${\underset{\_}{\mathrm{E}}}_0$ has bounded energy measured in F-norm, i.e., $\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{F}}\le \delta$. Please note that the limited energy assumption is very mild, since most signals are of limited energy.

To recover the low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ and the sparse tensor ${\underset{\_}{\mathrm{S}}}_0$, we first produce the following optimization problem:

$$\begin{array}{cc}\hfill (\widehat{\underset{\_}{\mathrm{L}}},\widehat{\underset{\_}{\mathrm{S}}})=& \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{argmin}\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{S}}{\parallel }_1,\mathrm{s}.\mathrm{t}.{\parallel \underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{S}}\parallel }_{\mathrm{F}}\le \delta ,\hfill \end{array}$$

(18)

where $\lambda$ is a positive parameter balancing the two regularizers. The motivation is to use TNN as a low-rank regularization term to exploit the low-dimensional structure in the signal tensor, whereas tensor $l_1$-norm is used to impose sparsity in the corruption tensor (since we assumes it to be sparse).

The relationship between Model (18) and existing models are discussed in Remark 1 and Remark 2.

Remark 1.

The following models can be seen as special cases as the proposed STPCP Model (18);

(I).

When $\delta =0$, i.e., in the noiseless case, the proposed model degenerates to the TRPCA Model (15) [2].

(II).

When $n_3=1$, then the stable tensor PCP Model (18) degenerates to the Stable Principal Component Pursuit (SPCP) [45] which aims to pursuit the principal components modeled by low-rank matrix ${\underset{\_}{\mathrm{L}}}_0$ from it observation $\mathbf{M}$ corrupted by both noises ${\mathbf{E}}_0$ and sparse corruptions ${\mathbf{S}}_0$. The SPCP is formulated as follows:

$$\begin{array}{c}\hfill \underset{\mathbf{L},\mathbf{S}}{min}{\parallel \mathbf{L}\parallel }_{\ast }+{\lambda \parallel \mathbf{S}\parallel }_1,\mathrm{s}.\mathrm{t}.{\parallel \mathbf{M}-\mathbf{L}-\mathbf{S}\parallel }_{\mathrm{F}}\le \delta .\end{array}$$

(19)

(III).

When $n_3=1$ and $\delta =0$, the proposed STPCP further degenerates to Robust Principal Component Analysis (RPCA) [46] given as follows:

$$\begin{array}{c}\hfill \underset{\mathbf{L},\mathbf{S}}{min}{\parallel \mathbf{L}\parallel }_{\ast }+\lambda {\parallel \mathbf{S}\parallel }_1,\mathrm{s}.\mathrm{t}.\mathbf{L}+\mathbf{S}=\mathbf{M}.\end{array}$$

(20)

Remark 2.

The differences from the proposed Model (18) and TNN-based RTD Model ((17) [37]) is as follows. First, our model does not need to upper estimate the $l_{\infty }$-norm of the underlying tensor. Second, our model is a constrained optimization problem, whereas Model (17) is an unconstrained optimization problem.

3.2. A Theorem for Stable Recovery

To analyze the statistical performance of Model (18), we should assume on the underlying low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ that it is not sparse. Only by this assumption, ${\underset{\_}{\mathrm{L}}}_0$ can be identified from its mixture with sparse ${\underset{\_}{\mathrm{S}}}_0$. Such an assumption can be described by the tensor incoherence condition [2,47], which is used to provide an identifiablility for low-rank ${\underset{\_}{\mathrm{L}}}_0$.

Definition 12

(Tensor incoherence condition [2,47]). Given a 3-way tensor $\underset{\_}{\mathrm{T}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ with tubal rank r, suppose it has the skinny t-SVD $\underset{\_}{\mathrm{T}}=\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, where $\underset{\_}{\mathrm{U}}\in {\mathbb{R}}^{n_1\times r\times n_3},\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{r\times n_2\times n_3}$ are orthogonal tensors, and $\underset{\_}{\mathsf{\Lambda }}\in {\mathbb{R}}^{r\times r\times n_3}$ is an f-diagonal tensor. Then, $\underset{\_}{\mathrm{T}}$ is said to satisfy the tensor incoherent condition (TIC) with parameter $\mu (\underset{\_}{\mathrm{T}})$ if the following inequalities hold:

$$\begin{array}{cc}\hfill \underset{i\in [n_1]}{max}{\parallel {\underset{\_}{\mathrm{U}}}^{\top }\ast {\mathring{\mathfrak{e}}}_i\parallel }_{\mathrm{F}}& \le \sqrt{\frac{r\mu (\underset{\_}{\mathrm{T}})}{n_1{n}_3}},\end{array}$$

(21)

$$\begin{array}{cc}\hfill \underset{j\in [n_2]}{max}{\parallel {\underset{\_}{\mathrm{V}}}^{\top }\ast {\mathring{\mathfrak{e}}}_j\parallel }_{\mathrm{F}}& \le \sqrt{\frac{r\mu (\underset{\_}{\mathrm{T}})}{n_2{n}_3}},\end{array}$$

(22)

$$\begin{array}{cc}\hfill \parallel \underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{V}}}^{\top }{\parallel }_{\infty }& \le \sqrt{\frac{r\mu (\underset{\_}{\mathrm{T}})}{n_1{n}_2{n}_3}}.\end{array}$$

(23)

where ${\mathring{\mathfrak{e}}}_i\in {\mathbb{R}}^{n_1\times 1\times n_3}$ is a tensor column basis with only the $(i,1,1)$-th element being 1 and all the others being 0, and ${\mathring{\mathfrak{e}}}_j\in {\mathbb{R}}^{n_2\times 1\times n_3}$ is also a tensor column basis with only the $(j,1,1)$-th element being 1 and all the others being 0.

Assumption 1.

Suppose the true tensor ${\underset{\_}{\mathrm{L}}}_0$ in the measurement model (1) satisfies tensor incoherence condition with parameter μ.

Assumption 1 intrinsically ensures that the row bases and column bases of ${\underset{\_}{\mathrm{L}}}_0$ do not align well with the canonical row and column bases. Thus, the low-rank ${\underset{\_}{\mathrm{L}}}_0$ is not sparse, which avoids the ambiguity that low-rank component can also be sparse in the measurement Model (1).

We should also force the sparse component in Model (1) is not low rank.

Assumption 2.

Assume the support Ω of ${\underset{\_}{\mathrm{S}}}_0$ is drawn uniformly at random.

Now we can establish an upper bound on the estimation error of $\widehat{\underset{\_}{\mathrm{L}}}$ and $\widehat{\underset{\_}{\mathrm{S}}}$ in Problem (18).

Theorem 1

(An Upper Bound on the Estimation Error). Suppose ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ satisfy Assumption 1 and Assumption 2, respectively. If the tubal rank r of ${\underset{\_}{\mathrm{L}}}_0$ and the sparsity (i.e., the $l_0$-norm) s of ${\underset{\_}{\mathrm{S}}}_0$ are respectively upper bounded as follows:

$$\begin{array}{c}\hfill r\le \frac{c_{r}min\{n_1,n_2\}}{\mu {log}^2(n_{3}max\{n_1,n_2\})},\mathrm{and}s\le c_s{n}_1{n}_2{n}_3\end{array}$$

(24)

where $c_l$ and $c_s$ are two sufficiently small numerical constants independent on the dimensions $n_1$, $n_2$ and $n_3$. Then the estimator defined in Model (18) satisfy the following inequalities:

$$\begin{array}{cc}\hfill \parallel \widehat{\underset{\_}{\mathrm{L}}}-{\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}& \le \left(\sqrt{1+\frac{1}{max\{n_1,n_2\}}}+8(1+2\sqrt{2})\sqrt{min\{n_1,n_2\}{n}_3}\right)\delta \hfill \\ \hfill \parallel \widehat{\underset{\_}{\mathrm{S}}}-{\underset{\_}{\mathrm{S}}}_0{\parallel }_{\mathrm{F}}& \le \left(\sqrt{1+max\{n_1,n_2\}}+8(1+2\sqrt{2})\sqrt{n_1{n}_2{n}_3}\right)\delta ,\hfill \end{array}$$

(25)

with probability at least $1-c_1{(n_{3}max\{n_1,n_2\})}^{-c_2}$ (over the choice of support of ${\underset{\_}{\mathrm{S}}}_0$), where $c_1$ and $c_2$ are positive constants independent on the dimensions $n_1$, $n_2$ and $n_3$.

The proof of Theorem 1 are given in the appendix. In Theorem 1, estimation errors on ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ are separately established. It indicates that the estimation error scales linearly with the noise level $\delta$, which is in consistence with the result in [37].

Remark 3.

A significant progress over [37] is that in the noiseless setting where ${\underset{\_}{\mathrm{E}}}_0$ vanishes, our analysis can provide exact recovery guarantee of ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$. This is because the tensor incoherence condition adopted in our analysis intrinsically ensures that the low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ is not sparse and thus can be separated from the sparse corruption tensor, whereas the non-spiky condition adopted in [37] fails to provide identifiability in the measurement Model (1).

For Theorem 1, we also give the following remark.

Remark 4.

The error bounds established in Theorem 1 are consistent with the theoretical analysis for the special cases shown in Remark 1.

(I).

When $\delta =0$, i.e., in the noiseless case, the error bounds in Theorem 1 will vanish, which means exact recovery of ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ can be guaranteed. This result is consistent with the analysis in [2] for TNN-based TRPCA Model (15).

(II).

When $n_3=1$, the error bound on the sparse component in Theorem 1 is consistent with the error bound shown in Equation (8) of [45]. The upper bound on error of the low-rank component in Theorem 1 is sharper than that given in Equation (8) of [45].

(III).

When $n_3=1$ and $\delta =0$, the proposed STPCP has consistent theoretical guarantee with the analysis of RPCA [46].

4. Algorithms

In this section, we design two algorithms. The first algorithm is based on the framework of ADMM [48] which has been extensively used in convex optimization with good convergence behavior. However, ADMM requires full SVDs on large matrices in each iteration which is high computational burden in high-dimensional settings. Thus, the second algorithm is proposed to solve this issue by using a factorization trick which can instead conducting SVDs on much smaller matrices.

4.1. An ADMM Algorithm

The proposed estimator (18) is equivalent to the following unconstrained problem:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}{\parallel }_{\mathrm{F}}^2+\gamma (\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{S}}{\parallel }_1),\end{array}$$

(26)

where $\gamma$ is a positive parameter balancing the data fidelity term and the regularization term.

Besides being corrupted by noises and outliers, the observed tensor $\underset{\_}{\mathrm{M}}$ may also suffer from missing entries which can be taken as outliers with known positions in many applications. Thus, it is more practical to consider the recovery of ${\underset{\_}{\mathrm{L}}}_0$ against outliers ${\underset{\_}{\mathrm{S}}}_0$, noises ${\underset{\_}{\mathrm{E}}}_0$ and missing entries shown in the following measurement model:

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{M}}=\underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0),\end{array}$$

(27)

where tensor $\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ denote the missing mask where ${\underset{\_}{\mathrm{B}}}_{ijk}=1$, if the $(i,j,k)$-th entry of $\underset{\_}{\mathrm{L}}$ is observed and ${\underset{\_}{\mathrm{B}}}_{ijk}=0$ otherwise, and ⊙ denotes element-wise multiplication. Taking into consideration of missing entries, Model (26) can be further modified as:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{S}}{\parallel }_1).\end{array}$$

(28)

By adding auxiliary variables to Problem (28), we obtain:

$$\begin{array}{cc}\hfill \underset{\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{R}},\underset{\_}{\mathrm{S}}}{min}& \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma \parallel \underset{\_}{\mathrm{K}}{\parallel }_{\mathrm{TNN}}+\gamma \lambda {\parallel \underset{\_}{\mathrm{R}}\parallel }_1\hfill \\ \hfill \mathrm{s}.\mathrm{t}.& \underset{\_}{\mathrm{K}}=\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{R}}=\underset{\_}{\mathrm{S}}.\hfill \end{array}$$

(29)

The Augmented Lagrangian (AL) of Problem (29) is given as follows:

$$\begin{array}{cc}\hfill {\mathrm{L}}_{\rho }(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}},{\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2)=\frac{1}{2}& \parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma \parallel \underset{\_}{\mathrm{K}}{\parallel }_{\mathrm{TNN}}+\gamma \lambda {\parallel \underset{\_}{\mathrm{R}}\parallel }_1\hfill \\ & +⟨{\underset{\_}{\mathrm{Y}}}_1,\underset{\_}{\mathrm{K}}-\underset{\_}{\mathrm{L}}⟩+\frac{\rho }{2}\parallel \underset{\_}{\mathrm{K}}-\underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_2,\underset{\_}{\mathrm{R}}-\underset{\_}{\mathrm{S}}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-\underset{\_}{\mathrm{S}}\parallel }_{\mathrm{F}}^2,\hfill \end{array}$$

(30)

where ${\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ are Lagrangian multipliers and $\rho$ is a penalty parameter.

According the strategy of ADMM, we update prime variables $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$ and $(\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}})$ by alternative minimization of AL in Problem (29) as follows

• Update $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$. We update $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$ by minimizing ${\mathrm{L}}_{\rho }$ with other variables fixed as follows:

  $$\begin{array}{cc}\hfill & ({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})\hfill \\ & =\underset{(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})}{argmin}{\mathrm{L}}_{\rho }(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},{\underset{\_}{\mathrm{K}}}^t,{\underset{\_}{\mathrm{R}}}^t,{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)\hfill \\ & =\underset{(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})}{argmin}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{K}}}^t-\underset{\_}{\mathrm{L}}⟩+\frac{\rho }{2}\parallel {\underset{\_}{\mathrm{K}}}^t-\underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_2^t,{\underset{\_}{\mathrm{R}}}^t-\underset{\_}{\mathrm{S}}⟩+\frac{\rho }{2}{\parallel {\underset{\_}{\mathrm{R}}}^t-\underset{\_}{\mathrm{S}}\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

  (31)
  Taking derivatives of the right-hand side of Equation (31) with respect to $\underset{\_}{\mathrm{L}}$ and $\underset{\_}{\mathrm{S}}$ respectively, and setting the results zero, we obtain:

  $$\begin{array}{cc}\hfill \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{t+1}+{\underset{\_}{\mathrm{S}}}^{t+1})-\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}-{\underset{\_}{\mathrm{Y}}}_1^t+\rho ({\underset{\_}{\mathrm{L}}}^{t+1}-{\underset{\_}{\mathrm{K}}}^t)& =\underset{\_}{0}\hfill \\ \hfill \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{t+1}+{\underset{\_}{\mathrm{S}}}^{t+1})-\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}-{\underset{\_}{\mathrm{Y}}}_2^t+\rho ({\underset{\_}{\mathrm{S}}}^{t+1}-{\underset{\_}{\mathrm{R}}}^t)& =\underset{\_}{0}.\hfill \end{array}$$

  (32)
  Resolving the above equation group yields:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{L}}}^{t+1}& =\left(\rho (\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\odot {\underset{\_}{\mathrm{K}}}^t+\rho \underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}+(\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\odot {\underset{\_}{\mathrm{Y}}}_1^t-\underset{\_}{\mathrm{B}}\odot {\underset{\_}{\mathrm{Y}}}_2^t-\rho \underset{\_}{\mathrm{B}}\odot {\underset{\_}{\mathrm{R}}}^t\right)\oslash \left(\rho (2\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\right),\hfill \\ \hfill {\underset{\_}{\mathrm{S}}}^{t+1}& =\left(\rho (\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\odot {\underset{\_}{\mathrm{R}}}^t+\rho \underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}+(\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\odot {\underset{\_}{\mathrm{Y}}}_2^t-\underset{\_}{\mathrm{B}}\odot {\underset{\_}{\mathrm{Y}}}_1^t-\rho \underset{\_}{\mathrm{B}}\odot {\underset{\_}{\mathrm{K}}}^t\right)\oslash \left(\rho (2\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1})\right),\hfill \end{array}$$

  (33)

  where ⊘ denotes entry-wise division and $\underset{\_}{1}$ denotes the tensor all whose entries are 1.
• Update $(\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}})$. We update $(\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}})$ by minimizing ${\mathrm{L}}_{\rho }$ with other variables fixed as follows

  $$\begin{array}{cc}\hfill & ({\underset{\_}{\mathrm{K}}}^{t+1},{\underset{\_}{\mathrm{R}}}^{t+1})\hfill \\ & =\underset{(\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}})}{argmin}{\mathrm{L}}_{\rho }({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1},\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}},{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)\hfill \\ & =\underset{(\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}})}{argmin}\gamma \parallel \underset{\_}{\mathrm{K}}{\parallel }_{\mathrm{TNN}}+\gamma \lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1+⟨{\underset{\_}{\mathrm{Y}}}_1^t,\underset{\_}{\mathrm{K}}-{\underset{\_}{\mathrm{L}}}^{t+1}⟩+\frac{\rho }{2}\parallel \underset{\_}{\mathrm{K}}-{\underset{\_}{\mathrm{L}}}^{t+1}{\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_2^t,\underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

  (34)
  Please note that Problem (34) can further be solved separately as follows:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{K}}}^{t+1}& =\underset{\underset{\_}{\mathrm{K}}}{argmin}\gamma \parallel \underset{\_}{\mathrm{K}}{\parallel }_{\mathrm{TNN}}+⟨{\underset{\_}{\mathrm{Y}}}_1^t,\underset{\_}{\mathrm{K}}-{\underset{\_}{\mathrm{L}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{K}}-{\underset{\_}{\mathrm{L}}}^{t+1}\parallel }_{\mathrm{F}}^2\hfill \\ & ={\mathfrak{S}}_{\gamma {\rho }^{-1}}^{{\parallel ·\parallel }_{\mathrm{TNN}}}\left({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t\right).\hfill \end{array}$$

  (35)

  and

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{R}}}^{t+1}& =\underset{\underset{\_}{\mathrm{R}}}{argmin}\gamma \lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1+⟨{\underset{\_}{\mathrm{Y}}}_1^t,\underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}\parallel }_{\mathrm{F}}^2\hfill \\ & ={\mathfrak{S}}_{\gamma \lambda {\rho }^{-1}}^{{\parallel ·\parallel }_1}\left({\underset{\_}{\mathrm{S}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_2^t\right),\hfill \end{array}$$

  (36)

  where ${\mathfrak{S}}_{\tau }^{{\parallel ·\parallel }_{\mathrm{TNN}}}(·)$ is the proximity operator of TNN [5]. and ${\mathfrak{S}}_{\tau }^{{\parallel ·\parallel }_1}(·)$ is the proximity operator of tensor $l_1$-norm given as follows [49]:

  $$\begin{array}{cc}\hfill {\mathfrak{S}}_{\tau }^{{\parallel ·\parallel }_1}(\underset{\_}{\mathrm{A}}):=& \underset{\underset{\_}{\mathrm{X}}}{argmin}\tau \parallel \underset{\_}{\mathrm{X}}{\parallel }_1+\frac{1}{2}\parallel \underset{\_}{\mathrm{X}}-\underset{\_}{\mathrm{A}}{\parallel }_{\mathrm{F}}^2=\mathrm{sign}(\underset{\_}{\mathrm{A}})\odot max\{(|\underset{\_}{\mathrm{A}}|-\tau ,0\},\hfill \end{array}$$
  In [5], a closed-form expression of ${\mathfrak{S}}_{\tau }(·)$ is given as follows:

  Lemma 3.

  (Proximity operator of TNN [5]) For any 3D tensor $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ with reduced t-SVD $\underset{\_}{\mathrm{A}}=\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, where $\underset{\_}{\mathrm{U}}\in {\mathbb{R}}^{n_1\times r\times n_3}$ and $\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{n_2\times r\times n_3}$ are orthogonal tensors and $\underset{\_}{\mathsf{\Lambda }}\in {\mathbb{R}}^{r\times r\times n_3}$ is the f-diagonal tensor of singular tubes, the proximity operator ${\mathfrak{S}}_{\tau }^{{\parallel ·\parallel }_{\mathrm{TNN}}}(\underset{\_}{\mathrm{A}})$ at $\underset{\_}{\mathrm{A}}$ can be computed by:

  $$\begin{array}{cc}\hfill {\mathfrak{S}}_{\tau }^{{\parallel ·\parallel }_{\mathrm{TNN}}}(\underset{\_}{\mathrm{A}}):=& \underset{\underset{\_}{\mathrm{X}}}{argmin}\tau \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\frac{1}{2}{\parallel \underset{\_}{\mathrm{X}}-\underset{\_}{\mathrm{A}}\parallel }_{\mathrm{F}}^2=\underset{\_}{\mathrm{U}}\ast ifft3(max(fft3(\underset{\_}{\mathsf{\Lambda }})-\tau ,0))\ast {\underset{\_}{\mathrm{V}}}^{\top },\hfill \end{array}$$
• Update $({\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2)$. The Lagrangian multipliers are updated by gradient ascent as follows:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{Y}}}_1^{t+1}& ={\underset{\_}{\mathrm{Y}}}_1^t+\rho ({\underset{\_}{\mathrm{K}}}^{t+1}-{\underset{\_}{\mathrm{L}}}^{t+1}),\hfill \\ \hfill {\underset{\_}{\mathrm{Y}}}_2^{t+1}& ={\underset{\_}{\mathrm{Y}}}_2^t+\rho ({\underset{\_}{\mathrm{R}}}^{t+1}-{\underset{\_}{\mathrm{S}}}^{t+1}).\hfill \end{array}$$

  (37)

The algorithm is summarized in Algorithm 1. The convergence analysis of Algorithm 1 is established in Theorem 2.

Algorithm 1 Solving Problem (29) using ADMM.

Input:  The observed tensor $\underset{\_}{\mathrm{M}}$, the parameters $\gamma ,\lambda ,\rho ,\delta$. 1: Initialize $t=0$, ${\underset{\_}{\mathrm{L}}}^0={\underset{\_}{\mathrm{S}}}^0={\underset{\_}{\mathrm{K}}}^0={\underset{\_}{\mathrm{R}}}^0={\underset{\_}{\mathrm{Y}}}_1^0={\underset{\_}{\mathrm{Y}}}_2^0=\underset{\_}{0}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ 2: for$t=0,\cdots ,{\mathrm{T}}_{max}$do 3: Update $({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})$ by Equation (33); 4: Update $({\underset{\_}{\mathrm{K}}}^{t+1},{\underset{\_}{\mathrm{R}}}^{t+1})$ by Equations (35)–(36); 5: Update $({\underset{\_}{\mathrm{Y}}}_1^{t+1},{\underset{\_}{\mathrm{Y}}}_2^{t+1})$ by Equation (37); 6: Check the convergence criteria: (i) convergence of variables: $\parallel {\underset{\_}{\mathrm{A}}}^{t+1}-{\underset{\_}{\mathrm{A}}}^t{\parallel }_{\infty }\le \delta ,\forall \underset{\_}{\mathrm{A}}\in \{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}}\}$, (ii) convergence of constraints: $max\{\parallel {\underset{\_}{\mathrm{K}}}^{t+1}-{\underset{\_}{\mathrm{L}}}^t{\parallel }_{\infty },\parallel {\underset{\_}{\mathrm{R}}}^{t+1}-{\underset{\_}{\mathrm{S}}}^{t+1}{\parallel }_{\infty }\}\le \delta$. 7: end for Output:  $(\widehat{\underset{\_}{\mathrm{L}}},\widehat{\underset{\_}{\mathrm{S}}})=({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})$.

Theorem 2

(Convergence of Algorithm 1). For any $\rho >0$, if the unaugmented Lagrangian $\mathrm{L}(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}},{\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2)$ has a saddle point, then the iterations $\mathrm{L}({\underset{\_}{\mathrm{L}}}^t,{\underset{\_}{\mathrm{S}}}^t,{\underset{\_}{\mathrm{K}}}^t,{\underset{\_}{\mathrm{R}}}^t,{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)$ in Algorithm 1 satisfy the residual convergence, objective convergence and dual variable convergence of Problem (29) as $t\to \infty$.

The proof of Theorem 2 is given in the Appendix A.

In a single iteration of Algorithm 1, the main cost comes from updating ${\underset{\_}{\mathrm{L}}}^t$ which involves computing FFT, IFFT and $n_3$ SVDs of $n_1\times n_2$ matrices [47]. Hence Algorithm 1 has per-iteration complexity of order $O\left(n_1{n}_2{n}_3(n_1\wedge n_2+log{n}_3)\right)$. Thus, if the total iteration number is T, then the total computational complexity is:

$$\begin{array}{c}\hfill O\left(\mathrm{T}{n}_1{n}_2{n}_3(min\{n_1,n_2\}+log{n}_3)\right).\end{array}$$

(38)

4.2. A Faster Algorithm

To reduce the cost of computing TNN which is a main cost of Algorithm 1, we propose the following lemma which indicates that TNN is orthogonal invariant.

Lemma 4.

Given a tensor $\underset{\_}{\mathrm{X}}\in {\mathbb{R}}^{r\times r\times n_3}$, let $\underset{\_}{\mathrm{Q}}\in {\mathbb{R}}^{n_1\times r\times n_3}$ a two semi-orthogonal tensors, i.e., ${\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}=\underset{\_}{\mathrm{I}}\in {\mathbb{R}}^{r\times r\times n_3}$ and $r\le min\{n_1,n_2\}$. Then, we have the following relationship:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}={\parallel \underset{\_}{\mathrm{X}}\parallel }_{\mathrm{TNN}}.\end{array}$$

The proof of Lemma 4 can be found in the appendix. Equipped with Lemma 4, we decompose the low-rank component in Problem (28) as follows:

$$\begin{array}{c}\hfill \underset{\_}{\mathrm{L}}=\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}},\mathrm{s}.\mathrm{t}.{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r,\end{array}$$

where ${\underset{\_}{\mathrm{I}}}_r\in {\mathbb{R}}^{r\times r\times n_3}$ is an identity tensor. The similar strategy has been used in low-rank matrix recovery from gross corruptions by [50]. Furthermore, we propose the following model for Problem (28):

$$\begin{array}{cc}\hfill \underset{\underset{\_}{\mathrm{Q}},\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{S}}}{min}& \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{S}}{\parallel }_1)\hfill \\ \hfill \mathrm{s}.\mathrm{t}.& {\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r,\hfill \end{array}$$

(39)

where r is an upper estimation of tubal rank of the underlying tensor $r^{\ast }=r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)$.

In contrast to Model (28), the proposed Model (39) is a non-convex optimization problem. That means Model (39) may have many local minima. We establish a connection between the proposed Model (39) with Model (28) in the following theorem.

Theorem 3

(Connection between Model (39) and Model (28)). Let $({\underset{\_}{\mathrm{Q}}}_{\ast },{\underset{\_}{\mathrm{X}}}_{\ast },{\underset{\_}{\mathrm{S}}}_{\ast })$ be a global optimal solution to Problem (39). Furthermore, let $({\underset{\_}{\mathrm{L}}}^{\star },{\underset{\_}{\mathrm{S}}}^{\star })$ be the solution to Problem (28), and $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}^{\star })\le r$, where r is the initialized tubal rank. Then $({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast },{\underset{\_}{\mathrm{S}}}_{\ast })$ is also the optimal solution to Problem (28).

The proof of Theorem 3 can be found in the appendix. Theorem 3 states that the global optimal point of the (non-convex) Model (39) coincides with solution of the (convex) Model (28). It further indicates that the accuracy of Model (39) cannot exceed Model (28), which can be validated numerically in the experiment section.

To solve Model (39), we also use the ADMM framework.

First, by adding auxiliary variables, we have the following problem:

$$\begin{array}{cc}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{R}},\underset{\_}{\mathrm{Q}},\underset{\_}{\mathrm{X}}}{min}& \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1)\hfill \\ \hfill \mathrm{s}.\mathrm{t}.& \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}=\underset{\_}{\mathrm{L}};\underset{\_}{\mathrm{R}}=\underset{\_}{\mathrm{S}};{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r.\hfill \end{array}$$

(40)

The augmented Lagrangian of Problem (40) is:

$$\begin{array}{cc}\hfill {\mathrm{L}}_2^{\prime }(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{R}},\underset{\_}{\mathrm{Q}},\underset{\_}{\mathrm{X}})& =\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1)\hfill \\ & +⟨{\underset{\_}{\mathrm{Y}}}_1,\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}-\underset{\_}{\mathrm{L}}⟩+\frac{\rho }{2}\parallel \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}-\underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_2,\underset{\_}{\mathrm{R}}-\underset{\_}{\mathrm{S}}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-\underset{\_}{\mathrm{S}}\parallel }_{\mathrm{F}}^2\hfill \\ & \mathrm{s}.\mathrm{t}.{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r.\hfill \end{array}$$

(41)

According the strategy of ADMM, we update prime variables $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$ and $(\underset{\_}{\mathrm{Q}},\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{R}})$ by alternative minimization of AL in Problem (41) as follows

• Update $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$: We update $(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$ by minimizing ${\mathrm{L}}_{\rho }^{\prime }$ with other variables fixed as follows:

  $$\begin{array}{cc}\hfill & ({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})\hfill \\ & =\underset{(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})}{argmin}{\mathrm{L}}_{\rho }^{\prime }(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},{\underset{\_}{\mathrm{Q}}}^t,{\underset{\_}{\mathrm{X}}}^t,{\underset{\_}{\mathrm{R}}}^t,{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)\hfill \\ & =\underset{(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})}{argmin}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Q}}}^t\ast {\underset{\_}{\mathrm{X}}}^t-\underset{\_}{\mathrm{L}}⟩+\frac{\rho }{2}\parallel {\underset{\_}{\mathrm{Q}}}^t\ast {\underset{\_}{\mathrm{X}}}^t-\underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{F}}^2+⟨{\underset{\_}{\mathrm{Y}}}_2^t,{\underset{\_}{\mathrm{R}}}^t-\underset{\_}{\mathrm{S}}⟩+\frac{\rho }{2}{\parallel {\underset{\_}{\mathrm{R}}}^t-\underset{\_}{\mathrm{S}}\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

  (42)
  Taking derivatives of the right-hand side with respect to $\underset{\_}{\mathrm{L}}$ and $\underset{\_}{\mathrm{S}}$ respectively, and setting the results zero, we obtain:

  $$\begin{array}{cc}\hfill \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{t+1}+{\underset{\_}{\mathrm{S}}}^{t+1})-\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}-{\underset{\_}{\mathrm{Y}}}_1^t+\rho ({\underset{\_}{\mathrm{L}}}^{t+1}-{\underset{\_}{\mathrm{Q}}}^t\ast {\underset{\_}{\mathrm{X}}}^t)& =\underset{\_}{0}\hfill \\ \hfill \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{t+1}+{\underset{\_}{\mathrm{S}}}^{t+1})-\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}-{\underset{\_}{\mathrm{Y}}}_2^t+\rho ({\underset{\_}{\mathrm{S}}}^{t+1}-{\underset{\_}{\mathrm{R}}}^t)& =\underset{\_}{0},\hfill \end{array}$$

  (43)
  Resolving the above equation group yields:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{L}}}^{t+1}& =\left((1+\rho ){\underset{\_}{\mathrm{Q}}}^t\ast {\underset{\_}{\mathrm{X}}}^t+\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}+{\underset{\_}{\mathrm{Y}}}_1^t-{\underset{\_}{\mathrm{R}}}^t\right)\oslash (2\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1}),\hfill \\ \hfill {\underset{\_}{\mathrm{S}}}^{t+1}& =\left((1+\rho ){\underset{\_}{\mathrm{R}}}^t+\underset{\_}{\mathrm{B}}\odot \underset{\_}{\mathrm{M}}+{\underset{\_}{\mathrm{Y}}}_2^t-{\underset{\_}{\mathrm{Q}}}^t\ast {\underset{\_}{\mathrm{X}}}^t\right)\oslash (2\underset{\_}{\mathrm{B}}+\rho \underset{\_}{1}).\hfill \end{array}$$

  (44)
• Update $\underset{\_}{\mathrm{Q}}$. We update $\underset{\_}{\mathrm{Q}}$ by minimizing ${\mathrm{L}}_{\rho }^{\prime }$ with other variables fixed as follows

  $$\begin{array}{c}\underset{{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r}{min}{\mathrm{L}}_{\rho }({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1},\underset{\_}{\mathrm{Q}},{\underset{\_}{\mathrm{X}}}^t,{\underset{\_}{\mathrm{R}}}^t,{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)\hfill \\ =\underset{{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r}{min}⟨{\underset{\_}{\mathrm{Y}}}_1^t,\underset{\_}{\mathrm{Q}}\ast {\underset{\_}{\mathrm{X}}}^t-{\underset{\_}{\mathrm{L}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{Q}}\ast {\underset{\_}{\mathrm{X}}}^t-{\underset{\_}{\mathrm{L}}}^{t+1}\parallel }_{\mathrm{F}}^2.\hfill \\ =\underset{{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r}{min}\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{Q}}\ast {\underset{\_}{\mathrm{X}}}^t-({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t)\parallel }_{\mathrm{F}}^2\hfill \\ =\mathfrak{P}\left(({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t)\ast {({\underset{\_}{\mathrm{X}}}^t)}^{\top }\right),\hfill \end{array}$$

  (45)

  where operator $\mathfrak{P}(·)$ is defined in Lemma 5 as follows.

  Lemma 5.

  ([51]) Given any tensors $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{r\times n_2\times n_3},\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, suppose tensor $\underset{\_}{\mathrm{B}}\ast {\underset{\_}{\mathrm{A}}}^{\top }$ has t-SVD $\underset{\_}{\mathrm{B}}\ast {\underset{\_}{\mathrm{A}}}^{\top }=\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, where $\underset{\_}{\mathrm{U}}\in {\mathbb{R}}^{n_1\times r\times n_3}$ and $\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{r\times r\times n_3}$. Then, the problem:

  $$\begin{array}{c}\hfill \underset{{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}={\underset{\_}{\mathrm{I}}}_r}{min}{\parallel \underset{\_}{P}\ast \underset{\_}{\mathrm{A}}-\underset{\_}{\mathrm{B}}\parallel }_{\mathrm{F}}^2\end{array}$$

  (46)

  has a closed-form solution as:

  $$\begin{array}{c}\hfill \underset{\_}{\mathrm{Q}}=\mathfrak{P}(\underset{\_}{\mathrm{B}}\ast {\underset{\_}{\mathrm{A}}}^{\top }):=\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{V}}}^{\top }.\end{array}$$

  (47)
• Update $(\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{R}})$:We update $(\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{S}})$ by minimizing ${\mathrm{L}}_{\rho }^{\prime }$ with other variables fixed as follows:

  $$\begin{array}{c}\underset{(\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{R}})}{min}{\mathrm{L}}_{\rho }({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1},{\underset{\_}{\mathrm{Q}}}^{t+1},\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{R}},{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Y}}}_2^t)\hfill \\ =\underset{(\underset{\_}{\mathrm{X}},\underset{\_}{\mathrm{R}})}{min}\gamma \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\gamma \lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1+⟨{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Q}}}^{t+1}\ast \underset{\_}{\mathrm{X}}-{\underset{\_}{\mathrm{L}}}^{t+1}⟩+\frac{\rho }{2}{\parallel {\underset{\_}{\mathrm{Q}}}^{t+1}\ast \underset{\_}{\mathrm{X}}-{\underset{\_}{\mathrm{L}}}^{t+1}\parallel }_{\mathrm{F}}^2\hfill \\ +⟨{\underset{\_}{\mathrm{Y}}}_2^t,\underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

  (48)
  Please note that Problem (48) can further be solved separately as follows:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{K}}}^{t+1}& =\underset{\underset{\_}{\mathrm{X}}}{argmin}\gamma \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+⟨{\underset{\_}{\mathrm{Y}}}_1^t,{\underset{\_}{\mathrm{Q}}}^{t+1}\ast \underset{\_}{\mathrm{X}}-{\underset{\_}{\mathrm{L}}}^{t+1}⟩+\frac{\rho }{2}{\parallel {\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{X}}-{\underset{\_}{\mathrm{L}}}^{t+1}\parallel }_{\mathrm{F}}^2\hfill \\ & =\underset{\underset{\_}{\mathrm{X}}}{argmin}\gamma \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\frac{\rho }{2}{\parallel {\underset{\_}{\mathrm{Q}}}^{t+1}\ast \underset{\_}{\mathrm{X}}-({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t)\parallel }_{\mathrm{F}}^2\hfill \\ & \stackrel{(i)}{=}\underset{\underset{\_}{\mathrm{X}}}{argmin}\gamma \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{X}}-{({\underset{\_}{\mathrm{Q}}}^{t+1})}^{\top }\ast ({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t)\parallel }_{\mathrm{F}}^2\hfill \\ & ={\mathfrak{S}}_{\gamma {\rho }^{-1}}^{{\parallel ·\parallel }_{\mathrm{TNN}}}\left({({\underset{\_}{\mathrm{Q}}}^{t+1})}^{\top }\ast ({\underset{\_}{\mathrm{L}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_1^t).\right)\hfill \end{array}$$

  (49)

  and

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{R}}}^{t+1}& =\underset{\underset{\_}{\mathrm{R}}}{argmin}\gamma \lambda \parallel \underset{\_}{\mathrm{R}}{\parallel }_1+⟨{\underset{\_}{\mathrm{Y}}}_1^t,\underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}⟩+\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{R}}-{\underset{\_}{\mathrm{S}}}^{t+1}\parallel }_{\mathrm{F}}^2\hfill \\ & ={\mathfrak{S}}_{\gamma \lambda {\rho }^{-1}}^{{\parallel ·\parallel }_1}\left({\underset{\_}{\mathrm{K}}}^{t+1}-{\rho }^{-1}{\underset{\_}{\mathrm{Y}}}_2^t\right).\hfill \end{array}$$

  (50)
  The equality $(i)$ in Equation (49) holds because according to ${\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}=\underset{\_}{\mathrm{I}}$, we have:

  $$\begin{array}{cc}\hfill \underset{\underset{\_}{\mathrm{X}}}{min}{\parallel \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}-\underset{\_}{\mathrm{Y}}\parallel }_{\mathrm{F}}^2& =\underset{\overline{\mathbf{X}}}{min}\frac{1}{n_3}{\parallel \overline{\mathbf{Q}}·\overline{\mathbf{X}}-\overline{\mathbf{Y}}\parallel }_{\mathrm{F}}^2\hfill \\ & =\underset{\overline{\mathbf{X}}}{min}\frac{1}{n_3}\parallel \overline{\mathbf{Y}}{\parallel }_{\mathrm{F}}^2-\frac{2}{n_3}⟨\overline{\mathbf{Q}}·\overline{\mathbf{X}},\overline{\mathbf{Y}}⟩+\frac{1}{n_3}{\parallel \overline{\mathbf{Q}}·\overline{\mathbf{X}}\parallel }_{\mathrm{F}}^2\hfill \\ & =\underset{\overline{\mathbf{X}}}{min}\frac{1}{n_3}\parallel \overline{\mathbf{Y}}{\parallel }_{\mathrm{F}}^2-\frac{2}{n_3}⟨\overline{\mathbf{X}},{\overline{\mathbf{Q}}}^{\mathsf{H}}\overline{\mathbf{Y}}⟩+\frac{1}{n_3}{\parallel \overline{\mathbf{X}}\parallel }_{\mathrm{F}}^2\hfill \\ & =\underset{\overline{\mathbf{X}}}{min}\frac{1}{n_3}{\parallel \overline{\mathbf{X}}-{\overline{\mathbf{Q}}}^{\mathsf{H}}\overline{\mathbf{Y}}\parallel }_{\mathrm{F}}^2\hfill \\ & =\underset{\underset{\_}{\mathrm{X}}}{min}\frac{\rho }{2}{\parallel \underset{\_}{\mathrm{X}}-{\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Y}}\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

  (51)
• Update $({\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2)$. The Lagrangian multipliers are updated by gradient ascent as follows:

  $$\begin{array}{cc}\hfill {\underset{\_}{\mathrm{Y}}}_1^{t+1}& ={\underset{\_}{\mathrm{Y}}}_1^t+\rho ({\underset{\_}{\mathrm{Q}}}^{t+1}\ast {\underset{\_}{\mathrm{X}}}^{t+1}-{\underset{\_}{\mathrm{L}}}^{t+1}),\hfill \\ \hfill {\underset{\_}{\mathrm{Y}}}_2^{t+1}& ={\underset{\_}{\mathrm{Y}}}_2^t+\rho ({\underset{\_}{\mathrm{R}}}^{t+1}-{\underset{\_}{\mathrm{S}}}^{t+1}).\hfill \end{array}$$

  (52)

The algorithmic steps are summarized in Algorithm 2. The complexity analysis is given as follows.

In each iteration of Algorithm 2, the update of $\underset{\_}{\mathrm{L}}$ requires FFT/IFFT, and $n_3$ multiplications of $n_1$-by-r and r-by-$n_2$ matrices, which costs $O\left((n_1{n}_2+r{n}_1+r_{n}2)n_{3}log{n}_3+r{n}_1{n}_2{n}_3\right)$; updating $\underset{\_}{\mathrm{S}}$ costs $O\left(n_1{n}_2{n}_3\right)$; updating of $\underset{\_}{\mathrm{Q}}$ involves FFT/IFFT and $n_3$ SVDs of $n_1$-by-r matrices, which costs $O\left(r{n}_1{n}_{3}log{n}_3+r^2{n}_1{n}_3\right)$; updating $\underset{\_}{\mathrm{X}}$ involves FFT/IFFT and $n_3$ SVDs of r-by-$n_2$, which costs $O\left(r{n}_2{n}_{3}log{n}_3+r^2{n}_2{n}_3)\right)$. Then, the per-iteration computational complexity of Algorithm 2 is dominated by:

$$\begin{array}{c}\hfill O\left(max\left\{n_1{n}_2{n}_{3}log{n}_3,r^2(n_1+n_2)n_3\right\}\right).\end{array}$$

Since the low-tubal-rank assumption $r\ll min\{n_1,n_2\}$ is adopted in this paper, the per-iteration of Algorithm 2 is much lower than Algorithm 1.

Algorithm 2 Solving Problem (40) using ADMM.

Input:  The observed tensor $\underset{\_}{\mathrm{M}}$, an upper estimation r of $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)$, the parameters $\gamma ,\lambda ,\rho ,\delta$. 1: Initialize $t=0$, ${\underset{\_}{\mathrm{L}}}^0={\underset{\_}{\mathrm{S}}}^0={\underset{\_}{\mathrm{R}}}^0={\underset{\_}{\mathrm{Y}}}_1^0={\underset{\_}{\mathrm{Y}}}_2^0=\underset{\_}{0}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, ${\underset{\_}{\mathrm{Q}}}^0=\underset{\_}{0}\in {\mathbb{R}}^{n_1\times r\times n_3}$, ${\underset{\_}{\mathrm{X}}}^0=\underset{\_}{0}\in {\mathbb{R}}^{r\times n_2\times n_3}$. 2: for$t=0,\cdots ,{\mathrm{T}}_{max}$do 3: Update $({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})$ by Equation (42); 4: Update ${\underset{\_}{\mathrm{Q}}}^{t+1}$ by Equation (45); 5: Update $({\underset{\_}{\mathrm{X}}}^{t+1},{\underset{\_}{\mathrm{R}}}^{t+1})$ by Equations (49)–(50); 6: Update $({\underset{\_}{\mathrm{Y}}}_1^{t+1},{\underset{\_}{\mathrm{Y}}}_2^{t+1})$ by Equation (52); 7: Check the convergence criteria: (i) convergence of variables: $\parallel {\underset{\_}{\mathrm{A}}}^{t+1}-{\underset{\_}{\mathrm{A}}}^t{\parallel }_{\infty }\le \delta ,\forall \underset{\_}{\mathrm{A}}\in \{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{R}},\underset{\_}{\mathrm{Q}},\underset{\_}{\mathrm{X}}\}$ (ii) convergence of constraints: $max\{\parallel {\underset{\_}{\mathrm{Q}}}^{t+1}\ast {\underset{\_}{\mathrm{X}}}^{t+1}-{\underset{\_}{\mathrm{L}}}^t{\parallel }_{\infty },\parallel {\underset{\_}{\mathrm{R}}}^{t+1}-{\underset{\_}{\mathrm{S}}}^{t+1}{\parallel }_{\infty }\}\le \delta$. 8: end for Output:  $(\widehat{\underset{\_}{\mathrm{L}}},\widehat{\underset{\_}{\mathrm{S}}})=({\underset{\_}{\mathrm{L}}}^{t+1},{\underset{\_}{\mathrm{S}}}^{t+1})$.

5. Experiments

5.1. Synthetic Data

We first verify the correctness of Theorem 1. Specifically, we check whether the following two statements indicated in Theorem 1 hold in experiments on synthetic data sets:

(I).

(Exact recovery in the noiseless setting.) Our analysis guarantees that the underlying low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ and sparse tensor ${\underset{\_}{\mathrm{S}}}_0$ can be exactly recovered in the noiseless setting. This statement will be checked in Section 5.1.1.

(II).

(Linear scaling of errors with the noise level.) In Theorem 1, the estimation errors on ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ scales linearly with the noise level $\delta$. This statement will be checked in Section 5.1.2.

Signal Generation. With a given tubal rank $r_0$, we first generate the underlying tensor ${\underset{\_}{\mathrm{L}}}_0\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ by ${\underset{\_}{\mathrm{L}}}_0=\underset{\_}{\mathrm{A}}\ast \underset{\_}{\mathrm{B}}/n_3$, where tensors $\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times r_0\times n_3}$ and $\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{r_0\times n_2\times n_3}$ are generated with i.i.d. standard Gaussian elements. Then, the sparse corruption tensor ${\underset{\_}{\mathrm{S}}}_0$ is generated by choosing its support uniformly at random. The non-zero elements of ${\underset{\_}{\mathrm{S}}}_0$ will be i.i.d. sampled from a certain distribution that will be specified afterwards. Furthermore, the noise tensor ${\underset{\_}{\mathrm{E}}}_0$ is generated with entries sampled i.i.d. from $\mathcal{N}(0,{\sigma }^2)$ with $\sigma =c\parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}/\sqrt{n_1{n}_2{n}_3}$, where we set constant c is to control the signal noise ratio. Finally, the observed tensor $\underset{\_}{\mathrm{M}}$ is formed by $\underset{\_}{\mathrm{M}}={\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0$.

5.1.1. Exact Recovery in the Noiseless Setting

We first check Statement (I), i.e., exact recovery in the noiseless setting. Specifically, we will show that Algorithm 1 and Algorithm 2 can exactly recover the underlying tensor ${\underset{\_}{\mathrm{L}}}_0$ and the sparse corruption ${\underset{\_}{\mathrm{S}}}_0$. We first test the recovery performance of different tensor sizes by setting $n=n_1=n_2\in \{100,160,200\}$ and $n_3=20$, with $(r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0),\parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_0)=(0.05n,0.05n^2{n}_3)$. The non-zero elements of tensor ${\underset{\_}{\mathrm{S}}}_0$ is sampled from i.i.d. symmetric Bernoulli distribution, i.e., the possibility of being 1 or −1 are 1/2. The results are shown in Table 1. It can be seen that both Algorithm 1 and Algorithm 2 can obtain relative standard error (RSE) smaller than $1\mathrm{e}-5$ by which we can say that ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ are exact recovered. We can also see that Algorithm 2 runs much faster than Algorithm 1.

Table 1. Performance of Algorithm 1 and Algorithm 2 in both accuracy and speed for different tensor sizes when the gross corruption. Outliers from symmetric Bernoulli, observation tensor $\underset{\_}{\mathrm{M}}\in {\mathbb{R}}^{n\times n\times n_3}$, $n_3=30$, $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)=0.05n$, $\parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1=0.05n^2{n}_3$, noise level $c=0$, $r=max\left\{\lfloor 2r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)\rfloor ,15\right\}$.

n	${\mathit{r}}_{\mathbf{tubal}}$${\underset{\_}{\mathbf{L}}}_0$	$\parallel {\underset{\_}{\mathbf{S}}}_0{\parallel }_0$	Method	${\mathit{r}}_{\mathbf{tubal}}$$\widehat{\underset{\_}{\mathbf{L}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{L}}}-{\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}{\parallel {\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{S}}}-{\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}{\parallel {\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}$	time/s
100	5	$1\times {10}^4$	Algorithm 1	5	$5.13\times {10}^{-6}$	$5.27\times {10}^{-6}$	3.63
			Algorithm 2	5	$4.92\times {10}^{-6}$	$5.12\times {10}^{-6}$	1.76
160	8	$2.56\times {10}^4$	Algorithm 1	8	$3.86\times {10}^{-6}$	$3.52\times {10}^{-6}$	9.52
			Algorithm 2	8	$4.48\times {10}^{-6}$	$4.08\times {10}^{-6}$	4.42
200	10	$4\times {10}^4$	Algorithm 1	10	$3.46\times {10}^{-6}$	$3.59\times {10}^{-6}$	14.16
			Algorithm 2	10	$4.12\times {10}^{-6}$	$4.63\times {10}^{-6}$	7.44

We then test whether the recovery performance can be affected by the distribution of the corruptions. This is done by choosing the non-zeros elements of ${\underset{\_}{\mathrm{S}}}_0$ from i.i.d. standard Gaussian distribution. The experimental results are reported in Table 2. We can find that both Algorithm 1 and Algorithm 2 can exactly recover the true ${\underset{\_}{\mathrm{L}}}_0$ and ${\underset{\_}{\mathrm{S}}}_0$ and Algorithm 2 runs much faster than Algorithm 1.

Table 2. Performance of Algorithm 1 and Algorithm 2 in both accuracy and speed for different tensor sizes when the gross corruption. Outliers from standard Gaussian distribution, observation tensor $\underset{\_}{\mathrm{M}}\in {\mathbb{R}}^{n\times n\times n_3}$, $n_3=30$, $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)=0.05n$, $\parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1=0.05n^2{n}_3$, noise level $c=0$, $r=max\left\{\lfloor 2r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)\rfloor ,15\right\}$.

n	${\mathit{r}}_{\mathbf{tubal}}$${\underset{\_}{\mathbf{L}}}_0$	$\parallel {\underset{\_}{\mathbf{S}}}_0{\parallel }_0$	Method	${\mathit{r}}_{\mathbf{tubal}}$$\widehat{\underset{\_}{\mathbf{L}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{L}}}-{\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}{\parallel {\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{S}}}-{\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}{\parallel {\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}$	time/s
100	5	$1\times {10}^4$	Algorithm 1	5	$2.7\times {10}^{-6}$	$2.6\times {10}^{-6}$	4.43
			Algorithm 2	5	$2.9\times {10}^{-6}$	$3.2\times {10}^{-6}$	1.82
160	8	$2.56\times {10}^4$	Algorithm 1	8	$4.76\times {10}^{-6}$	$4.08\times {10}^{-6}$	10.45
			Algorithm 2	8	$4.24\times {10}^{-6}$	$4.05\times {10}^{-6}$	5.15
200	10	$4\times {10}^4$	Algorithm 1	10	$3.78\times {10}^{-6}$	$3.64\times {10}^{-6}$	18.97
			Algorithm 2	10	$3.78\times {10}^{-6}$	$3.63\times {10}^{-6}$	8.04

We also conduct STPCP by Algorithm 1 and Algorithm 2 with missing entries. After generating ${\underset{\_}{\mathrm{L}}}_0$, ${\underset{\_}{\mathrm{S}}}_0$ and ${\underset{\_}{\mathrm{E}}}_0$, we get the observation by Model (27). We choose the support of $\underset{\_}{\mathrm{B}}$ uniformly at random with possibility $0.8$ and then set elements in the chosen support to be 1. Thus, %20 of the entries are missing. The corrupted observation M is then formed by $\underset{\_}{\mathrm{M}}=\underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0)$. We show the recover results in Table 3. We can see that the underlying low-rank tensor ${\underset{\_}{\mathrm{L}}}_0$ can be exactly recovered and the observed part of the corruption tensor $\underset{\_}{\mathrm{B}}\odot {\underset{\_}{\mathrm{S}}}_0$ can also be exactly recovered (Please note that it is impossible to recover the unobserved entries of a sparse tensor ${\underset{\_}{\mathrm{S}}}_0$ [52]).

Table 3. Performance of Algorithm 1 and Algorithm 2 in both accuracy and speed for different tensor sizes when the gross corruption. Outliers from symmetric Bernoulli, observation tensor $\underset{\_}{\mathrm{M}}\in {\mathbb{R}}^{n\times n\times n_3}$, $n_3=30$, $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)=0.05n$, $\parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1=0.05n^2{n}_3$, noise level $c=0$, $r=max\left\{\lfloor 2r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)\rfloor ,15\right\}$, with $\%20$ random missing entries.

n	${\mathit{r}}_{\mathbf{tubal}}$${\underset{\_}{\mathbf{L}}}_0$	$\parallel \underset{\_}{\mathbf{B}}\odot {\underset{\_}{\mathbf{S}}}_0{\parallel }_0$	Method	${\mathit{r}}_{\mathbf{tubal}}$$\widehat{\underset{\_}{\mathbf{L}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{L}}}-{\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}{\parallel {\underset{\_}{\mathbf{L}}}_0{\parallel }_{\mathit{F}}}$	$\frac{\parallel \widehat{\underset{\_}{\mathbf{S}}}-\underset{\_}{\mathit{B}}\odot {\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}{\parallel \underset{\_}{\mathit{B}}\odot {\underset{\_}{\mathbf{S}}}_0{\parallel }_{\mathit{F}}}$	time/s
100	5	$8\times {10}^3$	Algorithm 1	5	$7.52\times {10}^{-6}$	$5.97\times {10}^{-6}$	3.87
			Algorithm 2	5	$7.50\times {10}^{-6}$	$5.96\times {10}^{-6}$	1.69
160	8	$2.048\times {10}^4$	Algorithm 1	8	$4.46\times {10}^{-6}$	$5.17\times {10}^{-6}$	9.64
			Algorithm 2	8	$5.60\times {10}^{-6}$	$4.71\times {10}^{-6}$	4.46
200	10	$3.2\times {10}^4$	Algorithm 1	10	$4.78\times {10}^{-6}$	$4.04\times {10}^{-6}$	14.78
			Algorithm 2	10	$5.13\times {10}^{-6}$	$4.20\times {10}^{-6}$	7.77

5.1.2. Linear Scaling of Errors with the Noise Level

We then verify Statement (II) that the estimation errors have linear scale behavior with respect to the noise level. The estimation errors are measured using the mean-squared-error (MSE):

$$\begin{array}{c}\hfill \mathrm{M}\mathrm{S}\mathrm{E}(\widehat{\underset{\_}{\mathrm{L}}})=\frac{\parallel \widehat{\underset{\_}{\mathrm{L}}}-{\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}^2}{n_1{n}_2{n}_3},\mathrm{M}\mathrm{S}\mathrm{E}(\widehat{\underset{\_}{\mathrm{S}}})=\frac{\parallel \widehat{\underset{\_}{\mathrm{S}}}-{\underset{\_}{\mathrm{S}}}_0{\parallel }_{\mathrm{F}}^2}{n_1{n}_2{n}_3},\end{array}$$

for the low rank component ${\underset{\_}{\mathrm{L}}}_0$ and the sparse component ${\underset{\_}{\mathrm{S}}}_0$, respectively. We test tensors of 3 different size by choosing $n\in \{60,80,100\}$ and $n_3=20$. The tubal rank $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)$ of ${\underset{\_}{\mathrm{L}}}_0$ and sparsity s of ${\underset{\_}{\mathrm{S}}}_0$ are set as $(r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0),s)=(5,0.1n^2{n}_3)$. We vary the signal noise ratio $c=0.03:0.03:0.6$ which is in proportional of the noise level $\delta$. We run the proposed Algorithm 1, test 50 trials, and report the averaged MSEs. The MSEs of $\widehat{\underset{\_}{\mathrm{L}}}$ and ${\underset{\_}{\mathrm{S}}}_0$ versus $c^2$ are shown in sub-figures (a) and (b) in Figure 4. We can see that the estimation error has linear scaling behavior along with the noise level as Theorem 1 indicates. Since the results for $n=80$ and $n=100$ are quite similar to the case of $n=60$, they are simply omitted.

Figure 4. The MSEs of $\widehat{\underset{\_}{\mathrm{L}}}$ and ${\underset{\_}{\mathrm{S}}}_0$ versus $c^2$ for tensors of size $60\times 60\times 20$ where the tubal rank $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0)$ of ${\underset{\_}{\mathrm{L}}}_0$ and sparsity s of ${\underset{\_}{\mathrm{S}}}_0$ are set as $(r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}_0),s)=(5,0.1n^2{n}_3)$. (a): MSE of $\widehat{\underset{\_}{\mathrm{L}}}$ vs $c^2$. (b): MSE of $\widehat{\underset{\_}{\mathrm{S}}}$ vs $c^2$.

5.2. Real Data Sets

In this section, experiments on real data sets (color images and videos) are carried out to evaluate the effectiveness and efficiency of the proposed Algorithms 1 and 2. Besides noises and sparse corruptions, we also consider missing values which is more challenging. The proposed algorithms are compared with the following typical models:

(I).

NN-I: tensor recovery based on matrix nuclear norms of frontal slices formulated as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{E}}){\parallel }_{\mathrm{F}}+\gamma {\displaystyle \sum _{k=1}^{n_3}}(\parallel {\mathbf{L}}_{(k)}{\parallel }_{\ast }+\lambda \parallel {\mathbf{S}}^{(k)}{\parallel }_1).\end{array}$$

(53)

This model will be used for image restoration in Section 5.2.1. Please note that Model (53) is equivalent to parallel matrix recovery on each frontal slice.

(II).

NN-II: tensor recovery based on matrix nuclear norm formulated as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{E}}){\parallel }_{\mathrm{F}}+{\gamma \parallel \mathbf{L}\parallel }_{\ast }+\gamma \lambda {\parallel \underset{\_}{\mathrm{S}}\parallel }_1,\end{array}$$

(54)

where $\mathbf{L}=[{\mathbf{l}}_1,{\mathbf{l}}_2,\cdots ,{\mathbf{l}}_{n_3}]\in {\mathbb{R}}^{n_1{n}_2\times n_3}$ with ${\mathbf{l}}_k:=\mathrm{vec}({\mathbf{L}}^{(k)})\in {\mathbb{R}}^{n_1{n}_2}$ defined as the vectorization [40] of frontal slices ${\mathbf{L}}^{(k)}$, for all $k=1,2,\cdots ,n_3$. This model will be used for video restoration in Section 5.2.2.

(III).

SNN: tensor recovery based on SNN formulated as follows:

$$\begin{array}{c}\hfill \underset{\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}}}{min}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot (\underset{\_}{\mathrm{M}}-\underset{\_}{\mathrm{L}}-\underset{\_}{\mathrm{E}}){\parallel }_{\mathrm{F}}+\gamma {\displaystyle \sum _{i=1}^3}{\alpha }_m\parallel {\mathbf{L}}_{(i)}{\parallel }_{\ast }+\gamma {\parallel \underset{\_}{\mathrm{S}}\parallel }_1,\end{array}$$

(55)

where ${\mathbf{L}}_{(i)}\in {\mathbb{R}}^{n_i\times {\prod }_{j\ne i}{n}_j}$ is the mode-i matriculation of tensor $\underset{\_}{\mathrm{L}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, for all $i=1,2,3$.

We solve the above Model (53)–(55) using ADMM implemented by ourselves in Matlab. The effectiveness of the algorithms is measured by Peaks Signal Noise Ratio (PSNR):

$$\begin{array}{c}\hfill \mathrm{PSNR}:=10{log}_{10}\left(\frac{n_1{n}_2{n}_3{\parallel {\underset{\_}{\mathrm{L}}}_0\parallel }_{\infty }^2}{\parallel \widehat{\underset{\_}{\mathrm{L}}}-{\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}^2}\right).,\end{array}$$

Please note that a larger PSNR value indicates higher quality of $\widehat{\underset{\_}{\mathrm{L}}}$.

5.2.1. Color Images

Color images are the most commonly used 3-way tensors. We test the twenty 256-by-256-by-3 color images which have been used in [37], and carry out robust tensor recovery with missing entries (see Figure 5). Following [37], for a color image ${\underset{\_}{\mathrm{L}}}_0\in {\mathbb{R}}^{n\times n\times 3}$, we choose its support uniformly at random with ratio ${\rho }_{\mathrm{s}}$ and fill in the values with i.i.d. symmetric Bernoulli variables to generate ${\underset{\_}{\mathrm{S}}}_0$. The noise tensor ${\underset{\_}{\mathrm{E}}}_0$ is generated with i.i.d. zero-mean Gaussian entries whose standard deviation is given by $\sigma =0.05\parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}/\sqrt{3n^2}$. Then, we form the binary observation mask $\underset{\_}{\mathrm{B}}$ by choosing its support uniformly at random with ratio ${\rho }_{\mathrm{obs}}$. Finally, the partially observed corruption $\underset{\_}{\mathrm{M}}=\underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0)$ are formed.

Figure 5. The 20 color images used.

We consider two scenarios by setting $({\rho }_{\mathrm{obs}},{\rho }_{\mathrm{s}})\in \{(0.9,0.1),(0.8,0.2)\}$. For NN (Model (53)), we set the regularization parameters $\lambda =1/\sqrt{n{\rho }_{\mathrm{obs}}}$ (suggested by [46]), and set parameter $\gamma =\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$ where $\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$ is estimated as $6.5\sigma \sqrt{3{\rho }_{\mathrm{obs}}nlog(6n)}$ (suggested by [5]). For SNN, the parameters are chosen to satisfy $\gamma =0.05$, ${\alpha }_1={\alpha }_2=\sqrt{3n{\rho }_{\mathrm{obs}}},{\alpha }_3=0.01\sqrt{3n{\rho }_{\mathrm{obs}}}$. For Algorithm 1 and Algorithm 2, we set $\gamma =0.3\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$, and $\lambda =1/\sqrt{3n{\rho }_{\mathrm{obs}}}$. The initialized rank r in Algorithm 2 is set as 60. In each setting, we test each color image for 10 times and report the averaged PSNR and time. For quantitative comparison, we show the PSNR values and running times in Figure 6 and Figure 7 for settings of $({\rho }_{\mathrm{obs}},{\rho }_{\mathrm{s}})=(0.9,0.1)$ and $({\rho }_{\mathrm{obs}},{\rho }_{\mathrm{s}})=(0.8,0.2)$, respectively. Several visual examples are shown in Figure 8 for qualitative comparison for the setting of $({\rho }_{\mathrm{obs}},{\rho }_{\mathrm{s}})=(0.8,0.2)$. We can see from Figure 6, Figure 7 and Figure 8 that the proposed Algorithm 1 has the highest recovery quality and the proposed Algorithm 2 has the second highest quality but the fastest running time.

Figure 6. The quantitative comparison in PSNR and time on color images. First, $10\%$ entries of each image is corrupted by i.i.d. symmetric Bernoulli variable, then polluted by Gaussian noise of noise level $c=0.05$, and finally $10\%$ of the corrupted entries are missing uniformly at random. (a): the PSNR values of each algorithm; (b): the running time of each algorithm.

Figure 7. The quantitative comparison in PSNR and time on color images. First, $20\%$ entries of each image is corrupted by i.i.d. symmetric Bernoulli variable, then polluted by Gaussian noise of noise level $c=0.05$, and finally $20\%$ of the corrupted entries are missing uniformly at random. (a): the PSNR values of each algorithm; (b): the running time of each algorithm.

Figure 8. The visual results for image recovery of different algorithms. First, $20\%$ entries of each image is corrupted by i.i.d. symmetric Bernoulli variable, then polluted by Gaussian noise of noise level $c=0.05$, and finally $20\%$ of the corrupted entries are missing uniformly at random. (a): the original image; (b): the corrupted image; (c) image recovered by Algorithm 1; (d) image recovered by Algorithm 2; (e) image recovered by the matrix nuclear norm (NN)-based Model (53); (f) image recovered by the SNN-based Model (55).

5.2.2. Videos

In this subsection, video restoration experiments are conducted on four broadly used YUV videos (They can be downloaded from https://sites.google.com/site/subudhibadri/fewhelpfuldownloads: Akiyo_qcif, Scilent_qcif, Carphone_qcif, and Claire_qcif.) Owing to computational limitation, we simply use the first 32 frames of the Y components of all the videos which results in four 144-by-176-by-30 tensors. For a 3-way data tensor ${\underset{\_}{\mathrm{L}}}_0\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, To generate corruption ${\underset{\_}{\mathrm{S}}}_0$, the support is chosen uniformly at random with ratio ${\rho }_{\mathrm{s}}$ and then elements in the support are filled in with i.i.d. symmetric Bernoulli variables. The noise tensor ${\underset{\_}{\mathrm{E}}}_0$ is also generated with i.i.d. zero-mean Gaussian entries whose standard deviation is given by $\sigma =0.05\parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}/\sqrt{n_1{n}_2{n}_3}$. Then, the binary observation mask $\underset{\_}{\mathrm{B}}$ is formed thorough choosing its support uniformly at random with ratio ${\rho }_{\mathrm{obs}}$. Finally, the partially observed corruption $\underset{\_}{\mathrm{M}}=\underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0+{\underset{\_}{\mathrm{E}}}_0)$ are formed.

We also consider two scenarios by setting $({\rho }_{\mathrm{obs}},{\rho }_{\mathrm{s}})\in \{(0.9,0.1),(0.8,0.2)\}$. NN-II Model (54) is used in video restoration. For NN-II, we set the regularization parameters $\lambda =1/\sqrt{n_1{n}_2{\rho }_{\mathrm{obs}}}$ (suggested by [46]), and set parameter $\gamma =\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$ where $\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$ is estimated as $6.5\sigma \sqrt{{\rho }_{\mathrm{obs}}{n}_1{n}_{3}log((n_1+n_2)n_3)}$ (suggested by [5]). For SNN, the parameters are chosen to satisfy $\gamma =0.05$, ${\alpha }_1={\alpha }_2=\sqrt{n_1{n}_3{\rho }_{\mathrm{obs}}},{\alpha }_3=5\sqrt{n_1{n}_3{\rho }_{\mathrm{obs}}}$. For Algorithm 1 and Algorithm 2, we set $\gamma =0.3\parallel {\underset{\_}{\mathrm{E}}}_0{\parallel }_{\mathrm{sp}}$, and $\lambda =1/\sqrt{max\{n_1,n_2\}{n}_3{\rho }_{\mathrm{obs}}}$ after careful parameter tuning. The initialized rank r in Algorithm 2 is set as 60. In each setting, we test each video for 10 times and report the averaged PSNR and time. For quantitative comparison, we show the PSNR values and running times in Table 4. It can be seen that Algorithm 1 has the highest recovery quality and the proposed Algorithm 2 has the second highest quality but the fastest running time.

Table 4. PSNR values and running time (in seconds) of different algorithms on video data. First, ${\rho }_{\mathrm{s}}{n}_1{n}_2{n}_3$ entries of each image is corrupted by i.i.d. symmetric Bernoulli variable, then polluted by Gaussian noise of noise level $c=0.05$, and finally $(1-{\rho }_{\mathrm{obs}})n_1{n}_2{n}_3$ of the corrupted entries are missing uniformly at random. The items with highest PSNR values are highlighted with bold face, and the items with shortest running time are highlighted with underline.

Data Set	$({\mathit{\rho }}_{\mathbf{obs}},{\mathit{\rho }}_{\mathbf{s}})$	Index	NN, Model (54)	SNN, Model (55)	Algorithm 1	Algorithm 2
Akiyo	(0.9,0.1)	PSNR	31.74	32.09	33.94	33.36
		time/s	29.48	51.13	20.10	12.39
	(0.8,0.2)	PSNR	30.59	30.70	32.44	32.07
		time/s	30.65	51.17	19.53	14.92
Silent	(0.9,0.1)	PSNR	28.26	30.39	31.74	31.23
		time/s	28.91	49.79	21.21	14.76
	(0.8,0.2)	PSNR	26.95	27.60	30.42	30.07
		time/s	36.51	60.81	22.43	15.62
Carphone	(0.9,0.1)	PSNR	26.87	28.79	29.15	28.94
		time/s	28.55	47.17	22.12	14.41
	(0.8,0.2))	PSNR	26.12	26.43	28.17	27.99
		time/s	26.72	49.21	20.55	14.74
Claire	(0.9,0.1)	PSNR	30.56	32.20	34.27	34.02
		time/s	29.75	47.32	21.43	13.52
	(0.8,0.2)	PSNR	29.94	30.43	32.96	32.78
		time/s	29.43	50.46	19.47	13.04

6. Conclusions

This paper studied the problem of stable tensor principal component pursuit which aims to recover a tensor from noises and sparse corruptions. We proposed a constrained tubal nuclear norm-based model and established upper bounds on the estimation error. In contrast to prior work [37], our theory can guarantee exact recovery in the noiseless setting. We also designed two algorithms, the first ADMM algorithm can be accelerated by the second Algorithm which adopts a factorization strategy. We validated the correctness of our theory by simulations on synthetic data, and evaluated the effectiveness and efficiency of the proposed algorithms via experiments on color images and videos.

For future directions, it is a natural and interesting extension to consider recovery of 4-way tensors [35] with arbitrary linear transformation [53,54]. It is also interesting to use tensor factorization-based methods [55,56] for STPCP. Another challenging future direction is developing tools to verify whether the unknown tensor satisfies the tensor incoherence condition from its incomplete or corrupted observations.

For extensions of the proposed approach to higher-way tensors, we produce the following two ideas:

• By recursively applying DFT over successive modes higher than 3 and then unfolding the obtained tensor into 3-way [57], the proposed algorithms and theoretical analysis can be extended to higher-way tensors.
• By using the overlapped orientation invariant tubal nuclear norm [58], we can extend the proposed algorithm to higher-order cases and obtain orientation invariance.

Appendix A.1. The Proof of Theorem 1

Appendix A.1.1. Key Lemmas for the Proof of Theorem 1

Before Proving Theorem 1, we should define some notations and operators first.

Suppose ${\underset{\_}{\mathrm{L}}}_0\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ with tubal rank r has the skinny t-SVD ${\underset{\_}{\mathrm{L}}}_0=\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, where $\underset{\_}{\mathrm{U}}\in {\mathbb{R}}^{n_1\times r\times n_3},\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{r\times n_2\times n_3}$ are orthogonal tensors, and $\underset{\_}{\mathsf{\Lambda }}\in {\mathbb{R}}^{r\times r\times n_3}$ is an f-diagonal tensor. Define the following set:

$$\begin{array}{c}\hfill \mathsf{T}:=\left\{\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathrm{A}}+\underset{\_}{\mathrm{B}}\ast {\underset{\_}{\mathrm{V}}}^{\top }|\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{r\times n_2\times n_3},\underset{\_}{\mathrm{B}}\in {\mathbb{R}}^{n_1\times r\times n_3}\right\}\subset {\mathbb{R}}^{n_1\times n_2\times n_3}.\end{array}$$

(A1)

Then, define the projector onto $\mathsf{T}$ for any tensor $\underset{\_}{\mathrm{T}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$ as follows:

$$\begin{array}{cc}\hfill {\mathcal{P}}_{\mathsf{T}}(\underset{\_}{\mathrm{T}})& :=\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{U}}}^{\top }\ast \underset{\_}{\mathrm{T}}+\underset{\_}{\mathrm{T}}\ast \underset{\_}{\mathrm{V}}\ast {\underset{\_}{\mathrm{V}}}^{\top }-\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{U}}}^{\top }\ast \underset{\_}{\mathrm{T}}\ast \underset{\_}{\mathrm{V}}\ast {\underset{\_}{\mathrm{V}}}^{\top },\hfill \\ \hfill {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{T}})& :=(\underset{\_}{\mathrm{I}}-\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{U}}}^{\top })\ast \underset{\_}{\mathrm{T}}\ast (\underset{\_}{\mathrm{I}}-\underset{\_}{\mathrm{V}}\ast {\underset{\_}{\mathrm{V}}}^{\top }).\hfill \end{array}$$

(A2)

Let ${\mathsf{\Omega }}^{\perp }$ be the complement of $\mathsf{\Omega }\subset [n_1]\times [n_2]\times [n_3]$ which is the support of ${\underset{\_}{\mathrm{S}}}_0$. Then, define two operators ${\mathcal{P}}_{\mathsf{\Omega }},{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}$ as follows:

$$\begin{array}{c}\hfill {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\mathrm{T}}):=\sum _{(i,j,k)\in \mathsf{\Omega }}⟨\underset{\_}{\mathrm{T}},{\mathring{\mathfrak{e}}}_i\ast {\dot{\mathfrak{e}}}_k\ast {\mathring{\mathfrak{e}}}_j^{\top }⟩,{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\mathrm{T}}):=\sum _{(i,j,k)\in {\mathsf{\Omega }}^{\perp }}⟨\underset{\_}{\mathrm{T}},{\mathring{\mathfrak{e}}}_i\ast {\dot{\mathfrak{e}}}_k\ast {\mathring{\mathfrak{e}}}_j^{\top }⟩,\end{array}$$

(A3)

for any $\underset{\_}{\mathrm{T}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}$.

Define two sets $\mathsf{\Gamma }$ and ${\mathsf{\Gamma }}^{\perp }$ as follows:

$$\begin{array}{c}\hfill \mathsf{\Gamma }=\{(\underset{\_}{\mathrm{A}},\underset{\_}{\mathrm{A}})|\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}\},{\mathsf{\Gamma }}^{\perp }=\{(\underset{\_}{\mathrm{A}},-\underset{\_}{\mathrm{A}})|\underset{\_}{\mathrm{A}}\in {\mathbb{R}}^{n_1\times n_2\times n_3}\}.\end{array}$$

(A4)

Then, for any tensors ${\underset{\_}{\mathrm{X}}}_{\iota },{\underset{\_}{\mathrm{X}}}_s\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, the projectors of the tensor $\underset{\_}{\mathit{X}}=({\underset{\_}{\mathrm{X}}}_{\iota },{\underset{\_}{\mathrm{X}}}_s)$ into the sets $\mathsf{\Gamma }$ and ${\mathsf{\Gamma }}^{\perp }$ are given as follows, respectively:

$$\begin{array}{c}\hfill {\mathcal{P}}_{\mathsf{\Gamma }}(\underset{\_}{\mathit{X}})=\left(\frac{{\underset{\_}{\mathrm{X}}}_{\iota }+{\underset{\_}{\mathrm{X}}}_s}{2},\frac{{\underset{\_}{\mathrm{X}}}_{\iota }+{\underset{\_}{\mathrm{X}}}_s}{2}\right),{\mathcal{P}}_{{\mathsf{\Gamma }}^{\perp }}(\underset{\_}{\mathit{X}})=\left(\frac{{\underset{\_}{\mathrm{X}}}_{\iota }-{\underset{\_}{\mathrm{X}}}_s}{2},\frac{{\underset{\_}{\mathrm{X}}}_s-{\underset{\_}{\mathrm{X}}}_{\iota }}{2}\right).\end{array}$$

(A5)

For any tensors ${\underset{\_}{\mathrm{X}}}_{\iota },{\underset{\_}{\mathrm{X}}}_s\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, define two operators on $\underset{\_}{\mathit{X}}=({\underset{\_}{\mathrm{X}}}_{\iota },{\underset{\_}{\mathrm{X}}}_s)$ as follows:

$$\begin{array}{c}\hfill ({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})(\underset{\_}{\mathit{X}})=({\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }),{\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)),({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }})(\underset{\_}{\mathit{X}})=({\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\mathrm{X}}}_{\iota }),{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\mathrm{X}}}_s)).\end{array}$$

(A6)

Also define two norms as follows:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\mathit{X}}{\parallel }_{\mathrm{F}}=\sqrt{\parallel {\underset{\_}{\mathrm{X}}}_{\iota }{\parallel }_{\mathrm{F}}^2+{\parallel {\underset{\_}{\mathrm{X}}}_s\parallel }_{\mathrm{F}}^2},{\parallel \underset{\_}{\mathit{X}}\parallel }_{\mathrm{F},\mu }=\sqrt{\parallel {\underset{\_}{\mathrm{X}}}_{\iota }{\parallel }_{\mathrm{F}}^2+{\mu }^2{\parallel {\underset{\_}{\mathrm{X}}}_s\parallel }_{\mathrm{F}}^2}.\end{array}$$

(A7)

where $\mu$ is a constant that will be determined afterwards.

We first give Lemma A1 which can be seen as a modified version of Lemma C.1 in [2].

Lemma A1.

Assume that $\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}\parallel \le \frac{1}{2}$, and $\lambda \le \frac{1}{2\sqrt{n_3}}$. Suppose there exists a tensor ${\underset{\_}{\mathrm{G}}}^{\ast }$ satisfying the following conditions:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{G}}}^{\ast })=\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{V}}}^{\top },\hfill \\ \parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\mathrm{G}}}^{\ast }){\parallel }_{\mathrm{sp}}\le \frac{1}{2},\hfill \\ \parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{G}}}^{\ast }-\lambda \mathrm{sign}({\underset{\_}{\mathrm{S}}}_0)){\parallel }_{\mathrm{F}}\le \frac{\lambda }{4},\hfill \\ \parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\mathrm{G}}}^{\ast }){\parallel }_{\infty }\le \frac{\lambda }{2}.\hfill \end{array}\right.\end{array}$$

(A8)

Then for any perturbation $\underset{\_}{\Delta }\in {\mathbb{R}}^{n_1\times n_2\times n_3}$, one has:

$$\begin{array}{c}\parallel {\underset{\_}{\mathrm{L}}}_0+\underset{\_}{\Delta }{\parallel }_{\mathrm{TNN}}+\lambda {\parallel {\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\Delta }\parallel }_1\hfill \\ \ge \parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1+\left(\frac{3}{4}-{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}})\parallel }_{\mathrm{sp}}\right)\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{TNN}}+\left(\frac{3}{4}\lambda -{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\parallel \underset{\_}{\mathrm{G}}{\parallel }_{\infty })\right){\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\Delta )\parallel }_1.\hfill \end{array}$$

(A9)

Proof. 

Let ${\underset{\_}{\mathrm{G}}}_{\iota }\in \partial {\parallel {\underset{\_}{\mathrm{L}}}_0\parallel }_{\mathrm{TNN}}$, i.e., any sub-gradient of ${\parallel ·\parallel }_{\mathrm{TNN}}$ at ${\underset{\_}{\mathrm{L}}}_0$, then it satisfies:

$$\begin{array}{c}\hfill {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{G}}}_{\iota })=\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{V}}}^{\top },{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\mathrm{G}}}_{\iota })\parallel }_{\mathrm{sp}}\le 1.\end{array}$$

(A10)

${\underset{\_}{\mathrm{G}}}_{\iota }\in \partial {\parallel {\underset{\_}{\mathrm{L}}}_0\parallel }_{\mathrm{TNN}}$ and ${\underset{\_}{\mathrm{G}}}_s\in \partial (\lambda \parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1)$. According to the convexity of ${\parallel ·\parallel }_{\mathrm{TNN}}$ and ${\parallel ·\parallel }_1$, we have:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\mathrm{L}}}_0+\underset{\_}{\Delta }{\parallel }_{\mathrm{TNN}}\ge \parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{TNN}}+⟨{\underset{\_}{\mathrm{G}}}_{\iota },\underset{\_}{\Delta }⟩,\lambda \parallel {\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\Delta }{\parallel }_1\ge \lambda {\parallel {\underset{\_}{\mathrm{S}}}_0\parallel }_1-⟨{\underset{\_}{\mathrm{G}}}_s,\underset{\_}{\Delta }⟩.\end{array}$$

(A11)

By choosing ${\underset{\_}{\mathrm{G}}}_{\iota }=\underset{\_}{\mathrm{U}}\ast {\underset{\_}{\mathrm{V}}}^{\top }+\underset{\_}{P}\ast {\underset{\_}{\mathrm{Q}}}^{\top }$, where $\underset{\_}{P}$ and $\underset{\_}{\mathrm{Q}}$ comes from the skinny t-SVD of ${\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })=\underset{\_}{P}\ast \sum _{\_}\ast {\underset{\_}{\mathrm{Q}}}^{\top }$, one has:

$$\begin{array}{cc}\hfill ⟨{\underset{\_}{\mathrm{G}}}_{\iota },\underset{\_}{\Delta }⟩& =⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩+⟨{\underset{\_}{\mathrm{G}}}_{\iota }-\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩=⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩+⟨{\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\mathrm{G}}}_{\iota }),{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })⟩-⟨{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}}),{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })⟩\hfill \\ & =⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩-(1-\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}}){\parallel }_{\mathrm{sp}})\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{TNN}}.\hfill \end{array}$$

(A12)

Also, by choosing ${\underset{\_}{\mathrm{G}}}_s=\lambda sign({\underset{\_}{\mathrm{S}}}_0)-sign({\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }))$, one has:

$$\begin{array}{cc}\hfill -⟨{\underset{\_}{\mathrm{G}}}_s,\underset{\_}{\Delta }⟩& =-⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩-⟨{\underset{\_}{\mathrm{G}}}_s-\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩\hfill \\ & =-⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩-⟨{\mathcal{P}}_{\mathsf{\Omega }}(\lambda sign({\underset{\_}{\mathrm{S}}}_0)-\underset{\_}{\mathrm{G}}),{\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta })⟩-⟨{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\mathrm{G}}}_s),{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta })⟩+⟨{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\mathrm{G}}),{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta })⟩\hfill \\ & \ge -⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩-\parallel {\mathcal{P}}_{\mathsf{\Omega }}(\lambda sign({\underset{\_}{\mathrm{S}}}_0)-\underset{\_}{\mathrm{G}}){\parallel }_{\mathrm{F}}\parallel {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }){\parallel }_1-\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\mathrm{G}}){\parallel }_{\infty }{\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta })\parallel }_1\hfill \\ & \ge -⟨\underset{\_}{\mathrm{G}},\underset{\_}{\Delta }⟩-\frac{\lambda }{4}\parallel {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+(1-\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\mathrm{G}}){\parallel }_{\infty })\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }){\parallel }_1\hfill \end{array}$$

(A13)

Also note that:

$$\begin{array}{cc}\hfill \parallel {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}& \le \parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })\parallel }_{\mathrm{F}}\hfill \\ & \le \parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })\parallel }_{\mathrm{F}}\hfill \\ & \le \frac{1}{2}\parallel \underset{\_}{\Delta }{\parallel }_{\mathrm{F}}+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })\parallel }_{\mathrm{F}}\hfill \\ & \le \frac{1}{2}\parallel {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+\frac{1}{2}\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })\parallel }_{\mathrm{F}}\hfill \end{array}$$

(A14)

which leads to:

$$\begin{array}{cc}\hfill \parallel {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}& \le \parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}+2\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{F}}\le \parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta }){\parallel }_1+2\sqrt{n_3}{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta })\parallel }_{\mathrm{TNN}}.\hfill \end{array}$$

(A15)

Putting things together, we have:

$$\begin{array}{c}\parallel {\underset{\_}{\mathrm{L}}}_0+\underset{\_}{\Delta }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\Delta }{\parallel }_1-(\parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1)\hfill \\ \ge \left(1-\frac{\lambda \sqrt{n_3}}{2}-{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}})\parallel }_{\mathrm{sp}}\right)\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{TNN}}+\left(\frac{3}{4}\lambda -{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\parallel \underset{\_}{\mathrm{G}}{\parallel }_{\infty })\right){\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\underset{\_}{\Delta })\parallel }_1.\hfill \end{array}$$

(A16)

Since $\lambda \le \frac{1}{2\sqrt{n_3}}$, it holds that:

$$\begin{array}{cc}\hfill & \parallel {\underset{\_}{\mathrm{L}}}_0+\underset{\_}{\Delta }{\parallel }_{\mathrm{TNN}}+\lambda {\parallel {\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\Delta }\parallel }_1\hfill \\ \hfill & \ge \parallel {\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_0{\parallel }_1+\left(\frac{3}{4}-{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}})\parallel }_{\mathrm{sp}}\right)\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\Delta }){\parallel }_{\mathrm{TNN}}+\left(\frac{3}{4}\lambda -{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\parallel \underset{\_}{\mathrm{G}}{\parallel }_{\infty })\right){\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\Delta )\parallel }_1,\hfill \end{array}$$

for any perturbation $\underset{\_}{\Delta }\in {\mathbb{R}}^{n_1\times n_2\times n_3}$. □

Lemma A2.

Suppose that $\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}\parallel \le 1/2$, then for any $\underset{\_}{\mathbf{X}}=({\underset{\_}{\mathrm{X}}}_{\iota },{\underset{\_}{\mathrm{X}}}_s)$, we have:

$$\begin{array}{c}\hfill \parallel {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})(\underset{\_}{\mathbf{X}}){\parallel }_{\mathrm{F},\mu }^2\ge \frac{1+{\mu }^2}{8}{\parallel {\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\mathbf{X}})\parallel }_{\mathrm{F}}^2.\end{array}$$

(A17)

Proof. 

According to the definitions of ${\mathcal{P}}_{\mathsf{\Gamma }}$ and ${\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}$, we have:

$$\begin{array}{c}\hfill {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})(\underset{\_}{\mathbf{X}})=\left(\frac{{\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota })+{\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)}{2},\frac{{\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota })+{\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)}{2}\right).\end{array}$$

(A18)

Then, we have:

$$\begin{array}{cc}\hfill \parallel {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})(\underset{\_}{\mathbf{X}}){\parallel }_{\mathrm{F},\mu }^2& =(1+{\mu }^2)·\frac{1}{4}·\left(\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}^2+2⟨{\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }),{\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)⟩\right)\hfill \\ & \stackrel{}{=}\frac{(1+{\mu }^2)}{4}\left(\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}^2+2⟨{\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}{\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }),{\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)⟩\right)\hfill \\ & \stackrel{}{\ge }\frac{(1+{\mu }^2)}{4}\left(\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s){\parallel }_{\mathrm{F}}^2-2\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}\parallel \parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}\right)\hfill \\ & \stackrel{}{\ge }\frac{(1+{\mu }^2)}{4}\left(\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s){\parallel }_{\mathrm{F}}^2-2·\frac{1}{2}\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}\right)\hfill \\ & \stackrel{}{\ge }\frac{(1+{\mu }^2)}{4}\left(\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}^2-\frac{\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\mathrm{X}}}_{\iota }){\parallel }_{\mathrm{F}}^2+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\mathrm{X}}}_s)\parallel }_{\mathrm{F}}^2}{2}\right)\hfill \\ & =\frac{(1+{\mu }^2)}{8}{\parallel {\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}(\underset{\_}{\mathbf{X}})\parallel }_{\mathrm{F}}^2.\hfill \end{array}$$

(A19)

Hence completes the proof. □

Appendix A.1.2. Proof of Theorem 1

Proof. 

For $\underset{\_}{\mathbf{X}}=(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}})$, define $\parallel \underset{\_}{\mathbf{X}}{\parallel }_{\diamond }=\parallel \underset{\_}{\mathrm{L}}{\parallel }_{\mathrm{TNN}}+\lambda {\parallel \underset{\_}{\mathrm{S}}\parallel }_1$. Let $\underset{\_}{\widehat{\mathbf{X}}}=(\widehat{\underset{\_}{\mathrm{L}}},\widehat{\underset{\_}{\mathrm{S}}})$,${\underset{\_}{\mathbf{X}}}^{\ast }=({\underset{\_}{\mathrm{L}}}_0,{\underset{\_}{\mathrm{S}}}_0)$. According to the optimality of $(\widehat{\underset{\_}{\mathrm{L}}},\widehat{\underset{\_}{\mathrm{S}}})$ and the feasibility of $({\underset{\_}{\mathrm{L}}}_0,{\underset{\_}{\mathrm{S}}}_0)$, we directly have:

$$\begin{array}{cc}\hfill & \parallel \underset{\_}{\widehat{\mathbf{X}}}{\parallel }_{\diamond }\le {\parallel {\underset{\_}{\mathbf{X}}}^{\ast }\parallel }_{\diamond },\hfill \end{array}$$

(A20)

$$\begin{array}{cc}\hfill & \parallel \widehat{\underset{\_}{\mathrm{L}}}+\widehat{\underset{\_}{\mathrm{S}}}-\underset{\_}{\mathrm{M}}{\parallel }_{\mathrm{F}}\le \delta ,\hfill \end{array}$$

(A21)

$$\begin{array}{cc}\hfill & \parallel {\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\mathrm{M}}{\parallel }_{\mathrm{F}}\le \delta .\hfill \end{array}$$

(A22)

Let ${\underset{\_}{\Delta }}_{\iota }=\widehat{\underset{\_}{\mathrm{L}}}-{\underset{\_}{\mathrm{L}}}_0$, ${\underset{\_}{\Delta }}_s=\widehat{\underset{\_}{\mathrm{S}}}-{\underset{\_}{\mathrm{S}}}_0$. Then, we have:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\Delta }}_{\iota }+{\underset{\_}{\Delta }}_s{\parallel }_{\mathrm{F}}=\parallel \widehat{\underset{\_}{\mathrm{L}}}+\widehat{\underset{\_}{\mathrm{S}}}-\underset{\_}{\mathrm{M}}-({\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}\le \parallel \widehat{\underset{\_}{\mathrm{L}}}+\widehat{\underset{\_}{\mathrm{S}}}-\underset{\_}{\mathrm{M}}{\parallel }_{\mathrm{F}}+{\parallel {\underset{\_}{\mathrm{L}}}_0+{\underset{\_}{\mathrm{S}}}_0-\underset{\_}{\mathrm{M}}\parallel }_{\mathrm{F}}\le 2\delta .\end{array}$$

(A23)

Define the pair of error tensors $\underset{\_}{\Delta }=\underset{\_}{\widehat{\mathbf{X}}}-{\underset{\_}{\mathbf{X}}}^{\ast }=({\underset{\_}{\Delta }}_{\iota },{\underset{\_}{\Delta }}_s)$. The goal is to bound $\parallel \underset{\_}{\Delta }{\parallel }_{\mathrm{F},\mu }$.

First, we use the decomposition $\underset{\_}{\Delta }={\mathcal{P}}_{\mathsf{\Gamma }}(\underset{\_}{\Delta })+{\mathcal{P}}_{{\mathsf{\Gamma }}^{\perp }}(\underset{\_}{\Delta })$, and let ${\underset{\_}{\Delta }}^{\mathsf{\Gamma }}={\mathcal{P}}_{\mathsf{\Gamma }}(\underset{\_}{\Delta })=({\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }},{\underset{\_}{\Delta }}_s^{\mathsf{\Gamma }})=(\frac{{\underset{\_}{\Delta }}_{\iota }+{\underset{\_}{\Delta }}_s}{2},\frac{{\underset{\_}{\Delta }}_{\iota }+{\underset{\_}{\Delta }}_s}{2}),{\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}={\mathcal{P}}_{{\mathsf{\Gamma }}^{\perp }}(\underset{\_}{\Delta })=({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }},{\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})=(\frac{{\underset{\_}{\Delta }}_{\iota }-{\underset{\_}{\Delta }}_s}{2},\frac{{\underset{\_}{\Delta }}_s-{\underset{\_}{\Delta }}_{\iota }}{2})$ for simplicity. Then, we have:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\Delta }{\parallel }_{\mathrm{F},\mu }=\parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}+{\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }\stackrel{}{\le }\parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}{\parallel }_{\mathrm{F},\mu }+{\parallel {\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}\parallel }_{\mathrm{F},\mu }.\end{array}$$

(A24)

Please note that ${\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }}={\underset{\_}{\Delta }}_s^{\mathsf{\Gamma }}=\frac{{\underset{\_}{\Delta }}_{\iota }+{\underset{\_}{\Delta }}_s}{2}$, thus $\parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}{\parallel }_{\mathrm{F},\mu }$ can be bounded easily as follows:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}{\parallel }_{\mathrm{F},\mu }=\sqrt{\parallel {\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }}{\parallel }_{\mathrm{F}}^2+{\mu }^2{\parallel {\underset{\_}{\Delta }}_s^{\mathsf{\Gamma }}\parallel }_{\mathrm{F}}^2}=\frac{\sqrt{1+{\mu }^2}}{2}{\parallel {\underset{\_}{\Delta }}_{\iota }+{\underset{\_}{\Delta }}_s\parallel }_{\mathrm{F}}\le \delta \sqrt{1+{\mu }^2}.\end{array}$$

(A25)

Then, it remains to bound $\parallel {\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }$. Due to the triangular inequality:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }\le \parallel ({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }+{\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}\parallel }_{\mathrm{F},\mu },\end{array}$$

(A26)

(A) bound $\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }$. According to the convexity of ${\parallel ·\parallel }_{\diamond }$ we have:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\mathbf{X}}}^{\ast }+\underset{\_}{\Delta }{\parallel }_{\diamond }=\parallel {\underset{\_}{\mathbf{X}}}^{\ast }+{\underset{\_}{\Delta }}^{\mathsf{\Gamma }}+{\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\diamond }\ge \parallel {\underset{\_}{\mathbf{X}}}^{\ast }+{\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\diamond }-{\parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}\parallel }_{\diamond }.\end{array}$$

(A27)

Using Lemma A1, we have:

$$\begin{array}{cc}\hfill \parallel {\underset{\_}{\mathbf{X}}}^{\ast }+{\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\diamond }& \ge \parallel {\underset{\_}{\mathbf{X}}}^{\ast }{\parallel }_{\diamond }+\left(\frac{3}{4}-{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}(\underset{\_}{\mathrm{G}})\parallel }_{\mathrm{sp}}\right)\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{TNN}}+\left(\frac{3}{4}\lambda -{\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}(\parallel \underset{\_}{\mathrm{G}}{\parallel }_{\infty })\right){\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})\parallel }_1\hfill \\ & \ge \parallel {\underset{\_}{\mathbf{X}}}^{\ast }{\parallel }_{\diamond }+\frac{1}{4}{\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}\parallel }_{\diamond }.\hfill \end{array}$$

(A28)

Combining Equations (A20), (A27) and (A28), we have:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}{\parallel }_{\diamond }\ge \frac{1}{4}{\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}\parallel }_{\diamond }\end{array}$$

(A29)

Then, with $\mu =\sqrt{n_3}\lambda$, we reach a bound on $\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }$ as follows:

$$\begin{array}{cc}\hfill \parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }& \le \parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F}}+\mu {\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F}}\hfill \\ & \le \sqrt{n_3}\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{TNN}}+\mu {\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})\parallel }_1\hfill \\ & \stackrel{}{\le }\sqrt{n_3}\left(\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{TNN}}+\lambda {\parallel {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})\parallel }_1\right)\hfill \\ & \le \sqrt{n_3}{\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}\parallel }_{\diamond }\hfill \\ & \stackrel{}{\le }4\sqrt{n_3}{\parallel {\underset{\_}{\Delta }}^{\mathsf{\Gamma }}\parallel }_{\diamond }\hfill \\ & \le 4\sqrt{n_3}\left(\parallel {\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }}{\parallel }_{\mathrm{TNN}}+\lambda {\parallel {\underset{\_}{\Delta }}_s^{\mathsf{\Gamma }}\parallel }_1\right)\hfill \\ & \stackrel{}{\le }4\sqrt{n_3}\left(\sqrt{min\{n_1,n_2\}}\parallel {\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }}{\parallel }_{\mathrm{F}}+\lambda \sqrt{n_1{n}_2{n}_3}{\parallel {\underset{\_}{\Delta }}_s^{\mathsf{\Gamma }}\parallel }_{\mathrm{F}}\right)\hfill \\ & \stackrel{}{=}4\sqrt{n_3}\left(\sqrt{min\{n_1,n_2\}}+\lambda \sqrt{n_1{n}_2{n}_3}\right){\parallel {\underset{\_}{\Delta }}_{\iota }^{\mathsf{\Gamma }}\parallel }_{\mathrm{F}}\hfill \\ & \stackrel{}{\le }4\sqrt{n_3}\left(\sqrt{min\{n_1,n_2\}}+\lambda \sqrt{n_1{n}_2{n}_3}\right)\delta .\hfill \end{array}$$

(A30)

(B) bound $\parallel ({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}){\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}{\parallel }_{\mathrm{F},\mu }$. Please note that:

$$\begin{array}{c}\hfill {\mathcal{P}}_{\mathsf{\Gamma }}({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})\stackrel{}{=}\underset{\_}{\mathbf{0}}={\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})+{\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}),\end{array}$$

(A31)

which means:

$$\begin{array}{cc}\hfill \parallel {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F},\mu }& =\parallel {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})){\parallel }_{\mathrm{F},\mu }\stackrel{}{\le }{\parallel {\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }}({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F},\mu }.\hfill \end{array}$$

(A32)

According to Lemma A2, we have:

$$\begin{array}{cc}\hfill \parallel ({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F},\mu }& \stackrel{}{\le }\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F}}+\mu {\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F}}\hfill \\ & \stackrel{}{\le }\sqrt{1+{\mu }^2}\sqrt{\parallel {\mathcal{P}}_{\mathsf{T}}({\underset{\_}{\Delta }}_{\iota }^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F}}^2+{\parallel {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\Delta }}_s^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F}}^2}\hfill \\ & \stackrel{}{=}\sqrt{1+{\mu }^2}{\parallel {\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }}({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F}}\hfill \\ & \stackrel{}{\le }\sqrt{1+{\mu }^2}·\sqrt{\frac{8}{\sqrt{1+{\mu }^2}}}·{\parallel {\mathcal{P}}_{\mathsf{\Gamma }}({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F}}.\hfill \end{array}$$

(A33)

According to Equations (A32) and (A33), we obtain:

$$\begin{array}{c}\hfill \parallel ({\mathcal{P}}_{\mathsf{T}}\times {\mathcal{P}}_{\mathsf{\Omega }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }}){\parallel }_{\mathrm{F},\mu }\le 2\sqrt{2}{\parallel ({\mathcal{P}}_{{\mathsf{T}}^{\perp }}\times {\mathcal{P}}_{{\mathsf{\Omega }}^{\perp }})({\underset{\_}{\Delta }}^{{\mathsf{\Gamma }}^{\perp }})\parallel }_{\mathrm{F},\mu }.\end{array}$$

(A34)

Thus, combing Equations (A24), (A25), (A30) and (A34), and setting $\mu =\sqrt{n_3}\lambda$, we obtain:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\Delta }{\parallel }_{\mathrm{F},\mu }\le \left(\sqrt{1+n_3{\lambda }^2}+4(1+2\sqrt{2})\left(\sqrt{min\{n_1,n_2\}{n}_3}+n_3\lambda \sqrt{n_1{n}_2}\right)\right)\delta .\end{array}$$

(A35)

Since $\lambda =\frac{1}{\sqrt{max\{n_1,n_2\}{n}_3}}$, we have:

$$\begin{array}{c}\hfill \parallel \underset{\_}{\Delta }{\parallel }_{\mathrm{F},\mu }\le \left(\sqrt{1+\frac{1}{max\{n_1,n_2\}}}+8(1+2\sqrt{2})\sqrt{min\{n_1,n_2\}{n}_3}\right)\delta ,\end{array}$$

(A36)

which indicates that:

$$\begin{array}{cc}\hfill \parallel \widehat{\underset{\_}{\mathrm{L}}}-{\underset{\_}{\mathrm{L}}}_0{\parallel }_{\mathrm{F}}& \le \left(\sqrt{1+\frac{1}{max\{n_1,n_2\}}}+8(1+2\sqrt{2})\sqrt{min\{n_1,n_2\}{n}_3}\right)\delta \hfill \\ \hfill \parallel \widehat{\underset{\_}{\mathrm{S}}}-{\underset{\_}{\mathrm{S}}}_0{\parallel }_{\mathrm{F}}& \le \left(\sqrt{1+max\{n_1,n_2\}}+8(1+2\sqrt{2})\sqrt{n_1{n}_2{n}_3}\right)\delta .\hfill \end{array}$$

(A37)

Moreover, according to the analysis in [2], the conditions $\parallel {\mathcal{P}}_{\mathsf{\Omega }}{\mathcal{P}}_{\mathsf{T}}\parallel \le \frac{1}{2}$ and Equation (A8) in Lemma A1 hold with probability at least $1-c_1{(n_{3}max\{n_1,n_2\})}^{-c_2}$, where $c_1$ and $c_2$ are positive constants.

In this way, the proof of Theorem 1 is completed. □

Appendix A.2. Proof of Theorem 2

Proof. 

The key idea is to rewrite Problem (29) into a standard two-block ADMM problem. For notational simplicity, let:

$$\begin{array}{c}\hfill f(\mathbf{x})=\frac{1}{2}\parallel \underset{\_}{\mathrm{L}}+\underset{\_}{\mathrm{S}}-\underset{\_}{\mathrm{Y}}{\parallel }_{\mathrm{F}}^2,g(\mathbf{z})=\gamma {\parallel \underset{\_}{\mathrm{K}}\parallel }_{\mathrm{TNN}}+\gamma \lambda \mathrm{R}(\underset{\_}{\mathrm{S}}),\end{array}$$

where $\mathbf{x},\mathbf{y},\mathbf{z}$ and $\mathbf{A}$ are defined as follows:

$$\begin{array}{c}\hfill \mathbf{x}=\left[\begin{array}{c}\mathrm{vec}(\underset{\_}{\mathrm{L}})\\ \mathrm{vec}(\underset{\_}{\mathrm{S}})\end{array}\right],\mathbf{y}=\left[\begin{array}{c}\mathrm{vec}({\underset{\_}{\mathrm{Y}}}_1)\\ \mathrm{vec}({\underset{\_}{\mathrm{Y}}}_2)\end{array}\right],\mathbf{z}=\left[\begin{array}{c}\mathrm{vec}(\underset{\_}{\mathrm{K}})\\ \mathrm{vec}(\underset{\_}{\mathrm{R}})\end{array}\right],\mathbf{A}=\left[\begin{array}{cc}\mathrm{diag}(\mathrm{vec}(\underset{\_}{\mathrm{B}}))& \mathbf{0}\\ \mathbf{0}& \mathrm{diag}(\mathrm{vec}(\underset{\_}{\mathrm{B}}))\end{array}\right],\end{array}$$

and $\mathrm{vec}(·)$ denotes an operation of tensor vectorization (see [40]).

It can be verified that $f(·)$ and $g(·)$ are closed, proper convex functions. Then, Problem (29) can be re-written as follows:

$$\begin{array}{cc}\hfill \underset{\mathbf{x},\mathbf{z}}{min}& f(\mathbf{x})+g(\mathbf{z})\hfill \\ \hfill \mathrm{s}.\mathrm{t}.& \mathbf{A}\mathbf{x}-\mathbf{z}=\mathbf{0}.\hfill \end{array}$$

According to the convergence analysis in [48], we have:

$$\begin{array}{cccc}\hfill & \mathrm{objective}\mathrm{convergence}:\hfill & \hfill & \underset{t\to \infty }{lim}f({\mathbf{x}}^t)+g({\mathbf{z}}^t)=f^{\star }+g^{\star },\hfill \\ \hfill & \mathrm{dual}\mathrm{variable}\mathrm{convergence}:\hfill & \hfill & \underset{t\to \infty }{lim}{\mathbf{y}}^t={\mathbf{y}}^{\star },\hfill \\ \hfill & \mathrm{constraint}\mathrm{convergence}:\hfill & \hfill & \underset{t\to \infty }{lim}\mathbf{A}{\mathbf{x}}^t-{\mathbf{z}}^t=\mathbf{0},\hfill \end{array}$$

where $f^{\star },g^{\star }$ are the optimal values of $f(\mathbf{x})$, $g(\mathbf{z})$, respectively. Variable ${\mathbf{y}}^{\star }$ is a dual optimal point defined as:

$$\begin{array}{c}\hfill {\mathbf{y}}^{\star }=\left[\begin{array}{c}\mathrm{vec}({\underset{\_}{\mathrm{Y}}}_1^{\star })\\ \mathrm{vec}({\underset{\_}{\mathrm{Y}}}_2^{\star })\end{array}\right],\end{array}$$

where $({\underset{\_}{\mathrm{Y}}}_1^{\star },{\underset{\_}{\mathrm{Y}}}_2^{\star })$ is the dual component of a saddle point $({\underset{\_}{\mathrm{L}}}^{\star },{\underset{\_}{\mathrm{S}}}^{\star },{\underset{\_}{\mathrm{K}}}^{\star },{\underset{\_}{\mathrm{R}}}^{\star },{\underset{\_}{\mathrm{Y}}}_1^{\star },{\underset{\_}{\mathrm{Y}}}_2^{\star })$ of the unaugmented Lagrangian $\mathrm{L}(\underset{\_}{\mathrm{L}},\underset{\_}{\mathrm{S}},\underset{\_}{\mathrm{K}},\underset{\_}{\mathrm{R}},{\underset{\_}{\mathrm{Y}}}_1,{\underset{\_}{\mathrm{Y}}}_2)$. □

Appendix A.3. Proof of Lemma 4

Proof. 

Let the full t-SVD of $\underset{\_}{\mathrm{X}}$ be $\underset{\_}{\mathrm{X}}=\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$, where $\underset{\_}{\mathrm{U}},\underset{\_}{\mathrm{V}}\in {\mathbb{R}}^{r\times r\times n_3}$ are orthogonal tensors and $\underset{\_}{\mathsf{\Lambda }}\in {\mathbb{R}}^{r\times r\times n_3}$ is f-diagonal. Then:

$$\begin{array}{cc}\hfill \parallel \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}& =\parallel \overline{\underset{\_}{\mathrm{U}}\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }}{\parallel }_{\ast }=\parallel \overline{\underset{\_}{\mathrm{U}}}·\overline{\underset{\_}{\mathsf{\Lambda }}}·\overline{{\underset{\_}{\mathrm{V}}}^{\top }}{\parallel }_{\ast }=\parallel \overline{\underset{\_}{\mathsf{\Lambda }}}{\parallel }_{\ast }.\hfill \end{array}$$

(A38)

Then $\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}=(\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}})\ast \underset{\_}{\mathsf{\Lambda }}\ast {\underset{\_}{\mathrm{V}}}^{\top }$. Since

$$\begin{array}{cc}\hfill {(\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}})}^{\top }\ast (\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}})& ={\underset{\_}{\mathrm{U}}}^{\top }\ast {\underset{\_}{\mathrm{Q}}}^{\top }\ast \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}}=\underset{\_}{\mathrm{I}},\hfill \end{array}$$

(A39)

we obtain that:

$$\begin{array}{cc}\hfill \parallel \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}& =\parallel \overline{\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}}{\parallel }_{\ast }\hfill \\ & =\parallel \overline{(\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}})\ast \underset{\_}{\mathsf{\Lambda }}{\underset{\_}{\mathrm{V}}}^{\top }}{\parallel }_{\ast }\hfill \\ & =\parallel \overline{(\underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{U}})}·\overline{\underset{\_}{\mathsf{\Lambda }}}·\overline{{\underset{\_}{\mathrm{V}}}^{\top }}{\parallel }_{\ast }\hfill \\ & =\parallel \overline{\underset{\_}{\mathsf{\Lambda }}}{\parallel }_{\ast }.\hfill \end{array}$$

(A40)

Thus, $\parallel \underset{\_}{\mathrm{Q}}\ast \underset{\_}{\mathrm{X}}{\parallel }_{\mathrm{TNN}}={\parallel \underset{\_}{\mathrm{X}}\parallel }_{\mathrm{TNN}}$. □

Appendix A.4. Proof of Theorem 3

Proof. 

Please note that $({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast },{\underset{\_}{\mathrm{S}}}_{\ast })$ is a feasible point of Problem (28), then we have:

$$\begin{array}{c}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{\star }+{\underset{\_}{\mathrm{S}}}^{\star }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{L}}}^{\star }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}^{\star }{\parallel }_1)\hfill \\ \le \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }+{\underset{\_}{\mathrm{S}}}_{\ast }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_{\ast }{\parallel }_1)\hfill \\ =\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }+{\underset{\_}{\mathrm{S}}}_{\ast }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{X}}}_{\ast }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_{\ast }{\parallel }_1)\hfill \end{array}$$

(A41)

By the assumption that $r_{\mathrm{tubal}}({\underset{\_}{\mathrm{L}}}^{\star })\le r$, there exists a decomposition ${\underset{\_}{\mathrm{L}}}^{\star }={\underset{\_}{\mathrm{Q}}}^{\star }\ast {\underset{\_}{\mathrm{X}}}^{\star }$, such that $({\underset{\_}{\mathrm{Q}}}^{\star },{\underset{\_}{\mathrm{X}}}^{\star },{\underset{\_}{\mathrm{S}}}^{\star })$ is also a feasible point of Problem (39).

Moreover, since $({\underset{\_}{\mathrm{Q}}}_{\ast },{\underset{\_}{\mathrm{X}}}_{\ast },{\underset{\_}{\mathrm{S}}}_{\ast })$ is a global optimal solution to Problem (39), then we have that

$$\begin{array}{c}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }+{\underset{\_}{\mathrm{S}}}_{\ast }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{X}}}_{\ast }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_{\ast }{\parallel }_1)\hfill \\ \le \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}^{\star }\ast {\underset{\_}{\mathrm{X}}}^{\star }+{\underset{\_}{\mathrm{S}}}^{\star }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{X}}}^{\star }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}^{\star }{\parallel }_1).\hfill \end{array}$$

By ${\underset{\_}{\mathrm{L}}}^{\star }={\underset{\_}{\mathrm{Q}}}^{\star }\ast {\underset{\_}{\mathrm{X}}}^{\star }$, we have:

$$\begin{array}{c}\hfill \parallel {\underset{\_}{\mathrm{L}}}^{\star }{\parallel }_{\mathrm{TNN}}=\parallel {\underset{\_}{\mathrm{Q}}}^{\star }\ast {\underset{\_}{\mathrm{X}}}^{\star }{\parallel }_{\mathrm{TNN}}={\parallel {\underset{\_}{\mathrm{X}}}^{\star }\parallel }_{\mathrm{TNN}}.\end{array}$$

(A42)

Thus, we deduce:

$$\begin{array}{c}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }+{\underset{\_}{\mathrm{S}}}_{\ast }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{X}}}_{\ast }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_{\ast }{\parallel }_1)\hfill \\ \le \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{\star }+{\underset{\_}{\mathrm{S}}}^{\star }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{L}}}^{\star }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}^{\star }{\parallel }_1).\hfill \end{array}$$

(A43)

According to Equations (A41) and (A43), we further have:

$$\begin{array}{c}\frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast }+{\underset{\_}{\mathrm{S}}}_{\ast }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{X}}}_{\ast }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}_{\ast }{\parallel }_1)\hfill \\ \le \frac{1}{2}\parallel \underset{\_}{\mathrm{B}}\odot ({\underset{\_}{\mathrm{L}}}^{\star }+{\underset{\_}{\mathrm{S}}}^{\star }-\underset{\_}{\mathrm{M}}){\parallel }_{\mathrm{F}}^2+\gamma (\parallel {\underset{\_}{\mathrm{L}}}^{\star }{\parallel }_{\mathrm{TNN}}+\lambda \parallel {\underset{\_}{\mathrm{S}}}^{\star }{\parallel }_1).\hfill \end{array}$$

(A44)

In this way, $({\underset{\_}{\mathrm{Q}}}_{\ast }\ast {\underset{\_}{\mathrm{X}}}_{\ast },{\underset{\_}{\mathrm{S}}}_{\ast })$ is also the optimal solution to Problem (28). □