Spanoid——跨张成结构的抽象及其对局部可校正码的限制

我们引入一种称为 $\textsf{spanoid}$ 的简单逻辑推理结构（推广了拟阵的概念），它很好地刻画了多个领域中经过充分研究的问题。这些领域包括组合几何、代数（超曲面与理想的排布）、统计物理（自举渗流）以及编码理论。我们从计算与结构视角对 spanoid 展开深入研究，聚焦于与上述应用领域相关、特别是与局部可校正码（LCCs）相关问题中的参数。我们研究的一个核心参数是 spanoid 的 $\textsf{rank}$（秩），它推广了拟阵的秩并与码的尺寸相关。这导出了我们工作的一项主要应用：确立了已知首个针对 Katz-Trevisan（KT）近 20 年前给出的 LCC 尺寸上界改进的障碍。一方面，我们证明 KT 上界（及其近期细化）在远为一般的 spanoid 秩设定下成立。另一方面，我们表明存在秩与这些上界匹配的（随机）spanoid。因此，要显著改进已知上界，必须跳出 spanoid 框架。我们探讨的另一个参数是 spanoid 的 $\textsf{functional rank}$（函数秩），它刻画了将给定 spanoid 转化为实际码的可能性。秩与函数秩之间关系的问题是我们在文中提出的主要问题之一，因为它可能揭示构造新 LCC（甚至可能匹配 KT 上界）的新途径。作为第一步，我们发展了函数秩的熵松弛以产生小的常数间隙，并通过张量积放大该间隙，构造出一个函数秩比秩小一个多项式因子的 spanoid。这证明我们发展的熵方法能够证明比 KT 型方法在 LCC 尺寸上界上多项式级别更优的界。