Abstract:We consider the problem of assigning short labels to the vertices and edges of a graph $G$ so that given any query $\langle s,t,F\rangle$ with $|F|\leq f$, we can determine whether $s$ and $t$ are still connected in $G-F$, given only the labels of $F\cup\{s,t\}$. This problem has been considered when $F\subset E$ (edge faults), where correctness is guaranteed with high probability (w.h.p.) or deterministically, and when $F\subset V$ (vertex faults), both w.h.p.~and deterministically. Our main results are as follows. [Deterministic Edge Faults.] We give a new deterministic labeling scheme for edge faults that uses $\tilde{O}(\sqrt{f})$-bit labels, which can be constructed in polynomial time. This improves on Dory and Parter's [PODC 2021] existential bound of $O(f\log n)$ (requiring exponential time to compute) and the efficient $\tilde{O}(f^2)$-bit scheme of Izumi, Emek, Wadayama, and Masuzawa [PODC 2023]. Our construction uses an improved edge-expander hierarchy and a distributed coding technique based on Reed-Solomon codes. [Deterministic Vertex Faults.] We improve Parter, Petruschka, and Pettie's [STOC 2024] deterministic $O(f^7\log^{13} n)$-bit labeling scheme for vertex faults to $O(f^4\log^{7.5} n)$ bits, using an improved vertex-expander hierarchy and better sparsification of shortcut graphs. [Randomized Edge/Verex Faults.] We improve the size of Dory and Parter's [PODC 2021] randomized edge fault labeling scheme from $O(\min\{f+\log n, \log^3 n\})$ bits to $O(\min\{f+\log n, \log^2 n\log f\})$ bits, shaving a $\log n/\log f$ factor. We also improve the size of Parter, Petruschka, and Pettie's [STOC 2024] randomized vertex fault labeling scheme from $O(f^3\log^5 n)$ bits to $O(f^2\log^6 n)$ bits, which comes closer to their $\Omega(f)$-bit lower bound.

Shotgun Assembly Threshold for Lattice Labeling Model

Shotgun Threshold for Sparse Erdős-Rényi Graphs.

A Combinatorial Theorem on Labeling Squares with Points and Its Application.

Confluence in labeled chip-firing

Sequential non-determinism in tile self-assembly: a general framework and an application to efficient temperature-1 self-assembly of squares

Maximal chains in lattices from graph associahedra: Tamari to the weak order

Tiling the integer lattice with translated sublattices

A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system

Lattice aggregations of boxes and symmetric functions

The t -latency bounded strong target set selection problem in some kinds of special family of graphs

Markov chain Monte Carlo Methods For Lattice Gaussian Sampling: Lattice Reduction and Decoding Optimization

The Hitting Times with Taboo for a Random Walk on an Integer Lattice

Maximum likelihood thresholds via graph rigidity

On the L (2, 1)-Labeling Conjecture for Brick Product Graphs

Multi-Target Tracking with Dependent Likelihood Structures in Labeled Random Finite Set Filters

Connectivity Labeling Schemes for Edge and Vertex Faults via Expander Hierarchies

$$L(2,1)$$L(2,1)-labeling for brick product graphs

Irreducibility of Recombination Markov Chains in the Triangular Lattice

Lattice point counting for finite-order mapping classes

Temperature 1 Self-Assembly: Deterministic Assembly in 3D and Probabilistic Assembly in 2D