← 返回 2026-03-04

面向文生图安全引导的条件激活传输方法 Conditioned Activation Transport for T2I Safety Steering

Maciej Chrabąszcz, Aleksander Szymczyk, Jan Dubiński, Tomasz Trzciński, Franziska Boenisch, Adam Dziedzic 📅 2026-03-03 👍 1 2026-07-13 08:35
扩散模型 推理时干预 文生图安全 最优传输 激活引导

用非线性MLP传输映射+几何条件门控,解决T2I激活引导的安全-质量权衡

前置知识

激活引导(Activation Steering)

一种推理时干预方法,通过修改模型内部隐藏层的激活值来改变生成行为,而无需重新训练模型。代表性方法 ActAdd 计算安全与不安全激活均值的差向量 $\mu_s - \mu_u$,加到前向传播的中间表征上。Linear-ACT 则基于最优传输理论学习一个仿射映射 $T(z) = \omega \odot z + \beta$。

本文的核心改进对象就是激活引导,必须先理解 ActAdd/Linear-ACT 的全局线性假设及其失效场景,才能体会 CAT 引入非线性 MLP 和条件门控的必要性。

T2I 扩散 Transformer / 自回归模型

现代文生图模型分两大流派:扩散 Transformer(如 Z-Image 的 S3-DiT)在统一流中处理文本与图像 token;自回归模型(如 Infinity)以比特级 token 序列预测图像。本文需要在两种完全不同的架构上验证方法的通用性,因此理解它们在激活空间上的差异对读懂实验设置很关键。

论文在 Z-Image 和 Infinity 上都做了实验,验证了 CAT 跨架构的通用性;如果读者对 DiT 和自回归生成的中间表征差异没有概念,就难以理解为什么要在两个模型上做模态引导研究。

马氏距离与协方差收缩估计

马氏距离 $D_M^2(z) = (z-\mu)^T \Sigma^{-1} (z-\mu)$ 用数据的协方差结构对欧氏距离加权,能刻画样本到分布中心的真实统计距离。但当特征维度 $d$ 远超样本数 $N$ 时,经验协方差矩阵 $\Sigma_{emp}$ 秩亏,不可逆。本文使用收缩估计量 $\hat{\Sigma}^{-1} = d \cdot [(N-1)\Sigma_{emp} + \mathrm{tr}(\Sigma_{emp})I]^{-1}$,在 LLM 异常检测和 OOD 检测中是标准做法。

条件门控 $C_{MD}(z) = \mathbb{I}[D_M^2(z) \leq \eta_q]$ 直接依赖稳定的协方差逆矩阵;理解为什么需要收缩估计,才能明白作者在 T2I 高维潜空间中所做的工程取舍。

最优传输(Optimal Transport)

起源于 Monge/Kantorovich 问题的数学框架,研究如何以最小代价把一个概率分布搬运到另一个分布。Linear-ACT 把 $T(z) = \omega \odot z + \beta$ 中的 $\omega, \beta$ 当作传输映射的离散参数,通过最小化 $\|z_s - T(z_u)\|^2$ 来拟合。

CAT 把传输概念从线性仿射升级为 MLP 残差映射 $T_{mlp}(z) = z + MLP(z)$,本质是把 Kantorovich 问题的可行解类从仿射族扩展到非线性流形;理解这一升级是抓住论文创新点的关键。

研究动机

