01576nas a2200181 4500008004100000022001400041245006300055210006100118260001400179300001600193490000600209520107500215100001701290700001701307700001801324700001501342856003701357 2024 eng d a2475-142100aA Case for Synthesis of Recursive Quantum Unitary Programs0 aCase for Synthesis of Recursive Quantum Unitary Programs c12/5/2023 a1759–17880 v83 a

Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and errors associated with low-level quantum details would hence be highly desirable. In this paper, we initiate the study of program synthesis for quantum unitary programs that recursively define a family of unitary circuits for different input sizes, which are widely used in existing quantum programming languages. Specifically, we present QSynth, the first quantum program synthesis framework, including a new inductive quantum programming language, its specification, a sound logic for reasoning, and an encoding of the reasoning procedure into SMT instances. By leveraging existing SMT solvers, QSynth successfully synthesizes ten quantum unitary programs including quantum adder circuits, quantum eigenvalue inversion circuits and Quantum Fourier Transformation, which can be readily transpiled to executable programs on major quantum platforms, e.g., Q#, IBM Qiskit, and AWS Braket.

1 aDeng, Haowei1 aTao, Runzhou1 aPeng, Yuxiang1 aWu, Xiaodi uhttps://arxiv.org/abs/2311.1150301807nas a2200181 4500008004100000022001400041245003600055210003500091260001400126490000600140520134200146100001501488700002301503700001701526700002401543700002101567856003701588 2024 eng d a2691-339900aClifford-Deformed Surface Codes0 aCliffordDeformed Surface Codes c3/19/20240 v53 a

Various realizations of Kitaev's surface code perform surprisingly well for biased Pauli noise. Attracted by these potential gains, we study the performance of Clifford-deformed surface codes (CDSCs) obtained from the surface code by applying single-qubit Clifford operators. We first analyze CDSCs on the 3×3 square lattice and find that, depending on the noise bias, their logical error rates can differ by orders of magnitude. To explain the observed behavior, we introduce the effective distance d′, which reduces to the standard distance for unbiased noise. To study CDSC performance in the thermodynamic limit, we focus on random CDSCs. Using the statistical mechanical mapping for quantum codes, we uncover a phase diagram that describes random CDSC families with 50% threshold at infinite bias. In the high-threshold region, we further demonstrate that typical code realizations outperform the thresholds and subthreshold logical error rates, at finite bias, of the best-known translationally invariant codes. We demonstrate the practical relevance of these random CDSC families by constructing a translation-invariant CDSC belonging to a high-performance random CDSC family. We also show that our translation-invariant CDSC outperforms well-known translation-invariant CDSCs such as the XZZX and XY codes.

1 aDua, Arpit1 aKubica, Aleksander1 aJiang, Liang1 aFlammia, Steven, T.1 aGullans, Michael uhttps://arxiv.org/abs/2201.0780201754nas a2200169 4500008004100000245008800041210006900129260001400198520119900212100002201411700002301433700001901456700002901475700002201504700002101526856003701547 2024 eng d00aEfficient and practical Hamiltonian simulation from time-dependent product formulas0 aEfficient and practical Hamiltonian simulation from timedependen c3/13/20243 a

In this work we propose an approach for implementing time-evolution of a quantum system using product formulas. The quantum algorithms we develop have provably better scaling (in terms of gate complexity and circuit depth) than a naive application of well-known Trotter formulas, for systems where the evolution is determined by a Hamiltonian with different energy scales (i.e., one part is "large" and another part is "small"). Our algorithms generate a decomposition of the evolution operator into a product of simple unitaries that are directly implementable on a quantum computer. Although the theoretical scaling is suboptimal compared with state-of-the-art algorithms (e.g., quantum signal processing), the performance of the algorithms we propose is highly competitive in practice. We illustrate this via extensive numerical simulations for several models. For instance, in the strong-field regime of the 1D transverse-field Ising model, our algorithms achieve an improvement of one order of magnitude in both the system size and evolution time that can be simulated with a fixed budget of 1000 arbitrary 2-qubit gates, compared with standard Trotter formulas.

1 aBosse, Jan, Lukas1 aChilds, Andrew, M.1 aDerby, Charles1 aGambetta, Filippo, Maria1 aMontanaro, Ashley1 aSantos, Raul, A. uhttps://arxiv.org/abs/2403.0872901355nas a2200181 4500008004100000245008400041210006900125260001400194520077500208100001800983700002301001700002401024700001601048700002401064700002501088700002301113856003701136 2024 eng d00aEfficiently verifiable quantum advantage on near-term analog quantum simulators0 aEfficiently verifiable quantum advantage on nearterm analog quan c3/13/20243 a

Existing schemes for demonstrating quantum computational advantage are subject to various practical restrictions, including the hardness of verification and challenges in experimental implementation. Meanwhile, analog quantum simulators have been realized in many experiments to study novel physics. In this work, we propose a quantum advantage protocol based on single-step Feynman-Kitaev verification of an analog quantum simulation, in which the verifier need only run an O(λ2)-time classical computation, and the prover need only prepare O(1) samples of a history state and perform O(λ2) single-qubit measurements, for a security parameter λ. We also propose a near-term feasible strategy for honest provers and discuss potential experimental realizations.

1 aLiu, Zhenning1 aDevulapalli, Dhruv1 aHangleiter, Dominik1 aLiu, Yi-Kai1 aKollár, Alicia, J.1 aGorshkov, Alexey, V.1 aChilds, Andrew, M. uhttps://arxiv.org/abs/2403.0819501817nas a2200181 4500008004100000245006100041210006100102260001400163520125300177100003201430700001901462700002201481700002201503700002001525700002801545700002501573856003701598 2024 eng d00aEstimation of Hamiltonian parameters from thermal states0 aEstimation of Hamiltonian parameters from thermal states c1/18/20243 a

We upper- and lower-bound the optimal precision with which one can estimate an unknown Hamiltonian parameter via measurements of Gibbs thermal states with a known temperature. The bounds depend on the uncertainty in the Hamiltonian term that contains the parameter and on the term's degree of noncommutativity with the full Hamiltonian: higher uncertainty and commuting operators lead to better precision. We apply the bounds to show that there exist entangled thermal states such that the parameter can be estimated with an error that decreases faster than 1/n−−√, beating the standard quantum limit. This result governs Hamiltonians where an unknown scalar parameter (e.g. a component of a magnetic field) is coupled locally and identically to n qubit sensors. In the high-temperature regime, our bounds allow for pinpointing the optimal estimation error, up to a constant prefactor. Our bounds generalize to joint estimations of multiple parameters. In this setting, we recover the high-temperature sample scaling derived previously via techniques based on quantum state discrimination and coding theory. In an application, we show that noncommuting conserved quantities hinder the estimation of chemical potentials.

1 aGarcía-Pintos, Luis, Pedro1 aBharti, Kishor1 aBringewatt, Jacob1 aDehghani, Hossein1 aEhrenberg, Adam1 aHalpern, Nicole, Yunger1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2401.1034301993nas a2200205 4500008004100000022001400041245010700055210006900162260001400231490000800245520134600253100001901599700001901618700002001637700001901657700002901676700002001705700002501725856003701750 2024 eng d a1079-711400aHigh-Energy Collision of Quarks and Mesons in the Schwinger Model: From Tensor Networks to Circuit QED0 aHighEnergy Collision of Quarks and Mesons in the Schwinger Model c2/28/20240 v1323 a

With the aim of studying nonperturbative out-of-equilibrium dynamics of high-energy particle collisions on quantum simulators, we investigate the scattering dynamics of lattice quantum electrodynamics in 1+1 dimensions. Working in the bosonized formulation of the model and in the thermodynamic limit, we use uniform-matrix-product-state tensor networks to construct multi-particle wave-packet states, evolve them in time, and detect outgoing particles post collision. This facilitates the numerical simulation of scattering experiments in both confined and deconfined regimes of the model at different energies, giving rise to rich phenomenology, including inelastic production of quark and meson states, meson disintegration, and dynamical string formation and breaking. We obtain elastic and inelastic scattering cross sections, together with time-resolved momentum and position distributions of the outgoing particles. Furthermore, we propose an analog circuit-QED implementation of the scattering process that is native to the platform, requires minimal ingredients and approximations, and enables practical schemes for particle wave-packet preparation and evolution. This study highlights the role of classical and quantum simulation in enhancing our understanding of scattering processes in quantum field theories in real time.

1 aBelyansky, Ron1 aWhitsitt, Seth1 aMueller, Niklas1 aFahimniya, Ali1 aBennewitz, Elizabeth, R.1 aDavoudi, Zohreh1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2307.0252201965nas a2200205 4500008004100000245009400041210006900135260001400204520132100218100002001539700002101559700001701580700002301597700001701620700001801637700001801655700002501673700002401698856003701722 2024 eng d00aLong-Distance Nuclear Matrix Elements for Neutrinoless Double-Beta Decay from Lattice QCD0 aLongDistance Nuclear Matrix Elements for Neutrinoless DoubleBeta c2/14/20243 a

Neutrinoless double-beta (0νββ) decay is a heretofore unobserved process which, if observed, would imply that neutrinos are Majorana particles. Interpretations of the stringent experimental constraints on 0νββ-decay half-lives require calculations of nuclear matrix elements. This work presents the first lattice quantum-chromodynamics (LQCD) calculation of the matrix element for 0νββ decay in a multi-nucleon system, specifically the nn→ppee transition, mediated by a light left-handed Majorana neutrino propagating over nuclear-scale distances. This calculation is performed with quark masses corresponding to a pion mass of mπ=806 MeV at a single lattice spacing and volume. The statistically cleaner Σ−→Σ+ee transition is also computed in order to investigate various systematic uncertainties. The prospects for matching the results of LQCD calculations onto a nuclear effective field theory to determine a leading-order low-energy constant relevant for 0νββ decay with a light Majorana neutrino are investigated. This work, therefore, sets the stage for future calculations at physical values of the quark masses that, combined with effective field theory and nuclear many-body studies, will provide controlled theoretical inputs to experimental searches of 0νββ decay.

1 aDavoudi, Zohreh1 aDetmold, William1 aFu, Zhenghao1 aGrebe, Anthony, V.1 aJay, William1 aMurphy, David1 aOare, Patrick1 aShanahan, Phiala, E.1 aWagman, Michael, L. uhttps://arxiv.org/abs/2402.0936202530nas a2200205 4500008004100000245006700041210006600108260001400174520187400188100003502062700002502097700002302122700002002145700002302165700002702188700002202215700002202237700002802259856003702287 2024 eng d00aProperties and Applications of the Kirkwood-Dirac Distribution0 aProperties and Applications of the KirkwoodDirac Distribution c3/27/20243 a

The most famous quasi-probability distribution, the Wigner function, has played a pivotal role in the development of a continuous-variable quantum theory that has clear analogues of position and momentum. However, the Wigner function is ill-suited for much modern quantum-information research, which is focused on finite-dimensional systems and general observables. Instead, recent years have seen the Kirkwood-Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in terms of arbitrary observables. This paper reviews the KD distribution, in three parts. First, we present definitions and basic properties of the KD distribution and its generalisations. Second, we summarise the KD distribution's extensive usage in the study or development of measurement disturbance; quantum metrology; weak values; direct measurements of quantum states; quantum thermodynamics; quantum scrambling and out-of-time-ordered correlators; and the foundations of quantum mechanics, including Leggett-Garg inequalities, the consistent-histories interpretation, and contextuality. We emphasise connections between operational quantum advantages and negative or non-real KD quasi-probabilities. Third, we delve into the KD distribution's mathematical structure. We summarise the current knowledge regarding the geometry of KD-positive states (the states for which the KD distribution is a classical probability distribution), describe how to witness and quantify KD non-positivity, and outline relationships between KD non-positivity and observables' incompatibility.

1 aArvidsson-Shukur, David, R. M.1 aBraasch, William, F.1 aDe Bievre, Stephan1 aDressel, Justin1 aJordan, Andrew, N.1 aLangrenez, Christopher1 aLostaglio, Matteo1 aLundeen, Jeff, S.1 aHalpern, Nicole, Yunger uhttps://arxiv.org/abs/2403.1889902067nas a2200169 4500008004100000245008100041210006900122260001300191520151900204100002001723700002701743700002001770700002301790700001901813700002801832856003701860 2024 eng d00aQuantum thermodynamics of nonequilibrium processes in lattice gauge theories0 aQuantum thermodynamics of nonequilibrium processes in lattice ga c4/3/20243 a

A key objective in nuclear and high-energy physics is to describe nonequilibrium dynamics of matter, e.g., in the early universe and in particle colliders, starting from the Standard Model. Classical-computing methods, via the framework of lattice gauge theory, have experienced limited success in this mission. Quantum simulation of lattice gauge theories holds promise for overcoming computational limitations. Because of local constraints (Gauss's laws), lattice gauge theories have an intricate Hilbert-space structure. This structure complicates the definition of thermodynamic properties of systems coupled to reservoirs during equilibrium and nonequilibrium processes. We show how to define thermodynamic quantities such as work and heat using strong-coupling thermodynamics, a framework that has recently burgeoned within the field of quantum thermodynamics. Our definitions suit instantaneous quenches, simple nonequilibrium processes undertaken in quantum simulators. To illustrate our framework, we compute the work and heat exchanged during a quench in a Z2 lattice gauge theory coupled to matter in 1+1 dimensions. The thermodynamic quantities, as functions of the quench parameter, evidence an expected phase transition. For general thermal states, we derive a simple relation between a quantum many-body system's entanglement Hamiltonian, measurable with quantum-information-processing tools, and the Hamiltonian of mean force, used to define strong-coupling thermodynamic quantities.

1 aDavoudi, Zohreh1 aJarzynski, Christopher1 aMueller, Niklas1 aOruganti, Greeshma1 aPowers, Connor1 aHalpern, Nicole, Yunger uhttps://arxiv.org/abs/2404.0296502111nas a2200133 4500008004100000245009200041210006900133260001300202520166000215100002001875700002201895700002301917856003701940 2024 eng d00aScattering wave packets of hadrons in gauge theories: Preparation on a quantum computer0 aScattering wave packets of hadrons in gauge theories Preparation c2/1/20243 a

Quantum simulation holds promise of enabling a complete description of high-energy scattering processes rooted in gauge theories of the Standard Model. A first step in such simulations is preparation of interacting hadronic wave packets. To create the wave packets, one typically resorts to adiabatic evolution to bridge between wave packets in the free theory and those in the interacting theory, rendering the simulation resource intensive. In this work, we construct a wave-packet creation operator directly in the interacting theory to circumvent adiabatic evolution, taking advantage of resource-efficient schemes for ground-state preparation, such as variational quantum eigensolvers. By means of an ansatz for bound mesonic excitations in confining gauge theories, which is subsequently optimized using classical or quantum methods, we show that interacting mesonic wave packets can be created efficiently and accurately using digital quantum algorithms that we develop. Specifically, we obtain high-fidelity mesonic wave packets in the Z2 and U(1) lattice gauge theories coupled to fermionic matter in 1+1 dimensions. Our method is applicable to both perturbative and non-perturbative regimes of couplings. The wave-packet creation circuit for the case of the Z2 lattice gauge theory is built and implemented on the Quantinuum H1-1 trapped-ion quantum computer using 13 qubits and up to 308 entangling gates. The fidelities agree well with classical benchmark calculations after employing a simple symmetry-based noise-mitigation technique. This work serves as a step toward quantum computing scattering processes in quantum chromodynamics.

1 aDavoudi, Zohreh1 aHsieh, Chung-Chun1 aKadam, Saurabh, V. uhttps://arxiv.org/abs/2402.0084001621nas a2200157 4500008004100000245006100041210005700102260001400159520113900173100002001312700002201332700002301354700002401377700002501401856003701426 2024 eng d00aThe Second Moment of Hafnians in Gaussian Boson Sampling0 aSecond Moment of Hafnians in Gaussian Boson Sampling c3/20/20243 a

Gaussian Boson Sampling is a popular method for experimental demonstrations of quantum advantage, but many subtleties remain in fully understanding its theoretical underpinnings. An important component in the theoretical arguments for approximate average-case hardness of sampling is anticoncentration, which is a second-moment property of the output probabilities. In Gaussian Boson Sampling these are given by hafnians of generalized circular orthogonal ensemble matrices. In a companion work [arXiv:2312.08433], we develop a graph-theoretic method to study these moments and use it to identify a transition in anticoncentration. In this work, we find a recursive expression for the second moment using these graph-theoretic techniques. While we have not been able to solve this recursion by hand, we are able to solve it numerically exactly, which we do up to Fock sector 2n=80. We further derive new analytical results about the second moment. These results allow us to pinpoint the transition in anticoncentration and furthermore yield the expected linear cross-entropy benchmarking score for an ideal (error-free) device.

1 aEhrenberg, Adam1 aIosue, Joseph, T.1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2403.1387802266nas a2200265 4500008004100000245005900041210005900100260001400159520150200173100002901675700001801704700002501722700002001747700002501767700001901792700002001811700001201831700001601843700002201859700001301881700002401894700002001918700002501938856003701963 2024 eng d00aSimulating Meson Scattering on Spin Quantum Simulators0 aSimulating Meson Scattering on Spin Quantum Simulators c3/11/20243 a

Studying high-energy collisions of composite particles, such as hadrons and nuclei, is an outstanding goal for quantum simulators. However, preparation of hadronic wave packets has posed a significant challenge, due to the complexity of hadrons and the precise structure of wave packets. This has limited demonstrations of hadron scattering on quantum simulators to date. Observations of confinement and composite excitations in quantum spin systems have opened up the possibility to explore scattering dynamics in spin models. In this article, we develop two methods to create entangled spin states corresponding to wave packets of composite particles in analog quantum simulators of Ising spin Hamiltonians. One wave-packet preparation method uses the blockade effect enabled by beyond-nearest-neighbor Ising spin interactions. The other method utilizes a quantum-bus-mediated exchange, such as the native spin-phonon coupling in trapped-ion arrays. With a focus on trapped-ion simulators, we numerically benchmark both methods and show that high-fidelity wave packets can be achieved in near-term experiments. We numerically study scattering of wave packets for experimentally realizable parameters in the Ising model and find inelastic-scattering regimes, corresponding to particle production in the scattering event, with prominent and distinct experimental signals. Our proposal, therefore, demonstrates the potential of observing inelastic scattering in near-term quantum simulators.

1 aBennewitz, Elizabeth, R.1 aWare, Brayden1 aSchuckert, Alexander1 aLerose, Alessio1 aSurace, Federica, M.1 aBelyansky, Ron1 aMorong, William1 aLuo, De1 aDe, Arinjoy1 aCollins, Kate, S.1 aKatz, Or1 aMonroe, Christopher1 aDavoudi, Zohreh1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2403.0706102465nas a2200517 4500008004100000245011600041210006900157260001400226520098200240100001701222700001701239700002501256700002001281700002401301700002201325700001601347700001901363700001901382700001801401700001901419700002001438700001901458700002101477700003101498700001801529700001901547700001601566700001601582700001601598700002001614700001901634700002101653700001901674700002201693700001801715700002401733700002301757700001801780700002001798700001801818700002301836700001901859700002001878700001201898856003701910 2023 eng d00aAccelerating Progress Towards Practical Quantum Advantage: The Quantum Technology Demonstration Project Roadmap0 aAccelerating Progress Towards Practical Quantum Advantage The Qu c3/20/20233 a

Quantum information science and technology (QIST) is a critical and emerging technology with the potential for enormous world impact and is currently invested in by over 40 nations. To bring these large-scale investments to fruition and bridge the lower technology readiness levels (TRLs) of fundamental research at universities to the high TRLs necessary to realize the promise of practical quantum advantage accessible to industry and the public, we present a roadmap for Quantum Technology Demonstration Projects (QTDPs). Such QTDPs, focused on intermediate TRLs, are large-scale public-private partnerships with a high probability of translation from laboratory to practice. They create technology demonstrating a clear 'quantum advantage' for science breakthroughs that are user-motivated and will provide access to a broad and diverse community of scientific users. Successful implementation of a program of QTDPs will have large positive economic impacts.

1 aAlsing, Paul1 aBattle, Phil1 aBienfang, Joshua, C.1 aBorders, Tammie1 aBrower-Thomas, Tina1 aCarr, Lincoln, D.1 aChong, Fred1 aDadras, Siamak1 aDeMarco, Brian1 aDeutsch, Ivan1 aFigueroa, Eden1 aFreedman, Danna1 aEveritt, Henry1 aGauthier, Daniel1 aJohnston-Halperin, Ezekiel1 aKim, Jungsang1 aKira, Mackillo1 aKumar, Prem1 aKwiat, Paul1 aLekki, John1 aLoiacono, Anjul1 aLončar, Marko1 aLowell, John, R.1 aLukin, Mikhail1 aMerzbacher, Celia1 aMiller, Aaron1 aMonroe, Christopher1 aPollanen, Johannes1 aPappas, David1 aRaymer, Michael1 aReano, Ronald1 aRodenburg, Brandon1 aSavage, Martin1 aSearles, Thomas1 aYe, Jun uhttps://arxiv.org/abs/2210.1475701726nas a2200253 4500008004100000022001400041245005000055210005000105260001500155490000600170520104100176100002201217700002201239700001801261700002101279700001601300700001301316700002901329700001801358700002401376700001901400700001601419856003701435 2023 eng d a2375-254800aDigital quantum simulation of NMR experiments0 aDigital quantum simulation of NMR experiments c11/29/20230 v93 a

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.

1 aSeetharam, Kushal1 aBiswas, Debopriyo1 aNoel, Crystal1 aRisinger, Andrew1 aZhu, Daiwei1 aKatz, Or1 aChattopadhyay, Sambuddha1 aCetina, Marko1 aMonroe, Christopher1 aDemler, Eugene1 aSels, Dries uhttps://arxiv.org/abs/2109.1329802121nas a2200181 4500008004100000245006900041210006800110260001400178520156100192100001901753700002201772700001901794700001901813700002401832700002501856700002101881856003701902 2023 eng d00aFault-tolerant hyperbolic Floquet quantum error correcting codes0 aFaulttolerant hyperbolic Floquet quantum error correcting codes c9/18/20233 a

A central goal in quantum error correction is to reduce the overhead of fault-tolerant quantum computing by increasing noise thresholds and reducing the number of physical qubits required to sustain a logical qubit. We introduce a potential path towards this goal based on a family of dynamically generated quantum error correcting codes that we call "hyperbolic Floquet codes." These codes are defined by a specific sequence of non-commuting two-body measurements arranged periodically in time that stabilize a topological code on a hyperbolic manifold with negative curvature. We focus on a family of lattices for n qubits that, according to our prescription that defines the code, provably achieve a finite encoding rate (1/8+2/n) and have a depth-3 syndrome extraction circuit. Similar to hyperbolic surface codes, the distance of the code at each time-step scales at most logarithmically in n. The family of lattices we choose indicates that this scaling is achievable in practice. We develop and benchmark an efficient matching-based decoder that provides evidence of a threshold near 0.1% in a phenomenological noise model. Utilizing weight-two check operators and a qubit connectivity of 3, one of our hyperbolic Floquet codes uses 400 physical qubits to encode 52 logical qubits with a code distance of 8, i.e., it is a [[400,52,8]] code. At small error rates, comparable logical error suppression to this code requires 5x as many physical qubits (1924) when using the honeycomb Floquet code with the same noise model and decoder.

1 aFahimniya, Ali1 aDehghani, Hossein1 aBharti, Kishor1 aMathew, Sheryl1 aKollár, Alicia, J.1 aGorshkov, Alexey, V.1 aGullans, Michael uhttps://arxiv.org/abs/2309.1003301923nas a2200253 4500008004100000020002200041245008700063210006900150260004800219520105800267100002001325700001901345700002301364700001501387700001601402700002401418700002001442700002201462700001201484700001501496700002201511700002201533856011401555 2023 eng d a978-3-031-38554-400aFixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium0 aFixing and Mechanizing the Security Proof of FiatShamir with Abo aChambSpringer Nature Switzerlandc8/9/20233 a

We extend and consolidate the security justification for the Dilithium signature scheme. In particular, we identify a subtle but crucial gap that appears in several ROM and QROM security proofs for signature schemes that are based on the Fiat-Shamir with aborts paradigm, including Dilithium. The gap lies in the CMA-to-NMA reduction and was uncovered when trying to formalize a variant of the QROM security proof by Kiltz, Lyubashevsky, and Schaffner (Eurocrypt 2018). The gap was confirmed by the authors, and there seems to be no simple patch for it. We provide new, fixed proofs for the affected CMA-to-NMA reduction, both for the ROM and the QROM, and we perform a concrete security analysis for the case of Dilithium to show that the claimed security level is still valid after addressing the gap. Furthermore, we offer a fully mechanized ROM proof for the CMA-security of Dilithium in the EasyCrypt proof assistant. Our formalization includes several new tools and techniques of independent interest for future formal verification results.

1 aBarbosa, Manuel1 aBarthe, Gilles1 aDoczkal, Christian1 aDon, Jelle1 aFehr, Serge1 aGrégoire, Benjamin1 aHuang, Yu-Hsuan1 aHülsing, Andreas1 aLee, Yi1 aWu, Xiaodi1 aHandschuh, Helena1 aLysyanskaya, Anna uhttps://www.quics.umd.edu/publications/fixing-and-mechanizing-security-proof-fiat-shamir-aborts-and-dilithium02189nas a2200169 4500008004100000022001400041245011400055210006900169260001500238300000900253490000600262520164700268100002001915700002401935700002301959856003701982 2023 eng d a2521-327X00aGeneral quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory0 aGeneral quantum algorithms for Hamiltonian simulation with appli c12/14/2023 a12130 v73 a

With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.

1 aDavoudi, Zohreh1 aShaw, Alexander, F.1 aStryker, Jesse, R. uhttps://arxiv.org/abs/2212.1403001926nas a2200181 4500008004100000245010800041210006900149260001300218520132500231100001901556700001901575700002001594700001901614700002901633700002001662700002501682856003701707 2023 eng d00aHigh-Energy Collision of Quarks and Hadrons in the Schwinger Model: From Tensor Networks to Circuit QED0 aHighEnergy Collision of Quarks and Hadrons in the Schwinger Mode c7/5/20233 a

With the aim of studying nonperturbative out-of-equilibrium dynamics of high-energy particle collisions on quantum simulators, we investigate the scattering dynamics of lattice quantum electrodynamics in 1+1 dimensions. Working in the bosonized formulation of the model, we propose an analog circuit-QED implementation that is native to the platform, requires minimal ingredients and approximations, and enables practical schemes for particle wave-packet preparation and evolution. Furthermore, working in the thermodynamic limit, we use uniform-matrix-product-state tensor networks to construct multi-particle wave-packet states, evolve them in time, and detect outgoing particles post collision. This facilitates the numerical simulation of scattering experiments in both confined and deconfined regimes of the model at different energies, giving rise to rich phenomenology, including inelastic production of quark and meson states, meson disintegration, and dynamical string formation and breaking. We obtain elastic and inelastic scattering cross sections, together with time-resolved momentum and position distributions of the outgoing particles. This study highlights the role of classical and quantum simulation in enhancing our understanding of scattering processes in quantum field theories in real time.

1 aBelyansky, Ron1 aWhitsitt, Seth1 aMueller, Niklas1 aFahimniya, Ali1 aBennewitz, Elizabeth, R.1 aDavoudi, Zohreh1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2307.0252202278nas a2200205 4500008004100000245008100041210006900122260001400191520163500205100001701840700002101857700002801878700002001906700001501926700002301941700002201964700002501986700002402011856003702035 2023 eng d00aLattice quantum chromodynamics at large isospin density: 6144 pions in a box0 aLattice quantum chromodynamics at large isospin density 6144 pio c7/27/20233 a

We present an algorithm to compute correlation functions for systems with the quantum numbers of many identical mesons from lattice quantum chromodynamics (QCD). The algorithm is numerically stable and allows for the computation of n-pion correlation functions for n∈{1,…,N} using a single N×N matrix decomposition, improving on previous algorithms. We apply the algorithm to calculations of correlation functions with up to 6144 π+s using two ensembles of gauge field configurations generated with quark masses corresponding to a pion mass mπ=170 MeV and spacetime volumes of (4.43×8.8) fm4 and (5.83×11.6) fm4. We also discuss statistical techniques for the analysis of such systems, in which the correlation functions vary over many orders of magnitude. In particular, we observe that the many-pion correlation functions are well approximated by log-normal distributions, allowing the extraction of the energies of these systems. Using these energies, the large-isospin-density, zero-baryon-density region of the QCD phase diagram is explored. A peak is observed in the energy density at an isospin chemical potential μI∼1.5mπ, signalling the transition into a Bose-Einstein condensed phase. The isentropic speed of sound in the medium is seen to exceed the ideal-gas (conformal) limit (c2s≤1/3) over a wide range of chemical potential before falling towards the asymptotic expectation at μI∼15mπ. These, and other thermodynamic observables, indicate that the isospin chemical potential must be large for the system to be well described by an ideal gas or perturbative QCD.

1 aAbbott, Ryan1 aDetmold, William1 aRomero-López, Fernando1 aDavoudi, Zohreh1 aIlla, Marc1 aParreño, Assumpta1 aPerry, Robert, J.1 aShanahan, Phiala, E.1 aWagman, Michael, L. uhttps://arxiv.org/abs/2307.1501401834nas a2200217 4500008004100000245007700041210006900118260001400187520122500201100001101426700001301437700001601450700001501466700001201481700001401493700001501507700002501522700001701547700001501564856003701579 2023 eng d00aNon-equilibrium critical scaling and universality in a quantum simulator0 aNonequilibrium critical scaling and universality in a quantum si c9/19/20233 a

Universality and scaling laws are hallmarks of equilibrium phase transitions and critical phenomena. However, extending these concepts to non-equilibrium systems is an outstanding challenge. Despite recent progress in the study of dynamical phases, the universality classes and scaling laws for non-equilibrium phenomena are far less understood than those in equilibrium. In this work, using a trapped-ion quantum simulator with single-ion resolution, we investigate the non-equilibrium nature of critical fluctuations following a quantum quench to the critical point. We probe the scaling of spin fluctuations after a series of quenches to the critical Hamiltonian of a long-range Ising model. With systems of up to 50 spins, we show that the amplitude and timescale of the post-quench fluctuations scale with system size with distinct universal critical exponents. While a generic quench can lead to thermal critical behaviour, we find that a second quench from one critical state to another (i.e. a double quench) results in critical behaviour that does not have an equilibrium counterpart. Our results demonstrate the ability of quantum simulators to explore universal scaling beyond the equilibrium paradigm.

1 aDe, A.1 aCook, P.1 aCollins, K.1 aMorong, W.1 aPaz, D.1 aTitum, P.1 aPagano, G.1 aGorshkov, Alexey, V.1 aMaghrebi, M.1 aMonroe, C. uhttps://arxiv.org/abs/2309.1085602080nas a2200193 4500008004100000245009100041210006900132260001500201520147600216100002501692700001301717700001401730700001901744700001601763700002101779700002501800700002401825856003701849 2023 eng d00aObservation of a finite-energy phase transition in a one-dimensional quantum simulator0 aObservation of a finiteenergy phase transition in a onedimension c10/30/20233 a

One of the most striking many-body phenomena in nature is the sudden change of macroscopic properties as the temperature or energy reaches a critical value. Such equilibrium transitions have been predicted and observed in two and three spatial dimensions, but have long been thought not to exist in one-dimensional (1D) systems. Fifty years ago, Dyson and Thouless pointed out that a phase transition in 1D can occur in the presence of long-range interactions, but an experimental realization has so far not been achieved due to the requirement to both prepare equilibrium states and realize sufficiently long-range interactions. Here we report on the first experimental demonstration of a finite-energy phase transition in 1D. We use the simple observation that finite-energy states can be prepared by time-evolving product initial states and letting them thermalize under the dynamics of a many-body Hamiltonian. By preparing initial states with different energies in a 1D trapped-ion quantum simulator, we study the finite-energy phase diagram of a long-range interacting quantum system. We observe a ferromagnetic equilibrium phase transition as well as a crossover from a low-energy polarized paramagnet to a high-energy unpolarized paramagnet in a system of up to 23 spins, in excellent agreement with numerical simulations. Our work demonstrates the ability of quantum simulators to realize and study previously inaccessible phases at finite energy density.

1 aSchuckert, Alexander1 aKatz, Or1 aFeng, Lei1 aCrane, Eleanor1 aDe, Arinjoy1 aHafezi, Mohammad1 aGorshkov, Alexey, V.1 aMonroe, Christopher uhttps://arxiv.org/abs/2310.1986902008nas a2200181 4500008004100000245005800041210005800099260001400157300000900171490000600180520148900186100002201675700002001697700002401717700002301741700002501764856003701789 2023 eng d00aPage curves and typical entanglement in linear optics0 aPage curves and typical entanglement in linear optics c5/18/2023 a10170 v73 a

Bosonic Gaussian states are a special class of quantum states in an infinite dimensional Hilbert space that are relevant to universal continuous-variable quantum computation as well as to near-term quantum sampling tasks such as Gaussian Boson Sampling. In this work, we study entanglement within a set of squeezed modes that have been evolved by a random linear optical unitary. We first derive formulas that are asymptotically exact in the number of modes for the Rényi-2 Page curve (the average Rényi-2 entropy of a subsystem of a pure bosonic Gaussian state) and the corresponding Page correction (the average information of the subsystem) in certain squeezing regimes. We then prove various results on the typicality of entanglement as measured by the Rényi-2 entropy by studying its variance. Using the aforementioned results for the Rényi-2 entropy, we upper and lower bound the von Neumann entropy Page curve and prove certain regimes of entanglement typicality as measured by the von Neumann entropy. Our main proofs make use of a symmetry property obeyed by the average and the variance of the entropy that dramatically simplifies the averaging over unitaries. In this light, we propose future research directions where this symmetry might also be exploited. We conclude by discussing potential applications of our results and their generalizations to Gaussian Boson Sampling and to illuminating the relationship between entanglement and computational complexity.

1 aIosue, Joseph, T.1 aEhrenberg, Adam1 aHangleiter, Dominik1 aDeshpande, Abhinav1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2209.0683801544nas a2200133 4500008004100000024001800041245007500059210006900134260001400203520111400217100002201331700002001353856003701373 2023 eng d aUMD-PP-022-0600aParallelization techniques for quantum simulation of fermionic systems0 aParallelization techniques for quantum simulation of fermionic s c3/30/20233 a

Mapping fermionic operators to qubit operators is an essential step for simulating fermionic systems on a quantum computer. We investigate how the choice of such a mapping interacts with the underlying qubit connectivity of the quantum processor to enable (or impede) parallelization of the resulting Hamiltonian-simulation algorithm. It is shown that this problem can be mapped to a path coloring problem on a graph constructed from the particular choice of encoding fermions onto qubits and the fermionic interactions onto paths. The basic version of this problem is called the weak coloring problem. Taking into account the fine-grained details of the mapping yields what is called the strong coloring problem, which leads to improved parallelization performance. A variety of illustrative analytical and numerical examples are presented to demonstrate the amount of improvement for both weak and strong coloring-based parallelizations. Our results are particularly important for implementation on near-term quantum processors where minimizing circuit depth is necessary for algorithmic feasibility.

1 aBringewatt, Jacob1 aDavoudi, Zohreh uhttps://arxiv.org/abs/2207.1247002470nas a2200169 4500008004100000245007100041210006900112260001400181520193200195100002202127700002202149700002402171700002302195700002502218700002002243856003702263 2023 eng d00aQuantum Algorithms for Simulating Nuclear Effective Field Theories0 aQuantum Algorithms for Simulating Nuclear Effective Field Theori c12/8/20233 a

Quantum computers offer the potential to simulate nuclear processes that are classically intractable. With the goal of understanding the necessary quantum resources, we employ state-of-the-art Hamiltonian-simulation methods, and conduct a thorough algorithmic analysis, to estimate the qubit and gate costs to simulate low-energy effective field theories (EFTs) of nuclear physics. In particular, within the framework of nuclear lattice EFT, we obtain simulation costs for the leading-order pionless and pionful EFTs. We consider both static pions represented by a one-pion-exchange potential between the nucleons, and dynamical pions represented by relativistic bosonic fields coupled to non-relativistic nucleons. We examine the resource costs for the tasks of time evolution and energy estimation for physically relevant scales. We account for model errors associated with truncating either long-range interactions in the one-pion-exchange EFT or the pionic Hilbert space in the dynamical-pion EFT, and for algorithmic errors associated with product-formula approximations and quantum phase estimation. Our results show that the pionless EFT is the least costly to simulate and the dynamical-pion theory is the costliest. We demonstrate how symmetries of the low-energy nuclear Hamiltonians can be utilized to obtain tighter error bounds on the simulation algorithm. By retaining the locality of nucleonic interactions when mapped to qubits, we achieve reduced circuit depth and substantial parallelization. We further develop new methods to bound the algorithmic error for classes of fermionic Hamiltonians that preserve the number of fermions, and demonstrate that reasonably tight Trotter error bounds can be achieved by explicitly computing nested commutators of Hamiltonian terms. This work highlights the importance of combining physics insights and algorithmic advancement in reducing quantum-simulation costs.

1 aWatson, James, D.1 aBringewatt, Jacob1 aShaw, Alexander, F.1 aChilds, Andrew, M.1 aGorshkov, Alexey, V.1 aDavoudi, Zohreh uhttps://arxiv.org/abs/2312.0534401916nas a2200169 4500008004100000245011700041210006900158260001400227520133400241100002001575700002001595700002101615700002001636700002701656700002601683856003701709 2023 eng d00aQuantum computation of dynamical quantum phase transitions and entanglement tomography in a lattice gauge theory0 aQuantum computation of dynamical quantum phase transitions and e c10/6/20233 a

Strongly-coupled gauge theories far from equilibrium may exhibit unique features that could illuminate the physics of the early universe and of hadron and ion colliders. Studying real-time phenomena has proven challenging with classical-simulation methods, but is a natural application of quantum simulation. To demonstrate this prospect, we quantum compute non-equal time correlation functions and perform entanglement tomography of non-equilibrium states of a simple lattice gauge theory, the Schwinger model, using a trapped-ion quantum computer by IonQ Inc. As an ideal target for near-term devices, a recently-predicted [Zache et al., Phys. Rev. Lett. 122, 050403 (2019)] dynamical quantum phase transition in this model is studied by preparing, quenching, and tracking the subsequent non-equilibrium dynamics in three ways: i) overlap echos signaling dynamical transitions, ii) non-equal time correlation functions with an underlying topological nature, and iii) the entanglement structure of non-equilibrium states, including entanglement Hamiltonians. These results constitute the first observation of a dynamical quantum phase transition in a lattice gauge theory on a quantum computer, and are a first step toward investigating topological phenomena in nuclear and high-energy physics using quantum technologies.

