1. 引言
在计算机视觉和机器学习领域,自从向量的稀疏性被提出 [1] [2] [3] 后,该性质被广泛应用于大量模型,至今仍被很多文章使用。向量稀疏性的获得需要最小化向量的0范数,即向量非零分量的个数尽量少,为了便于求解,最常见的做法是最小化向量的1范数,对于向量
,通常我们用
来表示1范数。但是灰度图像本质是矩阵,灰度视频本质是一个三阶张量,这样的数据转化成向量后,追求稀疏性不再具有明显的意义,这就需要研究矩阵甚至张量的相关性质。
为了适用于更多的实际问题,矩阵的低秩性被提出,该性质也被广泛应用于大量的模型中,追求矩阵低秩性的常见做法是最小化矩阵的核范数,我们通常用
来表示矩阵的核范数,即矩阵M的所有奇异值之和。经典的模型包括鲁棒的主成分分析(RPCA) [4] [5] ,假设一个数据矩阵X是由一个低秩分量和稀疏分量叠加组成的,即
,其中
为具有低秩信息的低秩矩阵,
为具有稀疏结构的稀疏矩阵。在文献 [4] 中表明,如果满足某些条件,则可以通过求解凸优化问题
来高概率地恢复
和
。其中
表示矩阵1范数,即E中所有元素的绝对值的和,
是一个加权参数,用于权衡1范数和核范数两部分的影响。鲁棒主成分分析对噪声表现出高度的鲁棒性,可以在噪声存在的情况精确稳定地实现低秩原始图像的恢复重构,因此,该模型及其扩展已经成功应用于人脸识别、图像的复原和视频的前背景分割 [6] 等场景。但是,实际问题中,图像在拍摄过程中的视角往往有一定的倾斜,这样原始图像并不直接具备低秩性,经过变换的图像才具备低秩性,由此Transform Invariant Low-rank Textures (TILT)模型 [7] 被提出,TILT是通过仿射或射影变换,利用变换后图像具备的低秩性进行建模,从而可以处理图像摆正等问题。假设我们给出一个具有噪声的倾斜图像:
其中
是低秩的,E是稀疏的,
属于某个变换群。在TILT中表明,如果满足某些条件,则可以通过求解凸优化问题
高概率地恢复
和E。其中
是关于变换
参数的导数的雅克比矩阵,A是
的线性化约束。然而,RPCA和TILT都只能处理矩阵数据,真实图像的数据在本质上往往是多阶的,例如,一个RGB彩色图像是一个由红色、绿色和蓝色三个颜色通道组成的三阶张量;一个灰度视频由两个空间变量和一个时间变量进行索引的三阶张量 [8] 。要使用TILT,首先必须将多阶数据转换为一个矩阵,这种预处理通常会导致信息丢失,并会导致性能下降。为了缓解这个问题,很自然地考虑利用张量的某些性质进行建模。
近年来,张量的低秩性被学者们广泛讨论,卢等人提出了一种新的张量核范数并将RPCA模型进行了推广给出了张量的鲁棒主成分分析模型(TRPCA) [9] ,由于张量低秩性的使用,该模型在处理彩色图像和灰度视频时更加得心应手,主要体现在RPCA在处理灰度视频时,由于其只能考虑矩阵的性质,所以需要将视频的每一帧都拉成向量再拼接成矩阵,这种做法破坏了数据的结构,而TRPCA无需进行这样的操作。对于彩色图像,RPCA也需要将各个通道都拉成向量然后拼成矩阵或者将彩色图像变成灰度图像,同样破坏了数据的原有结构。TRPCA的模型为
其中,
表示受噪声干扰的张量,
和
分别表示低秩张量和稀疏张量。TRPCA的文章中严格推导出了一个新的张量核范数和其他一些相关的张量概念,使它们具有与矩阵情况相同的关系,将RPCA的模型、优化方法和理论分析技术从矩阵情况扩展到了张量情况,证明了在一定条件下,TRPCA模型可以从受噪声干扰的张量
中来恢复低秩分量
和稀疏分量
,避免了RPCA在处理张量数据时的信息丢失,在视频的恢复 [10] ,视频去噪 [11] 等实际问题上有着广泛的应用。
但是该方法也存在一定的局限性,首先,TRPCA没有考虑彩色图像倾斜的情况,改进这一点需要我们对TILT进行推广,构造一个使用张量核范数的模型,其次,模型中仅仅考虑了稀疏噪声,并没有考虑高斯噪声,为此,我们提出RTILT来克服相关工作的局限性,我们的方法将考虑变换后张量的低秩性,同时引入张量的F范数来处理高斯噪声。
2. 相关工作
2.1. 符号说明
在本文中,我们用粗体欧拉字母表示张量,例如
,矩阵用大写字母来表示,如A;对于一个三阶张量
,我们将它的第
个元素表示为
或
,并使用Matlab中的形式
来表示张量
的第i个正面切片,也可以简化写成
。我们还用
代表张量1范数,
代表张量F范数,
表示两个张量
的内积,定义为
。
2.2. 鲁棒张量的主成分分析
鲁棒张量的主成分分析(TRPCA)是处理图像恢复和背景建模问题的常用模型,受到最近提出的张量–张量积 [12] 的启发,TRPCA严格定义了张量核范数,使它的性质和关系与矩阵的情况一致。
定义2.2.1 (张量核范数 [9] ) 若
是
的t-SVD,则
的张量核范数定义为
其中
,
是
的共轭转置,
表示张量–张量积,由矩阵–矩阵积推广而来 [12] 。
鲁棒张量的主成分分析主要通过凸优化
(1)
从受噪声干扰的张量
中来恢复低秩分量
和稀疏分量
,其中,
。对于问题(1),可以采用交替方向迭代法(ADMM) [13] 来进行求解,实现目标与背景的精确分离,验证了TRPCA在图像恢复和背景建模问题上的有效性。
3. 我们的方法
3.1. 模型介绍
TRPCA模型仅仅考虑了本身具有低秩性质的张量数据,但是现实世界中的数据并不都是如此,例如我们拍摄的彩色图像往往带有一定的倾斜角度,在这种情况下,该图像经过一个变换后才可能具有低秩性。由此,本文将TRPCA进行推广,通过考虑变换后张量的低秩性和稀疏性进行建模,此外,针对实际问题,我们还加入了张量的F范数来处理高斯噪声。
关于变换的低秩图像,我们假设一个低秩纹理
位于某个场景中的一个平面上,我们从每个某个角度拍摄到的图像
经过变换
才能的到原始低秩纹理
,即
,
。除了变换外,实际生活中的图像还可能会被像素、噪声或者遮挡所破坏,在本文中,我们假设只有一小部分图像像素被较大的误差所破坏,所以,我们可以对以下偏差进行建模,
,其中,
,
是稀疏张量。因此,我们可以得到如下模型
(2)
其中
是一个三阶张量,它的每个正面切片都是关于变换
参数的导数的雅克比矩阵,S是
的线性化约束,
是加权参数。
3.2. 模型求解
我们采用ADMM求解模型,则上式的增广拉格朗日函数为
(3)
其中,
,
是拉格朗日乘子。
下面对
、
、
和
依次最小化。
1) 关于
:
(4)
2) 关于
:
(5)
3) 关于
:
(6)
4) 关于
:
(7)
求导得,
(8)
其中
表示摩尔-彭若斯广义逆。
最后,文章的算法总结如下:
4. 实验
本章我们将通过数值实验主要和TRPCA进行比较来验证我们所做工作的必要性,我们将进行三种实验,包括规则倾斜图像的校正问题,彩色图像恢复问题和灰度视频的前背景分割问题。与此同时,我们还分别针对不同的图像调整参数,为使每种方法在每个图像下都能得到最优的恢复效果。
4.1. 规则倾斜图像校正
本节主要针对纹理结构比较规则的自然倾斜图像进行实验分析,并与TRPCA方法进行比较。我们所选取的实验图像都是实际生活中常见物体的照片,比如建筑物、黑板字、车牌、路标等。如图1所示,(a)为实验输入的图像,用来选取待分析图像中的主要纹理部分,(b)中红色框是实验时选取的区域,算法将对这部分的数据进行分析处理,(c)为应用TRPCA算法的实验结果图。(d)为应用本文算法的实验结果图,即(b)中红框区域内校正的低秩图像。显然,我们的方法可以校正自然倾斜图像,TRPCA效果不佳。
下面我们在彩色格子图像的校正问题上验证我们方法的有效性,图2(b)中展示了三种彩色格子图像种需要校正的部分,由于图像有一些倾斜,容易发现这些彩色格子图像不直接具备低秩性,因此TRPCA难于处理这样的图像,但是格子纹理具备一定的规律,所以这些图像经过一个变换后会具备低秩性,从图2(d)中可以看出我们的方法可以将格子图像进行校正,TILT方法也是曾经提出了的能够校正图像的方法,但是该方法仅仅利用矩阵的低秩性进行建模而不是使用张量的低秩性,在处理灰度图像时效果很好。但是对于这种彩色图像,由于算法要求输入必须是矩阵,需要将彩色图像转换成灰度图像进行输入或者只利用彩色图像的某一个通道进行输入,这样的做法通常会导致原始数据的信息丢失。我们选择了将彩色图像变成灰度图像的策略,其实验结果如图2(c)所示,我们发现TILT无法准确校正这些彩色格子图像,原因是这些彩色格子图像变成灰度图像后格子纹理不够明显。
4.2. 彩色图像的恢复
本节中,我们选取了来自伯克利分割数据集 [14] 的部分彩色图像来进行测试,对于每幅图像,我们随机添加了不同程度的稀疏噪声和高斯噪声,实验结果如图3所示,其中,(a)为实验输入的原始图像,(b)为随机添加噪声损坏的图像,算法将对这部分的数据进行分析处理,(c)为应用TRPCA算法的实验结果