Showing 1–37 of 37 results for author: Guerreschi, G G

Operating two exchange-only qubits in parallel

Authors: Mateusz T. Mądzik, Florian Luthi, Gian Giacomo Guerreschi, Fahd A. Mohiyaddin, Felix Borjans, Jason D. Chadwick, Matthew J. Curry, Joshua Ziegler, Sarah Atanasov, Peter L. Bavdaz, Elliot J. Connors, J. Corrigan, H. Ekmel Ercan, Robert Flory, Hubert C. George, Benjamin Harpt, Eric Henry, Mohammad M. Islam, Nader Khammassi, Daniel Keith, Lester F. Lampert, Todor M. Mladenov, Randy W. Morris, Aditi Nethwewala, Samuel Neyens , et al. (16 additional authors not shown)

Abstract: Semiconductors are among the most promising platforms to implement large-scale quantum computers, as advanced manufacturing techniques allow fabrication of large quantum dot arrays. Various qubit encodings can be used to store and manipulate quantum information on these quantum dot arrays. Regardless of qubit encoding, precise control over the exchange interaction between electrons confined in qua… ▽ More Semiconductors are among the most promising platforms to implement large-scale quantum computers, as advanced manufacturing techniques allow fabrication of large quantum dot arrays. Various qubit encodings can be used to store and manipulate quantum information on these quantum dot arrays. Regardless of qubit encoding, precise control over the exchange interaction between electrons confined in quantum dots in the array is critical. Furthermore, it is necessary to execute high-fidelity quantum operations concurrently to make full use of the limited coherence of individual qubits. Here, we demonstrate the parallel operation of two exchange-only qubits, consisting of six quantum dots in a linear arrangement. Using randomized benchmarking techniques, we show that issuing pulses on the five barrier gates to modulate exchange interactions in a maximally parallel way maintains the quality of qubit control relative to sequential operation. The techniques developed to perform parallel exchange pulses can be readily adapted to other quantum-dot based encodings. Moreover, we show the first experimental demonstrations of an iSWAP gate and of a charge-locking Pauli spin blockade readout method. The results are validated using cross-entropy benchmarking, a technique useful for performance characterization of larger quantum computing systems; here it is used for the first time on a quantum system based on semiconductor technology. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Short two-qubit pulse sequences for exchange-only spin qubits in 2D layouts

Authors: Jason D. Chadwick, Gian Giacomo Guerreschi, Florian Luthi, Mateusz T. Mądzik, Fahd A. Mohiyaddin, Prithviraj Prabhu, Albert T. Schmitz, Andrew Litteken, Shavindra Premaratne, Nathaniel C. Bishop, Anne Y. Matsuura, James S. Clarke

Abstract: Exchange-only (EO) spin qubits in quantum dots offer an expansive design landscape for architecting scalable device layouts. The study of two-EO-qubit operations, which involve six electrons in six quantum dots, has so far been limited to a small number of the possible configurations, and previous works lack analyses of design considerations and implications for quantum error correction. Using a s… ▽ More Exchange-only (EO) spin qubits in quantum dots offer an expansive design landscape for architecting scalable device layouts. The study of two-EO-qubit operations, which involve six electrons in six quantum dots, has so far been limited to a small number of the possible configurations, and previous works lack analyses of design considerations and implications for quantum error correction. Using a simple and fast optimization method, we generate complete pulse sequences for CX, CZ, iSWAP, leakage-controlled CX, and leakage-controlled CZ two-qubit gates on 450 unique planar six-dot topologies and analyze differences in sequence length (up to 43\% reduction) across topology classes. In addition, we show that relaxing constraints on post-operation spin locations can yield further reductions in sequence length; conversely, constraining these locations in a particular way generates a CXSWAP operation with minimal additional cost over a standard CX. We integrate this pulse library into the Intel quantum stack and experimentally verify pulse sequences on a Tunnel Falls chip for different operations in a linear-connectivity device to confirm that they work as expected. Finally, we explore architectural implications of these results for quantum error correction. Our work guides hardware and software design choices for future implementations of scalable quantum dot architectures. △ Less

Submitted 9 April, 2025; v1 submitted 19 December, 2024; originally announced December 2024.

Comments: 17 pages, 13 figures

Operational Framework for a Quantum Database

Authors: Carla Rieger, Michele Grossi, Gian Giacomo Guerreschi, Sofia Vallecorsa, Martin Werner

Abstract: Databases are an essential component of modern computing infrastructures and allow efficient manipulation of inherently structured data. The structure depends on the type and relationships of the individual data elements and on the access pattern. Extending the concept of databases to the quantum domain is expected to increase both the storage efficiency and the access parallelism through quantum… ▽ More Databases are an essential component of modern computing infrastructures and allow efficient manipulation of inherently structured data. The structure depends on the type and relationships of the individual data elements and on the access pattern. Extending the concept of databases to the quantum domain is expected to increase both the storage efficiency and the access parallelism through quantum superposition. In addition, quantum databases may be seen as the result of a prior state preparation ready to be used by quantum algorithms when needed. On the other hand, limiting factors exist and include entanglement creation, the impossibility of perfect copying due to the no-cloning theorem, and the impossibility of coherently erasing a quantum state. In this work, we introduce quantum databases within the broader context of data structures using classical, or more precisely cloneable, and quantum data and indexing. In particular, we are interested in quantum databases' practical implementation and usability, focusing on the definition of the basic operations needed to create and manipulate data stored in a superposition state. Specifically, we address the case of quantum indexing in combination with cloneable data. For this scenario, we define the operations for database preparation, extension, removal of indices, writing, and read-out of data, as well as index permutation. We present their algorithmic implementation and highlight their advantages and limitations. Finally, we introduce the next steps toward defining the same operations in the more general context of quantum indexing and quantum data. △ Less

Submitted 12 February, 2025; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 27 pages, 4 figures

Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST

Authors: Albert T. Schmitz, Mohannad Ibrahim, Nicolas P. D. Sawaya, Gian Giacomo Guerreschi, Jennifer Paykin, Xin-Chuan Wu, A. Y. Matsuura

Abstract: The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus… ▽ More The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus on the set of subroutines which look to optimize the PCOAST graph in cases involving unitary and non-unitary operations as represented by nodes in the graph. This includes reduction of node cost and node number in the presence of preparation nodes, reduction of cost for Clifford operations in the presence of preparations, and measurement cost reduction using Clifford operations and the classical remapping of measurement outcomes. These routines can also be combined to amplify their effectiveness. We evaluate the PCOAST optimization subroutines using the Intel Quantum SDK on examples of the Variational Quantum Eigensolver (VQE) algorithm. This includes synthesizing a circuit for the simultaneous measurement of a mutually commuting set of Pauli operators. We find for such measurement circuits the overall average ratio of the maximum theoretical number of two-qubit gates to the actual number of two-qubit gates used by our method to be 7.91. △ Less

Submitted 22 May, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 10 pages, 8 figures, 3 tables, update to Ref. 1 citation

Realization of a quantum neural network using repeat-until-success circuits in a superconducting quantum processor

