通过稳健 daisies 实现松弛局部可解码码的近紧下界

我们给出线性松弛局部可解码码（RLDC）长度的近最优下界。具体而言，我们证明任何 $q$ 查询线性 RLDC $C\colon \{0,1\}^k \to \{0,1\}^n$ 必须满足 $n = k^{1+\Omega(1/q)}$。该下界与 Ben-Sasson、Goldreich、Harsha、Sudan 和 Vadhan（STOC 2004）已知的上界 $n = k^{1+O(1/q)}$ 密切匹配。我们的证明引入了稳健 daisies 的概念，这些是具有 pseudorandom 结构的松弛向日花，并利用新的扩散引理从任意分布中提取密集的稳健 daisies。