Quantum Complexity as Hydrodynamics
Pablo Basteiro, Johanna Erdmenger, Pascal Fries, Florian Goth, Ioannis Matthaiakakis, René Meyer
TL;DR
The paper defines a quantum complexity measure for $SU(N)$ gates by mapping Nielsen's geometric approach to a two-dimensional hydrodynamic problem on the torus, enabling a well-defined large-$N$ limit with polynomial penalty factors. By constructing a non-commutative plane-wave basis $J_{}$ and using the Euler-Arnold formalism, the authors show that the low-energy, low-momentum sector of $SU(N)$ is isomorphic to the volume-preserving diffeomorphisms $\mathrm{SDiff}(\mathds{T}^2)$, so complexity reduces to finding geodesics in a hydrodynamic metric. They derive the Euler-Arnold equation $\Delta\dot{\mathpzc{h}}=-\{\mathpzc{h},\Delta\mathpzc{h}\}$, discuss the role of polynomial penalty factors, and analyze curvature data to demonstrate ergodicity and the presence of conjugate points, aligning the construction with holographic complexity expectations. The study also develops a sub-Riemannian interpretation for finite $N$, identifies a hydrodynamic $\mathcal{O}(1)$ sector that survives the $N\to\infty$ limit, and outlines how a physical, all-to-all qudit Hamiltonian fits into this framework. Overall, the work provides a tractable, geometrically rich approach to operator complexity with a clear holographic interpretation and potential avenues for finite-$N$ corrections.
Abstract
As a new step towards defining complexity for quantum field theories, we map Nielsen operator complexity for $SU(N)$ gates to two-dimensional hydrodynamics. We develop a tractable large $N$ limit that leads to regular geometries on the manifold of unitaries as $N$ is taken to infinity. To achieve this, we introduce a basis of non-commutative plane waves for the $\mathfrak{su}(N)$ algebra and define a metric with polynomial penalty factors. Through the Euler-Arnold approach we identify incompressible inviscid hydrodynamics on the two-torus as a novel effective theory of large-qudit operator complexity. For large $N$, our cost function captures two essential properties of holographic complexity measures: ergodicity and conjugate points.