当前的文生图模型在安全对齐上仍然非常脆弱,无论底层是扩散 Transformer(如 SD 系列、Z-Image)还是自回归模型(如 Infinity、LlamaGen),都会在没有显式越狱提示的情况下生成不安全内容。推理时的激活引导被广泛视为有前景的防御手段,但作者通过实验发现现有方法存在严重权衡:ActAdd(Rimsky 等, 2024)使用全局常数平移向量 $v = \mu_s - \mu_u$,忽略了不安全分布的方差和形状信息,常常无法真正去除有害概念——例如在蜘蛛网纹身测试中,纳粹符号依然完整保留;Linear-ACT(Rodriguez 等, 2025)虽然引入了最优传输,但受限于逐元素缩放 $\omega \in \mathbb{R}^{d}$ 的形式,无法实现正交旋转,在 Infinity 模型上把 CLIP 分数从 0.33 砸到 0.07,几乎生成噪声。在 Z-Image 上,未做引导时 ASR 高达 33.91%,CLIP 为 0.35;做最强引导时 Linear-ACT 把 ASR 压到 2.61%,但 CLIP 也跟着掉到 0.22。LLM 领域的 CAST(Lee 等, 2025)尝试用相似度做条件门控,但只在网络最浅层做一次判定,忽略了不安全表征可能在更深层才涌现这一关键事实。

本文的目标是本文要设计一个名为 CAT(Conditioned Activation Transport)的推理时安全引导框架,在两个目标上同时取胜:第一,把 ASR(用 ShieldGemma-2-4b-it 评判)从基线水平大幅压低;第二,在 COCO 验证集上的 CLIP 分数(ViT-B/32)几乎不下降。具体地,作者希望 ASR 降到个位数百分比,同时 CLIP 仍能保持不低于 0.32 的水平,从而证明安全引导不必以图像质量为代价。为支撑这个框架,他们还发布了 SafeSteerDataset——一个包含 2300 对语义高度对齐的安全/不安全 prompt 对的数据集,按 6 大类(性、仇恨、羞辱、暴力、违法、惊悚)和 23 个子类组织。

与已有工作不同的是,本文的独特切入角度是同时承认不安全激活在潜空间中构成非线性流形与安全边界会随网络深度变化这两个事实。现有激活引导方法要么假设安全与不安全分布在均值上只差一个常数向量(ActAdd),要么假设二者可以用仿射变换互相转换(Linear-ACT/Affine),这些线性假设在合成数据上就被反例击破——例如 The Moon 形状的非凸流形只能被非线性映射正确弯折,Multi-Modal XOR 类型的上下文依赖规则更让全局线性方向相互抵消。本文首次系统地:(1)引入 MLP 残差传输 $T_{mlp}(z) = z + MLP(z)$ 来建模任意局部向量场;(2)用马氏距离逐层定义椭球条件门控,使引导只在样本落入不安全概念的几何区域时才激活;(3)构建 SafeSteerDataset 提供高质量对照样本,让传输映射能学到真正的毒性方向而不是无关的语义偏移。这一非线性 + 几何条件的组合是过去工作中缺失的拼图。

核心方法

CAT 的整体思路分两阶段:训练阶段用一个对比数据集(SafeSteerDataset)学习一个非线性残差传输映射 $T_\theta$,把不安全激活搬到安全流形上;推理阶段把 $T_\theta$ 注入 T2I 模型的前向传播中,并通过几何条件门控决定是否施加引导。直觉上,ActAdd 像给所有图像往同一个方向推一把,Linear-ACT 像把整张图线性拉伸,而 CAT 更像一位精雕细琢的修复师——只对真的有毒的部分做形变,并且形变方式是非线性的、能跟随样本所在流形的局部曲率。技术上,残差形式 $z' = z + \alpha \cdot C(\bar{z}) \cdot (T_\theta(\bar{z}) - \bar{z})$ 把传输、强度、门控三件事解耦:$\alpha$ 控制整体引导强度,$C(\bar{z}) \in \{0,1\}$ 是几何条件开关,$T_\theta(\bar{z}) - \bar{z}$ 是非线性位移量。