Authors: M. S. Moreira, G. G. Guerreschi, W. Vlothuizen, J. F. Marques, J. van Straten, S. P. Premaratne, X. Zou, H. Ali, N. Muthusubramanian, C. Zachariadis, J. van Someren, M. Beekman, N. Haider, A. Bruno, C. G. Almudever, A. Y. Matsuura, L. DiCarlo

Abstract: Artificial neural networks are becoming an integral part of digital solutions to complex problems. However, employing neural networks on quantum processors faces challenges related to the implementation of non-linear functions using quantum circuits. In this paper, we use repeat-until-success circuits enabled by real-time control-flow feedback to realize quantum neurons with non-linear activation… ▽ More Artificial neural networks are becoming an integral part of digital solutions to complex problems. However, employing neural networks on quantum processors faces challenges related to the implementation of non-linear functions using quantum circuits. In this paper, we use repeat-until-success circuits enabled by real-time control-flow feedback to realize quantum neurons with non-linear activation functions. These neurons constitute elementary building blocks that can be arranged in a variety of layouts to carry out deep learning tasks quantum coherently. As an example, we construct a minimal feedforward quantum neural network capable of learning all 2-to-1-bit Boolean functions by optimization of network activation parameters within the supervised-learning paradigm. This model is shown to perform non-linear classification and effectively learns from multiple copies of a single training state consisting of the maximal superposition of all inputs. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Comments: 24 pages, 22 figures, 3 tables

Journal ref: npj Quantum Inf 9, 118 (2023)

An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators

Authors: Pradnya Khalate, Xin-Chuan Wu, Shavindra Premaratne, Justin Hogaboam, Adam Holmes, Albert Schmitz, Gian Giacomo Guerreschi, Xiang Zou, A. Y. Matsuura

Abstract: Variational algorithms are a representative class of quantum computing workloads that combine quantum and classical computing. This paper presents an LLVM-based C++ compiler toolchain to efficiently execute variational hybrid quantum-classical algorithms on a computational system in which the quantum device acts as an accelerator. We introduce a set of extensions to the C++ language for programmin… ▽ More Variational algorithms are a representative class of quantum computing workloads that combine quantum and classical computing. This paper presents an LLVM-based C++ compiler toolchain to efficiently execute variational hybrid quantum-classical algorithms on a computational system in which the quantum device acts as an accelerator. We introduce a set of extensions to the C++ language for programming these algorithms. We define a novel Executable and Linking Format (ELF) for Quantum and create a quantum device compiler component in the LLVM framework to compile the quantum part of the C++ source and reuse the host compiler in the LLVM framework to compile the classical computing part of the C++ source. A variational algorithm runs a quantum circuit repeatedly, each time with different gate parameters. We add to the quantum runtime the capability to execute dynamically a quantum circuit with different parameters. Thus, programmers can call quantum routines the same way as classical routines. With these capabilities, a variational hybrid quantum-classical algorithm can be specified in a single-source code and only needs to be compiled once for all iterations. The single compilation significantly reduces the execution latency of variational algorithms. We evaluate the framework's performance by running quantum circuits that prepare Thermofield Double (TFD) states, a quantum-classical variational algorithm. △ Less

Submitted 22 February, 2022; originally announced February 2022.

Comments: 13 pages, 10 figures, 1 appendix

Biology and medicine in the landscape of quantum advantages

Authors: Benjamin A. Cordier, Nicolas P. D. Sawaya, Gian G. Guerreschi, Shannon K. McWeeney

Abstract: Quantum computing holds significant potential for applications in biology and medicine, spanning from the simulation of biomolecules to machine learning approaches for subtyping cancers on the basis of clinical features. This potential is encapsulated by the concept of a quantum advantage, which is typically contingent on a reduction in the consumption of a computational resource, such as time, sp… ▽ More Quantum computing holds significant potential for applications in biology and medicine, spanning from the simulation of biomolecules to machine learning approaches for subtyping cancers on the basis of clinical features. This potential is encapsulated by the concept of a quantum advantage, which is typically contingent on a reduction in the consumption of a computational resource, such as time, space, or data. Here, we distill the concept of a quantum advantage into a simple framework that we hope will aid researchers in biology and medicine pursuing the development of quantum applications. We then apply this framework to a wide variety of computational problems relevant to these domains in an effort to i) assess the potential of quantum advantages in specific application areas and ii) identify gaps that may be addressed with novel quantum approaches. Bearing in mind the rapid pace of change in the fields of quantum computing and classical algorithms, we aim to provide an extensive survey of applications in biology and medicine that may lead to practical quantum advantages. △ Less

Submitted 16 December, 2021; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 40 pages, 2 figures, 3 tables, 1 box

Journal ref: J. R. Soc. Interface 19:196 (2022) 20220541

Mapping Surface Code to Superconducting Quantum Processors

Authors: Anbang Wu, Gushu Li, Hezi Zhang, Gian Giacomo Guerreschi, Yufei Ding, Yuan Xie

Abstract: In this paper, we formally describe the three challenges of mapping surface code on superconducting devices, and present a comprehensive synthesis framework to overcome these challenges. The proposed framework consists of three optimizations. First, we adopt a geometrical method to allocate data qubits which ensures the existence of shallow syndrome extraction circuit. The proposed data qubit layo… ▽ More In this paper, we formally describe the three challenges of mapping surface code on superconducting devices, and present a comprehensive synthesis framework to overcome these challenges. The proposed framework consists of three optimizations. First, we adopt a geometrical method to allocate data qubits which ensures the existence of shallow syndrome extraction circuit. The proposed data qubit layout optimization reduces the overhead of syndrome extraction and serves as a good initial point for following optimizations. Second, we only use bridge qubits enclosed by data qubits and reduce the number of bridge qubits by merging short path between data qubits. The proposed bridge qubit optimization reduces the probability of bridge qubit conflicts and further minimizes the syndrome extraction overhead. Third, we propose an efficient heuristic to schedule syndrome extractions. Based on the proposed data qubit allocation, we devise a good initial schedule of syndrome extractions and further refine this schedule to minimize the total time needed by a complete surface code error detection cycle. Our experiments on mainsstream superconducting quantum architectures have demonstrated the efficiency of the proposed framework. △ Less

Submitted 26 November, 2021; originally announced November 2021.

QECV: Quantum Error Correction Verification

Authors: Anbang Wu, Gushu Li, Hezi Zhang, Gian Giacomo Guerreschi, Yuan Xie, Yufei Ding

