Efficient reduction of resources for the simulation of fermionic Hamiltonians on quantum hardware

Information

  • Patent Grant
  • 10599989
  • Patent Number
    10,599,989
  • Date Filed
    Tuesday, April 2, 2019
    5 years ago
  • Date Issued
    Tuesday, March 24, 2020
    4 years ago
Abstract
A technique relates to reducing qubits required on a quantum computer. A Fermionic system is characterized in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes with a total number of 2M Fermionic modes. The Hamiltonian has a parity symmetry encoded by spin up and spin down parity operators. Fermionic modes are sorted such that the first half of 2M modes corresponds to spin up and the second half of 2M modes corresponds to spin down. The Hamiltonian and the parity operators are transformed utilizing a Fermion to qubit mapping that transforms parity operators to a first single qubit Pauli operator on a qubit M and a second single qubit Pauli operator on a qubit 2M. The qubit M having been operated on by the first single qubit Pauli operator and the qubit 2M having been operated on by the second single qubit Pauli operator are removed.
Description
BACKGROUND

The present invention relates in general to quantum computing, and more specifically to efficient reduction of resources for the simulation of fermionic Hamiltonians on quantum hardware.


In particle physics, a fermion is any particle characterized by Fermi-Dirac statistics. These particles obey the Pauli Exclusion Principle. Fermions include all quarks and leptons, as well as any composite particle made of an odd number of these, such as all baryons and many atoms and nuclei. Fermions differ from bosons, which obey Bose-Einstein statistics. A fermion can be an elementary particle, such as the electron, or it can be a composite particle, such as the proton. According to the spin-statistics theorem in any reasonable relativistic quantum field theory, particles with integer spin are bosons, while particles with half-integer spin are fermions.


In addition to a spin characteristic, fermions also possess conserved baryon or lepton quantum numbers. Therefore, what is usually referred to as the spin statistics relation is in fact a spin statistics-quantum number relation. As a consequence of the Pauli Exclusion Principle, only one fermion can occupy a particular quantum state at any given time. If multiple fermions have the same spatial probability distribution, at least one property of each fermion, such as its spin, must be different. Fermions are usually associated with matter, whereas bosons are generally force carrier particles, although in the current state of particle physics the distinction between the two concepts is unclear. Weakly interacting fermions can also display bosonic behavior under extreme conditions. At low temperatures, fermions show superfluidity for uncharged particles and superconductivity for charged particles. Composite fermions, such as protons and neutrons, are the key building blocks of everyday matter.


SUMMARY

According to one or more embodiments, a computer-implemented method of reducing a number of qubits required on a quantum computer is provided. The method includes characterizing a Fermionic system in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes with a total number of 2M Fermionic modes. The Hamiltonian has a parity symmetry encoded by spin up and spin down parity operators. The method includes sorting the Fermionic modes on the Hamiltonian, such that the first half of the 2M modes corresponds to spin up and the second half of the 2M modes corresponds to spin down, and transforming the Hamiltonian and the parity operators utilizing a Fermion to qubit mapping, where the Fermion to qubit mapping transforms the parity operators to a first single qubit Pauli operator on a qubit M and a second single qubit Pauli operator on a qubit 2M. Further, the method includes removing the qubit M having been operated on by the first single qubit Pauli operator and the qubit 2M having been operated on by the second single qubit Pauli operator.


According to one or more embodiments, a computer-implemented method of reducing a number of qubits required on a quantum computer is provided. The method includes characterizing a Fermionic system in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes. The method includes transforming the Hamiltonian utilizing a Fermion to qubit mapping, finding Pauli symmetry operators of the Hamiltonian, transforming the Pauli symmetry operators into single qubit Pauli operators, and removing every qubit that the single qubit Pauli operators are acting upon.


According to one or more embodiments, a computer-implemented method of reducing a number of qubits required on a quantum computer is provided. The method includes characterizing a Fermionic system in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes with a total number of M Fermionic modes, and the Hamiltonian has particle number symmetry and N particles. The method includes transforming the Hamiltonian utilizing a Fermion to qubit mapping that transforms from M Fermionic modes to M qubits, where the M qubits are represented by M-bit strings in a computational basis. Further, the method includes applying a compression map to the Hamiltonian such that the Hamiltonian having the M qubits is mapped to a transformed Hamiltonian with Q qubits where Q<M, where the compression map maps the M-bit strings labeling the M qubits in the computational basis with Hamming weight N to Q-bit strings.


According to one or more embodiments, a system is provided. The system includes memory including computer-executable instructions for reducing a number of qubits required on a quantum computer, and a processor executing the computer-executable instructions. The computer-executable instructions cause the processor to perform operations. The operations include characterizing a Fermionic system in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes with a total number of 2M Fermionic modes, and the Hamiltonian has a parity symmetry encoded by spin up and spin down parity operators. The operations include sorting the Fermionic modes on the Hamiltonian, such that the first half of the 2M modes corresponds to spin up and the second half of the 2M modes corresponds to spin down. Also, the operations include transforming the Hamiltonian and the parity operators utilizing a Fermion to qubit mapping, where the Fermion to qubit mapping transforms the parity operators to a first single qubit Pauli operator on a qubit M and a second single qubit Pauli operator on a qubit 2M. Further, the operations include removing the qubit M having been operated on by the first single qubit Pauli operator and the qubit 2M having been operated on by the second single qubit Pauli operator.


According to one or more embodiments, a system is provided. The system includes memory including computer-executable instructions for reducing a number of qubits required on a quantum computer, and a processor executing the computer-executable instructions. The computer-executable instructions cause the processor to perform operations. The operations include characterizing a Fermionic system in terms of a Hamiltonian. The Fermionic system includes Fermions and Fermionic modes. The method includes transforming the Hamiltonian utilizing a Fermion to qubit mapping, finding Pauli symmetry operators of the Hamiltonian, transforming the Pauli symmetry operators into single qubit Pauli operators, and removing every qubit that the single qubit Pauli operators are acting upon.





BRIEF DESCRIPTION OF THE DRAWINGS


FIG. 1 is a flow chart of Reduction 1 according to one or more embodiments.



FIG. 2A illustrates one portion of a flow chart of Reduction 2 according to one or more embodiments.



FIG. 2B illustrates another portion of a flow chart of Reduction 2 according to one or more embodiments.



FIG. 3A illustrates one portion of a flow chart of Reduction 3 according to one or more embodiments.



FIG. 3B illustrates another portion of a flow chart of Reduction 3 according to one or more embodiments.



FIG. 4 is a table illustrating the values of Q(M,N) computed numerically for small M and N according to one or more embodiments.



FIG. 5 depicts a graph of a compressed Jordan-Wigner transformation that has an upper bound on the qubit-to-modes ratio Q/M as a function of the filling fraction ν=N/M according to one or more embodiments.



FIG. 6 is a measurement circuit for a quadratic hopping term for a single qubit according to one or more embodiments.



FIG. 7 is a graph illustrating a reduction from M=14 fermi modes with N=3 particles to Q=10 qubits according to one or more embodiments.



FIG. 8 is an example of a computer configured to execute the Reductions 1, 2, and/or 3, according to one or more embodiments.



FIG. 9 is an example of a quantum computer configured to execute the output of Reductions 1, 2, and/or 3 according to one or more embodiments.



FIG. 10 is a flow chart of a method of reducing (Reduction 1) a number of qubits required on and/or a number of qubit required for simulation on a quantum computer according to one or more embodiments.



FIG. 11 is a flow chart of a method of reducing (Reduction 2) a number of qubits required on and/or a number of qubit required for simulation on a quantum computer according to one or more embodiments.



FIG. 12 is a flow chart of a method of reducing (Reduction 3) a number of qubits required on (and/or a number of qubit required for simulation on) a quantum computer according to one or more embodiments.





DETAILED DESCRIPTION

In quantum mechanics, the Hamiltonian is the operator corresponding to the total energy of the system in most of the cases. It is usually denoted by H, also {hacek over (H)} or Ĥ. Its spectrum is the set of possible outcomes when one measures the total energy of a system. Because of its close relation to the time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.


Quantum information processing holds the promise of solving specific computational problems, which are deemed to be too challenging for conventional classical hardware. A computational task which is particularly well suited for quantum computers is the simulation of quantum mechanical systems. The central application here is the simulation of strongly interacting Fermionic systems, which can for instance be found in quantum chemistry, material science, and nuclear physics. In order to represent Fermionic degrees on a quantum computer, the Fermionic modes need to be mapped to qubits that are the elementary logical units of quantum computation.


Several transformations are known in the state-of-the-art that map Fermionic degrees of freedom to qubit degrees of freedom. The most prominent being the Jordan-Wigner transformation, followed by the computationally more efficient generalized Jordan Wigner transformation (Bravyi-Kitaev mapping) and the parity representation.


Common to all these transformations is that one Fermionic degree of freedom (i.e., one mode) is exactly mapped to one qubit degree of freedom (i.e., one qubit). Hence the number of qubits that are needed in this mapping is equal to the number of modes (i.e., Fermionic modes).


It is known, however, that physical Fermionic systems always obey parity conservation and in some cases the even stronger conservation of particle number. Due to these symmetries not all degrees of freedom in the qubit simulation are necessary, and in fact some qubit degrees are encoding redundant information. It has been an open question of how precisely these degrees of freedom (i.e., excess qubits) can be eliminated in a computationally efficient manner that translates directly to the removal of redundant qubit degrees of freedom in the simulation. The simulation is executed on a quantum computer having qubits. It is noted that a qubit is a physical piece of quantum hardware in a quantum computer and the qubit is a superconducting quantum device. In a Hamiltonian, the qubit is used as a term that represents the physical qubit.


One or more embodiments provide an efficient scheme that always removes two qubit degrees of freedom for any chemical Hamiltonian with negligible spin-orbit interactions. One or more embodiments provide a scheme for finding hidden symmetries, where each mutually compatible symmetry allows for the removal of a single qubit in the Hamiltonian. One or more embodiments provide a compression scheme to reduce the number of qubits relying on particle number preservation, and the compression scheme is both efficient to perform as well as asymptotically optimal.


In several specific examples, it has been observed that individual qubits could be removed from the simulation without loss of information. These observations were limited to very specific model Hamiltonians in the state-of-the-art, such as the quantum chemistry Hamiltonian of the Hydrogen molecule as well as for the Fermi-Hubbard model with four Fermionic modes. In these examples, the exact block diagonal structure of the Hamiltonian needed to be known in the state-of-the-art. Both cases do not represent a computationally efficient method of eliminating qubit degrees of freedom for generic models, thus making this elimination non-scalable and restricting the removal of qubits to the specific model systems considered in the state-of-the-art.


