Detailed analysis is given of the geodesic derivative, a useful tool in the Riemannian geometry of quantum computation. The geodesic derivative facilitates numerical evaluation of geodesics describing minimum complexity quantum circuits in which more than two-body interactions are prohibited.
A review is given of some aspects of the Riemannian geometry of quantum computation in which the quantum evolution is represented in the tangent space manifold of the special unitary unimodular group SU(2n) for n qubits. The Riemannian right-invariant metric, connection, curvature, geodesic equation for minimal complexity quantum circuits, Jacobi equation and the lifted Jacobi equation for varying penalty parameter are reviewed. Sharpened tools for calculating the geodesic derivative are presented. The geodesic derivative may facilitate the numerical investigation of conjugate points and the global characteristics of geodesic paths in the group manifold, the determination of optimal quantum circuits for carrying out a quantum computation, and the determination of the complexity of particular quantum algorithms.
Determining the quantum circuit complexity of a unitary operation is closely related to the problem of finding minimal length paths in a particular curved geometry [Nielsen et al, Science 311, 1133-1135 (2006)]. This paper investigates many of the basic geometric objects associated to this space, including the Levi-Civita connection, the geodesic equation, the curvature, and the Jacobi equation. We show that the optimal Hamiltonian evolution for synthesis of a desired unitary necessarily obeys a simple universal geodesic equation. As a consequence, once the initial value of the Hamiltonian is set, subsequent changes to the Hamiltonian are completely determined by the geodesic equation. We develop many analytic solutions to the geodesic equation, and a set of invariants that completely determine the geodesics. We investigate the problem of finding minimal geodesics through a desired unitary, U, and develop a procedure which allows us to deform the (known) geodesics of a simple and well understood metric to the geodesics of the metric of interest in quantum computation. This deformation procedure is illustrated using some three-qubit numerical examples. We study the computational complexity of evaluating distances on Riemmanian manifolds, and show that no efficient classical algorithm for this problem exists, subject to the assumption that good pseudorandom generators exist. Finally, we develop a canonical extension procedure for unitary operations which allows ancilla qubits to be incorporated into the geometric approach to quantum computing.
Determining the quantum circuit complexity of a unitary operation is closely related to the problem of finding minimal length paths in a particular curved geometry [Nielsen et al, Science 311, 1133-1135 (2006)]. This paper investigates many of the basic geometric objects associated to this space, including the Levi-Civita connection, the geodesic equation, the curvature, and the Jacobi equation. We show that the optimal Hamiltonian evolution for synthesis of a desired unitary necessarily obeys a simple universal geodesic equation. As a consequence, once the initial value of the Hamiltonian is set, subsequent changes to the Hamiltonian are completely determined by the geodesic equation. We develop many analytic solutions to the geodesic equation, and a set of invariants that completely determine the geodesics. We investigate the problem of finding minimal geodesics through a desired unitary, U, and develop a procedure which allows us to deform the (known) geodesics of a simple and well understood metric to the geodesics of the metric of interest in quantum computation. This deformation procedure is illustrated using some three-qubit numerical examples. We study the computational complexity of evaluating distances on Riemmanian manifolds, and show that no efficient classical algorithm for this problem exists, subject to the assumption that good pseudorandom generators exist. Finally, we develop a canonical extension procedure for unitary operations which allows ancilla qubits to be incorporated into the geometric approach to quantum computing.
Recent developments in the differential geometry of quantum computation are exposited. The quantum evolution is described in terms of the special unitary group of n-qubit unitary operators with unit determinant. The group manifold is taken to be Riemannian. In the present work, the lifted Jacobi equation and geodesic derivative are reviewed. This is applicable to investigations of conjugate points and the global characteristics of geodesic paths in the group manifold, and the determination of optimal quantum circuits for carrying out a quantum computation.
Recent advancements in the discipline of quantum algorithms have displayed the importance of the geometry of quantum operators. Given this thrust, this paper develops a rigorous geometric framework to analyze how the Riemannian structure of data, under the manifold hypothesis, influences the subspace of quantum gates induced by quantum feature maps. While numerous encoding schemes have been proposed in quantum machine learning, little attention has been given to how data geometry is deformed when mapped into the Lie group of special unitary operators. Addressing this gap, we assume a point cloud forms a smooth Riemannian manifold and formally construct the induced Riemannian geometry of a broad class of Hamiltonian quantum feature maps, which encompasses the majority of derived schemes. Starting from first principles, we derive analytic and, consequently, computational formulas for fundamental geometric measurements, including curvature, volume forms, and harmonic maps, providing tools for systematic deformation analysis. Notably, the derivations of the formulas elucidates how changes along paths in the data manifold interplay to changes in the associated subspace of special unitary operators, thereby indicating a direct geometric effect of data on quantum circuits. This framework establishes the mathematical validity required for principled analysis beyond heuristic ansatz and enables future research into geometry-aware quantum algorithm design.
In the Riemannian geometry of quantum computation, the quantum evolution is described in terms of the special unitary group of n-qubit unitary operators with unit determinant. To elaborate on some aspects of the methodology, the generic Jacobi equation and lifted Jacobi equation, together with solutions on the group manifold, are explicitly derived. This is important for investigations of the global characteristics of geodesic paths in the group manifold, and the determination of optimal quantum circuits for carrying out a quantum computation.