@article {3504, title = {Phase transition in magic with random quantum circuits}, year = {2024}, month = {4/11/2024}, abstract = {

Magic is a property of quantum states that enables universal fault-tolerant quantum computing using simple sets of gate operations. Understanding the mechanisms by which magic is created or destroyed is, therefore, a crucial step towards efficient and practical fault-tolerant computation. We observe that a random stabilizer code subject to coherent errors exhibits a phase transition in magic, which we characterize through analytic, numeric and experimental probes. Below a critical error rate, stabilizer syndrome measurements remove the accumulated magic in the circuit, effectively protecting against coherent errors; above the critical error rate syndrome measurements concentrate magic. A better understanding of such rich behavior in the resource theory of magic could shed more light on origins of quantum speedup and pave pathways for more efficient magic state generation.

}, url = {https://arxiv.org/abs/2304.10481}, author = {Pradeep Niroula and Christopher David White and Qingfeng Wang and Sonika Johri and Daiwei Zhu and Christopher Monroe and Crystal Noel and Michael Gullans} } @article {3311, title = {Colloquium: Quantum and Classical Discrete Time Crystals}, year = {2023}, month = {5/15/2023}, abstract = {

The spontaneous breaking of time translation symmetry has led to the discovery of a new phase of matter - the discrete time crystal. Discrete time crystals exhibit rigid subharmonic oscillations, which result from a combination of many-body interactions, collective synchronization, and ergodicity breaking. This Colloquium reviews recent theoretical and experimental advances in the study of quantum and classical discrete time crystals. We focus on the breaking of ergodicity as the key to discrete time crystals and the delaying of ergodicity as the source of numerous phenomena that share many of the properties of discrete time crystals, including the AC Josephson effect, coupled map lattices, and Faraday waves. Theoretically, there exists a diverse array of strategies to stabilize time crystalline order in both closed and open systems, ranging from localization and prethermalization to dissipation and error correction. Experimentally, many-body quantum simulators provide a natural platform for investigating signatures of time crystalline order; recent work utilizing trapped ions, solid-state spin systems, and superconducting qubits will be reviewed. Finally, this Colloquium concludes by describing outstanding challenges in the field and a vision for new directions on both the experimental and theoretical fronts.

}, url = {https://arxiv.org/abs/2305.08904}, author = {Michael P. Zaletel and Mikhail Lukin and Christopher Monroe and Chetan Nayak and Frank Wilczek and Norman Y. Yao} } @article {3421, title = {Digital quantum simulation of NMR experiments}, journal = {Science Advances}, volume = {9}, year = {2023}, month = {11/29/2023}, abstract = {

Simulations of nuclear magnetic resonance (NMR) experiments can be an important tool for extracting information about molecular structure and optimizing experimental protocols but are often intractable on classical computers for large molecules such as proteins and for protocols such as zero-field NMR. We demonstrate the first quantum simulation of an NMR spectrum, computing the zero-field spectrum of the methyl group of acetonitrile using four qubits of a trapped-ion quantum computer. We reduce the sampling cost of the quantum simulation by an order of magnitude using compressed sensing techniques. We show how the intrinsic decoherence of NMR systems may enable the zero-field simulation of classically hard molecules on relatively near-term quantum hardware and discuss how the experimentally demonstrated quantum algorithm can be used to efficiently simulate scientifically and technologically relevant solid-state NMR experiments on more mature devices. Our work opens a practical application for quantum computation.

}, issn = {2375-2548}, doi = {10.1126/sciadv.adh2594}, url = {https://arxiv.org/abs/2109.13298}, author = {Seetharam, Kushal and Biswas, Debopriyo and Noel, Crystal and Risinger, Andrew and Zhu, Daiwei and Katz, Or and Chattopadhyay, Sambuddha and Cetina, Marko and Monroe, Christopher and Demler, Eugene and Sels, Dries} } @article {3256, title = {Error Mitigation Thresholds in Noisy Quantum Circuits}, year = {2023}, month = {2/8/2023}, abstract = {

Extracting useful information from noisy near-term quantum simulations requires error mitigation strategies. A broad class of these strategies rely on precise characterization of the noise source. We study the performance of such strategies when the noise is imperfectly characterized. We adapt an Imry-Ma argument to predict the existence of an error mitigation threshold for random spatially local circuits in spatial dimensions D\≥2: characterization disorder below the threshold rate allows for error mitigation up to times that scale with the number of qubits. For one-dimensional circuits, by contrast, mitigation fails at an O(1) time for any imperfection in the characterization of disorder. We discuss implications for tests of quantum computational advantage, fault-tolerant probes of measurement-induced phase transitions, and quantum algorithms in near-term devices.

}, url = {https://arxiv.org/abs/2302.04278}, author = {Pradeep Niroula and Sarang Gopalakrishnan and Michael Gullans} } @article {3261, title = {Ever more optimized simulations of fermionic systems on a quantum computer}, year = {2023}, month = {3/6/2023}, abstract = {

Despite using a novel model of computation, quantum computers break down programs into elementary gates. Among such gates, entangling gates are the most expensive. In the context of fermionic simulations, we develop a suite of compilation and optimization techniques that massively reduce the entangling-gate counts. We exploit the well-studied non-quantum optimization algorithms to achieve up to 24\% savings over the state of the art for several small-molecule simulations, with no loss of accuracy or hidden costs. Our methodologies straightforwardly generalize to wider classes of near-term simulations of the ground state of a fermionic system or real-time simulations probing dynamical properties of a fermionic system.\ 

}, url = {https://arxiv.org/abs/2303.03460}, author = {Qingfeng Wang and Ze-Pei Cian and Ming Li and Igor L. Markov and Yunseong Nam} } @article {3404, title = {Fault-Tolerant Quantum Memory using Low-Depth Random Circuit Codes}, year = {2023}, month = {11/29/2023}, abstract = {

Low-depth random circuit codes possess many desirable properties for quantum error correction but have so far only been analyzed in the code capacity setting where it is assumed that encoding gates and syndrome measurements are noiseless. In this work, we design a fault-tolerant distillation protocol for preparing encoded states of one-dimensional random circuit codes even when all gates and measurements are subject to noise. This is sufficient for fault-tolerant quantum memory since these encoded states can then be used as ancillas for Steane error correction. We show through numerical simulations that our protocol can correct erasure errors up to an error rate of 2\%. In addition, we also extend results in the code capacity setting by developing a maximum likelihood decoder for depolarizing noise similar to work by Darmawan et al. As in their work, we formulate the decoding problem as a tensor network contraction and show how to contract the network efficiently by exploiting the low-depth structure. Replacing the tensor network with a so-called \&$\#$39;\&$\#$39;tropical\&$\#$39;\&$\#$39; tensor network, we also show how to perform minimum weight decoding. With these decoders, we are able to numerically estimate the depolarizing error threshold of finite-rate random circuit codes and show that this threshold closely matches the hashing bound even when the decoding is sub-optimal.

}, url = {https://arxiv.org/abs/2311.17985}, author = {Jon Nelson and Gregory Bentsen and Steven T. Flammia and Michael Gullans} } @article {3356, title = {Hamiltonians whose low-energy states require $\Omega(n)$ T gates}, year = {2023}, month = {10/2/2023}, abstract = {

The recent resolution of the NLTS Conjecture [ABN22] establishes a prerequisite to the Quantum PCP (QPCP) Conjecture through a novel use of newly-constructed QLDPC codes [LZ22]. Even with NLTS now solved, there remain many independent and unresolved prerequisites to the QPCP Conjecture, such as the NLSS Conjecture of [GL22]. In this work we focus on a specific and natural prerequisite to both NLSS and the QPCP Conjecture, namely, the existence of local Hamiltonians whose low-energy states all require ω(logn) T gates to prepare. In fact, we prove a stronger result which is not necessarily implied by either conjecture: we construct local Hamiltonians whose low-energy states require Ω(n) T gates. Following a previous work [CCNN23], we further show that our procedure can be applied to the NLTS Hamiltonians of [ABN22] to yield local Hamiltonians whose low-energy states require both Ω(logn)-depth and Ω(n) T gates to prepare. Our results utilize a connection between T-count and stabilizer groups, which was recently applied in the context of learning low T-count states [GIKL23a, GIKL23b, GIKL23c].

}, url = {https://arxiv.org/abs/2310.01347}, author = {Nolan J. Coble and Matthew Coudron and Jon Nelson and Seyed Sajjad Nezhadi} } @article {3252, title = {Local Hamiltonians with no low-energy stabilizer states}, year = {2023}, month = {2/28/2023}, abstract = {

The recently-defined No Low-energy Sampleable States (NLSS) conjecture of Gharibian and Le Gall [GL22] posits the existence of a family of local Hamiltonians where all states of low-enough constant energy do not have succinct representations allowing perfect sampling access. States that can be prepared using only Clifford gates (i.e. stabilizer states) are an example of sampleable states, so the NLSS conjecture implies the existence of local Hamiltonians whose low-energy space contains no stabilizer states. We describe families that exhibit this requisite property via a simple alteration to local Hamiltonians corresponding to CSS codes. Our method can also be applied to the recent NLTS Hamiltonians of Anshu, Breuckmann, and Nirkhe [ABN22], resulting in a family of local Hamiltonians whose low-energy space contains neither stabilizer states nor trivial states. We hope that our techniques will eventually be helpful for constructing Hamiltonians which simultaneously satisfy NLSS and NLTS.

}, url = {https://arxiv.org/abs/2302.14755}, author = {Nolan J. Coble and Matthew Coudron and Jon Nelson and Seyed Sajjad Nezhadi} } @article {3411, title = {A quantum central path algorithm for linear optimization}, year = {2023}, month = {11/7/2023}, abstract = {

We propose a novel quantum algorithm for solving linear optimization problems by quantum-mechanical simulation of the central path. While interior point methods follow the central path with an iterative algorithm that works with successive linearizations of the perturbed KKT conditions, we perform a single simulation working directly with the nonlinear complementarity equations. Combining our approach with iterative refinement techniques, we obtain an exact solution to a linear optimization problem involving m constraints and n variables using at most O((m+n)nnz(A)κ(M)L\⋅polylog(m,n,κ(M))) elementary gates and O(nnz(A)L) classical arithmetic operations, where nnz(A) is the total number of non-zero elements found in the constraint matrix, L denotes binary input length of the problem data, and κ(M) is a condition number that depends only on the problem data.

}, url = {https://arxiv.org/abs/2311.03977}, author = {Brandon Augustino and Jiaqi Leng and Giacomo Nannicini and Tam{\'a}s Terlaky and Xiaodi Wu} } @article {3355, title = {Quantum Sensing with Erasure Qubits}, year = {2023}, month = {10/2/2023}, abstract = {

The dominant noise in an \"erasure qubit\" is an erasure -- a type of error whose occurrence and location can be detected. Erasure qubits have potential to reduce the overhead associated with fault tolerance. To date, research on erasure qubits has primarily focused on quantum computing and quantum networking applications. Here, we consider the applicability of erasure qubits to quantum sensing and metrology. We show theoretically that, for the same level of noise, an erasure qubit acts as a more precise sensor or clock compared to its non-erasure counterpart. We experimentally demonstrate this by artificially injecting either erasure errors (in the form of atom loss) or dephasing errors into a differential optical lattice clock comparison, and observe enhanced precision in the case of erasure errors for the same injected error rate. Similar benefits of erasure qubits to sensing can be realized in other quantum platforms like Rydberg atoms and superconducting qubits

}, url = {https://arxiv.org/abs/2310.01512}, author = {Pradeep Niroula and Jack Dolde and Xin Zheng and Jacob Bringewatt and Adam Ehrenberg and Kevin C. Cox and Jeff Thompson and Michael Gullans and Shimon Kolkowitz and Alexey V. Gorshkov} } @article {3397, title = {Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions}, year = {2023}, month = {12/14/2023}, abstract = {

Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of the computational tasks needed for materials science. In order to do that, the quantum technology must interact with conventional high-performance computing in several ways: approximate results validation, identification of hard problems, and synergies in quantum-centric supercomputing. In this paper, we provide a perspective on how quantum-centric supercomputing can help address critical computational problems in materials science, the challenges to face in order to solve representative use cases, and new suggested directions.

}, url = {https://arxiv.org/abs/2312.09733}, author = {Yuri Alexeev and Maximilian Amsler and Paul Baity and Marco Antonio Barroca and Sanzio Bassini and Torey Battelle and Daan Camps and David Casanova and Young jai Choi and Frederic T. Chong and Charles Chung and Chris Codella and Antonio D. Corcoles and James Cruise and Alberto Di Meglio and Jonathan Dubois and Ivan Duran and Thomas Eckl and Sophia Economou and Stephan Eidenbenz and Bruce Elmegreen and Clyde Fare and Ismael Faro and Cristina Sanz Fern{\'a}ndez and Rodrigo Neumann Barros Ferreira and Keisuke Fuji and Bryce Fuller and Laura Gagliardi and Giulia Galli and Jennifer R. Glick and Isacco Gobbi and Pranav Gokhale and Salvador de la Puente Gonzalez and Johannes Greiner and Bill Gropp and Michele Grossi and Emmanuel Gull and Burns Healy and Benchen Huang and Travis S. Humble and Nobuyasu Ito and Artur F. Izmaylov and Ali Javadi-Abhari and Douglas Jennewein and Shantenu Jha and Liang Jiang and Barbara Jones and Wibe Albert de Jong and Petar Jurcevic and William Kirby and Stefan Kister and Masahiro Kitagawa and Joel Klassen and Katherine Klymko and Kwangwon Koh and Masaaki Kondo and Doga Murat Kurkcuoglu and Krzysztof Kurowski and Teodoro Laino and Ryan Landfield and Matt Leininger and Vicente Leyton-Ortega and Ang Li and Meifeng Lin and Junyu Liu and Nicolas Lorente and Andre Luckow and Simon Martiel and Francisco Martin-Fernandez and Margaret Martonosi and Claire Marvinney and Arcesio Castaneda Medina and Dirk Merten and Antonio Mezzacapo and Kristel Michielsen and Abhishek Mitra and Tushar Mittal and Kyungsun Moon and Joel Moore and Mario Motta and Young-Hye Na and Yunseong Nam and Prineha Narang and Yu-ya Ohnishi and Daniele Ottaviani and Matthew Otten and Scott Pakin and Vincent R. Pascuzzi and Ed Penault and Tomasz Piontek and Jed Pitera and Patrick Rall and Gokul Subramanian Ravi and Niall Robertson and Matteo Rossi and Piotr Rydlichowski and Hoon Ryu and Georgy Samsonidze and Mitsuhisa Sato and Nishant Saurabh and Vidushi Sharma and Kunal Sharma and Soyoung Shin and George Slessman and Mathias Steiner and Iskandar Sitdikov and In-Saeng Suh and Eric Switzer and Wei Tang and Joel Thompson and Synge Todo and Minh Tran and Dimitar Trenev and Christian Trott and Huan-Hsin Tseng and Esin Tureci and David Garc{\'\i}a Valinas and Sofia Vallecorsa and Christopher Wever and Konrad Wojciechowski and Xiaodi Wu and Shinjae Yoo and Nobuyuki Yoshioka and Victor Wen-zhe Yu and Seiji Yunoki and Sergiy Zhuk and Dmitry Zubarev} } @article {3312, title = {A sharp phase transition in linear cross-entropy benchmarking}, year = {2023}, month = {5/8/2023}, abstract = {

Demonstrations of quantum computational advantage and benchmarks of quantum processors via quantum random circuit sampling are based on evaluating the linear cross-entropy benchmark (XEB). A key question in the theory of XEB is whether it approximates the fidelity of the quantum state preparation. Previous works have shown that the XEB generically approximates the fidelity in a regime where the noise rate per qudit ε satisfies εN<<1 for a system of N qudits and that this approximation breaks down at large noise rates. Here, we show that the breakdown of XEB as a fidelity proxy occurs as a sharp phase transition at a critical value of εN that depends on the circuit architecture and properties of the two-qubit gates, including in particular their entangling power. We study the phase transition using a mapping of average two-copy quantities to statistical mechanics models in random quantum circuit architectures with full or one-dimensional connectivity. We explain the phase transition behavior in terms of spectral properties of the transfer matrix of the statistical mechanics model and identify two-qubit gate sets that exhibit the largest noise robustness.

}, url = {https://arxiv.org/abs/2305.04954}, author = {Brayden Ware and Abhinav Deshpande and Dominik Hangleiter and Pradeep Niroula and Bill Fefferman and Alexey V. Gorshkov and Michael Gullans} } @article {3418, title = {Thresholds in the Robustness of Error Mitigation in Noisy Quantum Dynamics}, year = {2023}, month = {10/30/2023}, abstract = {

Extracting useful information from noisy near-term quantum simulations requires error mitigation strategies. A broad class of these strategies rely on precise characterization of the noise source. We study the robustness of such strategies when the noise is imperfectly characterized. We adapt an Imry-Ma argument to predict the existence of a threshold in the robustness of error mitigation for random spatially local circuits in spatial dimensions D\≥2: noise characterization disorder below the threshold rate allows for error mitigation up to times that scale with the number of qubits. For one-dimensional circuits, by contrast, mitigation fails at an O(1) time for any imperfection in the characterization of disorder. As a result, error mitigation is only a practical method for sufficiently well-characterized noise. We discuss further implications for tests of quantum computational advantage, fault-tolerant probes of measurement-induced phase transitions, and quantum algorithms in near-term devices.

}, url = {https://arxiv.org/abs/2302.04278}, author = {Pradeep Niroula and Sarang Gopalakrishnan and Michael Gullans} } @article {3139, title = {Experimental Implementation of an Efficient Test of Quantumness}, year = {2022}, month = {9/28/2022}, abstract = {

A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior, under certain cryptographic assumptions. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verification. In this paper, we execute an efficient non-interactive test of quantumness on an ion-trap quantum computer. Our results significantly exceed the bound for a classical device\&$\#$39;s success.

}, keywords = {FOS: Physical sciences, Other Condensed Matter (cond-mat.other), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2209.14316}, url = {https://arxiv.org/abs/2209.14316}, author = {Lewis, Laura and Zhu, Daiwei and Gheorghiu, Alexandru and Noel, Crystal and Katz, Or and Harraz, Bahaa and Wang, Qingfeng and Risinger, Andrew and Feng, Lei and Biswas, Debopriyo and Egan, Laird and Vidick, Thomas and Cetina, Marko and Monroe, Christopher} } @article {3014, title = {Machine-assisted discovery of integrable symplectic mappings}, year = {2022}, month = {3/22/2022}, abstract = {

We present a new automated method for finding integrable symplectic maps of the plane. These dynamical systems possess a hidden symmetry associated with an existence of conserved quantities, i.e. integrals of motion. The core idea of the algorithm is based on the knowledge that the evolution of an integrable system in the phase space is restricted to a lower-dimensional submanifold. Limiting ourselves to polygon invariants of motion, we analyze the shape of individual trajectories thus successfully distinguishing integrable motion from chaotic cases. For example, our method rediscovers some of the famous McMillan-Suris integrable mappings and discrete Painlev{\'e} equations. In total, over 100 new integrable families are presented and analyzed; some of them are isolated in the space of parameters, and some of them are families with one parameter (or the ratio of parameters) being continuous or discrete. At the end of the paper, we suggest how newly discovered maps are related to a general 2D symplectic map via an introduction of discrete perturbation theory and propose a method on how to construct smooth near-integrable dynamical systems based on mappings with polygon invariants.

}, keywords = {Accelerator Physics (physics.acc-ph), Adaptation and Self-Organizing Systems (nlin.AO), Exactly Solvable and Integrable Systems (nlin.SI), FOS: Physical sciences}, doi = {10.48550/ARXIV.2201.13133}, url = {https://arxiv.org/abs/2201.13133}, author = {Zolkin, Timofey and Kharkov, Yaroslav and Nagaitsev, Sergei} } @article {2997, title = {Quantum Simulation for High Energy Physics}, year = {2022}, month = {4/7/2022}, abstract = {

It is for the first time that Quantum Simulation for High Energy Physics (HEP) is studied in the U.S. decadal particle-physics community planning, and in fact until recently, this was not considered a mainstream topic in the community. This fact speaks of a remarkable rate of growth of this subfield over the past few years, stimulated by the impressive advancements in Quantum Information Sciences (QIS) and associated technologies over the past decade, and the significant investment in this area by the government and private sectors in the U.S. and other countries. High-energy physicists have quickly identified problems of importance to our understanding of nature at the most fundamental level, from tiniest distances to cosmological extents, that are intractable with classical computers but may benefit from quantum advantage. They have initiated, and continue to carry out, a vigorous program in theory, algorithm, and hardware co-design for simulations of relevance to the HEP mission. This community whitepaper is an attempt to bring this exciting and yet challenging area of research to the spotlight, and to elaborate on what the promises, requirements, challenges, and potential solutions are over the next decade and beyond.

}, keywords = {FOS: Physical sciences, High Energy Physics - Lattice (hep-lat), High Energy Physics - Phenomenology (hep-ph), High Energy Physics - Theory (hep-th), Nuclear Theory (nucl-th), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2204.03381}, url = {https://arxiv.org/abs/2204.03381}, author = {Bauer, Christian W. and Zohreh Davoudi and Balantekin, A. Baha and Bhattacharya, Tanmoy and Carena, Marcela and de Jong, Wibe A. and Draper, Patrick and El-Khadra, Aida and Gemelke, Nate and Hanada, Masanori and Kharzeev, Dmitri and Lamm, Henry and Li, Ying-Ying and Liu, Junyu and Lukin, Mikhail and Meurice, Yannick and Monroe, Christopher and Nachman, Benjamin and Pagano, Guido and Preskill, John and Rinaldi, Enrico and Roggero, Alessandro and Santiago, David I. and Savage, Martin J. and Siddiqi, Irfan and Siopsis, George and Van Zanten, David and Wiebe, Nathan and Yamauchi, Yukari and Yeter-Aydeniz, K{\"u}bra and Zorzetti, Silvia} } @article {3065, title = {A single T-gate makes distribution learning hard}, year = {2022}, month = {7/7/2022}, abstract = {

The task of learning a probability distribution from samples is ubiquitous across the natural sciences. The output distributions of local quantum circuits form a particularly interesting class of distributions, of key importance both to quantum advantage proposals and a variety of quantum machine learning algorithms. In this work, we provide an extensive characterization of the learnability of the output distributions of local quantum circuits. Our first result yields insight into the relationship between the efficient learnability and the efficient simulatability of these distributions. Specifically, we prove that the density modelling problem associated with Clifford circuits can be efficiently solved, while for depth d=nΩ(1) circuits the injection of a single T-gate into the circuit renders this problem hard. This result shows that efficient simulatability does not imply efficient learnability. Our second set of results provides insight into the potential and limitations of quantum generative modelling algorithms. We first show that the generative modelling problem associated with depth d=nΩ(1) local quantum circuits is hard for any learning algorithm, classical or quantum. As a consequence, one cannot use a quantum algorithm to gain a practical advantage for this task. We then show that, for a wide variety of the most practically relevant learning algorithms -- including hybrid-quantum classical algorithms -- even the generative modelling problem associated with depth d=ω(log(n)) Clifford circuits is hard. This result places limitations on the applicability of near-term hybrid quantum-classical generative modelling algorithms.

}, url = {https://arxiv.org/abs/2207.03140}, author = {Marcel Hinsche and Marios Ioannou and Alexander Nietner and Jonas Haferkamp and Yihui Quek and Dominik Hangleiter and Jean-Pierre Seifert and Jens Eisert and Ryan Sweke} } @article {3030, title = {Universal scattering with general dispersion relations}, journal = {Phys. Rev. Research}, volume = {4}, year = {2022}, month = {4/6/2022}, chapter = {023014}, abstract = {

Many synthetic quantum systems allow particles to have dispersion relations that are neither linear nor quadratic functions. Here, we explore single-particle scattering in general spatial dimension D\≥1 when the density of states diverges at a specific energy. To illustrate the underlying principles in an experimentally relevant setting, we focus on waveguide quantum electrodynamics (QED) problems (i.e. D=1) with dispersion relation ϵ(k)=\±|d|km, where m\≥2 is an integer. For a large class of these problems for any positive integer m, we rigorously prove that when there are no bright zero-energy eigenstates, the S-matrix evaluated at an energy E\→0 converges to a universal limit that is only dependent on m. We also give a generalization of a key index theorem in quantum scattering theory known as Levinson\&$\#$39;s theorem -- which relates the scattering phases to the number of bound states -- to waveguide QED scattering for these more general dispersion relations. We then extend these results to general integer dimensions D\≥1, dispersion relations ϵ(k)=|k|a for a D-dimensional momentum vector k with any real positive a, and separable potential scattering.

}, keywords = {FOS: Physical sciences, Mathematical Physics (math-ph), Quantum Physics (quant-ph)}, doi = {https://doi.org/10.1103/PhysRevResearch.4.023014}, url = {https://arxiv.org/abs/2103.09830}, author = {Wang, Yidan and Michael Gullans and Na, Xuesen and Whitsitt, Seth and Alexey V. Gorshkov} } @article {2760, title = {Universality in one-dimensional scattering with general dispersion relations}, journal = {Phys. Rev. Res.}, volume = {4}, year = {2022}, month = {3/17/2021}, chapter = {023014}, abstract = {

Many synthetic quantum systems allow particles to have dispersion relations that are neither linear nor quadratic functions. Here, we explore single-particle scattering in one dimension when the dispersion relation is ϵ(k)=\±|d|km, where m\≥2 is an integer. We study impurity scattering problems in which a single-particle in a one-dimensional waveguide scatters off of an inhomogeneous, discrete set of sites locally coupled to the waveguide. For a large class of these problems, we rigorously prove that when there are no bright zero-energy eigenstates, the S-matrix evaluated at an energy E\→0 converges to a universal limit that is only dependent on m. We also give a generalization of a key index theorem in quantum scattering theory known as Levinson\&$\#$39;s theorem -- which relates the scattering phases to the number of bound states -- to impurity scattering for these more general dispersion relations.

}, doi = {https://doi.org/10.48550/arXiv.2103.09830}, url = {https://arxiv.org/abs/2103.09830}, author = {Yidan Wang and Michael Gullans and Xuesen Na and Alexey V. Gorshkov} } @article {2857, title = {Chiral transport of hot carriers in graphene in the quantum Hall regime}, year = {2021}, month = {10/3/2021}, abstract = {

Photocurrent (PC) measurements can reveal the relaxation dynamics of photo-excited hot carriers beyond the linear response of conventional transport experiments, a regime important for carrier multiplication. In graphene subject to a magnetic field, PC measurements are able to probe the existence of Landau levels with different edge chiralities which is exclusive to relativistic electron systems. Here, we report the accurate measurement of PC in graphene in the quantum Hall regime. Prominent PC oscillations as a function of gate voltage on samples\&$\#$39; edges are observed. These oscillation amplitudes form an envelope which depends on the strength of the magnetic field, as does the PCs\&$\#$39; power dependence and their saturation behavior. We explain these experimental observations through a model using optical Bloch equations, incorporating relaxations through acoustic-, optical- phonons and Coulomb interactions. The simulated PC agrees with our experimental results, leading to a unified understanding of the chiral PC in graphene at various magnetic field strengths, and providing hints for the occurrence of a sizable carrier multiplication.\ 

}, url = {https://arxiv.org/abs/2110.01079}, author = {Bin Cao and Tobias Grass and Olivier Gazzano and Kishan Ashokbhai Patel and Jiuning Hu and Markus M{\"u}ller and Tobias Huber and Luca Anzi and Kenji Watanabe and Takashi Taniguchi and David Newell and Michael Gullans and Roman Sordan and Mohammad Hafezi and Glenn Solomon} } @article {2919, title = {Cross-Platform Comparison of Arbitrary Quantum Computations}, year = {2021}, month = {7/27/2021}, abstract = {

As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classical computer on particular tasks, there remains the difficult challenge of how to validate their performance. While algorithmic success can be easily verified in some instances such as number factoring or oracular algorithms, these approaches only provide pass/fail information for a single QC. On the other hand, a comparison between different QCs on the same arbitrary circuit provides a lower-bound for generic validation: a quantum computation is only as valid as the agreement between the results produced on different QCs. Such an approach is also at the heart of evaluating metrological standards such as disparate atomic clocks. In this paper, we report a cross-platform QC comparison using randomized and correlated measurements that results in a wealth of information on the QC systems. We execute several quantum circuits on widely different physical QC platforms and analyze the cross-platform fidelities.

}, url = {https://arxiv.org/abs/2107.11387}, author = {Daiwei Zhu and Ze-Pei Cian and Crystal Noel and Andrew Risinger and Debopriyo Biswas and Laird Egan and Yingyue Zhu and Alaina M. Green and Cinthia Huerta Alderete and Nhung H. Nguyen and Qingfeng Wang and Andrii Maksymov and Yunseong Nam and Marko Cetina and Norbert M. Linke and Mohammad Hafezi and Christopher Monroe} } @article {2631, title = {Device-independent Randomness Expansion with Entangled Photons}, journal = {Nat. Phys. }, year = {2021}, month = {01/28/2021}, abstract = {

With the growing availability of experimental loophole-free Bell tests, it has become possible to implement a new class of device-independent random number generators whose output can be certified to be uniformly random without requiring a detailed model of the quantum devices used. However, all of these experiments require many input bits in order to certify a small number of output bits, and it is an outstanding challenge to develop a system that generates more randomness than is used. Here, we devise a device-independent spot-checking protocol which uses only uniform bits as input. Implemented with a photonic loophole-free Bell test, we can produce 24\% more certified output bits (1,181,264,237) than consumed input bits (953,301,640), which is 5 orders of magnitude more efficient than our previous work [arXiv:1812.07786]. The experiment ran for 91.0 hours, creating randomness at an average rate of 3606 bits/s with a soundness error bounded by 5.7\×10\−7 in the presence of classical side information. Our system will allow for greater trust in public sources of randomness, such as randomness beacons, and the protocols may one day enable high-quality sources of private randomness as the device footprint shrinks.

}, doi = {https://doi.org/10.1038/s41567-020-01153-4}, url = {https://arxiv.org/abs/1912.11158}, author = {Lynden K. Shalm and Yanbao Zhang and Joshua C. Bienfang and Collin Schlager and Martin J. Stevens and Michael D. Mazurek and Carlos Abell{\'a}n and Waldimar Amaya and Morgan W. Mitchell and Mohammad A. Alhejji and Honghao Fu and Joel Ornstein and Richard P. Mirin and Sae Woo Nam and Emanuel Knill} } @article {2821, title = {Efficient quantum programming using EASE gates on a trapped-ion quantum computer}, year = {2021}, month = {7/15/2021}, abstract = {

Parallel operations in conventional computing have proven to be an essential tool for efficient and practical computation, and the story is not different for quantum computing. Indeed, there exists a large body of works that study advantages of parallel implementations of quantum gates for efficient quantum circuit implementations. Here, we focus on the recently invented efficient, arbitrary, simultaneously entangling (EASE) gates, available on a trapped-ion quantum computer. Leveraging its flexibility in selecting arbitrary pairs of qubits to be coupled with any degrees of entanglement, all in parallel, we show a n-qubit Clifford circuit can be implemented using 6log(n) EASE gates, a n-qubit multiply-controlled NOT gate can be implemented using 3n/2 EASE gates, and a n-qubit permutation can be implemented using six EASE gates. We discuss their implications to near-term quantum chemistry simulations and the state of the art pattern matching algorithm. Given Clifford + multiply-controlled NOT gates form a universal gate set for quantum computing, our results imply efficient quantum computation by EASE gates, in general.

}, url = {https://arxiv.org/abs/2107.07591}, author = {Nikodem Grzesiak and Andrii Maksymov and Pradeep Niroula and Yunseong Nam} } @article {2932, title = {Entangled quantum cellular automata, physical complexity, and Goldilocks rules}, journal = {Quantum Science and Technology}, volume = {6}, year = {2021}, month = {9/29/2021}, pages = {045017}, abstract = {

Cellular automata are interacting classical bits that display diverse emergent behaviors, from fractals to random-number generators to Turing-complete computation. We discover that quantum cellular automata (QCA) can exhibit complexity in the sense of the complexity science that describes biology, sociology, and economics. QCA exhibit complexity when evolving under \"Goldilocks rules\" that we define by balancing activity and stasis. Our Goldilocks rules generate robust dynamical features (entangled breathers), network structure and dynamics consistent with complexity, and persistent entropy fluctuations. Present-day experimental platforms -- Rydberg arrays, trapped ions, and superconducting qubits -- can implement our Goldilocks protocols, making testable the link between complexity science and quantum computation exposed by our QCA.

}, issn = {2058-9565}, doi = {10.1088/2058-9565/ac1c41}, url = {http://dx.doi.org/10.1088/2058-9565/ac1c41}, author = {Hillberry, Logan E and Jones, Matthew T and Vargas, David L and Rall, Patrick and Nicole Yunger Halpern and Bao, Ning and Notarnicola, Simone and Montangero, Simone and Carr, Lincoln D} } @article {2908, title = {Interactive Protocols for Classically-Verifiable Quantum Advantage}, year = {2021}, month = {12/9/2021}, abstract = {

Achieving quantum computational advantage requires solving a classically intractable problem on a quantum device. Natural proposals rely upon the intrinsic hardness of classically simulating quantum mechanics; however, verifying the output is itself classically intractable. On the other hand, certain quantum algorithms (e.g. prime factorization via Shor\&$\#$39;s algorithm) are efficiently verifiable, but require more resources than what is available on near-term devices. One way to bridge the gap between verifiability and implementation is to use \"interactions\" between a prover and a verifier. By leveraging cryptographic functions, such protocols enable the classical verifier to enforce consistency in a quantum prover\&$\#$39;s responses across multiple rounds of interaction. In this work, we demonstrate the first implementation of an interactive quantum advantage protocol, using an ion trap quantum computer. We execute two complementary protocols -- one based upon the learning with errors problem and another where the cryptographic construction implements a computational Bell test. To perform multiple rounds of interaction, we implement mid-circuit measurements on a subset of trapped ion qubits, with subsequent coherent evolution. For both protocols, the performance exceeds the asymptotic bound for classical behavior; maintaining this fidelity at scale would conclusively demonstrate verifiable quantum advantage.

}, url = {https://arxiv.org/abs/2112.05156}, author = {Daiwei Zhu and Gregory D. Kahanamoku-Meyer and Laura Lewis and Crystal Noel and Or Katz and Bahaa Harraz and Qingfeng Wang and Andrew Risinger and Lei Feng and Debopriyo Biswas and Laird Egan and Alexandru Gheorghiu and Yunseong Nam and Thomas Vidick and Umesh Vazirani and Norman Y. Yao and Marko Cetina and Christopher Monroe} } @article {2869, title = {Learnability of the output distributions of local quantum circuits}, year = {2021}, month = {10/11/2021}, abstract = {

There is currently a large interest in understanding the potential advantages quantum devices can offer for probabilistic modelling. In this work we investigate, within two different oracle models, the probably approximately correct (PAC) learnability of quantum circuit Born machines, i.e., the output distributions of local quantum circuits. We first show a negative result, namely, that the output distributions of super-logarithmic depth Clifford circuits are not sample-efficiently learnable in the statistical query model, i.e., when given query access to empirical expectation values of bounded functions over the sample space. This immediately implies the hardness, for both quantum and classical algorithms, of learning from statistical queries the output distributions of local quantum circuits using any gate set which includes the Clifford group. As many practical generative modelling algorithms use statistical queries -- including those for training quantum circuit Born machines -- our result is broadly applicable and strongly limits the possibility of a meaningful quantum advantage for learning the output distributions of local quantum circuits. As a positive result, we show that in a more powerful oracle model, namely when directly given access to samples, the output distributions of local Clifford circuits are computationally efficiently PAC learnable by a classical learner. Our results are equally applicable to the problems of learning an algorithm for generating samples from the target distribution (generative modelling) and learning an algorithm for evaluating its probabilities (density modelling). They provide the first rigorous insights into the learnability of output distributions of local quantum circuits from the probabilistic modelling perspective.\ 

}, url = {https://arxiv.org/abs/2110.05517}, author = {Marcel Hinsche and Marios Ioannou and Alexander Nietner and Jonas Haferkamp and Yihui Quek and Dominik Hangleiter and Jean-Pierre Seifert and Jens Eisert and Ryan Sweke} } @article {2880, title = {Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy}, year = {2021}, month = {10/9/2021}, abstract = {

We investigate the connection between the complexity of nonlocal games and the arithmetical hierarchy, a classification of languages according to the complexity of arithmetical formulas defining them. It was recently shown by Ji, Natarajan, Vidick, Wright and Yuen that deciding whether the (finite-dimensional) quantum value of a nonlocal game is 1 or at most 12 is complete for the class Σ1 (i.e., RE). A result of Slofstra implies that deciding whether the commuting operator value of a nonlocal game is equal to 1 is complete for the class Π1 (i.e., coRE). We prove that deciding whether the quantum value of a two-player nonlocal game is exactly equal to 1 is complete for Π2; this class is in the second level of the arithmetical hierarchy and corresponds to formulas of the form \"\∀x\∃yϕ(x,y)\". This shows that exactly computing the quantum value is strictly harder than approximating it, and also strictly harder than computing the commuting operator value (either exactly or approximately). We explain how results about the complexity of nonlocal games all follow in a unified manner from a technique known as compression. At the core of our Π2-completeness result is a new \"gapless\" compression theorem that holds for both quantum and commuting operator strategies. Our compression theorem yields as a byproduct an alternative proof of Slofstra\&$\#$39;s result that the set of quantum correlations is not closed. We also show how a \"gap-preserving\" compression theorem for commuting operator strategies would imply that approximating the commuting operator value is complete for Π1.

}, url = {https://arxiv.org/abs/2110.04651}, author = {Hamoon Mousavi and Seyed Sajjad Nezhadi and Henry Yuen} } @article {2768, title = {Observation of a prethermal discrete time crystal}, year = {2021}, month = {2/2/2021}, abstract = {

The conventional framework for defining and understanding phases of matter requires thermodynamic equilibrium. Extensions to non-equilibrium systems have led to surprising insights into the nature of many-body thermalization and the discovery of novel phases of matter, often catalyzed by driving the system periodically. The inherent heating from such Floquet drives can be tempered by including strong disorder in the system, but this can also mask the generality of non-equilibrium phases. In this work, we utilize a trapped-ion quantum simulator to observe signatures of a non-equilibrium driven phase without disorder: the prethermal discrete time crystal (PDTC). Here, many-body heating is suppressed not by disorder-induced many-body localization, but instead via high-frequency driving, leading to an expansive time window where non-equilibrium phases can emerge. We observe a number of key features that distinguish the PDTC from its many-body-localized disordered counterpart, such as the drive-frequency control of its lifetime and the dependence of time-crystalline order on the energy density of the initial state. Floquet prethermalization is thus presented as a general strategy for creating, stabilizing and studying intrinsically out-of-equilibrium phases of matter.

}, url = {https://arxiv.org/abs/2102.01695}, author = {Antonis Kyprianidis and Francisco Machado and William Morong and Patrick Becker and Kate S. Collins and Dominic V. Else and Lei Feng and Paul W. Hess and Chetan Nayak and Guido Pagano and Norman Y. Yao and Christopher Monroe} } @article {2805, title = {Observation of measurement-induced quantum phases in a trapped-ion quantum computer}, year = {2021}, month = {6/10/2021}, abstract = {

Many-body open quantum systems balance internal dynamics against decoherence from interactions with an environment. Here, we explore this balance via random quantum circuits implemented on a trapped ion quantum computer, where the system evolution is represented by unitary gates with interspersed projective measurements. As the measurement rate is varied, a purification phase transition is predicted to emerge at a critical point akin to a fault-tolerent threshold. We probe the \"pure\" phase, where the system is rapidly projected to a deterministic state conditioned on the measurement outcomes, and the \"mixed\" or \"coding\" phase, where the initial state becomes partially encoded into a quantum error correcting codespace. We find convincing evidence of the two phases and show numerically that, with modest system scaling, critical properties of the transition clearly emerge.

}, url = {https://arxiv.org/abs/2106.05881}, author = {Crystal Noel and Pradeep Niroula and Daiwei Zhu and Andrew Risinger and Laird Egan and Debopriyo Biswas and Marko Cetina and Alexey V. Gorshkov and Michael Gullans and David A. Huse and Christopher Monroe} } @article {2806, title = {Phase-engineered bosonic quantum codes}, journal = {Physical Review A}, volume = {103}, year = {2021}, month = {6/29/2021}, pages = {062427}, abstract = {

Continuous-variable systems protected by bosonic quantum codes have emerged as a promising platform for quantum information. To date, the design of code words has centered on optimizing the state occupation in the relevant basis to generate the distance needed for error correction. Here, we show tuning the phase degree of freedom in the design of code words can affect, and potentially enhance, the protection against Markovian errors that involve excitation exchange with the environment. As illustrations, we first consider phase engineering bosonic codes with uniform spacing in the Fock basis that correct excitation loss with a Kerr unitary and show that these modified codes feature destructive interference between error code words and, with an adapted \“two-level\” recovery, the error protection is significantly enhanced. We then study protection against energy decay with the presence of mode nonlinearities \…

}, url = {https://authors.library.caltech.edu/109764/2/1901.05358.pdf}, author = {Linshu Li and Dylan J Young and Victor V. Albert and Kyungjoo Noh and Chang-Ling Zou and Liang Jiang} } @article {2816, title = {Protocols for estimating multiple functions with quantum sensor networks: Geometry and performance}, journal = {Physical Review Research}, volume = {3}, year = {2021}, month = {5/3/2021}, abstract = {

We consider the problem of estimating multiple analytic functions of a set of local parameters via qubit sensors in a quantum sensor network. To address this problem, we highlight a generalization of the sensor symmetric performance bounds of Rubio et. al. [J. Phys. A: Math. Theor. 53 344001 (2020)] and develop a new optimized sequential protocol for measuring such functions. We compare the performance of both approaches to one another and to local protocols that do not utilize quantum entanglement, emphasizing the geometric significance of the coefficient vectors of the measured functions in determining the best choice of measurement protocol. We show that, in many cases, especially for a large number of sensors, the optimized sequential protocol results in more accurate measurements than the other strategies. In addition, in contrast to the the sensor symmetric approach, the sequential protocol is known to always be explicitly implementable. The sequential protocol is very general and has a wide range of metrological applications.

}, issn = {2643-1564}, doi = {10.1103/physrevresearch.3.033011}, url = {https://arxiv.org/abs/2104.09540}, author = {Jacob Bringewatt and Boettcher, Igor and Niroula, Pradeep and Bienias, Przemyslaw and Alexey V. Gorshkov} } @article {2875, title = {Quantum Machine Learning for Finance}, year = {2021}, month = {9/9/2021}, abstract = {

Quantum computers are expected to surpass the computational capabilities of classical computers during this decade, and achieve disruptive impact on numerous industry sectors, particularly finance. In fact, finance is estimated to be the first industry sector to benefit from Quantum Computing not only in the medium and long terms, but even in the short term. This review paper presents the state of the art of quantum algorithms for financial applications, with particular focus to those use cases that can be solved via Machine Learning.

}, url = {https://arxiv.org/abs/2109.04298}, author = {Marco Pistoia and Syed Farhan Ahmad and Akshay Ajagekar and Alexander Buts and Shouvanik Chakrabarti and Dylan Herman and Shaohan Hu and Andrew Jena and Pierre Minssen and Pradeep Niroula and Arthur Rattew and Yue Sun and Romina Yalovetzky} } @article {2766, title = {Ray-based framework for state identification in quantum dot devices}, journal = {PRX Quantum}, volume = {2}, year = {2021}, month = {06/17/2021}, abstract = {

Quantum dots (QDs) defined with electrostatic gates are a leading platform for a scalable quantum computing implementation. However, with increasing numbers of qubits, the complexity of the control parameter space also grows. Traditional measurement techniques, relying on complete or near-complete exploration via two-parameter scans (images) of the device response, quickly become impractical with increasing numbers of gates. Here, we propose to circumvent this challenge by introducing a measurement technique relying on one-dimensional projections of the device response in the multi-dimensional parameter space. Dubbed as the ray-based classification (RBC) framework, we use this machine learning (ML) approach to implement a classifier for QD states, enabling automated recognition of qubit-relevant parameter regimes. We show that RBC surpasses the 82 \% accuracy benchmark from the experimental implementation of image-based classification techniques from prior work while cutting down the number of measurement points needed by up to 70 \%. The reduction in measurement cost is a significant gain for time-intensive QD measurements and is a step forward towards the scalability of these devices. We also discuss how the RBC-based optimizer, which tunes the device to a multi-qubit regime, performs when tuning in the two- and three-dimensional parameter spaces defined by plunger and barrier gates that control the dots. This work provides experimental validation of both efficient state identification and optimization with ML techniques for non-traditional measurements in quantum systems with high-dimensional parameter spaces and time-intensive measurements.

}, doi = {https://journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.2.020335}, url = {https://arxiv.org/abs/2102.11784}, author = {Justyna P. Zwolak and Thomas McJunkin and Sandesh S. Kalantre and Samuel F. Neyens and E. R. MacQuarrie and Mark A. Eriksson and J. M. Taylor} } @article {2569, title = {Resource-Optimized Fermionic Local-Hamiltonian Simulation on Quantum Computer for Quantum Chemistry}, journal = {Quantum}, volume = {5}, year = {2021}, month = {7/21/2021}, abstract = {

The ability to simulate a fermionic system on a quantum computer is expected to revolutionize chemical engineering, materials design, nuclear physics, to name a few. Thus, optimizing the simulation circuits is of significance in harnessing the power of quantum computers. Here, we address this problem in two aspects. In the fault-tolerant regime, we optimize the $\rzgate$ and $\tgate$ gate counts along with the ancilla qubit counts required, assuming the use of a product-formula algorithm for implementation. We obtain a savings ratio of two in the gate counts and a savings ratio of eleven in the number of ancilla qubits required over the state of the art. In the pre-fault tolerant regime, we optimize the two-qubit gate counts, assuming the use of the variational quantum eigensolver (VQE) approach. Specific to the latter, we present a framework that enables bootstrapping the VQE progression towards the convergence of the ground-state energy of the fermionic system. This framework, based on perturbation theory, is capable of improving the energy estimate at each cycle of the VQE progression, by about a factor of three closer to the known ground-state energy compared to the standard VQE approach in the test-bed, classically-accessible system of the water molecule. The improved energy estimate in turn results in a commensurate level of savings of quantum resources, such as the number of qubits and quantum gates, required to be within a pre-specified tolerance from the known ground-state energy. We also explore a suite of generalized transformations of fermion to qubit operators and show that resource-requirement savings of up to more than 20\% is possible.

}, doi = {https://doi.org/10.22331/q-2021-07-26-509}, url = {https://arxiv.org/abs/2004.04151}, author = {Qingfeng Wang and Ming Li and Christopher Monroe and Yunseong Nam} } @article {2879, title = {Synchronous Values of Games}, year = {2021}, month = {9/29/2021}, abstract = {

We study synchronous values of games, especially synchronous games. It is known that a synchronous game has a perfect strategy if and only if it has a perfect synchronous strategy. However, we give examples of synchronous games, in particular graph colouring games, with synchronous value that is strictly smaller than their ordinary value. Thus, the optimal strategy for a synchronous game need not be synchronous. We derive a formula for the synchronous value of an XOR game as an optimization problem over a spectrahedron involving a matrix related to the cost matrix. We give an example of a game such that the synchronous value of repeated products of the game is strictly increasing. We show that the synchronous quantum bias of the XOR of two XOR games is not multiplicative. Finally, we derive geometric and algebraic conditions that a set of projections that yields the synchronous value of a game must satisfy.

}, url = {https://arxiv.org/abs/2109.14741}, author = {J. William Helton and Hamoon Mousavi and Seyed Sajjad Nezhadi and Vern I. Paulsen and Travis B. Russell} } @article {2909, title = {Tight bounds on the convergence of noisy random circuits to uniform}, year = {2021}, month = {12/1/2021}, abstract = {

We study the properties of output distributions of noisy, random circuits. We obtain upper and lower bounds on the expected distance of the output distribution from the uniform distribution. These bounds are tight with respect to the dependence on circuit depth. Our proof techniques also allow us to make statements about the presence or absence of anticoncentration for both noisy and noiseless circuits. We uncover a number of interesting consequences for hardness proofs of sampling schemes that aim to show a quantum computational advantage over classical computation. Specifically, we discuss recent barrier results for depth-agnostic and/or noise-agnostic proof techniques. We show that in certain depth regimes, noise-agnostic proof techniques might still work in order to prove an often-conjectured claim in the literature on quantum computational advantage, contrary to what was thought prior to this work.\ 

}, url = {https://arxiv.org/abs/2112.00716}, author = {Abhinav Deshpande and Bill Fefferman and Alexey V. Gorshkov and Michael Gullans and Pradeep Niroula and Oles Shtanko} } @article {2866, title = {Unifying Quantum and Classical Speed Limits on Observables}, year = {2021}, month = {8/9/2021}, abstract = {

The presence of noise or the interaction with an environment can radically change the dynamics of observables of an otherwise isolated quantum system. We derive a bound on the speed with which observables of open quantum systems evolve. This speed limit divides into Mandalestam and Tamm\&$\#$39;s original time-energy uncertainty relation and a time-information uncertainty relation recently derived for classical systems, generalizing both to open quantum systems. By isolating the coherent and incoherent contributions to the system dynamics, we derive both lower and upper bounds to the speed of evolution. We prove that the latter provide tighter limits on the speed of observables than previously known quantum speed limits, and that a preferred basis of \emph{speed operators} serves to completely characterize the observables that saturate the speed limits. We use this construction to bound the effect of incoherent dynamics on the evolution of an observable and to find the Hamiltonian that gives the maximum coherent speedup to the evolution of an observable.

}, url = {https://arxiv.org/abs/2108.04261}, author = {Luis Pedro Garc{\'\i}a-Pintos and Schuyler Nicholson and Jason R. Green and Adolfo del Campo and Alexey V. Gorshkov} } @article {2154, title = {Approximate Quantum Fourier Transform with O(nlog(n)) T gates}, journal = {npj Quantum Information }, volume = {6}, year = {2020}, month = {3/13/2020}, abstract = {

The ability to implement the Quantum Fourier Transform (QFT) efficiently on a quantum computer enables the advantages offered by a variety of fundamental quantum algorithms, such as those for integer factoring, computing discrete logarithm over Abelian groups, and phase estimation. The standard fault-tolerant implementation of an n-qubit QFT approximates the desired transformation by removing small-angle controlled rotations and synthesizing the remaining ones into Clifford+t gates, incurring the t-count complexity of O(n log2 (n)). In this paper we show how to obtain approximate QFT with the t-count of O(n log(n)). Our approach relies on quantum circuits with measurements and feedforward, and on reusing a special quantum state that induces the phase gradient transformation. We report asymptotic analysis as well as concrete circuits, demonstrating significant advantages in both theory and practice.

}, doi = {https://doi.org/10.1038/s41534-020-0257-5}, url = {https://arxiv.org/abs/1803.04933}, author = {Yunseong Nam and Yuan Su and Dmitri Maslov} } @article {2719, title = {Continuous symmetries and approximate quantum error correction}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {10/26/2020}, abstract = {

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into n physical subsystems, we say that the code is covariant with respect to a symmetry group G if a G transformation on the logical system can be realized by performing transformations on the individual subsystems. For a G-covariant code with G a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems n or the dimension d of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with n or d as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large d (using random codes) or n (using codes based on W-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.041018}, url = {https://arxiv.org/abs/1902.07714}, author = {Philippe Faist and Sepehr Nezami and Victor V. Albert and Grant Salton and Fernando Pastawski and Patrick Hayden and John Preskill} } @article {2411, title = {Discrete Time Crystals}, journal = {Annual Review of Condensed Matter Physics }, volume = {11}, year = {2020}, month = {3/10/2020}, pages = {467-499}, abstract = {

Experimental advances have allowed for the exploration of nearly isolated quantum many-body systems whose coupling to an external bath is very weak. A particularly interesting class of such systems is those which do not thermalize under their own isolated quantum dynamics. In this review, we highlight the possibility for such systems to exhibit new non-equilibrium phases of matter. In particular, we focus on \"discrete time crystals\", which are many-body phases of matter characterized by a spontaneously broken discrete time translation symmetry. We give a definition of discrete time crystals from several points of view, emphasizing that they are a non-equilibrium phenomenon, which is stabilized by many-body interactions, with no analog in non-interacting systems. We explain the theory behind several proposed models of discrete time crystals, and compare a number of recent realizations, in different experimental contexts.\ 

}, doi = {https://doi.org/10.1146/annurev-conmatphys-031119-050658}, url = {https://arxiv.org/abs/1905.13232}, author = {Dominic V. Else and Christopher Monroe and Chetan Nayak and Norman Y. Yao} } @article {2329, title = {Experimental Low-Latency Device-Independent Quantum Randomness}, journal = {Phys. Rev. Lett. }, volume = {124}, year = {2020}, month = {12/24/2019}, abstract = {

Applications of randomness such as private key generation and public randomness beacons require small blocks of certified random bits on demand. Device-independent quantum random number generators can produce such random bits, but existing quantum-proof protocols and loophole-free implementations suffer from high latency, requiring many hours to produce any random bits. We demonstrate device-independent quantum randomness generation from a loophole-free Bell test with a more efficient quantum-proof protocol, obtaining multiple blocks of 512 bits with an average experiment time of less than 5 min per block and with certified error bounded by 2\−64\≈5.42\×10\−20.

}, doi = {https://doi.org/10.1103/PhysRevLett.124.010505}, url = {https://arxiv.org/abs/1812.07786}, author = {Yanbao Zhang and Lynden K. Shalm and Joshua C. Bienfang and Martin J. Stevens and Michael D. Mazurek and Sae Woo Nam and Carlos Abell{\'a}n and Waldimar Amaya and Morgan W. Mitchell and Honghao Fu and Carl Miller and Alan Mink and Emanuel Knill} } @article {2686, title = {Fault-Tolerant Operation of a Quantum Error-Correction Code}, year = {2020}, month = {9/24/2020}, abstract = {

Quantum error correction protects fragile quantum information by encoding it in a larger quantum system whose extra degrees of freedom enable the detection and correction of errors. An encoded logical qubit thus carries increased complexity compared to a bare physical qubit. Fault-tolerant protocols contain the spread of errors and are essential for realizing error suppression with an error-corrected logical qubit. Here we experimentally demonstrate fault-tolerant preparation, rotation, error syndrome extraction, and measurement on a logical qubit encoded in the 9-qubit Bacon-Shor code. For the logical qubit, we measure an average fault-tolerant preparation and measurement error of 0.6\% and a transversal Clifford gate with an error of 0.3\% after error correction. The result is an encoded logical qubit whose logical fidelity exceeds the fidelity of the entangling operations used to create it. We compare these operations with non-fault-tolerant protocols capable of generating arbitrary logical states, and observe the expected increase in error. We directly measure the four Bacon-Shor stabilizer generators and are able to detect single qubit Pauli errors. These results show that fault-tolerant quantum systems are currently capable of logical primitives with error rates lower than their constituent parts. With the future addition of intermediate measurements, the full power of scalable quantum error-correction can be achieved.\ 

}, url = {https://arxiv.org/abs/2009.11482}, author = {Laird Egan and Dripto M. Debroy and Crystal Noel and Andrew Risinger and Daiwei Zhu and Debopriyo Biswas and Michael Newman and Muyuan Li and Kenneth R. Brown and Marko Cetina and Christopher Monroe} } @article {2495, title = {Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning}, journal = {Quantum }, volume = {4}, year = {2020}, month = {5/26/2020}, abstract = {

We introduce a fermion-to-qubit mapping defined on ternary trees, where any single Majorana operator on an n-mode fermionic system is mapped to a multi-qubit Pauli operator acting nontrivially on \⌈log3(2n+1)\⌉ qubits. The mapping has a simple structure and is optimal in the sense that it is impossible to construct Pauli operators in any fermion-to-qubit mapping acting nontrivially on less than log3(2n) qubits on average. We apply it to the problem of learning k-fermion reduced density matrix (RDM), a problem relevant in various quantum simulation applications. We show that using the ternary-tree mapping one can determine the elements of all k-fermion RDMs, to precision ϵ, by repeating a single quantum circuit for ≲(2n+1)kϵ\−2 times. This result is based on a method we develop here that allows one to determine the elements of all k-qubit RDMs, to precision ϵ, by repeating a single quantum circuit for ≲3kϵ\−2 times, independent of the system size. This improves over existing schemes for determining qubit RDMs.

}, doi = {https://doi.org/10.22331/q-2020-06-04-276}, url = {https://arxiv.org/abs/1910.10746}, author = {Zhang Jiang and Amir Kalev and Wojciech Mruczkiewicz and Hartmut Neven} } @article {2604, title = {Probing many-body localization on a noisy quantum computer}, year = {2020}, month = {6/22/2020}, abstract = {

A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features that can survive the presence of noise. In these spectra, discrete peaks and a soft gap at low frequencies compared to the thermal phase indicate localization. Here, we present the computation of spectral functions on a trapped-ion quantum computer for a one-dimensional Heisenberg model with disorder. Further, we design an error-mitigation technique which is effective at removing the noise from the measurement allowing clear signatures of localization to emerge as the disorder increases. Thus, we show that spectral functions can serve as a robust and scalable diagnostic of many-body localization on the current generation of quantum computers.\ 

}, url = {https://arxiv.org/abs/2006.12355}, author = {D. Zhu and S. Johri and N. H. Nguyen and C. Huerta Alderete and K. A. Landsman and N. M. Linke and C. Monroe and A. Y. Matsuura} } @article {2586, title = {Probing XY phase transitions in a Josephson junction array with tunable frustration}, year = {2020}, month = {1/22/2020}, abstract = {

The seminal theoretical works of Berezinskii, Kosterlitz, and Thouless presented a new paradigm for phase transitions in condensed matter that are driven by topological excitations. These transitions have been extensively studied in the context of two-dimensional XY models -- coupled compasses -- and have generated interest in the context of quantum simulation. Here, we use a circuit quantum-electrodynamics architecture to study the critical behavior of engineered XY models through their dynamical response. In particular, we examine not only the unfrustrated case but also the fully-frustrated case which leads to enhanced degeneracy associated with the spin rotational [U(1)] and discrete chiral (Z2) symmetries. The nature of the transition in the frustrated case has posed a challenge for theoretical studies while direct experimental probes remain elusive. Here we identify the transition temperatures for both the unfrustrated and fully-frustrated XY models by probing a Josephson junction array close to equilibrium using weak microwave excitations and measuring the temperature dependence of the effective damping obtained from the complex reflection coefficient. We argue that our probing technique is primarily sensitive to the dynamics of the U(1) part.

}, url = {https://arxiv.org/abs/2001.07877}, author = {R. Cosmic and K. Kawabata and Y. Ashida and H. Ikegami and S. Furukawa and P. Patil and J. M. Taylor and Y. Nakamura} } @article {2570, title = {Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer}, year = {2020}, month = {2/6/2020}, abstract = {

The quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range of quantum algorithms. Here we present the circuit-based implementation of a discrete-time quantum walk in position space on a five-qubit trapped-ion quantum processor. We encode the space of walker positions in particular multi-qubit states and program the system to operate with different quantum walk parameters, experimentally realizing a Dirac cellular automaton with tunable mass parameter. The quantum walk circuits and position state mapping scale favorably to a larger model and physical systems, allowing the implementation of any algorithm based on discrete-time quantum walks algorithm and the dynamics associated with the discretized version of the Dirac equation.

}, url = {https://arxiv.org/abs/2002.02537}, author = {C. Huerta Alderete and Shivani Singh and Nhung H. Nguyen and Daiwei Zhu and Radhakrishnan Balu and Christopher Monroe and C. M. Chandrashekar and Norbert M. Linke} } @article {2518, title = {Time-information uncertainty relations in thermodynamics}, journal = {Nat. Phys.}, year = {2020}, month = {09/21/2020}, abstract = {

Physical systems that power motion and create structure in a fixed amount of time dissipate energy and produce entropy. Whether living or synthetic, systems performing these dynamic functions must balance dissipation and speed. Here, we show that rates of energy and entropy exchange are subject to a speed limit -- a time-information uncertainty relation -- imposed by the rates of change in the information content of the system. This uncertainty relation bounds the time that elapses before the change in a thermodynamic quantity has the same magnitude as its initial standard deviation. From this general bound, we establish a family of speed limits for heat, work, entropy production, and entropy flow depending on the experimental constraints on the system. In all of these inequalities, the time scale of transient dynamical fluctuations is universally bounded by the Fisher information. Moreover, they all have a mathematical form that mirrors the Mandelstam-Tamm version of the time-energy uncertainty relation in quantum mechanics. These bounds on the speed of arbitrary observables apply to transient systems away from thermodynamic equilibrium, independent of the physical assumptions about the stochastic dynamics or their function.\ 

}, doi = {https://doi.org/10.1038/s41567-020-0981-y}, url = {https://arxiv.org/abs/2001.05418}, author = {Schuyler B. Nicholson and Luis Pedro Garc{\'\i}a-Pintos and Adolfo del Campo and Jason R. Green} } @article {2533, title = {Development of Quantum InterConnects for Next-Generation Information Technologies}, year = {2019}, month = {12/13/2019}, abstract = {

Just as classical information technology rests on a foundation built of interconnected information-processing systems, quantum information technology (QIT) must do the same. A critical component of such systems is the interconnect, a device or process that allows transfer of information between disparate physical media, for example, semiconductor electronics, individual atoms, light pulses in optical fiber, or microwave fields. While interconnects have been well engineered for decades in the realm of classical information technology, quantum interconnects (QuICs) present special challenges, as they must allow the transfer of fragile quantum states between different physical parts or degrees of freedom of the system. The diversity of QIT platforms (superconducting, atomic, solid-state color center, optical, etc.) that will form a quantum internet poses additional challenges. As quantum systems scale to larger size, the quantum interconnect bottleneck is imminent, and is emerging as a grand challenge for QIT. For these reasons, it is the position of the community represented by participants of the NSF workshop on Quantum Interconnects that accelerating QuIC research is crucial for sustained development of a national quantum science and technology program. Given the diversity of QIT platforms, materials used, applications, and infrastructure required, a convergent research program including partnership between academia, industry and national laboratories is required. This document is a summary from a U.S. National Science Foundation supported workshop held on 31 October - 1 November 2019 in Alexandria, VA. Attendees were charged to identify the scientific and community needs, opportunities, and significant challenges for quantum interconnects over the next 2-5 years.\ 

}, url = {https://arxiv.org/abs/1912.06642}, author = {David Awschalom and Karl K. Berggren and Hannes Bernien and Sunil Bhave and Lincoln D. Carr and Paul Davids and Sophia E. Economou and Dirk Englund and Andrei Faraon and Marty Fejer and Saikat Guha and Martin V. Gustafsson and Evelyn Hu and Liang Jiang and Jungsang Kim and Boris Korzh and Prem Kumar and Paul G. Kwiat and Marko Lon{\v c}ar and Mikhail D. Lukin and David A. B. Miller and Christopher Monroe and Sae Woo Nam and Prineha Narang and Jason S. Orcutt} } @article {2369, title = {Ground-state energy estimation of the water molecule on a trapped ion quantum computer}, year = {2019}, month = {03/07/2019}, abstract = {

Quantum computing leverages the quantum resources of superposition and entanglement to efficiently solve computational problems considered intractable for classical computers. Examples include calculating molecular and nuclear structure, simulating strongly-interacting electron systems, and modeling aspects of material function. While substantial theoretical advances have been made in mapping these problems to quantum algorithms, there remains a large gap between the resource requirements for solving such problems and the capabilities of currently available quantum hardware. Bridging this gap will require a co-design approach, where the expression of algorithms is developed in conjunction with the hardware itself to optimize execution. Here, we describe a scalable co-design framework for solving chemistry problems on a trapped ion quantum computer, and apply it to compute the ground-state energy of the water molecule. The robust operation of the trapped ion quantum computer yields energy estimates with errors approaching the chemical accuracy, which is the target threshold necessary for predicting the rates of chemical reaction dynamics.

}, url = {https://arxiv.org/abs/1902.10171}, author = {Yunseong Nam and Jwo-Sy Chen and Neal C. Pisenti and Kenneth Wright and Conor Delaney and Dmitri Maslov and Kenneth R. Brown and Stewart Allen and Jason M. Amini and Joel Apisdorf and Kristin M. Beck and Aleksey Blinov and Vandiver Chaplin and Mika Chmielewski and Coleman Collins and Shantanu Debnath and Andrew M. Ducore and Kai M. Hudek and Matthew Keesan and Sarah M. Kreikemeier and Jonathan Mizrahi and Phil Solomon and Mike Williams and Jaime David Wong-Campos and Christopher Monroe and Jungsang Kim} } @article {2310, title = {Limitations of semidefinite programs for separable states and entangled games}, journal = {Commun. Math. Phys.}, volume = {366}, year = {2019}, month = {03/04/2019}, chapter = {423-468}, abstract = {

Semidefinite programs (SDPs) are a framework for exact or approximate optimization that have widespread application in quantum information theory. We introduce a new method for using reductions to construct integrality gaps for SDPs. These are based on new limitations on the sum-of-squares (SoS) hierarchy in approximating two particularly important sets in quantum information theory, where previously no ω(1)-round integrality gaps were known: the set of separable (i.e. unentangled) states, or equivalently, the 2\→4 norm of a matrix, and the set of quantum correlations; i.e. conditional probability distributions achievable with local measurements on a shared entangled state. In both cases no-go theorems were previously known based on computational assumptions such as the Exponential Time Hypothesis (ETH) which asserts that 3-SAT requires exponential time to solve. Our unconditional results achieve the same parameters as all of these previous results (for separable states) or as some of the previous results (for quantum correlations). In some cases we can make use of the framework of Lee-Raghavendra-Steurer (LRS) to establish integrality gaps for any SDP, not only the SoS hierarchy. Our hardness result on separable states also yields a dimension lower bound of approximate disentanglers, answering a question of Watrous and Aaronson et al. These results can be viewed as limitations on the monogamy principle, the PPT test, the ability of Tsirelson-type bounds to restrict quantum correlations, as well as the SDP hierarchies of Doherty-Parrilo-Spedalieri, Navascues-Pironio-Acin and Berta-Fawzi-Scholz.

}, doi = {https://doi.org/10.1007/s00220-019-03382-y}, url = {https://arxiv.org/abs/1612.09306}, author = {Aram W. Harrow and Anand Natarajan and Xiaodi Wu} } @article {2490, title = {Quantum Gravity in the Lab: Teleportation by Size and Traversable Wormholes}, year = {2019}, month = {2019/11/14}, abstract = {

With the long-term goal of studying quantum gravity in the lab, we propose holographic teleportation protocols that can be readily executed in table-top experiments. These protocols exhibit similar behavior to that seen in recent traversable wormhole constructions: information that is scrambled into one half of an entangled system will, following a weak coupling between the two halves, unscramble into the other half. We introduce the concept of \"teleportation by size\" to capture how the physics of operator-size growth naturally leads to information transmission. The transmission of a signal through a semi-classical holographic wormhole corresponds to a rather special property of the operator-size distribution we call \"size winding\". For more general setups (which may not have a clean emergent geometry), we argue that imperfect size winding is a generalization of the traversable wormhole phenomenon. For example, a form of signalling continues to function at high temperature and at large times for generic chaotic systems, even though it does not correspond to a signal going through a geometrical wormhole, but rather to an interference effect involving macroscopically different emergent geometries. Finally, we outline implementations feasible with current technology in two experimental platforms: Rydberg atom arrays and trapped ions.\ 

}, url = {https://arxiv.org/abs/1911.06314}, author = {Adam R. Brown and Hrant Gharibyan and Stefan Leichenauer and Henry W. Lin and Sepehr Nezami and Grant Salton and Leonard Susskind and Brian Swingle and Michael Walter} } @article {2532, title = {Quantum Simulators: Architectures and Opportunities}, year = {2019}, month = {12/14/2019}, abstract = {

Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and solve hard scientific, engineering, and computational problems. Rapid development over the last two decades has produced more than 300 quantum simulators in operation worldwide using a wide variety of experimental platforms. Recent advances in several physical architectures promise a golden age of quantum simulators ranging from highly optimized special purpose simulators to flexible programmable devices. These developments have enabled a convergence of ideas drawn from fundamental physics, computer science, and device engineering. They have strong potential to address problems of societal importance, ranging from understanding vital chemical processes, to enabling the design of new materials with enhanced performance, to solving complex computational problems. It is the position of the community, as represented by participants of the NSF workshop on \"Programmable Quantum Simulators,\" that investment in a national quantum simulator program is a high priority in order to accelerate the progress in this field and to result in the first practical applications of quantum machines. Such a program should address two areas of emphasis: (1) support for creating quantum simulator prototypes usable by the broader scientific community, complementary to the present universal quantum computer effort in industry; and (2) support for fundamental research carried out by a blend of multi-investigator, multi-disciplinary collaborations with resources for quantum simulator software, hardware, and education.\ 

}, url = {https://arxiv.org/abs/1912.06938}, author = {Ehud Altman and Kenneth R. Brown and Giuseppe Carleo and Lincoln D. Carr and Eugene Demler and Cheng Chin and Brian DeMarco and Sophia E. Economou and Mark A. Eriksson and Kai-Mei C. Fu and Markus Greiner and Kaden R. A. Hazzard and Randall G. Hulet and Alicia J. Koll{\'a}r and Benjamin L. Lev and Mikhail D. Lukin and Ruichao Ma and Xiao Mi and Shashank Misra and Christopher Monroe and Kater Murch and Zaira Nazario and Kang-Kuen Ni and Andrew C. Potter and Pedram Roushan} } @article {2425, title = {The Speed of Quantum Information Spreading in Chaotic Systems}, year = {2019}, month = {08/19/2019}, abstract = {

We present a general theory of quantum information propagation in chaotic quantum many-body systems. The generic expectation in such systems is that quantum information does not propagate in localized form; instead, it tends to spread out and scramble into a form that is inaccessible to local measurements. To characterize this spreading, we define an information speed via a quench-type experiment and derive a general formula for it as a function of the entanglement density of the initial state. As the entanglement density varies from zero to one, the information speed varies from the entanglement speed to the butterfly speed. We verify that the formula holds both for a quantum chaotic spin chain and in field theories with an AdS/CFT gravity dual. For the second case, we study in detail the dynamics of entanglement in two-sided Vaidya-AdS-Reissner-Nordstrom black branes. We also show that, with an appropriate decoding process, quantum information can be construed as moving at the information speed, and, in the case of AdS/CFT, we show that a locally detectable signal propagates at the information speed in a spatially local variant of the traversable wormhole setup.

}, url = {https://arxiv.org/abs/1908.06993}, author = {Josiah Couch and Stefan Eccles and Phuc Nguyen and Brian Swingle and Shenglong Xu} } @article {2392, title = {Toward convergence of effective field theory simulations on digital quantum computers}, year = {2019}, month = {04/18/2019}, abstract = {

We report results for simulating an effective field theory to compute the binding energy of the deuteron nucleus using a hybrid algorithm on a trapped-ion quantum computer. Two increasingly complex unitary coupled-cluster ansaetze have been used to compute the binding energy to within a few percent for successively more complex Hamiltonians. By increasing the complexity of the Hamiltonian, allowing more terms in the effective field theory expansion and calculating their expectation values, we present a benchmark for quantum computers based on their ability to scalably calculate the effective field theory with increasing accuracy. Our result of E4=\−2.220\±0.179MeV may be compared with the exact Deuteron ground-state energy \−2.224MeV. We also demonstrate an error mitigation technique using Richardson extrapolation on ion traps for the first time. The error mitigation circuit represents a record for deepest quantum circuit on a trapped-ion quantum computer.\ 

}, url = {https://arxiv.org/abs/1904.04338}, author = {Omar Shehab and Kevin A. Landsman and Yunseong Nam and Daiwei Zhu and Norbert M. Linke and Matthew J. Keesan and Raphael C. Pooser and Christopher R. Monroe} } @article {2067, title = {Automated optimization of large quantum circuits with continuous parameters}, journal = {npj:Quantum Information}, volume = {4}, year = {2018}, month = {2017/10/19}, abstract = {

We develop and implement automated methods for optimizing quantum circuits of the size and type expected in quantum computations that outperform classical computers. We show how to handle continuous gate parameters and report a collection of fast algorithms capable of optimizing large-scale quantum circuits. For the suite of benchmarks considered, we obtain substantial reductions in gate counts. In particular, we provide better optimization in significantly less time than previous approaches, while making minimal structural changes so as to preserve the basic layout of the underlying quantum algorithms. Our results help bridge the gap between the computations that can be run on existing hardware and those that are expected to outperform classical computers.\ 

}, doi = {https://doi.org/10.1038/s41534-018-0072-4}, url = {https://arxiv.org/abs/1710.07345}, author = {Yunseong Nam and Neil J. Ross and Yuan Su and Andrew M. Childs and Dmitri Maslov} } @article {2145, title = {An autonomous single-piston engine with a quantum rotor}, year = {2018}, month = {2018/02/15}, abstract = {

Pistons are elementary components of a wide variety of thermal engines, converting input fuel into rotational motion. Here, we propose a single-piston engine where the rotational degree of freedom is effectively realized by the flux of a superconducting island -- a quantum rotor -- while the working volume corresponds to the effective length of a superconducting resonator. Our autonomous design implements a Carnot cycle, relies solely on standard thermal baths and can be implemented with circuit quantum electrodynamics. We demonstrate how the piston is able to extract a net positive work via its built-in synchronicity using a filter cavity as an effective valve, eliminating the need for external control.

}, doi = {https://doi.org/10.1088/2058-9565/aac40d}, url = {https://arxiv.org/abs/1802.05486}, author = {Alexandre Roulet and Stefan Nimmrichter and J. M. Taylor} } @conference {2129, title = {Capacity Approaching Codes for Low Noise Interactive Quantum Communication}, booktitle = {Annual ACM Symposium on the Theory of Computing STOC 2018}, year = {2018}, month = {2018/01/01}, abstract = {
We consider the problem of implementing two-party interactive quantum
communication over noisy channels, a necessary endeavor if we wish to
fully reap quantum advantages for communication.\ \ 
For an arbitrary protocol with n messages, designed for
noiseless qudit channels, our main result is a simulation method that fails with probability less than
$2^{-\Theta(n\epsilon)}$ and uses a qudit channel $n(1 + \Theta
(\sqrt{\epsilon}))$ times, of which an $\epsilon$ fraction can be
corrupted adversarially.
The simulation is thus capacity achieving to leading order, and
we conjecture that it is optimal up to a constant factor in\ 
the $\sqrt{\epsilon}$ term.\ \ 
Furthermore, the simulation is in a model that does not require
pre-shared resources such as randomness or entanglement between the
communicating parties.
Surprisingly, this outperforms the best-known overhead of $1 +
O(\sqrt{\epsilon \log \log 1/\epsilon})$ in the corresponding
\emph{classical} model, which is also conjectured to be optimal
\  \  \ [Haeupler, FOCS\&$\#$39;14].
Our work also improves over the best previously known quantum result
where the overhead is a non-explicit large constant [Brassard \emph{et
\  \  al.}, FOCS\&$\#$39;14] for low $\epsilon$.
}, url = {http://acm-stoc.org/stoc2018/STOC-2018-Accepted.html}, author = {Debbie Leung and Ashwin Nayak and Ala Shayeghi and Dave Touchette and Penghui Yao and Nengkun Yu} } @article {2272, title = {Circuit QED-based measurement of vortex lattice order in a Josephson junction array}, journal = {Phys. Rev. B 98, 060501}, year = {2018}, month = {2018/03/12}, abstract = {

Superconductivity provides a canonical example of a quantum phase of matter. When superconducting islands are connected by Josephson junctions in a lattice, the low temperature state of the system can map to the celebrated XY model and its associated universality classes. This has been used to experimentally implement realizations of Mott insulator and Berezinskii--Kosterlitz--Thouless (BKT) transitions to vortex dynamics analogous to those in type-II superconductors. When an external magnetic field is added, the effective spins of the XY model become frustrated, leading to the formation of topological defects (vortices). Here we observe the many-body dynamics of such an array, including frustration, via its coupling to a superconducting microwave cavity. We take the design of the transmon qubit, but replace the single junction between two antenna pads with the complete array. This allows us to probe the system at 10 mK with minimal self-heating by using weak coherent states at the single (microwave) photon level to probe the resonance frequency of the cavity. We observe signatures of ordered vortex lattice at rational flux fillings of the array.\ 

}, doi = {https://doi.org/10.1103/PhysRevB.98.060501}, url = {https://arxiv.org/abs/1803.04113}, author = {R. Cosmic and Hiroki Ikegami and Zhirong Lin and Kunihiro Inomata and J. M. Taylor and Yasunobu Nakamura} } @article {1998, title = {Electro-mechano-optical NMR detection}, journal = {Optica}, volume = {5}, year = {2018}, month = {2018/02/01}, pages = {152-158}, abstract = {

Signal reception of nuclear magnetic resonance (NMR) usually relies on electrical amplification of the electromotive force caused by nuclear induction. Here, we report up-conversion of a radio-frequency NMR signal to an optical regime using a high-stress silicon nitride membrane that interfaces the electrical detection circuit and an optical cavity through the electro-mechanical and the opto-mechanical couplings. This enables optical NMR detection without sacrificing the versatility of the traditional nuclear induction approach. While the signal-to-noise ratio is currently limited by the Brownian motion of the membrane as well as additional technical noise, we find it can exceed that of the conventional electrical schemes by increasing the electro-mechanical coupling strength. The electro-mechano-optical NMR detection presented here can even be combined with the laser cooling technique applied to nuclear spins.

}, doi = {10.1364/OPTICA.5.000152}, url = {https://www.osapublishing.org/optica/abstract.cfm?uri=optica-5-2-152}, author = {Kazuyuki Takeda and Kentaro Nagasaka and Atsushi Noguchi and Rekishu Yamazaki and Yasunobu Nakamura and Eiji Iwase and J. M. Taylor and Koji Usami} } @article {2054, title = {Entanglement of purification: from spin chains to holography}, journal = {Journal of High Energy Physics}, year = {2018}, month = {2018/01/22}, pages = {98}, abstract = {

Purification is a powerful technique in quantum physics whereby a mixed quantum state is extended to a pure state on a larger system. This process is not unique, and in systems composed of many degrees of freedom, one natural purification is the one with minimal entanglement. Here we study the entropy of the minimally entangled purification, called the entanglement of purification, in three model systems: an Ising spin chain, conformal field theories holographically dual to Einstein gravity, and random stabilizer tensor networks. We conjecture values for the entanglement of purification in all these models, and we support our conjectures with a variety of numerical and analytical results. We find that such minimally entangled purifications have a number of applications, from enhancing entanglement-based tensor network methods for describing mixed states to elucidating novel aspects of the emergence of geometry from entanglement in the AdS/CFT correspondence.

}, doi = {10.1007/JHEP01(2018)098}, url = {https://link.springer.com/article/10.1007\%2FJHEP01\%282018\%29098$\#$citeas}, author = {Phuc Nguyen and Trithep Devakul and Matthew G. Halbasch and Michael P. Zaletel and Brian Swingle} } @article {2282, title = {Experimentally Generated Randomness Certified by the Impossibility of Superluminal Signals}, journal = {Nature}, volume = {556}, year = {2018}, month = {2018/04/11}, pages = {223-226}, abstract = {

From dice to modern complex circuits, there have been many attempts to build increasingly better devices to generate random numbers. Today, randomness is fundamental to security and cryptographic systems, as well as safeguarding privacy. A key challenge with random number generators is that it is hard to ensure that their outputs are unpredictable. For a random number generator based on a physical process, such as a noisy classical system or an elementary quantum measurement, a detailed model describing the underlying physics is required to assert unpredictability. Such a model must make a number of assumptions that may not be valid, thereby compromising the integrity of the device. However, it is possible to exploit the phenomenon of quantum nonlocality with a loophole-free Bell test to build a random number generator that can produce output that is unpredictable to any adversary limited only by general physical principles. With recent technological developments, it is now possible to carry out such a loophole-free Bell test. Here we present certified randomness obtained from a photonic Bell experiment and extract 1024 random bits uniform to within 10\−12. These random bits could not have been predicted within any physical theory that prohibits superluminal signaling and allows one to make independent measurement choices. To certify and quantify the randomness, we describe a new protocol that is optimized for apparatuses characterized by a low per-trial violation of Bell inequalities. We thus enlisted an experimental result that fundamentally challenges the notion of determinism to build a system that can increase trust in random sources. In the future, random number generators based on loophole-free Bell tests may play a role in increasing the security and trust of our cryptographic systems and infrastructure.

}, doi = {https://doi.org/10.1038/s41586-018-0019-0}, url = {https://arxiv.org/abs/1803.06219}, author = {Peter Bierhorst and Emanuel Knill and Scott Glancy and Yanbao Zhang and Alan Mink and Stephen Jordan and Andrea Rommal and Yi-Kai Liu and Bradley Christensen and Sae Woo Nam and Martin J. Stevens and Lynden K. Shalm} } @article {2214, title = {More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting}, year = {2018}, abstract = {

The problem of Oblivious RAM (ORAM) has traditionally been studied in a single-server setting, but more recently the multi-server setting has also been considered. Yet it is still unclear whether the multi-server setting has any inherent advantages, e.g., whether the multi-server setting can be used to achieve stronger security goals or provably better efficiency than is possible in the single-server case. In this work, we construct a perfectly secure 3-server ORAM scheme that outperforms the best known single-server scheme by a logarithmic factor. In the process, we also show, for the first time, that there exist specific algorithms for which multiple servers can overcome known lower bounds in the single-server setting.\ 

}, url = {https://arxiv.org/abs/1809.00825}, author = {Hubert Chan and Jonathan Katz and Kartik Nayak and Antigoni Polychroniadou and Elaine Shi} } @article {2312, title = {On the need for soft dressing}, journal = {High Energ. Phys. }, volume = {121}, year = {2018}, month = {2018}, abstract = {

In order to deal with IR divergences arising in QED or perturbative quantum gravity scattering processes, one can either calculate inclusive quantities or use dressed asymptotic states. We consider incoming superpositions of momentum eigenstates and show that in calculations of cross-sections these two approaches yield different answers: in the inclusive formalism no interference occurs for incoming finite superpositions and wavepackets do not scatter at all, while the dressed formalism yields the expected interference terms. This suggests that rather than Fock space states, one should use Faddeev-Kulish-type dressed states to correctly describe physical processes involving incoming superpositions. We interpret this in terms of selection rules due to large U(1) gauge symmetries and BMS supertranslations.

}, author = {Daniel Carney and Laurent Chaurette and Dominik Neuenfeld and Gordon Semenoff} } @article {2060, title = {Observation of three-photon bound states in a quantum nonlinear medium}, journal = {Science}, volume = {359}, year = {2018}, month = {2018/02/16}, pages = {783-786}, abstract = {

Bound states of massive particles, such as nuclei, atoms or molecules, are ubiquitous in nature and constitute the bulk of the visible world around us. In contrast, photons typically only weakly influence each other due to their very weak interactions and vanishing mass. We report the observation of traveling three-photon bound states in a quantum nonlinear medium where the interactions between photons are mediated by atomic Rydberg states. In particular, photon correlation and conditional phase measurements reveal the distinct features associated with three-photon and two-photon bound states. Such photonic trimers and dimers can be viewed as quantum solitons with shape-preserving wavefunctions that depend on the constituent photon number. The observed bunching and strongly nonlinear optical phase are quantitatively described by an effective field theory (EFT) of Rydberg-induced photon-photon interactions, which demonstrates the presence of a substantial effective three-body force between the photons. These observations pave the way towards the realization, studies, and control of strongly interacting quantum many-body states of light.

}, doi = {10.1126/science.aao7293}, url = {http://science.sciencemag.org/content/359/6377/783}, author = {Qi-Yu Liang and Aditya V. Venkatramani and Sergio H. Cantu and Travis L. Nicholson and Michael Gullans and Alexey V. Gorshkov and Jeff D. Thompson and Cheng Chin and Mikhail D. Lukin and Vladan Vuletic} } @article {2311, title = {Quantum Supremacy and the Complexity of Random Circuit Sampling}, year = {2018}, abstract = {

A critical milestone on the path to useful quantum computers is quantum supremacy - a demonstration of a quantum computation that is prohibitively hard for classical computers. A leading near-term candidate, put forth by the Google/UCSB team, is sampling from the probability distributions of randomly chosen quantum circuits, which we call Random Circuit Sampling (RCS). In this paper we study both the hardness and verification of RCS. While RCS was defined with experimental realization in mind, we show complexity theoretic evidence of hardness that is on par with the strongest theoretical proposals for supremacy. Specifically, we show that RCS satisfies an average-case hardness condition - computing output probabilities of typical quantum circuits is as hard as computing them in the worst-case, and therefore $\#$P-hard. Our reduction exploits the polynomial structure in the output amplitudes of random quantum circuits, enabled by the Feynman path integral. In addition, it follows from known results that RCS satisfies an anti-concentration property, making it the first supremacy proposal with both average-case hardness and anti-concentration.\ 

}, url = {https://arxiv.org/abs/1803.04402}, author = {Adam Bouland and Bill Fefferman and Chinmay Nirkhe and Umesh Vazirani} } @article {2220, title = {Toward the first quantum simulation with quantum speedup}, journal = {Proceedings of the National Academy of Sciences}, volume = {115 }, year = {2018}, pages = {9456-9461}, abstract = {

With quantum computers of significant size now on the horizon, we should understand how to best exploit their initially limited abilities. To this end, we aim to identify a practical problem that is beyond the reach of current classical computers, but that requires the fewest resources for a quantum computer. We consider quantum simulation of spin systems, which could be applied to understand condensed matter phenomena. We synthesize explicit circuits for three leading quantum simulation algorithms, using diverse techniques to tighten error bounds and optimize circuit implementations. Quantum signal processing appears to be preferred among algorithms with rigorous performance guarantees, whereas higher-order product formulas prevail if empirical error estimates suffice. Our circuits are orders of magnitude smaller than those for the simplest classically infeasible instances of factoring and quantum chemistry, bringing practical quantum computation closer to reality.

}, doi = {https://doi.org/10.1073/pnas.1801723115}, url = {https://arxiv.org/abs/1711.10980}, author = {Andrew M. Childs and Dmitri Maslov and Yunseong Nam and Neil J. Ross and Yuan Su} } @article {1906, title = {Emergent equilibrium in many-body optical bistability}, journal = {Physical Review A}, volume = {95}, year = {2017}, month = {2017/04/17}, pages = {043826}, abstract = {

Many-body systems constructed of quantum-optical building blocks can now be realized in experimental platforms ranging from exciton-polariton fluids to ultracold gases of Rydberg atoms, establishing a fascinating interface between traditional many-body physics and the driven-dissipative, non-equilibrium setting of cavity-QED. At this interface, the standard techniques and intuitions of both fields are called into question, obscuring issues as fundamental as the role of fluctuations, dimensionality, and symmetry on the nature of collective behavior and phase transitions. Here, we study the driven-dissipative Bose-Hubbard model, a minimal description of numerous atomic, optical, and solid-state systems in which particle loss is countered by coherent driving. Despite being a lattice version of optical bistability---a foundational and patently non-equilibrium model of cavity-QED---the steady state possesses an emergent equilibrium description in terms of a classical Ising model. We establish this picture by identifying a limit in which the quantum dynamics is asymptotically equivalent to non-equilibrium Langevin equations, which support a phase transition described by model A of the Hohenberg-Halperin classification. Numerical simulations of the Langevin equations corroborate this picture, producing results consistent with the behavior of a finite-temperature Ising model.

}, doi = {doi.org/10.1103/PhysRevA.95.043826}, url = {https://journals.aps.org/pra/abstract/10.1103/PhysRevA.95.043826}, author = {Michael Foss-Feig and Pradeep Niroula and Jeremy T. Young and Mohammad Hafezi and Alexey V. Gorshkov and Ryan M. Wilson and Mohammad F. Maghrebi} } @article {1945, title = {Experimentally Generated Random Numbers Certified by the Impossibility of Superluminal Signaling}, year = {2017}, month = {2017/02/16}, abstract = {

Random numbers are an important resource for applications such as numerical simulation and secure communication. However, it is difficult to certify whether a physical random number generator is truly unpredictable. Here, we exploit the phenomenon of quantum nonlocality in a loophole-free photonic Bell test experiment for the generation of randomness that cannot be predicted within any physical theory that allows one to make independent measurement choices and prohibits superluminal signaling. To certify and quantify the randomness, we describe a new protocol that performs well in an experimental regime characterized by low violation of Bell inequalities. Applying an extractor function to our data, we obtained 256 new random bits, uniform to within 0.001.

}, url = {https://arxiv.org/abs/1702.05178$\#$}, author = {Peter Bierhorst and Emanuel Knill and Scott Glancy and Alan Mink and Stephen P. Jordan and Andrea Rommal and Yi-Kai Liu and Bradley Christensen and Sae Woo Nam and Lynden K. Shalm} } @article {1965, title = {Optimal length of decomposition sequences composed of imperfect gates}, journal = {Quantum Information Processing}, volume = {16}, year = {2017}, month = {2017/03/24}, pages = {123}, abstract = {

Quantum error correcting circuitry is both a resource for correcting errors and a source for generating errors. A balance has to be struck between these two aspects. Perfect quantum gates do not exist in nature. Therefore, it is important to investigate how flaws in the quantum hardware affect quantum computing performance. We do this in two steps. First, in the presence of realistic, faulty quantum hardware, we establish how quantum error correction circuitry achieves reduction in the extent of quantum information corruption. Then, we investigate fault-tolerant gate sequence techniques that result in an approximate phase rotation gate, and establish the existence of an optimal length\ Lopt\ of the length\ L\ of the decomposition sequence. The existence of\ Lopt\ is due to the competition between the increase in gate accuracy with increasing\ L, but the decrease in gate performance due to the diffusive proliferation of gate errors due to faulty basis gates. We present an analytical formula for the gate fidelity as a function of\ L\ that is in satisfactory agreement with the results of our simulations and allows the determination of\ Lopt\ via the solution of a transcendental equation. Our result is universally applicable since gate sequence approximations also play an important role, e.g., in atomic and molecular physics and in nuclear magnetic resonance.

}, issn = {1573-1332}, doi = {10.1007/s11128-017-1571-5}, url = {https://link.springer.com/article/10.1007/s11128-017-1571-5}, author = {Yunseong Nam and R. Bl{\"u}mel} } @article {2048, title = {On the readiness of quantum optimization machines for industrial applications}, year = {2017}, month = {2017/08/31}, abstract = {

There have been multiple attempts to demonstrate that quantum annealing and, in particular, quantum annealing on quantum annealing machines, has the potential to outperform current classical optimization algorithms implemented on CMOS technologies. The benchmarking of these devices has been controversial. Initially, random spin-glass problems were used, however, these were quickly shown to be not well suited to detect any quantum speedup. Subsequently, benchmarking shifted to carefully crafted synthetic problems designed to highlight the quantum nature of the hardware while (often) ensuring that classical optimization techniques do not perform well on them. Even worse, to date a true sign of improved scaling with the number problem variables remains elusive when compared to classical optimization techniques. Here, we analyze the readiness of quantum annealing machines for real-world application problems. These are typically not random and have an underlying structure that is hard to capture in synthetic benchmarks, thus posing unexpected challenges for optimization techniques, both classical and quantum alike. We present a comprehensive computational scaling analysis of fault diagnosis in digital circuits, considering architectures beyond D-wave quantum annealers. We find that the instances generated from real data in multiplier circuits are harder than other representative random spin-glass benchmarks with a comparable number of variables. Although our results show that transverse-field quantum annealing is outperformed by state-of-the-art classical optimization algorithms, these benchmark instances are hard and small in the size of the input, therefore representing the first industrial application ideally suited for near-term quantum annealers.

}, url = {https://arxiv.org/abs/1708.09780}, author = {Alejandro Perdomo-Ortiz and Alexander Feldman and Asier Ozaeta and Sergei V. Isakov and Zheng Zhu and Bryan O{\textquoteright}Gorman and Helmut G. Katzgraber and Alexander Diedrich and Hartmut Neven and Johan de Kleer and Brad Lackey and Rupak Biswas} } @article {2069, title = {Use of global interactions in efficient quantum circuit constructions}, journal = {New Journal of Physics}, year = {2017}, month = {2017/12/21}, abstract = {

In this paper we study the ways to use a global entangling operator to efficiently implement circuitry common to a selection of important quantum algorithms. In particular, we focus on the circuits composed with global Ising entangling gates and arbitrary addressable single-qubit gates. We show that under certain circumstances the use of global operations can substantially improve the entangling gate count.

}, doi = {10.1088/1367-2630/aaa398}, url = {http://iopscience.iop.org/article/10.1088/1367-2630/aaa398}, author = {Dmitri Maslov and Yunseong Nam} } @article {1694, title = {High resolution adaptive imaging of a single atom}, journal = {Nature Photonics}, year = {2016}, month = {2016/07/18}, pages = {606-610}, abstract = {

We report the optical imaging of a single atom with nanometer resolution using an adaptive optical alignment technique that is applicable to general optical microscopy. By decomposing the image of a single laser-cooled atom, we identify and correct optical aberrations in the system and realize an atomic position sensitivity of \≈ 0.5 nm/Hz\−\−\−\√ with a minimum uncertainty of 1.7 nm, allowing the direct imaging of atomic motion. This is the highest position sensitivity ever measured for an isolated atom, and opens up the possibility of performing out-of-focus 3D particle tracking, imaging of atoms in 3D optical lattices or sensing forces at the yoctonewton (10\−24 N) scale.

}, doi = {10.1038/nphoton.2016.136}, url = {https://www.nature.com/nphoton/journal/v10/n9/full/nphoton.2016.136.html}, author = {J. D. Wong-Campos and K. G. Johnson and Brian Neyenhuis and J. Mizrahi and Chris Monroe} } @article {1789, title = {Lattice Laughlin states on the torus from conformal field theory}, journal = {Journal of Statistical Mechanics: Theory and Experiment}, volume = {2016}, year = {2016}, month = {2016/01/28}, pages = {013102}, abstract = {Conformal field theory has turned out to be a powerful tool to derive two-dimensional lattice models displaying fractional quantum Hall physics. So far most of the work has been for lattices with open boundary conditions in at least one of the two directions, but it is desirable to also be able to handle the case of periodic boundary conditions. Here, we take steps in this direction by deriving analytical expressions for a family of conformal field theory states on the torus that is closely related to the family of bosonic and fermionic Laughlin states. We compute how the states transform when a particle is moved around the torus and when the states are translated or rotated, and we provide numerical evidence in particular cases that the states become orthonormal up to a common factor for large lattices. We use these results to find the S -matrix of the states, which turns out to be the same as for the continuum Laughlin states. Finally, we show that when the states are defined on a square lattice with suitable lattice spacing they practically coincide with the Laughlin states restricted to a lattice.}, url = {http://stacks.iop.org/1742-5468/2016/i=1/a=013102}, author = {Abhinav Deshpande and Anne E B Nielsen} } @article {1271, title = {Many-body localization in a quantum simulator with programmable random disorder}, journal = {Nature Physics}, year = {2016}, month = {2016/06/06}, abstract = {

When a system thermalizes it loses all local memory of its initial conditions. This is a general feature of open systems and is well described by equilibrium statistical mechanics. Even within a closed (or reversible) quantum system, where unitary time evolution retains all information about its initial state, subsystems can still thermalize using the rest of the system as an effective heat bath. Exceptions to quantum thermalization have been predicted and observed, but typically require inherent symmetries or noninteracting particles in the presence of static disorder. The prediction of many-body localization (MBL), in which disordered quantum systems can fail to thermalize in spite of strong interactions and high excitation energy, was therefore surprising and has attracted considerable theoretical attention. Here we experimentally generate MBL states by applying an Ising Hamiltonian with long-range interactions and programmably random disorder to ten spins initialized far from equilibrium. We observe the essential signatures of MBL: memory retention of the initial state, a Poissonian distribution of energy level spacings, and entanglement growth in the system at long times. Our platform can be scaled to higher numbers of spins, where detailed modeling of MBL becomes impossible due to the complexity of representing such entangled quantum states. Moreover, the high degree of control in our experiment may guide the use of MBL states as potential quantum memories in naturally disordered quantum systems.

}, doi = {10.1038/nphys3783}, url = {http://arxiv.org/abs/1508.07026v1}, author = {Jacob Smith and Aaron Lee and Philip Richerme and Brian Neyenhuis and Paul W. Hess and Philipp Hauke and Markus Heyl and David A. Huse and Christopher Monroe} } @article {2005, title = {{O}bservation of {P}rethermalization in {L}ong-{R}ange {I}nteracting {S}pin {C}hains}, year = {2016}, month = {2016/08/02}, abstract = {

Statistical mechanics can predict thermal equilibrium states for most classical systems, but for an isolated quantum system there is no general understanding on how equilibrium states dynamically emerge from the microscopic Hamiltonian. For instance, quantum systems that are near-integrable usually fail to thermalize in an experimentally realistic time scale and, instead, relax to quasi-stationary prethermal states that can be described by statistical mechanics when approximately conserved quantities are appropriately included in a generalized Gibbs ensemble (GGE). Here we experimentally study the relaxation dynamics of a chain of up to 22 spins evolving under a long-range transverse field Ising Hamiltonian following a sudden quench. For sufficiently long-ranged interactions the system relaxes to a new type of prethermal state that retains a strong memory of the initial conditions. In this case, the prethermal state cannot be described by a GGE, but rather arises from an emergent double-well potential felt by the spin excitations. This result shows that prethermalization occurs in a significantly broader context than previously thought, and reveals new challenges for a generic understanding of the thermalization of quantum systems, particularly in the presence of long-range interactions.

}, url = {https://arxiv.org/abs/1608.00681}, author = {B. Neyenhuis and J. Smith and A. C. Lee and J. Zhang and P. Richerme and P. W. Hess and Z. -X. Gong and Alexey V. Gorshkov and C. Monroe} } @article {1818, title = {Space-Efficient Error Reduction for Unitary Quantum Computations}, journal = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, volume = {55}, year = {2016}, month = {2016/04/27}, pages = {14:1--14:14}, abstract = {

This paper develops general space-efficient methods for error reduction for unitary quantum computation. Consider a polynomial-time quantum computation with completeness\ c\ and soundnesss, either with or without a witness (corresponding to QMA and BQP, respectively). To convert this computation into a new computation with error at most\ 2\−p, the most space-efficient method known requires extra workspace of\ O(plog1c\−s)\ qubits. This space requirement is too large for scenarios like logarithmic-space quantum computations. This paper presents error-reduction methods for unitary quantum computations (i.e., computations without intermediate measurements) that require extra workspace of just\ O(logpc\−s)\ qubits. This in particular gives the first methods of strong amplification for logarithmic-space unitary quantum computations with two-sided bounded error. This also leads to a number of consequences in complexity theory, such as the uselessness of quantum witnesses in bounded-error logarithmic-space unitary quantum computations, the PSPACE upper bound for QMA with exponentially-small completeness-soundness gap, and strong amplification for matchgate computations.

}, isbn = {978-3-95977-013-2}, issn = {1868-8969}, doi = {http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.14}, url = {http://drops.dagstuhl.de/opus/volltexte/2016/6297}, author = {Bill Fefferman and Hirotada Kobayashi and Cedric Yen-Yu Lin and Tomoyuki Morimae and Harumichi Nishimura} } @article {1782, title = {Sudden-quench dynamics of Bardeen-Cooper-Schrieffer states in deep optical lattices}, journal = {Physical Review A}, volume = {94}, year = {2016}, month = {2016/08/05}, pages = {023607}, abstract = {

We determine the exact time evolution of an initial Bardeen-Cooper-Schrieffer (BCS) state of ultra-cold atoms in a hexagonal optical lattice. The dynamical evolution is triggered by ramping the lattice potential up, such that the interaction strength Uf is much larger than the hopping amplitude Jf. The quench initiates collective oscillations with frequency |Uf|/(2π) in the momentum occupation numbers and imprints an oscillating phase with the same frequency on the order parameter Δ. The latter is not reproduced by treating the time evolution in mean-field theory. The momentum density-density or noise correlation functions oscillate at frequency |Uf|/2π as well as its second harmonic. For a very deep lattice, with negligible tunneling energy, the oscillations of momentum occupation numbers are undamped. Non-zero tunneling after the quench leads to dephasing of the different momentum modes and a subsequent damping of the oscillations. This occurs even for a finite-temperature initial BCS state, but not for a non-interacting Fermi gas. We therefore propose to use this dephasing to detect a BCS state. Finally, we predict that the noise correlation functions in a honeycomb lattice will develop strong anti-correlations near the Dirac point.

}, doi = {http://dx.doi.org/10.1103/PhysRevA.94.023607}, url = {http://arxiv.org/abs/1602.00979}, author = {Marlon Nuske and L. Mathey and Eite Tiesinga} } @article {1259, title = {Momentum switches}, journal = {Quantum Information and Computation}, volume = {15}, year = {2015}, month = {2015/05/01}, pages = {601-621}, abstract = { Certain continuous-time quantum walks can be viewed as scattering processes. These processes can perform quantum computations, but it is challenging to design graphs with desired scattering behavior. In this paper, we study and construct momentum switches, graphs that route particles depending on their momenta. We also give an example where there is no exact momentum switch, although we construct an arbitrarily good approximation. }, url = {http://arxiv.org/abs/1406.4510v1}, author = {Andrew M. Childs and David Gosset and Daniel Nagaj and Mouktik Raha and Zak Webb} } @article {1282, title = {Optimization of collisional Feshbach cooling of an ultracold nondegenerate gas}, journal = {Physical Review A}, volume = {91}, year = {2015}, month = {2015/04/20}, pages = {043626}, abstract = { We optimize a collision-induced cooling process for ultracold atoms in the nondegenerate regime. It makes use of a Feshbach resonance, instead of rf radiation in evaporative cooling, to selectively expel hot atoms from a trap. Using functional minimization we analytically show that for the optimal cooling process the resonance energy must be tuned such that it linearly follows the temperature. Here, optimal cooling is defined as maximizing the phase-space density after a fixed cooling duration. The analytical results are confirmed by numerical Monte-Carlo simulations. In order to simulate more realistic experimental conditions, we show that background losses do not change our conclusions, while additional non-resonant two-body losses make a lower initial resonance energy with non-linear dependence on temperature preferable. }, doi = {10.1103/PhysRevA.91.043626}, url = {http://arxiv.org/abs/1412.8473v1}, author = {Marlon Nuske and Eite Tiesinga and L. Mathey} } @article {1161, title = {Dissipative Many-body Quantum Optics in Rydberg Media}, journal = {Physical Review Letters}, volume = {110}, year = {2013}, month = {2013/4/9}, abstract = { We develop a theoretical framework for the dissipative propagation of quantized light in interacting optical media under conditions of electromagnetically induced transparency (EIT). The theory allows us to determine the peculiar spatiotemporal structure of the output of two complementary Rydberg-EIT-based light-processing modules: the recently demonstrated single-photon filter and the recently proposed single-photon subtractor, which, respectively, let through and absorb a single photon. In addition to being crucial for applications of these and other optical quantum devices, the theory opens the door to the study of exotic dissipative many-body dynamics of strongly interacting photons in nonlinear nonlocal media. }, doi = {10.1103/PhysRevLett.110.153601}, url = {http://arxiv.org/abs/1211.7060v1}, author = {Alexey V. Gorshkov and Rejish Nath and Thomas Pohl} } @article {1398, title = {Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems}, journal = {Quantum Information and Computation}, volume = {12}, year = {2012}, month = {2012/05/01}, pages = {461-471}, abstract = { This paper proves that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness. That is, QCMA = QCMA1. This holds under any gate set with which the Hadamard and arbitrary classical reversible transformations can be exactly implemented, e.g., {Hadamard, Toffoli, NOT}. The proof is quantumly nonrelativizing, and uses a simple but novel quantum technique that additively adjusts the success probability, which may be of independent interest. }, url = {http://arxiv.org/abs/1111.5306v2}, author = {Stephen P. Jordan and Hirotada Kobayashi and Daniel Nagaj and Harumichi Nishimura} } @article {1476, title = {Long-lived dipolar molecules and Feshbach molecules in a 3D optical lattice }, journal = {Physical Review Letters}, volume = {108}, year = {2012}, month = {2012/2/23}, abstract = { We have realized long-lived ground-state polar molecules in a 3D optical lattice, with a lifetime of up to 25 s, which is limited only by off-resonant scattering of the trapping light. Starting from a 2D optical lattice, we observe that the lifetime increases dramatically as a small lattice potential is added along the tube-shaped lattice traps. The 3D optical lattice also dramatically increases the lifetime for weakly bound Feshbach molecules. For a pure gas of Feshbach molecules, we observe a lifetime of >20 s in a 3D optical lattice; this represents a 100-fold improvement over previous results. This lifetime is also limited by off-resonant scattering, the rate of which is related to the size of the Feshbach molecule. Individually trapped Feshbach molecules in the 3D lattice can be converted to pairs of K and Rb atoms and back with nearly 100\% efficiency. }, doi = {10.1103/PhysRevLett.108.080405}, url = {http://arxiv.org/abs/1110.4420v1}, author = {Amodsen Chotia and Brian Neyenhuis and Steven A. Moses and Bo Yan and Jacob P. Covey and Michael Foss-Feig and Ana Maria Rey and Deborah S. Jin and Jun Ye} } @article {1493, title = {Photonic quantum simulation of ground state configurations of Heisenberg square and checkerboard lattice spin systems }, year = {2012}, month = {2012/05/12}, abstract = { Photonic quantum simulators are promising candidates for providing insight into other small- to medium-sized quantum systems. The available photonic quantum technology is reaching the state where significant advantages arise for the quantum simulation of interesting questions in Heisenberg spin systems. Here we experimentally simulate such spin systems with single photons and linear optics. The effective Heisenberg-type interactions among individual single photons are realized by quantum interference at the tunable direction coupler followed by the measurement process. The effective interactions are characterized by comparing the entanglement dynamics using pairwise concurrence of a four-photon quantum system. We further show that photonic quantum simulations of generalized Heisenberg interactions on a four-site square lattice and a six-site checkerboard lattice are in reach of current technology. }, url = {http://arxiv.org/abs/1205.2801v1}, author = {Xiao-song Ma and Borivoje Dakic and Sebastian Kropatsche and William Naylor and Yang-hao Chan and Zhe-Xuan Gong and Lu-ming Duan and Anton Zeilinger and Philip Walther} } @article {1433, title = {Continuous-variable quantum compressed sensing}, year = {2011}, month = {2011/11/03}, abstract = { We significantly extend recently developed methods to faithfully reconstruct unknown quantum states that are approximately low-rank, using only a few measurement settings. Our new method is general enough to allow for measurements from a continuous family, and is also applicable to continuous-variable states. As a technical result, this work generalizes quantum compressed sensing to the situation where the measured observables are taken from a so-called tight frame (rather than an orthonormal basis) --- hence covering most realistic measurement scenarios. As an application, we discuss the reconstruction of quantum states of light from homodyne detection and other types of measurements, and we present simulations that show the advantage of the proposed compressed sensing technique over present methods. Finally, we introduce a method to construct a certificate which guarantees the success of the reconstruction with no assumption on the state, and we show how slightly more measurements give rise to "universal" state reconstruction that is highly robust to noise. }, url = {http://arxiv.org/abs/1111.0853v3}, author = {Matthias Ohliger and Vincent Nesme and David Gross and Yi-Kai Liu and Jens Eisert} } @article {1351, title = {Fast and robust quantum computation with ionic Wigner crystals}, journal = {Physical Review A}, volume = {83}, year = {2011}, month = {2011/4/15}, abstract = {We present a detailed analysis of the modulated-carrier quantum phase gate implemented with Wigner crystals of ions confined in Penning traps. We elaborate on a recent scheme, proposed by two of the authors, to engineer two-body interactions between ions in such crystals. We analyze for the first time the situation in which the cyclotron (w_c) and the crystal rotation (w_r) frequencies do not fulfill the condition w_c=2w_r. It is shown that even in the presence of the magnetic field in the rotating frame the many-body (classical) Hamiltonian describing small oscillations from the ion equilibrium positions can be recast in canonical form. As a consequence, we are able to demonstrate that fast and robust two-qubit gates are achievable within the current experimental limitations. Moreover, we describe a realization of the state-dependent sign-changing dipole forces needed to realize the investigated quantum computing scheme. }, doi = {10.1103/PhysRevA.83.042319}, url = {http://arxiv.org/abs/1011.5616v2}, author = {J. D. Baltrusch and A. Negretti and J. M. Taylor and T. Calarco} } @article {1165, title = {Light storage in an optically thick atomic ensemble under conditions of electromagnetically induced transparency and four-wave mixing }, journal = {Physical Review A}, volume = {83}, year = {2011}, month = {2011/6/20}, abstract = { We study the modification of a traditional electromagnetically induced transparency (EIT) stored light technique that includes both EIT and four-wave mixing (FWM) in an ensemble of hot Rb atoms. The standard treatment of light storage involves the coherent and reversible mapping of one photonic mode onto a collective spin coherence. It has been shown that unwanted, competing processes such as four-wave mixing are enhanced by EIT and can significantly modify the signal optical pulse propagation. We present theoretical and experimental evidence to indicate that while a Stokes field is indeed detected upon retrieval of the signal field, any information originally encoded in a seeded Stokes field is not independently preserved during the storage process. We present a simple model that describes the propagation dynamics of the fields and the impact of FWM on the spin wave. }, doi = {10.1103/PhysRevA.83.063823}, url = {http://arxiv.org/abs/1103.2131v1}, author = {Nathaniel B. Phillips and Alexey V. Gorshkov and Irina Novikova} } @article {1269, title = {Quantum Computing}, journal = {Nature}, volume = {464}, year = {2010}, month = {2010/3/4}, pages = {45 - 53}, abstract = { Quantum mechanics---the theory describing the fundamental workings of nature---is famously counterintuitive: it predicts that a particle can be in two places at the same time, and that two remote particles can be inextricably and instantaneously linked. These predictions have been the topic of intense metaphysical debate ever since the theory{\textquoteright}s inception early last century. However, supreme predictive power combined with direct experimental observation of some of these unusual phenomena leave little doubt as to its fundamental correctness. In fact, without quantum mechanics we could not explain the workings of a laser, nor indeed how a fridge magnet operates. Over the last several decades quantum information science has emerged to seek answers to the question: can we gain some advantage by storing, transmitting and processing information encoded in systems that exhibit these unique quantum properties? Today it is understood that the answer is yes. Many research groups around the world are working towards one of the most ambitious goals humankind has ever embarked upon: a quantum computer that promises to exponentially improve computational power for particular tasks. A number of physical systems, spanning much of modern physics, are being developed for this task---ranging from single particles of light to superconducting circuits---and it is not yet clear which, if any, will ultimately prove successful. Here we describe the latest developments for each of the leading approaches and explain what the major challenges are for the future. }, doi = {10.1038/nature08812}, url = {http://arxiv.org/abs/1009.2267v1}, author = {Thaddeus D. Ladd and Fedor Jelezko and Raymond Laflamme and Yasunobu Nakamura and Christopher Monroe and Jeremy L. O{\textquoteright}Brien} } @article {1852, title = {Slow light propagation and amplification via electromagnetically induced transparency and four-wave mixing in an optically dense atomic vapor}, journal = {J. Mod. Opt.}, volume = {56}, year = {2009}, pages = {1916}, url = {http://www.informaworld.com/smpp/content~db=all~content=a913545405}, author = {Phillips, N B and Alexey V. Gorshkov and Novikova, I} } @article {1164, title = {Optimal light storage in atomic vapor}, journal = {Physical Review A}, volume = {78}, year = {2008}, month = {2008/8/1}, abstract = { We study procedures for the optimization of efficiency of light storage and retrieval based on the dynamic form of electromagnetically induced transparency (EIT) in warm Rb vapor. We present a detailed analysis of two recently demonstrated optimization protocols: a time-reversal-based iteration procedure, which finds the optimal input signal pulse shape for any given control field, and a procedure based on the calculation of an optimal control field for any given signal pulse shape. We verify that the two procedures are consistent with each other, and that they both independently achieve the maximum memory efficiency for any given optical depth. We observe good agreement with theoretical predictions for moderate optical depths (<25), while at higher optical depths the experimental efficiency falls below the theoretically predicted values. We identify possible effects responsible for this reduction in memory efficiency. }, doi = {10.1103/PhysRevA.78.023801}, url = {http://arxiv.org/abs/0805.3348v1}, author = {Nathaniel B. Phillips and Alexey V. Gorshkov and Irina Novikova} } @article {1163, title = {Optimal light storage with full pulse shape control}, journal = {Physical Review A}, volume = {78}, year = {2008}, month = {2008/8/20}, abstract = { We experimentally demonstrate optimal storage and retrieval of light pulses of arbitrary shape in atomic ensembles. By shaping auxiliary control pulses, we attain efficiencies approaching the fundamental limit and achieve precise retrieval into any predetermined temporal profile. Our techniques, demonstrated in warm Rb vapor, are applicable to a wide range of systems and protocols. As an example, we present their potential application to the creation of optical time-bin qubits and to controlled partial retrieval. }, doi = {10.1103/PhysRevA.78.021802}, url = {http://arxiv.org/abs/0805.1927v1}, author = {Irina Novikova and Nathaniel B. Phillips and Alexey V. Gorshkov} } @article {1853, title = {Optimal light storage with full pulse-shape control}, journal = {Phys. Rev. A}, volume = {78}, year = {2008}, pages = {021802(R)}, url = {http://link.aps.org/abstract/PRA/v78/e021802/}, author = {Novikova, I and Phillips, N B and Alexey V. Gorshkov} } @article {1854, title = {Optimizing Slow and Stored Light for Multidisciplinary Applications}, journal = {Proc. SPIE}, volume = {6904}, year = {2008}, pages = {69040C}, url = {http://spie.org/x648.xml?product_id=772216\&Search_Origin=QuickSearch\&Search_Results_URL=http://spie.org/x1636.xml\&Alternate_URL=http://spie.org/x18509.xml\&Alternate_URL_Name=timeframe\&Alternate_URL_Value=Exhibitors\&UseJavascript=1\&Please_Wait_URL=http://s}, author = {Klein, M and Xiao, Y and Alexey V. Gorshkov and M Hohensee and C D Leung and M R Browning and Phillips, D F and Novikova, I and Walsworth, R L} } @article {1276, title = {Two-body transients in coupled atomic-molecular BECs}, journal = {Physical Review Letters}, volume = {100}, year = {2008}, month = {2008/3/3}, abstract = { We discuss the dynamics of an atomic Bose-Einstein condensate when pairs of atoms are converted into molecules by single-color photoassociation. Three main regimes are found and it is shown that they can be understood on the basis of time-dependent two-body theory. In particular, the so-called rogue dissociation regime [Phys. Rev. Lett., 88, 090403 (2002)], which has a density-dependent limit on the photoassociation rate, is identified with a transient regime of the two-atom dynamics exhibiting universal properties. Finally, we illustrate how these regimes could be explored by photoassociating condensates of alkaline-earth atoms. }, doi = {10.1103/PhysRevLett.100.093001}, url = {http://arxiv.org/abs/0707.2963v2}, author = {Pascal Naidon and Eite Tiesinga and Paul S. Julienne} } @article {1277, title = {Coherent, adiabatic and dissociation regimes in coupled atomic-molecular Bose-Einstein condensates }, year = {2007}, month = {2007/11/02}, abstract = { We discuss the dynamics of a Bose-Einstein condensate of atoms which is suddenly coupled to a condensate of molecules by an optical or magnetic Feshbach resonance. Three limiting regimes are found and can be understood from the transient dynamics occuring for each pair of atoms. This transient dynamics can be summarised into a time-dependent shift and broadening of the molecular state. A simple Gross-Pitaevskii picture including this shift and broadening is proposed to describe the system in the three regimes. Finally, we suggest how to explore these regimes experimentally. }, url = {http://arxiv.org/abs/0711.0397v2}, author = {Pascal Naidon and Eite Tiesinga and Paul S. Julienne} } @article {1291, title = {Effective-range description of a Bose gas under strong one- or two-dimensional confinement }, journal = {New Journal of Physics}, volume = {9}, year = {2007}, month = {2007/01/29}, pages = {19 - 19}, abstract = { We point out that theories describing s-wave collisions of bosonic atoms confined in one- or two-dimensional geometries can be extended to much tighter confinements than previously thought. This is achieved by replacing the scattering length by an energy-dependent scattering length which was already introduced for the calculation of energy levels under 3D confinement. This replacement accurately predicts the position of confinement-induced resonances in strongly confined geometries. }, doi = {10.1088/1367-2630/9/1/019}, url = {http://arxiv.org/abs/physics/0607140v2}, author = {Pascal Naidon and Eite Tiesinga and William F. Mitchell and Paul S. Julienne} } @article {1856, title = {Multi-photon Entanglement: From Quantum Curiosity to Quantum Computing and Quantum Repeaters}, journal = {Proc. SPIE}, volume = {6664}, year = {2007}, pages = {66640G}, url = {http://spiedigitallibrary.aip.org/getabs/servlet/GetabsServlet?prog=normal\&id=PSISDG00666400000166640G000001\&idtype=cvips\&gifs=Yes\&bproc=volrange\&scode=6600\%20-\%206699}, author = {Walther, P and Eisaman, M D and Nemiroski, A and Alexey V. Gorshkov and Zibrov, A S and Zeilinger, A and Lukin, M D} } @article {1203, title = {Optimal control of light pulse storage and retrieval}, journal = {Physical Review Letters}, volume = {98}, year = {2007}, month = {2007/6/15}, abstract = { We demonstrate experimentally a procedure to obtain the maximum efficiency for the storage and retrieval of light pulses in atomic media. The procedure uses time reversal to obtain optimal input signal pulse-shapes. Experimental results in warm Rb vapor are in good agreement with theoretical predictions and demonstrate a substantial improvement of efficiency. This optimization procedure is applicable to a wide range of systems. }, doi = {10.1103/PhysRevLett.98.243602}, url = {http://arxiv.org/abs/quant-ph/0702266v1}, author = {Irina Novikova and Alexey V. Gorshkov and David F. Phillips and Anders S. Sorensen and Mikhail D. Lukin and Ronald L. Walsworth} } @article {1857, title = {Optimization of slow and stored light in atomic vapor}, journal = {Proc. SPIE}, volume = {6482}, year = {2007}, pages = {64820M}, url = {http://spiedigitallibrary.aip.org/getabs/servlet/GetabsServlet?prog=normal\&id=PSISDG00648200000164820M000001\&idtype=cvips\&gifs=Yes\&bproc=volrange\&scode=6400\%20-\%206499}, author = {Novikova, I and Alexey V. Gorshkov and Phillips, D F and Xiao, Y and Klein, M and Walsworth, R L} } @article {1251, title = {Unified derivations of measurement-based schemes for quantum computation}, journal = {Physical Review A}, volume = {71}, year = {2005}, month = {2005/3/17}, abstract = { We present unified, systematic derivations of schemes in the two known measurement-based models of quantum computation. The first model (introduced by Raussendorf and Briegel [Phys. Rev. Lett., 86, 5188 (2001)]) uses a fixed entangled state, adaptive measurements on single qubits, and feedforward of the measurement results. The second model (proposed by Nielsen [Phys. Lett. A, 308, 96 (2003)] and further simplified by Leung [Int. J. Quant. Inf., 2, 33 (2004)]) uses adaptive two-qubit measurements that can be applied to arbitrary pairs of qubits, and feedforward of the measurement results. The underlying principle of our derivations is a variant of teleportation introduced by Zhou, Leung, and Chuang [Phys. Rev. A, 62, 052316 (2000)]. Our derivations unify these two measurement-based models of quantum computation and provide significantly simpler schemes. }, doi = {10.1103/PhysRevA.71.032318}, url = {http://arxiv.org/abs/quant-ph/0404132v2}, author = {Andrew M. Childs and Debbie W. Leung and Michael A. Nielsen} } @article {1420, title = {Quantum key distribution with 1.25 Gbps clock synchronization}, journal = {Optics Express}, volume = {12}, year = {2004}, month = {2004/05/17}, pages = {2011}, abstract = { We have demonstrated the exchange of sifted quantum cryptographic key over a 730 meter free-space link at rates of up to 1.0 Mbps, two orders of magnitude faster than previously reported results. A classical channel at 1550 nm operates in parallel with a quantum channel at 845 nm. Clock recovery techniques on the classical channel at 1.25 Gbps enable quantum transmission at up to the clock rate. System performance is currently limited by the timing resolution of our silicon avalanche photodiode detectors. With improved detector resolution, our technique will yield another order of magnitude increase in performance, with existing technology. }, doi = {10.1364/OPEX.12.002011}, url = {http://arxiv.org/abs/quant-ph/0405097v1}, author = {J. C. Bienfang and A. J. Gross and A. Mink and B. J. Hershman and A. Nakassis and X. Tang and R. Lu and D. H. Su and Charles W Clark and Carl J. Williams and E. W. Hagley and Jesse Wen} } @article {1250, title = {Lower bounds on the complexity of simulating quantum gates}, journal = {Physical Review A}, volume = {68}, year = {2003}, month = {2003/11/18}, abstract = { We give a simple proof of a formula for the minimal time required to simulate a two-qubit unitary operation using a fixed two-qubit Hamiltonian together with fast local unitaries. We also note that a related lower bound holds for arbitrary n-qubit gates. }, doi = {10.1103/PhysRevA.68.052311}, url = {http://arxiv.org/abs/quant-ph/0307190v1}, author = {Andrew M. Childs and Henry L. Haselgrove and Michael A. Nielsen} } @article {1261, title = {Universal simulation of Hamiltonian dynamics for qudits}, journal = {Physical Review A}, volume = {66}, year = {2002}, month = {2002/8/30}, abstract = { What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? Dodd et al. (quant-ph/0106064) provided a partial solution to this problem in the form of an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling N-qubit Hamiltonian, and local unitaries. We extend this result to the case where the component systems have D dimensions. As a consequence we explain how universal quantum computation can be performed with any fixed two-body entangling N-qudit Hamiltonian, and local unitaries. }, doi = {10.1103/PhysRevA.66.022317}, url = {http://arxiv.org/abs/quant-ph/0109064v2}, author = {Michael A. Nielsen and Michael J. Bremner and Jennifer L. Dodd and Andrew M. Childs and Christopher M. Dawson} }