SearcharxivSearch

arXiv subjects

Davide Vodola

Publications and source records attributed to Davide Vodola.

At least 19 recordsLinked to original sources

A New Angle on Quantum Subspace Diagonalization for Quantum Chemistry

Quantum subspace diagonalization and quantum Krylov algorithms offer a feasible, pre- or early-fault tolerant alternative to quantum phase estimation for using quantum computers to estimate the low-lying spectra of quantum systems. However, despite promising proof-of-principle results, such methods suffer from high sensitivity to noise (including intrinsic sources such as sampling noise), making their utility for realistic industry-relevant problems an open question. To improve the potential applicability of such methods, we introduce a new variant of thresholding for noisy generalized eigenvalue problems that arise in quantum subspace diagonalization that has the potential to better control sensitivity to noise. Our approach leverages eigenvector-preserving transformations (rotations) of the generalized eigenvalue problem prior to thresholding. We study this effect in practical settings by applying this rotation thresholding scheme to an iterative quantum Krylov algorithm for several chemical systems, including the industry-relevant Fe(III)-NTA chelate complex. We develop a particular heuristic to select the rotation angle from noisy data and find for certain systems and noise regimes that the samples required to reach a target error for ground state estimation can be reduced by a factor of up to 100. Furthermore, with oracle access to the optimal transformation, more dramatic improvements are possible and we observe reductions in sample requirements by up to $10^4$, motivating the continued development of methods that can realize these improvements in practice. While we develop our approach in the context of quantum subspace diagonalization, the improved thresholding scheme we develop could be advantageous in any context where one must solve noisy, ill-conditioned generalized eigenvalue problems.

quant-ph

Analog QAOA with Bayesian Optimisation on a neutral atom QPU

This study explores the implementation of the Quantum Approximate Optimisation Algorithm (QAOA) in its analog form using a neutral atom quantum processing unit to solve the Maximum Independent Set problem. The analog QAOA leverages the natural encoding of problem Hamiltonians by Rydberg atom interactions, while employing Bayesian Optimisation to navigate the quantum-classical parameter space effectively under the constraints of hardware noise and resource limitations. We evaluate the approach through a combination of simulations and experimental runs on Pasqal's first commercial quantum processing unit, Orion Alpha, demonstrating effective parameter optimisation and noise mitigation strategies, such as selective bitstring discarding and detection error corrections. Results show that a limited number of measurements still allows for a quick convergence to a solution, making it a viable solution for resource-efficient scenarios.

quant-ph

Digitized Counterdiabatic Quantum Algorithms for Logistics Scheduling

We study a job shop scheduling problem for an automatized robot in a high-throughput laboratory and a travelling salesperson problem with recently proposed digitized counterdiabatic quantum optimization (DCQO)algorithms. In DCQO, we find the solution of an optimization problem via an adiabatic quantum dynamics, which is accelerated with counterdiabatic protocols. Thereafter, we digitize the global unitary to encode it in a digital quantum computer. For the job-shop scheduling problem, we aim at finding the optimal schedule for a robot executing a number of tasks under specific constraints, such that the total execution time of the process is minimized. For the traveling salesperson problem, the goal is to find the path that covers all cities and is associated with the shortest traveling distance. We consider both hybrid and pure versions of DCQO algorithms and benchmark the performance against digitized quantum annealing and the quantum approximate optimization algorithm (QAOA). In comparison to QAOA, the DCQO solution is improved by several orders of magnitude in success probability using the same number of two-qubit gates. Moreover, we implement our algorithms on cloud-based superconducting and trapped-ion quantum processors. Our results demonstrate that circuit compression using counterdiabatic protocols is amenable to current NISQ hardware and can solve logistics scheduling problems, where other digital quantum algorithms show insufficient performance.

quant-ph

The random coupled-plaquette gauge model and the surface code under circuit-level noise