与已有方法的本质区别在于两点:(1)从仿射到非线性——把最优传输的解类从 $\{T(z) = Wz + b\}$ 升级到 MLP 残差 $T_{mlp}(z) = z + MLP(z)$,并通过零初始化最后一层让网络从恒等映射起步,避免训练初期破坏生成过程;MLP 内含 RMSNorm + GELU 隐藏层,能拟合复杂局部向量场。(2)从矩形门控到椭球门控——传统 Min-Max 条件把不安全区域框成长方体,对复杂形状太松;本文用收缩估计的马氏逆矩阵 $\hat{\Sigma}^{-1}$ 计算 $D_M^2(z) = (z-\mu_u)^T \hat{\Sigma}^{-1}_u (z-\mu_u)$,再用分位数阈值 $\eta_q$(如 0.95)画椭球边界,并按层独立判定,让晚涌现的不安全表征也能被拦下。配套的对比数据集 SafeSteerDataset 则是上游关键:用 Qwen-8b 嵌入模型对 Gemini-2.5-Pro 生成的 100×23 对候选做余弦相似度大于 0.7 的语义相似度过滤,确保 $T_\theta$ 学到的是真正的毒性几何方向。

方法步骤详情

完整方法分四步:第一步构建 SafeSteerDataset——以 T2ISafety 的 6 大毒性类别为基础扩展为 23 个子类(性 5 个、仇恨 3 个、羞辱 3 个、暴力 5 个、违法 5 个、惊悚 2 个),用 Gemini 2.5-Pro 为每个子类生成 100 对语义相似的安全/不安全 prompt(共 2300 对),再用 Qwen-8b 嵌入过滤掉余弦相似度不达标的样本,确保两两 prompt 仅在毒性维度上不同。第二步训练非线性传输映射 $T_\theta$——在按 9:1 划分的训练集上最小化对偶损失 $\mathcal{L}(z_u, z_s) = \|z_s - T_\theta(z_u)\|^2 + \lambda \|z_s - T_\theta(z_s)\|^2$;第一项把不安全表征推向安全目标,第二项正则化保证 $T_\theta$ 在安全样本上近似恒等;MLP 最后一层零初始化以保证训练初期 $T_\theta(z) = z$。第三步在推理时挂接 CAT——对每个采样步 $t$ 的每一层 $\ell \in L_{steer}$,计算 mean-pool 激活 $\bar{z}_{\ell,t}$,算出马氏椭球门控 $g_{\ell,t} = C_{MD}(\bar{z}_{\ell,t}) \in \{0,1\}$,并把残差位移广播到所有 $N$ 个空间 token:$z'^{(i)}_{\ell,t} \leftarrow z^{(i)}_{\ell,t} + \alpha \cdot g_{\ell,t} \cdot (T_\theta(\bar{z}_{\ell,t}) - \bar{z}_{\ell,t})$;实验设定引导发生在模型后半段(text 和 vision 组件均介入),$\alpha$ 在 Z-Image 上取 0.75–1.0,在 Infinity 上取 0.25–1.0。第四步用 ShieldGemma-2-4b-it 评估生成图像的 ASR,用 ViT-B/32 在 COCO 验证集上评估 CLIP 分数。

技术新颖性

技术新颖性体现在四个层面:第一,理论层面,把激活引导从均值平移升级到流形到流形的非线性最优传输,并给出形式化的残差公式 $z' = z + \alpha \cdot C(\bar{z}) \cdot (T_\theta(\bar{z}) - \bar{z})$,清晰分离了推什么、推多强、要不要推三个自由度。第二,数据层面,SafeSteerDataset 是首个面向激活引导设计的安全-不安全对比语料——23 子类的细粒度分类加上严格的语义相似度过滤让传输映射能学到去噪后的毒性方向,而不是表面语义漂移。第三,方法层面,MLP 残差 + 零初始化最后一层 + 正则化恒等项的三件套让非线性训练稳定且不破坏基座;马氏 OOD 条件则把门控从矩形升级为符合数据协方差结构的椭球。第四,验证层面,本文首次在 Z-Image(Diffusion Transformer)和 Infinity(自回归)两类迥异的架构上系统比较了 ActAdd/Linear-ACT/Affine/CAT 四种方法,并通过模态隔离实验发现必须同时引导 text encoder 和 vision backbone 才能达到协同效果——只引导 text 在 Infinity 上 ASR 高达 30.43%,只引导 vision 则 ASR 35.65%。

