We study the conditions under which, given a generic quantum system, complexity metrics provide actual lower bounds to the circuit complexity associated to a set of quantum gates. Inhomogeneous cost functions ---many examples of which have been recently proposed in the literature--- are ruled out by our analysis. Such measures are shown to be unrelated to circuit complexity in general and to produce severe violations of Lloyd's bound in simple situations. Among the metrics which do provide lower bounds, the idea is to select those which produce the tightest possible ones. This establishes a hierarchy of cost functions and considerably reduces the list of candidate complexity measures. In particular, the criterion suggests a canonical way of dealing with penalties, consisting in assigning infinite costs to directions not belonging to the gate set. We discuss how this can be implemented through the use of Lagrange multipliers. We argue that one of the surviving cost functions defines a particularly canonical notion in the sense that: i) it straightforwardly follows from the standard Hermitian metric in Hilbert space; ii) its associated complexity functional is closely related to Kirillov's coadjoint orbit action, providing an explicit realization of the ``complexity equals action'' idea; iii) it arises from a Hamilton-Jacobi analysis of the ``quantum action'' describing quantum dynamics in the phase space canonically associated to every Hilbert space. Finally, we explain how these structures provide a natural framework for characterizing chaos in classical and quantum systems on an equal footing, find the minimal geodesic connecting two nearby trajectories, and describe how complexity measures are sensitive to Lyapunov exponents.
We study the conditions under which, given a generic quantum system, complexity metrics provide actual lower bounds to the circuit complexity associated to a set of quantum gates. Inhomogeneous cost functions ---many examples of which have been recently proposed in the literature--- are ruled out by our analysis. Such measures are shown to be unrelated to circuit complexity in general and to produce severe violations of Lloyd's bound in simple situations. Among the metrics which do provide lower bounds, the idea is to select those which produce the tightest possible ones. This establishes a hierarchy of cost functions and considerably reduces the list of candidate complexity measures. In particular, the criterion suggests a canonical way of dealing with penalties, consisting in assigning infinite costs to directions not belonging to the gate set. We discuss how this can be implemented through the use of Lagrange multipliers. We argue that one of the surviving cost functions defines a particularly canonical notion in the sense that: i) it straightforwardly follows from the standard Hermitian metric in Hilbert space; ii) its associated complexity functional is closely related to Kirillov's coadjoint orbit action, providing an explicit realization of the complexity equals action'' idea; iii) it arises from a Hamilton-Jacobi analysis of the quantum action'' describing quantum dynamics in the phase space canonically associated to every Hilbert space. Finally, we explain how these structures provide a natural framework for characterizing chaos in classical and quantum systems on an equal footing, find the minimal geodesic connecting two nearby trajectories, and describe how complexity measures are sensitive to Lyapunov exponents.
Abstract We study the conditions under which, given a generic quantum system, complexity metrics provide actual lower bounds to the circuit complexity associated to a set of quantum gates. Inhomogeneous cost functions — many examples of which have been recently proposed in the literature — are ruled out by our analysis. Such measures are shown to be unrelated to circuit complexity in general and to produce severe violations of Lloyd’s bound in simple situations. Among the metrics which do provide lower bounds, the idea is to select those which produce the tightest possible ones. This establishes a hierarchy of cost functions and considerably reduces the list of candidate complexity measures. In particular, the criterion suggests a canonical way of dealing with penalties, consisting in assigning infinite costs to directions not belonging to the gate set. We discuss how this can be implemented through the use of Lagrange multipliers. We argue that one of the surviving cost functions defines a particularly canonical notion in the sense that: i) it straightforwardly follows from the standard Hermitian metric in Hilbert space; ii) its associated complexity functional is closely related to Kirillov’s coadjoint orbit action, providing an explicit realization of the “complexity equals action” idea; iii) it arises from a Hamilton-Jacobi analysis of the “quantum action” describing quantum dynamics in the phase space canonically associated to every Hilbert space. Finally, we explain how these structures provide a natural framework for characterizing chaos in classical and quantum systems on an equal footing, find the minimal geodesic connecting two nearby trajectories, and describe how complexity measures are sensitive to Lyapunov exponents.
A bstract Quantum complexity of conformal field theory (CFT) states has recently gained significant attention, both as a diagnostic tool in condensed matter systems and in connection with holographic observables probing black hole interiors. Previous studies have primarily focused on cases where all generators of the conformal group contribute equally to the cost of building a circuit. In this work, we present a general framework for studying the complexity of circuits in generic Lie groups, where penalty factors assign relative weights to different generators. Our approach constructs a metric on the coset space of quantum states, induced from a (pseudo-)Riemannian norm on the space of unitary circuits. The geodesics of this metric are interpreted as optimal circuits. The method builds on the formalism of (pseudo-)Riemannian submersions and connects naturally to other prescriptions in the literature, including cost function minimization along stabilizer directions and constructions based on coadjoint orbits. As a concrete application, we compute state complexity for states in one- and two-dimensional CFTs. For specific choices of penalty factors, our prescription yields a positive-definite metric with a viable interpretation as complexity; in other cases, the resulting metric is indefinite. In the viable regime, we derive analytic results when a specific penalty factor is turned off, develop perturbative expansions for small values of the penalty factors, and provide numerical results in the general case. We comment on the relation of our measure of complexity to holography.
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.
Abstract We further advance the study of the notion of computational complexity for 2d CFTs based on a gate set built out of conformal symmetry transformations. Previously, it was shown that by choosing a suitable cost function, the resulting complexity functional is equivalent to geometric (group) actions on coadjoint orbits of the Virasoro group, up to a term that originates from the central extension. We show that this term can be recovered by modifying the cost function, making the equivalence exact. Moreover, we generalize our approach to Kac-Moody symmetry groups, finding again an exact equivalence between complexity functionals and geometric actions. We then determine the optimal circuits for these complexity measures and calculate the corresponding costs for several examples of optimal transformations. In the Virasoro case, we find that for all choices of reference state except for the vacuum state, the complexity only measures the cost associated to phase changes, while assigning zero cost to the non-phase changing part of the transformation. For Kac-Moody groups in contrast, there do exist non-trivial optimal transformations beyond phase changes that contribute to the complexity, yielding a finite gauge invariant result. Moreover, we also show that our Virasoro complexity proposal is equivalent to the on-shell value of the Liouville action, which is a complexity functional proposed in the context of path integral optimization. This equivalence provides an interpretation for the path integral optimization proposal in terms of a gate set and reference state. Finally, we further develop a new proposal for a complexity definition for the Virasoro group that measures the cost associated to non-trivial transformations beyond phase changes. This proposal is based on a cost function given by a metric on the Lie group of conformal transformations. The minimization of the corresponding complexity functional is achieved using the Euler-Arnold method yielding the Korteweg-de Vries equation as equation of motion.
Chaos in classical systems can be characterized by Lyapunov exponents that measure the exponential divergence of nearby trajectories, but directly extending this framework to quantum mechanics has been a persistent challenge. The wavelike nature of quantum states and the non-commutative geometry of quantum phase space obstruct a straightforward generalization of classical chaos theory. Here we develop a rigorous approach to quantum chaos by leveraging quantum optimal transport theory, which provides the missing geometric foundation for measuring distances between extended quantum distributions. We define quantum Lyapunov exponents that naturally avoid divergences encountered when naïvely generalizing classical exponents, and show that in the semiclassical limit they recover the classical global expansion rate, and hence the usual maximal Lyapunov exponent when they coincide. Our framework provides a tight connection between the divergence of classical trajectories and semiclassical phase space evolution, and additionally clarifies the role of out-of-time-order correlators as diagnostics of quantum chaos. These results establish quantum optimal transport as a unifying mathematical foundation for quantum chaos theory, providing new tools to characterize dynamical behavior across the full range of quantum dynamics from simple few-body models to complex many-body systems.
Abstract 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.