arXiv subjects

Sergio Boixo

Publications and source records attributed to Sergio Boixo.

At least 73 records · Page 4Linked to original sources

arXiv2014

Defining and detecting quantum speedup

The development of small-scale digital and analog quantum devices raises the question of how to fairly assess and compare the computational power of classical and quantum devices, and of how to detect quantum speedup. Here we show how to define and measure quantum speedup in various scenarios, and how to avoid pitfalls that might mask or fake quantum speedup. We illustrate our discussion with data from a randomized benchmark test on a D-Wave Two device with up to 503 qubits. Comparing the performance of the device on random spin glass instances with limited precision to simulated classical and quantum annealers, we find no evidence of quantum speedup when the entire data set is considered, and obtain inconclusive results when comparing subsets of instances on an instance-by-instance basis. Our results for one particular benchmark do not rule out the possibility of speedup for other classes of problems and illustrate that quantum speedup is elusive and can depend on the question posed.

quant-ph↗

arXiv2013

Quantum annealing with more than one hundred qubits

Quantum technology is maturing to the point where quantum devices, such as quantum communication systems, quantum random number generators and quantum simulators, may be built with capabilities exceeding classical computers. A quantum annealer, in particular, solves hard optimisation problems by evolving a known initial configuration at non-zero temperature towards the ground state of a Hamiltonian encoding a given problem. Here, we present results from experiments on a 108 qubit D-Wave One device based on superconducting flux qubits. The strong correlations between the device and a simulated quantum annealer, in contrast with weak correlations between the device and classical annealing or classical spin dynamics, demonstrate that the device performs quantum annealing. We find additional evidence for quantum annealing in the form of small-gap avoided level crossings characterizing the hard problems. To assess the computational power of the device we compare it to optimised classical algorithms.

quant-ph↗

arXiv2013

Comment on: "Classical signature of quantum annealing"

In a recent preprint (arXiv:1305.4904) entitled "Classical signature of quantum annealing" Smolin and Smith point out that a bimodal distribution presented in (arXiv:1304.4595) for the success probability in the D-Wave device does not in itself provide sufficient evidence for quantum annealing, by presenting a classical model that also exhibits bimodality. Here we analyze their model and in addition present a similar model derived from the semi-classical limit of quantum spin dynamics, which also exhibits a bimodal distribution. We find that in both cases the correlations between the success probabilities of these classical models and the D-Wave device are weak compared to the correlations between a simulated quantum annealer and the D-Wave device. Indeed, the evidence for quantum annealing presented in arXiv:1304.4595 is not limited to the bimodality, but relies in addition on the success probability correlations between the D-Wave device and the simulated quantum annealer. The Smolin-Smith model and our semi-classical spin model both fail this correlation test.

quant-ph↗

arXiv2012

Experimental signature of programmable quantum annealing

Quantum annealing is a general strategy for solving difficult optimization problems with the aid of quantum adiabatic evolution. Both analytical and numerical evidence suggests that under idealized, closed system conditions, quantum annealing can outperform classical thermalization-based algorithms such as simulated annealing. Do engineered quantum annealing devices effectively perform classical thermalization when coupled to a decohering thermal environment? To address this we establish, using superconducting flux qubits with programmable spin-spin couplings, an experimental signature which is consistent with quantum annealing, and at the same time inconsistent with classical thermalization, in spite of a decoherence timescale which is orders of magnitude shorter than the adiabatic evolution time. This suggests that programmable quantum devices, scalable with current superconducting technology, implement quantum annealing with a surprising robustness against noise and imperfections.

quant-ph↗

arXiv2012

Completely positive classical structures and sequentializable quantum protocols

We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces. As an application, we prove that quantum maps with commuting Kraus operators can be sequentialized. Hence such protocols are precisely as robust under general dephasing noise when entangled as when sequential.

quant-ph↗

arXiv2012

Demon-like Algorithmic Quantum Cooling and its Realization with Quantum Optics

The simulation of low-temperature properties of many-body systems remains one of the major challenges in theoretical and experimental quantum information science. We present, and demonstrate experimentally, a universal cooling method which is applicable to any physical system that can be simulated by a quantum computer. This method allows us to distill and eliminate hot components of quantum states, i.e., a quantum Maxwell's demon. The experimental implementation is realized with a quantum-optical network, and the results are in full agreement with theoretical predictions (with fidelity higher than 0.978). These results open a new path for simulating low-temperature properties of physical and chemical systems that are intractable with classical methods.