在 4 类合成流形(Simple Gaussian、Variance Mismatch、Moon、Multi-Modal XOR)上比较 ActAdd、Linear-ACT、MLP Transport 的传输效果
Figure 2: 在 4 类合成流形(Simple Gaussian、Variance Mismatch、Moon、Multi-Modal XOR)上比较 ActAdd、Linear-ACT、MLP Transport 的传输效果

实验结果

实验围绕 4 个研究问题展开。RQ1(安全-质量权衡):在 Z-Image 上,CAT (Reg=0.5, $\alpha$=1.0) 把 ASR 从基线 33.91% 压到 6.96%,CLIP 仍维持 0.33;Linear-ACT 最强配置($\alpha$=0.25, min_max 条件)只能把 ASR 降到 2.61%,但 CLIP 同步塌陷到 0.22。Infinity 上的对比更鲜明:CAT (Reg=0.5, min_max, $\alpha$=0.5) 实现 ASR=4.78%、CLIP=0.32 的优越组合,而 Linear-ACT ($\alpha$=0.5, 无条件) 的 ASR 看似完美的 0.00% 其实是把图像全部毁掉(CLIP=0.07,本质噪声)。RQ2(条件门控影响):对线性方法而言,加 Min-Max 条件能把 CLIP 从 0.08 救回到 0.25(Infinity 上 Linear-ACT),代价是 ASR 从 0% 反弹到 13.48%;马氏 OOD 条件更紧致,对 Linear-ACT 实现 ASR=2.61% + CLIP=0.16 的更优组合。CAT 本身的非正则化版本在 Z-Image 上配合 min_max 条件反而变差(ASR 10.00%、CLIP 0.20),说明 MLP 已经隐式学会了何时该动手,外部条件过于宽松时会引入噪声。RQ3(模态隔离):Z-Image 上,只引导 text 时 ASR=2.17%、CLIP=0.32,只引导 vision 时 ASR 飙到 35.65%、CLIP=0.34,text+vision 同时引导达到 ASR=6.96%、CLIP=0.33 的甜蜜点。Infinity 上同样规律:text only = 30.43%/0.32,vision only = 33.04%/0.32,text+vision = 4.78%/0.32。RQ4(细粒度单类别):把训练限制在 sexual 类别时,Z-Image 上 CAT 仍能拿到 ASR=4.68%、CLIP=0.33 的组合,而 Linear-ACT (min_max, $\alpha$=0.25) 把 CLIP 从 0.35 砸到 0.27、Affine 更惨(CLIP=0.24),说明即便单一安全类别的边界也是非线性的。合成数据验证:Figure 2 在 4 个 2D 几何上展示了三种传输映射的能力——简单高斯全部通过;方差错位(旋转)场景下 ActAdd 因均值相同而向量约等于 0、Linear-ACT 退化为窄条、MLP 正确匹配;Moon 形非凸流形下 Linear-ACT 只能缩到目标范围但无法弯折,MLP 成功极坐标反演;XOR 多模态下全局线性方向相互抵消、MLP 按局部坐标逐簇引导。

