arXiv:2608.25505cs.ITcs.CL2026-08

揭示并行采样中条件总相关性的信息代价,解析了高效解码的底层机制。

Conditional Total Correlation and the Serial Depth of Adaptive Parallel Sampling

  • 用条件总相关性量化并行采样的信息开销,建立精确数学关系
  • 证明线性到对数的复杂度分离,验证不同采样顺序效率差异
  • 适用于语言模型等序列生成任务,指导高效解码策略设计

针对掩码扩散模型中的并行解码问题,研究离散向量的自适应并行采样:每轮由确定性策略基于已观测值选择未揭示坐标,并独立采样其精确条件边际。近似误差以前向Kullback-Leibler散度衡量,串行深度定义为在给定误差预算下达到目标的最小平均轮数。核心结论为:任意策略的散度等于其揭示轮次中累积的期望条件总相关性,表明条件总相关性即为轮内并行的信息成本。该恒等式导出有限阶马尔可夫链的零误差调度,轮复杂度与马尔可夫阶成正比且对序列长度呈对数依赖;对伯努利随机游走,在任意固定误差预算下实现对数级深度刻画;揭示从左至右与分层揭示顺序间线性与对数的复杂度分离。均匀随机排列在任意固定预算下需线性轮数,其硬约束轮-误差权衡为精确整数分解问题,我们确定了固定轮数渐近与联合缩放前沿。均匀平衡二进制串的深度为平方对数级,二进制独热块为平方根深度,矩形版本可实现不超过1/2的任意多项式指数。这些结果将串行深度与熵及负对数似然分离,确立条件依赖结构为并行化的根本决定因素。实验使用掩码扩散语言模型表明,伪成本能区分实际解码规则,其策略排序与自采样输出质量高度一致。

原文摘要 · Abstract (English)

Motivated by parallel decoding in masked diffusion models, we study adaptive parallel sampling of discrete vectors: in each round, a deterministic policy selects unrevealed coordinates on the basis of the values observed so far, and the selected coordinates are sampled independently from their exact conditional marginals. Approximation error is measured by forward Kullback-Leibler divergence, and serial depth is the minimum target-averaged number of rounds meeting a prescribed error budget. Our central result is an exact identity: the divergence of every policy equals the expected conditional total correlation accumulated over its reveal rounds, so conditional total correlation is the exact information cost of within-round parallelism. The identity yields zero-error schedules for finite-order Markov chains with round complexity proportional to the Markov order and logarithmic in sequence length, a matching logarithmic characterization of the Bernoulli walk at every fixed error budget, and a linear-versus-logarithmic separation between left-to-right and hierarchical reveal orders. Uniform random permutations require linearly many expected rounds at every fixed budget; their hard-cap round-error tradeoff is an exact integer-composition problem whose fixed-round asymptotics and joint-scaling frontier we determine. Uniform balanced binary strings have depth of order squared logarithm, and binary one-hot blocks have square-root depth, with rectangular versions realizing every polynomial exponent up to one half. These results separate serial depth from entropy and negative log-likelihood, and establish conditional-dependence structure as a fundamental determinant of parallelizability. Experiments with a masked diffusion language model show that the pseudo-cost distinguishes deployed decoding rules and that its policy rankings agree closely with the quality of self-sampled outputs.

并行采样信息论语言模型序列生成

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。