1 aMueller, Niklas1 aCarolan, Joseph1 aConnelly, Andrew1 aDavoudi, Zohreh1 aDumitrescu, Eugene, F.1 aYeter-Aydeniz, Kübra uhttps://arxiv.org/abs/2210.0308901590nas a2200217 4500008004100000245004000041210004000081260001400121520100000135100002101135700001601156700001501172700002201187700002001209700001901229700001901248700002101267700002201288700002501310856003701335 2023 eng d00aQuantum Sensing with Erasure Qubits0 aQuantum Sensing with Erasure Qubits c10/2/20233 a

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

1 aNiroula, Pradeep1 aDolde, Jack1 aZheng, Xin1 aBringewatt, Jacob1 aEhrenberg, Adam1 aCox, Kevin, C.1 aThompson, Jeff1 aGullans, Michael1 aKolkowitz, Shimon1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2310.0151201224nas a2200181 4500008004100000022001400041245005900055210005900114260001300173300001400186490000600200520071300206100002500919700002000944700001800964700002300982856003701005 2023 eng d a2522-582000aQuantum simulation of fundamental particles and forces0 aQuantum simulation of fundamental particles and forces c4/9/2024 a420–4320 v53 a

Simulating key static and dynamic properties of matter -- from creation in the Big Bang to evolution into sub-atomic and astrophysical environments -- arising from the underlying fundamental quantum fields of the Standard Model and their effective descriptions, lies beyond the capabilities of classical computation alone. Advances in quantum technologies have improved control over quantum entanglement and coherence to the point where robust simulations are anticipated to be possible in the foreseeable future. We discuss the emerging area of quantum simulations of Standard-Model physics, challenges that lie ahead, and opportunities for progress in the context of nuclear and high-energy physics.

1 aBauer, Christian, W.1 aDavoudi, Zohreh1 aKlco, Natalie1 aSavage, Martin, J. uhttps://arxiv.org/abs/2404.0629805435nas a2201621 4500008004100000245010800041210006900149260001500218520094500233100001801178700002301196700001601219700002801235700002001263700002001283700001601303700002001319700002101339700002401360700001901384700001901403700002601422700001801448700002301466700002101489700001601510700001701526700002101543700002301564700002101587700001601608700001701624700003101641700003401672700001801706700001801724700002101742700001801763700002401781700001801805700002001823700003501843700002201878700001601900700002001916700001901936700001701955700001901972700002301991700001802014700002402032700002302056700002302079700001802102700001702120700001902137700002602156700002002182700001902202700001902221700002302240700001802263700002202281700001802303700001902321700002802340700002402368700001902392700002002411700002002431700002702451700001202478700001702490700001502507700002102522700001802543700001902561700003202580700002402612700002202636700003102658700001702689700002302706700002402729700002002753700001902773700001902792700001602811700001702827700001802844700001802862700002002880700001902900700002302919700001902942700001702961700002602978700001603004700002003020700001603040700001803056700002803074700002103102700001803123700002403141700001403165700002303179700002003202700002103222700002003243700001803263700001803281700002103299700002103320700002303341700001803364700001803382700001403400700001903414700001603433700001503449700002003464700002103484700002103505700001703526700002803543700002203571700002303593700002603616700001503642700001703657700002303674700002403697700001803721700001703739700002003756856003703776 2023 eng d00aQuantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions0 aQuantumcentric Supercomputing for Materials Science A Perspectiv c12/14/20233 a

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.

1 aAlexeev, Yuri1 aAmsler, Maximilian1 aBaity, Paul1 aBarroca, Marco, Antonio1 aBassini, Sanzio1 aBattelle, Torey1 aCamps, Daan1 aCasanova, David1 aChoi, Young, jai1 aChong, Frederic, T.1 aChung, Charles1 aCodella, Chris1 aCorcoles, Antonio, D.1 aCruise, James1 aDi Meglio, Alberto1 aDubois, Jonathan1 aDuran, Ivan1 aEckl, Thomas1 aEconomou, Sophia1 aEidenbenz, Stephan1 aElmegreen, Bruce1 aFare, Clyde1 aFaro, Ismael1 aFernández, Cristina, Sanz1 aFerreira, Rodrigo, Neumann Ba1 aFuji, Keisuke1 aFuller, Bryce1 aGagliardi, Laura1 aGalli, Giulia1 aGlick, Jennifer, R.1 aGobbi, Isacco1 aGokhale, Pranav1 aGonzalez, Salvador, de la Puen1 aGreiner, Johannes1 aGropp, Bill1 aGrossi, Michele1 aGull, Emmanuel1 aHealy, Burns1 aHuang, Benchen1 aHumble, Travis, S.1 aIto, Nobuyasu1 aIzmaylov, Artur, F.1 aJavadi-Abhari, Ali1 aJennewein, Douglas1 aJha, Shantenu1 aJiang, Liang1 aJones, Barbara1 ade Jong, Wibe, Albert1 aJurcevic, Petar1 aKirby, William1 aKister, Stefan1 aKitagawa, Masahiro1 aKlassen, Joel1 aKlymko, Katherine1 aKoh, Kwangwon1 aKondo, Masaaki1 aKurkcuoglu, Doga, Murat1 aKurowski, Krzysztof1 aLaino, Teodoro1 aLandfield, Ryan1 aLeininger, Matt1 aLeyton-Ortega, Vicente1 aLi, Ang1 aLin, Meifeng1 aLiu, Junyu1 aLorente, Nicolas1 aLuckow, Andre1 aMartiel, Simon1 aMartin-Fernandez, Francisco1 aMartonosi, Margaret1 aMarvinney, Claire1 aMedina, Arcesio, Castaneda1 aMerten, Dirk1 aMezzacapo, Antonio1 aMichielsen, Kristel1 aMitra, Abhishek1 aMittal, Tushar1 aMoon, Kyungsun1 aMoore, Joel1 aMotta, Mario1 aNa, Young-Hye1 aNam, Yunseong1 aNarang, Prineha1 aOhnishi, Yu-ya1 aOttaviani, Daniele1 aOtten, Matthew1 aPakin, Scott1 aPascuzzi, Vincent, R.1 aPenault, Ed1 aPiontek, Tomasz1 aPitera, Jed1 aRall, Patrick1 aRavi, Gokul, Subramania1 aRobertson, Niall1 aRossi, Matteo1 aRydlichowski, Piotr1 aRyu, Hoon1 aSamsonidze, Georgy1 aSato, Mitsuhisa1 aSaurabh, Nishant1 aSharma, Vidushi1 aSharma, Kunal1 aShin, Soyoung1 aSlessman, George1 aSteiner, Mathias1 aSitdikov, Iskandar1 aSuh, In-Saeng1 aSwitzer, Eric1 aTang, Wei1 aThompson, Joel1 aTodo, Synge1 aTran, Minh1 aTrenev, Dimitar1 aTrott, Christian1 aTseng, Huan-Hsin1 aTureci, Esin1 aValinas, David, García1 aVallecorsa, Sofia1 aWever, Christopher1 aWojciechowski, Konrad1 aWu, Xiaodi1 aYoo, Shinjae1 aYoshioka, Nobuyuki1 aYu, Victor, Wen-zhe1 aYunoki, Seiji1 aZhuk, Sergiy1 aZubarev, Dmitry uhttps://arxiv.org/abs/2312.0973301741nas a2200181 4500008004100000245006600041210006300107260001300170520118700183100001801370700002301388700002401411700002101435700002001456700002501476700002101501856003701522 2023 eng d00aA sharp phase transition in linear cross-entropy benchmarking0 asharp phase transition in linear crossentropy benchmarking c5/8/20233 a

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.

1 aWare, Brayden1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aNiroula, Pradeep1 aFefferman, Bill1 aGorshkov, Alexey, V.1 aGullans, Michael uhttps://arxiv.org/abs/2305.0495402177nas a2200181 4500008004100000245007300041210006900114260001400183490000600197520165000203100001501853700001801868700001701886700002001903700001601923700001901939856003701958 2023 eng d00aSymphony: Expressive Secure Multiparty Computation with Coordination0 aSymphony Expressive Secure Multiparty Computation with Coordinat c2/20/20230 v73 a

