1,477 research outputs found
Geometry of tropical moduli spaces and linkage of graphs
We prove the following "linkage" theorem: two p-regular graphs of the same
genus can be obtained from one another by a finite alternating sequence of
one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the
linkage theorem to prove that various moduli spaces of tropical curves are
connected through codimension one.Comment: Final version incorporating the referees correction
The persistence of the Chekanov-Eliashberg algebra
We apply the barcodes of persistent homology theory to the
Chekanov-Eliashberg algebra of a Legendrian submanifold to deduce displacement
energy bounds for arbitrary Legendrians. We do not require the full
Chekanov-Eliashberg algebra to admit an augmentation as we linearize the
algebra only below a certain action level. As an application we show that it is
not possible to -approximate a stabilized Legendrian by a Legendrian that
admits an augmentation.Comment: 29 pages, 4 figures; version accepted for publication in Selecta
Mathematica. This is a major revision with many fixes and improvements. The
constant in Theorem 1.1 has been improved. The theory of barcodes have been
properly introduced in the new Section 2 together with new related
terminology. The proof of Theorem 1.1 was rewritten in the new language and
given a greater level of detail
Fine-Grained Complexity of k-OPT in Bounded-Degree Graphs for Solving TSP
The Traveling Salesman Problem asks to find a minimum-weight Hamiltonian cycle in an edge-weighted complete graph. Local search is a widely-employed strategy for finding good solutions to TSP. A popular neighborhood operator for local search is k-opt, which turns a Hamiltonian cycle C into a new Hamiltonian cycle C\u27 by replacing k edges. We analyze the problem of determining whether the weight of a given cycle can be decreased by a k-opt move. Earlier work has shown that (i) assuming the Exponential Time Hypothesis, there is no algorithm that can detect whether or not a given Hamiltonian cycle C in an n-vertex input can be improved by a k-opt move in time f(k) n^o(k / log k) for any function f, while (ii) it is possible to improve on the brute-force running time of O(n^k) and save linear factors in the exponent. Modern TSP heuristics are very successful at identifying the most promising edges to be used in k-opt moves, and experiments show that very good global solutions can already be reached using only the top-O(1) most promising edges incident to each vertex. This leads to the following question: can improving k-opt moves be found efficiently in graphs of bounded degree? We answer this question in various regimes, presenting new algorithms and conditional lower bounds. We show that the aforementioned ETH lower bound also holds for graphs of maximum degree three, but that in bounded-degree graphs the best improving k-move can be found in time O(n^((23/135+epsilon_k)k)), where lim_{k -> infty} epsilon_k = 0. This improves upon the best-known bounds for general graphs. Due to its practical importance, we devote special attention to the range of k in which improving k-moves in bounded-degree graphs can be found in quasi-linear time. For k <= 7, we give quasi-linear time algorithms for general weights. For k=8 we obtain a quasi-linear time algorithm when the weights are bounded by O(polylog n). On the other hand, based on established fine-grained complexity hypotheses about the impossibility of detecting a triangle in edge-linear time, we prove that the k = 9 case does not admit quasi-linear time algorithms. Hence we fully characterize the values of k for which quasi-linear time algorithms exist for polylogarithmic weights on bounded-degree graphs
- …