Sectional curvatures distribution of complexity geometry

TL;DR

This paper investigates the distribution of sectional curvatures in complexity geometry, revealing conditions under which the geometry exhibits positive or negative curvature, and introduces a state-dependent operator size for defining state complexity.

Contribution

It demonstrates that typical sectional curvatures are positive but can be negative for certain operator sizes, and constrains the complexity metric in the large N limit, also proposing a state-dependent operator size for state complexity.

Findings

Typical sectional curvatures are positive in the complexity geometry.

Surfaces generated by smaller Hamiltonians can have negative curvature.

In the large N limit, the complexity metric is uniquely constrained up to constants.

Abstract

In the geometric approach to define complexity, operator complexity is defined as the distance on the operator space. In this paper, based on the analogy with the circuit complexity, the operator size is adopted as the metric of the operator space where path length is the complexity. The typical sectional curvatures of this complexity geometry are positive. It is further proved that the typical sectional curvatures are always positive if the metric is an arbitrary function of operator size. While complexity geometry is usually expected to be defined on negatively curved manifolds. By analyzing the sectional curvatures distribution for $N$-qubit system, it is shown that surfaces generated by Hamiltonians of size smaller than the typical size can have negative curvatures. In the large $N$ limit, the form of complexity metric is uniquely constrained up to constant corrections if we require sectional curvatures are of order $1/N^2$ . With the knowledge of states, the operator size should be modified due to the redundant action of operators, thus is generalized to be state-dependent. Then we use this state-dependent operator size as the metric of the Hilbert space to define state complexity. It can also be shown that in the Hilbert space, 2-surfaces generated by operators of size much smaller than the typical size acting on typical states also have negative curvatures.