任务充分约简：机器信息接口的信源选择

在下游编码器、码本、码率、失真目标或优化器选定之前，一个已声明的任务有时就能先期确定一个可约简的信源。本文研究在何种条件下，这类约简能保持整个下游问题族的结果不变——这一性质被称为 Task-Sufficient Contraction（任务充分约简）。约简后的信源由任务在选定后续工作点之前就加以固定。若约简是精确的，则后续问题可以在该信源上求解，其结果与保留完整信源时完全一致。 对于一组动作集合与损失函数均固定的机器，论文通过这样的方式识别出针对特定消费者（consumer）的信源：仅当两个状态在每个可用动作上的 regret 都相同时，才将它们合并。对于有限动作集，即便约简是在失真目标选定之前就已固定，用这种约简信源替代更丰富的信源仍能完整保持单步 rate-regret（码率-遗憾）曲线。第二个结果给出了仿射可行动作集上二次损失的精确刻画：规范的约简信源是可行动作之间可能出现差异的方向上的投影。在固定能量预算下，这归结为「中心化负载」（centered load），而仅保留最优的注水动作（water-filled action）则过于粗糙。随后，论文借助已有的 Information Bottleneck（信息瓶颈）、语义率失真（semantic rate-distortion）以及目标导向量化（goal-oriented quantization）结果，区分了精确的、依赖于架构的、近似的、失败的以及被修正的约简。该框架为异构机器之间交换「接收任务所需内容」提供了一条途径，而无需先行对齐各自的完整内部表示。