Flipping Non-Crossing Spanning Trees

Håvard Bakke Bjerkevik,Linda Kleist,Torsten Ueckerdt,Birgit Vogtenhuber
2024-10-31
Abstract:For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by one edge flip. The diameter ${\rm diam}(F(P))$ of this graph is subject of intensive study. For points in general position, it is between $3n/2-5$ and $2n-4$, with no improvement for 25 years. For points in convex position, it lies between $3n/2 - 5$ and $\approx1.95n$, where the lower bound was conjectured to be tight up to an additive constant and the upper bound is a recent breakthrough improvement over several bounds of the form $2n-o(n)$. In this work, we provide new upper and lower bounds on ${\rm diam}(F(P))$, mainly focusing on points in convex position. We show $14n/9 - O(1) \le {\rm diam}(F(P)) \le 5n/3 - 3$, by this disproving the conjectured upper bound of $3n/2$ for convex position, and relevantly improving both the long-standing lower bound for general position and the recent new upper bound for convex position. We complement these by showing that if one of $T,T'$ has at most two boundary edges, then ${\rm dist}(T,T') \le 2d/2 < 3n/2$, where $d = |T-T'|$ is the number of edges in one tree that are not in the other. To prove both the upper and the lower bound, we introduce a new powerful tool. Specifically, we convert the flip distance problem for given $T,T'$ to the problem of a largest acyclic subset in an associated conflict graph $H(T,T')$. In fact, this method is powerful enough to give an equivalent formulation of the diameter of $F(P)$ for points $P$ in convex position up to lower-order terms. As such, conflict graphs are likely the key to a complete resolution of this and possibly also other reconfiguration problems.
Computational Geometry,Discrete Mathematics,Combinatorics
What problem does this paper attempt to address?
This paper attempts to solve the problem of the upper and lower bounds of the diameter of the non - crossing spanning tree flip graph. Specifically, the research object is the flip graph \(F(P)\) of non - crossing spanning trees on a set \(P\) of points in the plane, where each vertex represents a non - crossing spanning tree, and an edge represents spanning trees that can be transformed into each other by a single flip (i.e., deleting and adding an edge). ### Main problems: 1. **Improvement of the upper bound**: For a set \(P\) of points in convex position, how to improve the existing upper bound. 2. **Improvement of the lower bound**: For a set \(P\) of points in convex position, how to provide a tighter lower bound. ### Research background: - For a set \(P\) of points in general position, the diameter \(\text{diam}(F(P))\) of the flip graph \(F(P)\) is between \(\lfloor\frac{3}{2}\cdot n\rfloor - 5\) and \(2n - 4\). - For a set \(P\) of points in convex position, the diameter \(\text{diam}(F(P))\) is between \(\lfloor\frac{3}{2}\cdot n\rfloor - 5\) and \(\approx1.95n\). - Recent research shows that for a set \(P\) of points in convex position, the diameter \(\text{diam}(F(P))\) may not exceed \(\frac{3}{2}\cdot n\). ### Contributions of the paper: 1. **New upper bound**: The author improves the upper bound of the diameter of the flip graph \(F(P)\) of a set \(P\) of points in convex position from \(\approx1.95n\) to \(\frac{5}{3}\cdot n - 3\). - **Theorem 2**: For any \(n\geq3\) points in a set \(P\) of points in convex position, the diameter of the flip graph \(F(P)\) of non - crossing spanning trees does not exceed \(\frac{5}{3}\cdot n - 3\). That is, \(\text{diam}(F_n)\leq\frac{5}{3}\cdot n - 3\). 2. **New lower bound**: The author provides the lower bound of the diameter of the flip graph \(F(P)\) of a set \(P\) of points in convex position as \(\frac{14}{9}\cdot n - O(1)\). - **Theorem 3**: There exists a constant \(c\), for any \(n\geq1\), there exist non - crossing spanning trees \(T\) and \(T'\) of \(n\) points in convex position, and their flip distance \(\text{dist}(T, T')\geq\frac{14}{9}\cdot n - c\). That is, \(\text{diam}(F_n)\geq\frac{14}{9}\cdot n - c\). 3. **Other results**: - If at least one of the trees \(T\) or \(T'\) is a separated caterpillar, then their flip distance \(\text{dist}(T, T')\leq\frac{3}{2}\cdot d(T, T')\). - For a set \(P\) of points in general position, the radius of the flip graph \(F(P)\) of non - crossing spanning trees is at least \(n - 2\). ### Method: To determine the diameter of the flip graph \(F_n\), the author introduces a new tool - the conflict graph. By transforming the flip distance problem into the problem of the maximum acyclic subset in the conflict graph, the author can effectively calculate the diameter of the flip graph. Specific steps include: - Define the conflict graph \(H = H(\)