However, embodiments discuss computationally efficient schemes for the removal of qubits in Fermionic quantum simulations for generic Fermionic quantum many-body Hamiltonians that can be found in quantum chemistry and material science, as well as in the simulation of nuclear physics. Embodiments utilize different Fermionic mappings such as the standard Jordan-Wigner mapping as well as the generalized Jordan-Wigner mapping in order to remove the qubit degrees of freedom in the Hamilton. By removing qubit degrees of freedom in the Hamilton, embodiments remove the number of qubits that are needed in a quantum computer (also referred to as quantum hardware, quantum machine, etc.) during the execution of the Hamilton (on the qubits). For a quantum computer, qubits are a valuable and costly resource. A reduction in the number of qubits required for quantum simulations leads to a more efficient use of the available resources. A reduction enables the simulation of more complex systems than a simulation without reduction using the same quantum computational resources. According to one or more embodiments, the reduction process needs to be efficient in order to be widely applicable in quantum simulation, since an inefficient scheme would diminish the computational advantage gained from the use of a quantum computer.


According to embodiments, the input of the schemes is a Hamiltonian that encodes a system that is to be simulated. The output is a Hamiltonian with reduced degrees of freedom (i.e., corresponding to needing fewer qubits) according to embodiments. This output Hamiltonian can then be provided to a quantum algorithm that then uses fewer resources on a quantum computer. A quantum algorithm is a finite sequence of step-by-step instructions sent to the quantum computer to solve a particular problem. Here, experimenters are interested in obtaining estimates for the ground state energy of the output Hamiltonian. Therefore, this output Hamiltonian leads to a set of input data for a quantum simulation on the quantum computer. For explanation purposes and not limitation, three schemes are presented for the removal of qubit degrees of freedom (that result in fewer qubits needed in the hardware of the quantum computer), and each of the schemes has its respective advantages and works well in different scenarios in accordance with embodiments. A computer 800 in FIG. 8 is programmed and configured to execute the Reductions 1, 2, and 3. One or more software applications 860 are programmed with computer instructions of the respective Reductions 1, 2, and 3, such that processors 810 can execute them. After executing the respective Reductions 1, 2, and/or 3, the output (i.e., the output Hamiltonian) of the respective Reductions 1, 2, and/or 3 is then applied and executed on a quantum computer 900 in FIG. 9 as a Hamiltonian that needs fewer qubits than originally input (i.e., needs fewer qubits that the original Hamiltonian). It should be appreciated that a state-of-the-art quantum computer only has a limited number of qubits, such as, for example 8 qubits, on which to operate. Therefore, a Hamiltonian requiring 10 qubits cannot be simulated/executed on the 8 qubit quantum computer because the quantum hardware is limited to only 8 qubits. Embodiments are configured to perform a reduction (e.g., Reduction 1, 2, and/or 3), such that the reduced Hamiltonian only requires 8 qubits instead of the original 10 qubits, thereby creating the reduced Hamiltonian that can now be simulated/executed on the limited 8 qubits of the quantum computer. Accordingly, embodiments improve the functioning of the quantum computer itself, by providing techniques that require less quantum hardware (fewer qubits). Embodiments improve technology by allowing Hamiltonians to operate on a quantum computer, when the Hamiltonian would have otherwise be too large (i.e., required more qubits (i.e., quantum hardware)) to be applied to the limited resources of the quantum computer. Embodiments allow complex Hamiltonians to be reduced in size in order to be applied to quantum computers. Furthermore, embodiments address and solve a tangible problem that is rooted in technology, which is a quantum computer having a limited number of computational resources (i.e., limited number of qubits) while the Hamiltonian requires more computational resources than available. Without being able to reduce the Hamiltonian to a size that utilizes fewer qubits (quantum hardware), the system represented by the Hamiltonian could not be simulated on the quantum computer.


It is noted that headings and/or subheadings are utilized herein for explanation purposes below and not limitation.


1) Reduction 1: Removal of Parity conserving qubits in the generalized Jordan-Wigner transformation.


A high-level description of Reduction 1 is provided now but a detailed description of the Reduction 1 can be found below. Reduction 1 preserves the locality, i.e., the weight of the Pauli operators in the Hamiltonian after the generalized Jordan-Wigner transformation and eliminates (exactly) two qubits from any Fermionic Hamiltonian that preserves the spin-parity of the electrons, thereby eliminating the need for two qubits in the quantum computer. This in particular applies to chemical Hamiltonians for the electronic structure problem without spin-orbit coupling. The Reduction 1 works as follows: The Hamiltonian acts on a space of 2M=2k (k=1, 2, . . . ) spin orbitals. Experimenters sort the orbitals so that the first labels 1 to M all correspond to spin up, while the remaining labels M+1 to 2M correspond to spin down. One can now express the parity operators P1 for the first M spin-down orbitals and P2 for the remaining M spin-up orbitals. By transforming the Fermionic mode operators into spin degrees of freedom by means of the generalized Jordan-Wigner transformation, one can show that the first parity operator P1 acts as a simple Pauli Z-matrix on qubit M, i.e., P1=ZM, while the second operator P2 is a simple product of two Pauli Z matrices at sites M and 2M, i.e., P2=ZM Z2M. Since experimenters have assumed spin parity preservation in every term of the Hamiltonian both P1 and P2 commute with every term in the transformed Hamiltonian. This implies that the Pauli operator on this site (e.g., sites M and/or 2M) can only be the identity matrix or the Pauli Z-matrix in each term, since these are the only possible operators that commute with P1 and P2 at these positions. The structure of every term in the Hamiltonian is now simpler since the action of these qubits in the simulation is known beforehand (i.e., predefined). Hence, since experimenters know the spin parity of the electrons beforehand, the experimenters can remove these two qubits and replace the terms with the eigenvalues (+/−1) depending on the parity. The two qubits only encoded the value of the spin parity in the simulation, which is information that is known before (i.e., predefined) the experimenters begin the simulation. The removal of the qubits means the need for fewer qubits in the quantum hardware, and as a consequence, this amounts to a direct removal of redundant information.



FIG. 1 is a flow chart 100 of Reduction 1 according to one or more embodiments. The techniques of Reduction 1 can be executed (as application 860) on computer 800. Given an initial Fermionic Hamiltonian H on 2M modes, compare Eq. (1), the experimenters apply a sequence of transformation 1-3 to transform the Hamiltonian into a qubit Hamiltonian for quantum simulation on 2M−2 qubits. The Reduction 1 is executed on computer 800, while the quantum simulation (via the reduced Hamiltonian, which is the Hamiltonian that requires fewer qubits to be executed) is executed on the quantum hardware of the quantum computer 900.


At block 105, the input (via application 806) on the computer 800 is a 2M Fermionic spin-orbit Hamiltonian H (Eq. (1)). This is a Fermionic Hamiltonian H on 2M modes.


At block 110, the computer 800 is configured to transform from Hamiltonian H to Hamiltonian H′ (H→H′) by sorting the spin orbitals and labeling 1 . . . M as spin-up orbitals and labeling M+1 . . . 2M as spin-down orbitals. This is sorting 2-M Fermionic Modes, and results in the Hamiltonian H′ at block 115.


At block 120, the computer 800 is configured to transform Hamiltonian H′ to Hq (H′→Hq) by applying the generalized Jordan-Wigner (Bravyi-Kitaev) transformation to obtain 2M qubit Hamiltonian Hq (at block 125). Reference can be made to “The Bravyi-Kitaev transformation for quantum computation of electronic structure” by Jacob T Seeley, Martin J Richard, and Peter J Love, in The Journal of Chemical Physics, 137(22):224109, 2012, which is herein incorporated by reference.


At block 130, the computer 800 is configured to transform Hamiltonian Hq to Hq,−2 (Hq→Hq,−2) by removing a qubit with label M and removing a qubit with label 2M in every term of the Hamiltonian Hq, and after the removing operations, then multiplying the term with the appropriate eigenvalue +/−1. The appropriate eigenvalue +/−1 is known because the eigenvalue only encodes the value of the spin parity which is data that is available before (predefined) the experimenters start the simulation. At block 135, the output is a 2M−2 qubit Hamiltonian Hq,−2 (See Eq. (6) below), which is applied to the quantum computer 900.


2) Reduction 2: Algorithmic reduction of qubit degrees of freedom by the construction of non-local commuting Pauli matrices.


A high-level description of Reduction 2 is provided now but a detailed description of the Reduction 2 can be found below. Reduction 2 can increase the locality of the Pauli operators of the transformed Hamiltonian. However, Reduction 2 leaves the total number of summands in the Hamiltonian invariant. The qubit Hamiltonian is written as a sum of Pauli matrices. The reduction does not change the form of the sum and does not introduce new terms one needs to sum over after the transformation. However, it does change the form of the individual terms and maps the Pauli operators to Pauli operators that each on its own is now acting on more qubits jointly. Reduction 2 can be applied to all the considered Fermion to qubit transformations, in particular to the generalized Jordan-Wigner transformation as well as to the standard Jordan-Wigner transformation. The Reduction 2 works as follows: It is a well-known fact that the N-qubit Pauli group is isomorphic to the direct group product of 2N+2 copies of integers modulo two. (In mathematics, an isomorphism is a homomorphism or morphism (i.e., a mathematical mapping) that admits an inverse.) This isomorphism can be used to encode every Pauli into a 2N bit string, dropping the phase dependence and thus dropping 2 bits.


After the mapping of Fermionic mode operators to Pauli matrices has been performed, it is possible to arrange the representations into a binary matrix. From this, a dual parity check matrix can be constructed by exchanging blocks and transposition as explained in the detailed Reduction 2. The kernel of this parity check matrix over the finite field of bits corresponds to bit strings which encode Pauli matrices that commute with every term in the Hamiltonian (two elements commute when changing the order of the operands does not change the result). It is noted that the kernel is the null space of this matrix, and the kernel is a set that is formed of all the factors that get mapped to zero by the matrix. The kernel can be determined by simple Gaussian elimination, which is an efficient reduction and scales polynomially in the number of modes and terms in the Hamiltonian. Once the kernel is determined, one can easily construct a Clifford group element for every linearly independent bit string in the kernel so that the corresponding non-local Pauli operator is mapped onto a single qubit Pauli matrix. This Clifford group element is defined in the detailed Reduction 2. This single qubit Pauli operator (i.e., non-local Pauli operator) now commutes by construction with all terms in the Hamiltonian, and hence the experimenters are in the scenario of Reduction 1 again. This qubit can now be removed and the removed qubit can be replaced by a corresponding (+/−1) eigenvalue, which however unlike in Reduction 1 needs to be determined by simulation. In Reduction 1 the value could be computed before the experimenters start the simulation by counting the particles in each spin orbital. In the present Reduction 2, where experimenters can also discover symmetries that are not known beforehand, this number is determined after the simulation is complete so that the total energy becomes minimal.