Abstract: Quantum Error Correction (QEC) is essential for fault-tolerant quantum copmutation, and its implementation is a very sophisticated process involving both quantum and classical hardware. Formulating and verifying the decomposition of logical operations into physical ones is a challenge in itself. In this paper, we propose QECV, a verification framework that can efficiently verify the formal correct… ▽ More Quantum Error Correction (QEC) is essential for fault-tolerant quantum copmutation, and its implementation is a very sophisticated process involving both quantum and classical hardware. Formulating and verifying the decomposition of logical operations into physical ones is a challenge in itself. In this paper, we propose QECV, a verification framework that can efficiently verify the formal correctness of stabilizer codes, arguably the most important class of QEC codes. QECV first comes with a concise language, QECV-Lang, where stabilizers are treated as a first-class object, to represent QEC programs. Stabilizers are also used as predicates in our new assertion language, QECV-Assn, as logical and arithmetic operations of stabilizers can be naturally defined. We derive a sound quantum Hoare logic proof system with a set of inference rules for QECV to efficiently reason about the correctness of QEC programs. We demonstrate the effectiveness of QECV with both theoretical complexity analysis and in-depth case studies of two well-known stabilizer QEC codes, the repetition code and the surface code. △ Less

Submitted 26 November, 2021; originally announced November 2021.

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms

Authors: Gian Giacomo Guerreschi

Abstract: Quadratic Unconstrained Binary Optimization (QUBO) is a broad class of optimization problems with many practical applications. To solve its hard instances in an exact way, known classical algorithms require exponential time and several approximate methods have been devised to reduce such cost. With the growing maturity of quantum computing, quantum algorithms have been proposed to speed up the sol… ▽ More Quadratic Unconstrained Binary Optimization (QUBO) is a broad class of optimization problems with many practical applications. To solve its hard instances in an exact way, known classical algorithms require exponential time and several approximate methods have been devised to reduce such cost. With the growing maturity of quantum computing, quantum algorithms have been proposed to speed up the solution by using either quantum annealers or universal quantum computers. Here we apply the divide-and-conquer approach to reduce the original problem to a collection of smaller problems whose solutions can be assembled to form a single Polynomial Binary Unconstrained Optimization instance with fewer variables. This technique can be applied to any QUBO instance and leads to either an all-classical or a hybrid quantum-classical approach. When quantum heuristics like the Quantum Approximate Optimization Algorithm (QAOA) are used, our proposal leads to a double advantage: a substantial reduction of quantum resources, specifically an average of ~42% fewer qubits to solve MaxCut on random 3-regular graphs, together with an improvement in the quality of the approximate solutions reached. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Fast simulation of quantum algorithms using circuit optimization

Authors: Gian Giacomo Guerreschi

Abstract: Classical simulators play a major role in the development and benchmark of quantum algorithms and practically any software framework for quantum computation provides the option of running the algorithms on simulators. However, the development of quantum simulators was substantially separated from the rest of the software frameworks which, instead, focus on usability and compilation. Here, we demon… ▽ More Classical simulators play a major role in the development and benchmark of quantum algorithms and practically any software framework for quantum computation provides the option of running the algorithms on simulators. However, the development of quantum simulators was substantially separated from the rest of the software frameworks which, instead, focus on usability and compilation. Here, we demonstrate the advantage of co-developing and integrating simulators and compilers by proposing a specialized compiler pass to reduce the simulation time for arbitrary circuits. While the concept is broadly applicable, we present a concrete implementation based on the Intel Quantum Simulator, a high-performance distributed simulator. As part of this work, we extend its implementation with additional functionalities related to the representation of quantum states. The communication overhead is reduced by changing the order in which state amplitudes are stored in the distributed memory, a concept analogous to the distinction between local and global qubits for distributed Schroedinger-type simulators. We then implement a compiler pass to exploit the novel functionalities by introducing special instructions governing data movement as part of the quantum circuit. Those instructions target unique capabilities of simulators and have no analogue in actual quantum devices. To quantify the advantage, we compare the time required to simulate random circuits with and without our optimization. The simulation time is typically halved. △ Less

Submitted 21 April, 2022; v1 submitted 19 October, 2020; originally announced October 2020.

Journal ref: Quantum 6, 706 (2022)

Realizing Quantum Algorithms on Real Quantum Computing Devices

Authors: Carmen G. Almudever, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi

Abstract: Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led t… ▽ More Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led to a situation where we have substantially different quantum computing devices available thus far. They mostly differ in the number and kind of qubits and the connectivity between them. Because of that, various methods for realizing the intended quantum functionality on a given quantum computing device are available. This paper provides an introduction and overview into this domain and describes corresponding methods, also referred to as compilers, mappers, synthesizers, transpilers, or routers. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Evaluation of QAOA based on the approximation ratio of individual samples

Authors: Jason Larkin, Matías Jonsson, Daniel Justice, Gian Giacomo Guerreschi

Abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a hybrid quantum-classical algorithm to solve binary-variable optimization problems. Due to the short circuit depth and its expected robustness to systematic errors, it is one of the promising candidates likely to run on near-term quantum devices. We simulate the performance of QAOA applied to the Max-Cut problem and compare it with some of… ▽ More The Quantum Approximate Optimization Algorithm (QAOA) is a hybrid quantum-classical algorithm to solve binary-variable optimization problems. Due to the short circuit depth and its expected robustness to systematic errors, it is one of the promising candidates likely to run on near-term quantum devices. We simulate the performance of QAOA applied to the Max-Cut problem and compare it with some of the best classical alternatives, for exact, approximate and heuristic solution. When comparing solvers, their performance is characterized by the computational time taken to achieve a given quality of solution. Since QAOA is based on sampling, we utilize performance metrics based on the probability of observing a sample above a certain quality. In addition, we show that the QAOA performance varies significantly with the graph type. By selecting a suitable optimizer for the variational parameters and reducing the number of function evaluations, QAOA performance improves by up to 2 orders of magnitude compared to previous estimates. Especially for 3-regular random graphs, this setting decreases the performance gap with classical alternatives. Because of the evolving QAOA computational complexity-theoretic guidance, we utilize a framework for the search for quantum advantage which incorporates a large number of problem instances and all three classical solver modalities: exact, approximate, and heuristic. △ Less

Submitted 7 December, 2020; v1 submitted 8 June, 2020; originally announced June 2020.

Journal ref: Quantum Sci. Technol. 7, 045014 (2022)

Quantum computer-aided design: digital quantum simulation of quantum processors

Authors: Thi Ha Kyaw, Tim Menke, Sukin Sim, Abhinav Anand, Nicolas P. D. Sawaya, William D. Oliver, Gian Giacomo Guerreschi, Alán Aspuru-Guzik

Abstract: With the increasing size of quantum processors, sub-modules that constitute the processor hardware will become too large to accurately simulate on a classical computer. Therefore, one would soon have to fabricate and test each new design primitive and parameter choice in time-consuming coordination between design, fabrication, and experimental validation. Here we show how one can design and test t… ▽ More With the increasing size of quantum processors, sub-modules that constitute the processor hardware will become too large to accurately simulate on a classical computer. Therefore, one would soon have to fabricate and test each new design primitive and parameter choice in time-consuming coordination between design, fabrication, and experimental validation. Here we show how one can design and test the performance of next-generation quantum hardware -- by using existing quantum computers. Focusing on superconducting transmon processors as a prominent hardware platform, we compute the static and dynamic properties of individual and coupled transmons. We show how the energy spectra of transmons can be obtained by variational hybrid quantum-classical algorithms that are well-suited for near-term noisy quantum computers. In addition, single- and two-qubit gate simulations are demonstrated via Suzuki-Trotter decomposition. Our methods pave a promising way towards designing candidate quantum processors when the demands of calculating sub-module properties exceed the capabilities of classical computing resources. △ Less