We map the decoding problem of the surface code under depolarizing and syndrome noise to a disordered spin model, which we call the random coupled-plaquette gauge model (RCPGM). By coupling X- and Z-syndrome volumes, this model allows us to optimally account for genuine Y-errors in the surface code in a setting with noisy measurements. Using Parallel Tempering Monte Carlo simulations, we determine the code's fundamental error threshold. Firstly, for the phenomenological noise setting we determine a threshold of $6\%$ under uniform depolarizing and syndrome noise. This is a substantial improvement compared to results obtained via the previously known "uncoupled" random plaquette gauge model (RPGM) in the identical setting, where marginalizing Y-errors leads to a threshold of $4.3\%$. Secondly, we tackle the circuit-level noise scenario, where we use a reduction technique to find effective asymmetric depolarizing and syndrome noise rates to feed into the RCPGM mapping. Despite this reduction technique breaking up some of the correlations contained in the intricacies of circuit-level noise, we find an improvement exceeding that for the phenomenological case. We report a threshold of up to $1.4\%$, to be compared to $0.7\%$ under the identical noise model when marginalizing the Y-errors and mapping to the anisotropic RPGM. These results enlarge the landscape of statistical mechanical mappings for quantum error correction. In particular they provide an underpinning for the broadly held belief that accounting for Y-errors is a major bottleneck in improving surface code decoders. This is highly encouraging for leading efficient practical decoder development, where heuristically accounting for Y-error correlations has seen recent developments such as belief-matching. This suggests that there is further room for improvement of the surface code for fault-tolerant quantum computation.

quant-ph

Ion-Based Quantum Computing Hardware: Performance and End-User Perspective

This is the second paper in a series of papers providing an overview of different quantum computing hardware platforms from an industrial end-user perspective. It follows our first paper on neutral-atom quantum computing. In the present paper, we provide a survey on the current state-of-the-art in trapped-ion quantum computing, taking up again the perspective of an industrial end-user. To this end, our paper covers, on the one hand, a comprehensive introduction to the physical foundations and mechanisms that play an important role in operating a trapped-ion quantum computer. On the other hand, we provide an overview of the key performance metrics that best describe and characterise such a device's current computing capability. These metrics encompass performance indicators such as qubit numbers, gate times and errors, native gate sets, qubit stability and scalability as well as considerations regarding the general qubit types and trap architectures. In order to ensure that these metrics reflect the current state of trapped-ion quantum computing as accurate as possible, they have been obtained by both an extensive review of recent literature and, more importantly, from discussions with various quantum hardware vendors in the field. We combine these factors and provide - again from an industrial end-user perspective - an overview of what is currently possible with trapped-ion quantum computers, which algorithms and problems are especially suitable for this platform, what are the relevant end-to-end wall clock times for calculations, and what might be possible with future fault-tolerant trapped-ion quantum computers.

quant-ph

Potential of quantum scientific machine learning applied to weather modelling

In this work we explore how quantum scientific machine learning can be used to tackle the challenge of weather modelling. Using parameterised quantum circuits as machine learning models, we consider two paradigms: supervised learning from weather data and physics-informed solving of the underlying equations of atmospheric dynamics. In the first case, we demonstrate how a quantum model can be trained to accurately reproduce real-world global stream function dynamics at a resolution of 4°. We detail a number of problem-specific classical and quantum architecture choices used to achieve this result. Subsequently, we introduce the barotropic vorticity equation (BVE) as our model of the atmosphere, which is a $3^{\text{rd}}$ order partial differential equation (PDE) in its stream function formulation. Using the differentiable quantum circuits algorithm, we successfully solve the BVE under appropriate boundary conditions and use the trained model to predict unseen future dynamics to high accuracy given an artificial initial weather state. Whilst challenges remain, our results mark an advancement in terms of the complexity of PDEs solved with quantum scientific machine learning.

quant-ph

Classical and quantum cost of measurement strategies for quantum-enhanced auxiliary field Quantum Monte Carlo