FIGS. 2A and 2B depict a flow chart 200 of Reduction 2 according to one or more embodiments. The techniques of Reduction 2 can be executed (as application 860) on computer 800. Given an initial Fermionic Hamiltonian H on 2M modes (compare Eq. (1) herein), the experimenters apply a sequence of transformations 1, 2, and 3 to transform the Hamiltonian into a qubit Hamiltonian for quantum simulation on 2M−k qubits, where k is determined by the present Z2 symmetries. As noted above, the Reduction 2 is executed on computer 800, while the quantum simulation (via the reduced Hamiltonian, which is the output Hamiltonian that requires fewer qubits to be executed) is executed on the quantum hardware of the quantum computer 900.


At block 205, the input (via application 806) on the computer 800 is a 2M Fermionic spin-orbit Hamiltonian H (See Eq. (1) herein). This means a Fermionic Hamiltonian H on 2M modes.


At block 210, the computer 800 is configured to transform from Hamiltonian H to Hq (H→Hq) by applying the standard Jordan-Wigner or generalized Jordan-Wigner transformation to obtain 2M qubit Hamiltonian (at block 215). This is a mapping of fermions to qubits. Although the standard Jordan-Wigner and/or generalized Jordan-Wigner (Bravyi-Kitaev) transformation are discussed, it should be appreciated that other mapping techniques can be utilized such as, e.g., working in the parity basis or any other binary basis.


Branching from block 215, the computer 800 is configured to encode the Pauli operators in Hq into a F2 parity check matrix E at block 220 and determine the largest commuting set of Pauli operators {gj} in the kernel of E (at block 225). If k>0 Pauli operators have been found, the flow proceeds to block 225. If no Pauli operators have been found, the computer 800 is configured to abort this reduction scheme at block 221. The Pauli operators {gj} are the symmetry operators of the terms in the Hamiltonian and are used to construct a set of operators to remove the redundant qubits. If no symmetries can be found, i.e., k=0, the scheme cannot remove further qubits from the Hamiltonian.


At block 230, the computer 800 is configured to construct Clifford maps for every commuting Pauli vector {gj}, where j=1 . . . k labeled Cj and apply the Clifford transformations to Hq to obtain Hq′ mapping gj to single qubit Paulis on sites m1 . . . mk at block 235.


At block 235, the computer 800 is configured to transform from Hamiltonian Hq to Hq′ (Hq→Hq′) by finding the Z2 symmetries in the Hamiltonian and by constructing a Clifford transformation. Z2 symmetries refer to symmetries in the Hamiltonian.


The result of block 235 is 2M qubit Hamilton Hq′ at block 240.


At block 245, the computer 800 is configured to transform from Hamiltonian Hq′ to Hq,−k′ (Hq′→Hq,−k′) by removing qubits with labels m1 . . . mk in every term of the Hamiltonian Hq′ and by multiplying the term with the appropriate eigenvalue +/−1.


At block 250, the output is a 2M−k qubit Hamiltonian Hq,−k (See Eq. (10) herein), which is applied to the quantum computer 900.


3) Reduction 3: compressed Jordan-Wigner transformation for fermionic Hamiltonians preserving the particle number.


A high-level description of Reduction 3 is provided now but a detailed description of the Reduction 3 can be found below. Reduction 3 maps a local fermionic operator preserving the number of particles to a non-local qubit operator that can be represented as a product of a local Pauli and a non-local diagonal operator. The Reduction 3 is applied separately to each term in the Hamiltonian. Assuming that the fermionic system to be simulated consists of M orbitals occupied by N electrons, the transformed Hamiltonian describes a system of Q qubits, where Q<M is a certain function of M and N. The experimenters provide a table (Table 1 in FIG. 4) of values for the function Q(M,N), for small values of M and N, as well asymptotic upper bounds on Q in the detailed Reduction 2. In particular, experimenters show that the Reduction 3 allows one to accomplish the simulation (on the quantum computer 900) with less than M−2 qubits. The Reduction 3 works by composing the standard Jordan-Wigner transformation and a linear injective compression map that sends M-bit strings with the Hamming weight N to Q-bit strings. Experimenters utilize a practical algorithm for computing the inverse of the compression map. The transformed Hamiltonian has the locality properties stated above that the binary matrix describing the compression map is a parity check matrix of a Low Density Parity Check (LDPC) code encoding M−Q bits into M bits with the minimum distance 2N+1. The transformed Hamiltonian thus has known constructions of LDPC codes with a constant encoding rate and a constant relative distance yield compressed Jordan-Winger transformations with constant fractions Q/M and N/M. Finally, experimenters show how to use the transformed Hamiltonian in quantum simulations algorithms based on the variational approach where a quantum computer (e.g., quantum computer 900) is used to measure the energy of a given Q-qubit variational state.



FIGS. 3A and 3B depict a flow chart 300 of Reduction 3 according to one or more embodiments. The techniques of Reduction 3 can be executed (as application 860) on computer 800. As noted above, the Reduction 3 is executed on computer 800, while the quantum simulation (via the reduced Hamiltonian, which is the Hamiltonian that requires fewer qubits to be executed) is executed/simulated on the quantum hardware of the quantum computer 900.



FIG. 3A depicts the Hamiltonian compression (part 1) according to one or more embodiments. In FIG. 3A, at block 305, the computer 800 is configured to receive (via application 806) an input of an initial M Fermionic spin-orbit Hamiltonian H (See Eq. (11) herein) with N occupying Fermions. This is Hamiltonian H with M modes and a total of N Fermions.


At block 310, the computer 800 is configured to transform the Hamiltonian H to Hq (H→Hq) by applying the standard Jordan-Wigner to H to obtain an M-qubit Hamiltonian Hq, thereby resulting in Hq M qubit spin Hamiltonian with N Fermions at block 315.


At block 320, the computer 800 is configured to apply isometry U to the Hamiltonian, which stems from LDPC compression in Eq. (16). As a result of the LDPC compression, the computer 800 is configured to output a Q(M,N) qubit Hamiltonian H from Eq. (13) herein at block 325. For example, at block 325, the computer 800 can read the value for Q(M,N) from Table 1 (e.g., stored in and/or accessed by computer 800) in FIG. 4, with asymptotic scaling as in Eq. (12), thereby resulting in the compressed Hamiltonian {tilde over (H)} that is utilized in FIG. 3B. In this case, the compressed Hamiltonian {tilde over (H)} ( ) is utilized for simulation on the quantum computer 900, using a scheme discussed in FIG. 3B.



FIG. 3B depicts the compressed measurement scheme (part 2) according to one or more embodiments. The measurement scheme of (block 340) is performed on a quantum computer 900 to obtain the measurement values as part of the simulation. The computer 800 is used to add the obtained values to the final result. Unlike FIGS. 1, 2A, 2B, 3A, FIG. 3B is performing the simulation on the quantum computer 900.


In FIG. 3B, at block 330, the computer 800 is configured to receive input of the compressed Hamiltonian {tilde over (H)}=Σj=1rhjDjPj, with j=1 . . . r terms. The computer 800 sets j=0 and custom characterHcustom character=0. The experimenters define <H> as the expectation value that is needed to compute from the measurement data. This value is initially set to zero and computed as part of the scheme.


At block 335, the computer 800 is configured to set j=j+1, and choose Hamiltonian term DjPj.


The quantum computer 900 is configured to the measure expectation value in Eq. (14) (herein) at block 340, and return custom characterDjPjcustom character to then be applied to the computer 800. A classical computer 800 provides input data for the quantum computer 900 to perform the simulation. The quantum computer 900 samples the measurement results to estimate the expectation value custom characterDjPjcustom character. The measurement scheme to obtain the expectation value is explained below in the detailed Reductions 3. This output measurement data performed on the quantum computer 900 (at block 340) is fed back to the computer 800 at block 345.


At block 345, the computer 800 is configured to add to custom characterHcustom character where custom character{tilde over (H)}custom character=custom character{tilde over (H)}custom characterj−1+hjcustom characterDjPjcustom character.


At block 350, the computer 800 is configured to check if j<r. If yes, j<r the process proceeds back to block 335. If no, the computer 800 is configured to proceed with else j=r and output estimate custom characterHcustom character at block 355. The output is the energy estimate custom characterHcustom character of the Hamiltonian {tilde over (H)}.


It should be appreciated that a high-level discussion of Reductions 1, 2, and 3 have been discussed above, and further details of the Reductions are discussed below. First, further details are Reduction 1 are discussed.


Detailed Reduction 1


The experimenters now consider the removal of two qubits in molecular Hamiltonians that preserve spin-parity after a generalized Jordan-Wigner transformation. Reference can be made to “Fermionic quantum computation” by S. Bravyi and A. Kitaev., in Ann. of Phys., 298(1): 210-226, 2002, which is herein incorporated by reference.


The molecular orbitals of the addressed molecular Hamiltonian are considered in second quantization. Now, consider the most general non-relativistic Fermionic Hamiltonian, which can be written as










H
=





σ
=

{



,



}








α
,

β
=
1


M








h
αβ







a
ασ




a
βσ




+


1
2






σ
,

ρ
=

{



,



}









α
,
β
,
γ
,

μ
=
1


M








U
αβγμ







a
ασ




a
βρ




a
γσ



a
μρ







,




Eq
.





(
1
)









with hα,β,Uαβγμcustom character being the one and two-electron Fermionic integrals which obey the correct symmetries for a valid molecular Hamiltonian, with the underlying anti commutation rules for the Fermionic modes {a ασ,aβρ}=δα,βδσ,ρ and {aα,σ,aβρ}={aασ,aβρ}=0. Each molecular orbital α here is two-fold spin degenerate, with σ={↑,↓} labelling the spin state, so that the Hamiltonian in Eq. (1) preserves the total number of spins. The Preservation of spin parity corresponds to the fact that the operators










p


=





α
=
1

M








(

1
-

2


a

α






a

α





)






and






p




=




α
=

M
+
1



2

M








(

1
-

2


a

α






a

α





)







Eq
.





(
2
)









are symmetries of the Hamiltonian, [p↑↓,H]=0. To simulate H on a quantum computer (e.g., quantum computer 900) the experimenters employ the generalized Jordan-Wigner transformation. The transformation maps the fermionic operators aασ,aασ to a low-order linear combination of Pauli matrices in custom character2M=custom characteri1,X1,Z1, . . . ,X2M,Z2Mcustom character, where Xi, Zi acts as a single qubit Pauli-X and Pauli-Z matrix on the i-th qubit, for a total of 2M qubits. In its original formulation this transformation requires that the total number of modes 2M is a power of two, i.e., 2M=2k for k=1, 2, . . . . The experimenters make this assumption from now on. This generalized Jordan-Wigner mapping can be stated as

