Virtual-Memory Powersort
Pith reviewed 2026-06-29 15:08 UTC · model grok-4.3
The pith
Virtual-Memory Powersort achieves O(sqrt(n log n)) extra space for adaptive mergesort while using the same comparisons and moves as prior Powersort up to an O(n) additive term.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using internal buffering techniques, we significantly reduce the memory consumption of the algorithm; specifically, for sorting n objects the required buffer area is reduced from space for n/2 objects to O(√(n log n)) objects. [...] uses the same number of moves and comparisons as previous Powersort implementations up to an additive O(n) term.
Load-bearing premise
That internal buffering can be integrated into Powersort without incurring the substantial slowdown observed when known in-place merging algorithms are used as direct replacements for the standard merge step.
read the original abstract
We give a more space-efficient implementation of adaptive mergesort: Virtual-Memory Powersort. Using internal buffering techniques, we significantly reduce the memory consumption of the algorithm; specifically, for sorting $n$ objects the required buffer area is reduced from space for $n/2$ objects to $O(\sqrt{n \log n})$ objects. While this space-efficiency can be achieved (indeed reduced to $O(1)$) conceptually very easily with known inplace merging algorithms, using these as a drop-in replacement for the standard merge algorithm incurs a substantial slow-down. Virtual-Memory Powersort, by contrast, uses the same number of moves and comparisons as previous Powersort implementations up to an additive $O(n)$ term. We report on an empirical running-time study comparing our implementation against other Powersort variants and state-of-the-art stable sorting methods, demonstrating that almost in-place stable sorting can be achieved with negligible overhead in many scenarios.
Editorial analysis
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.