Compatible geometric matchings

This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are compatible if they have the same vertex set and their union is also non-crossing. Our first result states that for any two perfect matchings M and ^M′ of the same set of n points, for some k∈O(logn), there is a sequence of perfect matchings M= ^M0, ^M1,⋯, ^Mk= ^M′, such that each ^Mi is compatible with Mi+ ₁. This improves the previous best bound of k≤n-2. We then study the conjecture: every perfect matching with an even number of edges has an edge-disjoint compatible perfect matching. We introduce a sequence of stronger conjectures that imply this conjecture, and prove the strongest of these conjectures in the case of perfect matchings that consist of vertical and horizontal segments. Finally, we prove that every perfect matching with n edges has an edge-disjoint compatible matching with approximately 4n/5 edges.