Context: Secure Multiparty Computation (MPC) refers to a family of cryptographic techniques where mutually untrusting parties may compute functions of their private inputs while revealing only the function output. Inquiry: It can be hard to program MPCs correctly and efficiently using existing languages and frameworks, especially when they require coordinating disparate computational roles. How can we make this easier? Approach: We present Symphony, a new functional programming language for MPCs among two or more parties. Symphony starts from the single-instruction, multiple-data (SIMD) semantics of prior MPC languages, in which each party carries out symmetric responsibilities, and generalizes it using constructs that can coordinate many parties. Symphony introduces **first-class shares** and **first-class party sets** to provide unmatched language-level expressive power with high efficiency. Knowledge: Developing a core formal language called λ-Symphony, we prove that the intuitive, generalized SIMD view of a program coincides with its actual distributed semantics. Thus the programmer can reason about her programs by reading them from top to bottom, even though in reality the program runs in a coordinated fashion, distributed across many machines. We implemented a prototype interpreter for Symphony leveraging multiple cryptographic backends. With it we wrote a variety of MPC programs, finding that Symphony can express optimized protocols that other languages cannot, and that in general Symphony programs operate efficiently. [ full abstract at https://doi.org/10.22152/programming-journal.org/2023/7/14 ] 

1 aSweet, Ian1 aDarais, David1 aHeath, David1 aHarris, William1 aEstes, Ryan1 aHicks, Michael uhttps://arxiv.org/abs/2302.1007601909nas a2200157 4500008004100000245006300041210006300104260001500167520141800182100002001600700002201620700002301642700002401665700002501689856003701714 2023 eng d00aTransition of Anticoncentration in Gaussian Boson Sampling0 aTransition of Anticoncentration in Gaussian Boson Sampling c12/13/20233 a

Gaussian Boson Sampling is a promising method for experimental demonstrations of quantum advantage because it is easier to implement than other comparable schemes. While most of the properties of Gaussian Boson Sampling are understood to the same degree as for these other schemes, we understand relatively little about the statistical properties of its output distribution. The most relevant statistical property, from the perspective of demonstrating quantum advantage, is the anticoncentration of the output distribution as measured by its second moment. The degree of anticoncentration features in arguments for the complexity-theoretic hardness of Gaussian Boson Sampling, and it is also important to know when using cross-entropy benchmarking to verify experimental performance. In this work, we develop a graph-theoretic framework for analyzing the moments of the Gaussian Boson Sampling distribution. Using this framework, we show that Gaussian Boson Sampling undergoes a transition in anticoncentration as a function of the number of modes that are initially squeezed compared to the number of photons measured at the end of the circuit. When the number of initially squeezed modes scales sufficiently slowly with the number of photons, there is a lack of anticoncentration. However, if the number of initially squeezed modes scales quickly enough, the output probabilities anticoncentrate weakly.

1 aEhrenberg, Adam1 aIosue, Joseph, T.1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2312.0843302622nas a2200253 4500008004100000020002200041022001400063245012000077210006900197260001300266300001400279490000800293520178700301653003702088653004302125653002702168653003102195100002102226700002502247700001902272700001902291700002102310856003702331 2022 eng d a978-3-95977-237-2 a1868-896900aApproximating Output Probabilities of Shallow Quantum Circuits which are Geometrically-local in any Fixed Dimension0 aApproximating Output Probabilities of Shallow Quantum Circuits w c4/7/2022 a9:1--9:170 v2323 a

We present a classical algorithm that, for any D-dimensional geometrically-local, quantum circuit C of polylogarithmic-depth, and any bit string x∈0,1n, can compute the quantity |<x|C|0⊗n>|2 to within any inverse-polynomial additive error in quasi-polynomial time, for any fixed dimension D. This is an extension of the result [CC21], which originally proved this result for D=3. To see why this is interesting, note that, while the D=1 case of this result follows from standard use of Matrix Product States, known for decades, the D=2 case required novel and interesting techniques introduced in [BGM19]. Extending to the case D=3 was even more laborious and required further new techniques introduced in [CC21]. Our work here shows that, while handling each new dimension has historically required a new insight, and fixed algorithmic primitive, based on known techniques for D≤3, we can now handle any fixed dimension D>3.
Our algorithm uses the Divide-and-Conquer framework of [CC21] to approximate the desired quantity via several instantiations of the same problem type, each involving D-dimensional circuits on about half the number of qubits as the original. This division step is then applied recursively, until the width of the recursively decomposed circuits in the Dth dimension is so small that they can effectively be regarded as (D−1)-dimensional problems by absorbing the small width in the Dth dimension into the qudit structure at the cost of a moderate increase in runtime. The main technical challenge lies in ensuring that the more involved portions of the recursive circuit decomposition and error analysis from [CC21] still hold in higher dimensions, which requires small modifications to the analysis in some places.

10aComputational Complexity (cs.CC)10aFOS: Computer and information sciences10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aDontha, Suchetan1 aTan, Shi, Jie Samuel1 aSmith, Stephen1 aChoi, Sangheon1 aCoudron, Matthew uhttps://arxiv.org/abs/2202.0834902302nas a2200277 4500008004100000245004100041210004000082260001300122520150700135653003401642653003801676653001601714653004301730653001301773100002101786700001701807700001901824700002001843700002301863700001901886700002501905700002001930700001701950700002001967856003701987 2022 eng d00aCoVault: A Secure Analytics Platform0 aCoVault A Secure Analytics Platform c8/7/20223 a

In a secure analytics platform, data sources consent to the exclusive use of their data for a pre-defined set of analytics queries performed by a specific group of analysts, and for a limited period. If the platform is secure under a sufficiently strong threat model, it can provide the missing link to enabling powerful analytics of sensitive personal data, by alleviating data subjects' concerns about leakage and misuse of data. For instance, many types of powerful analytics that benefit public health, mobility, infrastructure, finance, or sustainable energy can be made differentially private, thus alleviating concerns about privacy. However, no platform currently exists that is sufficiently secure to alleviate concerns about data leakage and misuse; as a result, many types of analytics that would be in the interest of data subjects and the public are not done. CoVault uses a new multi-party implementation of functional encryption (FE) for secure analytics, which relies on a unique combination of secret sharing, multi-party secure computation (MPC), and different trusted execution environments (TEEs). CoVault is secure under a very strong threat model that tolerates compromise and side-channel attacks on any one of a small set of parties and their TEEs. Despite the cost of MPC, we show that CoVault scales to very large data sizes using map-reduce based query parallelization. For example, we show that CoVault can perform queries relevant to epidemic analytics at scale.

10aand Cluster Computing (cs.DC)10aCryptography and Security (cs.CR)10aDistributed10aFOS: Computer and information sciences10aParallel1 aDe Viti, Roberta1 aSheff, Isaac1 aGlaeser, Noemi1 aDinis, Baltasar1 aRodrigues, Rodrigo1 aKatz, Jonathan1 aBhattacharjee, Bobby1 aHithnawi, Anwar1 aGarg, Deepak1 aDruschel, Peter uhttps://arxiv.org/abs/2208.0378402428nas a2200217 4500008004100000245010600041210006900147260001400216520171900230653004301949653002701992653002902019653003102048100001702079700001502096700001302111700001702124700001602141700001602157856003702173 2022 eng d00aEfficient and practical quantum compiler towards multi-qubit systems with deep reinforcement learning0 aEfficient and practical quantum compiler towards multiqubit syst c4/14/20223 a

Efficient quantum compiling tactics greatly enhance the capability of quantum computers to execute complicated quantum algorithms. Due to its fundamental importance, a plethora of quantum compilers has been designed in past years. However, there are several caveats to current protocols, which are low optimality, high inference time, limited scalability, and lack of universality. To compensate for these defects, here we devise an efficient and practical quantum compiler assisted by advanced deep reinforcement learning (RL) techniques, i.e., data generation, deep Q-learning, and AQ* search. In this way, our protocol is compatible with various quantum machines and can be used to compile multi-qubit operators. We systematically evaluate the performance of our proposal in compiling quantum operators with both inverse-closed and inverse-free universal basis sets. In the task of single-qubit operator compiling, our proposal outperforms other RL-based quantum compilers in the measure of compiling sequence length and inference time. Meanwhile, the output solution is near-optimal, guaranteed by the Solovay-Kitaev theorem. Notably, for the inverse-free universal basis set, the achieved sequence length complexity is comparable with the inverse-based setting and dramatically advances previous methods. These empirical results contribute to improving the inverse-free Solovay-Kitaev theorem. In addition, for the first time, we demonstrate how to leverage RL-based quantum compilers to accomplish two-qubit operator compiling. The achieved results open an avenue for integrating RL with quantum compiling to unify efficiency and practicality and thus facilitate the exploration of quantum advantages.

10aFOS: Computer and information sciences10aFOS: Physical sciences10aMachine Learning (cs.LG)10aQuantum Physics (quant-ph)1 aChen, Qiuhao1 aDu, Yuxuan1 aZhao, Qi1 aJiao, Yuling1 aLu, Xiliang1 aWu, Xingyao uhttps://arxiv.org/abs/2204.0690401951nas a2200217 4500008004100000245008300041210006900124260001500193490000600208520129200214100002001506700002301526700001701549700002201566700002401588700002301612700001301635700002301648700002501671856003701696 2022 eng d00aImplementing a Fast Unbounded Quantum Fanout Gate Using Power-Law Interactions0 aImplementing a Fast Unbounded Quantum Fanout Gate Using PowerLaw c10/27/20220 v43 a

The standard circuit model for quantum computation presumes the ability to directly perform gates between arbitrary pairs of qubits, which is unlikely to be practical for large-scale experiments. Power-law interactions with strength decaying as 1/rα in the distance r provide an experimentally realizable resource for information processing, whilst still retaining long-range connectivity. We leverage the power of these interactions to implement a fast quantum fanout gate with an arbitrary number of targets. Our implementation allows the quantum Fourier transform (QFT) and Shor's algorithm to be performed on a D-dimensional lattice in time logarithmic in the number of qubits for interactions with α≤D. As a corollary, we show that power-law systems with α≤D are difficult to simulate classically even for short times, under a standard assumption that factoring is classically intractable. Complementarily, we develop a new technique to give a general lower bound, linear in the size of the system, on the time required to implement the QFT and the fanout gate in systems that are constrained by a linear light cone. This allows us to prove an asymptotically tighter lower bound for long-range systems than is possible with previously available techniques. 

1 aGuo, Andrew, Y.1 aDeshpande, Abhinav1 aChu, Su-Kuan1 aEldredge, Zachary1 aBienias, Przemyslaw1 aDevulapalli, Dhruv1 aSu, Yuan1 aChilds, Andrew, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2007.0066202357nas a2200145 4500008004100000245007100041210006900112260001400181490000600195520190500201100002302106700002502129700002002154856003702174 2022 eng d00aImportance of the Spectral gap in Estimating Ground-State Energies0 aImportance of the Spectral gap in Estimating GroundState Energie c12/9/20220 v33 a

The field of quantum Hamiltonian complexity lies at the intersection of quantum many-body physics and computational complexity theory, with deep implications to both fields. The main object of study is the LocalHamiltonian problem, which is concerned with estimating the ground-state energy of a local Hamiltonian and is complete for the class QMA, a quantum generalization of the class NP. A major challenge in the field is to understand the complexity of the LocalHamiltonian problem in more physically natural parameter regimes. One crucial parameter in understanding the ground space of any Hamiltonian in many-body physics is the spectral gap, which is the difference between the smallest two eigenvalues. Despite its importance in quantum many-body physics, the role played by the spectral gap in the complexity of the LocalHamiltonian is less well-understood. In this work, we make progress on this question by considering the precise regime, in which one estimates the ground-state energy to within inverse exponential precision. Computing ground-state energies precisely is a task that is important for quantum chemistry and quantum many-body physics.
In the setting of inverse-exponential precision, there is a surprising result that the complexity of LocalHamiltonian is magnified from QMA to PSPACE, the class of problems solvable in polynomial space. We clarify the reason behind this boost in complexity. Specifically, we show that the full complexity of the high precision case only comes about when the spectral gap is exponentially small. As a consequence of the proof techniques developed to show our results, we uncover important implications for the representability and circuit complexity of ground states of local Hamiltonians, the theory of uniqueness of quantum witnesses, and techniques for the amplification of quantum witnesses in the presence of postselection.

1 aDeshpande, Abhinav1 aGorshkov, Alexey, V.1 aFefferman, Bill uhttps://arxiv.org/abs/2007.1158201571nas a2200205 4500008004100000245006800041210006700109260001400176520091100190653002701101653003101128100002801159700001801187700003201205700002301237700002201260700002501282700002101307856003701328 2022 eng d00aMonitoring-induced Entanglement Entropy and Sampling Complexity0 aMonitoringinduced Entanglement Entropy and Sampling Complexity c1/29/20223 a

The dynamics of open quantum systems is generally described by a master equation, which describes the loss of information into the environment. By using a simple model of uncoupled emitters, we illustrate how the recovery of this information depends on the monitoring scheme applied to register the decay clicks. The dissipative dynamics, in this case, is described by pure-state stochastic trajectories and we examine different unravelings of the same master equation. More precisely, we demonstrate how registering the sequence of clicks from spontaneously emitted photons through a linear optical interferometer induces entanglement in the trajectory states. Since this model consists of an array of single-photon emitters, we show a direct equivalence with Fock-state boson sampling and link the hardness of sampling the outcomes of the quantum jumps with the scaling of trajectory entanglement.

10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aVan Regemortel, Mathias1 aShtanko, Oles1 aGarcía-Pintos, Luis, Pedro1 aDeshpande, Abhinav1 aDehghani, Hossein1 aGorshkov, Alexey, V.1 aHafezi, Mohammad uhttps://arxiv.org/abs/2201.1267201895nas a2200169 4500008004100000245007600041210006900117260001400186520129700200653002701497653005601524653004401580100002101624700002201645700002101667856003701688 2022 eng d00aOptical conductivity and orbital magnetization of Floquet vortex states0 aOptical conductivity and orbital magnetization of Floquet vortex c4/20/20223 a

Motivated by recent experimental demonstrations of Floquet topological insulators, there have been several theoretical proposals for using structured light, either spatial or spectral, to create other properties such as flat band and vortex states. In particular, the generation of vortex states in a massive Dirac fermion insulator irradiated by light carrying nonzero orbital angular momentum (OAM) has been proposed [Kim et al. Phys. Rev. B 105, L081301(2022)]. Here, we evaluate the orbital magnetization and optical conductivity as physical observables for such a system. We show that the OAM of light induces nonzero orbital magnetization and current density. The orbital magnetization density increases linearly as a function of OAM degree. In certain regimes, we find that orbital magnetization density is independent of the system size, width, and Rabi frequency of light. It is shown that the orbital magnetization arising from our Floquet theory is large and can be probed by magnetometry measurements. Furthermore, we study the optical conductivity for various types of electron transitions between different states such as vortex, edge, and bulk that are present in the system. Based on conductance frequency peaks, a scheme for the detection of vortex states is proposed.

10aFOS: Physical sciences10aMesoscale and Nanoscale Physics (cond-mat.mes-hall)10aOther Condensed Matter (cond-mat.other)1 aAhmadabadi, Iman1 aDehghani, Hossein1 aHafezi, Mohammad uhttps://arxiv.org/abs/2204.0948801827nas a2200181 4500008004100000245005500041210005500096260001400151490000600165520130500171100002301476700001601499700001501515700002001530700003001550700002801580856003701608 2022 eng d00aPauli Stabilizer Models of Twisted Quantum Doubles0 aPauli Stabilizer Models of Twisted Quantum Doubles c3/30/20220 v33 a

We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary. Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter. The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a Z4 toric code, where the condensation is implemented by making certain two-body measurements. We rigorously verify the topological order of the DS stabilizer model by identifying an explicit finite-depth quantum circuit (with ancillary qubits) that maps its ground state subspace to that of a DS string-net model. We show that the construction of the DS stabilizer Hamiltonian generalizes to all twisted quantum doubles (TQDs) with Abelian anyons. This yields a Pauli stabilizer code on composite-dimensional qudits for each such TQD, implying that the classification of topological Pauli stabilizer codes extends well beyond stacks of toric codes - in fact, exhausting all Abelian anyon theories that admit a gapped boundary. We also demonstrate that symmetry-protected topological phases of matter characterized by type I and type II cocycles can be modeled by Pauli stabilizer Hamiltonians by gauging certain 1-form symmetries of the TQD stabilizer models.

1 aEllison, Tyler, D.1 aChen, Yu-An1 aDua, Arpit1 aShirley, Wilbur1 aTantivasadakarn, Nathanan1 aWilliamson, Dominic, J. uhttps://arxiv.org/abs/2112.1139402246nas a2200205 4500008004100000245006600041210006600107260001400173520157400187653002701761653003101788653005201819100002301871700001601894700001501910700002001925700003001945700002801975856003702003 2022 eng d00aPauli topological subsystem codes from Abelian anyon theories0 aPauli topological subsystem codes from Abelian anyon theories c11/7/20223 a

We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories--this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits and establishes that the classification is at least as rich as that of Abelian anyon theories. We exemplify the construction with topological subsystem codes defined on four-dimensional qudits based on the Z(1)4 anyon theory with degenerate braiding relations and the chiral semion theory--both of which cannot be captured by topological stabilizer codes. The construction proceeds by "gauging out" certain anyon types of a topological stabilizer code. This amounts to defining a gauge group generated by the stabilizer group of the topological stabilizer code and a set of anyonic string operators for the anyon types that are gauged out. The resulting topological subsystem code is characterized by an anyon theory containing a proper subset of the anyons of the topological stabilizer code. We thereby show that every Abelian anyon theory is a subtheory of a stack of toric codes and a certain family of twisted quantum doubles that generalize the double semion anyon theory. We further prove a number of general statements about the logical operators of translation invariant topological subsystem codes and define their associated anyon theories in terms of higher-form symmetries.

10aFOS: Physical sciences10aQuantum Physics (quant-ph)10aStrongly Correlated Electrons (cond-mat.str-el)1 aEllison, Tyler, D.1 aChen, Yu-An1 aDua, Arpit1 aShirley, Wilbur1 aTantivasadakarn, Nathanan1 aWilliamson, Dominic, J. uhttps://arxiv.org/abs/2211.0379802013nas a2200277 4500008004100000245008100041210006900122260001300191300001300204490000600217520120300223100002301426700001801449700002001467700002101487700002001508700002001528700001701548700002101565700001401586700001701600700002401617700002001641700001501661856005901676 2022 eng d00aQuantum computational advantage via high-dimensional Gaussian boson sampling0 aQuantum computational advantage via highdimensional Gaussian bos c1/5/2022 aeabi78940 v83 a

A programmable quantum computer based on fiber optics outperforms classical computers with a high level of confidence. Photonics is a promising platform for demonstrating a quantum computational advantage (QCA) by outperforming the most powerful classical supercomputers on a well-defined computational task. Despite this promise, existing proposals and demonstrations face challenges. Experimentally, current implementations of Gaussian boson sampling (GBS) lack programmability or have prohibitive loss rates. Theoretically, there is a comparative lack of rigorous evidence for the classical hardness of GBS. In this work, we make progress in improving both the theoretical evidence and experimental prospects. We provide evidence for the hardness of GBS, comparable to the strongest theoretical proposals for QCA. We also propose a QCA architecture we call high-dimensional GBS, which is programmable and can be implemented with low loss using few optical components. We show that particular algorithms for simulating GBS are outperformed by high-dimensional GBS experiments at modest system sizes. This work thus opens the path to demonstrating QCA with programmable photonic processors.

1 aDeshpande, Abhinav1 aMehta, Arthur1 aVincent, Trevor1 aQuesada, Nicolas1 aHinsche, Marcel1 aIoannou, Marios1 aMadsen, Lars1 aLavoie, Jonathan1 aQi, Haoyu1 aEisert, Jens1 aHangleiter, Dominik1 aFefferman, Bill1 aDhand, Ish uhttps://www.science.org/doi/abs/10.1126/sciadv.abi789401358nas a2200181 4500008004100000245003900041210003900080260001300119520083800132653002700970653003100997100002301028700001901051700002101070700002301091700002501114856003701139 2022 eng d00aQuantum Routing with Teleportation0 aQuantum Routing with Teleportation c4/8/20223 a

We study the problem of implementing arbitrary permutations of qubits under interaction constraints in quantum systems that allow for arbitrarily fast local operations and classical communication (LOCC). In particular, we show examples of speedups over swap-based and more general unitary routing methods by distributing entanglement and using LOCC to perform quantum teleportation. We further describe an example of an interaction graph for which teleportation gives a logarithmic speedup in the worst-case routing time over swap-based routing. We also study limits on the speedup afforded by quantum teleportation - showing an O(NlogN−−−−−−−√) upper bound on the separation in routing time for any interaction graph - and give tighter bounds for some common classes of graphs.

10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aDevulapalli, Dhruv1 aSchoute, Eddie1 aBapat, Aniruddha1 aChilds, Andrew, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2204.0418502845nas a2200541 4500008004100000245004700041210004700088260001300135520125300148653002701401653004401428653004901472653004201521653002901563653003101592100002501623700002001648700002101668700002501689700002001714700002201734700002001756700002001776700001801796700002101814700002101835700001601856700001801872700001501890700001901905700002101924700002401945700002201969700001801991700001902009700002002028700002402048700002402072700002302096700001902119700002002138700002202158700001802180700002102198700002602219700002102245856003702266 2022 eng d00aQuantum Simulation for High Energy Physics0 aQuantum Simulation for High Energy Physics c4/7/20223 a

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.

10aFOS: Physical sciences10aHigh Energy Physics - Lattice (hep-lat)10aHigh Energy Physics - Phenomenology (hep-ph)10aHigh Energy Physics - Theory (hep-th)10aNuclear Theory (nucl-th)10aQuantum Physics (quant-ph)1 aBauer, Christian, W.1 aDavoudi, Zohreh1 aBalantekin, Baha1 aBhattacharya, Tanmoy1 aCarena, Marcela1 ade Jong, Wibe, A.1 aDraper, Patrick1 aEl-Khadra, Aida1 aGemelke, Nate1 aHanada, Masanori1 aKharzeev, Dmitri1 aLamm, Henry1 aLi, Ying-Ying1 aLiu, Junyu1 aLukin, Mikhail1 aMeurice, Yannick1 aMonroe, Christopher1 aNachman, Benjamin1 aPagano, Guido1 aPreskill, John1 aRinaldi, Enrico1 aRoggero, Alessandro1 aSantiago, David, I.1 aSavage, Martin, J.1 aSiddiqi, Irfan1 aSiopsis, George1 aVan Zanten, David1 aWiebe, Nathan1 aYamauchi, Yukari1 aYeter-Aydeniz, Kübra1 aZorzetti, Silvia uhttps://arxiv.org/abs/2204.0338101649nas a2200193 4500008004100000245007500041210006900116260001300185490000600198520110000204100001401304700001301318700001701331700001301348700002101361700001801382700001801400856003701418 2022 eng d00aA scheme to create and verify scalable entanglement in optical lattice0 ascheme to create and verify scalable entanglement in optical lat c9/4/20220 v83 a

To achieve scalable quantum information processing, great efforts have been devoted to the creation of large-scale entangled states in various physical systems. Ultracold atom in optical lattice is considered as one of the promising platforms due to its feasible initialization and parallel manipulation. In this work, we propose an efficient scheme to generate and characterize global entanglement in the optical lattice. With only two-layer quantum circuits, the generation utilizes two-qubit entangling gates based on the superexchange interaction in double wells. The parallelism of these operations enables the generation to be fast and scalable. To verify the entanglement of this non-stabilizer state, we mainly design three complementary detection protocols which are less resource-consuming compared to the full tomography. In particular, one just needs two homogenous local measurement settings to identify the entanglement property. Our entanglement generation and verification protocols provide the foundation for the further quantum information processing in optical lattice.

1 aZhou, You1 aXiao, Bo1 aDa Li, Meng-1 aZhao, Qi1 aYuan, Zhen-Sheng1 aMa, Xiongfeng1 aPan, Jian-Wei uhttps://arxiv.org/abs/2209.0153101867nas a2200205 4500008004100000245006500041210006500106260001500171520119000186653003701376653004301413653002701456653003101483100001801514700002301532700002401555700002501579700002001604856003701624 2022 eng d00aSharp complexity phase transitions generated by entanglement0 aSharp complexity phase transitions generated by entanglement c12/20/20223 a

Entanglement is one of the physical properties of quantum systems responsible for the computational hardness of simulating quantum systems. But while the runtime of specific algorithms, notably tensor network algorithms, explicitly depends on the amount of entanglement in the system, it is unknown whether this connection runs deeper and entanglement can also cause inherent, algorithm-independent complexity. In this work, we quantitatively connect the entanglement present in certain quantum systems to the computational complexity of simulating those systems. Moreover, we completely characterize the entanglement and complexity as a function of a system parameter. Specifically, we consider the task of simulating single-qubit measurements of k--regular graph states on n qubits. We show that, as the regularity parameter is increased from 1 to n−1, there is a sharp transition from an easy regime with low entanglement to a hard regime with high entanglement at k=3, and a transition back to easy and low entanglement at k=n−3. As a key technical result, we prove a duality for the simulation complexity of regular graph states between low and high regularity.

10aComputational Complexity (cs.CC)10aFOS: Computer and information sciences10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aGhosh, Soumik1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aGorshkov, Alexey, V.1 aFefferman, Bill uhttps://arxiv.org/abs/2212.1058201610nas a2200157 4500008004100000245005700041210005600098260001400154520112700168100002001295700002301315700002901338700002301367700002501390856003701415 2022 eng d00aSimulation Complexity of Many-Body Localized Systems0 aSimulation Complexity of ManyBody Localized Systems c5/25/20223 a

We use complexity theory to rigorously investigate the difficulty of classically simulating evolution under many-body localized (MBL) Hamiltonians. Using the defining feature that MBL systems have a complete set of quasilocal integrals of motion (LIOMs), we demonstrate a transition in the classical complexity of simulating such systems as a function of evolution time. On one side, we construct a quasipolynomial-time tensor-network-inspired algorithm for strong simulation of 1D MBL systems (i.e., calculating the expectation value of arbitrary products of local observables) evolved for any time polynomial in the system size. On the other side, we prove that even weak simulation, i.e. sampling, becomes formally hard after an exponentially long evolution time, assuming widely believed conjectures in complexity theory. Finally, using the consequences of our classical simulation results, we also show that the quantum circuit complexity for MBL systems is sublinear in evolution time. This result is a counterpart to a recent proof that the complexity of random quantum circuits grows linearly in time. 

1 aEhrenberg, Adam1 aDeshpande, Abhinav1 aBaldwin, Christopher, L.1 aAbanin, Dmitry, A.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2205.1296702149nas a2200457 4500008004100000245005300041210005200094260001400146520077300160653005700933653002700990653004601017653004901063100003401112700002201146700002101168700001901189700001901208700002201227700001901249700002201268700002501290700001901315700001701334700001901351700002101370700002101391700001801412700001401430700002701444700002201471700002201493700001601515700002001531700001701551700002501568700002201593700001401615700002501629856003701654 2022 eng d00aSnowmass 2021 White Paper: The Windchime Project0 aSnowmass 2021 White Paper The Windchime Project c3/14/20223 a

The absence of clear signals from particle dark matter in direct detection experiments motivates new approaches in disparate regions of viable parameter space. In this Snowmass white paper, we outline the Windchime project, a program to build a large array of quantum-enhanced mechanical sensors. The ultimate aim is to build a detector capable of searching for Planck mass-scale dark matter purely through its gravitational coupling to ordinary matter. In the shorter term, we aim to search for a number of other physics targets, especially some ultralight dark matter candidates. Here, we discuss the basic design, open R&D challenges and opportunities, current experimental efforts, and both short- and long-term physics targets of the Windchime project.

10aCosmology and Nongalactic Astrophysics (astro-ph.CO)10aFOS: Physical sciences10aHigh Energy Physics - Experiment (hep-ex)10aHigh Energy Physics - Phenomenology (hep-ph)1 aCollaboration, The, Windchime1 aAttanasio, Alaina1 aBhave, Sunil, A.1 aBlanco, Carlos1 aCarney, Daniel1 aDemarteau, Marcel1 aElshimy, Bahaa1 aFebbraro, Michael1 aFeldman, Matthew, A.1 aGhosh, Sohitri1 aHickin, Abby1 aHong, Seongjin1 aLang, Rafael, F.1 aLawrie, Benjamin1 aLi, Shengchao1 aLiu, Zhen1 aMaldonado, Juan, P. A.1 aMarvinney, Claire1 aOo, Hein, Zay Yar1 aPai, Yun-Yi1 aPooser, Raphael1 aQin, Juehang1 aSparmann, Tobias, J.1 aTaylor, Jacob, M.1 aTian, Hao1 aTunnell, Christopher uhttps://arxiv.org/abs/2203.0724202778nas a2200241 4500008004100000245009900041210006900140260001100209520197600220100001902196700001702215700001802232700001602250700001602266700001702282700002202299700001702321700001802338700001802356700001702374700002102391856012402412 2022 eng d00aStatus Report on the Third Round of the NIST Post-Quantum Cryptography Standardization Process0 aStatus Report on the Third Round of the NIST PostQuantum Cryptog c7/20223 a

The National Institute of Standards and Technology is in the process of selecting publickey cryptographic algorithms through a public, competition-like process. The new publickey cryptography standards will specify additional digital signature, public-key encryption, and key-establishment algorithms to augment Federal Information Processing Standard (FIPS) 186-4, Digital Signature Standard (DSS), as well as NIST Special Publication (SP) 800-56A Revision 3, Recommendation for Pair-Wise Key-Establishment Schemes Using Discrete Logarithm Cryptography, and SP 800-56B Revision 2, Recommendation for Pair-Wise Key Establishment Using Integer Factorization Cryptography. It is intended that these algorithms will be capable of protecting sensitive information well into the foreseeable future, including after the advent of quantum computers.

This report describes the evaluation and selection process of the NIST Post-Quantum Cryptography Standardization process third-round candidates based on public feedback and internal review. The report summarizes each of the 15 third-round candidate algorithms and identifies those selected for standardization, as well as those that will continue to be evaluated in a fourth round of analysis. The public-key encryption and key-establishment algorithm that will be standardized is CRYSTALS–KYBER. The digital signatures that will be standardized are CRYSTALS–Dilithium, FALCON, and SPHINCS+. While there are multiple signature algorithms selected, NIST recommends CRYSTALS–Dilithium as the primary algorithm to be implemented. In addition, four of the alternate key-establishment candidate algorithms will advance to a fourth round of evaluation: BIKE, Classic McEliece, HQC, and SIKE. These candidates are still being considered for future standardization. NIST will also issue a new Call for Proposals for public-key digital signature algorithms to augment and diversify its signature portfolio.

1 aAlagic, Gorjan1 aApon, Daniel1 aCooper, David1 aDang, Quynh1 aDang, Thinh1 aKelsey, John1 aLichtinger, Jacob1 aMiller, Carl1 aMoody, Dustin1 aPeralta, Rene1 aPerlner, Ray1 aRobinson, Angela uhttps://www.quics.umd.edu/publications/status-report-third-round-nist-post-quantum-cryptography-standardization-process02392nas a2200181 4500008004100000245006700041210006600108260001400174520183100188653002702019653003102046100001602077700001802093700002702111700002002138700001502158856003702173 2022 eng d00aTailoring three-dimensional topological codes for biased noise0 aTailoring threedimensional topological codes for biased noise c11/3/20223 a

Tailored topological stabilizer codes in two dimensions have been shown to exhibit high storage threshold error rates and improved subthreshold performance under biased Pauli noise. Three-dimensional (3D) topological codes can allow for several advantages including a transversal implementation of non-Clifford logical gates, single-shot decoding strategies, parallelized decoding in the case of fracton codes as well as construction of fractal lattice codes. Motivated by this, we tailor 3D topological codes for enhanced storage performance under biased Pauli noise. We present Clifford deformations of various 3D topological codes, such that they exhibit a threshold error rate of 50% under infinitely biased Pauli noise. Our examples include the 3D surface code on the cubic lattice, the 3D surface code on a checkerboard lattice that lends itself to a subsystem code with a single-shot decoder, the 3D color code, as well as fracton models such as the X-cube model, the Sierpinski model and the Haah code. We use the belief propagation with ordered statistics decoder (BP-OSD) to study threshold error rates at finite bias. We also present a rotated layout for the 3D surface code, which uses roughly half the number of physical qubits for the same code distance under appropriate boundary conditions. Imposing coprime periodic dimensions on this rotated layout leads to logical operators of weight O(n) at infinite bias and a corresponding exp[−O(n)] subthreshold scaling of the logical failure rate, where n is the number of physical qubits in the code. Even though this scaling is unstable due to the existence of logical representations with O(1) low-rate Pauli errors, the number of such representations scales only polynomially for the Clifford-deformed code, leading to an enhanced effective distance.

10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aHuang, Eric1 aPesah, Arthur1 aChubb, Christopher, T.1 aVasmer, Michael1 aDua, Arpit uhttps://arxiv.org/abs/2211.0211601959nas a2200217 4500008004100000245010400041210006900145260001400214520119900228653002701427653003501454653003101489653005201520100002001572700001601592700001501608700002301623700003001646700002801676856003701704 2022 eng d00aThree-dimensional quantum cellular automata from chiral semion surface topological order and beyond0 aThreedimensional quantum cellular automata from chiral semion su c2/10/20223 a

We construct a novel three-dimensional quantum cellular automaton (QCA) based on a system with short-range entangled bulk and chiral semion boundary topological order. We argue that either the QCA is nontrivial, i.e. not a finite-depth circuit of local quantum gates, or there exists a two-dimensional commuting projector Hamiltonian realizing the chiral semion topological order (characterized by U(1)2 Chern-Simons theory). Our QCA is obtained by first constructing the Walker-Wang Hamiltonian of a certain premodular tensor category of order four, then condensing the deconfined bulk boson at the level of lattice operators. We show that the resulting Hamiltonian hosts chiral semion surface topological order in the presence of a boundary and can be realized as a non-Pauli stabilizer code on qubits, from which the QCA is defined. The construction is then generalized to a class of QCAs defined by non-Pauli stabilizer codes on 2n-dimensional qudits that feature surface anyons described by U(1)2n Chern-Simons theory. Our results support the conjecture that the group of nontrivial three-dimensional QCAs is isomorphic to the Witt group of non-degenerate braided fusion categories.

10aFOS: Physical sciences10aMathematical Physics (math-ph)10aQuantum Physics (quant-ph)10aStrongly Correlated Electrons (cond-mat.str-el)1 aShirley, Wilbur1 aChen, Yu-An1 aDua, Arpit1 aEllison, Tyler, D.1 aTantivasadakarn, Nathanan1 aWilliamson, Dominic, J. uhttps://arxiv.org/abs/2202.0544201434nas a2200169 4500008004100000022001400041245009100055210006900146260001400215490000600229520089000235100001801125700002301143700002301166700002501189856005001214 2021 eng d a2691-339900aComplexity of Fermionic Dissipative Interactions and Applications to Quantum Computing0 aComplexity of Fermionic Dissipative Interactions and Application c9/17/20210 v23 a

Interactions between particles are usually a resource for quantum computing, making quantum many-body systems intractable by any known classical algorithm. In contrast, noise is typically considered as being inimical to quantum many-body correlations, ultimately leading the system to a classically tractable state. This work shows that noise represented by two-body processes, such as pair loss, plays the same role as many-body interactions and makes otherwise classically simulable systems universal for quantum computing. We analyze such processes in detail and establish a complexity transition between simulable and nonsimulable systems as a function of a tuning parameter. We determine important classes of simulable and nonsimulable two-body dissipation. Finally, we show how using resonant dissipation in cold atoms can enhance the performance of two-qubit gates. 

1 aShtanko, Oles1 aDeshpande, Abhinav1 aJulienne, Paul, S.1 aGorshkov, Alexey, V. uhttp://dx.doi.org/10.1103/PRXQuantum.2.03035000815nas a2200157 4500008004100000245004700041210004400088260001300132300001100145490000800156520033100164100003200495700002000527700002200547856008800569 2021 eng d00aGarcía-Pintos, Hamma, and del Campo Reply0 aGarcíaPintos Hamma and del Campo Reply c7/9/2021 a0289020 v1273 a

We acknowledge that a derivation reported in Phys. Rev. Lett. 125, 040601 (2020) is incorrect as pointed out by Cusumano and Rudnicki. We respond by giving a correct proof of the claim “fluctuations in the free energy operator upper bound the charging power of a quantum battery” that we made in the Letter.

1 aGarcía-Pintos, Luis, Pedro1 aHamma, Alioscia1 adel Campo, Adolfo uhttps://www.quics.umd.edu/publications/garc%C3%ADa-pintos-hamma-and-del-campo-reply01186nas a2200157 4500008004100000022001400041245007000055210006900125260001500194300000900209490000700218520070300225100003200928700002200960856004600982 2021 eng d a1099-430000aLimits to Perception by Quantum Monitoring with Finite Efficiency0 aLimits to Perception by Quantum Monitoring with Finite Efficienc c11/17/2021 a15270 v233 a

We formulate limits to perception under continuous quantum measurements by comparing the quantum states assigned by agents that have partial access to measurement outcomes. To this end, we provide bounds on the trace distance and the relative entropy between the assigned state and the actual state of the system. These bounds are expressed solely in terms of the purity and von Neumann entropy of the state assigned by the agent, and are shown to characterize how an agent’s perception of the system is altered by access to additional information. We apply our results to Gaussian states and to the dynamics of a system embedded in an environment illustrated on a quantum Ising chain.

1 aGarcía-Pintos, Luis, Pedro1 adel Campo, Adolfo uhttps://www.mdpi.com/1099-4300/23/11/152702003nas a2200253 4500008004100000245008100041210006900122260001400191520125700205100002301462700001801485700002001503700002101523700002001544700002001564700001701584700002101601700001401622700001701636700002401653700002001677700001501697856003701712 2021 eng d00aQuantum Computational Supremacy via High-Dimensional Gaussian Boson Sampling0 aQuantum Computational Supremacy via HighDimensional Gaussian Bos c2/24/20213 a

Photonics is a promising platform for demonstrating quantum computational supremacy (QCS) by convincingly outperforming the most powerful classical supercomputers on a well-defined computational task. Despite this promise, existing photonics proposals and demonstrations face significant hurdles. Experimentally, current implementations of Gaussian boson sampling lack programmability or have prohibitive loss rates. Theoretically, there is a comparative lack of rigorous evidence for the classical hardness of GBS. In this work, we make significant progress in improving both the theoretical evidence and experimental prospects. On the theory side, we provide strong evidence for the hardness of Gaussian boson sampling, placing it on par with the strongest theoretical proposals for QCS. On the experimental side, we propose a new QCS architecture, high-dimensional Gaussian boson sampling, which is programmable and can be implemented with low loss rates using few optical components. We show that particular classical algorithms for simulating GBS are vastly outperformed by high-dimensional Gaussian boson sampling experiments at modest system sizes. This work thus opens the path to demonstrating QCS with programmable photonic processors.

1 aDeshpande, Abhinav1 aMehta, Arthur1 aVincent, Trevor1 aQuesada, Nicolas1 aHinsche, Marcel1 aIoannou, Marios1 aMadsen, Lars1 aLavoie, Jonathan1 aQi, Haoyu1 aEisert, Jens1 aHangleiter, Dominik1 aFefferman, Bill1 aDhand, Ish uhttps://arxiv.org/abs/2102.1247401315nas a2200145 4500008004100000245007600041210006900117260001400186520084500200100002201045700002701067700002001094700001801114856003701132 2021 eng d00aSubdiffusive hydrodynamics of nearly-integrable anisotropic spin chains0 aSubdiffusive hydrodynamics of nearlyintegrable anisotropic spin  c9/27/20213 a

We address spin transport in the easy-axis Heisenberg spin chain subject to integrability-breaking perturbations. We find that spin transport is subdiffusive with dynamical exponent z=4 up to a timescale that is parametrically long in the anisotropy. In the limit of infinite anisotropy, transport is subdiffusive at all times; for large finite anisotropy, one eventually recovers diffusion at late times, but with a diffusion constant independent of the strength of the integrability breaking perturbation. We provide numerical evidence for these findings, and explain them by adapting the generalized hydrodynamics framework to nearly integrable dynamics. Our results show that the diffusion constant of near-integrable interacting spin chains is not generically a continuous function of the integrability-breaking parameter. 

1 aDe Nardis, Jacopo1 aGopalakrishnan, Sarang1 aVasseur, Romain1 aWare, Brayden uhttps://arxiv.org/abs/2109.1325101465nas a2200169 4500008004100000245007200041210006900113260001400182520093400196100002301130700002001153700002501173700002101198700002101219700001801240856003701258 2021 eng d00aTight bounds on the convergence of noisy random circuits to uniform0 aTight bounds on the convergence of noisy random circuits to unif c12/1/20213 a

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. 

1 aDeshpande, Abhinav1 aFefferman, Bill1 aGorshkov, Alexey, V.1 aGullans, Michael1 aNiroula, Pradeep1 aShtanko, Oles uhttps://arxiv.org/abs/2112.0071601577nas a2200157 4500008004100000245006300041210006300104260001300167520107800180100003201258700002401290700002101314700002201335700002501357856003701382 2021 eng d00aUnifying Quantum and Classical Speed Limits on Observables0 aUnifying Quantum and Classical Speed Limits on Observables c8/9/20213 a

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'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.

1 aGarcía-Pintos, Luis, Pedro1 aNicholson, Schuyler1 aGreen, Jason, R.1 adel Campo, Adolfo1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2108.0426102481nas a2200229 4500008004100000245006800041210006700109260001300176490000700189520180000196100002401996700002102020700002602041700001902067700002302086700001902109700002002128700002402148700002302172700001902195856003702214 2020 eng d00aAuto-tuning of double dot devices in situ with machine learning0 aAutotuning of double dot devices in situ with machine learning c4/1/20200 v133 a

There are myriad quantum computing approaches, each having its own set of challenges to understand and effectively control their operation. Electrons confined in arrays of semiconductor nanostructures, called quantum dots (QDs), is one such approach. The easy access to control parameters, fast measurements, long qubit lifetimes, and the potential for scalability make QDs especially attractive. However, as the size of the QD array grows, so does the number of parameters needed for control and thus the tuning complexity. The current practice of manually tuning the qubits is a relatively time-consuming procedure and is inherently impractical for scaling up and applications. In this work, we report on the in situ implementation of an auto-tuning protocol proposed by Kalantre et al. [arXiv:1712.04914]. In particular, we discuss how to establish a seamless communication protocol between a machine learning (ML)-based auto-tuner and the experimental apparatus. We then show that a ML algorithm trained exclusively on synthetic data coming from a physical model to quantitatively classify the state of the QD device, combined with an optimization routine, can be used to replace manual tuning of gate voltages in devices. A success rate of over 85 % is determined for tuning to a double quantum dot regime when at least one of the plunger gates is initiated sufficiently close to the desired state. Modifications to the training network, fitness function, and optimizer are discussed as a path towards further improvement in the success rate when starting both near and far detuned from the target double dot range.

1 aZwolak, Justyna, P.1 aMcJunkin, Thomas1 aKalantre, Sandesh, S.1 aDodson, J., P.1 aMacQuarrie, E., R.1 aSavage, D., E.1 aLagally, M., G.1 aCoppersmith, S., N.1 aEriksson, Mark, A.1 aTaylor, J., M. uhttps://arxiv.org/abs/1909.0803001493nas a2200193 4500008004100000245007800041210006900119260001400188490000600202520090100208100002201109700001401131700002101145700002401166700002301190700002401213700002501237856003701262 2020 eng d00aEntanglement Bounds on the Performance of Quantum Computing Architectures0 aEntanglement Bounds on the Performance of Quantum Computing Arch c9/22/20200 v23 a

There are many possible architectures for future quantum computers that designers will need to choose between. However, the process of evaluating a particular connectivity graph's performance as a quantum architecture can be difficult. In this paper, we establish a connection between a quantity known as the isoperimetric number and a lower bound on the time required to create highly entangled states. The metric we propose counts resources based on the use of two-qubit unitary operations, while allowing for arbitrarily fast measurements and classical feedback. We describe how these results can be applied to the evaluation of the hierarchical architecture proposed in Phys. Rev. A 98, 062328 (2018). We also show that the time-complexity bound we place on the creation of highly-entangled states can be saturated up to a multiplicative factor logarithmic in the number of qubits.

1 aEldredge, Zachary1 aZhou, Leo1 aBapat, Aniruddha1 aGarrison, James, R.1 aDeshpande, Abhinav1 aChong, Frederic, T.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1908.0480201656nas a2200157 4500008004100000245008100041210006900122260001500191520114900206100002801355700001701383700001801400700002201418700002101440856003701461 2020 eng d00aEntanglement entropy scaling transition under competing monitoring protocols0 aEntanglement entropy scaling transition under competing monitori c08/19/20203 a

Dissipation generally leads to the decoherence of a quantum state. In contrast, numerous recent proposals have illustrated that dissipation can also be tailored to stabilize many-body entangled quantum states. While the focus of these works has been primarily on engineering the non-equilibrium steady state, we investigate the build-up of entanglement in the quantum trajectories. Specifically, we analyze the competition between two different dissipation channels arising from two incompatible continuous monitoring protocols. The first protocol locks the phase of neighboring sites upon registering a quantum jump, thereby generating a long-range entanglement through the system, while the second one destroys the coherence via dephasing mechanism. By studying the unraveling of stochastic quantum trajectories associated with the continuous monitoring protocols, we present a transition for the scaling of the averaged trajectory entanglement entropies, from critical scaling to area-law behavior. Our work provides novel insights into the occurrence of a measurement-induced phase transition within a continuous monitoring protocol.

1 aVan Regemortel, Mathias1 aCian, Ze-Pei1 aSeif, Alireza1 aDehghani, Hossein1 aHafezi, Mohammad uhttps://arxiv.org/abs/2008.0861902128nas a2200229 4500008004100000245006400041210006200105260001400167520146400181100001601645700002301661700001801684700002101702700001601723700002201739700002001761700001501781700002301796700001801819700002401837856003701861 2020 eng d00aFault-Tolerant Operation of a Quantum Error-Correction Code0 aFaultTolerant Operation of a Quantum ErrorCorrection Code c9/24/20203 a

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. 

1 aEgan, Laird1 aDebroy, Dripto, M.1 aNoel, Crystal1 aRisinger, Andrew1 aZhu, Daiwei1 aBiswas, Debopriyo1 aNewman, Michael1 aLi, Muyuan1 aBrown, Kenneth, R.1 aCetina, Marko1 aMonroe, Christopher uhttps://arxiv.org/abs/2009.1148201237nas a2200145 4500008004100000245008300041210006900124260001400193490000800207520076500215100003200980700002001012700002201032856003701054 2020 eng d00aFluctuations in Extractable Work Bound the Charging Power of Quantum Batteries0 aFluctuations in Extractable Work Bound the Charging Power of Qua c7/22/20200 v1253 a

We study the connection between the charging power of quantum batteries and the fluctuations of the stored work. We prove that in order to have a non-zero rate of change of the extractable work, the state ρW of the battery cannot be an eigenstate of a `\emph{work operator}', defined by F ≡ HW + β−1log(ρW), where HW is the Hamiltonian of the battery and β is the inverse temperature of a reference thermal bath with respect to which the extractable work is calculated. We do so by proving that fluctuations in the stored work upper bound the charging power of a quantum battery. Our findings also suggest that quantum coherence in the battery enhances the charging process, which we illustrate on a toy model of a heat engine. 

1 aGarcía-Pintos, Luis, Pedro1 aHamma, Alioscia1 adel Campo, Adolfo uhttps://arxiv.org/abs/1909.0355802312nas a2200217 4500008004100000245006500041210006400106260001400170490000700184520168700191100001901878700001901897700002001916700002001936700002301956700001601979700001901995700002502014700001802039856003702057 2020 eng d00aHierarchy of linear light cones with long-range interactions0 aHierarchy of linear light cones with longrange interactions c5/29/20200 v103 a

In quantum many-body systems with local interactions, quantum information and entanglement cannot spread outside of a "linear light cone," which expands at an emergent velocity analogous to the speed of light. Yet most non-relativistic physical systems realized in nature have long-range interactions: two degrees of freedom separated by a distance r interact with potential energy V(r)∝1/rα. In systems with long-range interactions, we rigorously establish a hierarchy of linear light cones: at the same α, some quantum information processing tasks are constrained by a linear light cone while others are not. In one spatial dimension, commutators of local operators ⟨ψ|[Ox(t),Oy]|ψ⟩ are negligible in every state |ψ⟩ when |x−y|≳vt, where v is finite when α>3 (Lieb-Robinson light cone); in a typical state |ψ⟩ drawn from the infinite temperature ensemble, v is finite when α>52 (Frobenius light cone); in non-interacting systems, v is finite in every state when α>2 (free light cone). These bounds apply to time-dependent systems and are optimal up to subalgebraic improvements. Our theorems regarding the Lieb-Robinson and free light cones, and their tightness, also generalize to arbitrary dimensions. We discuss the implications of our bounds on the growth of connected correlators and of topological order, the clustering of correlations in gapped systems, and the digital simulation of systems with long-range interactions. In addition, we show that quantum state transfer and many-body quantum chaos are bounded by the Frobenius light cone, and therefore are poorly constrained by all Lieb-Robinson bounds.

1 aTran, Minh, C.1 aChen, Chi-Fang1 aEhrenberg, Adam1 aGuo, Andrew, Y.1 aDeshpande, Abhinav1 aHong, Yifan1 aGong, Zhe-Xuan1 aGorshkov, Alexey, V.1 aLucas, Andrew uhttps://arxiv.org/abs/2001.1150901375nas a2200145 4500008004100000245008100041210006900122260001400191520090600205100001901111700002101130700001601151700002501167856003701192 2020 eng d00aImpossibility of Quantum Virtual Black-Box Obfuscation of Classical Circuits0 aImpossibility of Quantum Virtual BlackBox Obfuscation of Classic c5/13/20203 a

Virtual black-box obfuscation is a strong cryptographic primitive: it encrypts a circuit while maintaining its full input/output functionality. A remarkable result by Barak et al. (Crypto 2001) shows that a general obfuscator that obfuscates classical circuits into classical circuits cannot exist. A promising direction that circumvents this impossibility result is to obfuscate classical circuits into quantum states, which would potentially be better capable of hiding information about the obfuscated circuit. We show that, under the assumption that learning-with-errors (LWE) is hard for quantum computers, this quantum variant of virtual black-box obfuscation of classical circuits is generally impossible. On the way, we show that under the presence of dependent classical auxiliary input, even the small class of classical point functions cannot be quantum virtual black-box obfuscated.

1 aAlagic, Gorjan1 aBrakerski, Zvika1 aDulek, Yfke1 aSchaffner, Christian uhttps://arxiv.org/abs/2005.0643201547nas a2200145 4500008004100000245006900041210006900110260001400179520108200193100001801275700002301293700002301316700002501339856003701364 2020 eng d00aLimits on Classical Simulation of Free Fermions with Dissipation0 aLimits on Classical Simulation of Free Fermions with Dissipation c5/21/20203 a

Free-fermionic systems are a valuable, but limited, class of many-body problems efficiently simulable on a classical computer. We examine how classical simulability of noninteracting fermions is modified in the presence of Markovian dissipation described by quadratic Lindblad operators, including, for example, incoherent transitions or pair losses. On the one hand, we establish three broad classes of Markovian dynamics that are efficiently simulable classically, by devising efficient algorithms. On the other hand, we demonstrate that, in the worst case, simulating Markovian dynamics with quadratic Lindblad operators is at least as hard as simulating universal quantum circuits. This result is applicable to an experimentally relevant setting in cold atomic systems, where magnetic Feshbach resonances can be used to engineer the desired dissipation. For such systems, our hardness result provides a direct scheme for dissipation-assisted quantum computing with a potential significant advantage in the speed of two-qubit gates and, therefore, in error tolerance.

1 aShtanko, Oles1 aDeshpande, Abhinav1 aJulienne, Paul, S.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2005.1084001522nas a2200193 4500008004100000245005900041210005700100260001400157490000800171520097200179100002301151700001801174700001801192700001601210700002301226700001801249700002401267856003701291 2020 eng d00aMany-Body Dephasing in a Trapped-Ion Quantum Simulator0 aManyBody Dephasing in a TrappedIon Quantum Simulator c8/24/20200 v1253 a

How a closed interacting quantum many-body system relaxes and dephases as a function of time is a fundamental question in thermodynamic and statistical physics. In this work, we observe and analyse the persistent temporal fluctuations after a quantum quench of a tunable long-range interacting transverse-field Ising Hamiltonian realized with a trapped-ion quantum simulator. We measure the temporal fluctuations in the average magnetization of a finite-size system of spin-1/2 particles and observe the experimental evidence for the theoretically predicted regime of many-body dephasing. We experiment in a regime where the properties of the system are closely related to the integrable Hamiltonian with global spin-spin coupling, which enables analytical predictions even for the long-time non-integrable dynamics. We find that the measured fluctuations are exponentially suppressed with increasing system size, consistent with theoretical predictions. 

1 aKaplan, Harvey, B.1 aGuo, Lingzhen1 aTan, Wen, Lin1 aDe, Arinjoy1 aMarquardt, Florian1 aPagano, Guido1 aMonroe, Christopher uhttps://arxiv.org/abs/2001.0247701333nas a2200157 4500008004100000245008800041210006900129260001400198520082100212100001901033700002301052700002001075700001801095700002501113856003701138 2020 eng d00aOptimal state transfer and entanglement generation in power-law interacting systems0 aOptimal state transfer and entanglement generation in powerlaw i c10/6/20203 a

We present an optimal protocol for encoding an unknown qubit state into a multiqubit Greenberger-Horne-Zeilinger-like state and, consequently, transferring quantum information in large systems exhibiting power-law (1/rα) interactions. For all power-law exponents α between d and 2d+1, where d is the dimension of the system, the protocol yields a polynomial speedup for α>2d and a superpolynomial speedup for α≤2d, compared to the state of the art. For all α>d, the protocol saturates the Lieb-Robinson bounds (up to subpolynomial corrections), thereby establishing the optimality of the protocol and the tightness of the bounds in this regime. The protocol has a wide range of applications, including in quantum sensing, quantum computing, and preparation of topologically ordered states. 

1 aTran, Minh, C.1 aDeshpande, Abhinav1 aGuo, Andrew, Y.1 aLucas, Andrew1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2010.0293001627nas a2200193 4500008004100000245002900041210002900070260001400099300001500113490000800128520112700136100002801263700002301291700002301314700001901337700002001356700002001376856003701396 2020 eng d00aQuantum Coupon Collector0 aQuantum Coupon Collector c2/18/2020 a10:1-10:170 v1583 a

We study how efficiently a k-element set S⊆[n] can be learned from a uniform superposition |S⟩ of its elements. One can think of |S⟩=∑i∈S|i⟩/|S|−−−√ as the quantum version of a uniformly random sample over S, as in the classical analysis of the ``coupon collector problem.'' We show that if k is close to n, then we can learn S using asymptotically fewer quantum samples than random samples. In particular, if there are n−k=O(1) missing elements then O(k) copies of |S⟩ suffice, in contrast to the Θ(klogk) random samples needed by a classical coupon collector. On the other hand, if n−k=Ω(k), then Ω(klogk) quantum samples are~necessary. More generally, we give tight bounds on the number of quantum samples needed for every k and n, and we give efficient quantum learning algorithms. We also give tight bounds in the model where we can additionally reflect through |S⟩. Finally, we relate coupon collection to a known example separating proper and improper PAC learning that turns out to show no separation in the quantum case.

1 aArunachalam, Srinivasan1 aBelovs, Aleksandrs1 aChilds, Andrew, M.1 aKothari, Robin1 aRosmanis, Ansis1 ade Wolf, Ronald uhttps://arxiv.org/abs/2002.0768801387nas a2200157 4500008004100000245002900041210002900070260001300099490000600112520096500118100002501083700003201108700003201140700002001172856003701192 2020 eng d00aRandom Quantum Batteries0 aRandom Quantum Batteries c5/5/20200 v23 a

Quantum nano-devices are fundamental systems in quantum thermodynamics that have been the subject of profound interest in recent years. Among these, quantum batteries play a very important role. In this paper we lay down a theory of random quantum batteries and provide a systematic way of computing the average work and work fluctuations in such devices by investigating their typical behavior. We show that the performance of random quantum batteries exhibits typicality and depends only on the spectral properties of the time evolving operator, the initial state and the measuring Hamiltonian. At given revival times a random quantum battery features a quantum advantage over classical random batteries. Our method is particularly apt to be used both for exactly solvable models like the Jaynes-Cummings model or in perturbation theory, e.g., systems subject to harmonic perturbations. We also study the setting of quantum adiabatic random batteries.

1 aCaravelli, Francesco1 aDe Wit, Ghislaine, Coulter-1 aGarcía-Pintos, Luis, Pedro1 aHamma, Alioscia uhttps://arxiv.org/abs/1908.0806403210nas a2200253 4500008004100000245010000041210006900141260001200210520236500222100001902587700002702606700001702633700001802650700001602668700001702684700001602701700001702717700001802734700001802752700001702770700002102787700002302808856012502831 2020 eng d00aStatus Report on the Second Round of the NIST Post-Quantum Cryptography Standardization Process0 aStatus Report on the Second Round of the NIST PostQuantum Crypto c07/20203 a

The National Institute of Standards and Technology is in the process of selecting one or more public-key cryptographic algorithms through a public, competition-like process. The new public-key cryptography standards will specify one or more additional digital signatures, public-key encryption, and key-establishment algorithms to augment Federal Information Processing Standard (FIPS) 186-4, Digital Signature Standard (DSS), as well as NIST Special Publication (SP) 800-56A Revision 3, Recommendation for Pair-Wise Key-Establishment Schemes Using Discrete Logarithm Cryptography, and SP 800-56B Revision 2, Recommendation for Pair-Wise Key Establishment Using Integer Factorization Cryptography. It is intended that these algorithms will be capable of protecting sensitive information well into the foreseeable future, including after the advent of quantum computers.

The NIST Post-Quantum Cryptography Standardization Process began in 2017 with 69 candidate algorithms that met both the minimum acceptance criteria and submission requirements. The first round lasted until January 2019, during which candidate algorithms were evaluated based on their security, performance, and other characteristics. NIST selected 26 algorithms to advance to the second round for more analysis. This report describes the evaluation and selection process, based on public feedback and internal review, of the second-round candidates. The report summarizes the 26 second-round candidate algorithms and identifies those selected to move forward to the third round of the competition. The third-round finalist public-key encryption and key-establishment algorithms are Classic McEliece, CRYSTALS-KYBER, NTRU, and SABER. The third-round finalists for digital signatures are CRYSTALS-DILITHIUM, FALCON, and Rainbow. These finalists will be considered for standardization at the end of the third round. In addition, eight alternate candidate algorithms will also advance to the third round: BIKE, FrodoKEM, HQC, NTRU Prime, SIKE, GeMSS, Picnic, and SPHINCS+. These additional candidates are still being considered for standardization, although this is unlikely to occur at the end of the third round. NIST hopes that the announcement of these finalists and additional candidates will serve to focus the cryptographic community’s attention during the next round.

1 aAlagic, Gorjan1 aAlperin-Sheriff, Jacob1 aApon, Daniel1 aCooper, David1 aDang, Quynh1 aKelsey, John1 aLiu, Yi-Kai1 aMiller, Carl1 aMoody, Dustin1 aPeralta, Rene1 aPerlner, Ray1 aRobinson, Angela1 aSmith-Tone, Daniel uhttps://www.quics.umd.edu/publications/status-report-second-round-nist-post-quantum-cryptography-standardization-process01726nas a2200145 4500008004100000245006100041210006000102260001500162520126300177100002801440700003201468700002201500700002101522856003701543 2020 eng d00aTime-information uncertainty relations in thermodynamics0 aTimeinformation uncertainty relations in thermodynamics c09/21/20203 a

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. 

1 aNicholson, Schuyler, B.1 aGarcía-Pintos, Luis, Pedro1 adel Campo, Adolfo1 aGreen, Jason, R. uhttps://arxiv.org/abs/2001.0541801870nas a2200181 4500008004100000245008300041210006900124260001300193490000600206520132100212100002001533700002101553700002401574700001801598700001801616700001701634856003701651 2020 eng d00aTowards analog quantum simulations of lattice gauge theories with trapped ions0 aTowards analog quantum simulations of lattice gauge theories wit c4/8/20200 v23 a

Gauge field theories play a central role in modern physics and are at the heart of the Standard Model of elementary particles and interactions. Despite significant progress in applying classical computational techniques to simulate gauge theories, it has remained a challenging task to compute the real-time dynamics of systems described by gauge theories. An exciting possibility that has been explored in recent years is the use of highly-controlled quantum systems to simulate, in an analog fashion, properties of a target system whose dynamics are difficult to compute. Engineered atom-laser interactions in a linear crystal of trapped ions offer a wide range of possibilities for quantum simulations of complex physical systems. Here, we devise practical proposals for analog simulation of simple lattice gauge theories whose dynamics can be mapped onto spin-spin interactions in any dimension. These include 1+1D quantum electrodynamics, 2+1D Abelian Chern-Simons theory coupled to fermions, and 2+1D pure Z2 gauge theory. The scheme proposed, along with the optimization protocol applied, will have applications beyond the examples presented in this work, and will enable scalable analog quantum simulation of Heisenberg spin models in any number of dimensions and with arbitrary interaction strengths.

1 aDavoudi, Zohreh1 aHafezi, Mohammad1 aMonroe, Christopher1 aPagano, Guido1 aSeif, Alireza1 aShaw, Andrew uhttps://arxiv.org/abs/1908.0321001697nas a2200169 4500008004100000245008100041210006900122260001500191520115700206100002001363700002301383700001901406700002001425700002001445700002501465856003701490 2019 eng d00aComplexity phase diagram for interacting and long-range bosonic Hamiltonians0 aComplexity phase diagram for interacting and longrange bosonic H c06/10/20193 a

Recent years have witnessed a growing interest in topics at the intersection of many-body physics and complexity theory. Many-body physics aims to understand and classify emergent behavior of systems with a large number of particles, while complexity theory aims to classify computational problems based on how the time required to solve the problem scales as the problem size becomes large. In this work, we use insights from complexity theory to classify phases in interacting many-body systems. Specifically, we demonstrate a "complexity phase diagram" for the Bose-Hubbard model with long-range hopping. This shows how the complexity of simulating time evolution varies according to various parameters appearing in the problem, such as the evolution time, the particle density, and the degree of locality. We find that classification of complexity phases is closely related to upper bounds on the spread of quantum correlations, and protocols to transfer quantum information in a controlled manner. Our work motivates future studies of complexity in many-body systems and its interplay with the associated physical phenomena. 

1 aMaskara, Nishad1 aDeshpande, Abhinav1 aTran, Minh, C.1 aEhrenberg, Adam1 aFefferman, Bill1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1906.0417802955nas a2200397 4500008004100000245008600041210006900127260001500196520181200211100002102023700002302044700002002067700001702087700002202104700001702126700002502143700001802168700001902186700001702205700001702222700002702239700001502266700001702281700001802298700001702316700001602333700002002349700001902369700002302388700002502411700002402436700001802460700002002478700002202498856003702520 2019 eng d00aDevelopment of Quantum InterConnects for Next-Generation Information Technologies0 aDevelopment of Quantum InterConnects for NextGeneration Informat c12/13/20193 a

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. 

1 aAwschalom, David1 aBerggren, Karl, K.1 aBernien, Hannes1 aBhave, Sunil1 aCarr, Lincoln, D.1 aDavids, Paul1 aEconomou, Sophia, E.1 aEnglund, Dirk1 aFaraon, Andrei1 aFejer, Marty1 aGuha, Saikat1 aGustafsson, Martin, V.1 aHu, Evelyn1 aJiang, Liang1 aKim, Jungsang1 aKorzh, Boris1 aKumar, Prem1 aKwiat, Paul, G.1 aLončar, Marko1 aLukin, Mikhail, D.1 aMiller, David, A. B.1 aMonroe, Christopher1 aNam, Sae, Woo1 aNarang, Prineha1 aOrcutt, Jason, S. uhttps://arxiv.org/abs/1912.0664202376nas a2200409 4500008004100000245009100041210006900132260001500201520116700216100001801383700001701401700002201418700002001440700001901460700001901479700002301498700001901521700002101540700001901561700002201580700002001602700002201622700002201644700002101666700002201687700002301709700001901732700002001751700002701771700002201798700001801820700001901838700003001857700002401887700001801911856003701929 2019 eng d00aGround-state energy estimation of the water molecule on a trapped ion quantum computer0 aGroundstate energy estimation of the water molecule on a trapped c03/07/20193 a

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.

1 aNam, Yunseong1 aChen, Jwo-Sy1 aPisenti, Neal, C.1 aWright, Kenneth1 aDelaney, Conor1 aMaslov, Dmitri1 aBrown, Kenneth, R.1 aAllen, Stewart1 aAmini, Jason, M.1 aApisdorf, Joel1 aBeck, Kristin, M.1 aBlinov, Aleksey1 aChaplin, Vandiver1 aChmielewski, Mika1 aCollins, Coleman1 aDebnath, Shantanu1 aDucore, Andrew, M.1 aHudek, Kai, M.1 aKeesan, Matthew1 aKreikemeier, Sarah, M.1 aMizrahi, Jonathan1 aSolomon, Phil1 aWilliams, Mike1 aWong-Campos, Jaime, David1 aMonroe, Christopher1 aKim, Jungsang uhttps://arxiv.org/abs/1902.1017101480nas a2200193 4500008004100000245009000041210006900131260001400200490000800214520086300222100002601085700003101111700002301142700002501165700002001190700002101210700001801231856003701249 2019 eng d00aInterference of Temporally Distinguishable Photons Using Frequency-Resolved Detection0 aInterference of Temporally Distinguishable Photons Using Frequen c9/24/20190 v1233 a

We demonstrate quantum interference of three photons that are distinguishable in time, by resolving them in the conjugate parameter, frequency. We show that the multiphoton interference pattern in our setup can be manipulated by tuning the relative delays between the photons, without the need for reconfiguring the optical network. Furthermore, we observe that the symmetries of our optical network and the spectral amplitude of the input photons are manifested in the interference pattern. Moreover, we demonstrate time-reversed HOM-like interference in the spectral correlations using time-bin entangled photon pairs. By adding a time-varying dispersion using a phase modulator, our setup can be used to realize dynamically reconfigurable and scalable boson sampling in the time domain as well as frequency-resolved multiboson correlation sampling.

1 aOrre, Venkata, Vikram1 aGoldschmidt, Elizabeth, A.1 aDeshpande, Abhinav1 aGorshkov, Alexey, V.1 aTamma, Vincenzo1 aHafezi, Mohammad1 aMittal, Sunil uhttps://arxiv.org/abs/1904.0322201912nas a2200265 4500008004100000245007900041210006900120260001500189520117500204100001601379700001501395700001201410700001501422700002001437700001101457700001301468700001901481700002001500700001701520700001501537700001701552700002501569700001501594856003701609 2019 eng d00aObservation of Domain Wall Confinement and Dynamics in a Quantum Simulator0 aObservation of Domain Wall Confinement and Dynamics in a Quantum c12/23/20193 a

Confinement is a ubiquitous mechanism in nature, whereby particles feel an attractive force that increases without bound as they separate. A prominent example is color confinement in particle physics, in which baryons and mesons are produced by quark confinement. Analogously, confinement can also occur in low-energy quantum many-body systems when elementary excitations are confined into bound quasiparticles. Here, we report the first observation of magnetic domain wall confinement in interacting spin chains with a trapped-ion quantum simulator. By measuring how correlations spread, we show that confinement can dramatically suppress information propagation and thermalization in such many-body systems. We are able to quantitatively determine the excitation energy of domain wall bound states from non-equilibrium quench dynamics. Furthermore, we study the number of domain wall excitations created for different quench parameters, in a regime that is difficult to model with classical computers. This work demonstrates the capability of quantum simulators for investigating exotic high-energy physics phenomena, such as quark collision and string breaking

1 aTan, W., L.1 aBecker, P.1 aLiu, F.1 aPagano, G.1 aCollins, K., S.1 aDe, A.1 aFeng, L.1 aKaplan, H., B.1 aKyprianidis, A.1 aLundgren, R.1 aMorong, W.1 aWhitsitt, S.1 aGorshkov, Alexey, V.1 aMonroe, C. uhttps://arxiv.org/abs/1912.1111702010nas a2200409 4500008004100000245006800041210006600109260001500175520084400190100001901034700002601053700002001079700002001099700002001119700001701139700002501156700002201181700001901203700001701222700002201239700002101261700002501282700001901307700002301326700001801349700001901367700002101386700002101407700001501428700002001443700002401463700001801487700002301505700001901528700001601547856003701563 2019 eng d00aOpportunities for Nuclear Physics & Quantum Information Science0 aOpportunities for Nuclear Physics Quantum Information Science c03/13/20193 a

his whitepaper is an outcome of the workshop Intersections between Nuclear Physics and Quantum Information held at Argonne National Laboratory on 28-30 March 2018 [www.phy.anl.gov/npqi2018/]. The workshop brought together 116 national and international experts in nuclear physics and quantum information science to explore opportunities for the two fields to collaborate on topics of interest to the U.S. Department of Energy (DOE) Office of Science, Office of Nuclear Physics, and more broadly to U.S. society and industry. The workshop consisted of 22 invited and 10 contributed talks, as well as three panel discussion sessions. Topics discussed included quantum computation, quantum simulation, quantum sensing, nuclear physics detectors, nuclear many-body problem, entanglement at collider energies, and lattice gauge theories.

1 aCloët, I., C.1 aDietrich, Matthew, R.1 aArrington, John1 aBazavov, Alexei1 aBishof, Michael1 aFreese, Adam1 aGorshkov, Alexey, V.1 aGrassellino, Anna1 aHafidi, Kawtar1 aJacob, Zubin1 aMcGuigan, Michael1 aMeurice, Yannick1 aMeziani, Zein-Eddine1 aMueller, Peter1 aMuschik, Christine1 aOsborn, James1 aOtten, Matthew1 aPetreczky, Peter1 aPolakovic, Tomas1 aPoon, Alan1 aPooser, Raphael1 aRoggero, Alessandro1 aSaffman, Mark1 aVanDevender, Brent1 aZhang, Jiehang1 aZohar, Erez uhttps://arxiv.org/abs/1903.0545301434nas a2200193 4500008004100000245005500041210005500096260001500151490000800166520090200174100001701076700001601093700001701109700001801126700002101144700001701165700002101182856003701203 2019 eng d00aPhoton pair condensation by engineered dissipation0 aPhoton pair condensation by engineered dissipation c04/02/20190 v1233 a

Dissipation can usually induce detrimental decoherence in a quantum system. However, engineered dissipation can be used to prepare and stabilize coherent quantum many-body states. Here, we show that by engineering dissipators containing photon pair operators, one can stabilize an exotic dark state, which is a condensate of photon pairs with a phase-nematic order. In this system, the usual superfluid order parameter, i.e. single-photon correlation, is absent, while the photon pair correlation exhibits long-range order. Although the dark state is not unique due to multiple parity sectors, we devise an additional type of dissipators to stabilize the dark state in a particular parity sector via a diffusive annihilation process which obeys Glauber dynamics in an Ising model. Furthermore, we propose an implementation of these photon-pair dissipators in circuit-QED architecture. 

1 aCian, Ze-Pei1 aZhu, Guanyu1 aChu, Su-Kuan1 aSeif, Alireza1 aDeGottardi, Wade1 aJiang, Liang1 aHafezi, Mohammad uhttps://arxiv.org/abs/1904.0001601973nas a2200145 4500008004100000245008000041210006900121260001400190490000800204520151100212100002201723700002101745700002401766856003701790 2019 eng d00aPolynomial Time Algorithms for Estimating Spectra of Adiabatic Hamiltonians0 aPolynomial Time Algorithms for Estimating Spectra of Adiabatic H c10/1/20200 v1003 a

Much research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians with Hamming symmetric potentials, such as the well studied "spike" example. Due to the large amount of symmetry in these potentials such problems are readily open to analysis both analytically and computationally. However, more realistic potentials do not have such a high degree of symmetry and may have many local minima. Here we present a somewhat more realistic class of problems consisting of many individually Hamming symmetric potential wells. For two or three such wells we demonstrate that such a problem can be solved exactly in time polynomial in the number of qubits and wells. For greater than three wells, we present a tight binding approach with which to efficiently analyze the performance of such Hamiltonians in an adiabatic computation. We provide several basic examples designed to highlight the usefulness of this toy model and to give insight into using the tight binding approach to examining it, including: (1) adiabatic unstructured search with a transverse field driver and a prior guess to the marked item and (2) a scheme for adiabatically simulating the ground states of small collections of strongly interacting spins, with an explicit demonstration for an Ising model Hamiltonian.

1 aBringewatt, Jacob1 aDorland, William1 aJordan, Stephen, P. uhttps://arxiv.org/abs/1905.0746101709nas a2200241 4500008004100000245007100041210006900112260001500181520103600196100001501232700002101247700001801268700001801286700002501304700001301329700001401342700001201356700001501368700001701383700001401400700001601414856003701430 2019 eng d00aProgrammable Quantum Simulations of Spin Systems with Trapped Ions0 aProgrammable Quantum Simulations of Spin Systems with Trapped Io c12/17/20193 a

Laser-cooled and trapped atomic ions form an ideal standard for the simulation of interacting quantum spin models. Effective spins are represented by appropriate internal energy levels within each ion, and the spins can be measured with near-perfect efficiency using state-dependent fluorescence techniques. By applying optical fields that exert optical dipole forces on the ions, their Coulomb interaction can be modulated in ways that give rise to long-range and tunable spin-spin interactions that can be reconfigured by shaping the spectrum and pattern of the laser fields. Here we review the theoretical mapping of atomic ions to interacting spin systems, the experimental preparation of complex equilibrium states, and the study of dynamical processes of this many-body interacting quantum system. The use of such quantum simulators for studying spin models may inform our understanding of exotic quantum materials and shed light on interacting quantum systems that cannot be modeled with conventional computers. 

1 aMonroe, C.1 aCampbell, W., C.1 aDuan, L., -M.1 aGong, Z., -X.1 aGorshkov, Alexey, V.1 aHess, P.1 aIslam, R.1 aKim, K.1 aPagano, G.1 aRicherme, P.1 aSenko, C.1 aYao, N., Y. uhttps://arxiv.org/abs/1912.0784501764nas a2200289 4500008004100000245007400041210006900115260001500184520095900199100001501158700001401173700001501187700002001202700001101222700001701233700001901250700002001269700001601289700002901305700001801334700001801352700001201370700001501382700002501397700001501422856003701437 2019 eng d00aQuantum Approximate Optimization with a Trapped-Ion Quantum Simulator0 aQuantum Approximate Optimization with a TrappedIon Quantum Simul c06/06/20193 a

Quantum computers and simulators may offer significant advantages over their classical counterparts, providing insights into quantum many-body systems and possibly solving exponentially hard problems, such as optimization and satisfiability. Here we report the first implementation of a shallow-depth Quantum Approximate Optimization Algorithm (QAOA) using an analog quantum simulator to estimate the ground state energy of the transverse field Ising model with tunable long-range interactions. First, we exhaustively search the variational control parameters to approximate the ground state energy with up to 40 trapped-ion qubits. We then interface the quantum simulator with a classical algorithm to more efficiently find the optimal set of parameters that minimizes the resulting energy of the system. We finally sample from the full probability distribution of the QAOA output with single-shot and efficient measurements of every qubit. 

1 aPagano, G.1 aBapat, A.1 aBecker, P.1 aCollins, K., S.1 aDe, A.1 aHess, P., W.1 aKaplan, H., B.1 aKyprianidis, A.1 aTan, W., L.1 aBaldwin, Christopher, L.1 aBrady, L., T.1 aDeshpande, A.1 aLiu, F.1 aJordan, S.1 aGorshkov, Alexey, V.1 aMonroe, C. uhttps://arxiv.org/abs/1906.0270001947nas a2200397 4500008004100000245005400041210005400095260001500149520085000164100001801014700001601032700002301048700002301071700002201094700002401116700001901140700001801159700001801177700002001195700002501215700001801240700001801258700001901276700001901295700001601314700002301330700001901353700001701372700002401389700001901413700002201432700001901454700001901473700002001492856003701512 2019 eng d00aQuantum Computer Systems for Scientific Discovery0 aQuantum Computer Systems for Scientific Discovery c12/16/20193 a

The great promise of quantum computers comes with the dual challenges of building them and finding their useful applications. We argue that these two challenges should be considered together, by co-designing full stack quantum computer systems along with their applications in order to hasten their development and potential for scientific discovery. In this context, we identify scientific and community needs, opportunities, and significant challenges for the development of quantum computers for science over the next 2-10 years. This document is written by a community of university, national laboratory, and industrial researchers in the field of Quantum Information Science and Technology, and is based on a summary from a U.S. National Science Foundation workshop on Quantum Computing held on October 21-22, 2019 in Alexandria, VA.

1 aAlexeev, Yuri1 aBacon, Dave1 aBrown, Kenneth, R.1 aCalderbank, Robert1 aCarr, Lincoln, D.1 aChong, Frederic, T.1 aDeMarco, Brian1 aEnglund, Dirk1 aFarhi, Edward1 aFefferman, Bill1 aGorshkov, Alexey, V.1 aHouck, Andrew1 aKim, Jungsang1 aKimmel, Shelby1 aLange, Michael1 aLloyd, Seth1 aLukin, Mikhail, D.1 aMaslov, Dmitri1 aMaunz, Peter1 aMonroe, Christopher1 aPreskill, John1 aRoetteler, Martin1 aSavage, Martin1 aThompson, Jeff1 aVazirani, Umesh uhttps://arxiv.org/abs/1912.0757702892nas a2200397 4500008004100000245005600041210005500097260001500152520177700167100001701944700002301961700002101984700002202005700001902027700001602046700001902062700002502081700002302106700002002129700002002149700002602169700002302195700002402218700002202242700002302264700001602287700001302303700002002316700002402336700001702360700001902377700001802396700002302414700002002437856003702457 2019 eng d00aQuantum Simulators: Architectures and Opportunities0 aQuantum Simulators Architectures and Opportunities c12/14/20193 a

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. 

1 aAltman, Ehud1 aBrown, Kenneth, R.1 aCarleo, Giuseppe1 aCarr, Lincoln, D.1 aDemler, Eugene1 aChin, Cheng1 aDeMarco, Brian1 aEconomou, Sophia, E.1 aEriksson, Mark, A.1 aFu, Kai-Mei, C.1 aGreiner, Markus1 aHazzard, Kaden, R. A.1 aHulet, Randall, G.1 aKollár, Alicia, J.1 aLev, Benjamin, L.1 aLukin, Mikhail, D.1 aMa, Ruichao1 aMi, Xiao1 aMisra, Shashank1 aMonroe, Christopher1 aMurch, Kater1 aNazario, Zaira1 aNi, Kang-Kuen1 aPotter, Andrew, C.1 aRoushan, Pedram uhttps://arxiv.org/abs/1912.0693801752nas a2200145 4500008004100000245006700041210006700108260001500175520130600190100001901496700002001515700001401535700002001549856003701569 2019 eng d00aResource theory of entanglement for bipartite quantum channels0 aResource theory of entanglement for bipartite quantum channels c07/08/20193 a

The traditional perspective in quantum resource theories concerns how to use free operations to convert one resourceful quantum state to another one. For example, a fundamental and well known question in entanglement theory is to determine the distillable entanglement of a bipartite state, which is equal to the maximum rate at which fresh Bell states can be distilled from many copies of a given bipartite state by employing local operations and classical communication for free. It is the aim of this paper to take this kind of question to the next level, with the main question being: What is the best way of using free channels to convert one resourceful quantum channel to another? Here we focus on the the resource theory of entanglement for bipartite channels and establish several fundamental tasks and results regarding it. In particular, we establish bounds on several pertinent information processing tasks in channel entanglement theory, and we define several entanglement measures for bipartite channels, including the logarithmic negativity and the κ-entanglement. We also show that the max-Rains information of [Bäuml et al., Physical Review Letters, 121, 250504 (2018)] has a divergence interpretation, which is helpful for simplifying the results of this earlier work. 

1 aBäuml, Stefan1 aDas, Siddhartha1 aWang, Xin1 aWilde, Mark, M. uhttps://arxiv.org/abs/1907.0418102754nas a2200229 4500008004100000245009900041210006900140520205300209100001902262700002402281700001302305700001502318700001302333700001702346700001402363700001602377700001602393700001702409700001902426700001602445856006302461 2019 eng d00aStatus Report on the First Round of the NIST Post-Quantum Cryptography Standardization Process0 aStatus Report on the First Round of the NIST PostQuantum Cryptog3 a

The National Institute of Standards and Technology is in the process of selecting one or more
public-key cryptographic algorithms through a public competition-like process. The new publickey cryptography standards will specify one or more additional digital signature, public-key
encryption, and key-establishment algorithms to augment FIPS 186-4, Digital Signature Standard
(DSS), as well as special publications SP 800-56A Revision 2, Recommendation for Pair-Wise
Key Establishment Schemes Using Discrete Logarithm Cryptography, and SP 800-56B,
Recommendation for Pair-Wise Key-Establishment Schemes Using Integer Factorization. It is
intended that these algorithms will be capable of protecting sensitive information well into the
foreseeable future, including after the advent of quantum computers.
In November 2017, 82 candidate algorithms were submitted to NIST for consideration. Among
these, 69 met both the minimum acceptance criteria and our submission requirements, and were
accepted as First-Round Candidates on Dec. 20, 2017, marking the beginning of the First Round
of the NIST Post-Quantum Cryptography Standardization Process. This report describes the
evaluation criteria and selection process, based on public feedback and internal review of the
first-round candidates, and summarizes the 26 candidate algorithms announced on January 30,
2019 for moving forward to the second round of the competition. The 17 Second-Round
Candidate public-key encryption and key-establishment algorithms are BIKE, Classic McEliece,
CRYSTALS-KYBER, FrodoKEM, HQC, LAC, LEDAcrypt (merger of LEDAkem/LEDApkc),
NewHope, NTRU (merger of NTRUEncrypt/NTRU-HRSS-KEM), NTRU Prime, NTS-KEM,
ROLLO (merger of LAKE/LOCKER/Ouroboros-R), Round5 (merger of Hila5/Round2), RQC,
SABER, SIKE, and Three Bears. The 9 Second-Round Candidates for digital signatures are
CRYSTALS-DILITHIUM, FALCON, GeMSS, LUOV, MQDSS, Picnic, qTESLA, Rainbow,
and SPHINCS+.

1 aAlagic, Gorjan1 aAlperin-Sheriff, J.1 aApon, D.1 aCooper, D.1 aDang, Q.1 aMiller, Carl1 aMoody, D.1 aPeralta, R.1 aPerlner, R.1 aRobinson, A.1 aSmith-Tone, D.1 aLiu, Yi-Kai uhttps://nvlpubs.nist.gov/nistpubs/ir/2019/NIST.IR.8240.pdf01499nas a2200193 4500008004100000245007800041210006900119260001500188520089900203100002401102700001401126700002101140700001601161700002301177700002301200700001701223700002801240856003701268 2019 eng d00aTwo-qubit entangling gates within arbitrarily long chains of trapped ions0 aTwoqubit entangling gates within arbitrarily long chains of trap c05/28/20193 a

Ion trap systems are a leading platform for large scale quantum computers. Trapped ion qubit crystals are fully-connected and reconfigurable, owing to their long range Coulomb interaction that can be modulated with external optical forces. However, the spectral crowding of collective motional modes could pose a challenge to the control of such interactions for large numbers of qubits. Here, we show that high-fidelity quantum gate operations are still possible with very large trapped ion crystals, simplifying the scaling of ion trap quantum computers. To this end, we present analytical work that determines how parallel entangling gates produce a crosstalk error that falls off as the inverse cube of the distance between the pairs. We also show experimental work demonstrating entangling gates on a fully-connected chain of seventeen 171Yb+ ions with fidelities as high as 97(1)%.

1 aLandsman, Kevin, A.1 aWu, Yukai1 aLeung, Pak, Hong1 aZhu, Daiwei1 aLinke, Norbert, M.1 aBrown, Kenneth, R.1 aDuan, Luming1 aMonroe, Christopher, R. uhttps://arxiv.org/abs/1905.1042101449nas a2200169 4500008004100000245008800041210006900129260001500198490000800213520091700221100001601138700002401154700002001178700001901198700002501217856003701242 2018 eng d00aAsymmetric Particle Transport and Light-Cone Dynamics Induced by Anyonic Statistics0 aAsymmetric Particle Transport and LightCone Dynamics Induced by  c2018/12/200 v1213 a

We study the non-equilibrium dynamics of Abelian anyons in a one-dimensional system. We find that the interplay of anyonic statistics and interactions gives rise to spatially asymmetric particle transport together with a novel dynamical symmetry that depends on the anyonic statistical angle and the sign of interactions. Moreover, we show that anyonic statistics induces asymmetric spreading of quantum information, characterized by asymmetric light cones of out-of-time-ordered correlators. Such asymmetric dynamics is in sharp contrast with the dynamics of conventional fermions or bosons, where both the transport and information dynamics are spatially symmetric. We further discuss experiments with cold atoms where the predicted phenomena can be observed using state-of-the-art technologies. Our results pave the way toward experimentally probing anyonic statistics through non-equilibrium dynamics.

1 aLiu, Fangli1 aGarrison, James, R.1 aDeng, Dong-Ling1 aGong, Zhe-Xuan1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1809.0261401752nas a2200169 4500008004100000245007800041210006900119260001500188300001100203490000700214520121000221100002201431700002101453700002401474700001501498856006901513 2018 eng d00aDiffusion Monte Carlo Versus Adiabatic Computation for Local Hamiltonians0 aDiffusion Monte Carlo Versus Adiabatic Computation for Local Ham c2018/02/15 a0223230 v973 a

Most research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians, whose ground states can be expressed with only real, nonnegative amplitudes. This raises the question of whether classical Monte Carlo algorithms can efficiently simulate quantum adiabatic optimization with stoquastic Hamiltonians. Recent results have given counterexamples in which path integral and diffusion Monte Carlo fail to do so. However, most adiabatic optimization algorithms, such as for solving MAX-k-SAT problems, use k-local Hamiltonians, whereas our previous counterexample for diffusion Monte Carlo involved n-body interactions. Here we present a new 6-local counterexample which demonstrates that even for these local Hamiltonians there are cases where diffusion Monte Carlo cannot efficiently simulate quantum adiabatic optimization. Furthermore, we perform empirical testing of diffusion Monte Carlo on a standard well-studied class of permutation-symmetric tunneling problems and similarly find large advantages for quantum optimization over diffusion Monte Carlo.

1 aBringewatt, Jacob1 aDorland, William1 aJordan, Stephen, P.1 aMink, Alan uhttps://journals.aps.org/pra/abstract/10.1103/PhysRevA.97.02232312409nas a2200169 45000080041000002450055000412100055000963000047001514900008001985201188600206100002312092700002012115700001912135700002312154700002512177856003712202 2018 eng d00aDynamical phase transitions in sampling complexity0 aDynamical phase transitions in sampling complexity a12 pages, 4 figures. v3: published version0 v1213 a

We make the case for studying the complexity of approximately simulating (sampling) quantum systems for reasons beyond that of quantum computational supremacy, such as diagnosing phase transitions. We consider the sampling complexity as a function of time t due to evolution generated by spatially local quadratic bosonic Hamiltonians. We obtain an upper bound on the scaling of t with the number of bosons n for which approximate sampling is classically efficient. We also obtain a lower bound on the scaling of t with n for which any instance of the boson sampling problem reduces to this problem and hence implies that the problem is hard, assuming the conjectures of Aaronson and Arkhipov [Proc. 43rd Annu. ACM Symp. Theory Comput. STOC '11]. This establishes a dynamical phase transition in sampling complexity. Further, we show that systems in the Anderson-localized phase are always easy to sample from at arbitrarily long times. We view these results in the light of classifying phases of physical systems based on parameters in the Hamiltonian. In doing so, we combine ideas from mathematical physics and computational complexity to gain insight into the behavior of condensed matter, atomic, molecular and optical systems.

1 aDeshpande, Abhinav1 aFefferman, Bill1 aTran, Minh, C.1 aFoss-Feig, Michael1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1703.0533201648nas a2200169 4500008004100000245006500041210006400106260001500170300000700185520110300192100001701295700002101312700002601333700002501359700001901384856007501403 2018 eng d00aEntanglement of purification: from spin chains to holography0 aEntanglement of purification from spin chains to holography c2018/01/22 a983 a

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.

1 aNguyen, Phuc1 aDevakul, Trithep1 aHalbasch, Matthew, G.1 aZaletel, Michael, P.1 aSwingle, Brian uhttps://link.springer.com/article/10.1007%2FJHEP01%282018%29098#citeas01444nas a2200169 4500008004100000245007500041210006900116260001500185490000600200520093200206100001701138700002201155700001901177700001901196700002201215856003701237 2018 eng d00aObservation of bound state self-interaction in a nano-eV atom collider0 aObservation of bound state selfinteraction in a nanoeV atom coll c2018/11/200 v93 a

Quantum mechanical scattering resonances for colliding particles occur when a continuum scattering state couples to a discrete bound state between them. The coupling also causes the bound state to interact with itself via the continuum and leads to a shift in the bound state energy, but, lacking knowledge of the bare bound state energy, measuring this self-energy via the resonance position has remained elusive. Here, we report on the direct observation of self-interaction by using a nano-eV atom collider to track the position of a magnetically-tunable Feshbach resonance through a parameter space spanned by energy and magnetic field. Our system of potassium and rubidium atoms displays a strongly non-monotonic resonance trajectory with an exceptionally large self-interaction energy arising from an interplay between the Feshbach bound state and a different, virtual bound state at a fixed energy near threshold.

1 aThomas, Ryan1 aChilcott, Matthew1 aTiesinga, Eite1 aDeb, Amita, B.1 aKjærgaard, Niels uhttps://arxiv.org/abs/1807.0117401180nas a2200157 4500008004100000245007300041210006900114490000800183520068500191100001800876700002900894700002400923700001600947700002200963856003700985 2018 eng d00aOptimal Pure-State Qubit Tomography via Sequential Weak Measurements0 aOptimal PureState Qubit Tomography via Sequential Weak Measureme0 v1213 a

The spin-coherent-state positive-operator-valued-measure (POVM) is a fundamental measurement in quantum science, with applications including tomography, metrology, teleportation, benchmarking, and measurement of Husimi phase space probabilities. We prove that this POVM is achieved by collectively measuring the spin projection of an ensemble of qubits weakly and isotropically. We apply this in the context of optimal tomography of pure qubits. We show numerically that through a sequence of weak measurements of random directions of the collective spin component, sampled discretely or in a continuous measurement with random controls, one can approach the optimal bound.

1 aShojaee, Ezad1 aJackson, Christopher, S.1 aRiofrio, Carlos, A.1 aKalev, Amir1 aDeutsch, Ivan, H. uhttps://arxiv.org/abs/1805.0101202076nas a2200229 4500008004100000245007800041210006900119520136400188100002401552700001901576700002401595700001701619700002301636700002101659700001801680700002101698700001901719700002701738700001901765700002501784856003701809 2018 eng d00aPhoton propagation through dissipative Rydberg media at large input rates0 aPhoton propagation through dissipative Rydberg media at large in3 a

We study the dissipative propagation of quantized light in interacting Rydberg media under the conditions of electromagnetically induced transparency (EIT). Rydberg blockade physics in optically dense atomic media leads to strong dissipative interactions between single photons. The regime of high incoming photon flux constitutes a challenging many-body dissipative problem. We experimentally study in detail for the first time the pulse shapes and the second-order correlation function of the outgoing field and compare our data with simulations based on two novel theoretical approaches well-suited to treat this many-photon limit. At low incoming flux, we report good agreement between both theories and the experiment. For higher input flux, the intensity of the outgoing light is lower than that obtained from theoretical predictions. We explain this discrepancy using a simple phenomenological model taking into account pollutants, which are nearly-stationary Rydberg excitations coming from the reabsorption of scattered probe photons. At high incoming photon rates, the blockade physics results in unconventional shapes of measured correlation functions. 

1 aBienias, Przemyslaw1 aDouglas, James1 aParis-Mandoki, Asaf1 aTitum, Paraj1 aMirgorodskiy, Ivan1 aTresp, Christoph1 aZeuthen, Emil1 aGullans, Michael1 aManzoni, Marco1 aHofferberth, Sebastian1 aChang, Darrick1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1807.0758602126nas a2200109 4500008004100000245010900041210006900150520172200219100001401941700002401955856003701979 2018 eng d00aPractitioner's guide to social network analysis: Examining physics anxiety in an active-learning setting0 aPractitioners guide to social network analysis Examining physics3 a

The application of social network analysis (SNA) has recently grown prevalent in science, technology, engineering, and mathematics education research. Research on classroom networks has led to greater understandings of student persistence in physics majors, changes in their career-related beliefs (e.g., physics interest), and their academic success. In this paper, we aim to provide a practitioner's guide to carrying out research using SNA, including how to develop data collection instruments, set up protocols for gathering data, as well as identify network methodologies relevant to a wide range of research questions beyond what one might find in a typical primer. We illustrate these techniques using student anxiety data from active-learning physics classrooms. We explore the relationship between students' physics anxiety and the social networks they participate in throughout the course of a semester. We find that students' with greater numbers of outgoing interactions are more likely to experience negative anxiety shifts even while we control for {\it pre} anxiety, gender, and final course grade. We also explore the evolution of student networks and find that the second half of the semester is a critical period for participating in interactions associated with decreased physics anxiety. Our study further supports the benefits of dynamic group formation strategies that give students an opportunity to interact with as many peers as possible throughout a semester. To complement our guide to SNA in education research, we also provide a set of tools for letting other researchers use this approach in their work -- the {\it SNA toolbox} -- that can be accessed on GitHub. 

1 aDou, Remy1 aZwolak, Justyna, P. uhttps://arxiv.org/abs/1809.0033702365nas a2200145 4500008004100000245006700041210006000108260001200168490000600180520192900186100002802115700001902143700002002162856003702182 2018 eng d00aThe quasiprobability behind the out-of-time-ordered correlator0 aquasiprobability behind the outoftimeordered correlator c04/20180 vA3 a

Two topics, evolving rapidly in separate fields, were combined recently: The out-of-time-ordered correlator (OTOC) signals quantum-information scrambling in many-body systems. The Kirkwood-Dirac (KD) quasiprobability represents operators in quantum optics. The OTOC has been shown to equal a moment of a summed quasiprobability. That quasiprobability, we argue, is an extension of the KD distribution. We explore the quasiprobability's structure from experimental, numerical, and theoretical perspectives. First, we simplify and analyze the weak-measurement and interference protocols for measuring the OTOC and its quasiprobability. We decrease, exponentially in system size, the number of trials required to infer the OTOC from weak measurements. We also construct a circuit for implementing the weak-measurement scheme. Next, we calculate the quasiprobability (after coarse-graining) numerically and analytically: We simulate a transverse-field Ising model first. Then, we calculate the quasiprobability averaged over random circuits, which model chaotic dynamics. The quasiprobability, we find, distinguishes chaotic from integrable regimes. We observe nonclassical behaviors: The quasiprobability typically has negative components. It becomes nonreal in some regimes. The onset of scrambling breaks a symmetry that bifurcates the quasiprobability, as in classical-chaos pitchforks. Finally, we present mathematical properties. The quasiprobability obeys a Bayes-type theorem, for example, that exponentially decreases the memory required to calculate weak values, in certain cases. A time-ordered correlator analogous to the OTOC, insensitive to quantum-information scrambling, depends on a quasiprobability closer to a classical probability. This work not only illuminates the OTOC's underpinnings, but also generalizes quasiprobability theory and motivates immediate-future weak-measurement challenges.

1 aHalpern, Nicole, Yunger1 aSwingle, Brian1 aDressel, Justin uhttps://arxiv.org/abs/1704.0197101505nas a2200157 4500008004100000245008300041210006900124260001400193490000900207520101200216100001801228700002101246700002201267700002101289856003701310 2018 eng d00aThermal management and non-reciprocal control of phonon flow via optomechanics0 aThermal management and nonreciprocal control of phonon flow via  c2018/3/230 v9(1)3 a

Engineering phonon transport in physical systems is a subject of interest in the study of materials and plays a crucial role in controlling energy and heat transfer. Of particular interest are non-reciprocal phononic systems, which in direct analogy to electric diodes, provide a directional flow of energy. Here, we propose an engineered nanostructured material, in which tunable non-reciprocal phonon transport is achieved through optomechanical coupling. Our scheme relies on breaking time-reversal symmetry by a spatially varying laser drive, which manipulates low-energy acoustic phonons. Furthermore, we take advantage of recent developments in the manipulation of high-energy phonons through controlled scattering mechanisms, such as using alloys and introducing disorder. These combined approaches allow us to design an acoustic isolator and a thermal diode. Our proposed device will have potential impact in phonon-based information processing, and heat management in low temperatures. 

1 aSeif, Alireza1 aDeGottardi, Wade1 aEsfarjani, Keivan1 aHafezi, Mohammad uhttps://arxiv.org/abs/1710.0896701556nas a2200157 4500008004100000245006300041210006300104520105500167100002101222700002201243700002401265700002301289700002401312700002501336856003701361 2018 eng d00aUnitary Entanglement Construction in Hierarchical Networks0 aUnitary Entanglement Construction in Hierarchical Networks3 a

The construction of large-scale quantum computers will require modular architectures that allow physical resources to be localized in easy-to-manage packages. In this work, we examine the impact of different graph structures on the preparation of entangled states. We begin by explaining a formal framework, the hierarchical product, in which modular graphs can be easily constructed. This framework naturally leads us to suggest a class of graphs, which we dub hierarchies. We argue that such graphs have favorable properties for quantum information processing, such as a small diameter and small total edge weight, and use the concept of Pareto efficiency to identify promising quantum graph architectures. We present numerical and analytical results on the speed at which large entangled states can be created on nearest-neighbor grids and hierarchy graphs. We also present a scheme for performing circuit placement--the translation from circuit diagrams to machine qubits--on quantum systems whose connectivity is described by hierarchies.

1 aBapat, Aniruddha1 aEldredge, Zachary1 aGarrison, James, R.1 aDesphande, Abhinav1 aChong, Frederic, T.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1808.0787601813nas a2200169 4500008004100000245010100041210006900142260001500211490000600226520127000232100002701502700001701529700001901546700001901565700002201584856003701606 2017 eng d00aAbove threshold scattering about a Feshbach resonance for ultracold atoms in an optical collider0 aAbove threshold scattering about a Feshbach resonance for ultrac c2017/09/060 v83 a

Studies of magnetically tunable Feshbach resonances in ultracold atomic gases have predominantly been carried out in the zero collision-energy limit. Here, we explore above threshold collisions at well-defined energies in the vicinity of a narrow magnetic Feshbach resonance by means of a laser-based collider. Our experiment focuses on collisions between ground-state 87Rb atoms in the |F = 2,mF = 0i and |F = 1,mF = 1i hyperfine states, which have a known s-wave resonance at 9.040(7) G at threshold that strongly couples to inelastic channels, where 1 G = 10−4 T. Using our collider we can track the magnetic field shift in resonance position as the energy is tuned. This presents a challenge due to the narrow width of the resonance in conjunction with inherent broadening mechanisms of the collider. We find, however, that the narrow Feshbach scattering feature becomes imprinted on the spatial distribution of atoms in a fashion that allows for an accurate determination of resonance position as a function of collision energy through a shift in center-of-mass position of the outgoing clouds. This shift has a dispersive line shape with a zero value at the resonance position. We obtain excellent agreement with theory on the resonance position.

1 aHorvath, Milena, S. J.1 aThomas, Ryan1 aTiesinga, Eite1 aDeb, Amita, B.1 aKjærgaard, Niels uhttps://arxiv.org/abs/1704.0710901776nas a2200145 4500008004100000245004700041210004700088260000900135300001200144520137700156100001901533700001901552700002201571856003701593 2017 eng d00aAdvances in Quantum Reinforcement Learning0 aAdvances in Quantum Reinforcement Learning c2017 a282-2873 a

In recent times, there has been much interest in quantum enhancements of machine learning, specifically in the context of data mining and analysis. Reinforcement learning, an interactive form of learning, is, in turn, vital in artificial intelligence-type applications. Also in this case, quantum mechanics was shown to be useful, in certain instances. Here, we elucidate these results, and show that quantum enhancements can be achieved in a new setting: the setting of learning models which learn how to improve themselves -- that is, those that meta-learn. While not all learning models meta-learn, all non-trivial models have the potential of being "lifted", enhanced, to meta-learning models. Our results show that also such models can be quantum-enhanced to make even better learners. In parallel, we address one of the bottlenecks of current quantum reinforcement learning approaches: the need for so-called oracularized variants of task environments. Here we elaborate on a method which realizes these variants, with minimal changes in the setting, and with no corruption of the operative specification of the environments. This result may be important in near-term experimental demonstrations of quantum reinforcement learning.

1 aDunjko, Vedran1 aTaylor, J., M.1 aBriegel, Hans, J. uhttps://arxiv.org/abs/1811.0867602065nas a2200169 4500008004100000245007000041210006900111260001500180520154900195100001601744700001901760700002101779700001801800700001601818700002401834856003701858 2017 eng d00aComplete 3-Qubit Grover Search on a Programmable Quantum Computer0 aComplete 3Qubit Grover Search on a Programmable Quantum Computer c2017/03/303 a

Searching large databases is an important problem with broad applications. The Grover search algorithm provides a powerful method for quantum computers to perform searches with a quadratic speedup in the number of required database queries over classical computers. It is an optimal search algorithm for a quantum computer, and has further applications as a subroutine for other quantum algorithms. Searches with two qubits have been demonstrated on a variety of platforms and proposed for others, but larger search spaces have only been demonstrated on a non-scalable NMR system. Here, we report results for a complete three-qubit Grover search algorithm using the scalable quantum computing technology of trapped atomic ions, with better-than-classical performance. The algorithm is performed for all 8 possible single-result oracles and all 28 possible two-result oracles. Two methods of state marking are used for the oracles: a phase-flip method employed by other experimental demonstrations, and a Boolean method requiring an ancilla qubit that is directly equivalent to the state-marking scheme required to perform a classical search. All quantum solutions are shown to outperform their classical counterparts. We also report the first implementation of a Toffoli-4 gate, which is used along with Toffoli-3 gates to construct the algorithms; these gates have process fidelities of 70.5% and 89.6%, respectively.

1 aFiggatt, C.1 aMaslov, Dmitri1 aLandsman, K., A.1 aLinke, N., M.1 aDebnath, S.1 aMonroe, Christopher uhttps://arxiv.org/abs/1703.1053505805nas a2200145 4500008004100000245004900041210004900090260001500139520537700154100002305531700002005554700002305574700002505597856003705622 2017 eng d00aComplexity of sampling as an order parameter0 aComplexity of sampling as an order parameter c2017/03/153 a

We consider the classical complexity of approximately simulating time evolution under spatially local quadratic bosonic Hamiltonians for time t. We obtain upper and lower bounds on the scaling of twith the number of bosons, n, for which simulation, cast as a sampling problem, is classically efficient and provably hard, respectively. We view these results in the light of classifying phases of physical systems based on parameters in the Hamiltonian and conjecture a link to dynamical phase transitions. In doing so, we combine ideas from mathematical physics and computational complexity to gain insight into the behavior of condensed matter systems.

1 aDeshpande, Abhinav1 aFefferman, Bill1 aFoss-Feig, Michael1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1703.0533215016nas a2200181 45000080041000002450084000412100069001252600015001943000011002094900007002205201446000227100002314687700002714710700001914737700001914756700002214775856003714797 2017 eng d00aDispersive optical detection of magnetic Feshbach resonances in ultracold gases0 aDispersive optical detection of magnetic Feshbach resonances in  c2017/08/18 a0227050 v963 a

Magnetically tunable Feshbach resonances in ultracold atomic systems are chiefly identified and characterized through time consuming atom loss spectroscopy. We describe an off-resonant dispersive optical probing technique to rapidly locate Feshbach resonances and demonstrate the method by locating four resonances of 87Rb, between the |F=1,mF=1 and |F=2,mF=0 states. Despite the loss features being 100 mG wide, we require only 21 experimental runs to explore a magnetic field range >18 G. The resonances consist of two known s-wave features in the vicinity of 9 G and 18 G and two previously unobserved p-wave features near 5 G and 10 G. We further utilize the dispersive approach to directly characterize the two-body loss dynamics for each Feshbach resonance.

1 aSawyer, Bianca, J.1 aHorvath, Milena, S. J.1 aTiesinga, Eite1 aDeb, Amita, B.1 aKjærgaard, Niels uhttps://arxiv.org/abs/1702.0221601805nas a2200217 4500008004100000245005000041210005000091260001500141300001100156490000800167520121700175100002101392700001401413700002401427700001801451700002001469700001701489700002501506700001901531856003701550 2017 eng d00aEfimov States of Strongly Interacting Photons0 aEfimov States of Strongly Interacting Photons c2017/12/04 a2336010 v1193 a

We demonstrate the emergence of universal Efimov physics for interacting photons in cold gases of Rydberg atoms. We consider the behavior of three photons injected into the gas in their propagating frame, where a paraxial approximation allows us to consider them as massive particles. In contrast to atoms and nuclei, the photons have a large anisotropy between their longitudinal mass, arising from dispersion, and their transverse mass, arising from diffraction. Nevertheless, we show that in suitably rescaled coordinates the effective interactions become dominated by s-wave scattering near threshold and, as a result, give rise to an Efimov effect near unitarity, but with spatially anisotropic wavefunctions in the original coordinates. We show that the three-body loss of these Efimov trimers can be strongly suppressed and determine conditions under which these states are observable in current experiments. These effects can be naturally extended to probe few-body universality beyond three bodies, as well as the role of Efimov physics in the non-equilbrium, many-body regime.

1 aGullans, Michael1 aDiehl, S.1 aRittenhouse, S., T.1 aRuzic, B., P.1 aD'Incao, J., P.1 aJulienne, P.1 aGorshkov, Alexey, V.1 aTaylor, J., M. uhttps://arxiv.org/abs/1709.0195501709nas a2200229 4500008004100000245006700041210006700108250000700175260001500182300001400197490000800211520106700219100001601286700001901302700002201321700001601343700001601359700002101375700001501396700002401411856004401435 2017 eng d00aExperimental Comparison of Two Quantum Computing Architectures0 aExperimental Comparison of Two Quantum Computing Architectures a13 c2017/03/21 a3305-33100 v1143 a

We run a selection of algorithms on two state-of-the-art 5-qubit quantum computers that are based on different technology platforms. One is a publicly accessible superconducting transmon device [1] with limited connectivity, and the other is a fully connected trapped-ion system [2]. Even though the two systems have different native quantum interactions, both can be programmed in a way that is blind to the underlying hardware, thus allowing the first comparison of identical quantum algorithms between different physical systems. We show that quantum algorithms and circuits that employ more connectivity clearly benefit from a better connected system of qubits. While the quantum systems here are not yet large enough to eclipse classical computers, this experiment exposes critical factors of scaling quantum computers, such as qubit connectivity and gate expressivity. In addition, the results suggest that co-designing particular quantum applications with the hardware itself will be paramount in successfully using quantum computers in the future.

1 aLinke, N.M.1 aMaslov, Dmitri1 aRoetteler, Martin1 aDebnath, S.1 aFiggatt, C.1 aLandsman, K., A.1 aWright, K.1 aMonroe, Christopher uhttp://www.pnas.org/content/114/13/330501341nas a2200193 4500008004100000245007600041210006900117260001500186300001100201490000800212520075400220100002200974700001800996700002001014700001401034700002001048700001901068856006001087 2017 eng d00aExperimental Study of Optimal Measurements for Quantum State Tomography0 aExperimental Study of Optimal Measurements for Quantum State Tom c2017/10/13 a1504010 v1193 a

Quantum tomography is a critically important tool to evaluate quantum hardware, making it essential to develop optimized measurement strategies that are both accurate and efficient. We compare a variety of strategies using nearly pure test states. Those that are informationally complete for all states are found to be accurate and reliable even in the presence of errors in the measurements themselves, while those designed to be complete only for pure states are far more efficient but highly sensitive to such errors. Our results highlight the unavoidable trade-offs inherent in quantum tomography.

1 aSosa-Martinez, H.1 aLysne, N., K.1 aBaldwin, C., H.1 aKalev, A.1 aDeutsch, I., H.1 aJessen, P., S. uhttps://link.aps.org/doi/10.1103/PhysRevLett.119.15040101775nas a2200133 4500008004100000245007500041210006900116520134900185100001901534700001601553700001601569700001901585856003701604 2017 eng d00aExponential improvements for quantum-accessible reinforcement learning0 aExponential improvements for quantumaccessible reinforcement lea3 a

Quantum computers can offer dramatic improvements over classical devices for data analysis tasks such as prediction and classification. However, less is known about the advantages that quantum computers may bring in the setting of reinforcement learning, where learning is achieved via interaction with a task environment. Here, we consider a special case of reinforcement learning, where the task environment allows quantum access. In addition, we impose certain "naturalness" conditions on the task environment, which rule out the kinds of oracle problems that are studied in quantum query complexity (and for which quantum speedups are well-known). Within this framework of quantum-accessible reinforcement learning environments, we demonstrate that quantum agents can achieve exponential improvements in learning efficiency, surpassing previous results that showed only quadratic improvements. A key step in the proof is to construct task environments that encode well-known oracle problems, such as Simon's problem and Recursive Fourier Sampling, while satisfying the above "naturalness" conditions for reinforcement learning. Our results suggest that quantum agents may perform well in certain game-playing scenarios, where the game has recursive structure, and the agent can learn by playing against itself

1 aDunjko, Vedran1 aLiu, Yi-Kai1 aWu, Xingyao1 aTaylor, J., M. uhttps://arxiv.org/abs/1710.1116001360nas a2200181 4500008004100000022001400041245007000055210006900125260001500194520081800209100001801027700001901045700001801064700001301082700001901095700001601114856004801130 2017 eng d a1871-409900aExtreme learning machines for regression based on V-matrix method0 aExtreme learning machines for regression based on Vmatrix method c2017/06/103 a

This paper studies the joint effect of V-matrix, a recently proposed framework for statistical inferences, and extreme learning machine (ELM) on regression problems. First of all, a novel algorithm is proposed to efficiently evaluate the V-matrix. Secondly, a novel weighted ELM algorithm called V-ELM is proposed based on the explicit kernel mapping of ELM and the V-matrix method. Though V-matrix method could capture the geometrical structure of training data, it tends to assign a higher weight to instance with smaller input value. In order to avoid this bias, a novel method called VI-ELM is proposed by minimizing both the regression error and the V-matrix weighted error simultaneously. Finally, experiment results on 12 real world benchmark datasets show the effectiveness of our proposed methods.

1 aYang, Zhiyong1 aZhang, Taohong1 aLu, Jingcheng1 aSu, Yuan1 aZhang, Dezheng1 aDuan, Yaowu uhttp://dx.doi.org/10.1007/s11571-017-9444-211923nas a2200205 45000080041000002450079000412100069001202600015001893000011002044900007002155201127900222100001911501700002511520700002011545700001711565700002311582700002011605700002311625856006911648 2017 eng d00aGenuine N -partite entanglement without N -partite correlation functions0 aGenuine N partite entanglement without N partite correlation fun c2017/06/26 a0623310 v953 a

A genuinely N-partite entangled state may display vanishing N-partite correlations measured for arbitrary local observables. In such states the genuine entanglement is noticeable solely in correlations between subsets of particles. A straightforward way to obtain such states for odd N is to design an “antistate” in which all correlations between an odd number of observers are exactly opposite. Evenly mixing a state with its antistate then produces a mixed state with no N-partite correlations, with many of them genuinely multiparty entangled. Intriguingly, all known examples of “entanglement without correlations” involve an odd number of particles. Here we further develop the idea of antistates, thereby shedding light on the different properties of even and odd particle systems. We conjecture that there is no antistate to any pure even-N-party entangled state making the simple construction scheme unfeasible. However, as we prove by construction, higher-rank examples of entanglement without correlations for arbitrary even N indeed exist. These classes of states exhibit genuine entanglement and even violate an N-partite Bell inequality, clearly demonstrating the nonclassical features of these states as well as showing their applicability for quantum information processing.

1 aTran, Minh, C.1 aZuppardo, Margherita1 ade Rosier, Anna1 aKnips, Lukas1 aLaskowski, Wieslaw1 aPaterek, Tomasz1 aWeinfurter, Harald uhttps://journals.aps.org/pra/abstract/10.1103/PhysRevA.95.06233101898nas a2200157 4500008004100000245005900041210005900100260001500159300001200174520143500186100001901621700001601640700002501656700002201681856003701703 2017 eng d00aQuantum Fully Homomorphic Encryption With Verification0 aQuantum Fully Homomorphic Encryption With Verification c2017/11/30 a438-4673 a

Fully-homomorphic encryption (FHE) enables computation on encrypted data while maintaining secrecy. Recent research has shown that such schemes exist even for quantum computation. Given the numerous applications of classical FHE (zero-knowledge proofs, secure two-party computation, obfuscation, etc.) it is reasonable to hope that quantum FHE (or QFHE) will lead to many new results in the quantum setting. However, a crucial ingredient in almost all applications of FHE is circuit verification. Classically, verification is performed by checking a transcript of the homomorphic computation. Quantumly, this strategy is impossible due to no-cloning. This leads to an important open question: can quantum computations be delegated and verified in a non-interactive manner? In this work, we answer this question in the affirmative, by constructing a scheme for QFHE with verification (vQFHE). Our scheme provides authenticated encryption, and enables arbitrary polynomial-time quantum computations without the need of interaction between client and server. Verification is almost entirely classical; for computations that start and end with classical states, it is completely classical. As a first application, we show how to construct quantum one-time programs from classical one-time programs and vQFHE.

1 aAlagic, Gorjan1 aDulek, Yfke1 aSchaffner, Christian1 aSpeelman, Florian uhttps://arxiv.org/abs/1708.0915602646nas a2200241 4500008004100000245008200041210006900123260001500192520190700207100002902114700002302143700001802166700002302184700001502207700002002222700002702242700002402269700001902293700002002312700001702332700001802349856003702367 2017 eng d00aOn the readiness of quantum optimization machines for industrial applications0 areadiness of quantum optimization machines for industrial applic c2017/08/313 a

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.

1 aPerdomo-Ortiz, Alejandro1 aFeldman, Alexander1 aOzaeta, Asier1 aIsakov, Sergei, V.1 aZhu, Zheng1 aO'Gorman, Bryan1 aKatzgraber, Helmut, G.1 aDiedrich, Alexander1 aNeven, Hartmut1 ade Kleer, Johan1 aLackey, Brad1 aBiswas, Rupak uhttps://arxiv.org/abs/1708.0978001811nas a2200145 4500008004100000245009400041210006900135260001500204520133900219100001901558700001601577700001601593700001901609856003701628 2017 eng d00aSuper-polynomial and exponential improvements for quantum-enhanced reinforcement learning0 aSuperpolynomial and exponential improvements for quantumenhanced c2017/12/123 a

Recent work on quantum machine learning has demonstrated that quantum computers can offer dramatic improvements over classical devices for data mining, prediction and classification. However, less is known about the advantages using quantum computers may bring in the more general setting of reinforcement learning, where learning is achieved via interaction with a task environment that provides occasional rewards. Reinforcement learning can incorporate data-analysis-oriented learning settings as special cases, but also includes more complex situations where, e.g., reinforcing feedback is delayed. In a few recent works, Grover-type amplification has been utilized to construct quantum agents that achieve up-to-quadratic improvements in learning efficiency. These encouraging results have left open the key question of whether super-polynomial improvements in learning times are possible for genuine reinforcement learning problems, that is problems that go beyond the other more restricted learning paradigms. In this work, we provide a family of such genuine reinforcement learning tasks. We construct quantum-enhanced learners which learn super-polynomially, and even exponentially faster than any classical reinforcement learning model, and we discuss the potential impact our results may have on future technologies.

1 aDunjko, Vedran1 aLiu, Yi-Kai1 aWu, Xingyao1 aTaylor, J., M. uhttps://arxiv.org/abs/1710.1116002040nas a2200193 4500008004100000245007800041210006900119260001500188300001000203490000800213520145000221100001601671700001801687700001601705700002101721700001501742700001501757856007401772 2016 eng d00aDemonstration of a small programmable quantum computer with atomic qubits0 aDemonstration of a small programmable quantum computer with atom c2016/08/04 a63-660 v5363 a

Quantum computers can solve certain problems more efficiently than any possible conventional computer. Small quantum algorithms have been demonstrated on multiple quantum computing platforms, many specifically tailored in hardware to implement a particular algorithm or execute a limited number of computational paths. Here, we demonstrate a five-qubit trapped-ion quantum computer that can be programmed in software to implement arbitrary quantum algorithms by executing any sequence of universal quantum logic gates. We compile algorithms into a fully-connected set of gate operations that are native to the hardware and have a mean fidelity of 98 %. Reconfiguring these gate sequences provides the flexibility to implement a variety of algorithms without altering the hardware. As examples, we implement the Deutsch-Jozsa (DJ) and Bernstein-Vazirani (BV) algorithms with average success rates of 95 % and 90 %, respectively. We also perform a coherent quantum Fourier transform (QFT) on five trappedion qubits for phase estimation and period finding with average fidelities of 62 % and 84 %, respectively. This small quantum computer can be scaled to larger numbers of qubits within a single register, and can be further expanded by connecting several such modules through ion shuttling or photonic quantum channels.

1 aDebnath, S.1 aLinke, N., M.1 aFiggatt, C.1 aLandsman, K., A.1 aWright, K.1 aMonroe, C. uhttp://www.nature.com/nature/journal/v536/n7614/full/nature18648.html01724nas a2200181 4500008004100000245005800041210005800099260001500157520121100172100001801383700001801401700002101419700001601440700001601456700001801472700001501490856003701505 2016 eng d00aExperimental demonstration of quantum fault tolerance0 aExperimental demonstration of quantum fault tolerance c2016/11/213 a

Quantum computers will eventually reach a size at which quantum error correction (QEC) becomes imperative. In order to make quantum information robust to errors introduced by qubit imperfections and flawed control operations, QEC protocols encode a logical qubit in multiple physical qubits. This redundancy allows the extraction of error syndromes and the subsequent correction or detection of errors without destroying the logical state itself through direct measurement. While several experiments have shown a reduction of high intrinsic or artificially introduced errors in logical qubits, fault-tolerant encoding of a logical qubit has never been demonstrated. Here we show the encoding and syndrome measurement of a fault-tolerant logical qubit via an error detection protocol on four physical qubits, represented by trapped atomic ions. This demonstrates for the first time the robustness of a fault-tolerant qubit to imperfections in the very operations used to encode it. This advantage persists in the face of large added error rates and experimental calibration errors.

1 aLinke, N., M.1 aGutierrez, M.1 aLandsman, K., A.1 aFiggatt, C.1 aDebnath, S.1 aBrown, K., R.1 aMonroe, C. uhttps://arxiv.org/abs/1611.0694601583nas a2200145 4500008004100000245006900041210006900110260001500179300001100194490000900205520112300214100002301337700002301360856005401383 2016 eng d00aLattice Laughlin states on the torus from conformal field theory0 aLattice Laughlin states on the torus from conformal field theory c2016/01/28 a0131020 v20163 aConformal 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.1 aDeshpande, Abhinav1 aNielsen, Anne, E B uhttp://stacks.iop.org/1742-5468/2016/i=1/a=01310209134nas a2200205 4500008004100000245007700041210006900118260001500187300001000202490000600212520852300218100001708741700002208758700001908780700002308799700001808822700001908840700002208859856004708881 2016 eng d00aMultiple scattering dynamics of fermions at an isolated p-wave resonance0 aMultiple scattering dynamics of fermions at an isolated pwave re c2016/07/11 a120690 v73 a

The wavefunction for indistinguishable fermions is anti-symmetric under particle exchange, which directly leads to the Pauli exclusion principle, and hence underlies the structure of atoms and the properties of almost all materials. In the dynamics of collisions between two indistinguishable fermions this requirement strictly prohibits scattering into 90 degree angles. Here we experimentally investigate the collisions of ultracold clouds fermionic 40K atoms by directly measuring scattering distributions. With increasing collision energy we identify the Wigner threshold for p-wave scattering with its tell-tale dumb-bell shape and no 90 yield. Above this threshold effects of multiple scattering become manifest as deviations from the underlying binary p-wave shape, adding particles either isotropically or axially. A shape resonance for 40K facilitates the separate observation of these two processes. The isotropically enhanced multiple scattering mode is a generic p-wave threshold phenomenon, while the axially enhanced mode should occur in any colliding particle system with an elastic scattering resonance.

1 aThomas, Ryan1 aRoberts, Kris, O.1 aTiesinga, Eite1 aWade, Andrew, C.J.1 aBlakie, Blair1 aDeb, Amita, B.1 aKjærgaard, Niels uhttp://www.nature.com/articles/ncomms1206901578nas a2200157 4500008004100000245003800041210003700079260001500116300001100131490000800142520115100150100001901301700001901320700002201339856005901361 2016 eng d00aQuantum-Enhanced Machine Learning0 aQuantumEnhanced Machine Learning c2016/09/20 a1305010 v1173 a

The emerging field of quantum machine learning has the potential to substantially aid in the problems and scope of artificial intelligence. This is only enhanced by recent successes in the field of classical machine learning. In this work we propose an approach for the systematic treatment of machine learning, from the perspective of quantum information. Our approach is general and covers all three main branches of machine learning: supervised, unsupervised, and reinforcement learning. While quantum improvements in supervised and unsupervised learning have been reported, reinforcement learning has received much less attention. Within our approach, we tackle the problem of quantum enhancements in reinforcement learning as well, and propose a systematic scheme for providing improvements. As an example, we show that quadratic improvements in learning efficiency, and exponential improvements in performance over limited time periods, can be obtained for a broad class of learning problems.

1 aDunjko, Vedran1 aTaylor, J., M.1 aBriegel, Hans, J. uhttp://link.aps.org/doi/10.1103/PhysRevLett.117.13050101548nas a2200157 4500008004100000245010700041210006900148260001500217520099200232100001801224700001601242700002501258700001701283700001601300856007401316 2015 eng d00aAtom induced cavities and tunable long-range interactions between atoms trapped near photonic crystals0 aAtom induced cavities and tunable longrange interactions between c2015/03/033 a

Using cold atoms to simulate strongly interacting quantum systems represents an exciting frontier of physics. However, achieving tunable, coherent long-range interactions between atoms is an outstanding challenge, which currently leaves a large class of models inaccessible to quantum simulation. Here, we propose a solution exploiting the powerful new platform of cold atoms trapped near nano-photonic systems. We show that the dielectric contrast of an atom trapped near a photonic crystal can seed a localized cavity mode around the atomic position. In a dynamic form of “all-atomic” cavity QED, the length of these cavity modes can be tuned, and atoms separated by the order of the e↵ective cavity length can interact coherently with each other. Considering realistic conditions such as fabrication disorder and photon losses, coherent long-range potentials or spin interactions can be dominant in the system over length scales up to hundreds of wavelengths.

1 aDouglas, J, S1 aHabibian, H1 aGorshkov, Alexey, V.1 aKimble, H, J1 aChang, D, E uhttp://www.nature.com/nphoton/journal/v9/n5/full/nphoton.2015.57.html01589nas a2200193 4500008004100000245008100041210006900122260001500191300001100206490000700217520100800224100002301232700002501255700001901280700001901299700002001318700002101338856003601359 2015 eng d00aDemonstration of Robust Quantum Gate Tomography via Randomized Benchmarking0 aDemonstration of Robust Quantum Gate Tomography via Randomized B c2015/11/05 a1130190 v173 a Typical quantum gate tomography protocols struggle with a self-consistency problem: the gate operation cannot be reconstructed without knowledge of the initial state and final measurement, but such knowledge cannot be obtained without well-characterized gates. A recently proposed technique, known as randomized benchmarking tomography (RBT), sidesteps this self-consistency problem by designing experiments to be insensitive to preparation and measurement imperfections. We implement this proposal in a superconducting qubit system, using a number of experimental improvements including implementing each of the elements of the Clifford group in single `atomic' pulses and custom control hardware to enable large overhead protocols. We show a robust reconstruction of several single-qubit quantum gates, including a unitary outside the Clifford group. We demonstrate that RBT yields physical gate reconstructions that are consistent with fidelities obtained by randomized benchmarking. 1 aJohnson, Blake, R.1 ada Silva, Marcus, P.1 aRyan, Colm, A.1 aKimmel, Shelby1 aChow, Jerry, M.1 aOhki, Thomas, A. uhttp://arxiv.org/abs/1505.0668601280nas a2200133 4500008004100000245005800041210005800099260001500157520087600172100001901048700001901067700002201086856003801108 2015 eng d00aFramework for learning agents in quantum environments0 aFramework for learning agents in quantum environments c2015/07/303 aIn this paper we provide a broad framework for describing learning agents in general quantum environments. We analyze the types of classically specified environments which allow for quantum enhancements in learning, by contrasting environments to quantum oracles. We show that whether or not quantum improvements are at all possible depends on the internal structure of the quantum environment. If the environments are constructed and the internal structure is appropriately chosen, or if the agent has limited capacities to influence the internal states of the environment, we show that improvements in learning times are possible in a broad range of scenarios. Such scenarios we call luck-favoring settings. The case of constructed environments is particularly relevant for the class of model-based learning agents, where our results imply a near-generic improvement. 1 aDunjko, Vedran1 aTaylor, J., M.1 aBriegel, Hans, J. uhttp://arxiv.org/abs/1507.08482v100602nas a2200193 4500008004100000022001400041245007400055210006900129260001500198300001400213490000600227100002000233700001700253700001600270700002500286700001900311700001800330856006000348 2015 eng d a1749-488500aQuantum many-body models with cold atoms coupled to photonic crystals0 aQuantum manybody models with cold atoms coupled to photonic crys c2015/04/04 a326 - 3310 v91 aDouglas, J., S.1 aHabibian, H.1 aHung, C.-L.1 aGorshkov, Alexey, V.1 aKimble, H., J.1 aChang, D., E. uhttp://www.nature.com/doifinder/10.1038/nphoton.2015.5701602nas a2200169 4500008004100000245007000041210006900111260001500180300001400195490000800209520110500217100001401322700001801336700002701354700001401381856003701395 2015 eng d00aUniversal Subspaces for Local Unitary Groups of Fermionic Systems0 aUniversal Subspaces for Local Unitary Groups of Fermionic System c2014/10/10 a541 - 5630 v3333 a Let $\mathcal{V}=\wedge^N V$ be the $N$-fermion Hilbert space with $M$-dimensional single particle space $V$ and $2N\le M$. We refer to the unitary group $G$ of $V$ as the local unitary (LU) group. We fix an orthonormal (o.n.) basis $\ket{v_1},...,\ket{v_M}$ of $V$. Then the Slater determinants $e_{i_1,...,i_N}:= \ket{v_{i_1}\we v_{i_2}\we...\we v_{i_N}}$ with $i_1<...3. If $M$ is even, the well known BCS states are not LU-equivalent to any single occupancy state. Our main result is that for N=3 and $M$ even there is a universal subspace $\cW\subseteq\cS$ spanned by $M(M-1)(M-5)/6$ states $e_{i_1,...,i_N}$. Moreover the number $M(M-1)(M-5)/6$ is minimal. 1 aChen, Lin1 aChen, Jianxin1 aDjokovic, Dragomir, Z.1 aZeng, Bei uhttp://arxiv.org/abs/1301.3421v201095nas a2200157 4500008004100000245009500041210007100136260001500207300001100222490000700233520056700240100001600807700002300823700002300846856006800869 2014 eng d00aRemote tomography and entanglement swapping via von Neumann–Arthurs–Kelly interaction 0 aRemote tomography and entanglement swapping via von Neumann–Arth c2014/05/09 a0521070 v893 aWe propose an interaction-based method for remote tomography and entanglement swapping. Alice arranges a von Neumann-Arthurs-Kelly interaction between a system particle P and two apparatus particles A1,A2, and then transports the latter to Bob. Bob can reconstruct the unknown initial state of particle P not received by him by quadrature measurements on A1,A2. Further, if another particle P′ in Alice's hands is EPR entangled with P, it will be EPR entangled with the distant pair A1,A2. This method will be contrasted with the usual teleportation protocols.1 aRoy, S., M.1 aDeshpande, Abhinav1 aSakharwade, Nitica uhttp://journals.aps.org/pra/abstract/10.1103/PhysRevA.89.05210701337nas a2200169 4500008004100000245007700041210006900118260001400187490000600201520082000207100001901027700002501046700001901071700002301090700001701113856003701130 2014 eng d00aRobust Extraction of Tomographic Information via Randomized Benchmarking0 aRobust Extraction of Tomographic Information via Randomized Benc c2014/3/250 v43 a We describe how randomized benchmarking can be used to reconstruct the unital part of any trace-preserving quantum map, which in turn is sufficient for the full characterization of any unitary evolution, or more generally, any unital trace-preserving evolution. This approach inherits randomized benchmarking's robustness to preparation and measurement imperfections, therefore avoiding systematic errors caused by these imperfections. We also extend these techniques to efficiently estimate the average fidelity of a quantum map to unitary maps outside of the Clifford group. The unitaries we consider include operations commonly used to achieve universal quantum computation in a fault-tolerant setting. In addition, we rigorously bound the time and sampling complexities of randomized benchmarking procedures. 1 aKimmel, Shelby1 ada Silva, Marcus, P.1 aRyan, Colm, A.1 aJohnson, Blake, R.1 aOhki, Thomas uhttp://arxiv.org/abs/1306.2348v101205nas a2200145 4500008004100000245007600041210006900117260001500186490000700201520076300208100001500971700001900986700001701005856003701022 2013 eng d00aIndividual Addressing in Quantum Computation through Spatial Refocusing0 aIndividual Addressing in Quantum Computation through Spatial Ref c2013/11/210 v883 a Separate addressing of individual qubits is a challenging requirement for scalable quantum computation, and crosstalk between operations on neighboring qubits remains as a significant source of noise for current experimental implementation of multi-qubit platforms. We propose a scheme based on spatial refocusing from interference of several coherent laser beams to significantly reduce the crosstalk noise for any type of quantum gates. A general framework is developed for the spatial refocusing technique, in particular with practical Gaussian beams, and we show under typical experimental conditions, the crosstalk-induced infidelity of quantum gates can be reduced by several orders of magnitude with a moderate cost of a few correction laser beams. 1 aShen, Chao1 aGong, Zhe-Xuan1 aDuan, Luming uhttp://arxiv.org/abs/1305.2798v301523nas a2200181 4500008004100000245009800041210006900139260001500208300001000223520092900233100002101162700002201183700001701205700001601222700002401238700002801262856005101290 2013 eng d00aMultilingual Summarization: Dimensionality Reduction and a Step Towards Optimal Term Coverage0 aMultilingual Summarization Dimensionality Reduction and a Step T c2013/08/09 a55-633 aIn this paper we present three term weighting approaches for multi-lingual document summarization and give results on the DUC 2002 data as well as on the 2013 Multilingual Wikipedia feature articles data set. We introduce a new intervalbounded nonnegative matrix factorization. We use this new method, latent semantic analysis (LSA), and latent Dirichlet allocation (LDA) to give three term-weighting methods for multi-document multi-lingual summarization. Results on DUC and TAC data, as well as on the MultiLing 2013 data, demonstrate that these methods are very promising, since they achieve oracle coverage scores in the range of humans for 6 of the 10 test languages. Finally, we present three term weighting approaches for the MultiLing13 single document summarization task on the Wikipedia featured articles. Our submissions signifi- cantly outperformed the baseline in 19 out of 41 languages. 1 aConroy, John, M.1 aDavis, Sashka, T.1 aKubina, Jeff1 aLiu, Yi-Kai1 aO'Leary, Dianne, P.1 aSchlesinger, Judith, D. uhttp://aclweb.org/anthology/W/W13/W13-3108.pdf01207nas a2200145 4500008004100000245008800041210006900129260001500198300001100213490000700224520075600231100001900987700001801006856003701024 2013 eng d00aPrethermalization and dynamical transition in an isolated trapped ion spin chain 0 aPrethermalization and dynamical transition in an isolated trappe c2013/11/26 a1130510 v153 a We propose an experimental scheme to observe prethermalization and dynamical transition in one-dimensional XY spin chain with long range interaction and inhomogeneous lattice spacing, which can be readily implemented with the recently developed trapped-ion quantum simulator. Local physical observables are found to relax to prethermal values at intermediate time scale, followed by complete relaxation to thermal values at much longer time. The physical origin of prethermalization is explained by spotting a non-trivial structure in lower half of the energy spectrum. The dynamical behavior of the system is shown to cross difference phases when the interaction range is continuously tuned, indicating the existence of dynamical phase transition. 1 aGong, Zhe-Xuan1 aDuan, L., -M. uhttp://arxiv.org/abs/1305.0985v101995nas a2200205 4500008004100000245005100041210005100092260001300143490000700156520142000163100002001583700001901603700002301622700002401645700001801669700002301687700001701710700002501727856003701752 2013 eng d00aQuantum Logic between Remote Quantum Registers0 aQuantum Logic between Remote Quantum Registers c2013/2/60 v873 a We analyze two approaches to quantum state transfer in solid-state spin systems. First, we consider unpolarized spin-chains and extend previous analysis to various experimentally relevant imperfections, including quenched disorder, dynamical decoherence, and uncompensated long range coupling. In finite-length chains, the interplay between disorder-induced localization and decoherence yields a natural optimal channel fidelity, which we calculate. Long-range dipolar couplings induce a finite intrinsic lifetime for the mediating eigenmode; extensive numerical simulations of dipolar chains of lengths up to L=12 show remarkably high fidelity despite these decay processes. We further consider the extension of the protocol to bosonic systems of coupled oscillators. Second, we introduce a quantum mirror based architecture for universal quantum computing which exploits all of the spins in the system as potential qubits. While this dramatically increases the number of qubits available, the composite operations required to manipulate "dark" spin qubits significantly raise the error threshold for robust operation. Finally, as an example, we demonstrate that eigenmode-mediated state transfer can enable robust long-range logic between spatially separated Nitrogen-Vacancy registers in diamond; numerical simulations confirm that high fidelity gates are achievable even in the presence of moderate disorder. 1 aYao, Norman, Y.1 aGong, Zhe-Xuan1 aLaumann, Chris, R.1 aBennett, Steven, D.1 aDuan, L., -M.1 aLukin, Mikhail, D.1 aJiang, Liang1 aGorshkov, Alexey, V. uhttp://arxiv.org/abs/1206.0014v101244nas a2200241 4500008004100000245008400041210006900125260001300194300001400207490000600221520055700227100001600784700001300800700001900813700002100832700002000853700001900873700002300892700001100915700002000926700001900946856003700965 2013 eng d00aSelf-Consistent Measurement and State Tomography of an Exchange-Only Spin Qubit0 aSelfConsistent Measurement and State Tomography of an ExchangeOn c2013/9/1 a654 - 6590 v83 aWe report initialization, complete electrical control, and single-shot readout of an exchange-only spin qubit. Full control via the exchange interaction is fast, yielding a demonstrated 75 qubit rotations in under 2 ns. Measurement and state tomography are performed using a maximum-likelihood estimator method, allowing decoherence, leakage out of the qubit state space, and measurement fidelity to be quantified. The methods developed here are generally applicable to systems with state leakage, noisy measurements, and non-orthogonal control axes. 1 aMedford, J.1 aBeil, J.1 aTaylor, J., M.1 aBartlett, S., D.1 aDoherty, A., C.1 aRashba, E., I.1 aDiVincenzo, D., P.1 aLu, H.1 aGossard, A., C.1 aMarcus, C., M. uhttp://arxiv.org/abs/1302.1933v101034nas a2200169 4500008004100000245005800041210005700099260001500156490000800171520053900179100002100718700001800739700002300757700002900780700001800809856003700827 2013 eng d00aSingle-photon nonlinear optics with graphene plasmons0 aSinglephoton nonlinear optics with graphene plasmons c2013/12/110 v1113 a We show that it is possible to realize significant nonlinear optical interactions at the few photon level in graphene nanostructures. Our approach takes advantage of the electric field enhancement associated with the strong confinement of graphene plasmons and the large intrinsic nonlinearity of graphene. Such a system could provide a powerful platform for quantum nonlinear optical control of light. As an example, we consider an integrated optical device that exploits this large nonlinearity to realize a single photon switch. 1 aGullans, Michael1 aChang, D., E.1 aKoppens, F., H. L.1 ade Abajo, F., J. García1 aLukin, M., D. uhttp://arxiv.org/abs/1309.2651v302008nas a2200193 4500008004100000245007500041210006900116260001400185490000700199520143800206100001801644700002101662700001801683700002401701700001701725700002101742700001401763856003701777 2013 eng d00aUniqueness of Quantum States Compatible with Given Measurement Results0 aUniqueness of Quantum States Compatible with Given Measurement R c2013/7/110 v883 a We discuss the uniqueness of quantum states compatible with given results for measuring a set of observables. For a given pure state, we consider two different types of uniqueness: (1) no other pure state is compatible with the same measurement results and (2) no other state, pure or mixed, is compatible with the same measurement results. For case (1), it is known that for a d-dimensional Hilbert space, there exists a set of 4d-5 observables that uniquely determines any pure state. We show that for case (2), 5d-7 observables suffice to uniquely determine any pure state. Thus there is a gap between the results for (1) and (2), and we give some examples to illustrate this. The case of observables corresponding to reduced density matrices (RDMs) of a multipartite system is also discussed, where we improve known bounds on local dimensions for case (2) in which almost all pure states are uniquely determined by their RDMs. We further discuss circumstances where (1) can imply (2). We use convexity of the numerical range of operators to show that when only two observables are measured, (1) always implies (2). More generally, if there is a compact group of symmetries of the state space which has the span of the observables measured as the set of fixed points, then (1) implies (2). We analyze the possible dimensions for the span of such observables. Our results extend naturally to the case of low rank quantum states. 1 aChen, Jianxin1 aDawkins, Hillary1 aJi, Zhengfeng1 aJohnston, Nathaniel1 aKribs, David1 aShultz, Frederic1 aZeng, Bei uhttp://arxiv.org/abs/1212.3503v201295nas a2200145 4500008004100000245005300041210005000094260002500144300001600169490000700185520083300192100002001025700001701045856008701062 2012 eng d00aOn Galilean connections and the first jet bundle0 aGalilean connections and the first jet bundle bSpringerc2012/10/01 a1889–18950 v103 aWe see how the first jet bundle of curves into affine space can be realized as a homogeneous space of the Galilean group. Cartan connections with this model are precisely the geometric structure of second-order ordinary differential equations under time-preserving transformations — sometimes called KCC-theory. With certain regularity conditions, we show that any such Cartan connection induces “laboratory” coordinate systems, and the geodesic equations in this coordinates form a system of second-order ordinary differential equations. We then show the converse — the “fundamental theorem” — that given such a coordinate system, and a system of second order ordinary differential equations, there exists regular Cartan connections yielding these, and such connections are completely determined by their torsion.1 aDE Grant, James1 aLackey, Brad uhttps://www.quics.umd.edu/publications/galilean-connections-and-first-jet-bundle-001592nas a2200205 4500008004100000245012500041210006900166260001500235520091800250100001801168700002001186700002601206700002001232700001901252700001901271700001801290700002101308700002001329856003701349 2012 eng d00aPhotonic quantum simulation of ground state configurations of Heisenberg square and checkerboard lattice spin systems 0 aPhotonic quantum simulation of ground state configurations of He c2012/05/123 a 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. 1 aMa, Xiao-song1 aDakic, Borivoje1 aKropatsche, Sebastian1 aNaylor, William1 aChan, Yang-hao1 aGong, Zhe-Xuan1 aDuan, Lu-ming1 aZeilinger, Anton1 aWalther, Philip uhttp://arxiv.org/abs/1205.2801v101417nas a2200253 4500008004100000245008300041210006900124260001500193300001100208490000700219520068500226100002200911700001600933700002300949700001900972700002300991700001901014700001801033700001701051700001801068700001601086700002401102856003701126 2012 eng d00aQuantum Simulation of Spin Models on an Arbitrary Lattice with Trapped Ions 0 aQuantum Simulation of Spin Models on an Arbitrary Lattice with T c2012/09/27 a0950240 v143 a A collection of trapped atomic ions represents one of the most attractive platforms for the quantum simulation of interacting spin networks and quantum magnetism. Spin-dependent optical dipole forces applied to an ion crystal create long-range effective spin-spin interactions and allow the simulation of spin Hamiltonians that possess nontrivial phases and dynamics. Here we show how appropriate design of laser fields can provide for arbitrary multidimensional spin-spin interaction graphs even for the case of a linear spatial array of ions. This scheme uses currently existing trap technology and is scalable to levels where classical methods of simulation are intractable. 1 aKorenblit, Simcha1 aKafri, Dvir1 aCampbell, Wess, C.1 aIslam, Rajibul1 aEdwards, Emily, E.1 aGong, Zhe-Xuan1 aLin, Guin-Dar1 aDuan, Luming1 aKim, Jungsang1 aKim, Kihwan1 aMonroe, Christopher uhttp://arxiv.org/abs/1201.0776v100674nas a2200193 4500008004100000245006100041210005900102260001500161520012900176100001700305700001900322700001800341700001700359700001600376700001600392700001800408700001700426856003700443 2012 eng d00aReply to Comment on "Space-Time Crystals of Trapped Ions0 aReply to Comment on SpaceTime Crystals of Trapped Ions c2012/10/153 a This is a reply to the comment from Patrick Bruno (arXiv:1211.4792) on our paper (Phys. Rev. Lett. 109, 163001 (2012)). 1 aLi, Tongcang1 aGong, Zhe-Xuan1 aYin, Zhang-qi1 aQuan, H., T.1 aYin, Xiaobo1 aZhang, Peng1 aDuan, L., -M.1 aZhang, Xiang uhttp://arxiv.org/abs/1212.6959v201472nas a2200217 4500008004100000245004000041210003900081260001500120300001100135490000800146520090500154100001701059700001901076700001801095700001701113700001601130700001601146700001601162700001701178856005901195 2012 eng d00aSpace-Time Crystals of Trapped Ions0 aSpaceTime Crystals of Trapped Ions c2012/10/19 a1630010 v1093 aSpontaneous symmetry breaking can lead to the formation of time crystals, as well as spatial crystals. Here we propose a space-time crystal of trapped ions and a method to realize it experimentally by confining ions in a ring-shaped trapping potential with a static magnetic field. The ions spontaneously form a spatial ring crystal due to Coulomb repulsion. This ion crystal can rotate persistently at the lowest quantum energy state in magnetic fields with fractional fluxes. The persistent rotation of trapped ions produces the temporal order, leading to the formation of a space-time crystal. We show that these space-time crystals are robust for direct experimental observation. We also study the effects of finite temperatures on the persistent rotation. The proposed space-time crystals of trapped ions provide a new dimension for exploring many-body physics and emerging properties of matter.1 aLi, Tongcang1 aGong, Zhe-Xuan1 aYin, Zhang-Qi1 aQuan, H., T.1 aYin, Xiaobo1 aZhang, Peng1 aDuan, L.-M.1 aZhang, Xiang uhttp://link.aps.org/doi/10.1103/PhysRevLett.109.16300101233nas a2200157 4500008004100000245006500041210006300106260001400169490000800183520075800191100002300949700002200972700002400994700002001018856003701038 2012 eng d00aSteady-state many-body entanglement of hot reactive fermions0 aSteadystate manybody entanglement of hot reactive fermions c2012/12/40 v1093 a Entanglement is typically created via systematic intervention in the time evolution of an initially unentangled state, which can be achieved by coherent control, carefully tailored non-demolition measurements, or dissipation in the presence of properly engineered reservoirs. In this paper we show that two-component Fermi gases at ~\mu K temperatures naturally evolve, in the presence of reactive two-body collisions, into states with highly entangled (Dicke-type) spin wavefunctions. The entanglement is a steady-state property that emerges---without any intervention---from uncorrelated initial states, and could be used to improve the accuracy of spectroscopy in experiments with fermionic alkaline earth atoms or fermionic groundstate molecules. 1 aFoss-Feig, Michael1 aDaley, Andrew, J.1 aThompson, James, K.1 aRey, Ana, Maria uhttp://arxiv.org/abs/1207.4741v101339nas a2200193 4500008004100000245005300041210005300094260001500147490000800162520078600170100002000956700002300976700002500999700002401024700001901048700001801067700002301085856003701108 2012 eng d00aTopological Flat Bands from Dipolar Spin Systems0 aTopological Flat Bands from Dipolar Spin Systems c2012/12/260 v1093 a We propose and analyze a physical system that naturally admits two-dimensional topological nearly flat bands. Our approach utilizes an array of three-level dipoles (effective S = 1 spins) driven by inhomogeneous electromagnetic fields. The dipolar interactions produce arbitrary uniform background gauge fields for an effective collection of conserved hardcore bosons, namely, the dressed spin-flips. These gauge fields result in topological band structures, whose bandgap can be larger than the corresponding bandwidth. Exact diagonalization of the full interacting Hamiltonian at half-filling reveals the existence of superfluid, crystalline, and supersolid phases. An experimental realization using either ultra-cold polar molecules or spins in the solid state is considered. 1 aYao, Norman, Y.1 aLaumann, Chris, R.1 aGorshkov, Alexey, V.1 aBennett, Steven, D.1 aDemler, Eugene1 aZoller, Peter1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1207.4479v300744nas a2200121 4500008004100000245009800041210006900139260001500208520032500223100001900548700001800567856003700585 2011 eng d00aComment on "Foundation of Statistical Mechanics under Experimentally Realistic Conditions" 0 aComment on Foundation of Statistical Mechanics under Experimenta c2011/09/223 a Reimann [Phys. Rev. Lett. 101, 190403 (2008)] claimed that generic isolated macroscopic quantum system will equilibrate under experimentally realistic conditions by proving a theorem. We here show that the proof is invalid for most many-body systems and is unable to demonstrate equilibration in realistic experiment. 1 aGong, Zhe-Xuan1 aDuan, L., -M. uhttp://arxiv.org/abs/1109.4696v101241nas a2200181 4500008004100000245007500041210006900116260001500185490000700200520070200207100001300909700001500922700001900937700002000956700002300976700002300999856003701022 2011 eng d00aDetecting paired and counterflow superfluidity via dipole oscillations0 aDetecting paired and counterflow superfluidity via dipole oscill c2011/10/270 v843 a We suggest an experimentally feasible procedure to observe paired and counterflow superfluidity in ultra-cold atom systems. We study the time evolution of one-dimensional mixtures of bosonic atoms in an optical lattice following an abrupt displacement of an additional weak confining potential. We find that the dynamic responses of the paired superfluid phase for attractive inter-species interactions and the counterflow superfluid phase for repulsive interactions are qualitatively distinct and reflect the quasi long-range order that characterizes these states. These findings suggest a clear experimental procedure to detect these phases, and give an intuitive insight into their dynamics. 1 aHu, Anzi1 aMathey, L.1 aTiesinga, Eite1 aDanshita, Ippei1 aWilliams, Carl, J.1 aClark, Charles, W. uhttp://arxiv.org/abs/1103.3513v301276nas a2200157 4500008004100000245008200041210006900123260001500192300001100207490000700218520080100225100001901026700001801045700001801063856003701081 2011 eng d00aDynamics of Overhauser Field under nuclear spin diffusion in a quantum dot 0 aDynamics of Overhauser Field under nuclear spin diffusion in a q c2011/03/25 a0330360 v133 a The coherence of electron spin can be significantly enhanced by locking the Overhauser field from nuclear spins using the nuclear spin preparation. We propose a theoretical model to calculate the long time dynamics of the Overhauser field under intrinsic nuclear spin diffusion in a quantum dot. We obtain a simplified diffusion equation that can be numerically solved and show quantitatively how the Knight shift and the electron-mediated nuclear spin flip-flop affect the nuclear spin diffusion. The results explain several recent experimental observations, where the decay time of Overhauser field is measured under different configurations, including variation of the external magnetic field, the electron spin configuration in a double dot, and the initial nuclear spin polarization rate. 1 aGong, Zhe-Xuan1 aYin, Zhang-qi1 aDuan, L., -M. uhttp://arxiv.org/abs/0912.4322v102114nas a2200169 4500008004100000245009200041210006900133260001300202490000700215520160400222100001801826700001401844700001701858700001801875700001401893856003701907 2011 eng d00aNo-go Theorem for One-way Quantum Computing on Naturally Occurring Two-level Systems 0 aNogo Theorem for Oneway Quantum Computing on Naturally Occurring c2011/5/90 v833 a One-way quantum computing achieves the full power of quantum computation by performing single particle measurements on some many-body entangled state, known as the resource state. As single particle measurements are relatively easy to implement, the preparation of the resource state becomes a crucial task. An appealing approach is simply to cool a strongly correlated quantum many-body system to its ground state. In addition to requiring the ground state of the system to be universal for one-way quantum computing, we also want the Hamiltonian to have non-degenerate ground state protected by a fixed energy gap, to involve only two-body interactions, and to be frustration-free so that measurements in the course of the computation leave the remaining particles in the ground space. Recently, significant efforts have been made to the search of resource states that appear naturally as ground states in spin lattice systems. The approach is proved to be successful in spin-5/2 and spin-3/2 systems. Yet, it remains an open question whether there could be such a natural resource state in a spin-1/2, i.e., qubit system. Here, we give a negative answer to this question by proving that it is impossible for a genuinely entangled qubit states to be a non-degenerate ground state of any two-body frustration-free Hamiltonian. What is more, we prove that every spin-1/2 frustration-free Hamiltonian with two-body interaction always has a ground state that is a product of single- or two-qubit states, a stronger result that is interesting independent of the context of one-way quantum computing. 1 aChen, Jianxin1 aChen, Xie1 aDuan, Runyao1 aJi, Zhengfeng1 aZeng, Bei uhttp://arxiv.org/abs/1004.3787v101573nas a2200181 4500008004100000245004700041210004700088260001400135490000700149520106900156100002501225700002701250700001501277700001901292700002301311700002001334856003701354 2011 eng d00aQuantum Magnetism with Polar Alkali Dimers0 aQuantum Magnetism with Polar Alkali Dimers c2011/9/150 v843 a We show that dipolar interactions between ultracold polar alkali dimers in optical lattices can be used to realize a highly tunable generalization of the t-J model, which we refer to as the t-J-V-W model. The model features long-range spin-spin interactions J_z and J_perp of XXZ type, long-range density-density interaction V, and long-range density-spin interaction W, all of which can be controlled in both magnitude and sign independently of each other and of the tunneling t. The "spin" is encoded in the rotational degree of freedom of the molecules, while the interactions are controlled by applied static electric and continuous-wave microwave fields. Furthermore, we show that nuclear spins of the molecules can be used to implement an additional (orbital) degree of freedom that is coupled to the original rotational degree of freedom in a tunable way. The presented system is expected to exhibit exotic physics and to provide insights into strongly correlated phenomena in condensed matter systems. Realistic experimental imperfections are discussed. 1 aGorshkov, Alexey, V.1 aManmana, Salvatore, R.1 aChen, Gang1 aDemler, Eugene1 aLukin, Mikhail, D.1 aRey, Ana, Maria uhttp://arxiv.org/abs/1106.1655v100483nas a2200169 4500008004100000245005300041210005200094300001100146490000700157100002500164700001800189700001200207700001400219700001600233700001400249856005000263 2011 eng d00aQuantum magnetism with polar alkali-metal dimers0 aQuantum magnetism with polar alkalimetal dimers a0336190 v841 aGorshkov, Alexey, V.1 aManmana, S, R1 aChen, G1 aDemler, E1 aLukin, M, D1 aRey, A, M uhttp://link.aps.org/abstract/PRA/v84/e033619/01404nas a2200193 4500008004100000245006800041210006800109260001400177490000800191520083700199100002001036700001701056700002501073700001901098700001501117700001801132700002301150856003701173 2011 eng d00aRobust Quantum State Transfer in Random Unpolarized Spin Chains0 aRobust Quantum State Transfer in Random Unpolarized Spin Chains c2011/1/270 v1063 a We propose and analyze a new approach for quantum state transfer between remote spin qubits. Specifically, we demonstrate that coherent quantum coupling between remote qubits can be achieved via certain classes of random, unpolarized (infinite temperature) spin chains. Our method is robust to coupling strength disorder and does not require manipulation or control over individual spins. In principle, it can be used to attain perfect state transfer over arbitrarily long range via purely Hamiltonian evolution and may be particularly applicable in a solid-state quantum information processor. As an example, we demonstrate that it can be used to attain strong coherent coupling between Nitrogen-Vacancy centers separated by micrometer distances at room temperature. Realistic imperfections and decoherence effects are analyzed. 1 aYao, Norman, Y.1 aJiang, Liang1 aGorshkov, Alexey, V.1 aGong, Zhe-Xuan1 aZhai, Alex1 aDuan, L., -M.1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1011.2762v201551nas a2200193 4500008004100000245008200041210006900123260001300192490000800205520096600213100002501179700002701204700001501231700001201246700001901258700002301277700002001300856003701320 2011 eng d00aTunable Superfluidity and Quantum Magnetism with Ultracold Polar Molecules 0 aTunable Superfluidity and Quantum Magnetism with Ultracold Polar c2011/9/80 v1073 a By selecting two dressed rotational states of ultracold polar molecules in an optical lattice, we obtain a highly tunable generalization of the t-J model, which we refer to as the t-J-V-W model. In addition to XXZ spin exchange, the model features density-density interactions and novel density-spin interactions; all interactions are dipolar. We show that full control of all interaction parameters in both magnitude and sign can be achieved independently of each other and of the tunneling. As a first step towards demonstrating the potential of the system, we apply the density matrix renormalization group method (DMRG) to obtain the 1D phase diagram of the simplest experimentally realizable case. Specifically, we show that the tunability and the long-range nature of the interactions in the t-J-V-W model enable enhanced superfluidity. Finally, we show that Bloch oscillations in a tilted lattice can be used to probe the phase diagram experimentally. 1 aGorshkov, Alexey, V.1 aManmana, Salvatore, R.1 aChen, Gang1 aYe, Jun1 aDemler, Eugene1 aLukin, Mikhail, D.1 aRey, Ana, Maria uhttp://arxiv.org/abs/1106.1644v101036nas a2200181 4500008004100000245006600041210006500107260001400172490000700186520050100193100002500694700001700719700002100736700001800757700002300775700001900798856003700817 2010 eng d00aAdiabatic preparation of many-body states in optical lattices0 aAdiabatic preparation of manybody states in optical lattices c2010/6/220 v813 a We analyze a technique for the preparation of low entropy many body states of atoms in optical lattices based on adiabatic passage. In particular, we show that this method allows preparation of strongly correlated states as stable highest energy states of Hamiltonians that have trivial ground states. As an example, we analyze the generation of antiferromagnetically ordered states by adiabatic change of a staggered field acting on the spins of bosonic atoms with ferromagnetic interactions. 1 aSorensen, Anders, S.1 aAltman, Ehud1 aGullans, Michael1 aPorto, J., V.1 aLukin, Mikhail, D.1 aDemler, Eugene uhttp://arxiv.org/abs/0906.2567v301374nas a2200133 4500008004100000245008300041210006900124260001500193520094600208100001401154700001801168700001701186856003701203 2010 eng d00aOptimal Perfect Distinguishability between Unitaries and Quantum Operations 0 aOptimal Perfect Distinguishability between Unitaries and Quantum c2010/10/123 a We study optimal perfect distinguishability between a unitary and a general quantum operation. In 2-dimensional case we provide a simple sufficient and necessary condition for sequential perfect distinguishability and an analytical formula of optimal query time. We extend the sequential condition to general d-dimensional case. Meanwhile, we provide an upper bound and a lower bound for optimal sequential query time. In the process a new iterative method is given, the most notable innovation of which is its independence to auxiliary systems or entanglement. Following the idea, we further obtain an upper bound and a lower bound of (entanglement-assisted) q-maximal fidelities between a unitary and a quantum operation. Thus by the recursion in [1] an upper bound and a lower bound for optimal general perfect discrimination are achieved. Finally our lower bound result can be extended to the case of arbitrary two quantum operations. 1 aLu, Cheng1 aChen, Jianxin1 aDuan, Runyao uhttp://arxiv.org/abs/1010.2298v101038nas a2200169 4500008004100000245008300041210006900124260001300193490000800206520050000214100002500714700002400739700001900763700002600782700002300808856003700831 2010 eng d00aPhotonic Phase Gate via an Exchange of Fermionic Spin Waves in a Spin Chain 0 aPhotonic Phase Gate via an Exchange of Fermionic Spin Waves in a c2010/8/50 v1053 a We propose a new protocol for implementing the two-qubit photonic phase gate. In our approach, the pi phase is acquired by mapping two single photons into atomic excitations with fermionic character and exchanging their positions. The fermionic excitations are realized as spin waves in a spin chain, while photon storage techniques provide the interface between the photons and the spin waves. Possible imperfections and experimental systems suitable for implementing the gate are discussed. 1 aGorshkov, Alexey, V.1 aOtterbach, Johannes1 aDemler, Eugene1 aFleischhauer, Michael1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1001.0968v301144nas a2200145 4500008004100000245010200041210006900143260001500212490000800227520067200235100001900907700001700926700001800943856003700961 2010 eng d00aTemperature driven structural phase transition for trapped ions and its experimental detection 0 aTemperature driven structural phase transition for trapped ions  c2010/12/290 v1053 a A Wigner crystal formed with trapped ion can undergo structural phase transition, which is determined only by the mechanical conditions on a classical level. Instead of this classical result, we show that through consideration of quantum and thermal fluctuation, a structural phase transition can be solely driven by change of the system's temperature. We determine a finite-temperature phase diagram for trapped ions using the renormalization group method and the path integral formalism, and propose an experimental scheme to observe the predicted temperature-driven structural phase transition, which is well within the reach of the current ion trap technology. 1 aGong, Zhe-Xuan1 aLin, G., -D.1 aDuan, L., -M. uhttp://arxiv.org/abs/1009.0089v100622nas a2200217 4500008004100000245006800041210006400109300000800173490000600181100002500187700001500212700001500227700001000242700001900252700001000271700001400281700001400295700001600309700001400325856006500339 2010 eng d00aTwo-orbital SU(N) magnetism with ultracold alkaline-earth atoms0 aTwoorbital SUN magnetism with ultracold alkalineearth atoms a2890 v61 aGorshkov, Alexey, V.1 aHermele, M1 aGurarie, V1 aXu, C1 aJulienne, P, S1 aYe, J1 aZoller, P1 aDemler, E1 aLukin, M, D1 aRey, A, M uhttp://www.nature.com/nphys/journal/v6/n4/abs/nphys1535.html01223nas a2200193 4500008004100000245006200041210005900103260001400162490000800176520066700184100002500851700002000876700002200896700002100918700001200939700001800951700002300969856003700992 2009 eng d00aAlkaline-Earth-Metal Atoms as Few-Qubit Quantum Registers0 aAlkalineEarthMetal Atoms as FewQubit Quantum Registers c2009/3/180 v1023 a We propose and analyze a novel approach to quantum information processing, in which multiple qubits can be encoded and manipulated using electronic and nuclear degrees of freedom associated with individual alkaline-earth atoms trapped in an optical lattice. Specifically, we describe how the qubits within each register can be individually manipulated and measured with sub-wavelength optical resolution. We also show how such few-qubit registers can be coupled to each other in optical superlattices via conditional tunneling to form a scalable quantum network. Finally, potential applications to quantum computation and precision measurements are discussed. 1 aGorshkov, Alexey, V.1 aRey, Ana, Maria1 aDaley, Andrew, J.1 aBoyd, Martin, M.1 aYe, Jun1 aZoller, Peter1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/0812.3660v201819nas a2200181 4500008004100000245009700041210006900138260001400207490000700221520125900228100001301487700001501500700002001515700001901535700002301554700002301577856003701600 2009 eng d00aCounterflow and paired superfluidity in one-dimensional Bose mixtures in optical lattices 0 aCounterflow and paired superfluidity in onedimensional Bose mixt c2009/8/240 v803 a We study the quantum phases of mixtures of ultra-cold bosonic atoms held in an optical lattice that confines motion or hopping to one spatial dimension. The phases are found by using Tomonaga-Luttinger liquid theory as well as the numerical method of time evolving block decimation (TEBD). We consider a binary mixture with repulsive intra-species interactions, and either repulsive or attractive inter-species interaction. For a homogeneous system, we find paired- and counterflow-superfluid phases at different filling and hopping energies. We also predict parameter regions in which these types of superfluid order coexist with charge density wave order. We show that the Tomonaga-Luttinger liquid theory and TEBD qualitatively agree on the location of the phase boundary to superfluidity. We then describe how these phases are modified and can be detected when an additional harmonic trap is present. In particular, we show how experimentally measurable quantities, such as time-of-flight images and the structure factor, can be used to distinguish the quantum phases. Finally, we suggest applying a Feshbach ramp to detect the paired superfluid state, and a $\pi/2$ pulse followed by Bragg spectroscopy to detect the counterflow superfluid phase. 1 aHu, Anzi1 aMathey, L.1 aDanshita, Ippei1 aTiesinga, Eite1 aWilliams, Carl, J.1 aClark, Charles, W. uhttp://arxiv.org/abs/0906.2150v101343nas a2200193 4500008004100000245007300041210006900114260001300183490000700196520075700203100001400960700002500974700002100999700002601020700002001046700002301066700002301089856003701112 2009 eng d00aRealization of Coherent Optically Dense Media via Buffer-Gas Cooling0 aRealization of Coherent Optically Dense Media via BufferGas Cool c2009/1/60 v793 a We demonstrate that buffer-gas cooling combined with laser ablation can be used to create coherent optical media with high optical depth and low Doppler broadening that offers metastable states with low collisional and motional decoherence. Demonstration of this generic technique opens pathways to coherent optics with a large variety of atoms and molecules. We use helium buffer gas to cool 87Rb atoms to below 7 K and slow atom diffusion to the walls. Electromagnetically induced transparency (EIT) in this medium allows for 50% transmission in a medium with initial OD >70 and for slow pulse propagation with large delay-bandwidth products. In the high-OD regime, we observe high-contrast spectrum oscillations due to efficient four-wave mixing. 1 aHong, Tao1 aGorshkov, Alexey, V.1 aPatterson, David1 aZibrov, Alexander, S.1 aDoyle, John, M.1 aLukin, Mikhail, D.1 aPrentiss, Mara, G. uhttp://arxiv.org/abs/0805.1416v201661nas a2200217 4500008004100000245007400041210006900115260001400184300001400198490000600212520102000218100001701238700002301255700002501278700002201303700002101325700001901346700002301365700001801388856003701406 2008 eng d00aAnyonic interferometry and protected memories in atomic spin lattices0 aAnyonic interferometry and protected memories in atomic spin lat c2008/4/20 a482 - 4880 v43 a Strongly correlated quantum systems can exhibit exotic behavior called topological order which is characterized by non-local correlations that depend on the system topology. Such systems can exhibit remarkable phenomena such as quasi-particles with anyonic statistics and have been proposed as candidates for naturally fault-tolerant quantum computation. Despite these remarkable properties, anyons have never been observed in nature directly. Here we describe how to unambiguously detect and characterize such states in recently proposed spin lattice realizations using ultra-cold atoms or molecules trapped in an optical lattice. We propose an experimentally feasible technique to access non-local degrees of freedom by performing global operations on trapped spins mediated by an optical cavity mode. We show how to reliably read and write topologically protected quantum memory using an atomic or photonic qubit. Furthermore, our technique can be used to probe statistics and dynamics of anyonic excitations. 1 aJiang, Liang1 aBrennen, Gavin, K.1 aGorshkov, Alexey, V.1 aHammerer, Klemens1 aHafezi, Mohammad1 aDemler, Eugene1 aLukin, Mikhail, D.1 aZoller, Peter uhttp://arxiv.org/abs/0711.1365v101409nas a2200193 4500008004100000245006800041210006800109260001400177490000800191520083700199100001701036700002501053700001601078700002001094700002201114700001901136700002301155856003701178 2008 eng d00aCoherence of an optically illuminated single nuclear spin qubit0 aCoherence of an optically illuminated single nuclear spin qubit c2008/2/190 v1003 aWe investigate the coherence properties of individual nuclear spin quantum bits in diamond [Dutt et al., Science, 316, 1312 (2007)] when a proximal electronic spin associated with a nitrogen-vacancy (NV) center is being interrogated by optical radiation. The resulting nuclear spin dynamics are governed by time-dependent hyperfine interaction associated with rapid electronic transitions, which can be described by a spin-fluctuator model. We show that due to a process analogous to motional averaging in nuclear magnetic resonance, the nuclear spin coherence can be preserved after a large number of optical excitation cycles. Our theoretical analysis is in good agreement with experimental results. It indicates a novel approach that could potentially isolate the nuclear spin system completely from the electronic environment. 1 aJiang, Liang1 aDutt, M., V. Gurudev1 aTogan, Emre1 aChildress, Lily1 aCappellaro, Paola1 aTaylor, J., M.1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/0707.1341v201032nas a2200181 4500008004100000245003700041210003700078260001500115300001100130490000700141520058000148100001800728700001700746700001800763700002000781700001200801856003700813 2008 eng d00aExistence of Universal Entangler0 aExistence of Universal Entangler c2008/01/01 a0121030 v493 a A gate is called entangler if it transforms some (pure) product states to entangled states. A universal entangler is a gate which transforms all product states to entangled states. In practice, a universal entangler is a very powerful device for generating entanglements, and thus provides important physical resources for accomplishing many tasks in quantum computing and quantum information. This Letter demonstrates that a universal entangler always exists except for a degenerated case. Nevertheless, the problem how to find a universal entangler remains open. 1 aChen, Jianxin1 aDuan, Runyao1 aJi, Zhengfeng1 aYing, Mingsheng1 aYu, Jun uhttp://arxiv.org/abs/0704.1473v201777nas a2200241 4500008004100000245007500041210006900116260001400185490000700199520107300206100001801279700002701297700001801324700001901342700001701361700002101378700001901399700002101418700002001439700001701459700002201476856003701498 2008 eng d00aMultilevel effects in the Rabi oscillations of a Josephson phase qubit0 aMultilevel effects in the Rabi oscillations of a Josephson phase c2008/9/150 v783 a We present Rabi oscillation measurements of a Nb/AlOx/Nb dc superconducting quantum interference device (SQUID) phase qubit with a 100 um^2 area junction acquired over a range of microwave drive power and frequency detuning. Given the slightly anharmonic level structure of the device, several excited states play an important role in the qubit dynamics, particularly at high power. To investigate the effects of these levels, multiphoton Rabi oscillations were monitored by measuring the tunneling escape rate of the device to the voltage state, which is particularly sensitive to excited state population. We compare the observed oscillation frequencies with a simplified model constructed from the full phase qubit Hamiltonian and also compare time-dependent escape rate measurements with a more complete density-matrix simulation. Good quantitative agreement is found between the data and simulations, allowing us to identify a shift in resonance (analogous to the ac Stark effect), a suppression of the Rabi frequency, and leakage to the higher excited states. 1 aDutta, S., K.1 aStrauch, Frederick, W.1 aLewis, R., M.1 aMitra, Kaushik1 aPaik, Hanhee1 aPalomaki, T., A.1 aTiesinga, Eite1 aAnderson, J., R.1 aDragt, Alex, J.1 aLobb, C., J.1 aWellstood, F., C. uhttp://arxiv.org/abs/0806.4711v201446nas a2200157 4500008004100000245003200041210002800073260001500101520104100116100002001157700001801177700002001195700002001215700001601235856003701251 2008 eng d00aThe Power of Unentanglement0 aPower of Unentanglement c2008/04/043 a The class QMA(k), introduced by Kobayashi et al., consists of all languages that can be verified using k unentangled quantum proofs. Many of the simplest questions about this class have remained embarrassingly open: for example, can we give any evidence that k quantum proofs are more powerful than one? Does QMA(k)=QMA(2) for k>=2? Can QMA(k) protocols be amplified to exponentially small error? In this paper, we make progress on all of the above questions. First, we give a protocol by which a verifier can be convinced that a 3SAT formula of size n is satisfiable, with constant soundness, given ~O(sqrt(n)) unentangled quantum witnesses with O(log n) qubits each. Our protocol relies on the existence of very short PCPs. Second, we show that assuming a weak version of the Additivity Conjecture from quantum information theory, any QMA(2) protocol can be amplified to exponentially small error, and QMA(k)=QMA(2) for all k>=2. Third, we prove the nonexistence of "perfect disentanglers" for simulating multiple Merlins with one. 1 aAaronson, Scott1 aBeigi, Salman1 aDrucker, Andrew1 aFefferman, Bill1 aShor, Peter uhttp://arxiv.org/abs/0804.0802v201053nas a2200181 4500008004100000245007400041210006900115260001400184490000700198520052300205100001900728700001300747700001500760700001500775700001900790700001800809856004400827 2005 eng d00aSolid-state circuit for spin entanglement generation and purification0 aSolidstate circuit for spin entanglement generation and purifica c2005/6/150 v943 aWe show how realistic charge manipulation and measurement techniques, combined with the exchange interaction, allow for the robust generation and purification of four-particle spin entangled states in electrically controlled semiconductor quantum dots. The generated states are immunized to the dominant sources of noise via a dynamical decoherence-free subspace; all additional errors are corrected by a purification protocol. This approach may find application in quantum computation, communication, and metrology. 1 aTaylor, J., M.1 aDür, W.1 aZoller, P.1 aYacoby, A.1 aMarcus, C., M.1 aLukin, M., D. uhttp://arxiv.org/abs/cond-mat/0503255v201322nas a2200169 4500008004100000245007000041210006900111260001400180490000700194520079400201100002300995700002301018700002601041700001901067700002301086856004301109 2003 eng d00aUltracold collision properties of metastable alkaline-earth atoms0 aUltracold collision properties of metastable alkalineearth atoms c2003/2/130 v903 a Ultra-cold collisions of spin-polarized 24Mg,40Ca, and 88Sr in the metastable 3P2 excited state are investigated. We calculate the long-range interaction potentials and estimate the scattering length and the collisional loss rate as a function of magnetic field. The estimates are based on molecular potentials between 3P2 alkaline-earth atoms obtained from ab initio atomic and molecular structure calculations. The scattering lengths show resonance behavior due to the appearance of a molecular bound state in a purely long-range interaction potential and are positive for magnetic fields below 50 mT. A loss-rate model shows that losses should be smallest near zero magnetic field and for fields slightly larger than the resonance field, where the scattering length is also positive. 1 aDerevianko, Andrei1 aPorsev, Sergey, G.1 aKotochigova, Svetlana1 aTiesinga, Eite1 aJulienne, Paul, S. uhttp://arxiv.org/abs/physics/0210076v101113nas a2200169 4500008004100000245005200041210005200093260001500145520061800160100002300778700001900801700001900820700001800839700001700857700002500874856004400899 2002 eng d00aExponential algorithmic speedup by quantum walk0 aExponential algorithmic speedup by quantum walk c2002/09/243 a We construct an oracular (i.e., black box) problem that can be solved exponentially faster on a quantum computer than on a classical computer. The quantum algorithm is based on a continuous time quantum walk, and thus employs a different technique from previous quantum algorithms based on quantum Fourier transforms. We show how to implement the quantum walk efficiently in our oracular setting. We then show how this quantum walk can be used to solve our problem by rapidly traversing a graph. Finally, we prove that no classical algorithm can solve this problem with high probability in subexponential time. 1 aChilds, Andrew, M.1 aCleve, Richard1 aDeotto, Enrico1 aFarhi, Edward1 aGutmann, Sam1 aSpielman, Daniel, A. uhttp://arxiv.org/abs/quant-ph/0209131v201071nas a2200181 4500008004100000245003400041210003400075260001400109490000700123520059100130100002300721700001900744700001800763700002300781700001700804700002400821856004400845 2002 eng d00aQuantum search by measurement0 aQuantum search by measurement c2002/9/230 v663 a We propose a quantum algorithm for solving combinatorial search problems that uses only a sequence of measurements. The algorithm is similar in spirit to quantum computation by adiabatic evolution, in that the goal is to remain in the ground state of a time-varying Hamiltonian. Indeed, we show that the running times of the two algorithms are closely related. We also show how to achieve the quadratic speedup for Grover's unstructured search problem with only two measurements. Finally, we discuss some similarities and differences between the adiabatic and measurement algorithms. 1 aChilds, Andrew, M.1 aDeotto, Enrico1 aFarhi, Edward1 aGoldstone, Jeffrey1 aGutmann, Sam1 aLandahl, Andrew, J. uhttp://arxiv.org/abs/quant-ph/0204013v101113nas a2200169 4500008004100000245006000041210006000101260001400161490000700175520059300182100002500775700002500800700002300825700002300848700002800871856004400899 2002 eng d00aUniversal simulation of Hamiltonian dynamics for qudits0 aUniversal simulation of Hamiltonian dynamics for qudits c2002/8/300 v663 a 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. 1 aNielsen, Michael, A.1 aBremner, Michael, J.1 aDodd, Jennifer, L.1 aChilds, Andrew, M.1 aDawson, Christopher, M. uhttp://arxiv.org/abs/quant-ph/0109064v2