SafeSteerDataset 在六大安全类别(Hate, Violence, Sexual, Illegal, Humiliation, Disturbing)下的代表性样本
Table 1: SafeSteerDataset 在六大安全类别(Hate, Violence, Sexual, Illegal, Humiliation, Disturbing)下的代表性样本
Z-Image 与 Infinity 上每种引导方法的最优配置对比(ASR↓ / CLIP↑)
Table 2: Z-Image 与 Infinity 上每种引导方法的最优配置对比(ASR↓ / CLIP↑)
所有方法 × 所有条件 × 各种 α 的完整扫描结果
Table 3: 所有方法 × 所有条件 × 各种 α 的完整扫描结果
模态隔离实验:只引导 text encoder / 只引导 vision backbone / 同时引导两者
Table 4: 模态隔离实验:只引导 text encoder / 只引导 vision backbone / 同时引导两者
仅在 Sexual 类别上训练和评估的细粒度实验
Table 5: 仅在 Sexual 类别上训练和评估的细粒度实验
Infinity 模型上 ActAdd 与 CAT 的定性对比:非法大麻植物、暴力的狼群盛宴等高风险概念
Figure 3: Infinity 模型上 ActAdd 与 CAT 的定性对比:非法大麻植物、暴力的狼群盛宴等高风险概念
查看结构化数据
任务指标本文基线提升
T2I 安全引导 (Z-Image, 全类别) ASR↓ / CLIP↑ CAT (Reg=0.5, α=1.0): ASR=6.96%, CLIP=0.33 无引导 ASR=33.91%, CLIP=0.35;Linear-ACT 最强 ASR=2.61% 但 CLIP=0.22 相比无引导 ASR 降 26.95 个百分点,CLIP 仅降 0.02;相比 Linear-ACT 在同等安全下 CLIP 高 0.11
T2I 安全引导 (Infinity, 全类别) ASR↓ / CLIP↑ CAT (Reg=0.5, min_max, α=0.5): ASR=4.78%, CLIP=0.32 无引导 ASR=31.74%, CLIP=0.33;Linear-ACT 无条件 ASR=0% 但 CLIP=0.07(噪声) 在 CLIP 不低于 0.32 约束下 ASR 比无引导低 26.96 个百分点;相对 Linear-ACT,CLIP 高 0.25(图像不再被毁)
合成流形传输 (2D, MLP vs Linear) 几何匹配度 (定性) MLP Transport 在 Moon、XOR、Rotation 三种复杂流形上成功对齐绿色安全目标 ActAdd 无法旋转;Linear-ACT 退化为缩窄或散点 首次实证线性激活引导在非凸/多模态流形上的不可行性
单类别安全引导 (Sexual only, Z-Image) ASR↓ / CLIP↑ CAT (Reg=0.5, α=1.0): ASR=4.68%, CLIP=0.33 无引导 ASR=41.46%, CLIP=0.35;Linear-ACT (min_max, α=0.25) ASR=2.44% 但 CLIP=0.27 在 CLIP 高 0.06 的前提下 ASR 仅比 Linear-ACT 高 2.24 个百分点
模态隔离 (Z-Image, text only) ASR↓ / CLIP↑ text+vision: ASR=6.96%, CLIP=0.33 text only: ASR=2.17%, CLIP=0.32;vision only: ASR=35.65%, CLIP=0.34 text+vision 在 ASR 接近 text only 的同时 CLIP 不下降,证明双模态协同

局限与改进

作者明确承认三点局限:第一,推理时引导本质上是打补丁而非真正切除不安全能力,攻击者只要做分布外偏移或自适应提示工程就可能绕过——文中明确指出推理时引导不能移除不安全能力。第二,条件和传输都建立在 mean-pool 激活上,会丢失空间局部化信息,对那些只在画面某区域出现的不安全元素可能漏检。第三,安全评估完全依赖自动判官 ShieldGemma-2-4b-it,没有人类标注,可能存在系统性的判官偏差。从实验数据中我还能观察到几个隐藏的弱点:CAT 在 Z-Image 上即便最优也只把 ASR 压到 6.96%,离 0% 仍有距离,说明非线性 + 条件虽然显著优于线性,但并不能保证完全防御;马氏 OOD 条件在 Z-Image 上表现糟糕——CAT (Reg=0.5, ood_mahal., $\alpha$=0.25) 的 ASR 高达 34.78%,几乎等于无引导水平,说明该条件在某些层/某些训练子集上误判率过高,需要更精细的阈值校准;不同条件/超参组合在 ASR 和 CLIP 上的方差很大(同一模型上 ASR 从 2.17% 到 34.78% 都见过),意味着实际部署时需要昂贵的超参搜索。

独立分析的弱点