ai→½(XU(i)⊗Xi⊗ZP(i)−iXU(i)⊗Yi⊗Zρ(i))
ai→½(XU(i)⊗Xi⊗ZP(i)+iXU(i)⊗Yi⊗Zρ(i)),  Eq. (3)

where the experimenters have chosen the ordering of the 2M Fermionic modes such that (ai,ai)≡(aα↑, aα≡) for i∈{1,M} and {ai,ai}≡(aα↑,aα↓) for i∈{M+1,2M}. For a definition of the update, parity, and remainder subsets of qubits U(i), P(i) and ρ(i) see “The Bravyi-Kitaev transformation for quantum computation of electronic structure”. This transformation maps the Hamiltonian H to a sum of Hermitian Pauli vectors, so that the experimenters can write H in terms of qubit degrees of freedom as











H
q

=



A




h
A







σ
A




,




Eq
.





(
4
)









where σAcustom character2M, and hA∈R can be computed as a linear combination from the Hamiltonian coefficients hα,β, Uαβγμ. One can verify, that the symmetry operators p↑↓, will transform, accordingly to Eq. (3), to

p=ZM and p=Z2MZM.  Eq. (5)


Since the experimenters have that [p↑↓, H]=0 and p=ZM as well as pp=Z2M are single qubit operators, they commute with every term in the Hamiltonian so that [p↑↓A]=0 for all A. Note the fact that these operators are single qubit operators strongly depends on the fact that 2M is a power of two. In some cases, however, it is possible to implement a version of the generalized Jordan-Wigner transformation for mode numbers that do not satisfy this criterion any longer. In this case the Pauli representation of p↓↑ will become delocalized and contain higher weight Pauli operators. In this case, however, a Clifford transformation can be found which can map these symmetries to local Pauli's again, as will be explained in the section below for Reduction 2. Returning to Reduction 1, since the final Pauli operator encoding this symmetry is in either case a single qubit Pauli, the experimenters can replace these operators by their eigenvalues, which only depend on the number N of electrons in spin-up ↑ and spin-down ↓ orbitals. The experimenters know this number in the case of molecular Hamiltonians without spin coupling, where the number of total spin degrees of freedom in the ↓,↑ state is a symmetry of Hq. The eigenvalue for p,pis ±1, and can be therefore evaluated and stated in each Pauli operator as (−1)φM,2MA, so that one can reduce the 2M qubit Hamiltonian to Hq,−2 on 2M−2 qubits










H

q
,

-
2



=



A





(

-
1

)


φ

M
,

2

M


A




h
A




σ

A

\


{

M
,

2

M


}



.







Eq
.





(
6
)








Here σA\{M,2M} means that the qubits M, 2M are removed from σA. As should be appreciated, Eq. (6) is the end result of block 135 in Reduction 1.


Now, turning to Reduction 2, a high-level discussion of Reduction 2 was provided above, and now further details of Reduction 2 are provided below.


Detailed Reduction 2


This reduction scheme can be seen as a generalization of the scheme Reduction 1. Reduction 2 can be applied to either the standard or the generalized Jordan Wigner transformation. Reference to the standard Jordan-Wigner transformation can be found in “Über das Paulische Äguivalenzverbot” by E. Wigner and P. Jordan, in Z. Phys, 47:631, 1928, which is incorporated by reference. Although this publication is only available in German, the English translation is “About the Pauli exclusion principle” by Eugene P. Wigner and P. Jordan, in Z. Phys 47.631 (1928): 14-75. It is assumed that there is a fermionic Hamiltonian with M modes so that the experimenters can map it by the aforementioned transformations to











H
q

=



A




h
A







σ
A




,




Eq
.





(
7
)









where again hA∈R and σAcustom characterM. The experimenters now look for k Hermitian commuting Pauli operators g1, . . . , gkcustom characterM that constitute a subset symmetries of the Hamiltonian Hq so that [gjA]=0,∀A,j and [gi,gj]=0,∀i,j. If some symmetries gj are found, the experimenters construct for each of them (gj) a Clifford transformation custom characterj that maps gj to a single qubit Pauli matrix at site j. Then, for every gj the experimenters search for a single qubit Pauli matrix acting on site mj as σmj∈{Xmj,Ymj,Zmj} so that {gj, σmj}=0 and [gjmi]=0, ∀i≠j


For every pair (gjmj) the experimenters define the Clifford operation custom characterj as











𝒞
j

=


1

2




(


σ

m
j


+

g
j


)



,


with






𝒞
j



=

𝒞
j


,


𝒞
j
2

=
1

,


so





that






𝒞
j



g
j



𝒞
j


=


σ

m
j


.






Eq
.





(
8
)








The experimenters can now map the Hamiltonian H to











H


=



𝒞
1













𝒞
k


H






𝒞
k













𝒞
1


=




A






h

A









σ

A







,




Eq
.





(
9
)









which now has the single qubit Pauli operators σm1, . . . , σmk as symmetries. By the same argument as in Reduction 1, the qubits supported on σm1, . . . , σmk can be removed from Hq and be replaced by their eigenvalues (±1). Hence, the Hamiltonian originally defined to act on M qubits can now be represented on M−k qubits. That is, the experimenters can write










H

q
,

-
k



=




A







(

-
1

)


φ


m
1

,

,

m
k



A






h

A






σ


A



\


{


m
1

,

,

m
k


}



.







Eq
.





(
10
)









This Reduction 2 scheme encompasses Reduction 1 as a special case. It can however happen that the Clifford operations custom characterj map the low weight Hamiltonian obtained from the generalized Jordan-Wigner transformation to a non-local operator, depending on the specific problem of interest. It should be recognized that the 2M−K qubit Hamiltonian in block 250 is defined as in Hq,−k in Eq. 10.


The operators gj can be constructed from the parity check matrix E that is associated with the set of Pauli matrices {σA}{A∈Hq}. A well-known isomorphism custom character2 between custom characterMcustom character22×custom character22M can be used to construct the (2M)×#{A∈Hq} dimensional binary code matrix G=[GZ,GX]. This matrix G=[GZ,GX] is a collection of the encoded bitstrings of all the σA in column space. The kernel over custom character2 of the dual parity check Matrix E=[GXT;GZT] is then spanned by the commuting Pauli operators {gj}j=1, . . . , k.


Last, a high-level discussion of Reduction 3 was provided above, and no further details of Reduction 3 are provided below.


Detailed Reduction 3


This reduction applies to general fermionic Hamiltonians preserving the total number of particles. Let M and N be the number of fermionic modes and the number of particles (occupied modes), respectively. The experimenters consider the N-particle sector of the Fock space spanned by basis states |x1, x2, . . . , xMcustom character, where xα=0,1 is the occupation number of the mode α and Σα=1Mxα=N. Note that M now denotes the total number of modes (including the spin). Our goal is to simulate a fermionic Hamiltonian









H
=




j
=
1

r




h
j



V
j







Eq
.





(
11
)








where each term Vj has a form aαaβ+aβaα or aαaβaγaδ+aδaγaβaα for some 1≤α≤β≤γ≤δ≤M, and hj are real coefficients. Without loss of generality N≤M/2. Otherwise, perform a transformation aα↔aα as for all α that exchanges particles and holes. Here, the experimenters describe a Compressed Jordan-Wigner transformation that maps H to a new Hamiltonian {tilde over (H)} describing a system of Q<M qubits, where Q=Q(M,N) is a certain function of M and N. The ground state energy of {tilde over (H)} coincides with the ground state energy of H restricted to the N-particle sector. FIG. 4 shows the values of Q(M,N) computed numerically for small M and N. FIG. 4 is Table 1 that represents a compressed Jordan-Wigner transformation. Table 1 shows that Fermi system with M modes and N particles can be simulated on a quantum computer with Q+1 qubits, where Q=Q(M,N). It should be recall that Q denotes the number of qubits needed to represent the Hamiltonian after the compression. While M denoted the original number of fermionic modes that can be occupied by or in a total of N Fermions. Table 1 shows the values of Q(M,N) for a set of pairs N in the left column and M in the top row.


The experimenters also derive an asymptotic upper bound on Q(M,N) in the case when M, N go to infinity such that the filling fraction ν=N/M stays constant. Namely, the experimenters show that for any constant 0<ν<¼ one has

Q≤M exp [h(2ν)/3ν−1],  Eq. (12)


where h(x)=−x log (x)−(1−x) log (1−x) is the Shannon entropy function (here the experimenters use the natural logarithms). The qubits-to-modes ratio Q/M is shown as a function of the filling fraction ν on FIG. 5. FIG. 5 depicts a graph of a compressed Jordan-Wigner transformation that has an upper bound on the qubit-to-modes ratio Q/M from Eq. (12) as a function of the filling fraction ν=N/M in the limit M, N→∞. As one can see, Q/M<1 whenever ν is below a threshold value ν0≈0.057. The experimenters do not expect that the bound in Eq. (12) is tight. With specialization to quantum chemistry Hamiltonians, the number of qubits required for the simulation is Q (M,N)+Q (M,N), where M is the number of spatial orbitals (i.e., half the number of modes) and N↑↓ is the number of electrons with spin up and spin down. To describe the new Hamiltonian {tilde over (H)}, the experimenters introduce more notations. For each term Vj let vj=0, 1, 2 be the maximum number of particles that can be moved by Vj. In other words, all diagonal operators have vj=0, hopping and the controlled hopping operators have vj=1, while double hopping operators have vj=2. Then










H
~

=




j
=
1

r




h
j



D
j



P
j







Eq
.





(
13
)









for some hermitian operators Dj, Pj with the following properties:


(1) Dj is a diagonal operator with matrix elements 0, ±1.


(2) Pj is an X-type Pauli operator of weight at most 6vj.


(3) PjDj=DjPj.


