Fine-Grained Complexity of Earth Mover's Distance under Translation

The Earth Mover's Distance is a popular similarity measure in several branches of computer science. It measures the minimum total edge length of a perfect matching between two point sets. The Earth Mover's Distance under Translation (EMDuT) is a translation-invariant version thereof. It minimizes the Earth Mover's Distance over all translations of one point set. For EMDuT in R¹, we present an O(n²)-time algorithm. We also show that this algorithm is nearly optimal by presenting a matching conditional lower bound based on the Orthogonal Vectors Hypothesis. For EMDuT in Rᵈ, we present an O(n²ᵈ⁺²)-time algorithm for the L₁ and L_∞ metric. We show that this dependence on d is asymptotically tight, as an nᵒ⁽ᵈ⁾-time algorithm for L₁ or L_∞ would contradict the Exponential Time Hypothesis (ETH). Prior to our work, only approximation algorithms were known for these problems.