Quantum-enhanced auxiliary field quantum Monte Carlo (QC-AFQMC) uses output from a quantum computer to increase the accuracy of its classical counterpart. The algorithm requires the estimation of overlaps between walker states and a trial wavefunction prepared on the quantum computer. We study the applicability of this algorithm in terms of the number of measurements required from the quantum computer and the classical costs of post-processing those measurements. We compare the classical post-processing costs of state-of-the-art measurement schemes using classical shadows to determine the overlaps and argue that the overall post-processing cost stemming from overlap estimations scales like $\mathcal{O}(N^9)$ per walker throughout the algorithm. With further numerical simulations, we compare the variance behavior of the classical shadows when randomizing over different ensembles, e.g., Cliffords and (particle-number restricted) matchgates beyond their respective bounds, and uncover the existence of covariances between overlap estimations of the AFQMC walkers at different imaginary time steps. Moreover, we include analyses of how the error in the overlap estimation propagates into the AFQMC energy and discuss its scaling when increasing the system size.

quant-ph

Bayesian Optimization for QAOA

The Quantum Approximate Optimization Algorithm (QAOA) adopts a hybrid quantum-classical approach to find approximate solutions to variational optimization problems. In fact, it relies on a classical subroutine to optimize the parameters of a quantum circuit. In this work we present a Bayesian optimization procedure to fulfil this optimization task, and we investigate its performance in comparison with other global optimizers. We show that our approach allows for a significant reduction in the number of calls to the quantum circuit, which is typically the most expensive part of the QAOA. We demonstrate that our method works well also in the regime of slow circuit repetition rates, and that few measurements of the quantum ansatz would already suffice to achieve a good estimate of the energy. In addition, we study the performance of our method in the presence of noise at gate level, and we find that for low circuit depths it is robust against noise. Our results suggest that the method proposed here is a promising framework to leverage the hybrid nature of QAOA on the noisy intermediate-scale quantum devices.

quant-ph

Unsupervised and supervised learning of interacting topological phases from single-particle correlation functions

The recent advances in machine learning algorithms have boosted the application of these techniques to the field of condensed matter physics, in order e.g. to classify the phases of matter at equilibrium or to predict the real-time dynamics of a large class of physical models. Typically in these works, a machine learning algorithm is trained and tested on data coming from the same physical model. Here we demonstrate that unsupervised and supervised machine learning techniques are able to predict phases of a non-exactly solvable model when trained on data of a solvable model. In particular, we employ a training set made by single-particle correlation functions of a non-interacting quantum wire and by using principal component analysis, k-means clustering, and convolutional neural networks we reconstruct the phase diagram of an interacting superconductor. We show that both the principal component analysis and the convolutional neural networks trained on the data of the non-interacting model can identify the topological phases of the interacting model with a high degree of accuracy. Our findings indicate that non-trivial phases of matter emerging from the presence of interactions can be identified by means of unsupervised and supervised techniques applied to data of non-interacting systems.

cond-mat.supr-con

Quantum-enhanced quantum Monte Carlo: an industrial view

In this work, we test a recently developed method to enhance classical auxiliary-field quantum Monte Carlo (AFQMC) calculations with quantum computers against examples from chemistry and material science, representatives of classes of industry-relevant systems. As molecular test cases, we calculate the energy curve of H4 and relative energies of ozone and singlet molecular oxygen with respect to triplet molecular oxygen, which are industrially relevant in organic oxidation reactions. We find that trial wave functions beyond single Slater determinants improve the performance of AFQMC and allow to generate energies close to chemical accuracy compared to full configuration interaction (FCI) or experimental results. As a representative for material science we study a quasi-1D Fermi-Hubbard model derived from CuBr2, a compound displaying electronic structure properties analogous to cuprates. We find that trial wave functions with both, significantly larger fidelities and lower energies over a Hartree-Fock solution, do not necessarily lead to better AFQMC results.

quant-ph

Study of the long-range transverse field Ising model with fermionic Gaussian states

