Li, S., K. Li and Y. Fu, Self-Taught Low-Rank Coding for Visual Learning. IEEE Transactions on Neural Networks and Learning Systems, 2017. PP(99): p. 1-12.
本文是这篇 Trans. on NNLS 期刊论文的笔记,主要是对文中的理论方法进行展开详解。本人学术水平有限,文中如有错误之处,敬请指正。
摘要: 计算机视觉和机器学习研究中,缺少标签数据是一个常有的挑战。半监督学习和迁移学习,已经被用于应对这种问题,通过使用来自相同领域、或不同领域的,辅助的样本。自我学习是一种特殊的迁移学习,在选择辅助数据上有更少的限制。这已经在视觉学习上有良好的表现。然而,现有的自我学习方法通常忽视了数据的结构信息。此文关注点在建立一个自我学习编码框架,有效地使用丰富的低级的模式信息(提取于辅助领域),为了在目标领域中表示高级的结构信息。通过利用从辅助领域和目标领域学习到的高质量的字典,此方法可以在目标领域学习到样本的表示编码。已经有许多类型的视觉数据被证明有子空间结构,低秩约束加入到目标中,更好地表示目标集。此文提出的表示学习框架称为自学习低秩编码(self-taught low-rank (S-Low) coding),可以建模为一个非凸的秩最小化和字典学习的问题。此文也使用,最小化的増广 Lagrange 乘子法。根据提出的编码框架,同时推导出了非监督和有监督的算法。
好的特征是能表达出来的,是一个合理大小的字典,可以捕获到大量输入数据,表征一个给予的数据集的全局结构。然而,缺少训练数据使得特征学习变得非常复杂。
半监督学习利用一些带标签的样本和大量无标签的样本,它们来自相同的领域,有相同的分布,去训练模型。半监督学习还是有局限性。迁移学习中,限制被放松了。其中,标签样本和辅助样本来自不同的集合,有不同的分布。但是迁移学习中,要求两个领域是相似的。许多的迁移学习算法假设两个领域都有相似的知识结构。所以,半监督学习和迁移学习在辅助(源)数据上都有强约束条件,限制了其应用。最近出现的机器学习模型——自我学习(STL)1 2 3 4 5,使用无标签数据,带有很少的约束,提升了图像聚类和分类的性能。
自我学习和迁移学习是两个相关的概念。关键的差异是它们在辅助领域的约束不同。具体来说,迁移学习只利用同类的任务的标签数据,而自我学习(更宽松)利用来自辅助领域的随机图像。简单来说,自我学习随机从辅助领域选择的视觉数据,仍可以包含一些基本的视觉模式(边缘、角、形状),与目标领域的特征极其相似。这灵活性使得自我学习特别有潜力适用大量的无标签的数据。现有的一些自我学习方法,忽视了目标领域中的结构信息(这个在图像分类中很重要)。
此文提出了一种新的自我学习低秩编码(S-Low coding)框架。通过利用从辅助领域中提取的高质量的字典,可以学习在目标领域中的高级表示。由于许多视觉数据可以很好地用子空间结构表示 6 7,此文介绍了一种低秩约束,利用目标领域中的全局结构信息。此文的方法可以适用于许多应用:目标检测、场景分类、人脸识别、图像聚类。特别当目标数据很少时,此方法仍可以提取有效地特征表示,借助辅助领域中的大规模的无标签数据。同时,低秩约束能够移除噪声或异常点 8 9 10 。
自我学习低秩编码(S-Low coding)流程。较少的目标数据集 XT 通常不够,对于提取出有效的特征。通过使用额外的辅助数据集 XS ,此文提出的框架学习到了一个共享的字典 D 从两个领域中,并加入了一个低秩约束于系数矩阵的目标领域 ZT 上,让其成为新的特征表示。最后,使用 NCut 算法进行图像聚类;SVM 算法用于图像分类。此文的方法可以抽象成一个秩最小化问题和字典学习问题。此文设计了一个高效的最小化优化算法,同时学习低秩编码和字典。目标领域的数据对应的低秩编码部分,可以直接用于训练监督模型,进行聚类或分类。
此文提出的方法可以解决一些现有方法的限制。首先,现有的方法给特定的应用设计算法。而此文提出的方法可以被用于监督和非监督的任务。其次,现有的自我学习方法仅仅从目标领域中学习新的特征,却忽视了重要的全局的结构信息。此文的方法可以利用从辅助领域提取的低级的模式信息,来表示目标领域中的高级的结构信息。
此文的主要贡献有:
有了辅助领域的大量的模式信息,S-Low 编码方法可以更好地学习到特征表示,在目标领域中加入低秩约束。
此文提出的方式是一个通用的框架,可以用于多种视觉学习场景。此文给出了非监督学习和监督学习的详细的算法。
不像其他 LRR 算法(使用有偏估计, ℓ1 范数和核范数),此文将 ℓ0 范数核 rank 函数替换成最小最大凹惩罚范数(minimax concave penalty norm, MCP)和矩阵 γ 范数,这是无偏估计的。我们设计了最小化优化算法,并经验性地给出了其收敛性质。
略
略
考虑无标签样本 XS={xS1,xS2,⋯,xSm}∈Rd×m 来自辅助领域,和 XT={xT1,xT2,⋯,xTn}∈Rd×n 于目标领域。此文的方法目标是学习表达性的编码,表示子空间结构信息,于目标领域。与其他自我学习方法一致,此文并不假设来自辅助域和目标域的数据有相同(或相似)的分布。另外,此文并不要求来自目标域的样本带有标签。所以,此方法既可以用于非监督形式,也可以用于有监督形式,这与 文献 11 和 12 的问题不一样。所以此方法可以处理聚类问题(如果标签未知)和分类问题(如果标签已知)。
传统的稀疏编码 13,字典学习 14,低秩学习 15 方法近似表达样本在一个域中
首先,此方法可以从两个领域中的所有样本中学习字典。数据集 X=[XS,XT] 。目标是用字典 D∈Rd×r 来表示 X 。于是介绍这个约束 [XS,XT]=D[ZS,ZT]+[ES,ET],其中 ZS∈Rr×m,ZT∈Rr×n 是对应辅助领域和目标领域的系数矩阵。 ES∈Rd×m,ET∈Rd×n 是对应辅助领域和目标领域,分离出的稀疏的噪声矩阵。 ES,ET 一般用 ℓ0 范数的代替约束,比如 ℓ1 或 ℓ2,1 范数。在实际中,目标样本中通常包含许多的噪声。考虑了加噪声的模型,使得学习到的字典更具有鲁棒性。
其次,在许多的聚类和分类的问题中,目标领域中的样本通常有隐含的子空间结构。研究表明,使用低秩约束,可以有效地发现潜在的子空间结构。利用这子空间结构信息对学习过程很有利。根据观察,将约束加于 ZT ,目标函数给出如下
字典从辅助领域和目标领域一起学习到,为了学习到有用的信息。公式中的两个约束都共用一个字典 D 。由于 XS 包含的样本数通常多于 XT ,所以学习的字典很容易是被辅助域的数据决定的。然而,更重要的是字典 D 对目标领域数据的重建能力。所以,此文加入了对 ZS 的 ℓ2,1 约束。这样的方式,使得 ZS 中的某一些行接近于 0,使其适应从字典 D 中选择基。目标函数变成
此文使用优化最小化增广拉格朗日乘子(MM-ALM)算法(majorization–minimization augmented Lagrange multiplier, MM-ALM)求解。首先介绍通用的 shrinkage 操作和 singular value shrinkage 操作,
MM-ALM 算法包含内循环和外循环。每一次迭代中,外循环使用局部线性近似(locally linear approximation, LLA)处理原始的非凸问题,并组成一个加权的凸优化问题;在内循环中,采用 inexact ALM 算法。
在外循环中,需要重写目标函数。因为原目标函数关于 (σ(J),|ES|,|EJ|) 是凹的,可以将 ||J||γ1+λ1Mγ2(ES)+λ2Mγ2(ET) 代替为 (σ(Jold),|ES|old,|EJ|old) 的一阶近似。新的目标函数写为
Algorithm 1 MM-ALM Algorithm
Input: 数据 X=[XS,XT] ,
常系数 λ1,λ2,λ3 , D0,J0,ZT0,ZS0,ES0,ET0,Y0,Q0,R0 ,
ρ=1.2, μ0=10−3, μmax=105, k=0, ϵ=10−6 .
1: while not converged do
2: W=(1m1Tn−|Sj|/γ2)+ ;
3: Λ=diag(1n−σ(Jj)/γ1)+ ;
4: while not converged do
5: 更新 Jj+1k+1 ;
6: 更新 Zj+1T(k+1) ;
7: 更新 Zj+1S(k+1) ;
8: 更新 Ej+1S(k+1) ;
9: 更新 Ej+1T(k+1) ;
10: 更新 Y,Q,R
此文提出的算法有局部的收敛性:当字典 D 是固定时,目标函数满足如下
时间复杂度:假设 r<n ,Algorithm 1 的第 5 步,需要 SVD 计算 矩阵 r×n ,消耗 O(nr2) ;而第 6 步中的矩阵求逆需要 O(nr2) 。因为外部循环收敛较快,所以这里只考虑内部循环的时间复杂度。假设 t 是内部循环的迭代次数,那么粗略计算该算法的复杂度为 O(tnr2) 。
有了无标签的数据集 X=[XS,XT] ,S-Low 聚类的目标是恢复目标域的潜在子空间结构。低秩编码 ZT 用于定义一个无向图 G 的亲和矩阵。根据低秩子空间恢复理论,系数矩阵 Z 的每一列都代表一个数据样本的新的表示。那么每一对样本的相关系数是作为其在无向图中对应边的权值的最好选择。这里用余弦相似度来定义其权值。给定 zi,zj∈ZT ,图的权值 G(i,j) 定义为
当目标领域中的样本标签都已知,可以设计一个分类算法基于 S-Low 编码,训练一个分类器。有了字典 D ,就可以分类新的样本。正如之前所述,低秩编码 ZT可以作为目标样本 XT 的新表示。有了一个测试样本 y ,可以计算其系数表示 y∈Rd×1,通过
略