The coefficients hj in Eq. (13) are the same as in Eq. (11). Assume the goal is to estimate the ground state energy of {tilde over (H)}. Experimenters consider a variational approach where the quantum computer 900 is used to measure the energy <ψ|{tilde over (H)}|ψ> of some fixed Q-qubit state ψ that can be prepared on the available quantum hardware (i.e., quantum computer). (As an example variational approach, reference can be made to “Towards practical quantum variational algorithms” by D. Wecker, M. B. Hastings, and M. Troyer, in arXivpreprint arXiv:1507.08969, 2015, which is incorporated by reference.) The energy <ψ|{tilde over (H)}|ψ> is then minimized over some class of variational states ψ using a suitable classical optimization algorithm. By linearity, it suffices to measure the energy <ψ|DjPj|ψ> separately for each j (i.e., for every term in the Hamiltonian). Consider some fixed term DjPj and relabel the qubits such that Pj acts on the first w qubits, where w≤6vj. Then Pj=X1X2 . . . Xw. As further details of the block 340 performed on the quantum computer 900 as discussed above, the experimenters introduce one ancillary qubit A initialized in the |+custom character state. Using the quantum computer 900, the experimenters apply the CNOT gate with the control qubit A and the target qubit j for each j=1, . . . , w. The CNOT gate is a two qubit unitary operation, called controlled not gate, that applies a not on the target qubit if the source qubit is one. Next, experimenters measure qubit A in the X-basis. Let σ=±1 be the measurement outcome. Note that σ coincides with the eigenvalue off Pj since the CNOTs propagate a single-qubit X on the qubit A to a product of X's on qubits 1, . . . , w. Second, one measures all qubits 1, . . . , Q in the Z-basis. The outcome of this measurement is a bit string x∈{0,1}Q. Since Dj and Pj commute, one gets

custom characterψ|DjPjcustom character=custom character[σ·custom characterx|Dj|xcustom character],  Eq. (14)

where the expectation value is taken over the measurements statistics of x and σ. Overall, the compressed measurement scheme in FIG. 3B requires Q+1 qubits. The Q qubits are needed for preparing the variational states ψ, by a quantum computation, and the extra qubit is used to apply a constant number of CNOT gates to obtain the measurement outcome on the quantum computer 900.


The new Hamiltonian is defined as {tilde over (H)}=UHU, where U is an isometry (a unitary embedding) that maps the N-particle sector of the M-mode Fock space to the Hilbert space of Q qubits. Experimenters set













U





x
1

,





,


x
M

>=






s
1


,





,


s
Q

>

,





s
i

=




j
=
1

M




A

i
,
j




x
j








(

mod











2

)

,







Eq
.





(
15
)









where A is a binary matrix of size Q×M to be chosen later. Here si=0, 1 and |s1, . . . , sQcustom character is a basis state of Q qubits. Let W(M,N) be the set of all M-bit strings with the Hamming weight N:

W(M,N)={x∈{0,1}M:|x|=N}.


Below, the experimenters use shorthand notations U|xcustom character>=|scustom character and s=Ax, where x∈W(M,N). In order for U to be an isometry, the matrix A must map different vectors x∈W(M,N) to different Q-bit vectors s. In other words, one needs the following injectivity condition:

if Ax=Ay for some x,y∈W(M,N) then x=y.  Eq. (16)


One can easily check that Eq. (16) is equivalent to

ker(A)∩W(M,2K)=Ø for all 1≤K≤N.  Eq. (17)


Here ker (A) is the kernel of A, i.e., the set of M-bit vectors x such that Ax=0. Let us say that a matrix A is N-injective if it satisfies Eq. (16) or Eq. (17). The N-injectivity condition is satisfied whenever A is a parity check matrix describing a binary linear code that encodes M−Q bits into M bits with the minimum distance 2N+1. Indeed, in this case all errors of weight up to N must have different syndromes and thus a syndrome s=Ax uniquely identifies a weight-N error x.


To compute {tilde over (H)}, one needs an explicit formula for U. Define a set Ω=A·W(M,N). In other words, s∈Ω iff s=Ax for some x∈W(M,N). Let χ(s) be the indicator function of Ω, that is, χ(s)=1 if s∈Ω and χ(s)=0 otherwise. Let f:Ω→W(M,N) be a “decoding” map such that

f(Ax)=x for all x∈W(M,N).


This decoding map is well-defined due to the injectivity condition in Eq. (16). The experimenters arrive at

U|xcustom character=|Axcustom character and U|scustom character=χ(s)|f(s)custom character  Eq. (18)

for all x∈W(M,N) and for all s∈{0,1}Q. (Here f(s) can be defined arbitrarily for s∉Ω.) Let c (A) be the maximum weight of columns of A,










c


(
A
)


=


max

1

j

M







i
=
1

Q




A

i
,
j


.







Eq
.





(
19
)








Consider first a hopping term Vj=aαaβ+aβaα. Without loss of generality, α≤β. Define










Z

(

α
,
β

)


=





α
<
γ
<
β









Z
γ






and








α
,
β




=




10






10



α
,
β



+



01







01



α
,
β


.








Eq
.





(
20
)









The operators Z(α,β) and Πα,β act on the Hilbert space of Q qubits. Let us agree that Z(α,α)=I and Πα,α=|1custom charactercustom character1|α. Using Eq. (18) one can easily check that

UVjU|scustom character=d(s)|s⊕Aα⊕Aβcustom character,  Eq. (21)

where A1, . . . , AM are the columns of A considered as Q-bit strings, ⊕ denotes the bitwise XOR, and

d(s)=χ(s)custom characterf(s)|Z(α,β)Πα,β|f(s)custom character∈{0,±1}.  Eq. (22)


Experimenters conclude that UVjU=PjDj, where Dj is a diagonal operator such that custom characters|Dj|scustom character=d(s) and Pj applies Pauli X to each qubit in the support of Aα⊕Aβ. The operator Pj has weight at most 2c(A), see Eq. (19). Note that DjPj=PjDj since d(s⊕Aα⊕Aβ)=d(s). The case when Vj is a controlled hopping term, Vj=aγaγ(aαaβ+aβaα), is analogous to the above if one replaces Πα,β by |1custom character1|γΠα,β. Finally consider a double hopping term, Vj=aαaβaγaδ+aδaγaβaα, where α<β<γ<δ. Using Eq. (18) one can easily check that

UVjU|scustom character=d(s)|s⊕Aα⊕Aβ⊕Aγ⊕Aδcustom character,  Eq. (23)
where
d(s)=χ(s)custom characterf(s)|Z(α,β)Z(γ,δ)Παβ,γδ|f(s)custom character  Eq. (24)
and
Παβ,γδ=|11custom character11|α,β|00custom character00|γ,δ+|00custom character00|α,β|11custom character11|γ,δ.


Note that d(s) takes values 0, ±1. Experimenters conclude that UVjU=PjDj, where Dj is a diagonal operator such that custom characters|Dj|scustom character=d(s) and Pj applies Pauli X to each qubit in the support of Aα⊕Aβ⊕Aγ⊕Aδ. The operator Pj has weight at most 4c(A). Thus the new Hamiltonian {tilde over (H)} is of the form as stated above (Recall (1) Dj is a diagonal operator with matrix elements 0, ±1; (2) Pj is an X-type Pauli operator of weight at most 6vj; (3) PjDj=DjPj.)


The operators Pj are X-type Pauli operator of weight

|Pj|≤2vjc(A).  Eq. (25)

Since U is an isometry, non-zero eigenvalues of the Hamiltonians H and {tilde over (H)} are the same. Accordingly, the experimenters can always assume that the ground state energy of H is negative (otherwise replace H by H−λH where λ is a large positive constant). Thus H and {tilde over (H)} have the same ground state energy.


To minimize the number of CNOTs required for the energy measurement the experimenters are to minimize the weight of the operators Pj, i.e., the number of two qubit unitary operations, called controlled not gates, Equivalently, experimenters are to keep the column weight c(A) small, see Eq. (25). Thus the remaining task is to construct N-injective matrices A with a small constant column weight c(A) and the smallest possible number of rows Q. From Eq. (17) one infers that all columns of A must be distinct, which is possible only if c(A)≥2. Suppose first that c(A)=2, that is, each column of A has at most two non-zero elements. Such matrix can be viewed as an incidence matrix of a graph GA with Q vertices and M edges such that Ai,j=1 iff the j-th edge is incident to the i−th vertex. (Columns of A that have weight-1 represent “dangling” edges that have only one end-point.) Using Eq. (17) one can check that A is N-injective if and only if the graph GA has no cycles of length 2, 4, . . . , 2N (recall that a subset of edges C is called a cycle if any vertex has even number of incident edges from C). This condition however is too stringent. Indeed, the average vertex degree of the graph GA is d≥2M/Q. To achieve a constant qubits-to-modes ratio Q/M<1, experimenters utilize a family of graphs with the average vertex degree d>2. Using the Moore's bound [6] one can easily show that the number of vertices in such graph GA must be exponential in N. In other words, a constant qubits-to-modes ratio Q/M<1 can only be achieved if N=O(log (M)), which has limited practical interest.


Below experimenters focus on the next simplest case, namely c(A)=3. This yields |Pj|≤6vj due to Eq. (25). Infinite families of N-injective matrices A with constant ratios Q/M<1, N/M>0, and c(A)=3 can be constructed from Low Density Parity Check (LDPC) codes with a constant encoding rate and a linear distance. (As an example of LDPC codes, reference can be made to “Low-density parity-check codes” by R. Gallager, in Information Theory, IRE Transactions on, 8(1):21-28, 1962, which is incorporated by reference) Although a low density parity check code is utilized in this example, it should be appreciated that other compression codes can be utilized as understood by one skilled in the art. Specifically, experimenters assert that for any constant 0<ν<¼, for all (predefined) large enough M, and all N<νM there exists an N-injective matrix A with c(A)=3 and size Q×M, where Q satisfies Eq. (12). Indeed, consider some fixed pair Q,M and let A be a random binary matrix of size Q×M such that each column of A is drawn from the uniform distribution on W(Q,3). All columns of A are independent. By the union bound, the probability that A fails to be N-injective can be upper bounded as











P
fail






K
=
1

N




(



M





2

K




)



P


(

Q
,

2

K


)





,




Eq
.





(
26
)









where P(Q,2K) is the probability that a sum of 2K independent vectors drawn from the uniform distribution on W(Q,3) equals zero modulo two. Indeed, Eq. (17) implies that A is N-injective unless Ax=0 for some x∈W(M,2K) with 1≤K≤N. Thus the sum of columns of A in the support of x equals zero. The union bound then implies Eq. (26). Using Lemma 3.1 of “Rank deficiency in sparse random GF(2) matrices” by R. Darling, M. Penrose, A. Wade, and S. Zabell, in Electron. J. Probab, 19(83):1-36, 2014, which is incorporated by reference, one gets











P


(

Q
,

2

K


)


=


2

-
Q







j
=
0

Q




(



Q




j



)




(


2


p
j


-
1

)


2

K






,




Eq
.





(
27
)






with











p
j

=




(



Q




j



)


-
1




[


(




Q
-
3





j



)

+

3


(




Q
-
3






j
-
2




)



]


.













Here it is understood that







