skip to main content


Title: Avoiding symmetry roadblocks and minimizing the measurement overhead of adaptive variational quantum eigensolvers
Quantum simulation of strongly correlated systems is potentially the most feasible useful application of near-term quantum computers. Minimizing quantum computational resources is crucial to achieving this goal. A promising class of algorithms for this purpose consists of variational quantum eigensolvers (VQEs). Among these, problem-tailored versions such as ADAPT-VQE that build variational ansätze step by step from a predefined operator pool perform particularly well in terms of circuit depths and variational parameter counts. However, this improved performance comes at the expense of an additional measurement overhead compared to standard VQEs. Here, we show that this overhead can be reduced to an amount that grows only linearly with the numbernof qubits, instead of quartically as in the original ADAPT-VQE. We do this by proving that operator pools of size2n2can represent any state in Hilbert space if chosen appropriately. We prove that this is the minimal size of such complete pools, discuss their algebraic properties, and present necessary and sufficient conditions for their completeness that allow us to find such pools efficiently. We further show that, if the simulated problem possesses symmetries, then complete pools can fail to yield convergent results, unless the pool is chosen to obey certain symmetry rules. We demonstrate the performance of such symmetry-adapted complete pools by using them in classical simulations of ADAPT-VQE for several strongly correlated molecules. Our findings are relevant for any VQE that uses an ansatz based on Pauli strings.

 
more » « less
Award ID(s):
1839136
NSF-PAR ID:
10475599
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Quantum Journal
Date Published:
Journal Name:
Quantum
Volume:
7
ISSN:
2521-327X
Page Range / eLocation ID:
1040
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Many quantum algorithms are developed to evaluate eigenvalues for Hermitian matrices. However, few practical approach exists for the eigenanalysis of non-Hermintian ones, such as arising from modern power systems. The main difficulty lies in the fact that, as the eigenvector matrix of a general matrix can be non-unitary, solving a general eigenvalue problem is inherently incompatible with existing unitary-gate-based quantum methods. To fill this gap, this paper introduces a Variational Quantum Universal Eigensolver (VQUE), which is deployable on noisy intermediate scale quantum computers. Our new contributions include: (1) The first universal variational quantum algorithm capable of evaluating the eigenvalues of non-Hermitian matrices—Inspired by Schur’s triangularization theory, VQUE unitarizes the eigenvalue problem to a procedure of searching unitary transformation matrices via quantum devices; (2) A Quantum Process Snapshot technique is devised to make VQUE maintain the potential quantum advantage inherited from the original variational quantum eigensolver—With additional$$O(log_{2}{N})$$O(log2N)quantum gates, this method efficiently identifies whether a unitary operator is triangular with respect to a given basis; (3) Successful deployment and validation of VQUE on a real noisy quantum computer, which demonstrates the algorithm’s feasibility. We also undertake a comprehensive parametric study to validate VQUE’s scalability, generality, and performance in realistic applications.

     
    more » « less
  2. Abstract

    The quantum simulation of quantum chemistry is a promising application of quantum computers. However, forNmolecular orbitals, the$${\mathcal{O}}({N}^{4})$$O(N4)gate complexity of performing Hamiltonian and unitary Coupled Cluster Trotter steps makes simulation based on such primitives challenging. We substantially reduce the gate complexity of such primitives through a two-step low-rank factorization of the Hamiltonian and cluster operator, accompanied by truncation of small terms. Using truncations that incur errors below chemical accuracy allow one to perform Trotter steps of the arbitrary basis electronic structure Hamiltonian with$${\mathcal{O}}({N}^{3})$$O(N3)gate complexity in small simulations, which reduces to$${\mathcal{O}}({N}^{2})$$O(N2)gate complexity in the asymptotic regime; and unitary Coupled Cluster Trotter steps with$${\mathcal{O}}({N}^{3})$$O(N3)gate complexity as a function of increasing basis size for a given molecule. In the case of the Hamiltonian Trotter step, these circuits have$${\mathcal{O}}({N}^{2})$$O(N2)depth on a linearly connected array, an improvement over the$${\mathcal{O}}({N}^{3})$$O(N3)scaling assuming no truncation. As a practical example, we show that a chemically accurate Hamiltonian Trotter step for a 50 qubit molecular simulation can be carried out in the molecular orbital basis with as few as 4000 layers of parallel nearest-neighbor two-qubit gates, consisting of fewer than 105non-Clifford rotations. We also apply our algorithm to iron–sulfur clusters relevant for elucidating the mode of action of metalloenzymes.

     
    more » « less
  3. Abstract

    The notions of function growth and sharp global integral estimates inp-harmonic geometry in Wei (Contemp Math 756:247–269, 2020) and Wei et al. (Sharp estimates on$$\mathcal {A}$$A-harmonic functions with applications in biharmonic maps) naturally lead to a generalized uniformization theorem and a generalized Bochner’s method. These tools enable one to explore various geometric and variational problems in complete noncompact manifolds of arbitrary dimensions. In particular, we find the first set of nontrivial geometric quantities that arep-subharmonic andp-superharmonic functions (cf. Sect. 4.2). As further applications, we establish Liouville theorems for nonnegative$${\mathcal {A}}$$A-superharmonic functions (cf. Theorem 2.1) and forp-harmonic morphisms (cf. Theorem 4.3), Picard type theorems (cf. Sect. 4.3), existence theorems of harmonic maps (cf. Theorem 4.6), and a solution of the generalized Bernstein problem underp-parabolicity condition (without any volume growth condition, cf. Theorem 5.1) or underp-moderate volume growth (2.4) (cf. Corollary 5.1). These findings generalize and extend the work of Schoen–Simon–Yau under volume growth condition (0.1) which is due to$$({\text {i}})$$(i)Corollary 2.1(iv), which states that a manifold withp-moderate volume growth (2.4) must bep-parabolic (generalizing a result of Cheng and Yau (Commun Pure Appl 28(3):333–354, 1975) for the case$$p=2$$p=2,$$F(r)\equiv 1$$F(r)1),$$({\text {ii}})$$(ii)Example 2.1 of ap-parabolic manifold with exponential volume growth, and$$({\text {iii}})$$(iii)volume growth condition (0.1)$$\overset{(\text {implies})}{\Longrightarrow }$$(implies)p-moderate volume growth (2.4). Furthermore, we offer applications top-harmonic maps and stablep-harmonic maps. Notably, these outcomes address an intriguingquestion posed by Kobayashi if p-subharmonic functions are valuable tools for studying p-harmonic maps or related topics(cf. in: Kobayashi, Midwest Geometry Conference, University of Oklahoma, Oklahoma, 2006. Private Communication, 1996), and answer in the affirmative. Other applications of the notions and estimates tobiharmonic maps, isometric immersions, holomorphic functionson Kähler manifolds,generalized harmonic forms, andYang–Mills fieldson complete noncompact manifolds can be found in Wei et al. (Sharp estimates on$$\mathcal A$$A-harmonic functions with applications in biharmonic maps), Chen and Wei (Glasg Math J 51(3):579–592, 2009), Wei (Bull Transilv Univ Brasov Ser III 1(50):415–453, 2008), Wei (Growth estimates for generalized harmonic forms on noncompact manifolds with geometric applications, Contemp Math 756 American Mathematical Society, Providence, 247–269, 2020), Wei (Sci China Math 64(7):1649–1702, 2021) and Wei (Isolation phenomena for Yang–Mills fields on complete manifolds). We generate the work of Schoen–Simon–Yau underp-parabolic condition, in which the result can be used in other types of new manifolds we found, by an extrinsic average variational method we proposed (cf. Wei in Rom J Math Comput Sci 13(2):100–124, 2023; in: Wei, Connecting Poincare inequality with Sobolev inequality on Riemannian manifolds, Int Electron J Geom 17(1):290–305, 2024).

     
    more » « less
  4. Abstract

    The road to computing on quantum devices has been accelerated by the promises that come from using Shor’s algorithm to reduce the complexity of prime factorization. However, this promise hast not yet been realized due to noisy qubits and lack of robust error correction schemes. Here we explore a promising, alternative method for prime factorization that uses well-established techniques from variational imaginary time evolution. We create a Hamiltonian whose ground state encodes the solution to the problem and use variational techniques to evolve a state iteratively towards these prime factors. We show that the number of circuits evaluated in each iteration scales as$$O(n^{5}d)$$O(n5d), wherenis the bit-length of the number to be factorized anddis the depth of the circuit. We use a single layer of entangling gates to factorize 36 numbers represented using 7, 8, and 9-qubit Hamiltonians. We also verify the method’s performance by implementing it on the IBMQ Lima hardware to factorize 55, 65, 77 and 91 which are greater than the largest number (21) to have been factorized on IBMQ hardware.

     
    more » « less
  5. Abstract

    One of the cornerstone effects in spintronics is spin pumping by dynamical magnetization that is steadily precessing (around, for example, thez-axis) with frequencyω0due to absorption of low-power microwaves of frequencyω0under the resonance conditions and in the absence of any applied bias voltage. The two-decades-old ‘standard model’ of this effect, based on the scattering theory of adiabatic quantum pumping, predicts that componentISzof spin current vector(ISx(t),ISy(t),ISz)ω0is time-independent whileISx(t)andISy(t)oscillate harmonically in time with a single frequencyω0whereas pumped charge current is zeroI0in the same adiabaticω0limit. Here we employ more general approaches than the ‘standard model’, namely the time-dependent nonequilibrium Green’s function (NEGF) and the Floquet NEGF, to predict unforeseen features of spin pumping: namely precessing localized magnetic moments within a ferromagnetic metal (FM) or antiferromagnetic metal (AFM), whose conduction electrons are exposed to spin–orbit coupling (SOC) of either intrinsic or proximity origin, will pump both spinISα(t)and chargeI(t) currents. All four of these functions harmonically oscillate in time at both even and odd integer multiplesNω0of the driving frequencyω0. The cutoff order of such high harmonics increases with SOC strength, reachingNmax11in the one-dimensional FM or AFM models chosen for demonstration. A higher cutoffNmax25can be achieved in realistic two-dimensional (2D) FM models defined on a honeycomb lattice, and we provide a prescription of how to realize them using 2D magnets and their heterostructures.

     
    more » « less