quant-ph↗

arXiv2012

Spectral Gap Amplification

A large number of problems in science can be solved by preparing a specific eigenstate of some Hamiltonian H. The generic cost of quantum algorithms for these problems is determined by the inverse spectral gap of H for that eigenstate and the cost of evolving with H for some fixed time. The goal of spectral gap amplification is to construct a Hamiltonian H' with the same eigenstate as H but a bigger spectral gap, requiring that constant-time evolutions with H' and H are implemented with nearly the same cost. We show that a quadratic spectral gap amplification is possible when H satisfies a frustration-free property and give H' for these cases. This results in quantum speedups for optimization problems. It also yields improved constructions for adiabatic simulations of quantum circuits and for the preparation of projected entangled pair states (PEPS), which play an important role in quantum many-body physics. Defining a suitable black-box model, we establish that the quadratic amplification is optimal for frustration-free Hamiltonians and that no spectral gap amplification is possible, in general, if the frustration-free property is removed. A corollary is that finding a similarity transformation between a stoquastic Hamiltonian and the corresponding stochastic matrix is hard in the black-box model, setting limits to the power of some classical methods that simulate quantum adiabatic evolutions.

quant-ph↗

arXiv2012

Introduction to Quantum Algorithms for Physics and Chemistry

In this introductory review, we focus on applications of quantum computation to problems of interest in physics and chemistry. We describe quantum simulation algorithms that have been developed for electronic-structure problems, thermal-state preparation, simulation of time dynamics, adiabatic quantum simulation, and density functional theory.

quant-ph↗

arXiv2012

Entangled and sequential quantum protocols with dephasing

Sequences of commuting quantum operators can be parallelized using entanglement. This transformation is behind some optimal quantum metrology protocols and recent results on quantum circuit complexity. We show that dephasing quantum maps in arbitrary dimension can also be parallelized. This implies that for general dephasing noise the protocol with entanglement is not more fragile than the corresponding sequential protocol and, conversely, the sequential protocol is not less effective than the entangled one. We derive this result using tensor networks. Furthermore, we only use transformations strictly valid within string diagrams in dagger compact closed categories. Therefore, they apply verbatim to other theories, such as geometric quantization and topological quantum field theory. This clarifies and characterizes to some extent the role of entanglement in general quantum theories.

quant-ph↗

arXiv2010

Nonlinear interferometry with Bose-Einstein condensates

We analyze a proposed experiment [Boixo et al., Phys. Rev. Lett. 101, 040403 (2008)] for achieving sensitivity scaling better than $1/N$ in a nonlinear Ramsey interferometer that uses a two-mode Bose-Einstein condensate (BEC) of $N$ atoms. We present numerical simulations that confirm the analytical predictions for the effect of the spreading of the BEC ground-state wave function on the ideal $1/N^{3/2}$ scaling. Numerical integration of the coupled, time-dependent, two-mode Gross-Pitaevskii equations allows us to study the several simplifying assumptions made in the initial analytic study of the proposal and to explore when they can be justified. In particular, we find that the two modes share the same spatial wave function for a length of time that is sufficient to run the metrology scheme.

quant-ph↗

arXiv2010

Preparing thermal states of quantum systems by dimension reduction

We present an algorithm that prepares thermal Gibbs states of one dimensional quantum systems on a quantum computer without any memory overhead, and in a time significantly shorter than other known alternatives. Specifically, the time complexity is dominated by the quantity $N^{\|h\|/ T}$, where $N$ is the size of the system, $\|h\|$ is a bound on the operator norm of the local terms of the Hamiltonian (coupling energy), and $T$ is the temperature. Given other results on the complexity of thermalization, this overall scaling is likely optimal. For higher dimensions, our algorithm lowers the known scaling of the time complexity with the dimension of the system by one.

quant-ph↗

arXiv2009

Quantum-limited metrology and Bose-Einstein condensates