(



n




k



)

=
0





unless 0≤k≤n. Using the Stirling's formula one can get a bound










P


(

Q
,

2

K


)





(


6

K

eQ

)


3

K





(


6

N

eQ

)


3

K





η

3

K


.





Eq
.





(
28
)








Here e≡exp (1). Substituting Eq. (28) into Eq. (27) yields











P
fail






K
=
1

N




(



M





2

K




)



η

3

K









K
=
1

vM



exp


[


Mh


(

2

K


/


M

)


+

3

K






log


(
η
)




]




,




Eq
.





(
29
)









where h(x) is the Shannon entropy function. It follows that Pfail<1 whenever h(2ν)+3ν log (η)<0, which is equivalent to Eq. (12). Since Pfail<1, there must exist at least one N-injective matrix A with c(A)=3 and Q rows, where Q satisfies Eq. (12).


It is pointed out that choosing the constant c(A) large enough one can get arbitrarily close to the Gilbert-Varshamov bound, namely, Q≤M(h2(2N/M)+ε), where








h
2



(
x
)


=



-
x







log
2



(
x
)


-


(

1
-
x

)








log
2



(

1
-
x

)









is the binary Shannon entropy function and ε>0 can be made arbitrarily small by choosing large enough c(A). This assertion follows from the existence of (predefined) good LDPC codes, see for instance Theorem A.3 of “Low-density parity-check codes”.


The values of Q(M,N) shown in the table in FIG. 4 were obtained by numerically searching for N-injective matrices A with c(A)=3 and the smallest possible Q. Specifically, experimenters maximized an objective function F (A) defined as the number of distinct elements in the set A·W(M,N). Note that A is N-injective iff all elements of the set A·W(M,N) are distinct, that is,







F


(
A
)


=


(



M




N



)

.






The function F (A) was maximized over the set of all binary matrices satisfying c(A)=3 using a version of simulated annealing algorithm.


Finally, experimenters show how to compute the decoding map f(s). Suppose A is a fixed N-injective matrix of size Q×M. Given a string s∈{0,1}Q, one has to find x∈W(M,N) such that s=Ax or decide that no such string x exist, that is, s∉A·W(M,N). One is to decompose N=N1+N2, where N1,2=N/2 for even N and N1,2=(N±1)/2 for odd N. For each i=1, 2 let Ti be a lookup table that stores syndromes t=Au for each u∈W(M,Ni). The entries of Ti are sorted in the lexicographic order. Let Ui be a lookup table that maps each entry t∈Ti to a string u∈W(M, Ni) such that t=Au. Note that u as above is unique since A is Ni-injective due to Eq. (17). The tables Ti, Ui can be computed by the computer 800 before the quantum simulation (on quantum computer 900), since they depend only on A. Suppose first that s=Ax for some x∈W(M,N). Consider any decomposition x=u1⊕u2 with ui∈W(M,Ni) and let ti=Aui. Then, the tables T1 and T2 must contain entries t1 and t1⊕s respectively. For each t1∈T1 one is to check whether T2 contains t2=t1⊕s. This can be done in time O(|T1| log|T2|) using the binary search since the table T2 is sorted. Suppose one has found t1, t2 as above, the use the tables Ui to find ui such that ti=Aui. Then A(u1⊕u2)=s and |u1⊕u2|=N−2|u1∩u2|≤N. It follows that A(x⊕u1 ⊕u2)=0 and x⊕u1 ⊕u2 has even weight between 2 and 2N. From Eq. (17) one infers that x=u1 ⊕u2 and is done. In the remaining case, if a pair t1,t2 as above is not found, one can infer that Ax=s has no solutions with x∈W(M,N). The above algorithm is practical for medium size systems, say, e.g., M≤50 as one example but not limited to this example. Indeed, since M≤N/2, the tables Ti, Ui have size at most







(



M





M


/


4




)



4
×

10
11







for M=50. In general, computing the decoding map f(s) can appear to be a difficult computational problem so two examples are provided below for explanation purposes and not limitation.


Reduction 3: Example 1

Experimenters consider the simplest example of this reduction. Experimenters consider a single electron N=1 with eight orbitals M=8 as indicated in the left upper corner of Table 1 in FIG. 4. Following the Reduction 3 of this section, these 8 states (i.e., M=8) on C28 can be compressed to 8 states on 3 qubits, i.e., C23, as indicated in Table 1 of FIG. 4. This follows from applying the compression matrix A in Eq. (30) below to compress the 8 states to 3 qubits This case has the advantage of being particularly easy to work through, although it can appear a bit misleading since experimenters only construct a binary encoding of the single particle states in the 8 modes as the compression. In general, as explained above this is not the case and the result heavily relies on LDPC codes to ensure a low weight and efficiency. Now the experimenters continued proceeding through this compression in detail.


So experimenters consider the compression of the bit strings in W(8,1) on to Q(8,1)-qubits. This is done by applying to every x∈W(8,1) a parity check matrix A∈M3×8(F2) to obtain the set Ω. The relevant basis states for, this example, are just the 8 single particle states encoded in second quantization by the bit strings in W(8,1) are







{





(
10000000




)

,

(
01000000




)

,

(
00100000




)

,

(
00010000




)

,









(
000010000




)

,








(
00000100




)

,

(
00000010




)

,

(
00000001




)







}




.






The simplest matrix A for this code is simply given by the binary encoding of the position of the particle counting from 0, . . . , 7 in the 8-bit strings above, so that one writes









A
=

(



0


1


0


1


0


1


0


1




0


0


1


1


0


0


1


1




0


0


0


0


1


1


1


1



)





Eq
.





(
30
)









From this, the experimenters can immediately read off the set Ω, which is given by the binary column vectors of A. The binary column vectors are the columns of A with entries 0, 1 that satisfy binary algebra. For every s∈Ω the decoding map f is defined by computing the decimal representation of the binary number s and choosing the 8-bit string with one in the correct spot. Hence the Isometry U acts for example on x=(00000100) as |101custom character=U|00000100custom character, while all other bit strings that are not in W(8,1) get mapped to zero such as U|10100000custom character=0. The conjugate U is constructed similarly.


With this mapping in place, experimenters can now discuss the terms occurring in the Hamiltonian H=ΣjhjDjPj and a measurement circuit 600 in FIG. 6. To illustrate the way this coding works, experimenters consider a simple quadratic hopping element Vj=a3a5+a5a3, i.e., experimenters consider the hopping of a particle from the 5'th mode into mode number 3 and the conjugate. Recall that the action of UVjU on the states labeled by s∈Ω is UVjU|scustom character=d(s)|s⊕A3⊕A5custom character for different values of s.


For simplicity, the circuit 600 is considered as a quantum computer with qubits (e.g., 4 qubits in this example) and 4 measurement devices (e.g., photon measurement devices) that individually measure the outputs of each qubit. For explanation purposes, the circuit 600 is illustrated as a simple quantum computer for ease of understanding although it should be appreciated that the quantum computer 900 can equally be utilized. The circuit 600 measures the expectation value custom characterψ|Vjcustom character=E[σ·custom characters|Dj|scustom character)], as explained above. Experimenters need Q(M,N)+1 qubits so here there are 4 qubits shown in the circuit 600, but it should be appreciated that more than 4 qubits can be utilized in the circuit 600. First, experimenters are to determine the support of the Pauli X operators in Pj, which is given by the bit values of










A
3

=



(



1




1




0



)






and






A
5


=




(



1




0




1



)






so





that






A
3




A
5


=


(



0




1




1



)

.







Eq
.





(
31
)









Hence, by the convention introduced above, the Pauli-X contribution is given by Pj=X2X3. Accordingly, FIG. 6 is given as an example circuit 600 that measures DjPj and lets experimenters sample E[σ·custom characters|Dj|scustom character)]. FIG. 6 is measurement circuit 600 for the quadratic hopping term Vj=a3a5+a5a3+a3a5 for a single qubit in eight modes with bit representation given by W(8,1) and compressed to Q(8,1)=3 qubits. Every line in the circuit 600 corresponds to a single qubit. The 3 bottom qubits are in the variational state psi ψ, while the top qubit is initialized in the plus (+) state. Then two controlled not operations (CNOT) are applied as indicated by the horizontal lines beginning with a black dot on the control qubit (the top qubit) and terminating on the two bottom qubits as target qubits. Then a Hadamard gate is applied to the top qubit before all qubits are measured in the computational basis. The Hadamard gate is a single qubit gate H performing the unitary transformation known as the Hadamard transform


The measurement outcome of circuit 600 in FIG. 6 is given by four bits (s0*, s1*, s2*, s3*), where the ancilla bit s0 is used to compute σ=(−1)s0 and the remaining three bits (s1, s2, s3)=s determine d(s)=custom characters|Dj|scustom character through the formula d(s)=χ(s)custom characterf(s)|Z(α,β)Πα,β|f(s)custom character, where f(s) is the decoding map. In this case the decoding map is rather simple as explained above.


Experimenters now discuss some possible measurement outcomes of the circuit 600. It can be assumed that the first measurement outcome obtained from the circuit 600 is (s0*, s1*, s2*, s3*)=(0,1,1,0). Experimenters then compute (on computer 800) that σ=1 and that d(1,1,0)=custom character0001000|Z3,5Π3,5|0001000custom character=1, so experimenters can add σ·custom characters|Djcustom characters|=1 to the average. For the second measurement, it is assumed that the experimenters obtain the string (s0*, s1*, s2*, s3*)=(1,1,0,0) from the circuit 600, for which the experimenters can compute (on the computer 800) in the same fashion that σ=−1 but d(1,0,0)=0 since the decoded state |f(1,0,0)custom character=|01000000custom character is annihilated by Π3,5, so that this measurement outcome does not contribute to the expectation value. In general, experimenters proceed to sample from the compressed state U|ψcustom character that is prepared by the circuit 600 (or quantum computer 900) until the expectation value E[σ·custom characters|Dj|scustom character] has been estimated to sufficient statistical accuracy (which can be predefined in advance).


Reduction 3: Example 2

To consider a slightly more involved example, experimenters explicitly describe a reduction from a system of M=14 fermi modes to a system of Q=10 qubits. Experimenters assume that the number of particles is N=3. Consider a graph with 10 vertices and 14 edges shown in a graph in FIG. 7. FIG. 7 is a graph 700 describing a reduction from M=14 fermi modes with N=3 particles to Q=10 qubits. (In the state-of-the-art, 14 qubits would be needed in a quantum computer such as the circuit 600 or the quantum computer 900 because there are 14 fermi modes.) However, embodiments are designed to utilize fewer qubits (e.g., 10 qubits in this case) because of the Reduction 3. A Fock basis vector |x1, . . . , x14custom character is mapped to a qubit state |st, . . . , s10custom character, where si equals the sum (modulo two) of xj over all edges incident to si. The injectivity condition Eq. (17) is satisfied whenever the graph 700 has no cycles of length 2, 4, or 6.


