Abstract:In their pioneering work, Chan, Har-Peled, and Jones (SICOMP 2020) introduced locality-sensitive ordering (LSO), and constructed an LSO with a constant number of orderings for point sets in the $d$-dimensional Euclidean space. Furthermore, their LSO could be made dynamic effortlessly under point insertions and deletions, taking $O(\log{n})$ time per update by exploiting Euclidean geometry. Their LSO provides a powerful primitive to solve a host of geometric problems in both dynamic and static settings. Filtser and Le (STOC 2022) constructed the first LSO with a constant number of orderings in the more general setting of doubling metrics. However, their algorithm is inherently static since it relies on several sophisticated constructions in intermediate steps, none of which is known to have a dynamic version. Making their LSO dynamic would recover the full generality of LSO and provide a general tool to dynamize a vast number of static constructions in doubling metrics. In this work, we give a dynamic algorithm that has $O(\log{n})$ time per update to construct an LSO in doubling metrics under point insertions and deletions. We introduce a toolkit of several new data structures: a pairwise tree cover, a net tree cover, and a leaf tracker. A key technical is stabilizing the dynamic net tree of Cole and Gottlieb (STOC 2006), a central dynamic data structure in doubling metrics. Specifically, we show that every update to the dynamic net tree can be decomposed into a few simple updates to trees in the net tree cover. As stability is the key to any dynamic algorithm, our technique could be useful for other problems in doubling metrics. We obtain several algorithmic applications from our dynamic LSO. The most notably is the first dynamic algorithm for maintaining an $k$-fault tolerant spanner in doubling metrics with optimal sparsity in optimal $O(\log{n})$ time per update.

$L$ is unequal $NL$ under the Strong Exponential Time Hypothesis

On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$

Monotone switching networks for directed connectivity are strictly more powerful than certain-knowledge switching networks

Alternating Hierarchies for Time-Space Tradeoffs

A correspondence between the time and space complexity

Constant Factor Lasserre Integrality Gaps for Graph Partitioning Problems.

The Separation of $NP$ and $PSPACE$

Space-time Trade-offs for the LCP Array of Wheeler DFAs

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality

Local Computation Algorithms for Graphs of Non-Constant Degrees

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

Discrete logarithmic Sobolev inequalities in Banach spaces

Tight (Double) Exponential Bounds for Identification Problems: Locating-Dominating Set and Test Cover

Effective Resistances in Non-Expander Graphs

On Exponential Time Lower Bound of Knapsack under Backtracking

Matrix hypercontractivity, streaming algorithms and LDCs: the large alphabet case

Online matching games in bipartite expanders and applications

Dynamic Locality Sensitive Orderings in Doubling Metrics

On the Time-Space Tradeoff for Sorting with Linear Queries.

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis