-
The Electronic Structure of the Hydrogen Molecule: A Tutorial Exercise in Classical and Quantum Computation
Authors:
Vincent Graves,
Christoph Sünderhauf,
Nick S. Blunt,
Róbert Izsák,
Milán Szőri
Abstract:
In this educational paper, we will discuss calculations on the hydrogen molecule both on classical and quantum computers. In the former case, we will discuss the calculation of molecular integrals that can then be used to calculate potential energy curves at the Hartree--Fock level and to correct them by obtaining the exact results for all states in the minimal basis. Some aspects of spin-symmetry…
▽ More
In this educational paper, we will discuss calculations on the hydrogen molecule both on classical and quantum computers. In the former case, we will discuss the calculation of molecular integrals that can then be used to calculate potential energy curves at the Hartree--Fock level and to correct them by obtaining the exact results for all states in the minimal basis. Some aspects of spin-symmetry will also be discussed. In the case of quantum computing, we will start out from the second-quantized Hamiltonian and qubit map**s. Using quantum phase estimation, we then provide the circuits for two different algorithms: Trotteization and qubitization. Finally, the significance of quantum error correction will be briefly discussed.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Statistical phase estimation and error mitigation on a superconducting quantum processor
Authors:
Nick S. Blunt,
Laura Caune,
Róbert Izsák,
Earl T. Campbell,
Nicole Holzmann
Abstract:
Quantum phase estimation (QPE) is a key quantum algorithm, which has been widely studied as a method to perform chemistry and solid-state calculations on future fault-tolerant quantum computers. Recently, several authors have proposed statistical alternatives to QPE that have benefits on early fault-tolerant devices, including shorter circuits and better suitability for error mitigation techniques…
▽ More
Quantum phase estimation (QPE) is a key quantum algorithm, which has been widely studied as a method to perform chemistry and solid-state calculations on future fault-tolerant quantum computers. Recently, several authors have proposed statistical alternatives to QPE that have benefits on early fault-tolerant devices, including shorter circuits and better suitability for error mitigation techniques. However, practical implementations of the algorithm on real quantum processors are lacking. In this paper we practically implement statistical phase estimation on Rigetti's superconducting processors. We specifically use the method of Lin and Tong [PRX Quantum 3, 010318 (2022)] using the improved Fourier approximation of Wan et al. [PRL 129, 030503 (2022)], and applying a variational compilation technique to reduce circuit depth. We then incorporate error mitigation strategies including zero-noise extrapolation and readout error mitigation with bit-flip averaging. We propose a simple method to estimate energies from the statistical phase estimation data, which is found to improve the accuracy in final energy estimates by one to two orders of magnitude with respect to prior theoretical bounds, reducing the cost to perform accurate phase estimation calculations. We apply these methods to chemistry problems for active spaces up to 4 electrons in 4 orbitals, including the application of a quantum embedding method, and use them to correctly estimate energies within chemical precision. Our work demonstrates that statistical phase estimation has a natural resilience to noise, particularly after mitigating coherent errors, and can achieve far higher accuracy than suggested by previous analysis, demonstrating its potential as a valuable quantum algorithm for early fault-tolerant devices.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Measuring Electron Correlation. The Impact of Symmetry and Orbital Transformations
Authors:
Róbert Izsák,
Aleksei V Ivanov,
Nick S. Blunt,
Nicole Holzmann,
Frank Neese
Abstract:
In this perspective, the various measures of electron correlation used in wavefunction theory, density functional theory and quantum information theory are briefly reviewed. We then focus on a more traditional metric based on dominant weights in the full configuration solution and discuss its behaviour with respect to the choice of the $N$-electron and the one-electron basis. The impact of symmetr…
▽ More
In this perspective, the various measures of electron correlation used in wavefunction theory, density functional theory and quantum information theory are briefly reviewed. We then focus on a more traditional metric based on dominant weights in the full configuration solution and discuss its behaviour with respect to the choice of the $N$-electron and the one-electron basis. The impact of symmetry is discussed and we emphasize that the distinction between determinants, configuration state functions and configurations as reference functions is useful because the latter incorporate spin-coupling into the reference and should thus reduce the complexity of the wavefunction expansion. The corresponding notions of single determinant, single spin-coupling and single configuration wavefunctions are discussed and the effect of orbital rotations on the multireference character is reviewed by analysing a simple model system. In molecular systems, the extent of correlation effects should be limited by finite system size and in most cases the appropriate choices of one-electron and $N$-electron bases should be able to incorporate these into a low-complexity reference function, often a single configurational one.
△ Less
Submitted 6 April, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
A perspective on the current state-of-the-art of quantum computing for drug discovery applications
Authors:
Nick S. Blunt,
Joan Camps,
Ophelia Crawford,
Róbert Izsák,
Sebastian Leontica,
Arjun Mirani,
Alexandra E. Moylett,
Sam A. Scivier,
Christoph Sünderhauf,
Patrick Schopf,
Jacob M. Taylor,
Nicole Holzmann
Abstract:
Computational chemistry is an essential tool in the pharmaceutical industry. Quantum computing is a fast evolving technology that promises to completely shift the computational capabilities in many areas of chemical research by bringing into reach currently impossible calculations. This perspective illustrates the near-future applicability of quantum computation to pharmaceutical problems. We brie…
▽ More
Computational chemistry is an essential tool in the pharmaceutical industry. Quantum computing is a fast evolving technology that promises to completely shift the computational capabilities in many areas of chemical research by bringing into reach currently impossible calculations. This perspective illustrates the near-future applicability of quantum computation to pharmaceutical problems. We briefly summarize and compare the scaling properties of state-of-the-art quantum algorithms, and provide novel estimates of the quantum computational cost of simulating progressively larger embedding regions of a pharmaceutically relevant covalent protein-drug complex involving the drug Ibrutinib. Carrying out these calculations requires an error-corrected quantum architecture, that we describe. Our estimates showcase that recent developments on quantum algorithms have dramatically reduced the quantum resources needed to run fully quantum calculations in active spaces of around 50 orbitals and electrons, from estimated over 1000 years using the Trotterisation approach to just a few days with sparse qubitisation, painting a picture of fast and exciting progress in this nascent field.
△ Less
Submitted 20 March, 2023; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Quantum Computing in Pharma: A Multilayer Embedding Approach for Near Future Applications
Authors:
Robert Izsak,
Christoph Riplinger,
Nick S. Blunt,
Bernardo de Souza,
Nicole Holzmann,
Ophelia Crawford,
Joan Camps,
Frank Neese,
Patrick Schopf
Abstract:
Quantum computers are special purpose machines that are expected to be particularly useful in simulating strongly correlated chemical systems. The quantum computer excels at treating a moderate number of orbitals within an active space in a fully quantum mechanical manner. We present a quantum phase estimation calculation on F$_2$ in a (2,2) active space on Rigetti's Aspen-11 QPU. While this is a…
▽ More
Quantum computers are special purpose machines that are expected to be particularly useful in simulating strongly correlated chemical systems. The quantum computer excels at treating a moderate number of orbitals within an active space in a fully quantum mechanical manner. We present a quantum phase estimation calculation on F$_2$ in a (2,2) active space on Rigetti's Aspen-11 QPU. While this is a promising start, it also underlines the need for carefully selecting the orbital spaces treated by the quantum computer. In this work, a scheme for selecting such an active space automatically is described and simulated results obtained using both the quantum phase estimation (QPE) and variational quantum eigensolver (VQE) algorithms are presented and combined with a subtractive method to enable accurate description of the environment. The active occupied space is selected from orbitals localized on the chemically relevant fragment of the molecule, while the corresponding virtual space is chosen based on the magnitude of interactions with the occupied space calculated from perturbation theory. This protocol is then applied to two chemical systems of pharmaceutical relevance: the enzyme [Fe] hydrogenase and the photosenzitizer temoporfin. While the sizes of the active spaces currently amenable to a quantum computational treatment are not enough to demonstrate quantum advantage, the procedure outlined here is applicable to any active space size, including those that are outside the reach of classical computation.
△ Less
Submitted 4 June, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Cooperative Games with Bounded Dependency Degree
Authors:
Ayumi Igarashi,
Rani Izsak,
Edith Elkind
Abstract:
Cooperative games provide a framework to study cooperation among self-interested agents. They offer a number of solution concepts describing how the outcome of the cooperation should be shared among the players. Unfortunately, computational problems associated with many of these solution concepts tend to be intractable---NP-hard or worse. In this paper, we incorporate complexity measures recently…
▽ More
Cooperative games provide a framework to study cooperation among self-interested agents. They offer a number of solution concepts describing how the outcome of the cooperation should be shared among the players. Unfortunately, computational problems associated with many of these solution concepts tend to be intractable---NP-hard or worse. In this paper, we incorporate complexity measures recently proposed by Feige and Izsak (2013), called dependency degree and supermodular degree, into the complexity analysis of cooperative games. We show that many computational problems for cooperative games become tractable for games whose dependency degree or supermodular degree are bounded. In particular, we prove that simple games admit efficient algorithms for various solution concepts when the supermodular degree is small; further, we show that computing the Shapley value is always in FPT with respect to the dependency degree. Finally, we note that, while determining the dependency among players is computationally hard, there are efficient algorithms for special classes of games.
△ Less
Submitted 27 November, 2017; v1 submitted 20 November, 2017;
originally announced November 2017.
-
Building a Good Team: Secretary Problems and the Supermodular Degree
Authors:
Moran Feldman,
Rani Izsak
Abstract:
In the Secretary Problem, one has to hire the best among n candidates. The candidates are interviewed, one at a time, at a random order, and one has to decide on the spot, whether to hire a candidate or continue interviewing. It is well known that the best candidate can be hired with a probability of 1/e (Dynkin, 1963). Recent works extend this problem to settings in which multiple candidates can…
▽ More
In the Secretary Problem, one has to hire the best among n candidates. The candidates are interviewed, one at a time, at a random order, and one has to decide on the spot, whether to hire a candidate or continue interviewing. It is well known that the best candidate can be hired with a probability of 1/e (Dynkin, 1963). Recent works extend this problem to settings in which multiple candidates can be hired, subject to some constraint. Here, one wishes to hire a set of candidates maximizing a given set function.
Almost all extensions considered in the literature assume the objective set function is either linear or submodular. Unfortunately, real world functions might not have either of these properties. Consider, for example, a scenario where one hires researchers for a project. Indeed, it can be that some researchers can substitute others for that matter. However, it can also be that some combinations of researchers result in synergy (see, e.g, Woolley et al., Science 2010, for a research about collective intelligence). The first phenomenon can be modeled by a submoudlar set function, while the latter cannot.
In this work, we study the secretary problem with an arbitrary non-negative monotone function, subject to a general matroid constraint. It is not difficult to prove that, generally, only very poor results can be obtained for this class of objective functions. We tackle this hardness by combining the following: 1.Parametrizing our algorithms by the supermodular degree of the objective function (defined by Feige and Izsak, ITCS 2013), which, roughly speaking, measures the distance of a function from being submodular. 2.Suggesting an (arguably) natural model that permits approximation guarantees that are polynomial in the supermodular degree (as opposed to the standard model which allows only exponential guarantees).
△ Less
Submitted 22 July, 2015;
originally announced July 2015.
-
A Unifying Hierarchy of Valuations with Complements and Substitutes
Authors:
Uriel Feige,
Michal Feldman,
Nicole Immorlica,
Rani Izsak,
Brendan Lucier,
Vasilis Syrgkanis
Abstract:
We introduce a new hierarchy over monotone set functions, that we refer to as $\mathcal{MPH}$ (Maximum over Positive Hypergraphs). Levels of the hierarchy correspond to the degree of complementarity in a given function. The highest level of the hierarchy, $\mathcal{MPH}$-$m$ (where $m$ is the total number of items) captures all monotone functions. The lowest level, $\mathcal{MPH}$-$1$, captures al…
▽ More
We introduce a new hierarchy over monotone set functions, that we refer to as $\mathcal{MPH}$ (Maximum over Positive Hypergraphs). Levels of the hierarchy correspond to the degree of complementarity in a given function. The highest level of the hierarchy, $\mathcal{MPH}$-$m$ (where $m$ is the total number of items) captures all monotone functions. The lowest level, $\mathcal{MPH}$-$1$, captures all monotone submodular functions, and more generally, the class of functions known as $\mathcal{XOS}$. Every monotone function that has a positive hypergraph representation of rank $k$ (in the sense defined by Abraham, Babaioff, Dughmi and Roughgarden [EC 2012]) is in $\mathcal{MPH}$-$k$. Every monotone function that has supermodular degree $k$ (in the sense defined by Feige and Izsak [ITCS 2013]) is in $\mathcal{MPH}$-$(k+1)$. In both cases, the converse direction does not hold, even in an approximate sense. We present additional results that demonstrate the expressiveness power of $\mathcal{MPH}$-$k$.
One can obtain good approximation ratios for some natural optimization problems, provided that functions are required to lie in low levels of the $\mathcal{MPH}$ hierarchy. We present two such applications. One shows that the maximum welfare problem can be approximated within a ratio of $k+1$ if all players hold valuation functions in $\mathcal{MPH}$-$k$. The other is an upper bound of $2k$ on the price of anarchy of simultaneous first price auctions.
Being in $\mathcal{MPH}$-$k$ can be shown to involve two requirements -- one is monotonicity and the other is a certain requirement that we refer to as $\mathcal{PLE}$ (Positive Lower Envelope). Removing the monotonicity requirement, one obtains the $\mathcal{PLE}$ hierarchy over all non-negative set functions (whether monotone or not), which can be fertile ground for further research.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Constrained Monotone Function Maximization and the Supermodular Degree
Authors:
Moran Feldman,
Rani Izsak
Abstract:
The problem of maximizing a constrained monotone set function has many practical applications and generalizes many combinatorial problems. Unfortunately, it is generally not possible to maximize a monotone set function up to an acceptable approximation ratio, even subject to simple constraints. One highly studied approach to cope with this hardness is to restrict the set function. An outstanding d…
▽ More
The problem of maximizing a constrained monotone set function has many practical applications and generalizes many combinatorial problems. Unfortunately, it is generally not possible to maximize a monotone set function up to an acceptable approximation ratio, even subject to simple constraints. One highly studied approach to cope with this hardness is to restrict the set function. An outstanding disadvantage of imposing such a restriction on the set function is that no result is implied for set functions deviating from the restriction, even slightly. A more flexible approach, studied by Feige and Izsak, is to design an approximation algorithm whose approximation ratio depends on the complexity of the instance, as measured by some complexity measure. Specifically, they introduced a complexity measure called supermodular degree, measuring deviation from submodularity, and designed an algorithm for the welfare maximization problem with an approximation ratio that depends on this measure.
In this work, we give the first (to the best of our knowledge) algorithm for maximizing an arbitrary monotone set function, subject to a k-extendible system. This class of constraints captures, for example, the intersection of k-matroids (note that a single matroid constraint is sufficient to capture the welfare maximization problem). Our approximation ratio deteriorates gracefully with the complexity of the set function and k. Our work can be seen as generalizing both the classic result of Fisher, Nemhauser and Wolsey, for maximizing a submodular set function subject to a k-extendible system, and the result of Feige and Izsak for the welfare maximization problem. Moreover, when our algorithm is applied to each one of these simpler cases, it obtains the same approximation ratio as of the respective original work.
△ Less
Submitted 28 August, 2014; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Determining the 7Li(n,gamma) cross section via Coulomb dissociation of 8Li
Authors:
R. Izsak,
A. Horvath,
A. Kiss,
Z. Seres,
A. Galonsky,
C. A. Bertulani,
Zs. Fulop,
T. Baumann,
D. Bazin,
K. Ieki,
C. Bordeanu,
N. Carlin,
M. Csanad,
F. Deak,
P. DeYoung,
N. Frank,
T. Fukuchi,
A. Gade,
D. Galaviz,
C. R. Hoffman,
W. A. Peters,
H. Schelin,
M. Thoennessen,
G. I. Veres
Abstract:
The applicability of Coulomb dissociation reactions to determine the cross section for the inverse neutron capture reaction was explored using the reaction 8Li(gamma,n)7Li. A 69.5 MeV/nucleon 8Li beam was incident on a Pb target, and the outgoing neutron and 7Li nucleus were measured in coincidence. The deduced (n,gamma) excitation function is consistent with data for the direct capture reaction 7…
▽ More
The applicability of Coulomb dissociation reactions to determine the cross section for the inverse neutron capture reaction was explored using the reaction 8Li(gamma,n)7Li. A 69.5 MeV/nucleon 8Li beam was incident on a Pb target, and the outgoing neutron and 7Li nucleus were measured in coincidence. The deduced (n,gamma) excitation function is consistent with data for the direct capture reaction 7Li(n,gamma)8Li and with low-energy effective field theory calculations.
△ Less
Submitted 12 December, 2013;
originally announced December 2013.
-
Rock-scissors-paper game on regular small-world networks
Authors:
Gyorgy Szabo,
Attila Szolnoki,
Rudolf Izsak
Abstract:
The spatial rock-scissors-paper game (or cyclic Lotka-Volterra system) is extended to study how the spatiotemporal patterns are affected by the constructed backgrounds providing uniform number of neighbors (degree) at each site. On the square lattice this system exhibits a self-organizing pattern with equal concentration of the competing strategies (species). If the quenched background is constr…
▽ More
The spatial rock-scissors-paper game (or cyclic Lotka-Volterra system) is extended to study how the spatiotemporal patterns are affected by the constructed backgrounds providing uniform number of neighbors (degree) at each site. On the square lattice this system exhibits a self-organizing pattern with equal concentration of the competing strategies (species). If the quenched background is constructed by substituting random links for the nearest neighbor bonds of a square lattice then a limit cycle occurs when the portion of random links exceeds a threshold value. This transition can also be observed if the standard link is replaced temporarily by a random one with a probability $P$ at each step of iteration. Above a second threshold value of $P$ the amplitude of global oscillation increases with time and finally the system reaches one of the homogeneous (absorbing) states. In this case the results of Monte Carlo simulations are compared with the predictions of the dynamical cluster technique evaluating all the configuration probabilities on one-, two-, four-, and six-site clusters.
△ Less
Submitted 20 January, 2004; v1 submitted 7 May, 2003;
originally announced May 2003.