In FIG. 7, each vertex represents a qubit i∈{1, . . . , Q} whereas each edge represents a fermi mode j∈{1, . . . , M}. Experimenters associate syndromes si and fermionic occupation numbers xj with vertices and edges of the graph respectively. Next is to choose the parity check matrix A in Eq. (15) as the incidence matrix of the graph 700. In other words, a syndrome si equals the sum (modulo two) of the variables xj located on edges incident to the vertex i. For example, s1=x1+x2 (mod 2), s2=x2x3x9 (mod 2), etc. Experimenters need to check that A satisfies injectivity condition Eq. (16). As was mentioned above, it suffices to check that the kernel of A contains no vectors of weight 2, 4, or 6, see Eq. (17). A direct inspection shows that the graph 700 shown on FIG. 7 contains no cycles of length 2, 4, or 6 (recall that a subset of edges x is called a cycle if any vertex has even number of incident edges from x). Since A is chosen as the incidence matrix of the graph 700, the equation Ax=0 is equivalent to x being a cycle. Therefore Ax=0 implies |x|≠2, 4, 6 and the injectivity condition Eq. (17) is satisfied. It should be appreciated that this example is very large and therefore the reduction matrix is provided in the simplest terms, i.e., in terms of the graph 700, for ease of understanding. This provides an example for the compression in Table 1 in FIG. 4 for N=3 and M=14 such that Q=10. The circuit measuring needs to be generated from the classical computer 800 in FIG. 8 and then run on the quantum computer 900 in FIG. 9.


The headings and/or subheadings are discontinued. FIG. 10 is a flow chart of a method 1000 of reducing (Reduction 1) a number of qubits required on (and/or a number of qubit required for simulation on) a quantum computer 900 according to one or more embodiments.


At block 1005, the computer 800 is configured to characterize (or describe) a Fermionic system in terms of a Hamiltonian, the Fermionic system including Fermions and Fermionic modes with a total number of 2M Fermionic modes, where the Hamiltonian has a parity symmetry encoded by spin up and spin down parity operators.


At block 1010, the computer 800 is configured to sort the Fermionic modes on the Hamiltonian, such that the first half of the 2M modes corresponds to spin up and the second half of the 2M modes corresponds to spin down.


At block 1015, the computer 800 is configured to transform the Hamiltonian and the parity operators utilizing a Fermion to qubit mapping, wherein the Fermion to qubit mapping transforms parity operators to a first single qubit Pauli operator on qubit M and a second single qubit Pauli operator on qubit 2M.


At block 1020, the computer 800 is configured to remove the qubit M having been operated on by the first single qubit Pauli operator and the qubit 2M having been operated on by the second single qubit Pauli operator.


Additionally, the Fermion to qubit mapping is a generalized Jordan-Wigner transformation.


The first single qubit Pauli operator on the qubit M is a Pauli Z-matrix on the qubit M. The second single qubit Pauli operator on the qubit 2M is a product of two Pauli Z-matrices at sites of the qubit M and the qubit 2M.


Removing the qubit M having been operated on by the first single qubit Pauli operator includes replacing the qubit M with an eigenvalues of +1 or −1 according to a parity the qubit M. Removing the qubit 2M having been operated on by the second single qubit Pauli operator includes replacing the qubit 2M with an eigenvalues of +1 or −1 according to a parity the qubit 2M. The qubit M encodes the parity of qubit M and the qubit 2M encode the parity of qubit 2M. The parities of the qubit M and the qubit 2M are known in advance.


The quantum computer 900 is configured to execute/simulate the Hamiltonian having reduced qubits.



FIG. 11 is a flow chart 1100 of a method of reducing (Reduction 2) a number of qubits required on (and/or a number of qubit required for simulation on) a quantum computer 900 according to one or more embodiments.


At block 1105, the computer 800 is configured to characterize (or describe) a Fermionic system in terms of a Hamiltonian, the Fermionic system including Fermions and Fermionic modes.


At block 1110, the computer 800 is configured to transform the Hamiltonian utilizing a Fermion to qubit mapping. At block 1115, the computer 800 is configured to find Pauli symmetry operators of the Hamiltonian.


At block 1120, the computer 800 is configured to transform the Pauli symmetry operators into single qubit Pauli operators. At block 1125, the computer 800 is configured to removing every qubit that the single qubit Pauli operators are acting upon.


The Fermion to qubit mapping is a generalized Jordan-Wigner transformation or a standard Jordan-Wigner transformation.


Finding Pauli symmetry operators of the Hamiltonian includes: performing a parity check matrix on the Hamiltonian to determine the Pauli symmetry operators, if no Pauli symmetry operators are found, determining that no further reduction can be performed, and if the Pauli symmetry operators are found, determining a commuting set of the Pauli symmetry operators. Transforming the Pauli symmetry operators into the single qubit Pauli operators comprises constructing a Clifford transformation for the commuting set of the Pauli symmetry operators to map to the commuting set of the Pauli symmetry operators to the single qubit Pauli operators.



FIG. 12 is a flow chart 1200 of a method of reducing (Reduction 3) a number of qubits required on (and/or a number of qubit required for simulation on) a quantum computer 900 according to one or more embodiments.


At block 1205, the computer 800 is configured to characterize (or describe) a Fermionic system in terms of a Hamiltonian, the Fermionic system including Fermions and Fermionic modes with a total number of M Fermionic modes, where the Hamiltonian has particle number symmetry and N particles.


At block 1210, the computer 800 is configured to transform the Hamiltonian utilizing a Fermion to qubit mapping that transforms from M Fermionic modes to M qubits, where the M qubits are represented by M-bit strings in a computational basis.


At block 1215, the computer 800 is configured to applying a compression map to the Hamiltonian such that the Hamiltonian having the M qubits is mapped to a transformed Hamiltonian with Q qubits where Q<M, where the compression map maps the M-bit strings labeling the M qubits in the computational basis with Hamming weight N to Q-bit strings.


The computational basis is a 0 and 1 for each of the M qubits. The quantum computer 900 is configured to measure an energy of the transformed Hamiltonian with the Q qubits, the quantum computer including a quantum measurement circuit on Q+1 qubits. As a result measured energy measured by the quantum computer 900, the computer 800 is configured to receive measured energy for each compressed term of the transformed Hamiltonian, perform a decoding on the measured energy to obtain measured results of each uncompressed term in the Hamiltonian, and combine the measured results to obtain the energy of the Hamiltonian prior to applying the compression map.


The transformed Hamiltonian includes compressed terms, and the Hamiltonian prior to applying the compression map includes uncompressed terms.



FIG. 9 is an example of a quantum computer 900 (quantum hardware) that can process the output of the Reductions 1, 2, and/or 3 according to embodiments. In general, a quantum computer is any physical system that obeys the laws of quantum mechanics which satisfy the DiVincenzo criteria. These criteria set the requirements on the quantum mechanical system to be considered a quantum computer. The criteria include (1) a scalable physical system with well-characterized qubits, (2) the ability to initialize the state of the qubits to a simple fiducial state, (3) long relevant decoherence times, (4) a “universal” set of quantum gates, (5) a qubit-specific measurement capability, (6) the ability to interconvert stationary and flying qubits, and (7) the ability to faithfully transmit flying qubits between specified locations.


The quantum computer 900 in FIG. 9 illustrates an input 905 as a control program, control signals 910, qubits 915, readout signals 920, and measurement data 925 as the output. As a quantum mechanical system that satisfies these requirements, the quantum computer 900 (as well as the quantum computer 600) is configured to receive control signals 910 as input 905 information (i.e., Reductions 1, 2, and/or 3) to apply a sequence of quantum gates and apply measurement operations. The quantum gates between different qubits 915 are mediated through their interactions 930. The measurement operators produce classical signals (as measurement data 925) that can be read by an experimenter controlling the system, i.e., the quantum computer 900.


Now turning to FIG. 8, an example illustrates a computer 800, e.g., any type of computer system configured to execute the Reductions 1, 2, and/or 3, discussed herein, such that the result of the Reductions 1, 2, and 3 can be input to the quantum computer 600, 900. The computer 800 can be a distributed computer system over more than one computer. Various methods, procedures, modules, flow diagrams, tools, applications, circuits, elements, and techniques discussed herein can also incorporate and/or utilize the capabilities of the computer 800. Indeed, capabilities of the computer 800 can be utilized to implement elements of exemplary embodiments discussed herein.


Generally, in terms of hardware architecture, the computer 800 can include one or more processors 810, computer readable storage memory 820, and one or more input and/or output (I/O) devices 870 that are communicatively coupled via a local interface (not shown). The local interface can be, for example but not limited to, one or more buses or other wired or wireless connections, as is known in the art. The local interface can have additional elements, such as controllers, buffers (caches), drivers, repeaters, and receivers, to enable communications. Further, the local interface can include address, control, and/or data connections to enable appropriate communications among the aforementioned components.


The processor 810 is a hardware device for executing software that can be stored in the memory 820. The processor 810 can be virtually any custom made or commercially available processor, a central processing unit (CPU), a data signal processor (DSP), or an auxiliary processor among several processors associated with the computer 800, and the processor 810 can be a semiconductor based microprocessor (in the form of a microchip) or a macroprocessor.


The computer readable memory 820 can include any one or combination of volatile memory elements (e.g., random access memory (RAM), such as dynamic random access memory (DRAM), static random access memory (SRAM), etc.) and nonvolatile memory elements (e.g., ROM, erasable programmable read only memory (EPROM), electronically erasable programmable read only memory (EEPROM), programmable read only memory (PROM), tape, compact disc read only memory (CD-ROM), disk, diskette, cartridge, cassette or the like, etc.). Moreover, the memory 820 can incorporate electronic, magnetic, optical, and/or other types of storage media. Note that the memory 820 can have a distributed architecture, where various components are situated remote from one another, but can be accessed by the processor(s) 810.


The software in the computer readable memory 820 can include one or more separate programs, each of which includes an ordered listing of executable instructions for implementing logical functions. The software in the memory 820 includes a suitable operating system (O/S) 850, compiler 840, source code 830, and one or more applications 860 of the exemplary embodiments. As illustrated, the application 860 includes numerous functional components for implementing the elements, processes, methods, functions, and operations of the exemplary embodiments.


The operating system 850 can control the execution of other computer programs, and provides scheduling, input-output control, file and data management, memory management, and communication control and related services.