Submitted 13 October, 2021; v1 submitted 4 June, 2020; originally announced June 2020.

Comments: 17 pages, 8 figures. accepted version to appear in Phys. Rev. Appl

Journal ref: Phys. Rev. Applied 16, 044042 (2021)

On connectivity-dependent resource requirements for digital quantum simulation of $d$-level particles

Authors: Nicolas P. D. Sawaya, Gian Giacomo Guerreschi, Adam Holmes

Abstract: A primary objective of quantum computation is to efficiently simulate quantum physics. Scientifically and technologically important quantum Hamiltonians include those with spin-$s$, vibrational, photonic, and other bosonic degrees of freedom, i.e. problems composed of or approximated by $d$-level particles (qudits). Recently, several methods for encoding these systems into a set of qubits have bee… ▽ More A primary objective of quantum computation is to efficiently simulate quantum physics. Scientifically and technologically important quantum Hamiltonians include those with spin-$s$, vibrational, photonic, and other bosonic degrees of freedom, i.e. problems composed of or approximated by $d$-level particles (qudits). Recently, several methods for encoding these systems into a set of qubits have been introduced, where each encoding's efficiency was studied in terms of qubit and gate counts. Here, we build on previous results by including effects of hardware connectivity. To study the number of SWAP gates required to Trotterize commonly used quantum operators, we use both analytical arguments and automatic tools that optimize the schedule in multiple stages. We study the unary (or one-hot), Gray, standard binary, and block unary encodings, with three connectivities: linear array, ladder array, and square grid. Among other trends, we find that while the ladder array leads to substantial efficiencies over the linear array, the advantage of the square over the ladder array is less pronounced. These results are applicable in hardware co-design and in choosing efficient qudit encodings for a given set of near-term quantum hardware. Additionally, this work may be relevant to the scheduling of other quantum algorithms for which matrix exponentiation is a subroutine. △ Less

Submitted 1 October, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: Accepted to QCE20 (IEEE Quantum Week). Corrected erroneous circuits in Figure 3

Journal ref: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE)

Intel Quantum Simulator: A cloud-ready high-performance simulator of quantum circuits

Authors: Gian Giacomo Guerreschi, Justin Hogaboam, Fabio Baruffa, Nicolas P. D. Sawaya

Abstract: Classical simulation of quantum computers will continue to play an essential role in the progress of quantum information science, both for numerical studies of quantum algorithms and for modeling noise and errors. Here we introduce the latest release of Intel Quantum Simulator (IQS), formerly known as qHiPSTER. The high-performance computing (HPC) capability of the software allows users to leverag… ▽ More Classical simulation of quantum computers will continue to play an essential role in the progress of quantum information science, both for numerical studies of quantum algorithms and for modeling noise and errors. Here we introduce the latest release of Intel Quantum Simulator (IQS), formerly known as qHiPSTER. The high-performance computing (HPC) capability of the software allows users to leverage the available hardware resources provided by supercomputers, as well as available public cloud computing infrastructure. To take advantage of the latter platform, together with the distributed simulation of each separate quantum state, IQS allows to subdivide the computational resources to simulate a pool of related circuits in parallel. We highlight the technical implementation of the distributed algorithm and details about the new pool functionality. We also include some basic benchmarks (up to 42 qubits) and performance results obtained using HPC infrastructure. Finally, we use IQS to emulate a scenario in which many quantum devices are running in parallel to implement the quantum approximate optimization algorithm, using particle swarm optimization as the classical subroutine. The results demonstrate that the hyperparameters of this classical optimization algorithm depends on the total number of quantum circuit simulations one has the bandwidth to perform. Intel Quantum Simulator has been released open-source with permissive licensing and is designed to simulate a large number of qubits, to emulate multiple quantum devices running in parallel, and/or to study the effects of decoherence and other hardware errors on calculation results. △ Less

Submitted 5 May, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: Improved figures and updated link to the GitHub repository

Journal ref: Quantum Sci. Technol. 5, 034007 (2020)

Scheduler of quantum circuits based on dynamical pattern improvement and its application to hardware design

Authors: Gian Giacomo Guerreschi

Abstract: As quantum hardware increases in complexity, successful algorithmic execution relies more heavily on awareness of existing device constraints. In this work we focus on the problem of routing quantum information across the machine to overcome the limited connectivity of quantum hardware. Previous approaches address the problem for each two-qubit gate separately and then impose the compatibility of… ▽ More As quantum hardware increases in complexity, successful algorithmic execution relies more heavily on awareness of existing device constraints. In this work we focus on the problem of routing quantum information across the machine to overcome the limited connectivity of quantum hardware. Previous approaches address the problem for each two-qubit gate separately and then impose the compatibility of the different routes. Here we shift the focus onto the set of all routing operations that are possible at any given time and favor those that most benefit the global pattern of two-qubit gates. We benchmark our optimization technique by scheduling variational algorithms for transmon chips. Finally we apply our scheduler to the design problem of quantifying the impact of manufacturing decisions. Specifically, we address the number of distinct qubit frequencies in superconducting architectures and how they affect the algorithmic performance of the quantum Fourier transform. △ Less

Submitted 29 November, 2019; originally announced December 2019.

Resource-efficient digital quantum simulation of $d$-level systems for photonic, vibrational, and spin-$s$ Hamiltonians

Authors: Nicolas P. D. Sawaya, Tim Menke, Thi Ha Kyaw, Sonika Johri, Alán Aspuru-Guzik, Gian Giacomo Guerreschi

Abstract: Simulation of quantum systems is expected to be one of the most important applications of quantum computing, with much of the theoretical work so far having focused on fermionic and spin-$\frac{1}{2}$ systems. Here, we instead consider encodings of $d$-level (i.e. qudit) quantum operators into multi-qubit operators, studying resource requirements for approximating operator exponentials by Trotteri… ▽ More Simulation of quantum systems is expected to be one of the most important applications of quantum computing, with much of the theoretical work so far having focused on fermionic and spin-$\frac{1}{2}$ systems. Here, we instead consider encodings of $d$-level (i.e. qudit) quantum operators into multi-qubit operators, studying resource requirements for approximating operator exponentials by Trotterization. We primarily focus on spin-$s$ and truncated bosonic operators in second quantization, observing desirable properties for approaches based on the Gray code, which to our knowledge has not been used in this context previously. After outlining a methodology for implementing an arbitrary encoding, we investigate the interplay between Hamming distances, sparsity patterns, bosonic truncation, and other properties of local operators. Finally, we obtain resource counts for five common Hamiltonian classes used in physics and chemistry, while modeling the possibility of converting between encodings within a Trotter step. The most efficient encoding choice is heavily dependent on the application and highly sensitive to $d$, although clear trends are present. These operation count reductions are relevant for running algorithms on near-term quantum hardware because the savings effectively decrease the required circuit depth. Results and procedures outlined in this work may be useful for simulating a broad class of Hamiltonians on qubit-based digital quantum computers. △ Less