We numerically study the one-dimensional long-range Transverse Field Ising Model (TFIM) in the antiferromagnetic (AFM) regime at zero temperature using Generalized Hartree-Fock (GHF) theory. The spin-spin interaction extends to all spins in the lattice and decays as $1/r^α$, where $r$ denotes the distance between two spins and $α$ is a tunable exponent. We map the spin operators to Majorana operators and approximate the ground state of the Hamiltonian with a Fermionic Gaussian State (FGS). Using this approximation, we calculate the ground state energy and the entanglement entropy which allows us to map the phase diagram for different values of $α$. In addition, we compute the scaling behavior of the entanglement entropy with the system size to determine the central charge at criticality for the case of $α>1$. For $α<1$ we find a logarithmic divergence of the entanglement entropy even far away from the critical point, a feature of systems with long-range interactions. We provide a detailed comparison of our results to outcomes of Density Matrix Renormalization Group (DMRG) and the Linked Cluster Expansion (LCE) methods. In particular, we find excellent agreement of GHF with DMRG and LCE in the weak long-range regime $α\geq 1$, and qualitative agreement with DMRG in the strong-long range regime $α\leq 1$. Our results highlight the power of the computationally efficient GHF method in simulating interacting quantum systems.

quant-ph

Fundamental thresholds of realistic quantum error correction circuits from classical spin models

Mapping quantum error correcting codes to classical disordered statistical mechanics models and studying the phase diagram of the latter has proven a powerful tool to study the fundamental error robustness and associated critical error thresholds of leading quantum error correcting codes under phenomenological noise models. In this work, we extend this mapping to admit realistic, multi-parameter faulty quantum circuits in the description of quantum error correcting codes. Based on the underlying microscopic circuit noise model, we first systematically derive the associated strongly correlated classical spin models. We illustrate this approach in detail for the example of a quantum repetition code in which faulty stabilizer readout circuits are periodically applied. Finally, we use Monte-Carlo simulations to study the resulting phase diagram of the associated interacting spin model and benchmark our results against a minimum-weight perfect matching decoder. The presented method provides an avenue to assess the fundamental thresholds of QEC codes and associated readout circuitry, independent of specific decoding strategies, and can thereby help guiding the development of near-term QEC hardware.

quant-ph

Analytical and experimental study of center line miscalibrations in Mølmer-Sørensen gates

A major challenge for the realisation of useful universal quantum computers is achieving high fidelity two-qubit entangling gate operations. However, calibration errors can affect the quantum gate operations and limit their fidelity. To reduce such errors it is desirable to have an analytical understanding and quantitative predictions of the effects that miscalibrations of gate parameters have on the gate performance. In this work, we study a systematic perturbative expansion in miscalibrated parameters of the Molmer-Sorensen entangling gate, which is widely used in trapped ion quantum processors. Our analytical treatment particularly focuses on systematic center line detuning miscalibrations. Via a unitary Magnus expansion, we compute the gate evolution operator which allows us to obtain relevant key properties such as relative phases, electronic populations, quantum state purity and fidelities. These quantities, subsequently, are used to assess the performance of the gate using the fidelity of entangled states as performance metric. We verify the predictions from our model by benchmarking them against measurements in a trapped-ion quantum processor. The method and the results presented here can help design and calibrate high-fidelity gate operations of large-scale quantum computers.

quant-ph

Experimental Bayesian calibration of trapped ion entangling operations

The performance of quantum gate operations is experimentally determined by how correct operational parameters can be determined and set, and how stable these parameters can be maintained. In addition, gates acting on different sets of qubits require unique sets of control parameters. Thus, an efficient multi-dimensional parameter estimation procedure is crucial to calibrate even medium sized quantum processors. Here, we develop and characterize an efficient calibration protocol to automatically estimate and adjust experimental parameters of the widely used Molmer-Sorensen entangling gate operation in a trapped ion quantum information processor. The protocol exploits Bayesian parameter estimation methods which includes a stopping criterion based on a desired gate infidelity. We experimentally demonstrate a median gate infidelity of $1.3(1)\cdot10^{-3}$, requiring only $1200\pm500$ experimental cycles, while completing the entire gate calibration procedure in less than one minute. This approach is applicable to other quantum information processor architectures with known or sufficiently characterized theoretical models.