The application 860 can be a source program, executable program (object code), script, or any other entity comprising a set of instructions to be performed. When a source program, then the program is usually translated via a compiler (such as the compiler 840), assembler, interpreter, or the like, which can be included within the memory 820, so as to operate properly in connection with the O/S 850. Furthermore, the application 860 can be written as (a) an object oriented programming language, which has classes of data and methods, or (b) a procedure programming language, which has routines, subroutines, and/or functions.


The I/O devices 870 can include input devices (or peripherals) such as, for example but not limited to, a mouse, keyboard, scanner, microphone, camera, etc. Furthermore, the I/O devices 870 can also include output devices (or peripherals), for example but not limited to, a printer, display, etc. Finally, the I/O devices 870 can further include devices that communicate both inputs and outputs, for instance but not limited to, a NIC or modulator/demodulator (for accessing remote devices, other files, devices, systems, or a network), a radio frequency (RF) or other transceiver, a telephonic interface, a bridge, a router, etc. The I/O devices 870 also include components for communicating over various networks, such as the Internet or an intranet. The I/O devices 870 can be connected to and/or communicate with the processor 810 utilizing Bluetooth connections and cables (via, e.g., Universal Serial Bus (USB) ports, serial ports, parallel ports, FireWire, HDMI (High-Definition Multimedia Interface), etc.).


In exemplary embodiments, where the application 860 is implemented in hardware, the application 860 can be implemented with any one or a combination of the following technologies, which are each well known in the art: a discrete logic circuit(s) having logic gates for implementing logic functions upon data signals, an application specific integrated circuit (ASIC) having appropriate combinational logic gates, a programmable gate array(s) (PGA), a field programmable gate array (FPGA), etc.


The descriptions of the various embodiments of the present invention have been presented for purposes of illustration, but are not intended to be exhaustive or limited to the embodiments disclosed. Many modifications and variations will be apparent to those of ordinary skill in the art without departing from the scope and spirit of the described embodiments. The terminology used herein was chosen to best explain the principles of the embodiments, the practical application or technical improvement over technologies found in the marketplace, or to enable others of ordinary skill in the art to understand the embodiments disclosed herein.


The present invention may be a system, a method, and/or a computer program product at any possible technical detail level of integration. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.


The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.


Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.


Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, configuration data for integrated circuitry, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++, or the like, and procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.


Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.


These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.


The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.


The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the blocks may occur out of the order noted in the Figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.

Claims
  • 1. A computer-implemented method of reducing a number of qubits required on a quantum computer, the method comprising: characterizing a system in terms of a Hamiltonian, the system including particles and particle modes, wherein the Hamiltonian has a parity symmetry encoded by a first characteristic and a second characteristic for parity operators;sorting the particle modes on the Hamiltonian, such that a first part of the particle modes corresponds to the first characteristic and a second part of the particle modes corresponds to the second characteristic;transforming the parity operators utilizing a particle to qubit mapping, wherein the particle to qubit mapping transforms the parity operators to a first qubit operator on a first qubit and a second qubit operator on a second qubit; andremoving the first qubit having been operated on by the first qubit operator and the second qubit having been operated on by the second qubit operator.
  • 2. The method of claim 1, wherein the particle to qubit mapping is a generalized Jordan-Wigner transformation.
  • 3. The method of claim 1, wherein the first qubit operator on the first qubit is a matrix on the first qubit.
  • 4. The method of claim 1, wherein the second qubit operator on the second qubit is a product of two matrices at sites of the first qubit and the second qubit.
  • 5. The method of claim 1, wherein removing the first qubit having been operated on by the first qubit operator comprises replacing the first qubit with eigenvalues of +1 or −1 according to a parity of the first qubit.
  • 6. The method of claim 5, wherein removing the second qubit having been operated on by the second qubit operator comprises replacing the second qubit with eigenvalues of +1 or −1 according to a parity of the second qubit.
  • 7. The method of claim 6, wherein the parities of the first qubit and the second qubit are known in advance.
  • 8. The method of claim 1, wherein the particle modes define a total number of 2M Fermionic modes, the first qubit defines qubit M, and the second qubit defines qubit 2M.
  • 9. The method of claim 1, wherein the first characteristic defines a first spin direction and the second characteristic defines a second spin direction; and wherein the first qubit operator defines a first single qubit Pauli operator and the second qubit operator defines a second single qubit Pauli operator; andwherein the system comprises a Fermionic system.
  • 10. A computer-implemented method of reducing a number of qubits required on a quantum computer, the method comprising: characterizing a system in terms of a Hamiltonian, the system including particles and particle modes;transforming the Hamiltonian utilizing a particle to qubit mapping;finding symmetry operators of the Hamiltonian;transforming the symmetry operators into single qubit operators; andremoving every qubit that the single qubit operators are acting upon.
  • 11. The method of claim 10, wherein the particle to qubit mapping comprises a generalized Jordan-Wigner transformation.
  • 12. The method of claim 10, wherein the particle to qubit mapping comprises a standard Jordan-Wigner transformation.
  • 13. The method of claim 10, wherein finding symmetry operators of the Hamiltonian comprises performing a parity check matrix on the Hamiltonian to determine the symmetry operators.
  • 14. The method of claim 13, wherein finding symmetry operators of the Hamiltonian further comprises: if no symmetry operators are found, determining that no further reduction can be performed; andif the symmetry operators are found, determining a commuting set of the symmetry operators.
  • 15. The method of claim 14, wherein transforming the symmetry operators into the single qubit operators comprises constructing a transformation for the commuting set of the symmetry operators to map to the commuting set of the symmetry operators to the single qubit operators.
  • 16. The method of claim 15, wherein a Clifford transformation is the transformation constructed for the commuting set of the symmetry operators to map to the commuting set of the symmetry operators to the single qubit operators.
  • 17. The method of claim 10, wherein the particle modes comprise Fermionic modes and the particles comprises Fermions.
  • 18. The method of claim 10, wherein the symmetry operators comprise Pauli symmetry operators and the single qubit operators comprise single qubit Pauli operators.
  • 19. A computer-implemented method of reducing a number of qubits required on a quantum computer, the method comprising: characterizing a system in terms of a Hamiltonian, the system including particles and modes with a total number of M modes, wherein the Hamiltonian has particle number symmetry and N particles;transforming the Hamiltonian utilizing a particle to qubit mapping that transforms from M modes to M qubits, wherein the M qubits are represented by M-bit strings in a computational basis; andapplying a compression map to the Hamiltonian such that the Hamiltonian having the M qubits is mapped to a transformed Hamiltonian with Q qubits where Q<M, wherein the compression map maps the M-bit strings labeling the M qubits in the computational basis with Hamming weight N to Q-bit strings.
  • 20. The method of claim 19, wherein the computational basis is a 0 and 1 for each of the M qubits.
PRIORITY

This application is a continuation of U.S. patent application Ser. No. 15/437,895, filed on Feb. 21, 2017, entitled “EFFICIENT REDUCTION OF RESOURCES FOR THE SIMULATION OF FERMIONIC HAMILTONIANS ON QUANTUM HARDWARE”, which claims priority from U.S. Provisional Patent Application Ser. No. 62/376,194, filed on Aug. 17, 2016, entitled “EFFICIENT REDUCTION OF RESOURCES FOR THE SIMULATION OF FERMIONIC HAMILTONIANS ON QUANTUM HARDWARE”, the entire contents of which are incorporated herein by reference.

US Referenced Citations (12)
Number Name Date Kind
7018852 Wu et al. Mar 2006 B2
7219018 Vitaliano et al. May 2007 B2
7307275 Lidar et al. Dec 2007 B2
7451292 Routt Nov 2008 B2
8513647 Bacon et al. Aug 2013 B1
9819347 Hastings Nov 2017 B2
20030094606 Newns et al. May 2003 A1
20080142787 Loss Jun 2008 A1
20160132785 Amin et al. May 2016 A1
20160283857 Babbush et al. Sep 2016 A1
20180053112 Bravyi et al. Feb 2018 A1
20180096085 Rubin Apr 2018 A1
Foreign Referenced Citations (6)
Number Date Country
2324444 May 2011 EP
2005269105 Sep 2005 JP
2009143166 Nov 2009 WO
2015069625 May 2015 WO
2015123083 Aug 2015 WO
2015123085 Aug 2015 WO
Non-Patent Literature Citations (13)
Entry
International Search Report and Written Opinion for International Application No. PCT/IB2017/054758, dated Nov. 29, 2017, 10 pages.
Alon et al., “The Moore bound for irregular graphs,” Feb. 22, 2002, pp. 1-5.
Darling et al, “Rank deficiency in sparse random GF[2] matrices,” arXiv:1211.5455v1 [math.PR], Nov. 23, 2012, pp. 1-49.
Gallager, “Low-Density Parity-Check Codes,” IRE Transactions on Information Theory, 1962, pp. 21-28.
Gottesman, “Stabilizer Codes and Quantum Error Correction,” arXiv:quant-ph/9705052v1 May 28, 1997, pp. 1-122.
List of IBM Patents or Patent Applications Treated as Related; (Appendix P), Date Filed: Apr. 2, 2019, 2 pages.
Moll et al., “Optimizing qubit resources for quantum chemistry simulations in second quantization on a quantum computer,” arXiv:1510.04048v3 [quant-ph], May 11, 2016, pp. 1-19.
O'Hara et al; “Quadratic fermionic interactions yield effective Hamiltonians for adiabatic quantum computing”, arXiv preprint arXiv:0808.1768 (2008), pp. 1-14.
O'Malley et al., Scalable Quantum Simulation of Molecular Energies, arXiv:1512.06860v2 [quant-ph], Feb. 4, 2017, pp. 1-13.
Seeley et al., “The Bravyi-Kitaev transformation for quantum computation of electronic structure,” Chem. Phys., arXiv:1208.5986v1 [quant-ph] , Aug. 29, 2012, pp. 1-38.
Sergey Bravyi et al., “Efficient Reduction of Resources for the Simulation of Fermionic Hamiltonians on Quantum Hardware ,” U.S. Appl. No. 62/376,194, filed Aug. 17, 2016.
Wecker et al., “Towards Practical Quantum Variational Algorithms,” arXiv:1507.08969v2 [quant-ph], Sep. 8, 2015, pp. 1-11.
Bravyi, S. & Kitaev, A. “Fermionic quantum computation”, Ann. of Phys., 298(1): 210-226,2002.
Related Publications (1)
Number Date Country
20190228333 A1 Jul 2019 US
Provisional Applications (1)
Number Date Country
62376194 Aug 2016 US
Continuations (1)
Number Date Country
Parent 15437895 Feb 2017 US
Child 16372462 US