
arXiv: 2311.16953
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 $Ω(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 $Ω(n^{1-δ})$ for any $δ>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.
36 pages, 16 figures; v4: version revised according to the reviewers comments
Computational Geometry (cs.CG), FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, Mathematics of computing → Graph theory, Discrete Mathematics (cs.DM), Computing methodologies → Distributed computing methodologies, proof labeling schemes, Theory of computation → Computational geometry, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], Parallel, 004, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], geometric intersection graphs, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Local certification, FOS: Mathematics, Computer Science - Computational Geometry, Mathematics - Combinatorics, Distributed, Parallel, and Cluster Computing (cs.DC), Combinatorics (math.CO), Computer Science - Discrete Mathematics, ddc: ddc:004
Computational Geometry (cs.CG), FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, Mathematics of computing → Graph theory, Discrete Mathematics (cs.DM), Computing methodologies → Distributed computing methodologies, proof labeling schemes, Theory of computation → Computational geometry, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], Parallel, 004, and Cluster Computing [cs.DC], Computer Science - Distributed, Parallel, and Cluster Computing, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], geometric intersection graphs, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Local certification, FOS: Mathematics, Computer Science - Computational Geometry, Mathematics - Combinatorics, Distributed, Parallel, and Cluster Computing (cs.DC), Combinatorics (math.CO), Computer Science - Discrete Mathematics, ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
