-
Majorana Tensor Decomposition: A unifying framework for decompositions of fermionic Hamiltonians to Linear Combination of Unitaries
Authors:
Ignacio Loaiza,
Artur F. Izmaylov
Abstract:
Linear combination of unitaries (LCU) decompositions have appeared as one of the main tools for encoding operators on quantum computers, allowing efficient implementations of arbitrary operators. In particular, LCU approaches present a way of encoding information from the electronic structure Hamiltonian into a quantum circuit. Over the past years, many different decomposition techniques have appe…
▽ More
Linear combination of unitaries (LCU) decompositions have appeared as one of the main tools for encoding operators on quantum computers, allowing efficient implementations of arbitrary operators. In particular, LCU approaches present a way of encoding information from the electronic structure Hamiltonian into a quantum circuit. Over the past years, many different decomposition techniques have appeared for the electronic structure Hamiltonian. Here we present the Majorana Tensor Decomposition (MTD), a framework that unifies existing LCUs and offers novel decomposition methods by using popular low-rank tensor factorizations.
△ Less
Submitted 10 July, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Probing Quantum Efficiency: Exploring System Hardness in Electronic Ground State Energy Estimation
Authors:
Seonghoon Choi,
Ignacio Loaiza,
Robert A. Lang,
Luis A. Martínez-Martínez,
Artur F. Izmaylov
Abstract:
We consider the question of how correlated the system hardness is between classical algorithms of electronic structure theory in ground state estimation and quantum algorithms. To define the system hardness for classical algorithms we employ empirical criterion based on the deviation of electronic energies produced by coupled cluster and configuration interaction methods from the exact ones along…
▽ More
We consider the question of how correlated the system hardness is between classical algorithms of electronic structure theory in ground state estimation and quantum algorithms. To define the system hardness for classical algorithms we employ empirical criterion based on the deviation of electronic energies produced by coupled cluster and configuration interaction methods from the exact ones along multiple bonds dissociation in a set of molecular systems. For quantum algorithms, we have selected the Variational Quantum Eigensolver (VQE) and Quantum Phase Estimation (QPE) methods. As characteristics of the system hardness for quantum methods, we analyzed circuit depths for the state preparation, the number of quantum measurements needed for the energy expectation value, and various cost characteristics for the Hamiltonian encodings via Trotter approximation and linear combination of unitaries (LCU). Our results show that the quantum resource requirements are mostly unaffected by classical hardness, with the only exception being the state preparation part, which contributes to both VQE and QPE algorithm costs. However, there are clear indications that constructing the initial state with a significant overlap with the true ground state (>10%) is easier than obtaining the state with an energy expectation value within chemical precision. These results support optimism regarding the identification of a molecular system where a quantum algorithm excels over its classical counterpart, as quantum methods can maintain efficiency in classically challenging systems.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Fluid fermionic fragments for optimizing quantum measurements of electronic Hamiltonians in the variational quantum eigensolver
Authors:
Seonghoon Choi,
Ignacio Loaiza,
Artur F. Izmaylov
Abstract:
Measuring the expectation value of the molecular electronic Hamiltonian is one of the challenging parts of the variational quantum eigensolver. A widely used strategy is to express the Hamiltonian as a sum of measurable fragments using fermionic operator algebra. Such fragments have an advantage of conserving molecular symmetries that can be used for error mitigation. The number of measurements re…
▽ More
Measuring the expectation value of the molecular electronic Hamiltonian is one of the challenging parts of the variational quantum eigensolver. A widely used strategy is to express the Hamiltonian as a sum of measurable fragments using fermionic operator algebra. Such fragments have an advantage of conserving molecular symmetries that can be used for error mitigation. The number of measurements required to obtain the Hamiltonian expectation value is proportional to a sum of fragment variances. Here, we introduce a new method for lowering the fragments' variances by exploiting flexibility in the fragments' form. Due to idempotency of the occupation number operators, some parts of two-electron fragments can be turned into one-electron fragments, which then can be partially collected in a purely one-electron fragment. This repartitioning does not affect the expectation value of the Hamiltonian but has non-vanishing contributions to the variance of each fragment. The proposed method finds the optimal repartitioning by employing variances estimated using a classically efficient proxy for the quantum wavefunction. Numerical tests on several molecules show that repartitioning of one-electron terms lowers the number of measurements by more than an order of magnitude.
△ Less
Submitted 29 December, 2022; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Reducing molecular electronic Hamiltonian simulation cost for Linear Combination of Unitaries approaches
Authors:
Ignacio Loaiza,
Alireza Marefat Khah,
Nathan Wiebe,
Artur F. Izmaylov
Abstract:
We consider different Linear Combination of Unitaries (LCU) decompositions for molecular electronic structure Hamiltonians. Using these LCU decompositions for Hamiltonian simulation on a quantum computer, the main figure of merit is the 1-norm of their coefficients, which is associated with the quantum circuit complexity. It is derived that the lowest possible LCU 1-norm for a given Hamiltonian is…
▽ More
We consider different Linear Combination of Unitaries (LCU) decompositions for molecular electronic structure Hamiltonians. Using these LCU decompositions for Hamiltonian simulation on a quantum computer, the main figure of merit is the 1-norm of their coefficients, which is associated with the quantum circuit complexity. It is derived that the lowest possible LCU 1-norm for a given Hamiltonian is half of its spectral range. This lowest norm decomposition is practically unattainable for general Hamiltonians; therefore, multiple practical techniques to generate LCU decompositions are proposed and assessed. A technique using symmetries to reduce the 1-norm further is also introduced. In addition to considering LCU in the Schrödinger picture, we extend it to the interaction picture, which substantially further reduces the 1-norm.
△ Less
Submitted 10 February, 2023; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Are neighbourhood amenities associated with more walking and less driving? Yes, but only for the wealthy
Authors:
Samuel Heroy,
Isabella Loaiza,
Alex Pentland,
Neave O'Clery
Abstract:
Cities are home to a vast array of amenities, from local barbers to science museums and shop** malls. But these are inequality distributed across urban space. Using Google Places data combined with trip-based mobility data for Bogotá, Colombia, we shed light on the impact of neighbourhood amenities on urban mobility patterns. Deriving a new accessibility metric that explicitly takes into account…
▽ More
Cities are home to a vast array of amenities, from local barbers to science museums and shop** malls. But these are inequality distributed across urban space. Using Google Places data combined with trip-based mobility data for Bogotá, Colombia, we shed light on the impact of neighbourhood amenities on urban mobility patterns. Deriving a new accessibility metric that explicitly takes into account spatial range, we find that a higher density of local amenities is associated a higher likelihood of walking as well as shorter bus and car trips. Digging deeper, we use a sample stratification framework to show that socioeconomic status (SES) modulates these effects. Amenities within about a 1km radius are strongly associated with a higher propensity to walk and lower driving time only for only the wealthiest group. In contrast, a higher density of amenities is associated with shorter bus trips for low and middle SES residents. As cities globally aim to boost public transport and green travel, these findings enable us to better understand how commercial structure shapes urban mobility in highly income-segregated settings.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Computational approaches to efficient generation of the stationary state for incoherent light excitation
Authors:
Ignacio Loaiza,
Artur F. Izmaylov,
Paul Brumer
Abstract:
Light harvesting processes are often computationally studied from a time-dependent viewpoint, in line with ultrafast coherent spectroscopy experiments. Yet, natural processes take place in the presence of incoherent light, which induces a stationary state. Such stationary states can be described using the eigenbasis of the molecular Hamiltonian, but for realistic systems a full diagonalization is…
▽ More
Light harvesting processes are often computationally studied from a time-dependent viewpoint, in line with ultrafast coherent spectroscopy experiments. Yet, natural processes take place in the presence of incoherent light, which induces a stationary state. Such stationary states can be described using the eigenbasis of the molecular Hamiltonian, but for realistic systems a full diagonalization is prohibitively expensive. We propose three efficient computational approaches to obtaining the stationary state that circumvent system Hamiltonian diagonalization. The connection between the incoherent perturbations, decoherence, and Kraus operators is established.
△ Less
Submitted 7 March, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
COVID-19 policy analysis: labour structure dictates lockdown mobility behaviour
Authors:
Samuel Heroy,
Isabella Loaiza,
Alexander Pentland,
Neave O'Clery
Abstract:
Countries and cities around the world have resorted to unprecedented mobility restrictions to combat Covid-19 transmission. Here we exploit a natural experiment whereby Colombian cities implemented varied lockdown policies based on ID number and gender to analyse the impact of these policies on urban mobility. Using mobile phone data, we find that the restrictiveness of cities' mobility quotas (th…
▽ More
Countries and cities around the world have resorted to unprecedented mobility restrictions to combat Covid-19 transmission. Here we exploit a natural experiment whereby Colombian cities implemented varied lockdown policies based on ID number and gender to analyse the impact of these policies on urban mobility. Using mobile phone data, we find that the restrictiveness of cities' mobility quotas (the share of residents allowed out daily according to policy advice) does not correlate with mobility reduction Instead, we find that larger, wealthier cities with more formalized and complex industrial structure experienced greater reductions in mobility. Within cities, wealthier residents are more likely to reduce mobility, and commuters are especially more likely to stay home when their work is located in wealthy or commercially/industrially formalized neighbourhoods..Hence, our results indicate that cities' employment characteristics and work-from-home capabilities are the primary determinants of mobility reduction. This finding underscores the need for mitigations aimed at lower income/informal workers, and sheds light on critical dependencies between socioeconomic classes in Latin American cities.
△ Less
Submitted 5 April, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
On the Breakdown of the Ehrenfest Method for Molecular Dynamics on Surfaces
Authors:
Ignacio Loaiza,
Artur F. Izmaylov
Abstract:
Due to a continuum of electronic states present in periodic systems, the description of molecular dynamics on surfaces poses a serious computational challenge. One of the most used families of approaches in these settings are friction theories, which are based on the Ehrenfest (EH) approach. Yet, a mean-field treatment of electronic degrees of freedom in the EH method makes this approach inaccurat…
▽ More
Due to a continuum of electronic states present in periodic systems, the description of molecular dynamics on surfaces poses a serious computational challenge. One of the most used families of approaches in these settings are friction theories, which are based on the Ehrenfest (EH) approach. Yet, a mean-field treatment of electronic degrees of freedom in the EH method makes this approach inaccurate in some cases. Our aim is to clarify when EH breaks down for molecular dynamics on surfaces. Answering this question provides limits of applicability for more approximate friction theories derived from EH. We assess the EH method on one-dimensional, numerically exactly solvable models with a large but finite number of electronic states. Using the Landau-Zener formula and the Massey parameter, an expression that determines when EH breaks down is deduced.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.