-
Nonlinear Spectroscopy via Generalized Quantum Phase Estimation
Authors:
Ignacio Loaiza,
Danial Motlagh,
Kasra Hejazi,
Modjtaba Shokrian Zini,
Alain Delgado,
Juan Miguel Arrazola
Abstract:
Response theory has a successful history of connecting experimental observations with theoretical predictions. Of particular interest is the optical response of matter, from which spectroscopy experiments can be modelled. However, the calculation of response properties for quantum systems is often prohibitively expensive, especially for nonlinear spectroscopy, as it requires access to either the t…
▽ More
Response theory has a successful history of connecting experimental observations with theoretical predictions. Of particular interest is the optical response of matter, from which spectroscopy experiments can be modelled. However, the calculation of response properties for quantum systems is often prohibitively expensive, especially for nonlinear spectroscopy, as it requires access to either the time evolution of the system or to excited states. In this work, we introduce a generalized quantum phase estimation framework designed for multi-variate phase estimation. This allows the treatment of general correlation functions enabling the recovery of response properties of arbitrary orders. The generalized quantum phase estimation circuit has an intuitive construction that is linked with a physical process of interest, and can directly sample frequencies from the distribution that would be obtained experimentally. In addition, we provide a single-ancilla modification of the new framework for early fault-tolerant quantum computers. Overall, our framework enables the efficient simulation of spectroscopy experiments beyond the linear regime, such as Raman spectroscopy. This opens up an exciting new field of applications for quantum computers with potential technological impact.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Simulating optically-active spin defects with a quantum computer
Authors:
Jack S. Baker,
Pablo A. M. Casares,
Modjtaba Shokrian Zini,
Jaydeep Thik,
Debasish Banerjee,
Chen Ling,
Alain Delgado,
Juan Miguel Arrazola
Abstract:
There is a pressing need for more accurate computational simulations of the opto-electronic properties of defects in materials to aid in the development of quantum sensing platforms. In this work, we explore how quantum computers could be effectively utilized for this purpose. Specifically, we develop fault-tolerant quantum algorithms to simulate optically active defect states and their radiative…
▽ More
There is a pressing need for more accurate computational simulations of the opto-electronic properties of defects in materials to aid in the development of quantum sensing platforms. In this work, we explore how quantum computers could be effectively utilized for this purpose. Specifically, we develop fault-tolerant quantum algorithms to simulate optically active defect states and their radiative emission rates. We employ quantum defect embedding theory to translate the Hamiltonian of a defect-containing supercell into a smaller, effective Hamiltonian that accounts for dielectric screening effects. Our approach integrates block-encoding of the dipole operator with quantum phase estimation to selectively sample the optically active excited states that exhibit the largest dipole transition amplitudes. We also provide estimates of the quantum resources required to simulate a negatively-charged boron vacancy in a hexagonal boron nitride cluster. We conclude by offering a forward-looking perspective on the potential of quantum computers to enhance quantum sensor capabilities and identify specific scenarios where quantum computing can resolve problems traditionally challenging for classical computers.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Simulating X-ray absorption spectroscopy of battery materials on a quantum computer
Authors:
Stepan Fomichev,
Kasra Hejazi,
Ignacio Loaiza,
Modjtaba Shokrian Zini,
Alain Delgado,
Arne-Christian Voigt,
Jonathan E. Mueller,
Juan Miguel Arrazola
Abstract:
X-ray absorption spectroscopy is a crucial experimental technique for elucidating the mechanisms of structural degradation in battery materials. However, extracting information from the measured spectrum is challenging without high-quality simulations. In this work, we propose simulating near-edge X-ray absorption spectra as a promising application for quantum computing. It is attractive due to th…
▽ More
X-ray absorption spectroscopy is a crucial experimental technique for elucidating the mechanisms of structural degradation in battery materials. However, extracting information from the measured spectrum is challenging without high-quality simulations. In this work, we propose simulating near-edge X-ray absorption spectra as a promising application for quantum computing. It is attractive due to the ultralocal nature of X-ray absorption that significantly reduces the sizes of problems to be simulated, and because of the classical hardness of simulating spectra. We describe three quantum algorithms to compute the X-ray absorption spectrum and provide their asymptotic cost. One of these is a Monte-Carlo based time-domain algorithm, which is cost-friendly to early fault-tolerant quantum computers. We then apply the framework to an industrially relevant example, a CAS(22e,18o) active space for an O-Mn cluster in a Li-excess battery cathode, showing that practically useful simulations could be obtained with much fewer qubits and gates than ground-state energy estimation of the same material.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Ground State Preparation via Dynamical Cooling
Authors:
Danial Motlagh,
Modjtaba Shokrian Zini,
Juan Miguel Arrazola,
Nathan Wiebe
Abstract:
Quantum algorithms for probing ground-state properties of quantum systems require good initial states. Projection-based methods such as eigenvalue filtering rely on inputs that have a significant overlap with the low-energy subspace, which can be challenging for large, strongly-correlated systems. This issue has motivated the study of physically-inspired dynamical approaches such as thermodynamic…
▽ More
Quantum algorithms for probing ground-state properties of quantum systems require good initial states. Projection-based methods such as eigenvalue filtering rely on inputs that have a significant overlap with the low-energy subspace, which can be challenging for large, strongly-correlated systems. This issue has motivated the study of physically-inspired dynamical approaches such as thermodynamic cooling. In this work, we introduce a ground-state preparation algorithm based on the simulation of quantum dynamics. Our main insight is to transform the Hamiltonian by a shifted sign function via quantum signal processing, effectively map** eigenvalues into positive and negative subspaces separated by a large gap. This automatically ensures that all states within each subspace conserve energy with respect to the transformed Hamiltonian. Subsequent time-evolution with a perturbed Hamiltonian induces transitions to lower-energy states while preventing unwanted jumps to higher energy states. The approach does not rely on a priori knowledge of energy gaps and requires no additional qubits to model a bath. Furthermore, it makes $\tilde{\mathcal{O}}(d^{\,3/2}/ε)$ queries to the time-evolution operator of the system and $\tilde{\mathcal{O}}(d^{\,3/2})$ queries to a block-encoding of the perturbation, for $d$ cooling steps and an $ε$-accurate energy resolution. Our results provide a framework for combining quantum signal processing and Hamiltonian simulation to design heuristic quantum algorithms for ground-state preparation.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Quantum simulation of time-dependent Hamiltonians via commutator-free quasi-Magnus operators
Authors:
Pablo Antonio Moreno Casares,
Modjtaba Shokrian Zini,
Juan Miguel Arrazola
Abstract:
Hamiltonian simulation is arguably the most fundamental application of quantum computers. The Magnus operator is a popular method for time-dependent Hamiltonian simulation in computational mathematics, yet its usage requires the implementation of exponentials of commutators, which has previously made it unappealing for quantum computing. The development of commutator-free quasi-Magnus operators (C…
▽ More
Hamiltonian simulation is arguably the most fundamental application of quantum computers. The Magnus operator is a popular method for time-dependent Hamiltonian simulation in computational mathematics, yet its usage requires the implementation of exponentials of commutators, which has previously made it unappealing for quantum computing. The development of commutator-free quasi-Magnus operators (CFQMs) circumvents this obstacle, at the expense of a lack of provable global numeric error bounds. In this work, we establish one such error bound for CFQM-based time-dependent quantum Hamiltonian simulation by carefully estimating the error of each step involved in their definition. This allows us to compare its cost with the alternatives, and show that CFQMs are often the most efficient product-formula technique available by more than an order of magnitude. As a result, we find that CFQMs may be particularly useful to simulate time-dependent Hamiltonians on early fault-tolerant quantum computers.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Better bounds for low-energy product formulas
Authors:
Kasra Hejazi,
Modjtaba Shokrian Zini,
Juan Miguel Arrazola
Abstract:
Product formulas are one of the main approaches for quantum simulation of the Hamiltonian dynamics of a quantum system. Their implementation cost is computed based on error bounds which are often pessimistic, resulting in overestimating the total runtime. In this work, we rigorously consider the error induced by product formulas when the state undergoing time evolution lies in the low-energy secto…
▽ More
Product formulas are one of the main approaches for quantum simulation of the Hamiltonian dynamics of a quantum system. Their implementation cost is computed based on error bounds which are often pessimistic, resulting in overestimating the total runtime. In this work, we rigorously consider the error induced by product formulas when the state undergoing time evolution lies in the low-energy sector with respect to the Hamiltonian of the system. We show that in such a setting, the usual error bounds based on the operator norm of nested commutators can be replaced by those restricted to suitably chosen low-energy subspaces, yielding tighter error bounds. Furthermore, under some locality and positivity assumptions, we show that the simulation of generic product formulas acting on low-energy states can be done asymptotically more efficiently when compared with previous results.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Initial state preparation for quantum chemistry on quantum computers
Authors:
Stepan Fomichev,
Kasra Hejazi,
Modjtaba Shokrian Zini,
Matthew Kiser,
Joana Fraxanet Morales,
Pablo Antonio Moreno Casares,
Alain Delgado,
Joonsuk Huh,
Arne-Christian Voigt,
Jonathan E. Mueller,
Juan Miguel Arrazola
Abstract:
Quantum algorithms for ground-state energy estimation of chemical systems require a high-quality initial state. However, initial state preparation is commonly either neglected entirely, or assumed to be solved by a simple product state like Hartree-Fock. Even if a nontrivial state is prepared, strong correlations render ground state overlap inadequate for quality assessment. In this work, we addre…
▽ More
Quantum algorithms for ground-state energy estimation of chemical systems require a high-quality initial state. However, initial state preparation is commonly either neglected entirely, or assumed to be solved by a simple product state like Hartree-Fock. Even if a nontrivial state is prepared, strong correlations render ground state overlap inadequate for quality assessment. In this work, we address the initial state preparation problem with an end-to-end algorithm that prepares and quantifies the quality of initial states, accomplishing the latter with a new metric -- the energy distribution. To be able to prepare more complicated initial states, we introduce an implementation technique for states in the form of a sum of Slater determinants that exhibits significantly better scaling than all prior approaches. We also propose low-precision quantum phase estimation (QPE) for further state quality refinement. The complete algorithm is capable of generating high-quality states for energy estimation, and is shown in select cases to lower the overall estimation cost by several orders of magnitude when compared with the best single product state ansatz. More broadly, the energy distribution picture suggests that the goal of QPE should be reinterpreted as generating improvements compared to the energy of the initial state and other classical estimates, which can still be achieved even if QPE does not project directly onto the ground state. Finally, we show how the energy distribution can help in identifying potential quantum advantage.
△ Less
Submitted 8 February, 2024; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Quantum simulation of battery materials using ionic pseudopotentials
Authors:
Modjtaba Shokrian Zini,
Alain Delgado,
Roberto dos Reis,
Pablo A. M. Casares,
Jonathan E. Mueller,
Arne-Christian Voigt,
Juan Miguel Arrazola
Abstract:
Ionic pseudopotentials are widely used in classical simulations of materials to model the effective potential due to the nucleus and the core electrons. Modeling fewer electrons explicitly results in a reduction in the number of plane waves needed to accurately represent the states of a system. In this work, we introduce a quantum algorithm that uses pseudopotentials to reduce the cost of simulati…
▽ More
Ionic pseudopotentials are widely used in classical simulations of materials to model the effective potential due to the nucleus and the core electrons. Modeling fewer electrons explicitly results in a reduction in the number of plane waves needed to accurately represent the states of a system. In this work, we introduce a quantum algorithm that uses pseudopotentials to reduce the cost of simulating periodic materials on a quantum computer. We use a qubitization-based quantum phase estimation algorithm that employs a first-quantization representation of the Hamiltonian in a plane-wave basis. We address the challenge of incorporating the complexity of pseudopotentials into quantum simulations by develo** highly-optimized compilation strategies for the qubitization of the Hamiltonian. This includes a linear combination of unitaries decomposition that leverages the form of separable pseudopotentials. Our strategies make use of quantum read-only memory subroutines as a more efficient alternative to quantum arithmetic. We estimate the computational cost of applying our algorithm to simulating lithium-excess cathode materials for batteries, where more accurate simulations are needed to inform strategies for gaining reversible access to the excess capacity they offer. We estimate the number of qubits and Toffoli gates required to perform sufficiently accurate simulations with our algorithm for three materials: lithium manganese oxide, lithium nickel-manganese oxide, and lithium manganese oxyfluoride. Our optimized compilation strategies result in a pseudopotential-based quantum algorithm with a total Toffoli cost four orders of magnitude lower than the previous state of the art for a fixed target accuracy.
△ Less
Submitted 4 July, 2023; v1 submitted 15 February, 2023;
originally announced February 2023.
-
Simulating key properties of lithium-ion batteries with a fault-tolerant quantum computer
Authors:
Alain Delgado,
Pablo A. M. Casares,
Roberto dos Reis,
Modjtaba Shokrian Zini,
Roberto Campos,
Norge Cruz-Hernández,
Arne-Christian Voigt,
Angus Lowe,
Soran Jahangiri,
M. A. Martin-Delgado,
Jonathan E. Mueller,
Juan Miguel Arrazola
Abstract:
There is a pressing need to develop new rechargeable battery technologies that can offer higher energy storage, faster charging, and lower costs. Despite the success of existing methods for the simulation of battery materials, they can sometimes fall short of delivering accurate and reliable results. Quantum computing has been discussed as an avenue to overcome these issues, but only limited work…
▽ More
There is a pressing need to develop new rechargeable battery technologies that can offer higher energy storage, faster charging, and lower costs. Despite the success of existing methods for the simulation of battery materials, they can sometimes fall short of delivering accurate and reliable results. Quantum computing has been discussed as an avenue to overcome these issues, but only limited work has been done to outline how they may impact battery simulations. In this work, we provide a detailed answer to the following question: how can a quantum computer be used to simulate key properties of a lithium-ion battery? Based on recently-introduced first-quantization techniques, we lay out an end-to-end quantum algorithm for calculating equilibrium cell voltages, ionic mobility, and thermal stability. These can be obtained from ground-state energies of materials, which is the core calculation executed by the quantum computer using qubitization-based quantum phase estimation. The algorithm includes explicit methods for preparing approximate ground states of periodic materials in first quantization. We bring these insights together to perform the first estimation of the resources required to implement a quantum algorithm for simulating a realistic cathode material, dilithium iron silicate.
△ Less
Submitted 6 February, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Mixed-state TQFTs
Authors:
Modjtaba Shokrian Zini,
Zhenghan Wang
Abstract:
In this short note, we propose a generalization of Atiyah type TQFTs from pure states to mixed states in the sense that the Hilbert space of pure states associated to a space manifold is replaced by a quantum coherent space related to density matrices. Atiyah type TQFT is a symmetric monoidal functor from the Bord category of manifolds to the category Vec of finite dimensional vector spaces. In th…
▽ More
In this short note, we propose a generalization of Atiyah type TQFTs from pure states to mixed states in the sense that the Hilbert space of pure states associated to a space manifold is replaced by a quantum coherent space related to density matrices. Atiyah type TQFT is a symmetric monoidal functor from the Bord category of manifolds to the category Vec of finite dimensional vector spaces. In this paper, we define mixed-state TQFTs by replacing the target category Vec by QCS--the category of quantum coherent spaces, then a mixed-state TQFT is simply a symmetric monoidal functor from Bord to QCS. We also discuss how to construct interesting examples from subsystem quantum error correction codes beyond the trivial ones--all Atiyah type TQFTs.
△ Less
Submitted 24 October, 2021;
originally announced October 2021.
-
Symmetry Protected Quantum Computation
Authors:
Michael H. Freedman,
Matthew B. Hastings,
Modjtaba Shokrian Zini
Abstract:
We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is eq…
▽ More
We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is equivalent to BQP. Towards this goal, we show: (1) this model is capable of universal quantum computation with polylogarithmic overhead if it is supplemented by single qubit $X$ and $Z$ gates. (2) Without any additional gates, it is at least as powerful as the weak model of "permutational quantum computation" of Jordan [14, 18]. (3) With postselection, the model is equivalent to PostBQP.
△ Less
Submitted 26 September, 2021; v1 submitted 10 May, 2021;
originally announced May 2021.
-
On Generalized Symmetries and Structure of Modular Categories
Authors:
Shawn X. Cui,
Modjtaba Shokrian Zini,
Zhenghan Wang
Abstract:
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category symmetries of modular categories, which include also categorical Hopf algebras as special cases. As an application, we propose an analogue of the classificatio…
▽ More
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category symmetries of modular categories, which include also categorical Hopf algebras as special cases. As an application, we propose an analogue of the classification of finite simple groups to modular categories, where we define simple modular categories as the prime ones without any nontrivial normal algebras.
△ Less
Submitted 1 September, 2018;
originally announced September 2018.
-
Conformal Field Theories as Scaling Limit of Anyonic Chains
Authors:
Modjtaba Shokrian Zini,
Zhenghan Wang
Abstract:
We provide a mathematical definition of a low energy scaling limit of a sequence of general non-relativistic quantum theories in any dimension, and apply our formalism to anyonic chains. We formulate Conjecture 4.3 on conditions when a chiral unitary rational (1+1)-conformal field theory would arise as such a limit and verify the conjecture for the Ising minimal model $M(4,3)$ using Ising anyonic…
▽ More
We provide a mathematical definition of a low energy scaling limit of a sequence of general non-relativistic quantum theories in any dimension, and apply our formalism to anyonic chains. We formulate Conjecture 4.3 on conditions when a chiral unitary rational (1+1)-conformal field theory would arise as such a limit and verify the conjecture for the Ising minimal model $M(4,3)$ using Ising anyonic chains. Part of the conjecture is a precise relation between Temperley-Lieb generators $\{e_i\}$ and some finite stage operators of the Virasoro generators $\{L_m+L_{-m}\}$ and $\{i(L_m-L_{-m})\}$ for unitary minimal models $M(k+2,k+1)$ in Conjecture 5.5. A similar earlier relation is known as the Koo-Saleur formula in the physics literature [39]. Assuming Conjecture 4.3, most of our main results for the Ising minimal model $M(4,3)$ hold for unitary minimal models $M(k+2,k+1), k\geq 3$ as well. Our approach is inspired by an eventual application to an efficient simulation of conformal field theories by quantum computers, and supported by extensive numerical simulation and physical proofs in the physics literature.
△ Less
Submitted 6 August, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.