Submitted 16 July, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: Edits for final NPJ-QI version

Journal ref: npj Quantum Inf 6, 49 (2020)

QAOA for Max-Cut requires hundreds of qubits for quantum speed-up

Authors: G. G. Guerreschi, A. Y. Matsuura

Abstract: Computational quantum technologies are entering a new phase in which noisy intermediate-scale quantum computers are available, but are still too small to benefit from active error correction. Even with a finite coherence budget to invest in quantum information processing, noisy devices with about 50 qubits are expected to experimentally demonstrate quantum supremacy in the next few years. Defined… ▽ More Computational quantum technologies are entering a new phase in which noisy intermediate-scale quantum computers are available, but are still too small to benefit from active error correction. Even with a finite coherence budget to invest in quantum information processing, noisy devices with about 50 qubits are expected to experimentally demonstrate quantum supremacy in the next few years. Defined in terms of artificial tasks, current proposals for quantum supremacy, even if successful, will not help to provide solutions to practical problems. Instead, we believe that future users of quantum computers are interested in actual applications and that noisy quantum devices may still provide value by approximately solving hard combinatorial problems via hybrid classical-quantum algorithms. To lower bound the size of quantum computers with practical utility, we perform realistic simulations of the Quantum Approximate Optimization Algorithm and conclude that quantum speedup will not be attainable, at least for a representative combinatorial problem, until several hundreds of qubits are available. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Journal ref: Sci Rep 9, 6903 (2019)

Impact of qubit connectivity on quantum algorithm performance

Authors: Adam Holmes, Sonika Johri, Gian Giacomo Guerreschi, James S. Clarke, A. Y. Matsuura

Abstract: Quantum computing hardware is undergoing rapid development from proof-of-principle devices to scalable machines that could eventually challenge classical supercomputers on specific tasks. On platforms with local connectivity, the transition from one- to two-dimensional arrays of qubits is seen as a natural technological step to increase the density of computing power and to reduce the routing cost… ▽ More Quantum computing hardware is undergoing rapid development from proof-of-principle devices to scalable machines that could eventually challenge classical supercomputers on specific tasks. On platforms with local connectivity, the transition from one- to two-dimensional arrays of qubits is seen as a natural technological step to increase the density of computing power and to reduce the routing cost of limited connectivity. Here we map and schedule representative algorithmic workloads - the Quantum Fourier Transform (QFT) relevant to factoring, the Grover diffusion operator relevant to quantum search, and Jordan-Wigner parity rotations relevant to simulations of quantum chemistry and materials science - to qubit arrays with varying connectivity. In particular we investigate the impact of restricting the ideal all-to-all connectivity to a square grid, a ladder and a linear array of qubits. Our schedule for the QFT on a ladder results in running time close to that of a system with all-to-all connectivity. Our results suggest that some common quantum algorithm primitives can be optimized to have execution times on systems with limited connectivities, such as a ladder and linear array, that are competitive with systems that have all-to-all connectivity △ Less

Submitted 5 November, 2018; originally announced November 2018.

Journal ref: Quantum Sci. Technol. 5 025009 (2020)

Repeat-Until-Success circuits with fixed-point oblivious amplitude amplification

Authors: Gian Giacomo Guerreschi

Abstract: Certain quantum operations can be built more efficiently through a procedure known as Repeat-Until-Success. Differently from other non-deterministic quantum operations, this procedure provides a classical flag which certifies the success or failure of the procedure and, in the latter case, a recovery step allows the restoration of the quantum state to its original condition. The procedure can then… ▽ More Certain quantum operations can be built more efficiently through a procedure known as Repeat-Until-Success. Differently from other non-deterministic quantum operations, this procedure provides a classical flag which certifies the success or failure of the procedure and, in the latter case, a recovery step allows the restoration of the quantum state to its original condition. The procedure can then be repeated until success is achieved. After success is certified, the RUS procedure can be equated to a coherent gate. However, this is not the case when the operation needs to be conditioned on the state of other qubits, possibly being in a superposition state. In this situation, the final operation depends on the failure and success history and introduces a "distortion" that, even after the final success, depends on the past outcomes. We quantify the distortion and show that it can be reduced by increasing the probability of success towards unity. While this can be achieved via oblivious amplitude amplification when the initial success probability is known, we propose the use of fixed-point oblivious amplitude amplification to reduce this unwanted distortions below any given threshold even without knowing the initial success probability. △ Less

Submitted 8 August, 2018; originally announced August 2018.

Journal ref: Phys. Rev. A 99, 022306 (2019)

cQASM v1.0: Towards a Common Quantum Assembly Language

Authors: N. Khammassi, G. G. Guerreschi, I. Ashraf, J. W. Hogaboam, C. G. Almudever, K. Bertels

Abstract: The quantum assembly language (QASM) is a popular intermediate representation used in many quantum compilation and simulation tools to describe quantum circuits. Currently, multiple different dialects of QASM are used in different quantum computing tools. This makes the interaction between those tools tedious and time-consuming due to the need for translators between theses different syntaxes. Bes… ▽ More The quantum assembly language (QASM) is a popular intermediate representation used in many quantum compilation and simulation tools to describe quantum circuits. Currently, multiple different dialects of QASM are used in different quantum computing tools. This makes the interaction between those tools tedious and time-consuming due to the need for translators between theses different syntaxes. Beside requiring a multitude of translators, the translation process exposes the constant risk of loosing information due to the potential incompatibilities between the different dialects. Moreover, several tools introduce details of specific target hardware or qubit technologies within the QASM syntax and prevent porting the code to other hardwares. In this paper, we propose a common QASM syntax definition, named cQASM, which aims to abstract away qubit technology details and guarantee the interoperability between all the quantum compilation and simulation tools supporting this standard. Our vision is to enable an extensive quantum computing toolbox shared by all the quantum computing community. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Comments: 8 pages, 1 Figure, 7 Listings

Quantum Neuron: an elementary building block for machine learning on quantum computers

Authors: Yudong Cao, Gian Giacomo Guerreschi, Alán Aspuru-Guzik

Abstract: Even the most sophisticated artificial neural networks are built by aggregating substantially identical units called neurons. A neuron receives multiple signals, internally combines them, and applies a non-linear function to the resulting weighted sum. Several attempts to generalize neurons to the quantum regime have been proposed, but all proposals collided with the difficulty of implementing non… ▽ More Even the most sophisticated artificial neural networks are built by aggregating substantially identical units called neurons. A neuron receives multiple signals, internally combines them, and applies a non-linear function to the resulting weighted sum. Several attempts to generalize neurons to the quantum regime have been proposed, but all proposals collided with the difficulty of implementing non-linear activation functions, which is essential for classical neurons, due to the linear nature of quantum mechanics. Here we propose a solution to this roadblock in the form of a small quantum circuit that naturally simulates neurons with threshold activation. Our quantum circuit defines a building block, the "quantum neuron", that can reproduce a variety of classical neural network constructions while maintaining the ability to process superpositions of inputs and preserve quantum coherence and entanglement. In the construction of feedforward networks of quantum neurons, we provide numerical evidence that the network not only can learn a function when trained with superposition of inputs and the corresponding output, but that this training suffices to learn the function on all individual inputs separately. When arranged to mimic Hopfield networks, quantum neural networks exhibit properties of associative memory. Patterns are encoded using the simple Hebbian rule for the weights and we demonstrate attractor dynamics from corrupted inputs. Finally, the fact that our quantum model closely captures (traditional) neural network dynamics implies that the vast body of literature and results on neural networks becomes directly relevant in the context of quantum machine learning. △ Less

