View PDF HTML (experimental)

Abstract:For a traveling salesperson problem (TSP) of $n$ cities, we present a compact quantum encoding based on a time-register representation of tours. A candidate route is represented as a sequence of $n-1$ city labels over discrete time steps, with one fixed start city and the remaining cities encoded in binary registers. We describe three ingredients of the construction: uniform route generation over the route register, a reversible validity oracle, and a phase oracle that encodes the total tour cost. The validity oracle checks both that the non-start city labels form a permutation and, for incomplete graphs, that every directed edge used by the route exists. The cost oracle then accumulates the start-edge, intermediate-transition, and return-edge costs into a tour-dependent phase for valid routes. This yields a coherent superposition of candidate routes with feasibility and tour-length information embedded directly in the quantum state. The complete construction uses $\mathcal{O}(n\log n)$ qubits, while a naive implementation requires $\mathcal{O}(n^3\log_2 n)$ CX gates and $\mathcal{O}\!\left(n^3[\log_2 n+\log_2(1/\epsilon)]\right)$ $T$ gates, where $\epsilon$ denotes the target approximation precision. The encoding is compatible with amplitude amplification or spectral filtering techniques such as the quantum singular value transform (QSVT) or Grover's algorithm. However, due to the exponentially small fraction of valid tours, the overall complexity remains exponential even when combined with amplitude amplification.

Submission history

From: Franz Georg Fuchs [view email]
[v1] Sun, 22 Mar 2026 15:15:28 UTC (11 KB)
[v2] Thu, 26 Mar 2026 10:04:09 UTC (11 KB)
[v3] Thu, 18 Jun 2026 11:13:42 UTC (21 KB)
[v4] Thu, 3 Sep 2026 11:09:59 UTC (16 KB)