The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates. In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $\Omega(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $\Omega(n^{1-\delta})$ for any $\delta>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest.

翻译：局部认证的目标是在局部范围内使图$G$的顶点确信$G$满足给定性质。证明者为图的顶点分配简短证书后，顶点被允许检查自身及其邻居的证书，并仅基于此局部视图判断$G$是否满足给定性质。若图确实满足该性质，所有顶点必须接受该实例；否则至少存在一个顶点必须拒绝实例（对任意可能的证书分配）。研究目标在于最小化证书尺寸。本文研究几何与拓扑图类的局部认证问题。虽然已知在$n$顶点图中，平面性可通过尺寸为$O(\log n)$的证书进行局部认证，但我们证明多个紧密相关的图类需要$\Omega(n)$尺寸的证书。这包括便士图、单位距离图、方形网格的（诱导）子图、1-平面图及单位方形图。这些界限在常数因子范围内是紧致的，并首次给出了需要线性尺寸证书的遗传性（甚至单调性）图类实例。对于单位圆盘图，我们获得证书尺寸的下界为$\Omega(n^{1-\delta})$（对任意$\delta>0$）及上界$O(n \log n)$。下界证明通过建立所研究图的刚性性质获得，该性质可能具有独立研究价值。