These are all sub sections for the articles
How a computational method solves quantum equations impacts the accuracy and efficiency of the method. The split operator technique is one of these methods for solving differential equations. In computational chemistry, split operator technique reduces computational costs of simulating chemical systems. [1] Computational costs are about how much time it takes for computers to caclulate these chemical systems, as it can take days for more complex systems. Quantum systems are difficult and time consuming to solve for humans. Split operator methods help computers calculate these systems quickly by solving the sub problems in a quantum differential equation. The method does this by separating the differential equation into 2 different equations, like when there are more than two operators. Once solved, the split equations are combined into one equation again to give an easily calculable solution. For example:
This method is used in many fields that require solving differential equations, such as biology. However, the technique comes with a splitting error. For example, for the following solution for a differential equation:
The equation can be split, but the solutions will not be exact, only similar. This is an example of first order splitting.
There are ways to reduce this error, which include taking an average of two split equations. Using the above example, it can be done like this.
Another way to increase accuracy is to use higher order splitting. Usually, second order splitting is the most that is done because higher order splitting requires much more time to calculate and is not worth the cost. Higher order methods become too difficult to impliment, and are not useful for solving differential equations despite the higher accuracy.
Computational chemists spend much time trying to find ways to make systems calculated with split operator technique more accurate while minimizing the computational cost. Finding that middle ground of accurate and plausible to calculate is a massive challenge for many chemists trying to simulate molecules or chemical environments.
Computational chemistry is a tool for analyzing catalytic systems without doing experiments. Modern electronic structure theory and density functional theory has allowed researchers to discover and understand catalysts. [2] Computational studies apply theoretical chemistry to catalysis research. Density functional theory methods calculate the energies and orbitals of molecules to give models of those structures. [3] Using these methods, researchers can predict values like activation energy, site reactivity [4] and other thermodynamic properties. [3]
Data that is difficult to obtain experimentally can be found using computational methods to model the mechanisms of catalytic cycles. [4] Skilled computational chemists provide predictions that are close to experimental data with proper considerations of methods and basis sets. [3] With good computational data, researchers can predict how catalysts can be improved to lower the cost and increase the efficiency of these reactions.
Computational chemistry is used in drug development to model potentially useful drug molecules and help companies save time and cost in drug development. The drug discovery process involves analyzing data, finding ways to improve current molecules, finding synthetic routes, and testing those molecules. [5] Computational chemistry helps with this process by giving predictions of which experiments would be best to do without conducting other experiments. Computational methods can also find values that are difficult to find experimentally like pKa's of compounds. [6] Methods like density functional theory can be used to model drug molecules and find their properties, like their HOMO and LUMO energies and molecular orbitals. [7] Computational chemists also help companies with developing informatics, infrastructure and designs of drugs.
Aside from drug synthesis, drug carriers are also researched by computational chemists for nanomaterials. It allows researchers to simulate environments to test the effectiveness and stability of drug carriers. [8] Understanding how water interacts with these nanomaterials ensures stability of the material in human bodies. These computational simulations help researchers optimize the material find the best way to structure these nanomaterials before making them.
Databases are useful for both computational and non computational chemists in research and verifying the validity of computational methods. Empirical data is used to analyze the error of computational methods against experimental data. [9] Empirical data helps researchers with their methods and basis sets to have greater confidence in the researchers results. Computational chemistry databases are also used in testing software or hardware for computational chemistry.
Databases can also use purely calculated data. [9] Purely calculated data uses calculated values over experimental values for databases. Purely calculated data avoids dealing with these adjusting for different experimental conditions like zero-point energy. These calculations can also avoid experimental errors for difficult to test molecules. Though purely calculated data is often not perfect, identifying issues is often easier for calculated data than experimental.
Databases also give public access to information for researchers to use. They contain data that other researchers have found and uploaded to these databases so that anyone can search for them. Researchers use these databases to find information on molecules of interest and learn what can be done with those molecules. [9] Some publicly available chemistry databases include:
Also see: Computational Complexity
For types of computational complexity classes: List of complexity classes
The computational cost and algorithmic complexity in chemistry are used to help understand and predict chemical phenomena. This section focuses on the scaling of computational complexity with molecule size and details the algorithms commonly used in both domains.
In quantum chemistry, particularly, the complexity can grow exponentially with the number of electrons involved in the system [12]. This exponential growth is a significant barrier to simulating large or complex systems accurately.
Advanced algorithms in both fields strive to balance accuracy with computational efficiency. For instance, in MD, methods like Verlet integration or Beeman's algorithm are employed for their computational efficiency [13]. In quantum chemistry, hybrid methods combining different computational approaches (like QM/MM) are increasingly used to tackle large biomolecular systems.
see: Molecular dynamics
Algorithm: Solves Newton's equations of motion for atoms and molecules [14].
Complexity: The standard pairwise interaction calculation in MD leads to an complexity for particles. This is because each particle interacts with every other particle, resulting in interactions [15]. Advanced algorithms, such as the Ewald summation or Fast Multipole Method, reduce this to or even by grouping distant particles and treating them as a single entity or using clever mathematical approximations [16] [17].
see: QM/MM
Algorithm: Combines quantum mechanical calculations for a small region with molecular mechanics for the larger environment. [18]
Complexity: The complexity of QM/MM methods depends on both the size of the quantum region and the method used for quantum calculations [19]. For example, if a Hartree-Fock method is used for the quantum part, the complexity can be approximated as , where is the number of basis functions in the quantum region [19]. This complexity arises from the need to solve a set of coupled equations iteratively until self-consistency is achieved.
see also: Hartree-Fock Method
Algorithm: Finds a single Fock state that minimizes the energy.
Complexity: NP-hard or NP-complete as demonstrated by embedding instances of the Ising model into Hartree-Fock calculations [20]. The Hartree-Fock method involves solving the Roothaan-Hall equations, which scales as to depending on implementation, with being the number of basis functions [20]. The computational cost mainly comes from evaluating and transforming the two-electron integrals. This proof of NP-hardness or NP-completeness comes from embedding problems like the Ising model into the Hartree-Fock formalism.
see also: Density Functional Theory
Algorithm: Investigate the electronic structure (or nuclear structure) (principally the ground state) of many-body systems, in particular atoms, molecules, and the condensed phases.
Complexity: Traditional implementations of DFT typically scale as , mainly due to the need to diagonalize the Kohn-Sham matrix [21]. The diagonalization step, which finds the eigenvalues and eigenvectors of the matrix, contributes most to this scaling [22]. Recent advances in DFT aim to reduce this complexity through various approximations and algorithmic improvements.
see also: Coupled cluster
Algorithm: CCSD and CCSD(T) methods are advanced electronic structure techniques involving single, double, and in the case of CCSD(T), perturbative triple excitations for calculating electronic correlation effects.
Complexity:
CCSD: Scales as where is the number of basis functions. This intense computational demand arises from the inclusion of single and double excitations in the electron correlation calculation [23].
CCSD(T): With the addition of perturbative triples, the complexity increases to This elevated complexity restricts practical usage to smaller systems, typically up to 20-25 atoms in conventional implementations [23].
see also: Coupled cluster
Algorithm: An adaptation of the standard CCSD(T) method using local natural orbitals (NOs) to significantly reduce the computational burden and enable application to larger systems.
Complexity: Achieves linear scaling with the system size, a major improvement over the traditional fifth-power scaling of CCSD [23]. This advancement allows for practical applications to molecules of up to 100 atoms with reasonable basis sets, marking a significant step forward in computational chemistry's capability to handle larger systems with high accuracy [23].
Proving the complexity classes for algorithms involves a combination of mathematical proof and computational experiments. For example, in the case of the Hartree-Fock method, the proof of NP-hardness is a theoretical result derived from complexity theory, specifically through reductions from known NP-hard problems [24].
For other methods like MD or DFT, the computational complexity is often empirically observed and supported by algorithm analysis. In these cases, the proof of correctness is less about formal mathematical proofs and more about consistently observing the computational behaviour across various systems and implementations [25].
For the basis of quantum computational chemistry see: Quantum Chemistry
For the electronic structure problem see: Electronic Structure
For a specific recap of quantum computing see: Quantum Computing
Quantum computational chemistry is an emerging field that integrates quantum mechanics with computational methods to simulate chemical systems. Despite quantum mechanics' foundational role in understanding chemical behaviors, traditional computational approaches face significant challenges, largely due to the complexity and computational intensity of quantum mechanical equations. This complexity arises from the exponential growth of a quantum system's wave function with each added particle, making exact simulations on classical computers inefficient. [26]
Efficient quantum algorithms for chemistry problems are expected to have run-times and resource requirements that scale polynomially with system size and desired accuracy. Experimental efforts have validated proof-of-principle chemistry calculations, though currently limited to small systems.
Main Article: Unitary transformation (quantum mechanics)
One of the problems with hamiltonian simulation is the computational complexity inherent to its formation. Qubitization is a mathematical and algorithmic concept in quantum computing to the simulation of quantum systems via Hamiltonian dynamics. The core idea of qubitization is to encode the problem of Hamiltonian simulation in a way that is more efficiently processable by quantum algorithms. [29]
Qubitization involves a transformation of the Hamiltonian operator, a central object in quantum mechanics representing the total energy of a system. In classical computational terms, a Hamiltonian can be thought of as a matrix describing the energy interactions within a quantum system. The goal of qubitization is to embed this Hamiltonian into a larger, unitary operator, which is a type of operator in quantum mechanics that preserves the norm of vectors upon which it acts. [29] This embedding is crucial for enabling the Hamiltonian's dynamics to be simulated on a quantum computer.
Mathematically, the process of qubitization constructs a unitary operator such that a specific projection of proportional to the Hamiltonian H of interest. This relationship can often be represented as , where is a specific quantum state and is its conjugate transpose. The efficiency of this method comes from the fact that the unitary operator can be implemented on a quantum computer with fewer resources (like qubits and quantum gates) than would be required for directly simulating [29]
A key feature of qubitization is in simulating Hamiltonian dynamics with high precision while reducing the quantum resource overhead. This efficiency is especially beneficial in quantum algorithms where the simulation of complex quantum systems is necessary, such as in quantum chemistry and materials science simulations. Qubitization also develops quantum algorithms for solving certain types of problems more efficiently than classical algorithms. For instance, it has implications for the Quantum Phase Estimation algorithm, which is fundamental in various quantum computing applications, including factoring and solving linear systems of equations.
Gaussian Orbital Basis Sets
Main Article: Basis Set (Chemistry)
In Gaussian orbital basis sets, phase estimation algorithms have been optimized empirically from to where is the number of basis sets. Advanced Hamiltonian simulation algorithms have further reduced the scaling, with the introduction of techniques like Taylor series methods and qubitization, providing more efficient algorithms with reduced computational requirements.
Plane Wave Basis Sets
Main Article: Basis Set (Chemistry)
Plane wave basis sets, suitable for periodic systems, have also seen advancements in algorithm efficiency, with improvements in product formula-based approaches and Taylor series methods.
For the foundational recap of the quantum fourier transform Quantum Fourier Transform
Main Article: Quantum Phase Estimation Algorithm
Phase estimation, as proposed by Kitaev in 1995, identifies the lowest energy eigenstate ( ) and excited states ( ) of a physical Hamiltonian, as detailed by Abrams and Lloyd in 1999. In quantum computational chemistry, this technique is employed to encode fermionic Hamiltonians into a qubit framework.
1. Initialization: The qubit register is initialized in a state , which has a nonzero overlap with the Full Configuration Interaction (FCI) target eigenstate of the system. [30] This state is expressed as a sum over the energy eigenstates of the Hamiltonian , , where represents complex coefficients.
2. Application of Hadamard Gates: Each ancilla qubit undergoes a Hadamard gate application, placing the ancilla register in a superposed state. [30] Subsequently, controlled gates, as shown above, modify this state.
3. Inverse Quantum Fourier Transform: This transform is applied to the ancilla qubits, revealing the phase information that encodes the energy eigenvalues. [30]
4. Measurement: The ancilla qubits are measured in the Z basis, collapsing the main register into the corresponding energy eigenstate based on the probability . [30]
The algorithm requires ancilla qubits, with their number determined by the desired precision and success probability of the energy estimate. Obtaining a binary energy estimate precise to n bits with a success probability necessitates ancilla qubits. This phase estimation has been validated experimentally across various quantum architectures.
The total coherent time evolution required for the algorithm is approximately . [32] The total evolution time is related to the binary precision , with an expected repeat of the procedure for accurate ground state estimation. Errors in the algorithm include errors in energy eigenvalue estimation (), unitary evolutions (), and circuit synthesis errors (), which can be quantified using techniques like the Solovay-Kitaev theorem. [33]
The phase estimation algorithm can be enhanced or altered in several ways, such as using a single ancilla qubit for sequential measurements, increasing efficiency, parallelization, or enhancing noise resilience in analytical chemistry. [34] The algorithm can also be scaled using classically obtained knowledge about energy gaps between states.
Effective state preparation is needed, as a randomly chosen state would exponentially decrease the probability of collapsing to the desired ground state. Various methods for state preparation have been proposed, including classical approaches and quantum techniques like adiabatic state preparation. [35]
Main Article: Variational Quantum Eigensolver
Overview:
The Variational Quantum Eigensolver is an innovative algorithm in quantum computing, crucial for near-term quantum hardware. [36] Initially proposed by Peruzzo et al. in 2014 and further developed by McClean et al. in 2016, VQE is integral in finding the lowest eigenvalue of Hamiltonians, particularly those in chemical systems. It employs the Variational method (quantum mechanics), which guarantees that the expectation value of the Hamiltonian for any parameterized trial wave function is at least the lowest energy eigenvalue of that Hamiltonian. [37] This principle is fundamental in VQE's strategy to optimize parameters and find the ground state energy. VQE is a hybrid algorithm that utilizes both quantum and classical computers. The quantum computer prepares and measures the quantum state, while the classical computer processes these measurements and updates the system. This synergy allows VQE to overcome some limitations of purely quantum methods.
1-RDM and 2-RDM Calculation:
For terminology see: Density Matrix
The reduced density matrices (1-RDM and 2-RDM) can be used to extrapolate the electronic structure of a system. [38]
Ground State Energy Extrapolation:
In the Hamiltonian variational ansatz, the initial state is prepared to represent the ground state of the molecular Hamiltonian without electron correlations. The evolution of this state under the Hamiltonian, split into commuting segments , is given by:
where are variational parameters optimized to minimize the energy, providing insights into the electronic structure of the molecule.
Measurement Scaling:
McClean et al. (2016) and Romero et al. (2019) proposed a formula to estimate the number of measurements ( ) required for energy precision. The formula is given by , where are coefficients of each Pauli string in the Hamiltonian. This leads to a scaling of in a Gaussian orbital basis and in a plane wave dual basis. [39] [40] Note that is the number of basis functions in the chosen basis set.
Fermionic Level Grouping:
A method by Bonet-Monroig, Babbush, and O’Brien (2019) focuses on grouping terms at a fermionic level rather than a qubit level, leading to a measurement requirement of only circuits with an additional gate depth of . [41]
Limitations of VQE
While VQE's application in solving the electronic Schrödinger equation for small molecules has shown success, its scalability is hindered by two main challenges: the complexity of the quantum circuits required and the intricacies involved in the classical optimization process. These challenges are significantly influenced by the choice of the variational ansatz, which is used to construct the trial wave function. Consequently, the development of an efficient ansatz is a key focus in current research. Modern quantum computers face limitations in running deep quantum circuits, especially when using the existing ansatzes for problems that exceed several qubits.
Also see: Jordan-Wigner Transformations
Jordan-Wigner encoding is a fundamental method in quantum computing, extensively used for simulating fermionic systems like molecular orbitals and electron interactions in quantum chemistry. [42]
Overview:
In quantum chemistry, electrons are modeled as fermions with antisymmetric wave functions. The Jordan-Wigner encoding maps these fermionic orbitals to qubits, preserving their antisymmetric nature. Mathematically, this is achieved by associating each fermionic creation and annihilation operator with corresponding qubit operators through the Jordan-Wigner transformation:
Where , , and are Pauli matrices acting on the qubit.
Electron Hopping
Electron hopping between orbitals, central to chemical bonding and reactions, is represented by terms like . Under Jordan-Wigner encoding, these transform as follows: [43]
This transformation captures the quantum mechanical behavior of electron movement and interaction within molecules. [44]
Computational Complexity in Molecular Systems
The complexity of simulating a molecular system using Jordan-Wigner encoding is influenced by the structure of the molecule and the nature of electron interactions. For a molecular system with orbitals, the number of required qubits scales linearly with , but the complexity of gate operations depends on the specific interactions being modeled.
The Jordan-Wigner transformation encodes fermionic operators into qubit operators, but it introduces non-local string operators that can make simulations inefficient. [45] The FSWAP gate is used to mitigate this inefficiency by rearranging the ordering of fermions (or their qubit representations), thus simplifying the implementation of fermionic operations.
FSWAP networks rearrange qubits to efficiently simulate electron dynamics in molecules. [46] These networks are essential for reducing the gate complexity in simulations, especially for non-neighboring electron interactions.
When two fermionic modes (represented as qubits after the Jordan-Wigner transformation) are swapped, the FSWAP gate not only exchanges their states but also correctly updates the phase of the wavefunction to maintain fermionic antisymmetry. [47] This is in contrast to the standard SWAP gate, which does not account for the phase change required in the antisymmetric wavefunctions of fermions.
The use of FSWAP gates can significantly reduce the complexity of quantum circuits for simulating fermionic systems. [48] By intelligently rearranging the fermions, the number of gates required to simulate certain fermionic operations can be reduced, leading to more efficient simulations. This is particularly useful in simulations where fermions need to be moved across large distances within the system, as it can avoid the need for long chains of operations that would otherwise be required.
![]() | This is the sandbox page where you will draft your initial Wikipedia contribution.
If you're starting a new article, you can develop it here until it's ready to go live. If you're working on improvements to an existing article, copy only one section at a time of the article to this sandbox to work on, and be sure to use an edit summary linking to the article you copied from. Do not copy over the entire article. You can find additional instructions here. Remember to save your work regularly using the "Publish page" button. (It just means 'save'; it will still be in the sandbox.) You can add bold formatting to your additions to differentiate them from existing content. |
{{
cite journal}}
: Check date values in: |date=
(
help)
{{
cite journal}}
: CS1 maint: unflagged free DOI (
link)
{{
citation}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link) CS1 maint: unflagged free DOI (
link)
{{
cite journal}}
: Check date values in: |date=
(
help)CS1 maint: PMC format (
link)
{{
cite journal}}
: Check date values in: |date=
(
help)CS1 maint: PMC format (
link) CS1 maint: unflagged free DOI (
link)
{{
cite journal}}
: CS1 maint: unflagged free DOI (
link)
{{
cite book}}
: |edition=
has extra text (
help)
{{
cite journal}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link)
These are all sub sections for the articles
How a computational method solves quantum equations impacts the accuracy and efficiency of the method. The split operator technique is one of these methods for solving differential equations. In computational chemistry, split operator technique reduces computational costs of simulating chemical systems. [1] Computational costs are about how much time it takes for computers to caclulate these chemical systems, as it can take days for more complex systems. Quantum systems are difficult and time consuming to solve for humans. Split operator methods help computers calculate these systems quickly by solving the sub problems in a quantum differential equation. The method does this by separating the differential equation into 2 different equations, like when there are more than two operators. Once solved, the split equations are combined into one equation again to give an easily calculable solution. For example:
This method is used in many fields that require solving differential equations, such as biology. However, the technique comes with a splitting error. For example, for the following solution for a differential equation:
The equation can be split, but the solutions will not be exact, only similar. This is an example of first order splitting.
There are ways to reduce this error, which include taking an average of two split equations. Using the above example, it can be done like this.
Another way to increase accuracy is to use higher order splitting. Usually, second order splitting is the most that is done because higher order splitting requires much more time to calculate and is not worth the cost. Higher order methods become too difficult to impliment, and are not useful for solving differential equations despite the higher accuracy.
Computational chemists spend much time trying to find ways to make systems calculated with split operator technique more accurate while minimizing the computational cost. Finding that middle ground of accurate and plausible to calculate is a massive challenge for many chemists trying to simulate molecules or chemical environments.
Computational chemistry is a tool for analyzing catalytic systems without doing experiments. Modern electronic structure theory and density functional theory has allowed researchers to discover and understand catalysts. [2] Computational studies apply theoretical chemistry to catalysis research. Density functional theory methods calculate the energies and orbitals of molecules to give models of those structures. [3] Using these methods, researchers can predict values like activation energy, site reactivity [4] and other thermodynamic properties. [3]
Data that is difficult to obtain experimentally can be found using computational methods to model the mechanisms of catalytic cycles. [4] Skilled computational chemists provide predictions that are close to experimental data with proper considerations of methods and basis sets. [3] With good computational data, researchers can predict how catalysts can be improved to lower the cost and increase the efficiency of these reactions.
Computational chemistry is used in drug development to model potentially useful drug molecules and help companies save time and cost in drug development. The drug discovery process involves analyzing data, finding ways to improve current molecules, finding synthetic routes, and testing those molecules. [5] Computational chemistry helps with this process by giving predictions of which experiments would be best to do without conducting other experiments. Computational methods can also find values that are difficult to find experimentally like pKa's of compounds. [6] Methods like density functional theory can be used to model drug molecules and find their properties, like their HOMO and LUMO energies and molecular orbitals. [7] Computational chemists also help companies with developing informatics, infrastructure and designs of drugs.
Aside from drug synthesis, drug carriers are also researched by computational chemists for nanomaterials. It allows researchers to simulate environments to test the effectiveness and stability of drug carriers. [8] Understanding how water interacts with these nanomaterials ensures stability of the material in human bodies. These computational simulations help researchers optimize the material find the best way to structure these nanomaterials before making them.
Databases are useful for both computational and non computational chemists in research and verifying the validity of computational methods. Empirical data is used to analyze the error of computational methods against experimental data. [9] Empirical data helps researchers with their methods and basis sets to have greater confidence in the researchers results. Computational chemistry databases are also used in testing software or hardware for computational chemistry.
Databases can also use purely calculated data. [9] Purely calculated data uses calculated values over experimental values for databases. Purely calculated data avoids dealing with these adjusting for different experimental conditions like zero-point energy. These calculations can also avoid experimental errors for difficult to test molecules. Though purely calculated data is often not perfect, identifying issues is often easier for calculated data than experimental.
Databases also give public access to information for researchers to use. They contain data that other researchers have found and uploaded to these databases so that anyone can search for them. Researchers use these databases to find information on molecules of interest and learn what can be done with those molecules. [9] Some publicly available chemistry databases include:
Also see: Computational Complexity
For types of computational complexity classes: List of complexity classes
The computational cost and algorithmic complexity in chemistry are used to help understand and predict chemical phenomena. This section focuses on the scaling of computational complexity with molecule size and details the algorithms commonly used in both domains.
In quantum chemistry, particularly, the complexity can grow exponentially with the number of electrons involved in the system [12]. This exponential growth is a significant barrier to simulating large or complex systems accurately.
Advanced algorithms in both fields strive to balance accuracy with computational efficiency. For instance, in MD, methods like Verlet integration or Beeman's algorithm are employed for their computational efficiency [13]. In quantum chemistry, hybrid methods combining different computational approaches (like QM/MM) are increasingly used to tackle large biomolecular systems.
see: Molecular dynamics
Algorithm: Solves Newton's equations of motion for atoms and molecules [14].
Complexity: The standard pairwise interaction calculation in MD leads to an complexity for particles. This is because each particle interacts with every other particle, resulting in interactions [15]. Advanced algorithms, such as the Ewald summation or Fast Multipole Method, reduce this to or even by grouping distant particles and treating them as a single entity or using clever mathematical approximations [16] [17].
see: QM/MM
Algorithm: Combines quantum mechanical calculations for a small region with molecular mechanics for the larger environment. [18]
Complexity: The complexity of QM/MM methods depends on both the size of the quantum region and the method used for quantum calculations [19]. For example, if a Hartree-Fock method is used for the quantum part, the complexity can be approximated as , where is the number of basis functions in the quantum region [19]. This complexity arises from the need to solve a set of coupled equations iteratively until self-consistency is achieved.
see also: Hartree-Fock Method
Algorithm: Finds a single Fock state that minimizes the energy.
Complexity: NP-hard or NP-complete as demonstrated by embedding instances of the Ising model into Hartree-Fock calculations [20]. The Hartree-Fock method involves solving the Roothaan-Hall equations, which scales as to depending on implementation, with being the number of basis functions [20]. The computational cost mainly comes from evaluating and transforming the two-electron integrals. This proof of NP-hardness or NP-completeness comes from embedding problems like the Ising model into the Hartree-Fock formalism.
see also: Density Functional Theory
Algorithm: Investigate the electronic structure (or nuclear structure) (principally the ground state) of many-body systems, in particular atoms, molecules, and the condensed phases.
Complexity: Traditional implementations of DFT typically scale as , mainly due to the need to diagonalize the Kohn-Sham matrix [21]. The diagonalization step, which finds the eigenvalues and eigenvectors of the matrix, contributes most to this scaling [22]. Recent advances in DFT aim to reduce this complexity through various approximations and algorithmic improvements.
see also: Coupled cluster
Algorithm: CCSD and CCSD(T) methods are advanced electronic structure techniques involving single, double, and in the case of CCSD(T), perturbative triple excitations for calculating electronic correlation effects.
Complexity:
CCSD: Scales as where is the number of basis functions. This intense computational demand arises from the inclusion of single and double excitations in the electron correlation calculation [23].
CCSD(T): With the addition of perturbative triples, the complexity increases to This elevated complexity restricts practical usage to smaller systems, typically up to 20-25 atoms in conventional implementations [23].
see also: Coupled cluster
Algorithm: An adaptation of the standard CCSD(T) method using local natural orbitals (NOs) to significantly reduce the computational burden and enable application to larger systems.
Complexity: Achieves linear scaling with the system size, a major improvement over the traditional fifth-power scaling of CCSD [23]. This advancement allows for practical applications to molecules of up to 100 atoms with reasonable basis sets, marking a significant step forward in computational chemistry's capability to handle larger systems with high accuracy [23].
Proving the complexity classes for algorithms involves a combination of mathematical proof and computational experiments. For example, in the case of the Hartree-Fock method, the proof of NP-hardness is a theoretical result derived from complexity theory, specifically through reductions from known NP-hard problems [24].
For other methods like MD or DFT, the computational complexity is often empirically observed and supported by algorithm analysis. In these cases, the proof of correctness is less about formal mathematical proofs and more about consistently observing the computational behaviour across various systems and implementations [25].
For the basis of quantum computational chemistry see: Quantum Chemistry
For the electronic structure problem see: Electronic Structure
For a specific recap of quantum computing see: Quantum Computing
Quantum computational chemistry is an emerging field that integrates quantum mechanics with computational methods to simulate chemical systems. Despite quantum mechanics' foundational role in understanding chemical behaviors, traditional computational approaches face significant challenges, largely due to the complexity and computational intensity of quantum mechanical equations. This complexity arises from the exponential growth of a quantum system's wave function with each added particle, making exact simulations on classical computers inefficient. [26]
Efficient quantum algorithms for chemistry problems are expected to have run-times and resource requirements that scale polynomially with system size and desired accuracy. Experimental efforts have validated proof-of-principle chemistry calculations, though currently limited to small systems.
Main Article: Unitary transformation (quantum mechanics)
One of the problems with hamiltonian simulation is the computational complexity inherent to its formation. Qubitization is a mathematical and algorithmic concept in quantum computing to the simulation of quantum systems via Hamiltonian dynamics. The core idea of qubitization is to encode the problem of Hamiltonian simulation in a way that is more efficiently processable by quantum algorithms. [29]
Qubitization involves a transformation of the Hamiltonian operator, a central object in quantum mechanics representing the total energy of a system. In classical computational terms, a Hamiltonian can be thought of as a matrix describing the energy interactions within a quantum system. The goal of qubitization is to embed this Hamiltonian into a larger, unitary operator, which is a type of operator in quantum mechanics that preserves the norm of vectors upon which it acts. [29] This embedding is crucial for enabling the Hamiltonian's dynamics to be simulated on a quantum computer.
Mathematically, the process of qubitization constructs a unitary operator such that a specific projection of proportional to the Hamiltonian H of interest. This relationship can often be represented as , where is a specific quantum state and is its conjugate transpose. The efficiency of this method comes from the fact that the unitary operator can be implemented on a quantum computer with fewer resources (like qubits and quantum gates) than would be required for directly simulating [29]
A key feature of qubitization is in simulating Hamiltonian dynamics with high precision while reducing the quantum resource overhead. This efficiency is especially beneficial in quantum algorithms where the simulation of complex quantum systems is necessary, such as in quantum chemistry and materials science simulations. Qubitization also develops quantum algorithms for solving certain types of problems more efficiently than classical algorithms. For instance, it has implications for the Quantum Phase Estimation algorithm, which is fundamental in various quantum computing applications, including factoring and solving linear systems of equations.
Gaussian Orbital Basis Sets
Main Article: Basis Set (Chemistry)
In Gaussian orbital basis sets, phase estimation algorithms have been optimized empirically from to where is the number of basis sets. Advanced Hamiltonian simulation algorithms have further reduced the scaling, with the introduction of techniques like Taylor series methods and qubitization, providing more efficient algorithms with reduced computational requirements.
Plane Wave Basis Sets
Main Article: Basis Set (Chemistry)
Plane wave basis sets, suitable for periodic systems, have also seen advancements in algorithm efficiency, with improvements in product formula-based approaches and Taylor series methods.
For the foundational recap of the quantum fourier transform Quantum Fourier Transform
Main Article: Quantum Phase Estimation Algorithm
Phase estimation, as proposed by Kitaev in 1995, identifies the lowest energy eigenstate ( ) and excited states ( ) of a physical Hamiltonian, as detailed by Abrams and Lloyd in 1999. In quantum computational chemistry, this technique is employed to encode fermionic Hamiltonians into a qubit framework.
1. Initialization: The qubit register is initialized in a state , which has a nonzero overlap with the Full Configuration Interaction (FCI) target eigenstate of the system. [30] This state is expressed as a sum over the energy eigenstates of the Hamiltonian , , where represents complex coefficients.
2. Application of Hadamard Gates: Each ancilla qubit undergoes a Hadamard gate application, placing the ancilla register in a superposed state. [30] Subsequently, controlled gates, as shown above, modify this state.
3. Inverse Quantum Fourier Transform: This transform is applied to the ancilla qubits, revealing the phase information that encodes the energy eigenvalues. [30]
4. Measurement: The ancilla qubits are measured in the Z basis, collapsing the main register into the corresponding energy eigenstate based on the probability . [30]
The algorithm requires ancilla qubits, with their number determined by the desired precision and success probability of the energy estimate. Obtaining a binary energy estimate precise to n bits with a success probability necessitates ancilla qubits. This phase estimation has been validated experimentally across various quantum architectures.
The total coherent time evolution required for the algorithm is approximately . [32] The total evolution time is related to the binary precision , with an expected repeat of the procedure for accurate ground state estimation. Errors in the algorithm include errors in energy eigenvalue estimation (), unitary evolutions (), and circuit synthesis errors (), which can be quantified using techniques like the Solovay-Kitaev theorem. [33]
The phase estimation algorithm can be enhanced or altered in several ways, such as using a single ancilla qubit for sequential measurements, increasing efficiency, parallelization, or enhancing noise resilience in analytical chemistry. [34] The algorithm can also be scaled using classically obtained knowledge about energy gaps between states.
Effective state preparation is needed, as a randomly chosen state would exponentially decrease the probability of collapsing to the desired ground state. Various methods for state preparation have been proposed, including classical approaches and quantum techniques like adiabatic state preparation. [35]
Main Article: Variational Quantum Eigensolver
Overview:
The Variational Quantum Eigensolver is an innovative algorithm in quantum computing, crucial for near-term quantum hardware. [36] Initially proposed by Peruzzo et al. in 2014 and further developed by McClean et al. in 2016, VQE is integral in finding the lowest eigenvalue of Hamiltonians, particularly those in chemical systems. It employs the Variational method (quantum mechanics), which guarantees that the expectation value of the Hamiltonian for any parameterized trial wave function is at least the lowest energy eigenvalue of that Hamiltonian. [37] This principle is fundamental in VQE's strategy to optimize parameters and find the ground state energy. VQE is a hybrid algorithm that utilizes both quantum and classical computers. The quantum computer prepares and measures the quantum state, while the classical computer processes these measurements and updates the system. This synergy allows VQE to overcome some limitations of purely quantum methods.
1-RDM and 2-RDM Calculation:
For terminology see: Density Matrix
The reduced density matrices (1-RDM and 2-RDM) can be used to extrapolate the electronic structure of a system. [38]
Ground State Energy Extrapolation:
In the Hamiltonian variational ansatz, the initial state is prepared to represent the ground state of the molecular Hamiltonian without electron correlations. The evolution of this state under the Hamiltonian, split into commuting segments , is given by:
where are variational parameters optimized to minimize the energy, providing insights into the electronic structure of the molecule.
Measurement Scaling:
McClean et al. (2016) and Romero et al. (2019) proposed a formula to estimate the number of measurements ( ) required for energy precision. The formula is given by , where are coefficients of each Pauli string in the Hamiltonian. This leads to a scaling of in a Gaussian orbital basis and in a plane wave dual basis. [39] [40] Note that is the number of basis functions in the chosen basis set.
Fermionic Level Grouping:
A method by Bonet-Monroig, Babbush, and O’Brien (2019) focuses on grouping terms at a fermionic level rather than a qubit level, leading to a measurement requirement of only circuits with an additional gate depth of . [41]
Limitations of VQE
While VQE's application in solving the electronic Schrödinger equation for small molecules has shown success, its scalability is hindered by two main challenges: the complexity of the quantum circuits required and the intricacies involved in the classical optimization process. These challenges are significantly influenced by the choice of the variational ansatz, which is used to construct the trial wave function. Consequently, the development of an efficient ansatz is a key focus in current research. Modern quantum computers face limitations in running deep quantum circuits, especially when using the existing ansatzes for problems that exceed several qubits.
Also see: Jordan-Wigner Transformations
Jordan-Wigner encoding is a fundamental method in quantum computing, extensively used for simulating fermionic systems like molecular orbitals and electron interactions in quantum chemistry. [42]
Overview:
In quantum chemistry, electrons are modeled as fermions with antisymmetric wave functions. The Jordan-Wigner encoding maps these fermionic orbitals to qubits, preserving their antisymmetric nature. Mathematically, this is achieved by associating each fermionic creation and annihilation operator with corresponding qubit operators through the Jordan-Wigner transformation:
Where , , and are Pauli matrices acting on the qubit.
Electron Hopping
Electron hopping between orbitals, central to chemical bonding and reactions, is represented by terms like . Under Jordan-Wigner encoding, these transform as follows: [43]
This transformation captures the quantum mechanical behavior of electron movement and interaction within molecules. [44]
Computational Complexity in Molecular Systems
The complexity of simulating a molecular system using Jordan-Wigner encoding is influenced by the structure of the molecule and the nature of electron interactions. For a molecular system with orbitals, the number of required qubits scales linearly with , but the complexity of gate operations depends on the specific interactions being modeled.
The Jordan-Wigner transformation encodes fermionic operators into qubit operators, but it introduces non-local string operators that can make simulations inefficient. [45] The FSWAP gate is used to mitigate this inefficiency by rearranging the ordering of fermions (or their qubit representations), thus simplifying the implementation of fermionic operations.
FSWAP networks rearrange qubits to efficiently simulate electron dynamics in molecules. [46] These networks are essential for reducing the gate complexity in simulations, especially for non-neighboring electron interactions.
When two fermionic modes (represented as qubits after the Jordan-Wigner transformation) are swapped, the FSWAP gate not only exchanges their states but also correctly updates the phase of the wavefunction to maintain fermionic antisymmetry. [47] This is in contrast to the standard SWAP gate, which does not account for the phase change required in the antisymmetric wavefunctions of fermions.
The use of FSWAP gates can significantly reduce the complexity of quantum circuits for simulating fermionic systems. [48] By intelligently rearranging the fermions, the number of gates required to simulate certain fermionic operations can be reduced, leading to more efficient simulations. This is particularly useful in simulations where fermions need to be moved across large distances within the system, as it can avoid the need for long chains of operations that would otherwise be required.
![]() | This is the sandbox page where you will draft your initial Wikipedia contribution.
If you're starting a new article, you can develop it here until it's ready to go live. If you're working on improvements to an existing article, copy only one section at a time of the article to this sandbox to work on, and be sure to use an edit summary linking to the article you copied from. Do not copy over the entire article. You can find additional instructions here. Remember to save your work regularly using the "Publish page" button. (It just means 'save'; it will still be in the sandbox.) You can add bold formatting to your additions to differentiate them from existing content. |
{{
cite journal}}
: Check date values in: |date=
(
help)
{{
cite journal}}
: CS1 maint: unflagged free DOI (
link)
{{
citation}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link) CS1 maint: unflagged free DOI (
link)
{{
cite journal}}
: Check date values in: |date=
(
help)CS1 maint: PMC format (
link)
{{
cite journal}}
: Check date values in: |date=
(
help)CS1 maint: PMC format (
link) CS1 maint: unflagged free DOI (
link)
{{
cite journal}}
: CS1 maint: unflagged free DOI (
link)
{{
cite book}}
: |edition=
has extra text (
help)
{{
cite journal}}
: CS1 maint: PMC format (
link)
{{
cite journal}}
: CS1 maint: PMC format (
link)