We investigate Nielsen's geometric approach to quantum complexity in the presence of multiple cost factors, extending the standard framework where a single penalty distinguishes easy from hard directions of the group manifold. By introducing a hierarchy of penalties associated with different degrees of non-locality, we develop a generalized right-invariant complexity geometry and analyze its implications for geodesic evolution. We derive the modified Euler-Arnold and Jacobi equations and study how multiple cost factors reshape the structure and scaling of conjugate points, where geodesic optimality breaks down. The formalism is illustrated in two settings: a single-qubit system with two cost factors, where we develop a semi-analytic approach to investigate complexity growth and its dependence on penalty hierarchies, and SYK-type models, where we analyze both free and chaotic regimes. In these many-body systems, we show that distinct non-local sectors generate multiple families of conjugate points whose occurrence depends on both the cost hierarchy and the system size. Our results highlight how refining the penalty structure provides a richer and more realistic description of quantum complexity and its dynamical behavior.
35 pages, 9 figures; v2: added references; v3: 39 pages, 10 figures, revised and improved Sec. 3, other minor changes, added references, published version
We investigate Nielsen's geometric approach to quantum complexity in the presence of multiple cost factors, extending the standard framework where a single penalty distinguishes easy from hard directions of the group manifold. By introducing a hierarchy of penalties associated with different degrees of non-locality, we develop a generalized right-invariant complexity geometry and analyze its implications for geodesic evolution. We derive the modified Euler-Arnold and Jacobi equations and study how multiple cost factors reshape the structure and scaling of conjugate points, where geodesic optimality breaks down. The formalism is illustrated in two settings: a single-qubit system with two cost factors, where we develop a semi-analytic approach to investigate complexity growth and its dependence on penalty hierarchies, and SYK-type models, where we analyze both free and chaotic regimes. In these many-body systems, we show that distinct non-local sectors generate multiple families of conjugate points whose occurrence depends on both the cost hierarchy and the system size. Our results highlight how refining the penalty structure provides a richer and more realistic description of quantum complexity and its dynamical behavior.
We extend Nielsen's geometric approach for quantum complexity from closed to open quantum systems, whose dynamics is governed by Lindbladian evolution. In this framework, complexity is defined through an optimal-control problem on the space of mixed states, with a cost assigned to both unitary and non-unitary generators. We show that the resulting geometric structure differs fundamentally from the Riemannian geometry that emerges in the case of unitary evolution. In the open-system setting, the natural geometry is typically sub-Finslerian. Dissipation makes the geodesics non-reversible, while the admissible tangent directions are restricted by the physically allowed controls. We analyze several physically motivated examples, including a single qubit subject to depolarizing and amplitude-damping channels, as well as the damped harmonic oscillator. We show that, similarly to the unitary case, varying the penalty factors in the cost functional modifies the geometric properties through changes in the flag curvature, the Finslerian analog of sectional curvature. Our results provide a geometric framework for quantifying the abstract notion of complexity in dissipative quantum systems, with potential connections to experimentally realizable setups.
Computational complexity is a quantum information concept that recently has found applications in the holographic understanding of the black hole interior. We consider quantum computational complexity for n qubits using Nielsen's geometrical approach. In the definition of complexity there is a big amount of arbitrariness due to the choice of the penalty factors, which parametrizes the cost of the elementary computational gates. In order to reproduce desired features in holography, such as ergodicity and exponential maximal complexity for large number of qubits n, negative curvatures are required. With the simplest choice of penalties, this is achieved at the price of singular sectional curvatures in the large n limit. We investigate a choice of penalties in which we can obtain negative curvatures in a smooth way. We also analyze the relation between operator and state complexities, framing the discussion with the language of Riemannian submersions. This provides a direct relation between geodesics and curvatures in the unitaries and the states spaces, which we also exploit to give a closed-form expression for the metric on the states in terms of the one for the operators. Finally, we study conjugate points for a large number of qubits in the unitary space and we provide a strong indication that maximal complexity scales exponentially with the number of qubits in a certain regime of the penalties space.
As a new step toward 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 noncommutative plane waves for the 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.
Nielsen's geometric approach to quantum circuit complexity provides a Riemannian framework for quantifying the cost of implementing unitary closed-system dynamics. For open evolutions, the reduced dynamics is described by time-dependent families of quantum channels {Λt}t≥0 admitting many inequivalent Stinespring realizations, so any meaningful complexity notion must specify which microscopic resources are counted and which transformations are treated as gauge. We develop a dilation-based geometric complexity framework that distinguishes implementation-dependent complexity, attached to a specific realization, from intrinsic channel complexity obtained by minimizing over a physically admissible class of dilations. The proposed functional is subtractive: it removes purely environmental contributions from the geometric cost of the joint unitary realization. The subtraction is derived from concise structural postulates --- closed-system consistency, environment-only neutrality, and invariance under dilation gauge transformations --- and admits a natural variational and geometric interpretation. We also define noise complexity as a companion quantity measuring the geometric deviation of a noisy implementation from a prescribed ideal closed-system evolution. In the Hilbert-Schmidt setting, we establish coherence-based lower bounds for unitary and noise complexity, prove linear time scaling under time-homogeneous dilation models, and obtain dissipator-controlled bounds in the Markovian GKSL regime. We illustrate the framework on canonical single-qubit benchmark channels: dephasing, amplitude damping, and Pauli/depolarizing noise.
Nielsen's approach to quantum state complexity relates the minimal number of quantum gates required to prepare a state to the length of geodesics computed with a certain norm on the manifold of unitary transformations. For a bipartite system, we investigate binding complexity, which corresponds to norms in which gates acting on a single subsystem are free of cost. We reduce the problem to the study of geodesics on the manifold of Schmidt coefficients, equipped with an appropriate metric. Binding complexity is closely related to other quantities such as distributed computing and quantum communication complexity, and has a proposed holographic dual in the context of AdS/CFT. For finite dimensional systems with a Riemannian norm, we find an exact relation between binding complexity and the minimal Rényi entropy. We also find analytic results for the most commonly used non-Riemannian norm (the so-called F1 norm) and provide lower bounds for the associated notion of state complexity ubiquitous in quantum computation and holography. We argue that our results are valid for a large class of penalty factors assigned to generators acting across the subsystems. We demonstrate that our results can be borrowed to study the usual complexity (not-binding) for a single spin for the case of the F1 norm which was previously lacking from the literature. Finally, we derive bounds for multi-partite binding complexities and the related (continuous) circuit complexity where the circuit contains at most 2 -local interactions.
Determining the quantum circuit complexity of a unitary operation is closely related to the problem of finding minimal length paths in a particular curved geometry [Nielsen et al, Science 311, 1133-1135 (2006)]. This paper investigates many of the basic geometric objects associated to this space, including the Levi-Civita connection, the geodesic equation, the curvature, and the Jacobi equation. We show that the optimal Hamiltonian evolution for synthesis of a desired unitary necessarily obeys a simple universal geodesic equation. As a consequence, once the initial value of the Hamiltonian is set, subsequent changes to the Hamiltonian are completely determined by the geodesic equation. We develop many analytic solutions to the geodesic equation, and a set of invariants that completely determine the geodesics. We investigate the problem of finding minimal geodesics through a desired unitary, U, and develop a procedure which allows us to deform the (known) geodesics of a simple and well understood metric to the geodesics of the metric of interest in quantum computation. This deformation procedure is illustrated using some three-qubit numerical examples. We study the computational complexity of evaluating distances on Riemmanian manifolds, and show that no efficient classical algorithm for this problem exists, subject to the assumption that good pseudorandom generators exist. Finally, we develop a canonical extension procedure for unitary operations which allows ancilla qubits to be incorporated into the geometric approach to quantum computing.