论文证明在稀疏约束下，用于生成动作的潜在变量是动作相关潜在变量的可逆函数，且真实结构可在置换意义下被唯一识别。