常数尺寸局部认证的下界

给定网络属性或数据结构，局部认证是一种标签机制，可高效检查属性是否满足或结构是否正确。认证的质量由其标签尺寸衡量：越小越好。该概念在自稳定中扮演核心角色，因为认证尺寸是分布式数据结构静默自稳定构造所需内存的下界（且常为上界）。从广义分布式计算角度看，它也是属性局部性的度量（例如网络自身属性，如平面性）。就认证标签尺寸而言，可识别三个重要区间：最优尺寸为图顶点数多项式级的属性、仅需多对数尺寸的属性和可用常数比特数认证的属。前两个区间已被充分研究，具若干上下界、特定技术与活跃研究问题。另一方面，常数区间尤其在下界侧从未被真正探索。本文主要贡献是针对此低区间的首个非平凡下界。更精确地，我们证明仅用一比特认证（二元认证）无法认证 $k\ge 3$ 的可 $k$ 着色性。为此，我们发展了基于分值概念的新技术，结合局部对称性论证与全局奇偶性论证。我们希望该技术有助于建立更强结果。我们以讨论此常数尺寸区间下界的含义，以及给出相关问题的一个上界（说明某些情况下可优于自然上界）作为补充。