Abstract:We present a nearly linear work parallel algorithm for approximating the Held-Karp bound for the Metric TSP problem. Given an edge-weighted undirected graph $G=(V,E)$ on $m$ edges and $\epsilon>0$, it returns a $(1+\epsilon)$-approximation to the Held-Karp bound with high probability, in $\tilde{O}(m/\epsilon^4)$ work and $\tilde{O}(1/\epsilon^4)$ depth. While a nearly linear time sequential algorithm was known for almost a decade (Chekuri and Quanrud'17), it was not known how to simultaneously achieve nearly linear work alongside polylogarithmic depth. Using a reduction by Chalermsook et al.'22, we also give a parallel algorithm for computing a $(1+\epsilon)$-approximate fractional solution to the $k$-edge-connected spanning subgraph (kECSS) problem, with the same complexity. To obtain these results, we introduce a notion of core-sequences for the parallel Multiplicative Weights Update (MWU) framework (Luby-Nisan'93, Young'01). For the Metric TSP and kECSS problems, core-sequences enable us to exploit the structure of approximate minimum cuts to reduce the cost per iteration and/or the number of iterations. The acceleration technique via core-sequences is generic and of independent interest. In particular, it improves the best-known iteration complexity of MWU algorithms for packing/covering LPs from $poly(\log nnz(A))$ to polylogarithmic in the product of cardinalities of the core-sequence sets where $A$ is the constraint matrix of the LP. For certain implicitly defined LPs such as the kECSS LP, this yields an exponential improvement in depth.

Approximating the parallel transport of an induced connection

Super fiber bundles, connection forms, and parallel transport

Approximations of interface topological invariants

Efficient Linear-Scaling Quantum Transport Calculations on Graphics Processing Units and Applications on Electron Transport in Graphene

Connections and Parallel Transport

Parallel transport on a Lie 2-group bundle over a Lie groupoid along Haefliger paths

Inverting covariant exterior derivative

Approximation of fractional harmonic maps

Approximate and discrete Euclidean vector bundles

Approximation of semistable bundles on smooth algebraic varieties

Approximating the Held-Karp Bound for Metric TSP in Nearly Linear Work and Polylogarithmic Depth

Covariant Derivatives on Homogeneous Spaces: Horizontal Lifts and Parallel Transport

Brownian motion of a charged test particle in vacuum between two conducting plates

Modular parallel transport of multiple intervals in 1+1-dimensional free fermion theory

Discrete Approximation of Optimal Transport on Compact Spaces

Tensor product approximations of high dimensional potentials

Covariant Derivatives on Homogeneous Spaces -- Horizontal Lifts and Parallel Transport

Parallel transport on matrix manifolds and Exponential Action

Fast and Accurate Approximations of the Optimal Transport in Semi-Discrete and Discrete Settings

Parallel transport in rotating frames and projective holonomic quantum computation