We discuss a quantum-metrology protocol designed to estimate a physical parameter in a Bose-Einstein condensate of N atoms, and we show that the measurement uncertainty can decrease faster than 1/N. The 1/N scaling is usually thought to be the best possible in any measurement scheme. From the perspective of quantum information theory, we outline the main idea that leads to a measurement uncertainty that scales better than 1/N. We examine in detail some potential problems and challenges that arise in implementing such a measurement protocol using a Bose-Einstein condensate. We discuss how some of these issues can be dealt with by using lower-dimensional condensates trapped in nonharmonic potentials.

quant-ph↗

arXiv2008

Quantum Metrology: Dynamics vs. Entanglement

A parameter whose coupling to a quantum probe of $n$ constituents includes all two-body interactions between the constituents can be measured with an uncertainty that scales as $1/n^{3/2}$, even when the constituents are initially unentangled. We devise a protocol that achieves the $1/n^{3/2}$ scaling without generating any entanglement among the constituents, and we suggest that the protocol might be implemented in a two-component Bose-Einstein condensate.

quant-ph↗

arXiv2008

Parameter Estimation with Mixed-State Quantum Computation

We present a quantum algorithm to estimate parameters at the quantum metrology limit using deterministic quantum computation with one bit. When the interactions occurring in a quantum system are described by a Hamiltonian $H= θH_0$, we estimate $θ$ by zooming in on previous estimations and by implementing an adaptive Bayesian procedure. The final result of the algorithm is an updated estimation of $θ$ whose variance has been decreased in proportion to the time of evolution under H. For the problem of estimating several parameters, we implement dynamical-decoupling techniques and use the results of single parameter estimation. The cases of discrete-time evolution and reference-frame alignment are also discussed within the adaptive approach.

quant-ph↗

arXiv2008

An operational interpretation for multipartite entanglement

We introduce an operational interpretation for pure-state global multipartite entanglement based on quantum estimation. We show that the estimation of the strength of low-noise locally depolarizing channels, as quantified by the regularized quantum Fisher information, is directly related to the Meyer-Wallach multipartite entanglement measure. Using channels that depolarize across different partitions, we obtain related multipartite entanglement measures. We show that this measure is the sum of expectation values of local observables on two copies of the state.

quant-ph↗

arXiv2007

Quantum-limited metrology with product states

We study the performance of initial product states of n-body systems in generalized quantum metrology protocols that involve estimating an unknown coupling constant in a nonlinear k-body (k << n) Hamiltonian. We obtain the theoretical lower bound on the uncertainty in the estimate of the parameter. For arbitrary initial states, the lower bound scales as 1/n^k, and for initial product states, it scales as 1/n^(k-1/2). We show that the latter scaling can be achieved using simple, separable measurements. We analyze in detail the case of a quadratic Hamiltonian (k = 2), implementable with Bose-Einstein condensates. We formulate a simple model, based on the evolution of angular-momentum coherent states, which explains the O(n^(-3/2)) scaling for k = 2; the model shows that the entanglement generated by the quadratic Hamiltonian does not play a role in the enhanced sensitivity scaling. We show that phase decoherence does not affect the O(n^(-3/2)) sensitivity scaling for initial product states.

quant-ph↗

arXiv2007

Generalized Coherent States as Preferred States of Open Quantum Systems

We investigate the connection between quasi-classical (pointer) states and generalized coherent states (GCSs) within an algebraic approach to Markovian quantum systems (including bosons, spins, and fermions). We establish conditions for the GCS set to become most robust by relating the rate of purity loss to an invariant measure of uncertainty derived from quantum Fisher information. We find that, for damped bosonic modes, the stability of canonical coherent states is confirmed in a variety of scenarios, while for systems described by (compact) Lie algebras stringent symmetry constraints must be obeyed for the GCS set to be preferred. The relationship between GCSs, minimum-uncertainty states, and decoherence-free subspaces is also elucidated.

quant-ph↗

arXiv2006

Generalized Limits for Single-Parameter Quantum Estimation

We develop generalized bounds for quantum single-parameter estimation problems for which the coupling to the parameter is described by intrinsic multi-system interactions. For a Hamiltonian with $k$-system parameter-sensitive terms, the quantum limit scales as $1/N^k$ where $N$ is the number of systems. These quantum limits remain valid when the Hamiltonian is augmented by any parameter independent interaction among the systems and when adaptive measurements via parameter-independent coupling to ancillas are allowed.

quant-ph↗