独立审视后我认为本文有以下几点可改进的方向。第一,推理成本问题:论文没有报告 CAT 的额外前向开销。MLP 残差 + 逐层马氏距离 + 收缩协方差计算意味着每个去噪步都要做矩阵乘法和逆运算,相对于 ActAdd 的 $O(d)$ 标量加减、Linear-ACT 的 $O(d)$ 缩放,CAT 至少是 $O(d^2)$ 的矩阵运算,对 Infinity 这种高分辨率自回归模型的影响可能很大,需要给出 wall-clock latency 报告。第二,超参脆弱性:Table 3 显示同一方法在不同条件/强度下 ASR 方差极大(CAT 在 Infinity 上从 2.17% 到 22.61%),缺乏对 $\alpha$、$\lambda$、$\eta_q$ 的稳健性研究,建议在附录中给出 $\alpha \in [0.25, 2.0]$ 的完整曲线和鲁棒性区间。第三,条件门控失效案例:在 Z-Image 上 ood_mahal 条件普遍把 ASR 推高到 34.78%——和随机猜测几乎一样——可能是因为协方差估计在 2300 个样本上对 $d > 1000$ 维潜空间仍然欠拟合,需要探索降维预处理(如先做 PCA 再算马氏距离)或对角近似。第四,可解释性缺失:MLP 残差是非线性黑盒,无法像 ActAdd 那样给出安全方向等于哪个语义轴的物理解释,可以考虑在 $T_\theta$ 上加稀疏性约束或事后可视化以提升可解释性。第五,对攻击的鲁棒性未充分检验:作者承认推理时引导能被绕过,但论文没有给出任何具体攻击场景(如加噪、prompt 重写、adapter 微调)的实证,建议至少做一组红队测试。

未来方向

作者在 Limitations 中暗示了几个未来方向——把 mean-pool 升级为空间局部条件以捕捉区域级不安全元素、用人类标注校验 ShieldGemma 的偏差、以及开发真正能遗忘的模型编辑方法。基于 CAT 的成果还可以延伸出多个有意义的方向:第一,把 SafeSteerDataset 的对比学习范式推广到 LLM 角色扮演/越狱防御上,让 LLM 也能学到非线性的安全流形;第二,引入条件 diffusion 模型对 $T_\theta$ 的输出做后验采样,进一步降低 ML 估计的方差;第三,把逐层椭球门控替换为可学习的端到端门控网络(如轻量级 cross-attention),与 $T_\theta$ 联合训练;第四,探索把 CAT 与训练时方法(如 UCE、ESD)结合的可能性——既然线性引导无法切除能力而训练时方法可能引发伪失忆,二者结合也许能既根除又保留泛化;第五,把 SafeSteerDataset 的 23 子类细粒度分类用于按需安全——用户可声明禁用某子类(如宗教符号),引导模块只激活相应方向的 $\Delta$。

复现评估

论文提供了较强的复现支持:代码与数据仓库已在 https://github.com/NASK-AISafety/conditional-activation-transport 公开,SafeSteerDataset 也已上传到 https://huggingface.co/datasets/NASK-PIB/SafeSteerDataset。SafeSteerDataset 共 2300 对 prompt,规模适中,依赖 Qwen-8b 嵌入(用于过滤)和 Gemini 2.5-Pro(用于生成)这两个公开 API,可以完全离线复现。训练阶段只需在 90% 训练集(2070 对)上拟合一个小 MLP(单隐藏层 + RMSNorm + GELU),计算开销低,单卡 A100 应可在数小时内完成;推理时需要在 Z-Image 和 Infinity 上跑前向引导,这两个模型在 HuggingFace 上都有官方权重,Z-Image 大约 8B 参数、Infinity 约 2B 参数,常规推理即可。难度评估为中等偏上——主要门槛在:(1)需要正确实现 MLP 残差 + 零初始化的细节;(2)需要按层注入引导,修改 DiT/AR 模型的前向代码;(3)马氏收缩估计和分位数阈值 $\eta_q$ 的数值稳定性容易踩坑。论文 Appendix B 还给出了 Gemini 2.5-Pro 的生成 prompt 模板,Appendix C 给出 23 子类的示例对,进一步降低了复现门槛。