Abstract
Based on general and minimal properties of the discrete circuit complexity, we define the complexity in continuous systems in a geometrical way. We first show that the Finsler metric naturally emerges in the geometry of the complexity in continuous systems. Due to fundamental symmetries of quantum field theories, the Finsler metric is more constrained and consequently, the complexity of SU(n) operators is uniquely determined as a length of a geodesic in the Finsler geometry. Our Finsler metric is bi-invariant contrary to the right-invariance of discrete qubit systems. We clarify why the bi-invariance is relevant in quantum field theoretic systems. After comparing our results with discrete qubit systems we show most results in k-local right-invariant metric can also appear in our framework. Based on the bi-invariance of our formalism, we propose a new interpretation for the Schrödinger’s equation in isolated systems – the quantum state evolves by the process of minimizing “computational cost”.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Based on the intuition that the classical spacetime geometry encodes information theoretic properties of the dual quantum field theory (QFT) in the context of gauge/gravity duality, many quantum information concepts have been applied to investigations of gravity theories. A notable example is the holographic entanglement entropy (EE) of a subregion in a QFT [1]. Even though EE has played a crucial role in understanding the dual gravity, it turned out that EE is not enough [2], in particular, when it comes to the interior of the black hole. In the eternal AdS black hole, an Einstein–Rosen bridge (ERB) connecting two boundaries continues to grow for longer time scale even after thermalization. Because EE quickly saturates at the equilibrium, it cannot explain the growth of the ERB and another quantum information concept, complexity, was introduced as a dual to the growth of ERB [3, 4]. To ‘geometrize’ the complexity of quantum states in the dual gravity theory, two conjectures were proposed: complexity-volume (CV) conjecture [4] and complexity-action (CA) conjecture [5], which are called holographic complexity.Footnote 1 See also Refs. [15,16,17].
However, note that the complexity in information theory is well-defined in discrete systems such as quantum circuits [18]. For example, the so-called circuit complexity is the minimal number of simple elementary gates required to approximate a target operator in quantum circuit. On the contrary, holographic complexity is supposed to be dual to complexity in a QFT, a continuous system. Thus, there may be a mismatch in duality if we try to compare the holographic complexity with the results purely based on the intuition from circuit complexity and it is important to develop the theory of complexity in QFT. Compared with much progress in holographic complexity, the precise meaning of the complexity in QFT is still not complete. In order to define complexity in QFT systematically, we start with the complexity of operator. The complexity between states will be obtained based on the complexity of operator. For the complexity of states we make a brief comment in Sect. 8 and refer to [19] for more detail. Our strategy to define the complexity of operator is: (i) extract minimal and essential axioms for the complexity of operator from the circuit complexity and (ii) define the complexity in continuous QFT systems based on that minimal axioms and smoothness (from continuity) (iii) consider general symmetries of QFT to give constrain on the structure of complexity. It will turn out that these steps enable us to determine the complexity of the SU(n) operators uniquely.
We want to emphasize that not all properties of circuit complexity survive in the complexity in QFT. The difference between discreteness and continuity makes some essential differences in properties of the complexity. For example, a few basic concepts in “circuit complexity” (computational complexity), such as “gates”, are not well defined in general quantum QFT so they should be modified or abandoned. Thus, we will keep only the most essential properties of the circuits complexity (which will be abstracted into the axioms G1–G3 in the following section). As another essential ingredient from QFT side, we will take advantages of basic symmetries of QFT, which may not be necessary in the case of quantum circuits or computer science. Because of the effect of this new inputs from QFT, some properties of the complexity in QFT we obtained may be incompatible with quantum circuits or qubit systems but they are more appropriate for QFT.
Our work is also inspired by a geometric approach by Nielsen et al. [20,21,22], where the discrete circuit complexity for a target operator is identified with the minimal geodesic distance connecting the target operator and the identity in a certain Finsler geometry [23,24,25,26], which is just Riemannian geometry without the quadratic restriction. Recently, inspired by this geometric method, Refs. [13, 27,28,29,30] also investigated the complexity in QFT. However, in these studies, because the Finsler metric can be chosen arbitrarily, there is a shortcoming that the complexity depends on the choice of the metric. In this paper, we show that, for SU(n) operators, the Finsler metric and complexity are uniquely determined based on four general axioms (denoted by G1–G4) and the basic symmetries of quantum QFT.
In order to make our logic and claims clear we show a schematic map for the logic structure of this paper in Fig. 1. We want to answer the following questions: (1) for what operators can we define complexity? (2) what are basic properties that complexity should satisfy? (3) for quantum field theory, what symmetries should appear in the complexity? (4) what can we obtain for complexity by the answers of above three questions? (5) what are the similarities and differences compared with previous works?
The logical flows of this paper. By answering three basic questions at the far left side we show that the complexity geometry is determined by a unique bi-invariant Finsler geometry. As an application of our formalism, we show that the Schrödinger’s equation for isolated systems can be obtained from a “minimal cost principle”. Although the bi-invariant geometry looks very different from the right-invariant k-local Riemannian geometry proposed by Ref. [27], we will show that for all k-local operators two theory will give equivalent results
Form the section perspective, this paper is organized as follows. In Sect. 2, we introduce minimal and basic concepts of the complexity and propose three axioms G1–G3 for the complexity of operators, which are inspired by the circuit complexity. In Sect. 3, we show how the Finsler metric arises from G1–G2 and the smoothness of the complexity (G4). In Sect. 4, by using fundamental symmetry properties of QFT, we investigate constraints on the Finsler metric and the complexity. In particular we show that the Finsler metric is bi-invariant by several different approaches and is determined uniquely if we take the axiom G3 into account. We also compare our results with previous researches regarding bi-invariance. In Sect. 5 we derive the explicit form of the Finsler metric of the SU(n) group. Thanks to the bi-invariance, the geodesic in the Finsler space of SU(n) group (so the complexity) is easily computed. In Sect. 6, as one application of the geodesic in the bi-invariance Finsler metric, we propose a “minimal cost principle” as a new interpretation of the Schrödinger’s equation. In Sect. 7 we make a comparison between our complexity and the complexity for K-qubit systems. In Sect. 8 we conclude.
2 Axioms for the complexity of operators
2.1 Why unitary operators?
In order to make a good definition of the “complexity of operator” we first need to clarify what kind of “operator” we intend to deal with in this paper.
Intuitively, the complexity of operator measures how “complex” a physical process is. Thus, the operator should corresponds to a “realizable” physical process. This concept can be formulated as follows. An operator \(\hat{O}\) is called \(\varepsilon \)-realizable if there is at least one experimental quantum process \(\phi \) (for example, a quantum circuit) so that the following inequality holds for arbitrary two states \(|\psi _1\rangle \) and \(|\psi _2\rangle \)
with \(\varepsilon > 0\). Here \(|\phi (\psi _1)\rangle \) is the output state of the quantum process \(\phi \) for an input state \(|\psi _1\rangle \). The \(\varepsilon \) is the tolerance when we use a \(\phi \) to approximate (simulate) the target operator \(\hat{O}\). Any physical system \(\phi \) satisfying the inequality (2.1) is called an \(\varepsilon \)-realization of operator \(\hat{O}\) and denoted by \(\phi _{\varepsilon ,O}\). All \(\varepsilon \)-realizable operators form a set \(\mathcal {O}_\varepsilon \). If an operator is \(\varepsilon \)-realizable for arbitrary positive \(\varepsilon \), then we call it a realizable operator. For example, the identity \(\hat{\mathbb {I}}\), which just keeps the input as the output, is one realizable operator. All the realizable operators form the set \(\mathcal {O}\). Quantum system \(\phi _{O}:=\lim _{\varepsilon \rightarrow 0^+}\phi _{\varepsilon ,O}\) is called a realization of operator \(\hat{O}\).
With the set of input states (\(S_{\text {in}}\)), the set of output states (\(S_{\text {out}}\),) by realizable operators (\(\hat{O} \in \mathcal {O} \)) can be expressed as
We assume
which makes it possible that the elements of output set can be used as new inputs. With the assumption (2.3), we can define the products of operators. The product between elements in \(\mathcal {O}\) can be defined as
By the definition of realizable operators, it can be shown that \(\hat{O}_1\hat{O}_2\) is realizable if \(\hat{O}_1\) and \(\hat{O}_2\) are both realizable operators. Thus, \(\mathcal {O}\) forms a monoid (semigroup with identity).
If we restrict physical processes to quantum mechanical processes, Eq. (2.1) implies that realizable operators are all unitary rather than Hermitian. In other words, our target is a property of the physical process rather than a direct observable. As quantum circuits are quantum mechanical processes and Solovay–Kitaev theorem [31] says that all the unitary operators can be approximated by some quantum circuits with any nonzero tolerance, we can conclude that the realizable operators set is the set of unitary operators. As unitary operators are invertible, the realizable operators set \(\mathcal {O}\) forms a (finite dimensional or infinite dimensional) unitary group.Footnote 2
2.2 Definitions and axioms
Intuitively speaking, the circuit complexity (or computational complexity) of a target operator ( or computational task) is defined by the minimal number of required fundamental gates ( or fundamental steps) to simulate the target operator ( or finish the computational task). Based on this intuitive concept of the complexity in quantum circuits and computations, we propose that the complexity defined in an arbitrary monoid \(\mathcal {O}\) should satisfy the following three axioms. We denote a complexity of an operator \(\hat{x}\) in an operators set \(\mathcal {O}\) by \(\mathcal {C}(\hat{x})\).
- G1 :
-
[Nonnegativity]
\(\forall \hat{x}\in \mathcal {O}\), \(\mathcal {C}(\hat{x})\ge 0\) and the equality holds iff \(\hat{x}\) is the identity.
- G2 :
-
[Series decomposition rule (triangle inequality)]
\(\forall \hat{x},\hat{y}\in \mathcal {O}\), \(\mathcal {C}(\hat{x}\hat{y}) \le \mathcal {C}(\hat{x})+\mathcal {C}(\hat{y})\).
- G3 :
-
[Parallel decomposition rule]
\(\forall (\hat{x}_1 ,\hat{x}_2) \in \mathcal {N}= \mathcal {O}_1 \times \mathcal {O}_2 \subseteq \mathcal {O}\), \(\mathcal {C}\big ((\hat{x}_1,\hat{x}_2)\big )=\mathcal {C}\big ((\hat{x}_1,\hat{\mathbb {I}}_2)\big )+\mathcal {C}\big ((\hat{\mathbb {I}}_1,\hat{x}_2)\big )\).
Here, in G2, it is possible that the operator \(\hat{x}\hat{y}\) is decomposed in different ways, say \(\hat{x}' \hat{y}'\). In this case, G2 can read also as \(\mathcal {C}(\hat{x}\hat{y}) = \mathcal {C}(\hat{x}'\hat{y}') \le \mathcal {C}(\hat{x}')+\mathcal {C}(\hat{y}')\). In G3, we consider the case that there is a sub-monoid \(\mathcal {N} \subseteq \mathcal {O}\) which can be decomposed into the Cartesian product of two monoids, i.e., \(\mathcal {N}= \mathcal {O}_1 \times \mathcal {O}_2 \). \(\hat{\mathbb {I}}_1\) and \(\hat{\mathbb {I}}_2\) are the identities of \(\mathcal {O}_1\) and \(\mathcal {O}_2\). The Cartesian product of two monoids implies that \((\hat{x}_1,\hat{x}_2 )(\hat{y}_1,\hat{y}_2)=(\hat{x}_1\hat{y}_1, \hat{x}_2\hat{y}_2)\) for arbitrary \((\hat{x}_1,\hat{x}_2), (\hat{y}_1,\hat{y}_2)\in \mathcal {N}\).
The axiom G1 is obvious by definition. We call the axiom G2 “series decomposition rule” because the decomposition of the operator \(\hat{O}=\hat{x}\hat{y}\) to \(\hat{x}\) and \(\hat{y}\) is similar to the decomposition of a big circuit into a series of small circuits. Reversely, the ‘product’ of two operators corresponds to a serial connection of two circuits. The axiom G2 answers a basic question: what is the relationship between the complexities of two operators and the complexity of their products? Because the complexity is a kind of “minimal”, we require the inequality in G2.Footnote 3 This \(\mathbf G2 \) will lead to the familiar “triangle inequality” in the concept of distance (see F3 in the Sect. 3) so it is also called “triangle inequality”.
In contrast to G2 (series decomposition rule), we call the axiom G3 “parallel decomposition rule”, which is chosen as one of the most basic axioms in defining complexity for the first time in this paper.Footnote 4 It comes from the following fundamental question: if an operator (task) \(\hat{O}\) contains two totally independent sub-operators (sub-tasks) \(\hat{x}_1\) and \(\hat{x}_2\), what should be the relationship between the total complexity and the complexities of two sub-operators (sub-tasks)? Here, the totally independent means that: (a) \(\hat{O}\) accepts two inputs and yields two outputs through \(\hat{x}_1\) and \(\hat{x}_2\), and (b) the inputs for \(\hat{x}_1\) (or \(\hat{x}_2\)) will never affect the outputs of \(\hat{x}_2\) (or \(x_1\)). See Fig. 2 for this explanation.
Schematic diagram for the complexity of the Cartesian product and parallel decomposition rule. As two operators \(\hat{x}_1\) and \(\hat{x}_2\) are simulated independently, the minimally required gates for \((\hat{x}_1,\hat{x}_2)\) is the sum of the minimally required gates for \(\hat{x}_1\) and \(\hat{x}_2\). Thus, we have \(\mathcal {C}((\hat{x}_1,\hat{x}_2))=\mathcal {C}((\hat{x}_1,\hat{\mathbb {I}}_2))+\mathcal {C}((\hat{\mathbb {I}}_1,\hat{x}_2))\)
Mathematically, the construction of a bigger operator \(\hat{O}\) by \(\hat{x}_1\) and \(\hat{x}_2\) under two requirements (a) and (b) corresponds to the Cartesian product denoted by \(\hat{O}=(\hat{x}_1,\hat{x}_2)\). Note that the Cartesian product of two monoids does not correspond to the tensor product in a linear representation (i.e., a matrix representation). Instead, it corresponds to the direct sum. For example, if matrixes \(M_1\) and \(M_2\) are two representations of operators \(\hat{x}_1\) and \(\hat{x}_2\), then the representation of their Cartesian product \(\hat{O}\) is \(M_1\oplus M_2\), which is neither \(M_1\otimes M_2\) nor \(M_1M_2\).
In the language of computer science, this “totally independent” just means that one task contains two independent parallel tasks. Thus, the axiom G3 tries to answer the following question: if a task contains two parallel sub-tasks, what should be the relationship between the total complexity and the complexities of such sub-tasks? In term of mathematical language, it amounts to asking: what should be the relationship between \(\mathcal {C}\big ((\hat{x}_1,\hat{x}_2)\big )\), \(\mathcal {C}\big ((\hat{x}_1,\hat{\mathbb {I}}_2)\big )\) and \(\mathcal {C}\big ((\hat{\mathbb {I}}_1,\hat{x}_2)\big )\)?
G3 answers this question by requiring that the complexity of two parallel tasks is the sum of their complexities, which is very natural. See Fig. 2 for a schematic explanation. In matrix representation, G3 says, for an operator \(M=M_1\oplus M_1\), \(\mathcal {C}(M_1\oplus M_1)=\mathcal {C}(M_1)+\mathcal {C}(M_2)\). It can be generalized to the direct sum of many operators: for a finite number of matrixes \(M_1, M_2, \ldots , M_k\), we have
One may worry about the self-consistency between G2 and G3 and argue that we can only require \(\mathcal {C}((\hat{O}_1, \hat{O}_2))\le \mathcal {C}(\hat{O}_1)+\mathcal {C}(\hat{O}_2)\), as there may be other operators \(\{\hat{O}_a, \hat{O}_a', \hat{O}_b, \hat{O}_b'\}\) to satisfy \((\hat{O}_a,\hat{O}_a') (\hat{O}_b,\hat{O}_b')=(\hat{O}_1, \hat{O}_2)\) but the total gates is less than \(\mathcal {C}(\hat{O}_1)+\mathcal {C}(\hat{O}_2)\). However, this is impossible. One can see that the sum of the minimal gates of \(\{\hat{O}_a, \hat{O}_a', \hat{O}_b, \hat{O}_b'\}\) is \(\mathcal {C}(\hat{O}_a)+\mathcal {C}(\hat{O}_a')+\mathcal {C}(\hat{O}_b)+\mathcal {C}(\hat{O}_b')\). But according to the fact that \(\hat{O}_a\hat{O}_a'=\hat{O}_1\) and \(\hat{O}_b\hat{O}_b'=\hat{O}_2\), we find that
Thus, \(\mathcal {C}(\hat{O}_1)+\mathcal {C}(\hat{O}_2)\) is the minimal gates to obtain \((\hat{O}_1, \hat{O}_2)\).
The axioms G1–G3 are satisfied by both circuit complexity and computational complexity. We have expressed the abstract concepts extracted from circuit complexity and computational complexity in terms of mathematical language and will take them as three basic requirements to define complexity also in other systems. The axiom G1 and G2 can be satisfied by Nielson’s original works Refs. [20,21,22] and recent other approaches to complexity such as Refs. [13, 27,28,29,30]. However, these works did not take into account the question related to G3 and broke the requirement in axiom G3 in general. From the viewpoint of quantum circuits (or computer science), series circuits (or tasks ) and parallel circuits (or tasks) are two fundamental manners to decompose a bigger circuits (or tasks) into smaller ones. Thus, the axioms G3 should be as important as G2. In this paper, we propose the concept of G3 for the first time and show that it plays a crucial role in determining the form of the complexity of SU(n) operators. We may be able to modify G3 in somewhat unnatural way, which will lead us to another form of the Finsler metric similar to (7.7). This point will be clarified in more detail in Ref. [33].
3 Emergence of the Finsler structure from the axioms for the complexity
In this section, we show that the Finsler metric arises from the minimal and general axioms for the complexity G1–G3 and the smoothness of the complexity. From here, the group element may represent either an abstract object or a faithful representation, which will be understood by context.
In Sect. 2 we have shown that the realizable operators are unitary operators, so the question now becomes how to define the complexity for unitary operators. As the unitary operators \(\hat{U}\) and \(e^{i\theta } \hat{U}\) (with \(\theta \in (0,2\pi )\)) produce equivalent quantum states, the complexity of \(\hat{U}\) and \(e^{i\theta } \hat{U}\) should be the same. Thus it is enough to study the complexity for special unitary groups, SU(n) groups. Ultimately, our aim is to investigate the complexity for operators in quantum field theory, of which Hilbert space is infinite dimensional, so we have to deal with the infinite dimensional special unitary groups. However, they involve infinite dimensional manifolds and have not been well-studied even in mathematics so far. As an intermediate step, in this paper, we will first present our whole theory for finite dimensional cases and assume that the results can be generalized into infinite dimensional cases by some suitable limiting procedures. The subtle aspects between finite and infinite dimensional Lie groups are now under investigation [19].
For a given operator \(\hat{O}\in \text {SU}(n)\), as \(\text {SU}(n)\) is connected, there is a curve c(s) connecting \(\hat{O}\) and identity \(\hat{\mathbb {I}}\). The curve may be parameterized by s with \(c(0)=\hat{\mathbb {I}}\) and \(c(1)=\hat{O}\). See Fig. 3. The tangent of the curve, \( \dot{c}(s)\), is assumed to be given by a right generator \(H_r(s)\) or a left generator \(H_l(s)\):
This curve can be approximated by discrete forms:
where \(s_n=n/N\), \(n=1,2,3,\ldots , N\), \(\hat{O}_{0}=\hat{\mathbb {I}}\) and \(\delta \hat{O}_{n}^{(\alpha )}=\exp [H_\alpha (s_{n})\delta s]\) with \(\alpha =\) r or l and \(\delta s=1/N\). In general, the two generators \(H_r(s)\) and \(H_l(s)\) at the same point of the same curve can be different, i.e., \(H_r(s)\ne H_l(s)\). In fact, from Eq. (3.1), we see \(H_r(s)\) is one adjoint transformation of \(H_l(s)\),
The availability of two different generators can be understood also by a quantum circuit approximation to an operator, say \(\hat{O}\). As shown in Fig. 4, if a quantum circuit \(\phi _0\) is given, the operator \(\hat{O}\) can be constructed in two ways: (i) by adding a new quantum circuit \(\phi _1\) after the output of \(\phi _0\) (corresponding to Eq. (3.3)) or (ii) by adding a new quantum circuit \(\phi _2\) before the input of \(\phi _0\) (corresponding to Eq. (3.4)). The previous works such as Refs. [20,21,22, 27] assumed that the new operators/circuits could appear only after the output side of original operators/circuits, which corresponds to Eq. (3.3). This is one mathematically allowed choice but there is no a priori or a physical reason for that particular choice. Eq. (3.4) should be equally acceptable.
The axioms G1–G3 are suitable for arbitrary monoid, both discrete and continuous ones. Now SU(n) group is a manifold, it is natural to expect that the complexity on it is a smooth function. In fact, it turns out to be enough to assume a weaker form
- G4 :
-
[Smoothness] The complexity of any infinitesimal operator in SU(n), \(\delta \hat{O}^{(\alpha )} = \exp (H_\alpha \delta s)\), is a smooth function of only \(H_\alpha \ne 0\) and \(\delta s \ge 0\), i.e.,
$$\begin{aligned} \mathcal {C} (\delta \hat{O}^{(\alpha )}) = \mathcal {C}(\hat{\mathbb {I}}) + \tilde{F}(H_\alpha ) \delta s + \mathcal {O} (\delta s^2), \end{aligned}$$(3.6)where \(\tilde{F}(H_\alpha ) := \partial _{\delta s} \mathcal {C} (\delta \hat{O}^{(\alpha )})|_{\delta s =0} \) and \(\mathcal {C}(\hat{\mathbb {I}}) = 0\) by G1.
which is our forth axiom. Notice that \(\mathcal {C}(\delta \hat{O}^{(r)})=\mathcal {C}(\delta \hat{O}^{(l)})\) if \(\delta \hat{O}^{(r)}=\delta \hat{O}^{(l)}\), which implies that an infinitesimal operator will give the same contribution to the total complexity when it is added to the left-side or right-side.Footnote 5 Thus, the index \(\alpha \) is in fact not necessary in this case, but we keep it for notational consistency.
Let us define the cost (\(L_\alpha [c]\)) of a particular curve c, constructed by only \(\delta \hat{O}_n^{(r)}\) or only \(\delta \hat{O}_n^{(l)}\), as
Geometrically, it is the length of the particular curve and \(\tilde{F} \text {d}s \) looks like a line element in some geometry. Thus, the natural question will be what kind of geometry is allowed for complexity? We will show that it is Finsler geometry, which emerges naturally from our axioms for the complexity.
First, we can prove that \(\tilde{F}\) satisfies three properties:
- F1 :
-
(Nonnegativity) \(\tilde{F}(H_\alpha )\ge 0\) and \(\tilde{F}(H_\alpha )=0\) iff \(H_\alpha =0\)
- F2 :
-
(Positive homogeneity) \(\forall \lambda \in \mathbb {R}^+\), \(\tilde{F}(\lambda H_\alpha )=\lambda \tilde{F}(H_\alpha )\)
- F3 :
-
(Triangle inequality) \(\tilde{F}(H_{\alpha ,1})+\tilde{F}(H_{\alpha ,2})\ge \tilde{F}(H_1+H_2)\)
only by using G1, G2 and G4! (see Appendix B for a proof.) Note that F1–F3 may describe some suitable properties that the concept of the ‘norm’ of vectors in a vector space should satisfy. In our case, the vector space is the Lie algebra (the tangent space at the identity) and the generators (\(H_\alpha \)) of the algebra are vectors. Indeed, the ‘norm’ satisfying the properties F1–F3 is called a Minkowski norm in mathematical jargon. Once we know \(H_\alpha (s)\) we can compute the length of the line element by a Minkowski norm \(\tilde{F}\). (At this stage, we don’t know the explicit form of the Minkowski norm, but we will determine it later.)
For a given \(\tilde{F}\), we have two different natural ways to extend the Minkowski norm \(\tilde{F}\) at the identity to every point on the base manifold via arbitrary curves.
where we introduce a new notation ‘\(F_\alpha (c, \dot{c})\)’, a standard notation for Finsler metric in mathematics. The introduction of ‘\(F_\alpha (c, \dot{c})\)’ is justified because the Finsler metric is nothing but a Minkowskia norm defined at all points on the base manifold and Eq. (3.8) explains how to assign the Minkowskia norm to all the other points. We refer to Refs. [23,24,25,26] for an introduction to Minkowski norm and the Finsler geometry.Footnote 6 A brief introduction to the Finsler geometry can be found in Appendix A.
There is an invariant property in the Finsler metrics. \(F_r(c, \dot{c})\) is right-invariant because \(H_r\) is invariant under the right-translation \(c \rightarrow c \hat{x}\) for \(\forall \hat{x} \in \) SU(n). Similarly \(F_l(c, \dot{c})\) is left-invariant because \(H_l\) is invariant under the left-translation \(c \rightarrow \hat{x} c\) for \(\forall \hat{x} \in \) SU(n). If there is no further restriction on \(F_\alpha \), there are at least two natural Finsler geometries, \(F_r\) or \(F_l\), which may give different cost or length.
Finally, the left or right complexity of an operator (\(\mathcal {C}_\alpha (\hat{O})\)) is identified with the minimal length (or minimal cost) of the curves connecting \(\hat{\mathbb {I}}\) and \(\hat{O}\):
We see that, even if we know the complexity of every infinitesimal operator (Eq. (3.6)), we have at least two different ways (left or right-way) to define the complexity of an operator and there is no a priori preferred choice among them. In order for the complexity of an operator to be a well-defined physical observable, this mathematical ambiguity should disappear naturally by some suitable physical considerations. In the following section we will show how this ambiguity is removed.
4 Symmetries of the complexity inherited from QFT symmetries
In the previous section, we have shown that the complexity can be computed by the minimal length of curves in Finsler geometry. We want to emphasize again that in our work the Finsler structure is not assumed, but it has been derived based on G1, G2 and G4. This is a novel feature of our work compared to other works dealing with the Finsler geometry.
However, apart from the defining properties of the Finsler metric F1–F3, we don’t know anything on \(\tilde{F}(H_\alpha )\) so far. In this section, we will show there are constraints on \(\tilde{F}(H_\alpha )\) if we take into account some symmetries of QFT. This is another important novel feature of our work compared to others. From here, we do not rely on properties of discrete systems or circuit models, which may be incompatible with QFT so may mislead us. We will directly deal with QFT and its symmetry properties and see what kind of constraints we can impose on \(\tilde{F}(H_\alpha )\).
Note that such symmetry considerations are not necessary if we use “complexity” as a purely mathematical tool, for example, to study the “NP-completeness” and to analyze how complex an algorithm or a quantum circuit is. However, when we use the complexity to study real physical processes and try to treat the complexity as a basic physical variable hiding in physical phenomena, symmetries relevant to physical phenomena will be a necessary requirement.
In Sect. 4.1, by requiring unitary invariance for complexity we find
It means that the complexity does not depend on our choice of \(H_r\) or \(H_l\). Therefore, we call this property ‘Independence of left/right generators’ of \(\tilde{F}\). Recall that for a given curve, we may have two metrics, either \(F_r(c,\dot{c})=\tilde{F}(H_r)\) or \(F_l(c,\dot{c})=\tilde{F}(H_l)\). It is an inherent ambiguity mathematically but this ambiguity can be removed by imposing physical condition, unitary invariance. To support our result (4.1) we will present three more arguments in Sect. 4.2 and Appendix D. Note that the constraint (4.1) also implies the Finsler geometry is bi-invariant, meaning both right and left invariant.
In Sect. 4.3, by requiring the CPT symmetry,Footnote 7 we obtain
We call this property ‘reversibility’ of \(\tilde{F}\) following the mathematical literature, for example, [25]. In Appendix D, we will provide two more methods to support Eq. (4.2). Geometrically speaking, for a given path connecting A and B, it is the constraint Eq. (4.2) that gives the same length when we go from A to B and from B to A.
4.1 Independence of left/right generators from unitary invariance
In this subsection we consider the effect of the unitary invariance of the quantum field theory on the Finsler metric, cost, and complexity. Let us consider an arbitrary quantum field \(\Phi \) with a Hilbert space \(\mathcal {H}\) and a vacuum \(|\Omega \rangle \), which are collectively denoted by \(\{\Phi ,\mathcal {H}, |\Omega \rangle \}\). Its unitary partner is \(\tilde{\Phi }(\vec {x},t):=\hat{U}\Phi (\vec {x},t)\hat{U}^{\dagger }\), \(\tilde{\mathcal {H}}:=\{\hat{U}|\psi \, \rangle |\, \forall |\psi \rangle \in \mathcal {H}\}\) and \(|\tilde{\Omega }\rangle :=\hat{U}|\Omega \rangle \), which are denoted by \(\{\tilde{\Phi },\tilde{\mathcal {H}},|\tilde{\Omega }\rangle \}\).
In the Heisenberg picture, the dynamic of the quantum field \(\Phi \) is governed by a time evolution operator c(t):
The time evolutions of its unitary partner \(\tilde{\Phi }\) is
where
so the evolution of the unitary partner \(\tilde{\Phi }\) is given by \(\tilde{c}(t)\). On the other hand, we cannot distinguish \(\{\Phi ,\mathcal {H},|\Omega \rangle \}\) and its unitary partner \(\{\tilde{\Phi },\tilde{\mathcal {H}},|\tilde{\Omega }\rangle \}\) in the sense that any physical experiment will be invariant under the transformation \(\{\Phi ,\mathcal {H},|\Omega \rangle \}\rightarrow \{\tilde{\Phi },\tilde{\mathcal {H}},|\tilde{\Omega }\rangle \}\). We will call this invariance “unitary-invariance”. Thus, it is natural to expect that the cost cannot distinguish them either, i.e.Footnote 8
To extract a constraint on \(\tilde{F}\) imposed by Eq. (4.6), it is enough to consider a special curve generated by an arbitrary constant generator \(H_\alpha \)
with \(t\in [0,1]\). By the definition of the cost, Eq. (3.7), we have
which implies
As \(H_r\) is just one adjoint transformation of \(H_l\) (see Eq. (3.5)), it follows that
where Eq. (3.8) is used. It means that the left generator and the right generator give the same complexity. Although we have the freedom to choose the left or right generator, the complexity will be independent of our choice. In other words, if we know the complexity for every infinitesimal operator (Eq. (3.6)), then we have a unique value of the complexity in spite of the inherent ambiguity due to the availability of the left and right generators. In Fig. 5, we summarize the relation between the constraints on the Finsler metric, cost, and complexity. One important consequence of Eq. (4.10) is that the Finsler geometry is bi-invariant, which means both right and left invariant. This property will be very useful when we determine the geodesic in the geometry in Sect. 5.2.
One may argue that the complexity may not be directly observable and it is possible that c(s) and \(\tilde{c}(s)\) give different complexity. If that happens in some framework of computing the complexity, in our opinion, there must be some gauge freedom in the definition of the complexity in the framework, for the complexity still to be a physical object. Thus, we will be able to make a suitable gauge fixing or a redefinition of the complexity so that this “new complexity” is physical and satisfies Eq. (4.6).
4.2 Comparison between SU(n) groups and qubit systems
In order to clarify why the adjoint invariance of the complexity is natural, which may not be the case in discrete systems, we make a comparison between SU(n) groups and qubit systems in Fig. 6. For qubit systems, the operators set forms a countable monoid \(\mathcal {O}\) and can be obtained from a countable fundamental gates set g. The complexity of any operator in \(\mathcal {O}\) is given by the minimal gates number when we use the gates in g to form the target operator. For SU(n) groups, the operators set forms an SU(n) Lie group and the fundamental gates are replaced by infinitesimal operators, which form the Lie algebra \(\mathfrak {su}(n)\).
For qubit systems, suppose that the complexity measured by gates set g is \(\mathcal {C}_{\alpha }(g;\hat{O})\) (here \(\alpha =r,l\)). If we make a “global” unitary transformation on the operators set and gates set together, i.e., \(\tilde{\mathcal {O}}:=\hat{U} \mathcal {O}\hat{U}^{\dagger }\) and \(\tilde{g}:=\hat{U} g \hat{U}^{\dagger }\) we have the following trivial equality
where \(\mathcal {C}_{\alpha }(\tilde{g};\tilde{\hat{O}})\) denotes the complexity of \(\forall \tilde{\hat{O}}\in \tilde{\mathcal {O}}\) measured by \(\tilde{g}\).
In general, the gates set is not invariant under the unitary transformation, i.e.
so we will see that the complexity of \(\hat{O}\) and \(\tilde{\hat{O}}\), measured by same gates set g, will not be the same, i.e.
This shows that the complexity for qubit system will not be invariant under \(\hat{O} \rightarrow \hat{U}\hat{O}\hat{U}^\dagger \) if we use the same gates set.
For SU(n) groups, we still obtain an equation similar to Eq. (4.11),
However, unlike Eq. (4.12) in qubit systems, we have the following equalityFootnote 9
Thus, we see that Eq. (4.14) implies that
which means the complexity of SU(n) group will be invariant under the adjoint transformation, \(\hat{O} \rightarrow \hat{U}\hat{O}\hat{U}^\dagger \).
It is the difference between Eqs. (4.12) and (4.15) that leads the difference between qubit systems and SU(n) regarding the invariance under adjoint transformations. Because Eq. (4.16) is valid also for any infinitesimal operator, it implies Eq. (4.6). This is another derivation of Eq. (4.6). We have presented two arguments to support the idea that the complexity of SU(n) group should be invariant under adjoint transformations. In Appendix D, we will give the third and the fourth arguments to support this conclusion.
To understand the validity of the adjoint invariance of the complexity, one useful question is the following: what will happen if we restrict our operators set to some subgroup of SU(n)? Let G to be a connected real subgroup and its Lie algebra to be \(\mathfrak {g}\). In this case, we can still obtain the following equation under a general unitary transformation \(\tilde{G}=\hat{x}G\hat{x}^{-1}\) and \(\tilde{\mathfrak {g}}=\hat{x}\mathfrak {g}\hat{x}^{-1}\),
If \(\mathfrak {g}\) is an ideal of \(\mathfrak {su}(n)\), \(\widetilde{\mathfrak {g}}=\mathfrak {g}\) for all \(\hat{x}\in \)SU(n). However, because the \(\mathfrak {su}(n)\) is simple it does not have other ideals except for the trivial \(\{0\}\). Thus, if we restrict the operators set to any real subgroup of SU(n), the complexity may not be invariant under a adjoint transformation. For qubit systems such as a quantum circuit, the gates set is discrete, which can form only a subgroup of SU(n). As SU(n) group does not have non-trivial normal subgroup, the complexity for qubit systems is not invariant under the general adjoint transformation.
4.3 Reversibility of Finsler metric from the CPT symmetry
In this subsection we consider the effect of the CPT symmetry of the quantum field theory on the Finsler metric, cost, and complexity. Let us denote the CPT partner of \(\Phi (\vec {x},t)\) by \(\bar{\Phi }(\vec {x},t)\). i.e. \(\bar{\Phi }(\vec {x},t) :=C\circ P\circ T[\Phi (\vec {x},t)]=C[\Phi (-\vec {x},-t)]\). By using Eq. (4.3), we have
where we use the fact that c(t) does not have charge and spatial variable \(\vec {x}\). Thus, the evolution of the CPT parter is given by \(\bar{c}(t):=c(-t)\). Given the CPT symmetry of the theory, it is natural to assume that the costs of c(t) and \(\bar{c}(t)\) are the same, i.e.,
Similarly to the unitary symmetry case in Sect. 4.1, as a way to understand the general structure of \(\tilde{F}\), we consider a special curve, the time evolution given by an arbitrary constant generator \(H_\alpha \). Because the generators of \(\bar{c}(s)\) are given by \(\bar{H}_\alpha =-H_\alpha \), Eq. (4.19) reads, by the definition of the cost Eq. (3.7),
which implies
Path-reversal symmetry If we combine the result of the CTP symmetry and the unitary symmetry, Eqs. (4.21) and (4.9) respectively, one can prove the “path-reversal symmetry” for an arbitrary curve:
Note that in general \(c^{-1}(s):=[c(s)]^{-1}\) is not the curve generated by \(-H_\alpha (s)\) when the curve c(s) is generated by \(H_\alpha (s)\). For example, for the right-invariant case, we can show
which gives Eq. (4.22). Here, we used \(H_r(c^{-1}) = (\text {d}c^{-1}/\text {d}s) c = -c^{-1}(\dot{c} c^{-1}) c =-c^{-1} H_r(c) c\) in the first equality and Eqs. (4.21) and (4.9) in the second equality. In fact, the reverse also holds, i.e. Eq. (4.22) implies Eqs. (4.21) and (4.9). First, by considering the special case \(c = e^{Hs}\) with a constant H, Eqs. (4.21) can be derived from Eq. (4.22). Then, we end up with \(L_r[c] = L_l[c]\), which implies Eq. (4.9) by the same logic in Sect. 4.1.
Thus, we have the following equivalence between the path-reversal symmetry and the adjoint invariance with the reversibility of the Finsler metric:
The path-reversal symmetry also can be justified by other ways, for example, based on the inverse symmetry of the relative complexity or the “ket-world”-“bra-world” symmetry. These two arguments are presented in Appendix D in detail. They may server other supporting evidence for Eqs. (4.21) and (4.9) because of the equivalence in Eq. (4.24).
5 Complexity of SU(n) operators
5.1 Finsler metric of SU(n) operators
From here we will drop the indexes \(\alpha , r\), and l based on Eq. (4.10). We have found two constraints Eqs. (4.9) and (4.21) by considering basic physical symmetries. These constraints (plus G3) turn out to be strong enough to determine the Finsler metric in the operator space of any SU(n) groups as follows
where \(H(s) = H_r(s)\) or \(H_l(s)\) for the curve c(s) and \(\lambda \) is arbitrary constant. (see Appendix C for a proof.)
The Finsler metric Eq. (5.1) is representation independent and to find the explicit Finsler metric tensor for the SU(n) group we consider the fundamental representation. An arbitrary generator H(s) can be expanded as
where \(\{T_a\}\) are basis of \(\mathfrak {su}(n)\) in the fundamental representation with the following property.
where \({f_{ab}}^c\) is the structure constants antisymmetric in all indices, while \({d_{ab}}^c\), which is nonzero only when \(n>2\), is symmetric in all indices and traceless. Thus, Eq. (5.1) reads
with
and
Without loss the generality, we have set \(\lambda =1\).
For \(n=2\), \({d_{ab}}^c=0\) so Eq. (5.4) is simplified to
where Eq. (5.5) is used. It contains only quadratic terms of \(\dot{c}\) so it gives a Riemannian geometry. For \(n>2\)
As \(\hat{\mathbb {I}}\) and \(T_c\) are \(n\times n\) matrixes, the line element in Eq. (5.8) is not the quadratic form of \(\dot{c}\) so it is not Riemannian but Finsler.
5.2 Geodesics and complexity of SU(n) operators
Even though we have the precise Finsler metric, to compute the complexity, we still have to find a geodesic path as shown in (3.9). This minimization procedure is greatly simplified thanks to bi-invariance implied by (4.10). The bi-invariance means the geometry is both right and left invariant. It has been shown that, in bi-invariant Finsler geometry, the curve c(s) is a geodesic if and only if there is a constant generator \(H(s) = \bar{H}\) such that [34, 35]
With the condition \(\hat{O}=c(1)=\exp (\bar{H})\), we can solve \(\bar{H}\) formally \(\bar{H}=\ln \hat{O}\). The logarithm of a unitary operator always exists but may not be unique (theorem 1.27 in Ref. [36]). Because \(\bar{H}\) is constant, from Eqs. (3.7),
Finally, the complexity of \(\hat{O}\) in Eq. (3.9) is given by
The minimization ‘min’ in (3.9) in the sense of ‘geodesic’ is already taken care of in (5.9). Here ‘min’ means the minimal value due to multi-valuedness of \(\ln \hat{O}\).
For example, let us consider the SU(2) group in the fundamental representation. For any operator \(\hat{O}\in \)SU(2), there is a unit vector \(\vec {n}\) and a real number \(\theta \) such that,
where \(\vec {\sigma }:=(\sigma _x,\sigma _y,\sigma _z)\) stands for three Pauli matrixes. Because \(\ln \hat{O}=i \theta _m\vec {n}\cdot \vec {\sigma }\) with
for \(\forall m\in \mathbb {N}\), the complexity of \(\hat{O}\) is given by
where \( \bar{H}\bar{H}^{\dagger }=\theta _m^2\hat{\mathbb {I}}\) is used.
6 Minimal cost principle
The fact that the process of complexity is generated by a constant generator allows an interesting interpretation of the Schrödinger’s equation. In a quantum system with a time-independent Hamilton \(\mathbb {H}\), the time evolution of the quantum state \(|\psi (t)\rangle \) is given by a time evolution operator \(\hat{U}(t)\), i.e. \(|\psi (t)\rangle =\hat{U}(t)|\psi (0)\rangle \), where \(\hat{U}(t)\) satisfies the Schrödinger’s equation,
Comparing with Eq. (5.9), we may say that \(\hat{U}(t)\) is a geodesic generated by \(-i\hbar ^{-1}{\mathbb {H}}\). Thus, the time-evolution operator \(\hat{U}(t)\) is along the curve of minimal (at least locally minimal) complexity.
Now let us re-consider the problem in the following way. Assume that after a short time \(t=t_0\), the time-evolution operator becomes \(\hat{U}(t_0)=\hat{O}\). As there are many different curves which connect the \(\hat{\mathbb {I}}\) and \(\hat{O}\) (see the Fig. 7), how can we find the real curve \(\hat{U}(t)\) during \(t\in (0,t_0)\)? One answer is that we assume the time evolution operator will obey the Schrödinger’s equation (6.1). Alternatively, we may replace the Schrödinger’s equation with the following principle:
-
Minimal cost principle: For isolated systems, the time-evolution operator \(\hat{U}(t)\) will be along the curve to reach the target operator so that the cost during this process is locally minimal, i.e. the evolution curve will make the following integral to be locally minimal:
$$\begin{aligned} L[\hat{U}(t)]=\int _0^{t_0}\text {Tr}\sqrt{\dot{\hat{U}}(t)[\dot{\hat{U}}(t)]^\dagger }\text {d}t,~~\hat{U}(0)=\hat{\mathbb {I}},~~~\hat{U}(t_0)=\hat{O},\nonumber \\ \end{aligned}$$(6.2)where we used Eq. (5.1), where \( H \rightarrow \dot{\hat{U}}(t)[\hat{U}(t)]^\dagger \).
As a result, the time evolution operator \(\hat{U}(t)\) will satisfy Eq. (6.1). In other words, by this principle, the Schrödinger’s equation is not the first-principle but a consequence of the complexity principle.Footnote 10
7 Comparison with the complexity for K-local qubit systems
For a better understanding of the novel aspects of our work compared to previous research it is useful to compare our complexity and the complexity for K-qubit systems [27]. In particular, our complexity is bi-invariant but the complexity geometry in Ref. [27] is only right-invariant. At first glance, two theories may look different, but the difference in complexity turns out to be little and most of physical results in Ref. [27] can also appear in our theory.
For K-qubit system, the operators form a SU\((2^K)\) group and can be generated only by a right Hamiltonian
where \(a=1,2,3,\ldots , 4^K-1\) and \(T_a\) is a series of generalized Pauli operators which can span the Lie algebra \(\mathfrak {su}\)(\(2^K\)). In Ref. [27], for the SU(\(2^K\)) group, the following Riemannian metric was proposed
where
Here, the matrix \(\mathcal {I}^{ab}\) should be chosen as a block diagonal matrix with one block corresponding to the unpenalized k-local directions, and the other block corresponding to the directions \(T_a\) containing more than k single qubit operators. Note that, for given a and b, \(iT_a\) is matrix-valued vector in the representation space of \(\mathfrak {su}(2^K)\) and \(\mathcal {I}^{ab}\) is a real number.
The curve c(s) is assumed to be generated by a right generator \(H_r(s)\) such that
Taking Eq. (7.4) into Eq. (7.3), we have
so Eq. (7.2) becomes
which yields the following Finsler (or just Riemannian) metric
It has two differences compared with our result (5.8). One is that the “\({\text {Tr}}\)” is inside the square root. The other is that there is a matrix structure \(\mathcal {I}^{ab}\) which is not determined by the Lie algebra uniquely. In the following, we make comparisons between two complexities based on two different Finsler metrics.
-
(1)
In our paper, the only basic assumptions are G1–G4. All conclusions such as Finsler geometry and the Finsler metric Eq. (5.1) are the results of these four assumptions and fundamental symmetries of QFTs. In Ref. [27], the Riemannian geometry and metric (7.6) in K-qubit system were proposed directly as the basic assumptions.
-
(2)
The complexity given by Eq. (7.7) satisfies our axioms G1 and G2 but breaks G3. It can be shown by considering a simple case, \(\mathcal {I}^{ab}=\delta ^{ab}\), which corresponds to bi-invariant case without any penalty (isotropy). In this case, the complexity of the operator \(\hat{O} = {\text {exp}}(H)\) is given by F(H) because the geodesic is generated by a constant generator (due to bi-invariance) i.e.
$$\begin{aligned} C(\hat{O}) = F(H). \end{aligned}$$(7.8)By using Eqs. (7.8) and (7.7) we have
$$\begin{aligned}&\mathcal {C}(\hat{O}_1\oplus \hat{O}_2)=\sqrt{\mathcal {C}^2(\hat{O}_1\oplus \hat{\mathbb {I}}_2)+\mathcal {C}^2(\hat{\mathbb {I}}_1\oplus \hat{O}_2)}\nonumber \\&\quad =\sqrt{\mathcal {C}^2(\hat{O}_1)+\mathcal {C}^2(\hat{O}_2)}, \end{aligned}$$(7.9)and in more general cases,
$$\begin{aligned} \mathcal {C}\left( \bigoplus _i\hat{O}_i\right) =\sqrt{\sum _ip_i[\mathcal {C}(\hat{O}_i)]^2}\ne \sum _i\mathcal {C}(\hat{O}_i), \end{aligned}$$(7.10)where \(p_i\) is a weighting factor if \(\mathcal {I}^{ab}\ne \delta ^{ab}\). This means that the total complexity of parallel operations is not the sum of the complexity of the individual operations, so breaks G3. We want to stress again that G3 is a very natural requirement that has not been considered in previous research.
-
(3)
For the same curve in SU(n) group, the tangent vector at a point is unique but the generator is not. It can be a left or right generator. We admit of two ways (left generator or right generator) but Ref. [27] considers only one way (right generator). As there is no reason to assume that physics favors “left world” or “right world”, a simple and natural possibility is that two generators yield the same complexity. It is the case that is realized in our framework unlike the complexities in [27] and Neilsen’s original works [20,21,22] where the left and right generator will give different complexities.
One may argue that Eq. (7.7) could be valid only for the right generator and, for the left generator, there might be another left-invariant metric which has different penalty \(\mathcal {I}'^{ab}\) and could give out the same curve length. In our upcoming work Ref. [33], we will show this is possible only if the geometry is bi-invariant. This gives us another argument that the complexity for SU(n) group should be bi-invariant.
-
(4)
When Ref. [27] discusses some particular physical situations such as “particle on complexity geometry”, “complexity equals to action” and “the complexity growth”, the authors restricted the generators in a “k-local” subspace \(\mathfrak {g}_k\) and assumed \(\mathcal {I}_{ab}|_{\mathfrak {g}_k}=\delta _{ab}\) (see the Sect. IV.C and V in Ref. [27] for detailed explanations). As a result, the geodesics in the sub-manifold generated by \(\mathfrak {g}_k\) are also given by constant generators, which are the same as our bi-invariant Finsler geometry. The lengths of such geodesics in Ref. [27] and in our paper are only different by multiplicative factors, which implies that all the results given by “k-local” subspace can also appear similarly in our bi-invariant Finsler geometry.
Moreover, in order to obtain the complexity geometry as was proposed in Ref. [27], we can choose some two-dimensional sub-manifold in SU(n) geometry. As described in our upcoming paper [33], by using the Gauss–Codazzi equation, we can show that the sub-manifold can have negative induced sectional curvature somewhere despite the SU(n) geometry is positively curved. So it satisfies the same properties as shown in Ref. [27], where the sectional curvature is made negative near the identity by choosing an appropriate penalty factor.
8 Discussion and outlook
In this paper we proposed four basic axioms for the complexity of operators: nonnegativity (G1), series decomposition rule (triangle inequality) (G2), parallel decomposition rule (G3) and smoothness (G4). Combining these four axioms and basic symmetries in QFT, we have obtained the complexity of the SU(n) operator without ambiguity: Eq. (5.11). In our derivation the bi-invariance of the Finsler structure plays an important role and this bi-invariance is a natural implication of the symmetry in QFTs rather than an artificial assumption. Our logical flows are shown in the Fig. 1.
We argue the importance of the bi-invariance in four ways based on: (i) the unitary-invariance of QFTs (Sect. 4.1); (ii) the nature of continuous operators rather than discrete ones (Sect. 4.2); (iii) inverse-invariance of the relative complexity (Appendix D.1); and (iv) the “ket-world” - “bra-world” equivalence (Appendix D.2). The bi-invariance here is different from the only right-invariance for qubit systems [20,21,22, 27]. We clarify the differences and similarities of our proposal (bi-invariance) from previous researches (only right-invariance) in Sects. 4.2 and 7. It can be shown that most of results in only right-invariant complexity geometry proposed by Ref. [27] can also appear in our framework. We want to emphasis that the complexity cannot be a well-defined physical observable in general finite dimensional systems if the complexity geometry is not bi-invariant.
Thanks to the bi-invariance of the Finsler metric the process of minimal cost (complexity) is generated by a constant generator. This observation leads us to make a novel interpretation for the Schrödinger’s equation: the quantum state evolves by the process of minimizing “computational cost,” which we call “ minimal cost principle.”
As an application of the complexity of the SU(n) operator, the complexity between two states described by density matrices \(\rho _1\) and \(\rho _2\) may be defined naturally as
In our forthcoming paper [19] our proposal turns out to be general enough to include and unify other recent developments for the complexity in QFT: cMERA tensor network [37,38,39,40], Fubini-Study metric [41] and path-integral method [42, 43]. Furthermore, it can be shown that our proposal also correctly reproduces the holographic complexity for thermofield double state (TFD).
In a more general context, geometrizing the complexity in continuous operators sets amounts to giving positive homogeneous norms in some Lie algebras. Our paper deals with only SU(n) group so we gives the norm for Lie algebra \(\mathfrak {su}(n)\). For more general Lie algebra \(\mathfrak {g}\), though we cannot determine the norm uniquely, it is natural that such a norm is determined only by the properties of \(\mathfrak {g}\), for example the structure constants, without any other extra information. As in general relativity where the spacetime metric is determined by matter distribution through Einstein’s equations, can we find any physical equation to determine this norm?
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.]
Notes
Hermit operators, which correspond to observable quantities and are not unitary in general, cannot be approximated by quantum circuits if the tolerance is small enough.
In some cases, the parallel decomposition may be impossible. However, in local computations/gates, the parallel decomposition is permitted, for example see Ref. [32]. Our axiom G3 does not talk about the possibility of the parallel decomposition, but says what will happen to the complexity if the parallel decomposition is permitted.
This condition will be relaxed in our upcoming work [33], where we will allow different contributions to the total complexity when \(\delta \hat{O}\) is added to the left-side or right-side.
Strictly speaking, \(\tilde{F}\) and \(F_\alpha \) are the Minkowski norm and the Finsler metric respectively if we make a further requirement that, in F3, the equality holds only when \(H_1\) and \(H_2\) are linearly dependent. However, this subtle mismatch is not important physically.
The CPT symmetry is a theorem for local relativistic quantum field theories in Minkowski space-time. Here, C means ‘charge conjugation’, P ‘parity transformation’ (‘space inversion’), and T ‘time reversal’. This theorem states that the local Lorentz quantum field theories are invariant under the combined transformations of C, P, and T.
It seems that the complexity is invariant under the unitary transformation is weaker than the requirement that the cost function is invariant under the unitary transformation. However, it can be shown that they are equivalent as shown in Appendix E.
The equality means the equality between two sets, i.e, \(\widetilde{\mathfrak {su}}(n)\) and \(\mathfrak {su}(n)\) contain the same elements.
If the Hamiltonian is not static, the complexity curve and the curve generated by Hamiltonian will be different. In this case, we may extend the system to include back-reaction of the system on its background, rendering the total Hamiltonian static.
In some textbook, there is an overall factor F in the definition so that the Cartan tensor is scale invariant under the transformation \(v\rightarrow \lambda v\).
This condition is necessary to have a positive definite metric tensor.
This can be obtained, for example, by setting \(H=\text {diag}(\gamma ,-\gamma ,0,0,\ldots ,0)\) in Eq. (C.9).
References
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). arXiv:hep-th/0603001
L. Susskind, Entanglement is not enough. Fortsch. Phys. 64, 49–71 (2016). arXiv:1411.0690
L. Susskind, Computational complexity and black hole horizons. Fortsch. Phys. 64, 44–48 (2016). arXiv:1403.5695
D. Stanford, L. Susskind, Complexity and shock wave geometries. Phys. Rev. D 90, 126007 (2014). arXiv:1406.2678
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Holographic complexity equals bulk action? Phys. Rev. Lett. 116, 191301 (2016). arXiv:1509.07876
R.-G. Cai, S.-M. Ruan, S.-J. Wang, R.-Q. Yang, R.-H. Peng, Action growth for AdS black holes. JHEP 09, 161 (2016). arXiv:1606.08307
L. Lehner, R.C. Myers, E. Poisson, R.D. Sorkin, Gravitational action with null boundaries. Phys. Rev. D 94, 084046 (2016). arXiv:1609.00207
S. Chapman, H. Marrochio, R.C. Myers, Complexity of formation in holography. JHEP 01, 062 (2017). arXiv:1610.08063
D. Carmi, R.C. Myers, P. Rath, Comments on holographic complexity. JHEP 03, 118 (2017). arXiv:1612.00433
A. Reynolds, S.F. Ross, Divergences in holographic complexity. Class. Quantum Gravity 34, 105004 (2017). arXiv:1612.05439
R.-Q. Yang, C. Niu, K.-Y. Kim, Surface counterterms and regularized holographic complexity. JHEP 09, 042 (2017). arXiv:1701.03706
D. Carmi, S. Chapman, H. Marrochio, R.C. Myers, S. Sugishita, On the time dependence of holographic complexity. JHEP 11, 188 (2017). arXiv:1709.10184
R.-Q. Yang, C. Niu, C.-Y. Zhang, K.-Y. Kim, Comparison of holographic and field theoretic complexities for time dependent thermofield double states. JHEP 02, 082 (2018). arXiv:1710.00600
B. Swingle, Y. Wang, Holographic Complexity of Einstein–Maxwell-Dilaton Gravity. arXiv:1712.09826
M. Alishahiha, Holographic complexity. Phys. Rev. D 92, 126009 (2015). arXiv:1509.06614
O. Ben-Ami, D. Carmi, On volumes of subregions in holography and complexity. JHEP 11, 129 (2016). arXiv:1609.02514
J. Couch, W. Fischler, P.H. Nguyen, Noether charge, black hole volume, and complexity. JHEP 03, 119 (2017). arXiv:1610.02038
S. Aaronson, The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes (2016). arXiv:1607.05256
R.-Q. Yang, Y.-S. An, C. Niu, C.-Y. Zhang, K.-Y. Kim, Work in progress
M.A. Nielsen, M.R. Dowling, M. Gu, A.C. Doherty, Quantum computation as geometry. Science 311, 1133–1135 (2006). http://science.sciencemag.org/content/311/5764/1133.full.pdf
M.A. Nielsen, A geometric approach to quantum circuit lower bounds. Quantum Inf. Comput. 6, 213–262 (2006)
M.R. Dowling, M.A. Nielsen, The geometry of quantum computation. Quantum Inf. Comput. 8, 861–899 (2008)
D. Bao, S.-S. Chern, Z. Shen, An Introduction to Riemann–Finsler Geometry. Springer, New York (2000). https://doi.org/10.1007/978-1-4612-1268-3
Z. Shen, Lectures on Finsler Geometry (Series on Multivariate Analysis). WSPC (2001)
M. Xiaohuan, An Introduction to Finsler Geometry (World Scientific, Singapore, 2006)
G.S. Asanov, Finsler Geometry. Relativity and Gauge Theories (Springer, Dordrecht, 1985)
A.R. Brown, L. Susskind, The Second Law of Quantum Complexity. arXiv:1701.01107
R.A. Jefferson, R.C. Myers, Circuit complexity in quantum field theory. JHEP 10, 107 (2017). arXiv:1707.08570
R.-Q. Yang, A Complexity for Quantum Field Theory States and Application in Thermofield Double States. arXiv:1709.00921
R. Khan, C. Krishnan, S. Sharma, Circuit Complexity in Fermionic Field Theory. arXiv:1801.07620
M. Nielsen, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2010)
V. Vanchurin, Covariant Information Theory and Emergent Gravity. arXiv:1707.05004
R.-Q. Yang, Y.-S. An, C. Niu, C.-Y. Zhang, K.-Y. Kim, More on Complexity of Operators in Quantum Field Theory. arXiv:1809.06678
D. Latifi, M. Toomanian, On the existence of bi-invariant Finsler metrics on Lie groups. Math. Sci. 7, 37 (2013)
D. Latifi, A. Razavi, Bi-invariant Finsler metrics on Lie groups. J. Basic Appl. Sci. 5, 507–511 (2011)
N. Higham, Functions of Matrices: Theory and Computation (Society for Industrial and Applied Mathematics, Philadelphia, 2008)
G. Evenbly, G. Vidal, Tensor network renormalization. Phys. Rev. Lett. 115, 180405 (2015)
G. Evenbly, G. Vidal, Tensor network renormalization yields the multiscale entanglement renormalization ansatz. Phys. Rev. Lett. 115, 200401 (2015)
M. Miyaji, T. Numasawa, N. Shiba, T. Takayanagi, K. Watanabe, Continuous multiscale entanglement renormalization ansatz as holographic surface-state correspondence. Phys. Rev. Lett. 115, 171602 (2015). arXiv:1506.01353
J. Molina-Vilaplana, A. del Campo, Complexity Functionals and Complexity Growth Limits in Continuous MERA Circuits. arXiv:1803.02356
S. Chapman, M.P. Heller, H. Marrochio, F. Pastawski, Towards Complexity for Quantum Field Theory States. arXiv:1707.08582
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi, K. Watanabe, Anti-de Sitter space from optimization of path integrals in conformal field theories. Phys. Rev. Lett. 119, 071602 (2017). arXiv:1703.00456
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi, K. Watanabe, Liouville action as path-integral complexity: from continuous tensor networks to AdS/CFT. JHEP 11, 097 (2017). arXiv:1706.07056
G. Randers, On an asymmetrical metric in the four-space of general relativity. Phys. Rev. 59, 195–199 (1941)
S. Deng, Homogeneous Finsler Spaces (Springer, New York, 2012)
Acknowledgements
The work of K.-Y. Kim was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT and Future Planning (NRF-2017R1A2B4004810) and GIST Research Institute (GRI) Grant funded by the GIST in 2018 and 2019. C. Y. Zhang is supported by National Postdoctoral Program for Innovative Talents 938 BX201600005 and China Postdoctoral Science Foundation. C. Niu is supported by the Natural Science Foundation of China under Grant No. 11805083.
Author information
Authors and Affiliations
Corresponding author
Appendices
A brief introduction to the Finsler manifolds
This appendix introduces some basic concepts in the Finsler geometry. It is not meant to be a complete or rigorous introduction. The readers can find more details in textbooks such as Refs. [23,24,25] and a physics friendly introduction in Ref. [26].
1.1 A.1 Fundamentals
Suppose that M is an n-dimensional smooth manifold and TM is its tangent bundle. Each element of TM is given by a pair \((x^i,v^i)\), where \(x^i\in M\) and \(v^i\in T_xM\). In this appendix, x, y will be used to stand for the points in M and u, v will be used to stand for the tangent vectors at some points in M. For convenience, sometimes their indices will be dropped if there is no ambiguity.
A Finsler metric of M is a function \(F: TM\mapsto [0,\infty )\) such that:
-
(1)
F is smooth on \(TM\setminus \{\cdot , 0\}\);
-
(2)
\(F(x,\lambda v)=\lambda F(x,v)\) for arbitrary \(\lambda >0\);
-
(3)
The fundamental tensor (metric)
$$\begin{aligned} g_{ij}(x,v):=\frac{1}{2}\frac{\partial ^2F^2(x,v)}{\partial v^i\partial v^j} \end{aligned}$$(A.1)is positive definite when \(v\ne 0\).
The manifold M with a Finsler metric F is called a Finsler manifold. The requirement (3) can be relaxed in physics. If \(g_{ij}(x,v)\) has negative eigenvalues but no zero eigenvalue, then (M, F) is call a pseudo-Finsler manifold; if \(g_{ij}(x,v)\) has only one negative eigenvalue and has no zero eigenvalue, then (M, F) is called pseudo-Finsler spacetime. In this paper, we only consider the case that \(g_{ij}(x,v)\) is positive definite.
We want to emphasize that the metric tensor \(g_{ij}(x,v)\) is defined in the tangent bundle TM rather than the manifold M, which is the essential difference between a general Finsler manifold and Riemannian manifold. The relation between the Finsler metric F and the metric tensor \(g_{ij}\) reads
For a curve \(x(t)=c(t)\) in M, its line element is given by
and the curve length for \(t\in (0,1)\) is
In a Riemannian case, the curves \(x(t)=c(t)\) and \(x(t)=c(1-t)\) with \(t\in (0,1)\) have the same length. However, this is no longer true for general Finsler geometries because
If the metric \(g_{ij}(x,v)\) is independent of v, then a Finsler manifold becomes a Riemannian manifold. To describe how much different a Finsler manifold is from a Riemannian manifold, we can introduce the Cartan’s tensor,Footnote 11
which is a fully symmetric covariant tensor.
Thus, a Finsler manifold is a Riemannian manifold if and only if its Cartan tensor is zero. The Cartan form (\(\eta _k\)) is defined by the contraction of Cartan tensor and metric:
where \(g^{ij}(x,v)\) is the inverse of \(g_{ij}(x,v)\). The Cartan tensor and Cartan form have three important properties:
1.1.1 Example
In order to give readers a “feeling” about the Finsler geometry, let us show a simple example. Assume \(a_{ij}(x)\) to be a positive definite tensor and a 1-form \(b_i(x)\) satisfying \(b_i(x)b_j(x)a^{ij}(x)<1\).Footnote 12 With \(\alpha (x,v)=\sqrt{a_{ij}(x)v^iv^j}\) and \( \beta (x,v)=b_i(x)v^j\),
is a Finsler metric. If \(b_i(x)=0\), this is just a Riemannian geometry. By the definition (A.1), the metric tensor reads
where \(v_i:=a_{ij}v^j\). One can check \(g_{ij}(x,v)v^iv^j=F(x,v)^2\) and the Cartan form is
It can be shown that \(\forall v, \eta _k(x,v)=0\Leftrightarrow b_k(x)=0\Leftrightarrow g_{ij}(x,v)=a_{ij}(x)\). The Finsler geometry (A.9) is called Randers geometry, which was first proposed by physicist Gunnar Randers regarding the uni-direction of time in general relativity [44].
In Finsler geometry, we can also define some geometric quantities such as connection and curvature. As this paper will not consider such quantities, we will not introduce them. The readers can refer to some textbooks, e.g., Refs. [23,24,25].
1.2 A.2 Invariant Finsler geometries for a Lie group
Now let us consider the case the manifold \(M=G\) is a Lie group with the identity \(\hat{\mathbb {I}}\). The Lie algebra is denoted by \(\mathfrak {g}\), which is also the tangent space of identity \(\hat{\mathbb {I}}\), i.e., \(\mathfrak {g}=T_{\hat{\mathbb {I}}}G\). Because this manifold has group structure, i.e., the product rule, we can pick out a group-relevant special Finsler metric.
In a Lie group G, we can define a left translation \(\mathcal {L}_x: G\mapsto G\) such that \(\forall y\in G, \mathcal {L}_x(y)=xy\). As the left translation is the isomorphism of the group G, it is natural to expect that it is also the isometry of G. We call a Finsler manifold (G, F) is left-invariant if the left translation is an isometry, i.e.,
where \(\mathcal {L}_{x*}\) is the push-forward map induced by \(\mathcal {L}_x\) and \(\mathcal {L}_{x*}(v)=xv\). Thus, the left-invariant Finsler metric will satisfy
Particularly, by taking \(x=y^{-1}\) we have
Similarity, we can define the right translation and right-invariant Finsler geometry. The right-invariant Finsler geometry satisfies
Note that both left-invariant and right-invariant Finsler geometry are determined by the group product rule and the Finsler metric at the identity. A Finsler manifold is called bi-invariant if the Finsler geometry is both left and right invariant.
The Finsler metric at the identity can be used as a norm at the Lie algebra \(\mathfrak {g}\). For a given Finsler metric at the identity, we have two natural ways to obtain the Finsler geometry according to Eqs. (A.14) and (A.15). The left and right invariant Finsler metric \(F_l\) and \(F_r\) can be determined uniquely
where \(\tilde{F}\) denotes a norm for Lie algebra \(\mathfrak {g}\). Thus, if we know how to define the norm \(\tilde{F}\) for a Lie algebra \(\mathfrak {g}\), we can obtain two natural Finsler geometries for the Lie group G. Such two Finsler geometries are the same only when the norm \(\tilde{F}\) satisfies
In this case, we can find \(F_l=F_r\) and so the Finsler geometry is bi-invariant.
If we know the norm \(\tilde{F}\) for Lie algebra \(\mathfrak {g}\), then for arbitrary curve c(s) with \(s\in (0,1)\), we have two ways to compute its length
If the curve is generated by the left generator \(H_l(s)\) and right generator \(H_r(s)\) defined as
we see that Eq. (A.18) reads
In general, we have two different lengths for the same curve if we obtain the norm \(\tilde{F}\) of the Lie algebra \(\mathfrak {g}\). Such two lengths are the same if \(\tilde{F}\) satisfies Eq. (A.17), i.e., the Finsler geometry is bi-invariant.
B Proof for the emergence of the Finsler metrics
In this appendix, we first show three properties F1–F3 of the Minkowski norm, \(\tilde{F}\), implied by the general axioms G1, G2 and the assumption G4. F1–F3 readily show that the Finsler geometry \(F_{\alpha }(c,\dot{c})\) emerges. As we have clarified below Eq. (3.6), for an infinitesimal operator \(\delta \hat{O}=\exp (H\varepsilon )\) with \(|\varepsilon |\ll 1\), the indexes \(\alpha =\{r,l\}\) are not necessary, so we omit it not to clutter notations.
F1: \(\forall H\), \(\tilde{F}(H)\ge 0\) and \(\tilde{F}(H)=0\Leftrightarrow H=0\).
Proof
\({\textcircled {1}}\) If \(H=0\), \(\exp (Hs)=\hat{\mathbb {I}}\) so \(\mathcal {C}(\exp (Hs))=0\) for \(\forall s\in [0,1]\) by G1. Thus, \(\tilde{F}(H)=\lim _{s\rightarrow 0^+}\mathcal {C}(\exp (Hs))/s=0\) by (3.6). \(\square \)
\({\textcircled {2}}\) If \(H\ne 0\), \(\exists \lambda >0\) such that \(\exp (H\lambda )\ne \hat{\mathbb {I}}\) so by G1
where \(N\in \mathbb {N}^+\). By G2 we have the following inequality
Thus,
With \(\varepsilon :=\lambda /N\), Eq. (B.1) means
where \(\tilde{F}\) is defined in (3.6). Thus, \(\tilde{F}(H)>0\). \(\square \)
F2: \(\forall \lambda \in \mathbb {R}^+\), \(\tilde{F}(\lambda H)=\lambda \tilde{F}(H)\).
Proof
By (3.6), for an arbitrary generator H and infinitesimal parameter \(\varepsilon >0\)
For an arbitrary \(\lambda >0\),
which implies \(\tilde{F}(\lambda H)=\lambda \tilde{F}(H)\) by Eq. (B.3). \(\square \)
F3: \(\forall H_1\ne 0\) and \(\forall H_2\ne 0\), \(\tilde{F}(H_1)+\tilde{F}(H_2)\ge \tilde{F}(H_1+H_2)\)
Proof
By G2, for arbitrary generators \(H_1\) and \(H_2\)
It yields, up to order \(\mathcal {O}(\varepsilon ^2)\),
which implies \(\tilde{F}(H_1)+\tilde{F}(H_2)\ge \tilde{F}(H_1+H_2)\) by Eq. (B.3).
\(\square \)
By the relation between \(F_{\alpha }\) and \(\tilde{F}\) in Eq. (3.8), we can also prove that \(F_{\alpha }\) satisfies the following properties for \(\forall \hat{O}\in \)SU(n) and two arbitrary tangent vectors V, W at \(\hat{O}\):
-
F1\('\): \(F_{\alpha }(\hat{O},V)\ge 0\) and \(F_{\alpha }(\hat{O},V)=0\Leftrightarrow V=0\).
-
F2\('\): \(\forall \lambda \in \mathbb {R}^+\), we have \(F_{\alpha }(\hat{O},\lambda V)=\lambda F_{\alpha }(\hat{O},V)\).
-
F3\('\): \(F_{\alpha }(\hat{O},V)+F_{\alpha }(\hat{O},W)\ge F_{\alpha }(\hat{O},V+W)\).
-
These imply that \(F_\alpha (c,\dot{c})\) is Finsler metric.
C General Finsler metric for SU(n): proof of Eq. (5.1)
Proof
We prove (5.1) by three steps.
(1) Let us first show that \(\tilde{F}(H)\) is only the function of eigenvalues of H and independent of the permutations of the eigenvalues. Notice that H always can be diagonalized under the transformation by an SU(n) operator \(\hat{U}\):
where \(\gamma _i\) are the eigenvalues of H. Thus
where the first equality comes from the adjoint invariance (4.10). To see the independence of the permutations of the eigenvalues, we consider a SU(n) operator \(\hat{U}'\) yielding
where \(\hat{U}'_{11}=\hat{U}'_{22}=0, \hat{U}'_{12}=-\hat{U}'_{21}=1\) and \(\hat{U}'_{ij}=\delta _{ij}\) for \(i,j>2\). Again by (4.10) \(\tilde{F}\) is invariant under the permutation \(\gamma _1\leftrightarrow \gamma _2\). Similarity, \(\tilde{F}[\text {diag}(\gamma _1,\gamma _2,\ldots ,\gamma _n)]\) is invariant under any kind of permutation on \(\{\gamma _1,\gamma _2,\ldots ,\gamma _n\}\).
(2) Next, let us prove that if \(H=H_1\oplus H_2\) then \(\tilde{F}(H)=\tilde{F}_1(H_1)+\tilde{F}_2(H_2)\), where \(\tilde{F}_1(H_1):=\tilde{F}(H_1\oplus \mathbf {0}_{n-k})\), \(\tilde{F}_2(H_2):=\tilde{F}(\mathbf {0}_{k}\oplus H_2)\), \(k=\)Dim\((H_1)\) and \(\mathbf {0}_i\) stands for the i-dimensional zero matrix.
Assume \(\hat{O}_i\) (\(i=1,2\)) to be the representations of \(\hat{x}_i\in \mathcal {N}_i\) and one matrix representation of \((\hat{x}_1,\hat{x}_2)\in \mathcal {N}_1\times \mathcal {N}_2\) can be given by \(\hat{O}=\hat{O}_1\oplus \hat{O}_2\). Then the axiom G3 implies that the complexity should satisfy
Here \(\mathcal {C}_1(\hat{O}_1):=\mathcal {C}(\hat{O}_1\oplus \hat{\mathbb {I}}_2)\) and \(\mathcal {C}_1(\hat{O}_1):=\mathcal {C}(\hat{\mathbb {I}}_1\oplus \hat{O}_2)\). To be specific, let us consider two 1-parameter subgroups \(\mathcal {N}_1=\exp (sH_1)\) and \(\mathcal {N}_2=\exp (sH_2)\) with \(s\in \mathbb {R}\). Then \(\mathcal {N}:=\mathcal {N}_1\times \mathcal {N}_2\) is the n-dimensional subgroup of \(\mathcal {O}\). As \(H=H_1\oplus H_2\), \(\exp (\epsilon H)=\exp (\epsilon H_1)\oplus \exp (\epsilon H_2)\). From Eq. (C.4), we have
which, in the limit \(\epsilon \rightarrow 0\), reduces to
In general, \(H=\oplus _{j}H_j\) so Eq. (C.6) can be generalized as \(\tilde{F}=\sum _j\tilde{F}_j(H_j)\).
(3) Finally, we combine the results in previous two steps. Noting the fact that \(\text {diag}(\gamma _1,\gamma _2,\ldots ,\gamma _n)=\bigoplus _{j=1}^n\gamma _j\), we have
where
Because \(\tilde{F}\) is invariant under the permutations of diagonal elements as shown in (C.3), \(\tilde{F}_j(\gamma _j)\) is independent of the position of \(\gamma _j\), which means there is a non-negative function f such that \(\tilde{F}_j(\gamma _j)=f(\gamma _j)\). Thus
where we used the fact that the eigenvalues of H are all pure imaginary: \(\gamma _j=i\text {Im}\gamma _j\) and \(f(i\text {Im}\gamma _j)=f(-i\text {Im}\gamma _j)\) from (4.2). Because the Finsler metric satisfies the homogeneity \(\tilde{F}(\lambda H)=\lambda \tilde{F}(H)\) for \(\lambda >0\), one can find that \(f(\gamma ) =|\gamma |f(i)\) for arbitrary pure imaginary number \(\gamma \),Footnote 13 which yields
where, without loss of generality, we may set the overall constant \(f(i)=\lambda \). It proves (5.1). \(\square \)
D Other arguments for path-reversal symmetry
1.1 D.1 Inverse-invariance of relative complexity
Let us denote the set of all admitted gates \(g_i\) by g and the set of all \(g_i^{-1}\) by \(g^{-1}\), i.e.,
In discrete qubit systems, if \(g_i\) is one admitted gate then \(g_i^{-1}\) is also one admitted gate because quantum circuits are invertible, so \(g^{-1}=g\). Let us investigate what this property implies for the circuit complexity.
For the unitary operators pair \((\hat{U},\hat{V})\) and the fundamental gates set g, the “relative complexity” \(d_\alpha (g;\hat{U},\hat{V})\) is defined by the minimal number of required gates to transform from \(\hat{V}\) to \(\hat{U}\) under the gates set g. The index \(\alpha \) is l or r, which is explained in Sect. 3. The relative complexities can be written in terms of the complexity as
where \(\mathcal {C}_\alpha (g;\hat{U})\) is the complexity of \(\hat{U}\) under the gates set g, As \(g_i\) and \(g_i^{-1}\) are both the elements in g, \(\mathcal {C}_\alpha (g;\hat{O})=\mathcal {C}_\alpha (g;\hat{O}^{-1})\) so it follows that \(d_\alpha (g;\hat{U},\hat{V})=d_\alpha (g;\hat{V},\hat{U})\).
Now let us consider the relative complexities of \((\hat{U},\hat{V})\) and \((\hat{U}^{-1},\hat{V}^{-1})\). If \(\{g_1,g_2,\ldots ,g_n\}\) are some gates transforming \(\hat{V}\) to \(\hat{U}\) by the right-invariant way \((\alpha =r)\), i.e.,
we have
where \(\tilde{g}_i :=\hat{V}^{-1}g_i^{-1}\hat{V}\). By defining a new gates set
we have
Equations (D.3) and (D.4) are one-to-one correspondent. If we have a method by n gates to convert \(\hat{V}\) to \(\hat{U}\) under the gates set g by the right-invariant way, then we have also a corresponding method by n gates to convert \(\hat{V}^{-1}\) to \(\hat{U}^{-1}\) under the gates set \(\tilde{g}\) by the right-invariant way. The converse is also true. For the left-invariant way \((\alpha =l)\), we have a similar conclusion. Thus, we have the following equality
Here \(\tilde{g}=\hat{V}^{-1}g^{-1}\hat{V}\) for \(\alpha =r\) and \(\tilde{g}=\hat{V}g^{-1}\hat{V}^{-1}\) for \(\alpha =l\). This is a fundamental symmetry for relative complexity in quantum circuits.
Similar to the discussion in Sect. 4.2, for discrete qubit systems, we have
in general so
However, if we consider the SU(n) group, as what we have argued in Sect. 4.2, the gates set should be replaced by Lie algebra \(\mathfrak {su}(n)\). Because of \(\mathfrak {su}(n)=\hat{V}^{-1}\mathfrak {su}(n)\hat{V}=\hat{V}\mathfrak {su}(n)\hat{V}^{-1}\), a symmetry Eq. (D.5) suggests that we should have
In geometrical theory of complexity, the relative complexity in a SU(n) group is naturally defined by the minimal length of curves connecting two operators such as
where we omit the argument \(\mathfrak {su}(n)\) in the relative complexity. Eq. (D.6) shows that the inverse map \(\hat{x}\mapsto \hat{x}^{-1}\) should be a “distance-preserving map”, i.e.,
The Finsler version of the Myers–Steenrod theorem says that every surjective distance-preserving map in a Finsler manifold is also an isometric map (see the theorem 3.2 of chapter 3 in Ref. [45]). Thus, we see that the inverse map should be an isometry of complexity geometry. As a result, we have
This shows that the Myers–Steenrod theorem with basic symmetry (D.5) can guarantee the path-reversal symmetry for SU(n) groups. Then according to Eq. (4.24), we find that \(\tilde{F}(H)=\tilde{F}(\hat{U} H\hat{U}^{-1})\) and \(\tilde{F}(H)=\tilde{F}(-H)\). This argument gives us the third method to show bi-invariance and the second method to show reversibility.
1.2 D.2 Equivalence between “bra-world” and “ket-world”
To describe a quantum system in a pure state, we usually use a “ket” state vector \(|\cdot \rangle \). The time evolution of the system is governed by a unitary operator c(t):
However, it is artificial to choose the “ket” vector to present physics and we can equivalently use the “bra” state vector \(\langle \cdot |\). In the “bra-world”, the time evolution is given by
If c(t), the curve in SU(n) group, presents the time evolution of a system in “ket-world”, then \(c(t)^{-1}\) presents the time evolution of the same system in “bra-world”. Because all the physics should be invariant under the change of our formalism from “ket-world” to “bra-world” it is natural to expect that the “length(cost)” of c(t) and \(c(t)^{-1}\) are also the same:
Starting with Eq. (D.12), we can derive other symmetries of complexity. This offers the fourth method to show bi-invariance and the third method to show reversibility.
E Invariance of the cost function
It seems that the complexity is invariant under some transformation is weaker than the requirement that the cost function is invariant under that transformation. In this appendix we explain indeed they are equivalent.
The argument is based on Myers–Steenrod theorem, which says that every surjective distance-preserving map in a Finsler manifold is also a diffeomorphism (the theorem 3.2 of chapter 3 in Ref. [45]).
Therefore, by Myers–Steenrod theorem, if we can show that the transformations relevant to (4.6), (4.19), and (4.22) are surjective distance-preserving maps, then we can say that they are diffeomorphisms so the cost is also invariant because those transformations are just diffeomorphisms.
Now we only need to prove that the transformations relevant to (4.6), (4.19), and (4.22) are surjective distance-preserving maps. For the proof, let us consider arbitrary two points \(\hat{V}\) and \(\hat{W}\) in an SU(n) group manifold and denote the distance (shortest geodesic length) from \(\hat{V}\) to \(\hat{W}\) by \(d(\hat{V},\hat{W})\).
Note that the Finsler geometry is required to be right-invariant or left-invariant, which makes a connection between the distance and the complexity as follows
where the subscript r means we consider the right-invariant case. We explain only for the right invariant case because a left-invariant case works similarly.
For (4.6), we only need to show that the unitary transformation preserve the distance i.e.
It can be shown as follows.
where for the second equality we used the fact that the complexity is invariant under a unitary transformation. By Myers–Steenrod theorem the unitary transformation is a diffeomorphism so \(L[c(s)]=L[\hat{U}c(s)\hat{U}^{-1}]\).
For (4.22) we only need to show that the distance is invariant under the inverse map \(: \hat{x}\mapsto \hat{x}^{-1}\) i.e.
It can be shown as follows.
where for the second equality we used the fact that the complexity is invariant under an inverse map and for the fifth equality we used the fact that the distance is invariant under a unitary transformation with \(\hat{U}=\hat{W}^{-1}\) in (E.3).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Yang, RQ., An, YS., Niu, C. et al. Principles and symmetries of complexity in quantum field theory. Eur. Phys. J. C 79, 109 (2019). https://doi.org/10.1140/epjc/s10052-019-6600-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-6600-3