Submitted 30 November, 2017; originally announced November 2017.

Comments: 27 pages, 11 figures

Two-step approach to scheduling quantum circuits

Authors: Gian Giacomo Guerreschi, Jongsoo Park

Abstract: As the effort to scale up existing quantum hardware proceeds, it becomes necessary to schedule quantum gates in a way that minimizes the number of operations. There are three constraints that have to be satisfied: the order or dependency of the quantum gates in the specific algorithm, the fact that any qubit may be involved in at most one gate at a time, and the restriction that two-qubit gates ar… ▽ More As the effort to scale up existing quantum hardware proceeds, it becomes necessary to schedule quantum gates in a way that minimizes the number of operations. There are three constraints that have to be satisfied: the order or dependency of the quantum gates in the specific algorithm, the fact that any qubit may be involved in at most one gate at a time, and the restriction that two-qubit gates are implementable only between connected qubits. The last aspect implies that the compilation depends not only on the algorithm, but also on hardware properties like connectivity. Here we suggest a two-step approach in which logical gates are initially scheduled neglecting connectivity considerations, while routing operations are added at a later step in a way that minimizes their overhead. We rephrase the subtasks of gate scheduling in terms of graph problems like edge-coloring and maximum subgraph isomorphism. While this approach is general, we specialize to a one dimensional array of qubits to propose a routing scheme that is minimal in the number of exchange operations. As a practical application, we schedule the Quantum Approximate Optimization Algorithm in a linear geometry and quantify the reduction in the number of gates and circuit depth that results from increasing the efficacy of the scheduling strategies. △ Less

Submitted 14 May, 2018; v1 submitted 31 July, 2017; originally announced August 2017.

Comments: Edited text. Added figure summarizing the two-step approach

Journal ref: Quantum Sci. Technol. 3 045003 (2018)

Practical optimization for hybrid quantum-classical algorithms

Authors: Gian Giacomo Guerreschi, Mikhail Smelyanskiy

Abstract: A novel class of hybrid quantum-classical algorithms based on the variational approach have recently emerged from separate proposals addressing, for example, quantum chemistry and combinatorial problems. These algorithms provide an approximate solution to the problem at hand by encoding it in the state of a quantum computer. The operations used to prepare the state are not a priori fixed but, quit… ▽ More A novel class of hybrid quantum-classical algorithms based on the variational approach have recently emerged from separate proposals addressing, for example, quantum chemistry and combinatorial problems. These algorithms provide an approximate solution to the problem at hand by encoding it in the state of a quantum computer. The operations used to prepare the state are not a priori fixed but, quite the opposite, are subjected to a classical optimization procedure that modifies the quantum gates and improves the quality of the approximate solution. While the quantum hardware determines the size of the problem and what states are achievable (limited, respectively, by the number of qubits and by the kind and number of possible quantum gates), it is the classical optimization procedure that determines the way in which the quantum states are explored and whether the best available solution is actually reached. In addition, the quantities required in the optimization, for example the objective function itself, have to be estimated with finite precision in any experimental implementation. While it is desirable to have very precise estimates, this comes at the cost of repeating the state preparation and measurement multiple times. Here we analyze the competing requirements of high precision and low number of repetitions and study how the overall performance of the variational algorithm is affected by the precision level and the choice of the optimization method. Finally, this study introduces quasi-Newton optimization methods in the general context of hybrid variational algorithms and presents quantitative results for the Quantum Approximate Optimization Algorithm. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Faster than Classical Quantum Algorithm for dense Formulas of Exact Satisfiability and Occupation Problems

Authors: Salvatore Mandrà, Gian Giacomo Guerreschi, Alán Aspuru-Guzik

Abstract: We present an exact quantum algorithm for solving the Exact Satisfiability (XSAT) problem, which belongs to the important NP-complete complexity class. The algorithm is based on an intuitive approach that can be divided into two parts: First, the identification and efficient characterization of a restricted subspace that contains all the valid assignments of the XSAT; Second, a quantum search in s… ▽ More We present an exact quantum algorithm for solving the Exact Satisfiability (XSAT) problem, which belongs to the important NP-complete complexity class. The algorithm is based on an intuitive approach that can be divided into two parts: First, the identification and efficient characterization of a restricted subspace that contains all the valid assignments of the XSAT; Second, a quantum search in such restricted subspace. The quantum algorithm can be used either to find a valid assignment (or to certify that no solution exists) or to count the total number of valid assignments. The query complexities for the worst-case are respectively bounded by $O(\sqrt{2^{n-M^{\prime}}})$ and $O(2^{n-M^{\prime}})$, where $n$ is the number of variables and $M^{\prime}$ the number of linearly independent clauses. Remarkably, the proposed quantum algorithm results to be faster than any known exact classical algorithm to solve dense formulas of XSAT. As a concrete application, we provide the worst-case complexity for the Hamiltonian cycle problem obtained after mapping it to a suitable XSAT. Specifically, we show that the time complexity for the proposed quantum algorithm is bounded by $O(2^{n/4})$ for 3-regular undirected graphs, where $n$ is the number of nodes. The same worst-case complexity holds for $(3,3)$-regular bipartite graphs (the current best classical algorithm has a (worst-case) running time bounded by $O(2^{31n/96})$). Finally, when compared to heuristic techniques for XSAT, the proposed quantum algorithm is faster than the classical WalkSAT and Adiabatic Quantum Optimization for random instances with a density of constraints close to the satisfiability threshold, the regime in which instances are typically the hardest to solve. The proposed quantum algorithm can be also extended to the generalized version of the XSAT known as Occupation problem. △ Less

Submitted 29 August, 2016; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: Added a new section "Application to the Hamiltonian cycle problem". The paper has been published in New Journal of Physics

Journal ref: New Journal of Physics 18(7), 073003, 2016

Microwave Boson Sampling

Authors: Borja Peropadre, Gian Giacomo Guerreschi, Joonsuk Huh, Alán Aspuru-Guzik

