The local complexity of certifying parity

2026-06-03

AI Summary

This work investigates the efficient certification of global graph properties—specifically, the parity (or congruence modulo a fixed integer) of the total number of nodes—in distributed networks through local verification. Focusing on labeled general graphs, anonymous graphs, and bounded-expansion graph classes, the paper introduces novel certification schemes based on constant-size certificates encoded via parent pointers, leveraging conflict-free coloring and implicit identifier utilization to achieve efficient verification under varying verification radii. The main contributions include constant-size certificates for labeled graphs with verification radius 2, a lower bound of Ω(log log* n) on certificate size for anonymous graphs with radius 1, and a breakthrough showing that this lower bound can be circumvented in bounded-expansion graph classes, where constant-size certificates suffice. The lower-bound proof employs advanced analytical tools from higher-order Ramsey theory.

Abstract

In this paper, we consider the problem of locally certifying that the size of a network is even, or more generally, congruent to some fixed number. The parity property is one of the simplest global properties, and it plays an intriguing role in local certification. On the one hand, it is one of the simplest properties in cycles because it is equivalent to 2-colorability, and hence can be certified with a single bit. On the other hand, in general graphs, no non-trivial lower bound on the size of the certificates is known, and the known upper bound basically consists in certifying the \emph{exact} value of $n$. In addition, the nature of the problem makes all the known lower bound approaches fail. We uncover a surprising landscape for parity across different models and graph structures: * In general graphs equipped with identifiers, when allowing verification radius 2, parity can be certified with a constant number of bits. * But in the model of anonymous graphs and allowing verification radius only 1, parity requires $Ω(\log \log^*n)$ bits. * Finally, in bounded expansion graph classes (such as bounded-degree graphs and planar graphs), the lower bound does not apply: in the same restricted model we can design a constant-size certification. We introduce several new tools that we expect to be useful in other contexts, in particular ways to \emph{encode a parent at each node with a constant number of bits} (via implicit use of the IDs and conflict-free colorings) and a new lower bound technique, with complex topologies and higher-order Ramsey-type arguments.

Problem

• local certification
• parity
• distributed verification
• graph classes
• certificate size

Innovation

• local certification
• parity
• constant-size certificates
• conflict-free coloring
• Ramsey-type lower bounds