vix.ing · top · new · best · stats · spec

Sorting as Gradient Flow on the Permutohedron

2025/04/23 by Jonathan Robert Landers, Landers, Jonathan Robert, Landers, Jonathan
Engineering · #Advanced Numerical Analysis Techniques #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #cs.DS

paper · pdf · doi:10.48550/arxiv.2504.16706

openalex publication_date 2025/04/23 · openalex created_date 2025/10/11 · openalex updated_date 2026/07/28

Abstract

We investigate how sorting algorithms navigate the complexity of permutation space. Our main contribution is a continuous-time geometric model that casts sorting as directed motion on the permutohedron. A quadratic potential generates an ambient gradient flow that contracts toward the fixed sorted vertex vs=(1,2,…,n). This dynamical picture is set against two discrete descriptions of the same problem. One follows adjacent-swap paths along the 1-skeleton, while the other uses comparison half-spaces to refine the feasible order types. Together, they provide the combinatorial foils used to evaluate the continuous trajectory. Comparisons remove informational ambiguity, whereas the flow removes metric distance. The two mechanisms are complementary. To support this analysis, we present decision-tree arguments and local paths with Θ(n2) behavior. We also show that the quadratic potential decreases strictly under every inversion-removing adjacent swap and formulate global half-space constraints on candidate rank maps. The maximal fixed-threshold relaxation time is determined exactly by the Euclidean diameter of the permutohedron, and the product of this relaxation time with the dimension is Θ(nlog n). Under a normalized comparison clock, this intrinsic geometric quantity has the same asymptotic scale as classical optimal comparison sorting.

Citations

Related