Abstract: The first post-classical computation will most probably be performed not on a universal quantum computer, but rather on a dedicated quantum hardware. A strong candidate for achieving this is represented by the task of sampling from the output distribution of linear quantum optical networks. This problem, known as boson sampling, has recently been shown to be intractable for any classical computer,… ▽ More The first post-classical computation will most probably be performed not on a universal quantum computer, but rather on a dedicated quantum hardware. A strong candidate for achieving this is represented by the task of sampling from the output distribution of linear quantum optical networks. This problem, known as boson sampling, has recently been shown to be intractable for any classical computer, but it is naturally carried out by running the corresponding experiment. However, only small scale realizations of boson sampling experiments have been demonstrated to date. Their main limitation is related to the non-deterministic state preparation and inefficient measurement step. Here, we propose an alternative setup to implement boson sampling that is based on microwave photons and not on optical photons. The certified scalability of superconducting devices indicates that this direction is promising for a large-scale implementation of boson sampling and allows for more flexible features like arbitrary state preparation and efficient photon-number measurements. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Journal ref: Phys. Rev. Lett. 117, 140505 (2016)

Boson Sampling for Molecular Vibronic Spectra

Authors: Joonsuk Huh, Gian Giacomo Guerreschi, Borja Peropadre, Jarrod R. McClean, Alán Aspuru-Guzik

Abstract: Quantum computers are expected to be more efficient in performing certain computations than any classical machine. Unfortunately, the technological challenges associated with building a full-scale quantum computer have not yet allowed the experimental verification of such an expectation. Recently, boson sampling has emerged as a problem that is suspected to be intractable on any classical computer… ▽ More Quantum computers are expected to be more efficient in performing certain computations than any classical machine. Unfortunately, the technological challenges associated with building a full-scale quantum computer have not yet allowed the experimental verification of such an expectation. Recently, boson sampling has emerged as a problem that is suspected to be intractable on any classical computer, but efficiently implementable with a linear quantum optical setup. Therefore, boson sampling may offer an experimentally realizable challenge to the Extended Church-Turing thesis and this remarkable possibility motivated much of the interest around boson sampling, at least in relation to complexity-theoretic questions. In this work, we show that the successful development of a boson sampling apparatus would not only answer such inquiries, but also yield a practical tool for difficult molecular computations. Specifically, we show that a boson sampling device with a modified input state can be used to generate molecular vibronic spectra, including complicated effects such as Duschinsky rotations. △ Less

Submitted 29 December, 2014; originally announced December 2014.

Comments: 10 pages, 6 figures

Journal ref: Nature Photonics 9, no. 9 (2015): 615-620

Adiabatic quantum optimization in presence of discrete noise: Reducing the problem dimensionality

Authors: Salvatore Mandrà, Gian Giacomo Guerreschi, Alán Aspuru-Guzik

Abstract: Adiabatic quantum optimization is a procedure to solve a vast class of optimization problems by slowly changing the Hamiltonian of a quantum system. The evolution time necessary for the algorithm to be successful scales inversely with the minimum energy gap encountered during the dynamics. Unfortunately, the direct calculation of the gap is strongly limited by the exponential growth in the dimensi… ▽ More Adiabatic quantum optimization is a procedure to solve a vast class of optimization problems by slowly changing the Hamiltonian of a quantum system. The evolution time necessary for the algorithm to be successful scales inversely with the minimum energy gap encountered during the dynamics. Unfortunately, the direct calculation of the gap is strongly limited by the exponential growth in the dimensionality of the Hilbert space associated to the quantum system. Although many special-purpose methods have been devised to reduce the effective dimensionality, they are strongly limited to particular classes of problems with evident symmetries. Moreover, little is known about the computational power of adiabatic quantum optimizers in real-world conditions. Here, we propose and implement a general purposes reduction method that does not rely on any explicit symmetry and which requires, under certain general conditions, only a polynomial amount of classical resources. Thanks to this method, we are able to analyze the performance of "non-ideal" quantum adiabatic optimizers to solve the well-known Grover problem, namely the search of target entries in an unsorted database, in the presence of discrete local defects. In this case, we show that adiabatic quantum optimization, even if affected by random noise, is still potentially faster than any classical algorithm. △ Less

Submitted 15 December, 2015; v1 submitted 30 July, 2014; originally announced July 2014.

Comments: Version published in Physical Review A with an improved/different content selection with respect to the previous version entitled "Dimensionality reduction for adiabatic quantum optimizers: Beyond symmetry exploitation"

Journal ref: Phys. Rev. A 92, 062320 (2015)

Multiple re-encounter approach to radical pair reactions and the role of nonlinear master equations

Authors: Jens Clausen, Gian Giacomo Guerreschi, Markus Tiersch, Hans J. Briegel

Abstract: We formulate a multiple-encounter model of the radical pair mechanism that is based on a random coupling of the radical pair to a minimal model environment. These occasional pulse-like couplings correspond to the radical encounters and give rise to both dephasing and recombination. While this is in agreement with the original model of Haberkorn and its extensions that assume additional dephasing,… ▽ More We formulate a multiple-encounter model of the radical pair mechanism that is based on a random coupling of the radical pair to a minimal model environment. These occasional pulse-like couplings correspond to the radical encounters and give rise to both dephasing and recombination. While this is in agreement with the original model of Haberkorn and its extensions that assume additional dephasing, we show how a nonlinear master equation may be constructed to describe the conditional evolution of the radical pairs prior to the detection of their recombination. We propose a nonlinear master equation for the evolution of an ensemble of independently evolving radical pairs whose nonlinearity depends on the record of the fluorescence signal. We also reformulate Haberkorn's original argument on the physicality of reaction operators using the terminology of quantum optics/open quantum systems. Our model allows one to describe multiple encounters within the exponential model and connects this with the master equation approach. We include hitherto neglected effects of the encounters, such as a separate dephasing in the triplet subspace, and predict potential new effects, such as Grover reflections of radical spins, that may be observed if the strength and time of the encounters can be experimentally controlled. △ Less

Submitted 23 October, 2013; originally announced October 2013.

Comments: 29 pages, 6 figures

Journal ref: J. Chem. Phys. 141, 054107 (2014)

Approaches to Measuring Entanglement in Chemical Magnetometers

Authors: M. Tiersch, G. G. Guerreschi, J. Clausen, H. J. Briegel

Abstract: Chemical magnetometers are radical pair systems such as solutions of pyrene and N,N-dimethylaniline (Py-DMA) that show magnetic field effects in their spin dynamics and their fluorescence. We investigate the existence and decay of quantum entanglement in free geminate Py-DMA radical pairs and discuss how entanglement can be assessed in these systems. We provide an entanglement witness and propose… ▽ More Chemical magnetometers are radical pair systems such as solutions of pyrene and N,N-dimethylaniline (Py-DMA) that show magnetic field effects in their spin dynamics and their fluorescence. We investigate the existence and decay of quantum entanglement in free geminate Py-DMA radical pairs and discuss how entanglement can be assessed in these systems. We provide an entanglement witness and propose possible observables for experimentally estimating entanglement in radical pair systems with isotropic hyperfine couplings. As an application, we analyze how the field dependence of the entanglement lifetime in Py-DMA could in principle be used for magnetometry and illustrate the propagation of measurement errors in this approach. △ Less

Submitted 16 January, 2014; v1 submitted 23 August, 2013; originally announced August 2013.

Comments: 9 pages, 4 figures; version accepted for publication

Journal ref: J. Phys. Chem. A 118, 13-20 (2014)

Optical switching of radical pair conformation enhances magnetic sensitivity

