• 对抗训练理论分析:自适应步长快速对抗训练


    bef1b20e14807f89df56ff4ab0556418.gif

    ©PaperWeekly 原创 · 作者 | 鬼谷子

    e44290e16a610968c90f42b75a3ee69a.png

    引言

    该论文是关于对抗训练理论分析性的文章,目前对抗训练及其变体已被证明是抵御对抗攻击的最有效防御手段,但对抗训练的过程极其缓慢使其难以扩展到像 ImageNet 这样的大型数据集上,而且在对抗训练的过程中经常会出现模型过拟合现象。在该论文中,作者从训练样本的角度研究了这一现象,研究表明模型过拟合现象是依赖于训练样本,并且具有较大梯度范数的训练样本更有可能导致灾难性过拟合。因此,作者提出了一种简单但有效的方法,即自适应步长对抗训练 (ATAS)。

    ATAS 学习调整与其梯度范数成反比的训练样本自适应步长。理论分析表明,ATAS 比常用的非自适应算法收敛得更快,在对各种对抗扰动进行评估时,ATAS 始终可以减轻模型的过拟合现象,并且该算法在 CIFAR10、CIFAR100和ImageNet 等数据集上实现更高的模型鲁棒性。

    34e31eca6c82f326ccbc1a26d2fb5fda.png

    论文标题:

    Fast Adversarial Training with Adaptive Step Size

    论文链接:

    https://arxiv.org/abs/2206.02417

    97003910c88e49c18caeaa278f070bc0.png

    背景知识

    FreeAT 首先提出了一种快速对抗训练的方法,通过批量重复训练并同时优化模型参数和对抗扰动。YOPO 采用了类似的策略来优化对抗损失函数。后来,单步法被证明比 FreeAT 和 YOPO 更有效。如果仔细调整超参数,带随机启动的 FGSM(FGSM-RS)可用于一步生成对抗扰动,来训练鲁棒网络模型。ATTA 方法则是利用对抗样本的可迁移性,使用干净样本作为对抗样本的初始化,具体的优化形式如下所示:

    c7825c45b51c06038a33c7e49c5bdac7.png

    其中, 表示在第   轮中第  个样本 生成的对抗样本。ATTA 显示出与 FGSM-RS 相当的鲁棒精度。SLAT 与 FGSM 同时扰动输入和潜在值,确保更可靠的性能。这些单步方法会产生灾难性的过拟合现象,这意味着模型对 PGD 攻击的鲁棒性精度会突然下降到接近 0,而对 FGSM 攻击的鲁棒精度迅速提高。

    为了防止模型过拟合现象,FGSM-GA 添加了一个正则化器,用于对齐输入梯度的方向。另一项工作从损失函数的角度研究这一现象,发现模型过度现象是损失面高度扭曲的结果,并提出了一种通过沿梯度方向检查损失值来解决模型过拟合的新算法。然而,这两种算法都需要比 FGSM-RS 和 ATTA 更多的计算量。

    252a62e9fd011f14e6b3b65a24584c5f.png

    论文算法

    由之前的研究可知,对抗训练目标函数中内部最大化的步长对单步攻击方法的性能起着重要作用。过大的步长会将所有 FGSM 对抗扰动吸引到分类边界附近,导致灾难性过拟合现象,因此 PGD 多步攻击下的分类器对抗鲁棒性精度将降至零。然而,又不能简单地减小步长,因为如下图的第一张图和第二张图所示可以发现,增大步长可以增强对抗攻击并且能提高模型鲁棒性。

    4004c5c2a608357fbeea580efdb9574b.png

    为了尽可能加强攻击并避免灾难性的过拟合现象,对于具有大梯度范数的样本,作者使用小步长来加强攻击防止模型过拟合现象;对于具有小梯度范数的样本,作者使用大步长来加强攻击。所以,作者使用梯度范数的移动平均值:

    a05f5f10a742df106979684d2d644ec3.png

    去调整在第 轮中对于样本 的步长 。 是 的初始化, 是动量平衡因子。 与 成反比例:

    c94bd057bc6b8130d97bed103d9571f3.png

    其中 是预定义的学习率, 是一个防止 过大的常数。作者将自适应步长 与 FGSM-RS 相结合,FGSM-RS 在内部最大化攻击中随机初始化对抗扰动。由上图的第三张子图可以发现,自适应步长不会发生过拟合现象。此外,自适应步长方法的平均步长甚至比 FGSM-RS 中的固定步长还要大,因此具有更强的攻击性和更好的对抗鲁棒性。

    随机初始化限制了步长较小的样本的对抗扰动,从而削弱了对抗攻击的强度。结合之前的初始化方法,论文提出的方法 ATAS 不需要大的 来达到整个 范数球。对于每个样本,作者使用自适应步长 并执行以下内部最大化以获得对抗样本:

    2d3e926cdc884c3a2140d42bdecb1847.png

    其中 是第 轮的对抗样本,参数 由样本 来更新,具体公式如下所示:

    fbaa4f38e8f09d6b1bb3be605b095af2.png

    与以前需要大量计算开销来解决灾难性过拟合现象问题的方法相比,论文提出的 ATAS 方法的开销可以忽略不计,ATAS 的训练时间与 ATTA 和 FGSM-RS 几乎相同。ATAS 的详细算法如下所示:

    401beae18a5b96fb57b89819d31fca1f.png

    在 ImageNet 数据集上 ATAS 的详细算法如下所示:

    6da591790f95c08054ec91c4845018da.png

    作者分析论文中 ATAS 方法在 范数下的收敛性,给定如下目标函数:

    869b76ccb30c8352fa3e363367f4e5cf.png

    最小最大问题能被公式化为如下所示:

    1326cb25a1e8b530225c80dac145b084.png

    其中 为在参数 下的最优对抗样本。作者考虑最小最大优化问题是在凸凹和平滑的设定下,并且损失函数 满足以下假设。

    假设1训练损失函数 满足如下约束:

    1) 是凸函数并且 在参数 下是平滑的; 和 的梯度在 范数满足如下公式:

    b5e0702c1215d9c758571d85aecd7468.png

    其中:

    437b977dd9b38a4f942cefa465f3cfab.png

    2) 是凹函数并且 在每个样本 平滑。 在 范数球内并且半径为 。对于任意 和 ,,并且输入梯度满足如下公式:

    59139d8d82a88ca6934ac316cc1cd1a8.png

    作者平均 步参数轨迹得到近似最优点:

    5ded2e0608ab15fcd32353e4da3a6be7.png

    这是分析随机梯度方法的标准技术,收敛间隙:

    d2553693ba5e52463edd0f1c83812db8.png

    上界为如下公式所示:

    7a05b146384353980fa72601cc86697e.png

    引理1损失函数 满足假设 1,目标函数 有如下收敛间隙不等式:

    56967840b85af0c6514d9ffcd23ff298.png

    明:根据引理 1 公式的左侧可得如下不等式:

    d8bd6545c63d8e9782d6f77c84aa8a7e.png

    第一个和第三个不等式遵循最优性条件,第二个不等式使用 Jensen 不等式。在证明定理 1 和定理 2 时,有以下几个梯度符号:

    f087e4479ff3f62758cbaa06a4e0ecb7.png

    ATAS 方法也可以表示为自适应随机梯度下降块坐标上升法(ASGDBCA),在步骤 中随机选取一个样本 ,对参数 应用随机梯度下降,对输入 应用自适应块坐标上升。与 SGDA 不同,SGDA 在每次迭代中更新 的所有维度,ASGDBCA 只更新 的一些维度。ASGDBCA 首先计算预调节参数 为:

    f89ac49b061559d8befc9058376d6dd9.png

    则 和 可以被优化为:

    1f2334bbdc8e7fd11554cb39b94817a8.png

    ASGDBCA 和 ATAS 的主要差异为 。为了证明 ASGDBCA 的收敛性,前置调节参数必须是非递减的。否则,ATAS 可能不会像 ADAM 那样收敛。然而,ADAM 的非收敛版本实际上在实际中对神经网络更有效。因此,ATAS 仍然使用 作为预调节参数。

    定理1在假设 1 条件下,有 和 ,则 ASGDBA 的界为如下公式所示:

    a02500deb362054cb8ec55cc6ab272e8.png

    证明:令 ,在第 步时,ASGDBCA 从 中随机采样下标索引为 的样本,于是则有:

    94d72b9770696560b62b06b223e0ae80.png

    令:

    4c22fb41383df8ec37e90a96ea2f7cd6.png

    表示为样本 的所有坐标预调整参数。将期望值置于右侧的 之上,于是则有:

    861112693776a94cf2c84c687163cae1.png

    并且有:

    a65f09c5ab4fa966f603ea510b90df71.png

    与 SGDBCA 的证明过程类似,有如下推导过程:

    e7995dc3e094e203d86123dadb7d6a42.png

    将不等式从 求和到 , 的上界表示为:

    9a29c31f1ed930cebbb3b4538a40307e.png

    和:

    fd0aa662f08bbb1f01e44950a4375746.png

    与 SGD 相似,使用算术和几何均值不等式可知,当 时达到最优,于是则有:

    bcbbe27b760c34a17b51c0bf91a60738.png

    对于 的第一项有:

    d88bf49e076d42ba62d94feb56e98184.png

    其中 表示 的第 个坐标系,因此对于 被假定,于是则有:

    96006f0db789d987444717626a0e49da.png

    对于 的第二项有:

    81fb14c7ea9512d4ab6c837e921c1f77.png

    其中 表示 中第 个坐标。对 项进行求和, 的第二项的上界为:

    8b77a9e51503631f3c7445114b63d3d9.png

    的第三项的上界为:

    24db0abc58ef6a520b2c96cdc2b66d95.png

    因此则有:

    fc58d03d86ebdc4007eb103c5b582a99.png

    组合以上不等式可知,ASGDBCA 的上界为:

    3c82672661f52b88759c25f8a11b4533.png

    使用算术和几何均值不等式可知,当 时,上界可以达到最小值:

    235b9b8f728ba53ac1726cec7bf045aa.png

    组合 和 ,则可知 ASGDBCA 的上界为:

    a63463863610810108f80573663d6254.png

    ATAS 和 ATTA 的非自适应版本的随机梯度下降块坐标上升的公式如下所示:

    7f0c6a9ef49f2e7f10e9fbffd2768457.png

    定理2:在假设 1 的条件下,常数学习率 和 ,则 SGDBCA 的上界为如下所示:

    3fb10b39fa241301f4df84977b7cfa6c.png

    证明:令 ,在第 步时,SGDBCA 从下标索引集合 中随机采样出下标 的样本并更新对抗扰动,则有以下不等式:

    606521290b872e192e82a25a5f9609ef.png

    因此:

    102af14cd7fe0314461d014c1dcb8cf4.png

    将以上不等式重新排序,则有:

    086b796a28afcada6a3a1817ca22efbf.png

    相似的可以得到:

    7bdbea5cc3db72c7217ffa8c0024e6ad.png

    将以上两个公式左边部分求期望可以得到:

    b15e89a67eb6ca954346a50740bd1934.png

    进而则有:

    43e19d9b24f83ebda347dfcd42bf312d.png

    和:

    b1e5cc44c68771baaf539d2f250874dc.png

    考虑到 和 的凹凸性:

    d6e622ca96fcaeb9d7e5d11cb6d403ec.png

    可以得到:

    1dd6f8b6d15dde21aa5acc4c561bbce0.png

    组合以上不等式可以得到:

    8bcd0ce49e3c829325771159152beed9.png

    更新 ,可以得到:

    031b8b23b3dddf1e1f127b40f8a92947.png

    以上不等式可以重新排序为:

    ef95818eeb5556beca19ceb657da5770.png

    以上不等式两边同时除以 ,则有:

    27fae2ad9dc5509ee859dbfc9b6968af.png

    对 项求和可得如下上界:

    f79335bd044512f1645f0dbd5fcf6f71.png

    将以上不等式可以重新化简为:

    6b2c347675ba60297fe6a11d5a9e6735.png

    使用算术和几何平均值可以得到,当 和   是,可以得到最优上界:

    4c71949a1770a45f17e4930e207db223.png

    定理 1 和 2 表明 ASGDBCA 比 SGDBCA 收敛更快。当 较大时,SGDBCA 和 ASGDBCA 中的间隔的第三项可以忽略不计。考虑到它们的第一项是相同的,主要区别是第二项中 和

    402 Payment Required

    关于 间隔界。它们的比率为如下所示:

    e098c0785f6065f752f21659c91409fb.png

    Cauchy-Schwarz 不等式表明该比率始终大于 1。当 具有长尾分布时,ASGDBCA 和 SGDBCA 之间的差距会变得更大,这表明 ATAS 的收敛速度相对更快。

    fe7c57cf5ad9163160ec09d3dfbbf69a.png

    实验结果

    以下三个表格分别显示了不同方法在 CIFAR10、CIFAR100 和 ImageNet 数据集上的准确性和训练时间。需要注意的是,由于计算复杂性,作者没有足够的计算资源在 ImageNet 上执行标准对抗训练和 SSAT。作者使用两个 GPU 来训练 ImageNet 的模型,对于 CIFAR10 和 CIFAR100,作者在单个 GPU 上评估训练时间。从以下结果可以直观的发现论文中提出的方法 ATAS 提高了在各种攻击(包括 PGD10、PGD50 和自动攻击)下的分类模型的鲁棒性,并且可以发现在训练中避免发生模型灾难性过拟合现象。

    97a57d6dde77060810b41a08170f2d8b.png

    6244789a50a5484229bf3a166c5d5962.png

    ac6bdd78c9d06b2a8bcefd01a2865926.png

    如下图所示,可以发现等当增加 ATTA 中的训练步长时,ATTA 和 PGD10 之间的损失函数的间隙会变小。此外,当步长不是太大的时候,分类模型的鲁棒精度会随着步长增加。进而可以得出初步结论,较大的步长也增强了 ATTA 的攻击能力。然而,大步长也会导致 ATTA 发生模型过拟合现象。

    1451012d0356b40665ff519adc0e6344.png

    论文中的方法 ATAS 中的自适应步长允许更大的步长,而不会导致模型灾难性过拟合现象。如下图所示作者显示了 ATTA 和 ATAS 之间的比较。即使 ATAS 的步长大于 ATTA,它不会像 ATTA 那样出现模型过拟合现象。

    0c0d43d7d0cebc9f80a9f593a1d75899.png

    更多阅读

    66c714cb8002cb1a828aff5522f6b803.png

    84760a6735ecaee49b4e2ece8ccb6296.png

    e4aa6a65b257c9991f0025b27b28a09b.png

    fdedb146e093dd388fae31d4068bedbb.gif

    #投 稿 通 道#

     让你的文字被更多人看到 

    如何才能让更多的优质内容以更短路径到达读者群体,缩短读者寻找优质内容的成本呢?答案就是:你不认识的人。

    总有一些你不认识的人,知道你想知道的东西。PaperWeekly 或许可以成为一座桥梁,促使不同背景、不同方向的学者和学术灵感相互碰撞,迸发出更多的可能性。 

    PaperWeekly 鼓励高校实验室或个人,在我们的平台上分享各类优质内容,可以是最新论文解读,也可以是学术热点剖析科研心得竞赛经验讲解等。我们的目的只有一个,让知识真正流动起来。

    📝 稿件基本要求:

    • 文章确系个人原创作品,未曾在公开渠道发表,如为其他平台已发表或待发表的文章,请明确标注 

    • 稿件建议以 markdown 格式撰写,文中配图以附件形式发送,要求图片清晰,无版权问题

    • PaperWeekly 尊重原作者署名权,并将为每篇被采纳的原创首发稿件,提供业内具有竞争力稿酬,具体依据文章阅读量和文章质量阶梯制结算

    📬 投稿通道:

    • 投稿邮箱:hr@paperweekly.site 

    • 来稿请备注即时联系方式(微信),以便我们在稿件选用的第一时间联系作者

    • 您也可以直接添加小编微信(pwbot02)快速投稿,备注:姓名-投稿

    d87ce6c7f29165acea90e8602887978c.png

    △长按添加PaperWeekly小编

    🔍

    现在,在「知乎」也能找到我们了

    进入知乎首页搜索「PaperWeekly」

    点击「关注」订阅我们的专栏吧

    ·

    ce3c4153f70a2f34fbce91a952799dd3.png

  • 相关阅读:
    VS2019 C#中文控制台显示为问号
    这一篇让你搞定 Flutter 的数据表格
    Spring Cloud Gateway 网关的搭建 gateway实现自定义全局过滤器和自定义局部过滤器
    Dify配置https协议
    2024骨传导耳机哪款值得买?健身人士说这五款骨传导耳机好~
    云原生 | Kubernetes - Helm - Prometheus 实现资源限制
    深入浅出Java多线程(七):重排序与Happens-Before
    PyQt5快速开发与实战 5.1 表格与树
    软件工程详细知识点复习(上)
    CVPR 2024 | Modular Blind Video Quality Assessment:模块化无参视频质量评估
  • 原文地址:https://blog.csdn.net/c9Yv2cf9I06K2A9E/article/details/125437246