quant-ph

Characterizing quantum instruments: from non-demolition measurements to quantum error correction

In quantum information processing quantum operations are often processed alongside measurements which result in classical data. Due to the information gain of classical measurement outputs non-unitary dynamical processes can take place on the system, for which common quantum channel descriptions fail to describe the time evolution. Quantum measurements are correctly treated by means of so-called quantum instruments capturing both classical outputs and post-measurement quantum states. Here we present a general recipe to characterize quantum instruments alongside its experimental implementation and analysis. Thereby, the full dynamics of a quantum instrument can be captured, exhibiting details of the quantum dynamics that would be overlooked with common tomography techniques. For illustration, we apply our characterization technique to a quantum instrument used for the detection of qubit loss and leakage, which was recently implemented as a building block in a quantum error correction (QEC) experiment (Nature 585, 207-210 (2020)). Our analysis reveals unexpected and in-depth information about the failure modes of the implementation of the quantum instrument. We then numerically study the implications of these experimental failure modes on QEC performance, when the instrument is employed as a building block in QEC protocols on a logical qubit. Our results highlight the importance of careful characterization and modelling of failure modes in quantum instruments, as compared to simplistic hardware-agnostic phenomenological noise models, which fail to predict the undesired behavior of faulty quantum instruments. The presented methods and results are directly applicable to generic quantum instruments.

quant-ph

Graph Partitioning into Hamiltonian Subgraphs on a Quantum Annealer

We demonstrate that a quantum annealer can be used to solve the NP-complete problem of graph partitioning into subgraphs containing Hamiltonian cycles of constrained length. We present a method to find a partition of a given directed graph into Hamiltonian subgraphs with three or more vertices, called vertex 3-cycle cover. We formulate the problem as a quadratic unconstrained binary optimisation and run it on a D-Wave Advantage quantum annealer. We test our method on synthetic graphs constructed by adding a number of random edges to a set of disjoint cycles. We show that the probability of solution is independent of the cycle length, and a solution is found for graphs up to 4000 vertices and 5200 edges, close to the number of physical working qubits available on the quantum annealer.

quant-ph

Deterministic correction of qubit loss

The loss of qubits - the elementary carriers of quantum information - poses one of the fundamental obstacles towards large-scale and fault-tolerant quantum information processors. In this work, we experimentally demonstrate a complete toolbox and the implementation of a full cycle of qubit loss detection and correction on a minimal instance of a topological surface code. This includes a quantum non-demolition measurement of a qubit loss event that conditionally triggers a restoration procedure, mapping the logical qubit onto a new encoding on the remaining qubits. The demonstrated methods, implemented here in a trapped-ion quantum processor, are applicable to other quantum computing architectures and codes, including leading 2D and 3D topological quantum error correcting codes. These tools complement previously demonstrated techniques to correct computational errors, and in combination constitute essential building blocks for complete and scalable quantum error correction.

quant-ph

Analytical percolation theory for topological color codes under qubit loss

Quantum information theory has shown strong connections with classical statistical physics. For example, quantum error correcting codes like the surface and the color code present a tolerance to qubit loss that is related to the classical percolation threshold of the lattices where the codes are defined. Here we explore such connection to study analytically the tolerance of the color code when the protocol introduced in [Phys. Rev. Lett. $\textbf{121}$, 060501 (2018)] to correct qubit losses is applied. This protocol is based on the removal of the lost qubit from the code, a neighboring qubit, and the lattice edges where these two qubits reside. We first obtain analytically the average fraction of edges $ r(p) $ that the protocol erases from the lattice to correct a fraction $ p $ of qubit losses. Then, the threshold $ p_c $ below which the logical information is protected corresponds to the value of $ p $ at which $ r(p) $ equals the bond-percolation threshold of the lattice. Moreover, we prove that the logical information is protected if and only if the set of lost qubits does not include the entire support of any logical operator. The results presented here open a route to an analytical understanding of the effects of qubit losses in topological quantum error codes.

quant-ph