Authors: Gian Giacomo Guerreschi, Markus Tiersch, Ulrich E. Steiner, Hans J. Briegel

Abstract: The yield of chemical reactions involving intermediate radical pairs is influenced by magnetic fields well beyond the levels expected from energy considerations. This dependence can be traced back to the microscopic dynamics of electron spins and constitutes the basis of the chemical compass. Here we propose a new experimental approach based on molecular photoswitches to achieve additional control… ▽ More The yield of chemical reactions involving intermediate radical pairs is influenced by magnetic fields well beyond the levels expected from energy considerations. This dependence can be traced back to the microscopic dynamics of electron spins and constitutes the basis of the chemical compass. Here we propose a new experimental approach based on molecular photoswitches to achieve additional control on the chemical reaction and to allow short-time resolution of the spin dynamics. Our proposal enables experiments to test some of the standard assumptions of the radical pair model and improves the sensitivity of chemical magnetometers by two orders of magnitude. △ Less

Submitted 5 June, 2012; originally announced June 2012.

Journal ref: Chemical Physics Letters 572, 106-110 (2013)

Persistent dynamic entanglement from classical motion: How bio-molecular machines can generate non-trivial quantum states

Authors: Gian Giacomo Guerreschi, Jianming Cai, Sandu Popescu, Hans J. Briegel

Abstract: Very recently [Phys. Rev. E 82, 021921 (2010)] a simple mechanism was presented by which a molecule subjected to forced oscillations, out of thermal equilibrium, can maintain quantum entanglement between two of its quantum degrees of freedom. Crucially, entanglement can be maintained even in the presence of very intense noise, so intense that no entanglement is possible when the forced oscillation… ▽ More Very recently [Phys. Rev. E 82, 021921 (2010)] a simple mechanism was presented by which a molecule subjected to forced oscillations, out of thermal equilibrium, can maintain quantum entanglement between two of its quantum degrees of freedom. Crucially, entanglement can be maintained even in the presence of very intense noise, so intense that no entanglement is possible when the forced oscillations cease. This mechanism may allow for the presence of non-trivial quantum entanglement in biological systems. Here we significantly enlarge the study of this model. In particular, we show that the persistent generation of dynamic entanglement is not restricted to the bosonic heat bath model, but it can also be observed in other decoherence models, e.g. the spin gas model, and in non-Markovian scenarios. We also show how conformational changes can be used by an elementary machine to generate entanglement even in unfavorable conditions. In biological systems, similar mechanisms could be exploited by more complex molecular machines or motors. △ Less

Submitted 9 November, 2011; originally announced November 2011.

Journal ref: New J. Phys. 14, 053043 (2012)

Motional effects on the efficiency of excitation transfer

Authors: Ali Asadian, Markus Tiersch, Gian Giacomo Guerreschi, Jianming Cai, Sandu Popescu, Hans J. Briegel

Abstract: Energy transfer plays a vital role in many natural and technological processes. In this work, we study the effects of mechanical motion on the excitation transfer through a chain of interacting molecules with application to biological scenarios of transfer processes. Our investigation demonstrates that, for various types of mechanical oscillations, the transfer efficiency is significantly enhanced… ▽ More Energy transfer plays a vital role in many natural and technological processes. In this work, we study the effects of mechanical motion on the excitation transfer through a chain of interacting molecules with application to biological scenarios of transfer processes. Our investigation demonstrates that, for various types of mechanical oscillations, the transfer efficiency is significantly enhanced over that of comparable static configurations. This enhancement is a genuine quantum signature, and requires the collaborative interplay between the quantum-coherent evolution of the excitation and the mechanical motion of the molecules; it has no analogue in the classical incoherent energy transfer. This effect may not only occur naturally, but it could be exploited in artificially designed systems to optimize transport processes. As an application, we discuss a simple and hence robust control technique. △ Less

Submitted 21 June, 2010; v1 submitted 2 February, 2010; originally announced February 2010.

Comments: 25 pages, 11 figures; completely revised; version accepted for publication

Journal ref: New J. Phys. 12, 075019 (2010)

Quantum measures for density correlations in optical lattices

Authors: F. Benatti, R. Floreanini, G. G. Guerreschi

Abstract: The density-density correlation profiles obtained superimposing absorption images from atomic clouds freely expanding after the release of the confining optical lattice can be theoretically described in terms of a generalized quantum measure based on coherent-like states. We show that the corresponding density patterns differ in a testable way from those computed using standard many-body mean va… ▽ More The density-density correlation profiles obtained superimposing absorption images from atomic clouds freely expanding after the release of the confining optical lattice can be theoretically described in terms of a generalized quantum measure based on coherent-like states. We show that the corresponding density patterns differ in a testable way from those computed using standard many-body mean values, usually adopted in fitting experimental data. △ Less

Submitted 29 July, 2009; originally announced July 2009.

Comments: LaTeX, 14 pages

Quantum control and entanglement in a chemical compass

Authors: Jianming Cai, Gian Giacomo Guerreschi, Hans J. Briegel

Abstract: The radical pair mechanism is one of the two main hypotheses to explain the navigability of animals in weak magnetic fields, enabling e.g. birds to see the Earth's magnetic field. It also plays an essential role in the field of spin chemistry. Here, we show how quantum control can be used to either enhance or reduce the performance of such a chemical compass, providing a new route to further study… ▽ More The radical pair mechanism is one of the two main hypotheses to explain the navigability of animals in weak magnetic fields, enabling e.g. birds to see the Earth's magnetic field. It also plays an essential role in the field of spin chemistry. Here, we show how quantum control can be used to either enhance or reduce the performance of such a chemical compass, providing a new route to further study the radical pair mechanism and its applications. We study the role of quantum entanglement in this mechanism, and demonstrate intriguing connections between radical-pair entanglement and the magnetic field sensitivity of the compass. Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-the-art quantum technologies could potentially be used to probe and control biological functions. △ Less

Submitted 10 May, 2010; v1 submitted 12 June, 2009; originally announced June 2009.

Comments: 5 pages, 4 figures and supplementary material. Accepted by Phys. Rev. Lett.

Journal ref: Phys. Rev. Lett 104, 220502 (2010)

Noise induced interference fringes in trapped ultracold bosonic gases

Authors: S. Anderloni, F. Benatti, R. Floreanini, G. G. Guerreschi

Abstract: We study the dynamics of ultracold atoms trapped in optical double-well potentials in presence of noise generated by an external environment. When prepared in a Fock number state, the system shows phase coherence in the averaged density profile obtained using standard absorption image techniques, that disappears in absence of noise. This effect indicates that also in many-body systems an externa… ▽ More We study the dynamics of ultracold atoms trapped in optical double-well potentials in presence of noise generated by an external environment. When prepared in a Fock number state, the system shows phase coherence in the averaged density profile obtained using standard absorption image techniques, that disappears in absence of noise. This effect indicates that also in many-body systems an external environment may enhance quantum coherence, instead of destroying it. △ Less

Submitted 18 November, 2008; originally announced November 2008.

Comments: 14 pages, LaTex