01684nas a2200157 4500008004100000245006700041210006700108260001400175520120000189100001601389700002201405700002001427700001701447700002501464856003701489 2024 eng d00aAverage Rényi Entanglement Entropy in Gaussian Boson Sampling0 aAverage Rényi Entanglement Entropy in Gaussian Boson Sampling c3/27/20243 a

Recently, many experiments have been conducted with the goal of demonstrating a quantum advantage over classical computation. One popular framework for these experiments is Gaussian Boson Sampling, where quadratic photonic input states are interfered via a linear optical unitary and subsequently measured in the Fock basis. In this work, we study the modal entanglement of the output states in this framework just before the measurement stage. Specifically, we compute Page curves as measured by various Rényi-α entropies, where the Page curve describes the entanglement between two partitioned groups of output modes averaged over all linear optical unitaries. We derive these formulas for α=1 (i.e. the von Neumann entropy), and, more generally, for all positive integer α, in the asymptotic limit of infinite number of modes and for input states that are composed of single-mode-squeezed-vacuum state with equal squeezing strength. We then analyze the limiting behaviors when the squeezing is small and large. Having determined the averages, we then explicitly calculate the Rényi-α variance for integers α>1, and we are able to show that these entropies are weakly typical.

1 aYoum, Jason1 aIosue, Joseph, T.1 aEhrenberg, Adam1 aWang, Yu-Xin1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2403.1889001794nas a2200157 4500008004100000245010100041210006900142260001400211520126400225100002001489700002201509700001901531700002401550700002501574856003701599 2024 eng d00aExperimental roadmap for optimal state transfer and entanglement generation in power-law systems0 aExperimental roadmap for optimal state transfer and entanglement c2/12/20243 a

Experimental systems with power-law interactions have recently garnered interest as promising platforms for quantum information processing. Such systems are capable of spreading entanglement superballistically and achieving an asymptotic speed-up over locally interacting systems. Recently, protocols developed by Eldredge et al. [Phys. Rev. Lett. 119, 170503 (2017)] and Tran et al. [Phys. Rev. X 11, 031016 (2021)] for the task of transferring a quantum state between distant particles quickly were shown to be optimal and saturate theoretical bounds. However, the implementation of these protocols in physical systems with long-range interactions remains to be fully realized. In this work, we provide an experimental roadmap towards realizing fast state-transfer protocols in three classes of atomic and molecular systems with dipolar interactions: polar molecules composed of alkali-metal dimers, neutral atoms in excited Rydberg states, and atoms with strong magnetic moments (e.g. dysprosium). As a guide to near-term experimental implementation, we numerically evaluate the tradeoffs between the two protocols for small system sizes and develop methods to address potential crosstalk errors that may arise during the execution of the protocols.

1 aGuo, Andrew, Y.1 aYoung, Jeremy, T.1 aBelyansky, Ron1 aBienias, Przemyslaw1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2402.0797402177nas a2200181 4500008004100000022001400041245009400055210006900149260001500218300001600233490000600249520163700255100001801892700001701910700001601927700001501943856003701958 2024 eng d a2475-142100aSimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation0 aSimuQ A Framework for Programming Quantum Hamiltonian Simulation c11/19/2023 a2425–24550 v83 a

Quantum Hamiltonian simulation, which simulates the evolution of quantum systems and probes quantum phenomena, is one of the most promising applications of quantum computing. Recent experimental results suggest that Hamiltonian-oriented analog quantum simulation would be advantageous over circuit-oriented digital quantum simulation in the Noisy Intermediate-Scale Quantum (NISQ) machine era. However, programming analog quantum simulators is much more challenging due to the lack of a unified interface between hardware and software. In this paper, we design and implement SimuQ, the first framework for quantum Hamiltonian simulation that supports Hamiltonian programming and pulse-level compilation to heterogeneous analog quantum simulators. Specifically, in SimuQ, front-end users specify the target quantum system with Hamiltonian Modeling Language, and the Hamiltonian-level programmability of analog quantum simulators is specified through a new abstraction called the abstract analog instruction set (AAIS) and programmed in AAIS Specification Language by hardware providers. Through a solver-based compilation, SimuQ generates executable pulse schedules for real devices to simulate the evolution of desired quantum systems, which is demonstrated on superconducting (IBM), neutral-atom (QuEra), and trapped-ion (IonQ) quantum devices. Moreover, we demonstrate the advantages of exposing the Hamiltonian-level programmability of devices with native operations or interaction-based gates and establish a small benchmark of quantum simulation to evaluate SimuQ's compiler with the above analog quantum simulators.

1 aPeng, Yuxiang1 aYoung, Jacob1 aLiu, Pengyu1 aWu, Xiaodi uhttps://arxiv.org/abs/2303.0277502465nas 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.1475701807nas a2200145 4500008004100000245009300041210006900134260001400203520133200217100001601549700002701565700001701592700001501609856003701624 2023 eng d00aAnalyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels0 aAnalyzing Convergence in Quantum Neural Networks Deviations from c3/26/20233 a

A quantum neural network (QNN) is a parameterized mapping efficiently implementable on near-term Noisy Intermediate-Scale Quantum (NISQ) computers. It can be used for supervised learning when combined with classical gradient-based optimizers. Despite the existing empirical and theoretical investigations, the convergence of QNN training is not fully understood. Inspired by the success of the neural tangent kernels (NTKs) in probing into the dynamics of classical neural networks, a recent line of works proposes to study over-parameterized QNNs by examining a quantum version of tangent kernels. In this work, we study the dynamics of QNNs and show that contrary to popular belief it is qualitatively different from that of any kernel regression: due to the unitarity of quantum operations, there is a non-negligible deviation from the tangent kernel regression derived at the random initialization. As a result of the deviation, we prove the at-most sublinear convergence for QNNs with Pauli measurements, which is beyond the explanatory power of any kernel regression dynamics. We then present the actual dynamics of QNNs in the limit of over-parameterization. The new dynamics capture the change of convergence rate during training and implies that the range of measurements is crucial to the fast QNN convergence.

1 aYou, Xuchen1 aChakrabarti, Shouvanik1 aChen, Boyang1 aWu, Xiaodi uhttps://arxiv.org/abs/2303.1484401851nas a2200169 4500008004100000245006100041210006000102260001400162520134300176100002501519700001901544700002401563700001801587700001901605700002001624856003701644 2023 eng d00aColloquium: Quantum and Classical Discrete Time Crystals0 aColloquium Quantum and Classical Discrete Time Crystals c5/15/20233 a

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

1 aZaletel, Michael, P.1 aLukin, Mikhail1 aMonroe, Christopher1 aNayak, Chetan1 aWilczek, Frank1 aYao, Norman, Y. uhttps://arxiv.org/abs/2305.0890401689nas a2200145 4500008004100000245007100041210006900112260001400181520124100195100001501436700001701451700002201468700001601490856003701506 2023 eng d00aComplexity and order in approximate quantum error-correcting codes0 aComplexity and order in approximate quantum errorcorrecting code c10/7/20233 a

We establish rigorous connections between quantum circuit complexity and approximate quantum error correction (AQEC) properties, covering both all-to-all and geometric scenarios including lattice systems. To this end, we introduce a type of code parameter that we call subsystem variance, which is closely related to the optimal AQEC precision. Our key finding is that if the subsystem variance is below an O(k/n) threshold then any state in the code subspace must obey certain circuit complexity lower bounds, which identify nontrivial ``phases'' of codes. Based on our results, we propose O(k/n) as a boundary between subspaces that should and should not count as AQEC codes. This theory of AQEC provides a versatile framework for understanding the quantum complexity and order of many-body quantum systems, offering new insights for wide-ranging physical scenarios, in particular topological order and critical quantum systems which are of outstanding importance in many-body and high energy physics. We observe from various different perspectives that roughly O(1/n) represents a common, physically significant ``scaling threshold'' of subsystem variance for features associated with nontrivial quantum order.

1 aYi, Jinmin1 aYe, Weicheng1 aGottesman, Daniel1 aLiu, Zi-Wen uhttps://arxiv.org/abs/2310.0471001916nas 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.0308905435nas 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.0973302012nas a2200145 4500008004100000245008500041210006900126260001300195520155500208100001801763700001701781700001601798700001501814856003701829 2023 eng d00aSimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation0 aSimuQ A DomainSpecific Language For Quantum Simulation With Anal c3/5/20233 a

Hamiltonian simulation is one of the most promising applications of quantum computing. Recent experimental results suggest that continuous-time analog quantum simulation would be advantageous over gate-based digital quantum simulation in the Noisy Intermediate-Size Quantum (NISQ) machine era. However, programming such analog quantum simulators is much more challenging due to the lack of a unified interface between hardware and software, and the only few known examples are all hardware-specific. In this paper, we design and implement SimuQ, the first domain-specific language for Hamiltonian simulation that supports pulse-level compilation to heterogeneous analog quantum simulators. Specifically, in SimuQ, front-end users will specify the target Hamiltonian evolution with a Hamiltonian modeling language, and the programmability of analog simulators is specified through a new abstraction called the abstract analog instruction set by hardware providers. Through a solver-based compilation, SimuQ will generate the pulse-level instruction schedule on the target analog simulator for the desired Hamiltonian evolution, which has been demonstrated on pulse-controlled superconducting (Qiskit Pulse) and neutral-atom (QuEra Bloqade) quantum systems, as well as on normal circuit-based digital quantum machines. Moreover, we also demonstrate the advantage of analog compilation over digital compilation on IBM machines, the use of SimuQ for resource estimation for hypothetical machines, and a scalability test of SimuQ's compilation.

1 aPeng, Yuxiang1 aYoung, Jacob1 aLiu, Pengyu1 aWu, Xiaodi uhttps://arxiv.org/abs/2303.0277501748nas a2200133 4500008004100000245008100041210006900122260001400191520131400205100001601519700002701535700001501562856003701577 2022 eng d00aA Convergence Theory for Over-parameterized Variational Quantum Eigensolvers0 aConvergence Theory for Overparameterized Variational Quantum Eig c5/25/20223 a

The Variational Quantum Eigensolver (VQE) is a promising candidate for quantum applications on near-term Noisy Intermediate-Scale Quantum (NISQ) computers. Despite a lot of empirical studies and recent progress in theoretical understanding of VQE's optimization landscape, the convergence for optimizing VQE is far less understood. We provide the first rigorous analysis of the convergence of VQEs in the over-parameterization regime. By connecting the training dynamics with the Riemannian Gradient Flow on the unit-sphere, we establish a threshold on the sufficient number of parameters for efficient convergence, which depends polynomially on the system dimension and the spectral ratio, a property of the problem Hamiltonian, and could be resilient to gradient noise to some extent. We further illustrate that this overparameterization threshold could be vastly reduced for specific VQE instances by establishing an ansatz-dependent threshold paralleling our main result. We showcase that our ansatz-dependent threshold could serve as a proxy of the trainability of different VQE ansatzes without performing empirical experiments, which hence leads to a principled way of evaluating ansatz design. Finally, we conclude with a comprehensive empirical study that supports our theoretical findings

1 aYou, Xuchen1 aChakrabarti, Shouvanik1 aWu, Xiaodi uhttps://arxiv.org/abs/2205.1248101903nas a2200193 4500008004100000245006000041210006000101260001400161520128300175653004301458653002701501653002901528653003401557653003101591100001501622700002001637700001501657856003701672 2022 eng d00aDifferentiable Quantum Programming with Unbounded Loops0 aDifferentiable Quantum Programming with Unbounded Loops c11/8/20223 a

The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Recently, Zhu et al. (PLDI 2020) have formulated differentiable quantum programming with bounded loops, providing a framework for scalable gradient calculation by quantum means for training quantum variational applications. However, promising parameterized quantum applications, e.g., quantum walk and unitary implementation, cannot be trained in the existing framework due to the natural involvement of unbounded loops. To fill in the gap, we provide the first differentiable quantum programming framework with unbounded loops, including a newly designed differentiation rule, code transformation, and their correctness proof. Technically, we introduce a randomized estimator for derivatives to deal with the infinite sum in the differentiation of unbounded loops, whose applicability in classical and probabilistic programming is also discussed. We implement our framework with Python and Q#, and demonstrate a reasonable sample efficiency. Through extensive case studies, we showcase an exciting application of our framework in automatically identifying close-to-optimal parameters for several parameterized quantum applications.

10aFOS: Computer and information sciences10aFOS: Physical sciences10aMachine Learning (cs.LG)10aProgramming Languages (cs.PL)10aQuantum Physics (quant-ph)1 aFang, Wang1 aYing, Mingsheng1 aWu, Xiaodi uhttps://arxiv.org/abs/2211.0450702202nas a2200145 4500008004100000245009100041210006900132260001400201490000800215520174200223100001501965700001601980700002301996856003702019 2022 eng d00aEuler-obstructed Cooper pairing: Nodal superconductivity and hinge Majorana zero modes0 aEulerobstructed Cooper pairing Nodal superconductivity and hinge c3/29/20220 v1053 a

Since the proposal of monopole Cooper pairing in [Phys. Rev. Lett. 120, 067003 (2018)], considerable research efforts have been dedicated to the study of Cooper pairing order parameters constrained (or obstructed) by the nontrivial normal-state band topology at Fermi surfaces in 3D systems. In the current work, we generalize the topologically obstructed pairings between Chern states (like the monopole Cooper pairing) by proposing Euler obstructed Cooper pairing in 3D systems. The Euler obstructed Cooper pairing widely exists between two Fermi surfaces with nontrivial band topology characterized by nonzero Euler numbers; such Fermi surfaces can exist in 3D PT-protected spinless-Dirac/nodal-line semimetals with negligible spin-orbit coupling, where PT is the space-time inversion symmetry. An Euler obstructed pairing channel must have pairing nodes on the pairing-relevant Fermi surfaces, and the total winding number of the pairing nodes is determined by the sum or difference of the Euler numbers on the Fermi surfaces. In particular, we find that when the normal state is time-reversal invariant and the pairing is weak, a sufficiently-dominant Euler obstructed pairing channel with zero total momentum leads to nodal superconductivity. If the Fermi surface splitting is small, the resultant nodal superconductor hosts hinge Majorana zero modes. The possible dominance of the Euler obstructed pairing channel near the superconducting transition and the robustness of the hinge Majorana zero modes against disorder are explicitly demonstrated using effective or tight-binding models. Our work presents the first class of higher-order nodal superconductivity originating from the topologically obstructed Cooper pairing.

1 aYu, Jiabin1 aChen, Yu-An1 aSarma, Sankar, Das uhttps://arxiv.org/abs/2109.0268502540nas a2200229 4500008004100000245009600041210006900137260001300206490000700219520184300226100002102069700001802090700001402108700001502122700002802137700002302165700002302188700002402211700001802235700002002253856003702273 2022 eng d00aMany-Body Quantum Teleportation via Operator Spreading in the Traversable Wormhole Protocol0 aManyBody Quantum Teleportation via Operator Spreading in the Tra c8/5/20220 v123 a

By leveraging shared entanglement between a pair of qubits, one can teleport a quantum state from one particle to another. Recent advances have uncovered an intrinsically many-body generalization of quantum teleportation, with an elegant and surprising connection to gravity. In particular, the teleportation of quantum information relies on many-body dynamics, which originate from strongly-interacting systems that are holographically dual to gravity; from the gravitational perspective, such quantum teleportation can be understood as the transmission of information through a traversable wormhole. Here, we propose and analyze a new mechanism for many-body quantum teleportation -- dubbed peaked-size teleportation. Intriguingly, peaked-size teleportation utilizes precisely the same type of quantum circuit as traversable wormhole teleportation, yet has a completely distinct microscopic origin: it relies upon the spreading of local operators under generic thermalizing dynamics and not gravitational physics. We demonstrate the ubiquity of peaked-size teleportation, both analytically and numerically, across a diverse landscape of physical systems, including random unitary circuits, the Sachdev-Ye-Kitaev model (at high temperatures), one-dimensional spin chains and a bulk theory of gravity with stringy corrections. Our results pave the way towards using many-body quantum teleportation as a powerful experimental tool for: (i) characterizing the size distributions of operators in strongly-correlated systems and (ii) distinguishing between generic and intrinsically gravitational scrambling dynamics. To this end, we provide a detailed experimental blueprint for realizing many-body quantum teleportation in both trapped ions and Rydberg atom arrays; effects of decoherence and experimental imperfections are analyzed.

1 aSchuster, Thomas1 aKobrin, Bryce1 aGao, Ping1 aCong, Iris1 aKhabiboulline, Emil, T.1 aLinke, Norbert, M.1 aLukin, Mikhail, D.1 aMonroe, Christopher1 aYoshida, Beni1 aYao, Norman, Y. uhttps://arxiv.org/abs/2102.0001002003nas a2200205 4500008004100000245008600041210006900127260001300196300001100209490000800220520132800228100002501556700002001581700003501601700002101636700002401657700002801681700002801709856006001737 2022 eng d00aNegative Quasiprobabilities Enhance Phase Estimation in Quantum-Optics Experiment0 aNegative Quasiprobabilities Enhance Phase Estimation in QuantumO c6/2/2022 a2205040 v1283 a

Operator noncommutation, a hallmark of quantum theory, limits measurement precision, according to uncertainty principles. Wielded correctly, though, noncommutation can boost precision. A recent foundational result relates a metrological advantage with negative quasiprobabilities—quantum extensions of probabilities—engendered by noncommuting operators. We crystallize the relationship in an equation that we prove theoretically and observe experimentally. Our proof-of-principle optical experiment features a filtering technique that we term partially postselected amplification (PPA). Using PPA, we measure a wave plate’s birefringent phase. PPA amplifies, by over two orders of magnitude, the information obtained about the phase per detected photon. In principle, PPA can boost the information obtained from the average filtered photon by an arbitrarily large factor. The filter’s amplification of systematic errors, we find, bounds the theoretically unlimited advantage in practice. PPA can facilitate any phase measurement and mitigates challenges that scale with trial number, such as proportional noise and detector saturation. By quantifying PPA’s metrological advantage with quasiprobabilities, we reveal deep connections between quantum foundations and precision measurement.

1 aLupu-Gladstein, Noah1 aYilmaz, Batuhan1 aArvidsson-Shukur, David, R. M.1 aBrodutch, Aharon1 aPang, Arthur, O. T.1 aSteinberg, Aephraim, M.1 aHalpern, Nicole, Yunger uhttps://link.aps.org/doi/10.1103/PhysRevLett.128.22050401622nas a2200193 4500008004100000245008300041210006900124260001400193520097000207653002701177653005201204100002101256700003001277700002001307700002501327700002101352700001801373856003701391 2022 eng d00aQuantum Many-Body Scars from Einstein-Podolsky-Rosen States in Bilayer Systems0 aQuantum ManyBody Scars from EinsteinPodolskyRosen States in Bila c9/12/20223 a

Quantum many-body scar states are special eigenstates of nonintegrable models with distinctive entanglement features that give rise to infinitely long-lived coherent dynamics under quantum quenches from certain initial states. We elaborate on a construction of quantum many-body scar states in which they emerge from Einstein-Podolsky-Rosen (EPR) states in systems with two layers, wherein the two layers are maximally entangled. We apply this construction to spin systems as well as systems of itinerant fermions and bosons and demonstrate how symmetries can be harnessed to enhance its versatility. We show that several well-known examples of quantum many-body scars, including the tower of states in the spin-1 XY model and the η-pairing states in the Fermi-Hubbard model, can be understood within this formalism. We also demonstrate how an {\it infinite} tower of many-body scar states can emerge in bilayer Bose-Hubbard models with charge conservation.

10aFOS: Physical sciences10aStrongly Correlated Electrons (cond-mat.str-el)1 aWildeboer, Julia1 aLanglett, Christopher, M.1 aYang, Zhi-Cheng1 aGorshkov, Alexey, V.1 aIadecola, Thomas1 aXu, Shenglong uhttps://arxiv.org/abs/2209.0552702845nas 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.0338101806nas a2200181 4500008004100000245007200041210006900113260001500182520123900197653002701436653003101463100002001494700001601514700001801530700001901548700002001567856003701587 2022 eng d00aQuantum state tomography via non-convex Riemannian gradient descent0 aQuantum state tomography via nonconvex Riemannian gradient desce c10/10/20223 a

The recovery of an unknown density matrix of large size requires huge computational resources. The recent Factored Gradient Descent (FGD) algorithm and its variants achieved state-of-the-art performance since they could mitigate the dimensionality barrier by utilizing some of the underlying structures of the density matrix. Despite their theoretical guarantee of a linear convergence rate, the convergence in practical scenarios is still slow because the contracting factor of the FGD algorithms depends on the condition number κ of the ground truth state. Consequently, the total number of iterations can be as large as O(κ−−√ln(1ε)) to achieve the estimation error ε. In this work, we derive a quantum state tomography scheme that improves the dependence on κ to the logarithmic scale; namely, our algorithm could achieve the approximation error ε in O(ln(1κε)) steps. The improvement comes from the application of the non-convex Riemannian gradient descent (RGD). The contracting factor in our approach is thus a universal constant that is independent of the given state. Our theoretical results of extremely fast convergence and nearly optimal error bounds are corroborated by numerical results.

10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aHsu, Ming-Chien1 aKuo, En-Jui1 aYu, Wei-Hsuan1 aCai, Jian-Feng1 aHsieh, Min-Hsiu uhttps://arxiv.org/abs/2210.0471701649nas 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.0153101797nas a2200229 4500008004100000245007000041210006800111260001400179300001200193490000800205520107400213653003701287653002701324653003901351653003101390100002101421700002401442700001901466700002301485700002201508856003701530 2022 eng d00aTweezer-programmable 2D quantum walks in a Hubbard-regime lattice0 aTweezerprogrammable 2D quantum walks in a Hubbardregime lattice c8/18/2022 a885-8890 v3773 a

Quantum walks provide a framework for understanding and designing quantum algorithms that is both intuitive and universal. To leverage the computational power of these walks, it is important to be able to programmably modify the graph a walker traverses while maintaining coherence. Here, we do this by combining the fast, programmable control provided by optical tweezer arrays with the scalable, homogeneous environment of an optical lattice. Using this new combination of tools we study continuous-time quantum walks of single atoms on a 2D square lattice, and perform proof-of-principle demonstrations of spatial search using these walks. When scaled to more particles, the capabilities demonstrated here can be extended to study a variety of problems in quantum information science and quantum simulation, including the deterministic assembly of ground and excited states in Hubbard models with tunable interactions, and performing versions of spatial search in a larger graph with increased connectivity, where search by quantum walk can be more effective.

10aAtomic Physics (physics.atom-ph)10aFOS: Physical sciences10aQuantum Gases (cond-mat.quant-gas)10aQuantum Physics (quant-ph)1 aYoung, Aaron, W.1 aEckner, William, J.1 aSchine, Nathan1 aChilds, Andrew, M.1 aKaufman, Adam, M. uhttps://arxiv.org/abs/2202.0120401692nas a2200133 4500008004100000245007800041210006900119260001500188520126500203100001801468700002001486700001501506856003701521 2021 eng d00aAlgebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra0 aAlgebraic Reasoning of Quantum Programs via NonIdempotent Kleene c10/13/20213 a

We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famous Kleene Algebra with Tests (KAT), which has furnished both theoretical insights and practical tools. The succinctness of algebraic reasoning would be especially desirable for scalable analysis of quantum programs, given the involvement of exponential-size matrices in most of the existing methods. A few key features of KAT including the idempotent law and the nice properties of classical tests, however, fail to hold in the context of quantum programs due to their unique quantum features, especially in branching. We propose the Non-idempotent Kleena Algebra (NKA) as a natural alternative and identify complete and sound semantic models for NKA as well as their appropriate quantum interpretations. In light of applications of KAT, we are able to demonstrate algebraic proofs in NKA of quantum compiler optimization and the normal form of quantum while-programs. Moreover, we extend NKA with Tests (i.e., NKAT), where tests model quantum predicates following the rules of effect algebra, and illustrate how to encode propositional quantum Hoare logic as NKAT theorems.

1 aPeng, Yuxiang1 aYing, Mingsheng1 aWu, Xiaodi uhttps://arxiv.org/abs/2110.0701801255nas a2200169 4500008004100000245007000041210006900111260001400180300000800194490000600202520075000208100002500958700001300983700003200996700002001028856003701048 2021 eng d00aEnergy storage and coherence in closed and open quantum batteries0 aEnergy storage and coherence in closed and open quantum batterie c7/15/2021 a5050 v53 a

We study the role of coherence in closed and open quantum batteries. We obtain upper bounds to the work performed or energy exchanged by both closed and open quantum batteries in terms of coherence. Specifically, we show that the energy storage can be bounded by the Hilbert-Schmidt coherence of the density matrix in the spectral basis of the unitary operator that encodes the evolution of the battery. We also show that an analogous bound can be obtained in terms of the battery's Hamiltonian coherence in the basis of the unitary operator by evaluating their commutator. We apply these bounds to a 4-state quantum system and the anisotropic XY Ising model in the closed system case, and the Spin-Boson model in the open case. 

1 aCaravelli, Francesco1 aYan, Bin1 aGarcía-Pintos, Luis, Pedro1 aHamma, Alioscia uhttps://arxiv.org/abs/2012.1502601856nas a2200121 4500008004100000245005700041210005700098260001400155520150000169100001301669700001501682856003701697 2021 eng d00aExploiting anticommutation in Hamiltonian simulation0 aExploiting anticommutation in Hamiltonian simulation c3/14/20213 a

Quantum computing can efficiently simulate Hamiltonian dynamics of many-body quantum physics, a task that is generally intractable with classical computers. The hardness lies at the ubiquitous anti-commutative relations of quantum operators, in corresponding with the notorious negative sign problem in classical simulation. Intuitively, Hamiltonians with more commutative terms are also easier to simulate on a quantum computer, and anti-commutative relations generally cause more errors, such as in the product formula method. Here, we theoretically explore the role of anti-commutative relation in Hamiltonian simulation. We find that, contrary to our intuition, anti-commutative relations could also reduce the hardness of Hamiltonian simulation. Specifically, Hamiltonians with mutually anti-commutative terms are easy to simulate, as what happens with ones consisting of mutually commutative terms. Such a property is further utilized to reduce the algorithmic error or the gate complexity in the truncated Taylor series quantum algorithm for general problems. Moreover, we propose two modified linear combinations of unitaries methods tailored for Hamiltonians with different degrees of anti-commutation. We numerically verify that the proposed methods exploiting anti-commutative relations could significantly improve the simulation accuracy of electronic Hamiltonians. Our work sheds light on the roles of commutative and anti-commutative relations in simulating quantum systems.

1 aZhao, Qi1 aYuan, Xiao uhttps://arxiv.org/abs/2103.0798801673nas a2200145 4500008004100000245006300041210006300104260001400167300001600181490000800197520125000205100001601455700001501471856004101486 2021 eng d00aExponentially Many Local Minima in Quantum Neural Networks0 aExponentially Many Local Minima in Quantum Neural Networks c10/5/2021 a12144-121550 v1393 a

Quantum Neural Networks (QNNs), or the so-called variational quantum circuits, are important quantum applications both because of their similar promises as classical neural networks and because of the feasibility of their implementation on near-term intermediate-size noisy quantum machines (NISQ). However, the training task of QNNs is challenging and much less understood. We conduct a quantitative investigation on the landscape of loss functions of QNNs and identify a class of simple yet extremely hard QNN instances for training. Specifically, we show for typical under-parameterized QNNs, there exists a dataset that induces a loss function with the number of spurious local minima depending exponentially on the number of parameters. Moreover, we show the optimality of our construction by providing an almost matching upper bound on such dependence. While local minima in classical neural networks are due to non-linear activations, in quantum neural networks local minima appear as a result of the quantum interference phenomenon. Finally, we empirically confirm that our constructions can indeed be hard instances in practice with typical gradient-based optimizers, which demonstrates the practical value of our findings. 

1 aYou, Xuchen1 aWu, Xiaodi uhttps://arxiv.org/pdf/2110.02479.pdf01332nas a2200157 4500008004100000245007400041210006900115260001500184300001200199490000600211520085200217100002201069700002501091700002101116856003701137 2021 eng d00aFeedback-stabilized dynamical steady states in the Bose-Hubbard model0 aFeedbackstabilized dynamical steady states in the BoseHubbard mo c12/15/2021 a043075 0 v33 a

The implementation of a combination of continuous weak measurement and classical feedback provides a powerful tool for controlling the evolution of quantum systems. In this work, we investigate the potential of this approach from three perspectives. First, we consider a double-well system in the classical large-atom-number limit, deriving the exact equations of motion in the presence of feedback. Second, we consider the same system in the limit of small atom number, revealing the effect that quantum fluctuations have on the feedback scheme. Finally, we explore the behavior of modest sized Hubbard chains using exact numerics, demonstrating the near-deterministic preparation of number states, a tradeoff between local and non-local feedback for state preparation, and evidence of a feedback-driven symmetry-breaking phase transition.

1 aYoung, Jeremy, T.1 aGorshkov, Alexey, V.1 aSpielman, I., B. uhttps://arxiv.org/abs/2106.0974401365nas a2200145 4500008004100000245008500041210006900126260001400195520089800209100001801107700001901125700001601144700002201160856003701182 2021 eng d00aOn the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds0 aImpossibility of PostQuantum BlackBox ZeroKnowledge in Constant  c3/20/20213 a

We investigate the existence of constant-round post-quantum black-box zero-knowledge protocols for NP. As a main result, we show that there is no constant-round post-quantum black-box zero-knowledge argument for NP unless NP⊆BQP. As constant-round black-box zero-knowledge arguments for NP exist in the classical setting, our main result points out a fundamental difference between post-quantum and classical zero-knowledge protocols. Combining previous results, we conclude that unless NP⊆BQP, constant-round post-quantum zero-knowledge protocols for NP exist if and only if we use non-black-box techniques or relax certain security requirements such as relaxing standard zero-knowledge to ϵ-zero-knowledge. Additionally, we also prove that three-round and public-coin constant-round post-quantum black-box ϵ-zero-knowledge arguments for NP do not exist unless NP⊆BQP.

1 aChia, Nai-Hui1 aChung, Kai-Min1 aLiu, Qipeng1 aYamakawa, Takashi uhttps://arxiv.org/abs/2103.1124402349nas a2200313 4500008004100000245007100041210006900112260001400181520145100195100001601646700003401662700001701696700001801713700001301731700001801744700001901762700002101781700001401802700002201816700001601838700002501854700001801879700001901897700002001916700002001936700001801956700002401974856003701998 2021 eng d00aInteractive Protocols for Classically-Verifiable Quantum Advantage0 aInteractive Protocols for ClassicallyVerifiable Quantum Advantag c12/9/20213 a

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

1 aZhu, Daiwei1 aKahanamoku-Meyer, Gregory, D.1 aLewis, Laura1 aNoel, Crystal1 aKatz, Or1 aHarraz, Bahaa1 aWang, Qingfeng1 aRisinger, Andrew1 aFeng, Lei1 aBiswas, Debopriyo1 aEgan, Laird1 aGheorghiu, Alexandru1 aNam, Yunseong1 aVidick, Thomas1 aVazirani, Umesh1 aYao, Norman, Y.1 aCetina, Marko1 aMonroe, Christopher uhttps://arxiv.org/abs/2112.0515602079nas a2200133 4500008004100000245007300041210006900114260001400183520164800197100002001845700002701865700001601892856003701908 2021 eng d00aNonlocal Games, Compression Theorems, and the Arithmetical Hierarchy0 aNonlocal Games Compression Theorems and the Arithmetical Hierarc c10/9/20213 a

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

1 aMousavi, Hamoon1 aNezhadi, Seyed, Sajjad1 aYuen, Henry uhttps://arxiv.org/abs/2110.0465101981nas a2200241 4500008004100000245005400041210005400095260001300149520129500162100002501457700002301482700002001505700002001525700002201545700002201567700001401589700001901603700001801622700001801640700002001658700002401678856003701702 2021 eng d00aObservation of a prethermal discrete time crystal0 aObservation of a prethermal discrete time crystal c2/2/20213 a

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

1 aKyprianidis, Antonis1 aMachado, Francisco1 aMorong, William1 aBecker, Patrick1 aCollins, Kate, S.1 aElse, Dominic, V.1 aFeng, Lei1 aHess, Paul, W.1 aNayak, Chetan1 aPagano, Guido1 aYao, Norman, Y.1 aMonroe, Christopher uhttps://arxiv.org/abs/2102.0169502060nas a2200217 4500008004100000245006500041210006400106260001400170520145900184100001501643700001201658700001501670700002001685700001301705700002001718700001501738700001201753700002501765700001501790856003701805 2021 eng d00aObservation of Stark many-body localization without disorder0 aObservation of Stark manybody localization without disorder c2/14/20213 a

Thermalization is a ubiquitous process of statistical physics, in which details of few-body observables are washed out in favor of a featureless steady state. Even in isolated quantum many-body systems, limited to reversible dynamics, thermalization typically prevails. However, in these systems, there is another possibility: many-body localization (MBL) can result in preservation of a non-thermal state. While disorder has long been considered an essential ingredient for this phenomenon, recent theoretical work has suggested that a quantum many-body system with a uniformly increasing field -- but no disorder -- can also exhibit MBL, resulting in `Stark MBL.' Here we realize Stark MBL in a trapped-ion quantum simulator and demonstrate its key properties: halting of thermalization and slow propagation of correlations. Tailoring the interactions between ionic spins in an effective field gradient, we directly observe their microscopic equilibration for a variety of initial states, and we apply single-site control to measure correlations between separate regions of the spin chain. Further, by engineering a varying gradient, we create a disorder-free system with coexisting long-lived thermalized and nonthermal regions. The results demonstrate the unexpected generality of MBL, with implications about the fundamental requirements for thermalization and with potential uses in engineering long-lived non-equilibrium quantum matter.

1 aMorong, W.1 aLiu, F.1 aBecker, P.1 aCollins, K., S.1 aFeng, L.1 aKyprianidis, A.1 aPagano, G.1 aYou, T.1 aGorshkov, Alexey, V.1 aMonroe, C. uhttps://arxiv.org/abs/2102.0725001481nas a2200193 4500008004100000245004300041210004200084260001400126300001100140490000800151520095100159100001501110700002001125700002301145700001801168700002001186700001701206856006401223 2021 eng d00aPhase-engineered bosonic quantum codes0 aPhaseengineered bosonic quantum codes c6/29/2021 a0624270 v1033 a

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

1 aLi, Linshu1 aYoung, Dylan, J1 aAlbert, Victor, V.1 aNoh, Kyungjoo1 aZou, Chang-Ling1 aJiang, Liang uhttps://authors.library.caltech.edu/109764/2/1901.05358.pdf01283nas a2200169 4500008004100000245005900041210005800100260000900158300001600167490000700183520079000190100001800980700001600998700001701014700002301031856005901054 2021 eng d00aQuantum exploration algorithms for multi-armed bandits0 aQuantum exploration algorithms for multiarmed bandits c2021 a10102-101100 v353 a

 Identifying the best arm of a multi-armed bandit is a central problem in bandit optimization. We study a quantum computational version of this problem with coherent oracle access to states encoding the reward probabilities of each arm as quantum amplitudes. Specifically, we show that we can find the best arm with fixed confidence using O~(∑ni=2Δ−2i−−−−−−−−√) quantum queries, where Δi represents the difference between the mean reward of the best arm and the ith-best arm. This algorithm, based on variable-time amplitude amplification and estimation, gives a quadratic speedup compared to the best possible classical result. We also prove a matching quantum lower bound (up to poly-logarithmic factors).

1 aWang, Daochen1 aYou, Xuchen1 aLi, Tongyang1 aChilds, Andrew, M. uhttps://ojs.aaai.org/index.php/AAAI/article/view/1721201237nas a2200253 4500008004100000245004100041210004100082260001300123520055200136100001900688700002400707700002100731700002000752700002700772700001800799700001600817700001700833700002000850700002100870700001900891700001300910700002300923856003700946 2021 eng d00aQuantum Machine Learning for Finance0 aQuantum Machine Learning for Finance c9/9/20213 a

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

1 aPistoia, Marco1 aAhmad, Syed, Farhan1 aAjagekar, Akshay1 aButs, Alexander1 aChakrabarti, Shouvanik1 aHerman, Dylan1 aHu, Shaohan1 aJena, Andrew1 aMinssen, Pierre1 aNiroula, Pradeep1 aRattew, Arthur1 aSun, Yue1 aYalovetzky, Romina uhttps://arxiv.org/abs/2109.0429801535nas a2200181 4500008004100000022001400041245005100055210005100106260001400157490000800171520104700179100001501226700001701241700001501258700001301273700001401286856005301300 2021 eng d a1079-711400aQuantum Simulation with Hybrid Tensor Networks0 aQuantum Simulation with Hybrid Tensor Networks c8/31/20210 v1273 a

Tensor network theory and quantum simulation are respectively the key classical and quantum computing methods in understanding quantum many-body physics. Here, we introduce the framework of hybrid tensor networks with building blocks consisting of measurable quantum states and classically contractable tensors, inheriting both their distinct features in efficient representation of many-body wave functions. With the example of hybrid tree tensor networks, we demonstrate efficient quantum simulation using a quantum computer whose size is significantly smaller than the one of the target system. We numerically benchmark our method for finding the ground state of 1D and 2D spin systems of up to 8×8 and 9×8 qubits with operations only acting on 8+1 and 9+1 qubits,~respectively. Our approach sheds light on simulation of large practical problems with intermediate-scale quantum computers, with potential applications in chemistry, quantum many-body physics, quantum field theory, and quantum gravity thought experiments.

1 aYuan, Xiao1 aSun, Jinzhao1 aLiu, Junyu1 aZhao, Qi1 aZhou, You uhttp://dx.doi.org/10.1103/PhysRevLett.127.04050101512nas a2200217 4500008004100000245007100041210006900112260001400181490000700195520085300202100002801055700002301083700001901106700001901125700002201144700002401166700002501190700002101215700002101236856003701257 2021 eng d00aQuench Dynamics of a Fermi Gas with Strong Long-Range Interactions0 aQuench Dynamics of a Fermi Gas with Strong LongRange Interaction c5/24/20210 v113 a

We induce strong non-local interactions in a 2D Fermi gas in an optical lattice using Rydberg dressing. The system is approximately described by a t−V model on a square lattice where the fermions experience isotropic nearest-neighbor interactions and are free to hop only along one direction. We measure the interactions using many-body Ramsey interferometry and study the lifetime of the gas in the presence of tunneling, finding that tunneling does not reduce the lifetime. To probe the interplay of non-local interactions with tunneling, we investigate the short-time relaxation dynamics of charge density waves in the gas. We find that strong nearest-neighbor interactions slow down the relaxation. Our work opens the door for quantum simulations of systems with strong non-local interactions such as extended Fermi-Hubbard models.

1 aGuardado-Sanchez, Elmer1 aSpar, Benjamin, M.1 aSchauss, Peter1 aBelyansky, Ron1 aYoung, Jeremy, T.1 aBienias, Przemyslaw1 aGorshkov, Alexey, V.1 aIadecola, Thomas1 aBakr, Waseem, S. uhttps://arxiv.org/abs/2010.0587101565nas a2200169 4500008004100000245004300041210004200084260001400126520108300140100003001223700002001253700002101273700002501294700002101319700001801340856003701358 2021 eng d00aRainbow Scars: From Area to Volume Law0 aRainbow Scars From Area to Volume Law c7/12/20213 a

Quantum many-body scars (QMBS) constitute a new quantum dynamical regime in which rare "scarred" eigenstates mediate weak ergodicity breaking. One open question is to understand the most general setting in which these states arise. In this work, we develop a generic construction that embeds a new class of QMBS, rainbow scars, into the spectrum of an arbitrary Hamiltonian. Unlike other examples of QMBS, rainbow scars display extensive bipartite entanglement entropy while retaining a simple entanglement structure. Specifically, the entanglement scaling is volume-law for a random bipartition, while scaling for a fine-tuned bipartition is sub-extensive. When internal symmetries are present, the construction leads to multiple, and even towers of rainbow scars revealed through distinctive non-thermal dynamics. To this end, we provide an experimental road map for realizing rainbow scar states in a Rydberg-atom quantum simulator, leading to coherent oscillations distinct from the strictly sub-volume-law QMBS previously realized in the same system. 

1 aLanglett, Christopher, M.1 aYang, Zhi-Cheng1 aWildeboer, Julia1 aGorshkov, Alexey, V.1 aIadecola, Thomas1 aXu, Shenglong uhttps://arxiv.org/abs/2107.0341601276nas a2200157 4500008004100000245007700041210006900118260001300187520076900200100002200969700002400991700001901015700002201034700002501056856003701081 2020 eng d00aAsymmetric blockade and multi-qubit gates via dipole-dipole interactions0 aAsymmetric blockade and multiqubit gates via dipoledipole intera c6/3/20203 a

Due to their strong and tunable interactions, Rydberg atoms can be used to realize fast two-qubit entangling gates. We propose a generalization of a generic two-qubit Rydberg-blockade gate to multi-qubit Rydberg-blockade gates which involve both many control qubits and many target qubits simultaneously. This is achieved by using strong microwave fields to dress nearby Rydberg states, leading to asymmetric blockade in which control-target interactions are much stronger than control-control and target-target interactions. The implementation of these multi-qubit gates can drastically simplify both quantum algorithms and state preparation. To illustrate this, we show that a 25-atom GHZ state can be created using only three gates with an error of 7.8%.

1 aYoung, Jeremy, T.1 aBienias, Przemyslaw1 aBelyansky, Ron1 aKaufman, Adam, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2006.0248602237nas a2200121 4500008004100000245011500041210006900156260001300225520179100238100002502029700002402054856003702078 2020 eng d00aAuditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis0 aAuditing and Debugging Deep Learning Models via Decision Boundar c1/2/20203 a

Deep learning models have been criticized for their lack of easy interpretation, which undermines confidence in their use for important applications. Nevertheless, they are consistently utilized in many applications, consequential to humans' lives, mostly because of their better performance. Therefore, there is a great need for computational methods that can explain, audit, and debug such models. Here, we use flip points to accomplish these goals for deep learning models with continuous output scores (e.g., computed by softmax), used in social applications. A flip point is any point that lies on the boundary between two output classes: e.g. for a model with a binary yes/no output, a flip point is any input that generates equal scores for "yes" and "no". The flip point closest to a given input is of particular importance because it reveals the least changes in the input that would change a model's classification, and we show that it is the solution to a well-posed optimization problem. Flip points also enable us to systematically study the decision boundaries of a deep learning classifier. The resulting insight into the decision boundaries of a deep model can clearly explain the model's output on the individual-level, via an explanation report that is understandable by non-experts. We also develop a procedure to understand and audit model behavior towards groups of people. Flip points can also be used to alter the decision boundaries in order to improve undesirable behaviors. We demonstrate our methods by investigating several models trained on standard datasets used in social applications of machine learning. We also identify the features that are most responsible for particular classifications and misclassifications.

1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P. uhttps://arxiv.org/abs/2001.0068202079nas a2200133 4500008004100000245007500041210006900116260001400185520165000199100001801849700001901867700002201886856003701908 2020 eng d00aA Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds0 aBlackBox Approach to PostQuantum ZeroKnowledge in Constant Round c11/5/20203 a

In a recent seminal work, Bitansky and Shmueli (STOC '20) gave the first construction of a constant round zero-knowledge argument for NP secure against quantum attacks. However, their construction has several drawbacks compared to the classical counterparts. Specifically, their construction only achieves computational soundness, requires strong assumptions of quantum hardness of learning with errors (QLWE assumption) and the existence of quantum fully homomorphic encryption (QFHE), and relies on non-black-box simulation. In this paper, we resolve these issues at the cost of weakening the notion of zero-knowledge to what is called ε-zero-knowledge. Concretely, we construct the following protocols: - We construct a constant round interactive proof for NP that satisfies statistical soundness and black-box ε-zero-knowledge against quantum attacks assuming the existence of collapsing hash functions, which is a quantum counterpart of collision-resistant hash functions. Interestingly, this construction is just an adapted version of the classical protocol by Goldreich and Kahan (JoC '96) though the proof of ε-zero-knowledge property against quantum adversaries requires novel ideas. - We construct a constant round interactive argument for NP that satisfies computational soundness and black-box ε-zero-knowledge against quantum attacks only assuming the existence of post-quantum one-way functions. At the heart of our results is a new quantum rewinding technique that enables a simulator to extract a committed message of a malicious verifier while simulating verifier's internal state in an appropriate sense.

1 aChia, Nai-Hui1 aChung, Kai-Min1 aYamakawa, Takashi uhttps://arxiv.org/abs/2011.0267001932nas a2200181 4500008004100000245005700041210005700098260001300155520138000168100002501548700002001573700002201593700002701615700002301642700002501665700002301690856003701713 2020 eng d00aCritical Theory for the Breakdown of Photon Blockade0 aCritical Theory for the Breakdown of Photon Blockade c6/9/20203 a

Photon blockade is the result of the interplay between the quantized nature of light and strong optical nonlinearities, whereby strong photon-photon repulsion prevents a quantum optical system from absorbing multiple photons. We theoretically study a single atom coupled to the light field, described by the resonantly driven Jaynes--Cummings model, in which case the photon blockade breaks down in a second order phase transition at a critical drive strength. We show that this transition is associated to the spontaneous breaking of an anti-unitary PT-symmetry. Within a semiclassical approximation we calculate the expectation values of observables in the steady state. We then move beyond the semiclassical approximation and approach the critical point from the disordered (blockaded) phase by reducing the Lindblad quantum master equation to a classical rate equation that we solve. The width of the steady-state distribution in Fock space is found to diverge as we approach the critical point with a simple power-law, allowing us to calculate the critical scaling of steady state observables without invoking mean-field theory. We propose a simple physical toy model for biased diffusion in the space of occupation numbers, which captures the universal properties of the steady state. We list several experimental platforms where this phenomenon may be observed.

1 aCurtis, Jonathan, B.1 aBoettcher, Igor1 aYoung, Jeremy, T.1 aMaghrebi, Mohammad, F.1 aCarmichael, Howard1 aGorshkov, Alexey, V.1 aFoss-Feig, Michael uhttps://arxiv.org/abs/2006.0559301563nas a2200169 4500008004100000245002700041210002700068260001400095300001200109490000700121520114400128100002201272700002401294700001801318700002001336856003701356 2020 eng d00aDiscrete Time Crystals0 aDiscrete Time Crystals c3/10/2020 a467-4990 v113 a

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

1 aElse, Dominic, V.1 aMonroe, Christopher1 aNayak, Chetan1 aYao, Norman, Y. uhttps://arxiv.org/abs/1905.1323201383nas a2200157 4500008004100000245005600041210005500097260001400152490000800166520093200174100002001106700001601126700002501142700002101167856003701188 2020 eng d00aHilbert-Space Fragmentation from Strict Confinement0 aHilbertSpace Fragmentation from Strict Confinement c5/22/20200 v1243 a

We study one-dimensional spin-1/2 models in which strict confinement of Ising domain walls leads to the fragmentation of Hilbert space into exponentially many disconnected subspaces. Whereas most of the previous works emphasize dipole moment conservation as an essential ingredient for such fragmentation, we instead require two commuting U(1) conserved quantities associated with the total domain-wall number and the total magnetization. The latter arises naturally from the confinement of domain walls. Remarkably, while some connected components of the Hilbert space thermalize, others are integrable by Bethe ansatz. We further demonstrate how this Hilbert-space fragmentation pattern arises perturbatively in the confining limit of Z2 gauge theory coupled to fermionic matter, leading to a hierarchy of time scales for motion of the fermions. This model can be realized experimentally in two complementary settings.

1 aYang, Zhi-Cheng1 aLiu, Fangli1 aGorshkov, Alexey, V.1 aIadecola, Thomas uhttps://arxiv.org/abs/1912.0430001427nas a2200157 4500008004100000245007300041210006900114260001400183520092900197100001601126700002001142700002401162700002101186700002501207856003701232 2020 eng d00aLocalization and criticality in antiblockaded 2D Rydberg atom arrays0 aLocalization and criticality in antiblockaded 2D Rydberg atom ar c12/7/20203 a

Controllable Rydberg atom arrays have provided new insights into fundamental properties of quantum matter both in and out of equilibrium. In this work, we study the effect of experimentally relevant positional disorder on Rydberg atoms trapped in a 2D square lattice under anti-blockade (facilitation) conditions. We show that the facilitation conditions lead the connectivity graph of a particular subspace of the full Hilbert space to form a 2D Lieb lattice, which features a singular flat band. Remarkably, we find three distinct regimes as the disorder strength is varied: a critical regime, a delocalized but nonergodic regime, and a regime with a disorder-induced flat band. The critical regime's existence depends crucially upon the singular flat band in our model, and is absent in any 1D array or ladder system. We propose to use quench dynamics to probe the three different regimes experimentally. 

1 aLiu, Fangli1 aYang, Zhi-Cheng1 aBienias, Przemyslaw1 aIadecola, Thomas1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2012.0394602329nas a2200157 4500008004100000245005700041210005600098260001400154490000700168520186200175100002202037700002502059700002302084700002702107856003702134 2020 eng d00aNon-equilibrium fixed points of coupled Ising models0 aNonequilibrium fixed points of coupled Ising models c2/26/20200 v103 a

Driven-dissipative systems can exhibit non-equilibrium phenomena that are absent in their equilibrium counterparts. However, phase transitions present in these systems generically exhibit an effectively classical equilibrium behavior in spite of their quantum non-equilibrium origin. In this paper, we show that multicritical points in driven-dissipative systems can give rise to genuinely non-equilibrium behavior. We investigate a non-equilibrium driven-dissipative model of interacting bosons that exhibits two distinct phase transitions: one from a high- to a low-density phase---reminiscent of a liquid-gas transition---and another to an antiferromagnetic phase. Each phase transition is described by the Ising universality class characterized by an (emergent or microscopic) Z2 symmetry. They, however, coalesce at a multicritical point giving rise to a non-equilibrium model of coupled Ising-like order parameters described by a Z2×Z2 symmetry. Using a dynamical renormalization-group approach, we show that a pair of non-equilibrium fixed points (NEFPs) emerge that govern the long-distance critical behavior of the system. We elucidate various exotic features of these NEFPs. In particular, we show that a generic continuous scale invariance at criticality is reduced to a discrete scale invariance. This further results in complex-valued critical exponents, spiraling phase boundaries, and a complex Liouvillian gap even close to the phase transition. As direct evidence of the non-equilibrium nature of the NEFPs, we show that the fluctuation-dissipation relation is violated at all scales, leading to an effective temperature that becomes "hotter" and "hotter" at longer and longer wavelengths. Finally, we argue that this non-equilibrium behavior can be observed in cavity arrays with cross-Kerr nonlinearities.

1 aYoung, Jeremy, T.1 aGorshkov, Alexey, V.1 aFoss-Feig, Michael1 aMaghrebi, Mohammad, F. uhttps://arxiv.org/abs/1903.0256901744nas a2200133 4500008004100000245008400041210006900125260001400194520131100208100001801519700001701537700001901554856003701573 2020 eng d00aNon-equilibrium steady state phases of the interacting Aubry-Andre-Harper model0 aNonequilibrium steady state phases of the interacting AubryAndre c5/21/20203 a

Here we study the phase diagram of the Aubry-Andre-Harper model in the presence of strong interactions as the strength of the quasiperiodic potential is varied. Previous work has established the existence of many-body localized phase at large potential strength; here, we find a rich phase diagram in the delocalized regime characterized by spin transport and unusual correlations. We calculate the non-equilibrium steady states of a boundary-driven strongly interacting Aubry-Andre-Harper model by employing the time-evolving block decimation algorithm on matrix product density operators. From these steady states, we extract spin transport as a function of system size and quasiperiodic potential strength. This data shows spin transport going from superdiffusive to subdiffusive well before the localization transition; comparing to previous results, we also find that the transport transition is distinct from a transition observed in the speed of operator growth in the model. We also investigate the correlation structure of the steady state and find an unusual oscillation pattern for intermediate values of the potential strength. The unusual spin transport and quantum correlation structure suggest multiple dynamical phases between the much-studied thermal and many-body-localized phases.

1 aYoo, Yongchan1 aLee, Junhyun1 aSwingle, Brian uhttps://arxiv.org/abs/2005.1083501683nas a2200145 4500008004100000245003900041210003800080260001400118520131100132100001501443700001401458700001501472700001301487856003701500 2020 eng d00aOne-shot dynamical resource theory0 aOneshot dynamical resource theory c12/4/20203 a

A fundamental problem in resource theory is to study the manipulation of the resource. Focusing on a general dynamical resource theory of quantum channels, here we consider tasks of one-shot resource distillation and dilution with a single copy of the resource. For any target of unitary channel or pure state preparation channel, we establish a universal strategy to determine upper and lower bounds on rates that convert between any given resource and the target. We show that the rates are related to resource measures based on the channel robustness and the channel hypothesis testing entropy, with regularization factors of the target resource measures. The strategy becomes optimal with converged bounds when the channel robustness is finite and measures of the target resource collapse to the same value. The single-shot result also applies to asymptotic parallel manipulation of channels to obtain asymptotic resource conversion rates. We give several examples of dynamical resources, including the purity, classical capacity, quantum capacity, non-uniformity, coherence, and entanglement of quantum channels. Our results are applicable to general dynamical resource theories with potential applications in quantum communication, fault-tolerant quantum computing, and quantum thermodynamics.

1 aYuan, Xiao1 aZeng, Pei1 aGao, Minbo1 aZhao, Qi uhttps://arxiv.org/abs/2012.0278101566nas a2200157 4500008004100000245005100041210005100092260001300143520114100156100001501297700001701312700001501329700001301344700001401357856003701371 2020 eng d00aQuantum simulation with hybrid tensor networks0 aQuantum simulation with hybrid tensor networks c7/2/20203 a

Tensor network theory and quantum simulation are respectively the key classical and quantum methods in understanding many-body quantum physics. Here we show hybridization of these two seemingly independent methods, inheriting both their distinct advantageous features of efficient representations of many-body wave functions. We introduce the framework of hybrid tensor networks with building blocks consisting of measurable quantum states and classically contractable tensors. As an example, we demonstrate efficient quantum simulation with hybrid tree tensor networks that use quantum hardware whose size is significantly smaller than the one of the target system. We numerically test our method for finding the ground state of 1D and 2D spin systems of up to 8×8 and 4×3 qubits with operations only acting on 8+1 and 4+1 qubits, respectively. Our approach paves the way to the near-term quantum simulation of large practical problems with intermediate size quantum hardware, with potential applications in quantum chemistry, quantum many-body physics, quantum field theory, and quantum gravity thought experiments.

1 aYuan, Xiao1 aSun, Jinzhao1 aLiu, Junyu1 aZhao, Qi1 aZhou, You uhttps://arxiv.org/abs/2007.0095801648nas a2200193 4500008004100000245006700041210006700108260001300175300001100188490000800199520108700207100001601294700001901310700002201329700001801351700002301369700002501392856003701417 2020 eng d00aSymmetry breaking and error correction in open quantum systems0 aSymmetry breaking and error correction in open quantum systems c8/6/2020 a2404050 v1253 a

Symmetry-breaking transitions are a well-understood phenomenon of closed quantum systems in quantum optics, condensed matter, and high energy physics. However, symmetry breaking in open systems is less thoroughly understood, in part due to the richer steady-state and symmetry structure that such systems possess. For the prototypical open system---a Lindbladian---a unitary symmetry can be imposed in a "weak" or a "strong" way. We characterize the possible Zn symmetry breaking transitions for both cases. In the case of Z2, a weak-symmetry-broken phase guarantees at most a classical bit steady-state structure, while a strong-symmetry-broken phase admits a partially-protected steady-state qubit. Viewing photonic cat qubits through the lens of strong-symmetry breaking, we show how to dynamically recover the logical information after any gap-preserving strong-symmetric error; such recovery becomes perfect exponentially quickly in the number of photons. Our study forges a connection between driven-dissipative phase transitions and error correctio

1 aLieu, Simon1 aBelyansky, Ron1 aYoung, Jeremy, T.1 aLundgren, Rex1 aAlbert, Victor, V.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2008.0281601696nas a2200145 4500008004100000245005800041210005700099260001400156520126100170100002501431700001601456700001701472700002401489856003701513 2019 eng d00aClassifying single-qubit noise using machine learning0 aClassifying singlequbit noise using machine learning c8/30/20193 a

Quantum characterization, validation, and verification (QCVV) techniques are used to probe, characterize, diagnose, and detect errors in quantum information processors (QIPs). An important component of any QCVV protocol is a mapping from experimental data to an estimate of a property of a QIP. Machine learning (ML) algorithms can help automate the development of QCVV protocols, creating such maps by learning them from training data. We identify the critical components of "machine-learned" QCVV techniques, and present a rubric for developing them. To demonstrate this approach, we focus on the problem of determining whether noise affecting a single qubit is coherent or stochastic (incoherent) using the data sets originally proposed for gate set tomography. We leverage known ML algorithms to train a classifier distinguishing these two kinds of noise. The accuracy of the classifier depends on how well it can approximate the "natural" geometry of the training data. We find GST data sets generated by a noisy qubit can reliably be separated by linear surfaces, although feature engineering can be necessary. We also show the classifier learned by a support vector machine (SVM) is robust under finite-sample noise. 

1 aScholten, Travis, L.1 aLiu, Yi-Kai1 aYoung, Kevin1 aBlume-Kohout, Robin uhttps://arxiv.org/abs/1908.1176202184nas a2200121 4500008004100000245005100041210005100092260001500143520181800158100002501976700002402001856003702025 2019 eng d00aInterpreting Neural Networks Using Flip Points0 aInterpreting Neural Networks Using Flip Points c03/20/20193 a

Neural networks have been criticized for their lack of easy interpretation, which undermines confidence in their use for important applications. Here, we introduce a novel technique, interpreting a trained neural network by investigating its flip points. A flip point is any point that lies on the boundary between two output classes: e.g. for a neural network with a binary yes/no output, a flip point is any input that generates equal scores for "yes" and "no". The flip point closest to a given input is of particular importance, and this point is the solution to a well-posed optimization problem. This paper gives an overview of the uses of flip points and how they are computed. Through results on standard datasets, we demonstrate how flip points can be used to provide detailed interpretation of the output produced by a neural network. Moreover, for a given input, flip points enable us to measure confidence in the correctness of outputs much more effectively than softmax score. They also identify influential features of the inputs, identify bias, and find changes in the input that change the output of the model. We show that distance between an input and the closest flip point identifies the most influential points in the training data. Using principal component analysis (PCA) and rank-revealing QR factorization (RR-QR), the set of directions from each training input to its closest flip point provides explanations of how a trained neural network processes an entire dataset: what features are most important for classification into a given class, which features are most responsible for particular misclassifications, how an adversary might fool the network, etc. Although we investigate flip points for neural networks, their usefulness is actually model-agnostic.

1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P. uhttps://arxiv.org/abs/1903.0878901719nas a2200121 4500008004100000245006500041210006500106260001300171520132800184100002501512700002301537856003701560 2019 eng d00aInvestigating Decision Boundaries of Trained Neural Networks0 aInvestigating Decision Boundaries of Trained Neural Networks c8/7/20193 a

Deep learning models have been the subject of study from various perspectives, for example, their training process, interpretation, generalization error, robustness to adversarial attacks, etc. A trained model is defined by its decision boundaries, and therefore, many of the studies about deep learning models speculate about the decision boundaries, and sometimes make simplifying assumptions about them. So far, finding exact points on the decision boundaries of trained deep models has been considered an intractable problem. Here, we compute exact points on the decision boundaries of these models and provide mathematical tools to investigate the surfaces that define the decision boundaries. Through numerical results, we confirm that some of the speculations about the decision boundaries are accurate, some of the computational methods can be improved, and some of the simplifying assumptions may be unreliable, for models with nonlinear activation functions. We advocate for verification of simplifying assumptions and approximation methods, wherever they are used. Finally, we demonstrate that the computational practices used for finding adversarial examples can be improved and computing the closest point on the decision boundary reveals the weakest vulnerability of a model against adversarial attack.

1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P uhttps://arxiv.org/abs/1908.0280201475nas a2200181 4500008004100000245010000041210006900141260001400210520088000224100001901104700002201123700002401145700002201169700002201191700001801213700002501231856003701256 2019 eng d00aNondestructive cooling of an atomic quantum register via state-insensitive Rydberg interactions0 aNondestructive cooling of an atomic quantum register via statein c7/28/20193 a

We propose a protocol for sympathetically cooling neutral atoms without destroying the quantum information stored in their internal states. This is achieved by designing state-insensitive Rydberg interactions between the data-carrying atoms and cold auxiliary atoms. The resulting interactions give rise to an effective phonon coupling, which leads to the transfer of heat from the data atoms to the auxiliary atoms, where the latter can be cooled by conventional methods. This can be used to extend the lifetime of quantum storage based on neutral atoms and can have applications for long quantum computations. The protocol can also be modified to realize state-insensitive interactions between the data and the auxiliary atoms but tunable and non-trivial interactions among the data atoms, allowing one to simultaneously cool and simulate a quantum spin-model. 

1 aBelyansky, Ron1 aYoung, Jeremy, T.1 aBienias, Przemyslaw1 aEldredge, Zachary1 aKaufman, Adam, M.1 aZoller, Peter1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1907.1115601348nas a2200121 4500008004100000245010600041210006900147260001400216520091000230100002501140700002401165856003701189 2019 eng d00aA Probabilistic Framework and a Homotopy Method for Real-time Hierarchical Freight Dispatch Decisions0 aProbabilistic Framework and a Homotopy Method for Realtime Hiera c2019/12/83 a

We propose a real-time decision framework for multimodal freight dispatch through a system of hierarchical hubs, using a probabilistic model for transit times. Instead of assigning a fixed time to each transit, we advocate using historical records to identify characteristics of the probability density function for each transit time. We formulate a nonlinear optimization problem that defines dispatch decisions that minimize expected cost, using this probabilistic information. Finally, we propose an effective homotopy algorithm that (empirically) outperforms standard optimization algorithms on this problem by taking advantage of its structure, and we demonstrate its effectiveness on numerical examples. 

1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P. uhttps://arxiv.org/abs/1912.0373301709nas 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.0784501498nas a2200121 4500008004100000245007200041210006900113260001300182520109600195100002501291700002301316856003701339 2019 eng d00aRefining the Structure of Neural Networks Using Matrix Conditioning0 aRefining the Structure of Neural Networks Using Matrix Condition c8/6/20193 a

Deep learning models have proven to be exceptionally useful in performing many machine learning tasks. However, for each new dataset, choosing an effective size and structure of the model can be a time-consuming process of trial and error. While a small network with few neurons might not be able to capture the intricacies of a given task, having too many neurons can lead to overfitting and poor generalization. Here, we propose a practical method that employs matrix conditioning to automatically design the structure of layers of a feed-forward network, by first adjusting the proportion of neurons among the layers of a network and then scaling the size of network up or down. Results on sample image and non-image datasets demonstrate that our method results in small networks with high accuracies. Finally, guided by matrix conditioning, we provide a method to effectively squeeze models that are already trained. Our techniques reduce the human cost of designing deep learning models and can also reduce training time and the expense of using neural networks for applications.

1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P uhttps://arxiv.org/abs/1908.0240005095nas a2200169 4500008004100000245007900041210006900120260001500189520455700204100001804761700001804779700001804797700002004815700001704835700001604852856005704868 2018 eng d00aCapacity Approaching Codes for Low Noise Interactive Quantum Communication0 aCapacity Approaching Codes for Low Noise Interactive Quantum Com c2018/01/013 a
We consider the problem of implementing two-party interactive quantum
communication over noisy channels, a necessary endeavor if we wish to
fully reap quantum advantages for communication.  
 
For an arbitrary protocol with n messages, designed for
noiseless qudit channels, our main result is a simulation method that fails with probability less than
$2^{-\Theta(n\epsilon)}$ and uses a qudit channel $n(1 + \Theta
(\sqrt{\epsilon}))$ times, of which an $\epsilon$ fraction can be
corrupted adversarially.
 
The simulation is thus capacity achieving to leading order, and
we conjecture that it is optimal up to a constant factor in 
the $\sqrt{\epsilon}$ term.  
 
Furthermore, the simulation is in a model that does not require
pre-shared resources such as randomness or entanglement between the
communicating parties.
 
Surprisingly, this outperforms the best-known overhead of $1 +
O(\sqrt{\epsilon \log \log 1/\epsilon})$ in the corresponding
\emph{classical} model, which is also conjectured to be optimal
     [Haeupler, FOCS'14].
 
Our work also improves over the best previously known quantum result
where the overhead is a non-explicit large constant [Brassard \emph{et
    al.}, FOCS'14] for low $\epsilon$.
1 aLeung, Debbie1 aNayak, Ashwin1 aShayeghi, Ala1 aTouchette, Dave1 aYao, Penghui1 aYu, Nengkun uhttp://acm-stoc.org/stoc2018/STOC-2018-Accepted.html03349nas a2200217 4500008004100000245008400041210006900125260001500194300001100209490000700220520266700227100002202894700002002916700001702936700003102953700002102984700002403005700002103029700002503050856005603075 2018 eng d00aDissipation induced dipole blockade and anti-blockade in driven Rydberg systems0 aDissipation induced dipole blockade and antiblockade in driven R c2018/02/28 a0234240 v973 a

We study theoretically and experimentally the competing blockade and antiblockade effects induced by spontaneously generated contaminant Rydberg atoms in driven Rydberg systems. These contaminant atoms provide a source of strong dipole-dipole interactions and play a crucial role in the system's behavior. We study this problem theoretically using two different approaches. The first is a cumulant expansion approximation, in which we ignore third-order and higher connected correlations. Using this approach for the case of resonant drive, a many-body blockade radius picture arises, and we find qualitative agreement with previous experimental results. We further predict that as the atomic density is increased, the Rydberg population's dependence on Rabi frequency will transition from quadratic to linear dependence at lower Rabi frequencies. We study this behavior experimentally by observing this crossover at two different atomic densities. We confirm that the larger density system has a smaller crossover Rabi frequency than the smaller density system. The second theoretical approach is a set of phenomenological inhomogeneous rate equations. We compare the results of our rate-equation model to the experimental observations [E. A. Goldschmidt et al.Phys. Rev. Lett. 116, 113001 (2016)] and find that these rate equations provide quantitatively good scaling behavior of the steady-state Rydberg population for both resonant and off-resonant drives.

1 aYoung, Jeremy, T.1 aBoulier, Thomas1 aMagnan, Eric1 aGoldschmidt, Elizabeth, A.1 aWilson, Ryan, M.1 aRolston, Steven, L.1 aPorto, James, V.1 aGorshkov, Alexey, V. uhttps://link.aps.org/doi/10.1103/PhysRevA.97.02342401662nas a2200217 4500008004100000245004200041210004000083260001500123300001200138490000600150520105500156100002101211700002201232700002101254700002201275700002301297700001601320700001901336700001601355856007301371 2018 eng d00aElectro-mechano-optical NMR detection0 aElectromechanooptical NMR detection c2018/02/01 a152-1580 v53 a

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

1 aTakeda, Kazuyuki1 aNagasaka, Kentaro1 aNoguchi, Atsushi1 aYamazaki, Rekishu1 aNakamura, Yasunobu1 aIwase, Eiji1 aTaylor, J., M.1 aUsami, Koji uhttps://www.osapublishing.org/optica/abstract.cfm?uri=optica-5-2-15201816nas a2200193 4500008004100000245007600041210006900117260001400186300001500200490000600215520125400221100001901475700001901494700001801513700002001531700001901551700001501570856003701585 2018 eng d00aQuantitative Robustness Analysis of Quantum Programs (Extended Version)0 aQuantitative Robustness Analysis of Quantum Programs Extended Ve c2018/12/1 aArticle 310 v33 a

Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum resources (e.g., qubits) are scarce, classical error correction techniques applied at the level of the architecture are currently cost-prohibitive. But while this reality means that quantum programs are almost certain to have errors, there as yet exists no principled means to reason about erroneous behavior. This paper attempts to fill this gap by developing a semantics for erroneous quantum while-programs, as well as a logic for reasoning about them. This logic permits proving a property we have identified, called ε-robustness, which characterizes possible "distance" between an ideal program and an erroneous one. We have proved the logic sound, and showed its utility on several case studies, notably: (1) analyzing the robustness of noisy versions of the quantum Bernoulli factory (QBF) and quantum walk (QW); (2) demonstrating the (in)effectiveness of different error correction schemes on single-qubit errors; and (3) analyzing the robustness of a fault-tolerant version of QBF.

1 aHung, Shih-Han1 aHietala, Kesha1 aZhu, Shaopeng1 aYing, Mingsheng1 aHicks, Michael1 aWu, Xiaodi uhttps://arxiv.org/abs/1811.0358501662nas a2200145 4500008004100000245008400041210006900125520118800194100002101382700001901403700001801422700002101440700001801461856003701479 2018 eng d00aQuantum generalizations of the polynomial hierarchy with applications to QMA(2)0 aQuantum generalizations of the polynomial hierarchy with applica3 a

The polynomial-time hierarchy (PH) has proven to be a powerful tool for providing separations in computational complexity theory (modulo standard conjectures such as PH does not collapse). Here, we study whether two quantum generalizations of PH can similarly prove separations in the quantum setting. The first generalization, QCPH, uses classical proofs, and the second, QPH, uses quantum proofs. For the former, we show quantum variants of the Karp-Lipton theorem and Toda's theorem. For the latter, we place its third level, QΣ3, into NEXP {using the Ellipsoid Method for efficiently solving semidefinite programs}. These results yield two implications for QMA(2), the variant of Quantum Merlin-Arthur (QMA) with two unentangled proofs, a complexity class whose characterization has proven difficult. First, if QCPH=QPH (i.e., alternating quantifiers are sufficiently powerful so as to make classical and quantum proofs "equivalent"), then QMA(2) is in the Counting Hierarchy (specifically, in PPPPP). Second, unless QMA(2)=QΣ3 (i.e., alternating quantifiers do not help in the presence of "unentanglement"), QMA(2) is strictly contained in NEXP.

1 aGharibian, Sevag1 aSantha, Miklos1 aSikora, Jamie1 aSundaram, Aarthi1 aYirka, Justin uhttps://arxiv.org/abs/1805.1113901858nas a2200169 4500008004100000245004400041210004400085520137000129100002401499700002201523700002101545700002301566700001801589700002001607700002401627856003701651 2018 eng d00aVerified Quantum Information Scrambling0 aVerified Quantum Information Scrambling3 a

Quantum scrambling is the dispersal of local information into many-body quantum entanglements and correlations distributed throughout the entire system. This concept underlies the dynamics of thermalization in closed quantum systems, and more recently has emerged as a powerful tool for characterizing chaos in black holes. However, the direct experimental measurement of quantum scrambling is difficult, owing to the exponential complexity of ergodic many-body entangled states. One way to characterize quantum scrambling is to measure an out-of-time-ordered correlation function (OTOC); however, since scrambling leads to their decay, OTOCs do not generally discriminate between quantum scrambling and ordinary decoherence. Here, we implement a quantum circuit that provides a positive test for the scrambling features of a given unitary process. This approach conditionally teleports a quantum state through the circuit, providing an unambiguous litmus test for scrambling while projecting potential circuit errors into an ancillary observable. We engineer quantum scrambling processes through a tunable 3-qubit unitary operation as part of a 7-qubit circuit on an ion trap quantum computer. Measured teleportation fidelities are typically ∼80%, and enable us to experimentally bound the scrambling-induced decay of the corresponding OTOC measurement.

1 aLandsman, Kevin, A.1 aFiggatt, Caroline1 aSchuster, Thomas1 aLinke, Norbert, M.1 aYoshida, Beni1 aYao, Norman, Y.1 aMonroe, Christopher uhttps://arxiv.org/abs/1806.0280702145nas a2200205 4500008004100000245005800041210005700099260001500156300001100171490000700182520152100189100002301710700002101733700002201754700002101776700002501797700002101822700002701843856006901870 2017 eng d00aEmergent equilibrium in many-body optical bistability0 aEmergent equilibrium in manybody optical bistability c2017/04/17 a0438260 v953 a

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

1 aFoss-Feig, Michael1 aNiroula, Pradeep1 aYoung, Jeremy, T.1 aHafezi, Mohammad1 aGorshkov, Alexey, V.1 aWilson, Ryan, M.1 aMaghrebi, Mohammad, F. uhttps://journals.aps.org/pra/abstract/10.1103/PhysRevA.95.04382601360nas 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-201826nas a2200169 4500008004100000245005800041210005800099260001500157490000700172520131900179100001901498700002401517700002001541700001701561700002401578856005401602 2017 eng d00aHamiltonian Simulation with Optimal Sample Complexity0 aHamiltonian Simulation with Optimal Sample Complexity c2017/03/310 v133 a
We investigate the sample complexity of Hamiltonian simulation: how many copies of an unknown quantum state are required to simulate a Hamiltonian encoded by the density matrix of that state? We show that the procedure proposed by Lloyd, Mohseni, and Rebentrost [Nat. Phys., 10(9):631--633, 2014] is optimal for this task. We further extend their method to the case of multiple input states, showing how to simulate any Hermitian polynomial of the states provided. As applications, we derive optimal algorithms for commutator simulation and orthogonality testing, and we give a protocol for creating a coherent superposition of pure states, when given sample access to those states. We also show that this sample-based Hamiltonian simulation can be used as the basis of a universal model of quantum computation that requires only partial swap operations and simple single-qubit states.
 
 
1 aKimmel, Shelby1 aLin, Cedric, Yen-Yu1 aLow, Guang, Hao1 aOzols, Maris1 aYoder, Theodore, J. uhttps://www.nature.com/articles/s41534-017-0013-701598nas a2200241 4500008004100000245005800041210005800099260001500157300001100172490000800183520093100191100001301122700001401135700001801149700001601167700001801183700001801201700001301219700001601232700001401248700002201262856007201284 2017 eng d00aQuantum state tomography via reduced density matrices0 aQuantum state tomography via reduced density matrices c2017/01/09 a0204010 v1183 a

Quantum state tomography via local measurements is an efficient tool for characterizing quantum states. However it requires that the original global state be uniquely determined (UD) by its local reduced density matrices (RDMs). In this work we demonstrate for the first time a class of states that are UD by their RDMs under the assumption that the global state is pure, but fail to be UD in the absence of that assumption. This discovery allows us to classify quantum states according to their UD properties, with the requirement that each class be treated distinctly in the practice of simplifying quantum state tomography. Additionally we experimentally test the feasibility and stability of performing quantum state tomography via the measurement of local RDMs for each class. These theoretical and experimental results advance the project of performing efficient and accurate quantum state tomography in practice.

1 aXin, Tao1 aLu, Dawei1 aKlassen, Joel1 aYu, Nengkun1 aJi, Zhengfeng1 aChen, Jianxin1 aMa, Xian1 aLong, Guilu1 aZeng, Bei1 aLaflamme, Raymond uhttp://journals.aps.org/prl/abstract/10.1103/PhysRevLett.118.02040101278nas a2200133 4500008004100000245005800041210005700099260001500156520087600171100001501047700001701062700001601079856004901095 2017 eng d00aRaz-McKenzie simulation with the inner product gadget0 aRazMcKenzie simulation with the inner product gadget c2017/01/283 a

In this note we show that the Raz-McKenzie simulation algorithm which lifts deterministic query lower bounds to deterministic communication lower bounds can be implemented for functions f composed with the Inner Product gadget 1ip(x, y) = P i xiyi mod 2 of logarithmic size. In other words, given a function f : {0, 1} n → {0, 1} with deterministic query complexity D(f), we show that the deterministic communication complexity of the composed function f ◦ 1 n ip is Θ(D(f) log n), where f ◦ 1 n ip(x, y) = f(1ip(x 1 , y 1 ), . . . , 1ip(x n , y n )) where x = (x 1 , . . . , x n ), y = (y 1 , . . . , y n ) and each x i and y i are O(log n) bit strings. In [RM97] and [GPW15], the simulation algorithm is implemented for functions composed with the Indexing gadget, where the size of the gadget is polynomial in the input length of the outer function f.

1 aWu, Xiaodi1 aYao, Penghui1 aYuen, Henry uhttps://eccc.weizmann.ac.il/report/2017/010/01534nas a2200169 4500008004100000245006200041210005800103260001500161490000800176520102300184100002301207700002201230700002301252700002501275700002701300856003701327 2017 eng d00aA solvable family of driven-dissipative many-body systems0 asolvable family of drivendissipative manybody systems c2017/11/100 v1193 a

Exactly solvable models have played an important role in establishing the sophisticated modern understanding of equilibrium many-body physics. And conversely, the relative scarcity of solutions for non-equilibrium models greatly limits our understanding of systems away from thermal equilibrium. We study a family of nonequilibrium models, some of which can be viewed as dissipative analogues of the transverse-field Ising model, in that an effectively classical Hamiltonian is frustrated by dissipative processes that drive the system toward states that do not commute with the Hamiltonian. Surprisingly, a broad and experimentally relevant subset of these models can be solved efficiently in any number of spatial dimensions. We leverage these solutions to prove a no-go theorem on steady-state phase transitions in a many-body model that can be realized naturally with Rydberg atoms or trapped ions, and to compute the effects of decoherence on a canonical trapped-ion-based quantum computation architecture.

1 aFoss-Feig, Michael1 aYoung, Jeremy, T.1 aAlbert, Victor, V.1 aGorshkov, Alexey, V.1 aMaghrebi, Mohammad, F. uhttps://arxiv.org/abs/1703.0462601556nas a2200217 4500008004100000245006300041210006300104260001500167300001100182490000800193520094300201100002401144700001601168700001801184700001901202700001801221700002501239700002001264700001801284856003601302 2016 eng d00aAnomalous broadening in driven dissipative Rydberg systems0 aAnomalous broadening in driven dissipative Rydberg systems c2016/03/16 a1130010 v1163 aWe observe interaction-induced broadening of the two-photon 5s-18s transition in 87Rb atoms trapped in a 3D optical lattice. The measured linewidth increases by nearly two orders of magnitude with increasing atomic density and excitation strength, with corresponding suppression of resonant scattering and enhancement of off-resonant scattering. We attribute the increased linewidth to resonant dipole-dipole interactions of 18s atoms with spontaneously created populations of nearby np states. Over a range of initial atomic densities and excitation strengths, the transition width is described by a single function of the steady-state density of Rydberg atoms, and the observed resonant excitation rate corresponds to that of a two-level system with the measured, rather than natural, linewidth. The broadening mechanism observed here is likely to have negative implications for many proposals with coherently interacting Rydberg atoms.1 aGoldschmidt, E., A.1 aBoulier, T.1 aBrown, R., C.1 aKoller, S., B.1 aYoung, J., T.1 aGorshkov, Alexey, V.1 aRolston, S., L.1 aPorto, J., V. uhttp://arxiv.org/abs/1510.0871001164nas a2200169 4500008004100000245007500041210006900116260001500185300001100200490000700211520067400218100001800892700001800910700001600928700001400944856003600958 2016 eng d00aDetecting Consistency of Overlapping Quantum Marginals by Separability0 aDetecting Consistency of Overlapping Quantum Marginals by Separa c2016/03/03 a0321050 v933 a The quantum marginal problem asks whether a set of given density matrices are consistent, i.e., whether they can be the reduced density matrices of a global quantum state. Not many non-trivial analytic necessary (or sufficient) conditions are known for the problem in general. We propose a method to detect consistency of overlapping quantum marginals by considering the separability of some derived states. Our method works well for the $k$-symmetric extension problem in general, and for the general overlapping marginal problems in some cases. Our work is, in some sense, the converse to the well-known $k$-symmetric extension criterion for separability. 1 aChen, Jianxin1 aJi, Zhengfeng1 aYu, Nengkun1 aZeng, Bei uhttp://arxiv.org/abs/1509.0659102567nas a2200145 4500008004100000245007800041210006900119260001500188520211000203100001802313700002002331700001702351700001602368856003702384 2016 eng d00aExponential Separation of Quantum Communication and Classical Information0 aExponential Separation of Quantum Communication and Classical In c2016/11/283 a
We exhibit a Boolean function for which the quantum communication complexity is exponentially larger than the classical information complexity. An exponential separation in the other direction was already known from the work of Kerenidis et. al. [SICOMP 44, pp. 1550-1572], hence our work implies that these two complexity measures are incomparable. As classical information complexity is an upper bound on quantum information complexity, which in turn is equal to amortized quantum communication complexity, our work implies that a tight direct sum result for distributional quantum communication complexity cannot hold. The function we use to present such a separation is the Symmetric k-ary Pointer Jumping function introduced by Rao and Sinha [ECCC TR15-057], whose classical communication complexity is exponentially larger than its classical information complexity. In this paper, we show that the quantum communication complexity of this function is polynomially equivalent to its classical communication complexity. The high-level idea behind our proof is arguably the simplest so far for such an exponential separation between information and communication, driven by a sequence of round-elimination arguments, allowing us to simplify further the approach of Rao and Sinha. 
As another application of the techniques that we develop, we give a simple proof for an optimal trade-off between Alice's and Bob's communication while computing the related Greater-Than function on n bits: say Bob communicates at most b bits, then Alice must send n/exp(O(b)) bits to Bob. This holds even when allowing pre-shared entanglement. We also present a classical protocol achieving this bound.
 
 
1 aAnshu, Anurag1 aTouchette, Dave1 aYao, Penghui1 aYu, Nengkun uhttps://arxiv.org/abs/1611.0894601692nas a2200181 4500008004100000245007500041210006900116260001500185520116000200100001801360700001501378700001801393700001901411700001601430700001401446700001401460856003601474 2016 eng d00aJoint product numerical range and geometry of reduced density matrices0 aJoint product numerical range and geometry of reduced density ma c2016/06/233 aThe reduced density matrices of a many-body quantum system form a convex set, whose three-dimensional projection Θ is convex in R3. The boundary ∂Θ of Θ may exhibit nontrivial geometry, in particular ruled surfaces. Two physical mechanisms are known for the origins of ruled surfaces: symmetry breaking and gapless. In this work, we study the emergence of ruled surfaces for systems with local Hamiltonians in infinite spatial dimension, where the reduced density matrices are known to be separable as a consequence of the quantum de Finetti's theorem. This allows us to identify the reduced density matrix geometry with joint product numerical range Π of the Hamiltonian interaction terms. We focus on the case where the interaction terms have certain structures, such that ruled surface emerge naturally when taking a convex hull of Π. We show that, a ruled surface on ∂Θ sitting in Π has a gapless origin, otherwise it has a symmetry breaking origin. As an example, we demonstrate that a famous ruled surface, known as the oloid, is a possible shape of Θ, with two boundary pieces of symmetry breaking origin separated by two gapless lines.1 aChen, Jianxin1 aGuo, Cheng1 aJi, Zhengfeng1 aPoon, Yiu-Tung1 aYu, Nengkun1 aZeng, Bei1 aZhou, Jie uhttp://arxiv.org/abs/1606.0742201395nas a2200145 4500008004100000245008900041210006900130260001500199300001100214490000700225520094000232100002301172700001801195856003601213 2016 eng d00aOptimal state discrimination and unstructured search in nonlinear quantum mechanics0 aOptimal state discrimination and unstructured search in nonlinea c2016/02/11 a0223140 v933 a Nonlinear variants of quantum mechanics can solve tasks that are impossible in standard quantum theory, such as perfectly distinguishing nonorthogonal states. Here we derive the optimal protocol for distinguishing two states of a qubit using the Gross-Pitaevskii equation, a model of nonlinear quantum mechanics that arises as an effective description of Bose-Einstein condensates. Using this protocol, we present an algorithm for unstructured search in the Gross-Pitaevskii model, obtaining an exponential improvement over a previous algorithm of Meyer and Wong. This result establishes a limitation on the effectiveness of the Gross-Pitaevskii approximation. More generally, we demonstrate similar behavior under a family of related nonlinearities, giving evidence that the ability to quickly discriminate nonorthogonal states and thereby solve unstructured search is a generic feature of nonlinear quantum mechanics. 1 aChilds, Andrew, M.1 aYoung, Joshua uhttp://arxiv.org/abs/1507.0633401747nas a2200241 4500008004100000245009400041210006900135260001500204300001100219490000800230520106300238100001401301700001301315700001601328700001801344700001801362700001601380700002001396700001701416700001401433700002201447856003601469 2016 eng d00aTomography is necessary for universal entanglement detection with single-copy observables0 aTomography is necessary for universal entanglement detection wit c2016/06/07 a2305010 v1163 aEntanglement, one of the central mysteries of quantum mechanics, plays an essential role in numerous applications of quantum information theory. A natural question of both theoretical and experimental importance is whether universal entanglement detection is possible without full state tomography. In this work, we prove a no-go theorem that rules out this possibility for any non-adaptive schemes that employ single-copy measurements only. We also examine in detail a previously implemented experiment, which claimed to detect entanglement of two-qubit states via adaptive single-copy measurements without full state tomography. By performing the experiment and analyzing the data, we demonstrate that the information gathered is indeed sufficient to reconstruct the state. These results reveal a fundamental limit for single-copy measurements in entanglement detection, and provides a general framework to study the detection of other interesting properties of quantum states, such as the positivity of partial transpose and the k-symmetric extendibility.1 aLu, Dawei1 aXin, Tao1 aYu, Nengkun1 aJi, Zhengfeng1 aChen, Jianxin1 aLong, Guilu1 aBaugh, Jonathan1 aPeng, Xinhua1 aZeng, Bei1 aLaflamme, Raymond uhttp://arxiv.org/abs/1511.0058101527nas a2200181 4500008004100000245006900041210006900110260001500179300001100194490000700205520098100212100002001193700002401213700002301237700002201260700002501282856003801307 2015 eng d00aBilayer fractional quantum Hall states with ultracold dysprosium0 aBilayer fractional quantum Hall states with ultracold dysprosium c2015/09/10 a0336090 v923 a We show how dipolar interactions between dysprosium atoms in an optical lattice can be used to obtain fractional quantum Hall states. In our approach, dysprosium atoms are trapped one atom per site in a deep optical lattice with negligible tunneling. Microwave and spatially dependent optical dressing fields are used to define an effective spin-1/2 or spin-1 degree of freedom in each atom. Thinking of spin-1/2 particles as hardcore bosons, dipole-dipole interactions give rise to boson hopping, topological flat bands with Chern number 1, and the \nu = 1/2 Laughlin state. Thinking of spin-1 particles as two-component hardcore bosons, dipole-dipole interactions again give rise to boson hopping, topological flat bands with Chern number 2, and the bilayer Halperin (2,2,1) state. By adjusting the optical fields, we find a phase diagram, in which the (2,2,1) state competes with superfluidity. Generalizations to solid-state magnetic dipoles are discussed. 1 aYao, Norman, Y.1 aBennett, Steven, D.1 aLaumann, Chris, R.1 aLev, Benjamin, L.1 aGorshkov, Alexey, V. uhttp://arxiv.org/abs/1505.03099v101250nas a2200217 4500008004100000245007700041210006900118260001500187300001100202490000700213520064200220100001800862700001800880700001800898700001900916700001300935700001600948700001400964700001700978856003700995 2015 eng d00aDiscontinuity of Maximum Entropy Inference and Quantum Phase Transitions0 aDiscontinuity of Maximum Entropy Inference and Quantum Phase Tra c2015/08/10 a0830190 v173 a In this paper, we discuss the connection between two genuinely quantum phenomena --- the discontinuity of quantum maximum entropy inference and quantum phase transitions at zero temperature. It is shown that the discontinuity of the maximum entropy inference of local observable measurements signals the non-local type of transitions, where local density matrices of the ground state change smoothly at the transition point. We then propose to use the quantum conditional mutual information of the ground state as an indicator to detect the discontinuity and the non-local type of quantum phase transitions in the thermodynamic limit. 1 aChen, Jianxin1 aJi, Zhengfeng1 aLi, Chi-Kwong1 aPoon, Yiu-Tung1 aShen, Yi1 aYu, Nengkun1 aZeng, Bei1 aZhou, Duanlu uhttp://arxiv.org/abs/1406.5046v201270nas a2200193 4500008004100000245005700041210005700098260001500155300001100170490000700181520071900188100002700907700002000934700002100954700001700975700002200992700002501014856003701039 2015 eng d00aFractional Quantum Hall States of Rydberg Polaritons0 aFractional Quantum Hall States of Rydberg Polaritons c2015/03/31 a0338380 v913 a We propose a scheme for realizing fractional quantum Hall states of light. In our scheme, photons of two polarizations are coupled to different atomic Rydberg states to form two flavors of Rydberg polaritons that behave as an effective spin. An array of optical cavity modes overlapping with the atomic cloud enables the realization of an effective spin-1/2 lattice. We show that the dipolar interaction between such polaritons, inherited from the Rydberg states, can be exploited to create a flat, topological band for a single spin-flip excitation. At half filling, this gives rise to a photonic (or polaritonic) fractional Chern insulator -- a lattice-based, fractional quantum Hall state of light. 1 aMaghrebi, Mohammad, F.1 aYao, Norman, Y.1 aHafezi, Mohammad1 aPohl, Thomas1 aFirstenberg, Ofer1 aGorshkov, Alexey, V. uhttp://arxiv.org/abs/1411.6624v101534nas a2200157 4500008004100000245007200041210006900113260001500182300001100197490000700208520106200215100001901277700002001296700002401316856003601340 2015 eng d00aRobust Single-Qubit Process Calibration via Robust Phase Estimation0 aRobust SingleQubit Process Calibration via Robust Phase Estimati c2015/12/08 a0623150 v923 a An important step in building a quantum computer is calibrating experimentally implemented quantum gates to produce operations that are close to ideal unitaries. The calibration step involves estimating the error in gates and then using controls to correct the implementation. Quantum process tomography is a standard technique for estimating these errors, but is both time consuming, (when one only wants to learn a few key parameters), and requires resources, like perfect state preparation and measurement, that might not be available. With the goal of efficiently estimating specific errors using minimal resources, we develop a parameter estimation technique, which can gauge two key parameters (amplitude and off-resonance errors) in a single-qubit gate with provable robustness and efficiency. In particular, our estimates achieve the optimal efficiency, Heisenberg scaling. Our main theorem making this possible is a robust version of the phase estimation procedure of Higgins et al. [B. L. Higgins, New J. Phys. 11, 073023 (2009)]. 1 aKimmel, Shelby1 aLow, Guang, Hao1 aYoder, Theodore, J. uhttp://arxiv.org/abs/1502.0267702029nas a2200241 4500008004100000245006600041210006500107260001400172490000800186520133800194100002601532700001801558700002301576700001201599700002201611700002101633700002001654700002301674700001201697700002101709700002001730856003701750 2014 eng d00aMany-body dynamics of dipolar molecules in an optical lattice0 aManybody dynamics of dipolar molecules in an optical lattice c2014/11/70 v1133 a Understanding the many-body dynamics of isolated quantum systems is one of the central challenges in modern physics. To this end, the direct experimental realization of strongly correlated quantum systems allows one to gain insights into the emergence of complex phenomena. Such insights enable the development of theoretical tools that broaden our understanding. Here, we theoretically model and experimentally probe with Ramsey spectroscopy the quantum dynamics of disordered, dipolar-interacting, ultracold molecules in a partially filled optical lattice. We report the capability to control the dipolar interaction strength, and we demonstrate that the many-body dynamics extends well beyond a nearest-neighbor or mean-field picture, and cannot be quantitatively described using previously available theoretical tools. We develop a novel cluster expansion technique and demonstrate that our theoretical method accurately captures the measured dependence of the spin dynamics on molecule number and on the dipolar interaction strength. In the spirit of quantum simulation, this agreement simultaneously benchmarks the new theoretical method and verifies our microscopic understanding of the experiment. Our findings pave the way for numerous applications in quantum information science, metrology, and condensed matter physics. 1 aHazzard, Kaden, R. A.1 aGadway, Bryce1 aFoss-Feig, Michael1 aYan, Bo1 aMoses, Steven, A.1 aCovey, Jacob, P.1 aYao, Norman, Y.1 aLukin, Mikhail, D.1 aYe, Jun1 aJin, Deborah, S.1 aRey, Ana, Maria uhttp://arxiv.org/abs/1402.2354v100657nas a2200229 4500008004100000245006300041210006200104300000800166490000800174100001400182700002500196700001600221700001700237700001400254700001900268700001300287700001300300700001000313700001600323700001700339856007100356 2014 eng d00aProbing many-body interactions in an optical lattice clock0 aProbing manybody interactions in an optical lattice clock a3110 v3401 aRey, A, M1 aGorshkov, Alexey, V.1 aKraus, C, V1 aMartin, M, J1 aBishof, M1 aSwallows, M, D1 aZhang, X1 aBenko, C1 aYe, J1 aLemke, N, D1 aLudlow, A, D uhttp://www.sciencedirect.com/science/article/pii/S000349161300254602020nas a2200265 4500008004100000245009000041210006900131260001400200490000800214520123900222100001501461700001801476700002301494700002801517700001801545700002601563700001201589700002201601700002101623700002101644700001201665700002001677700002001697856003701717 2014 eng d00aSuppressing the loss of ultracold molecules via the continuous quantum Zeno effect 0 aSuppressing the loss of ultracold molecules via the continuous q c2014/2/200 v1123 a We investigate theoretically the suppression of two-body losses when the on-site loss rate is larger than all other energy scales in a lattice. This work quantitatively explains the recently observed suppression of chemical reactions between two rotational states of fermionic KRb molecules confined in one-dimensional tubes with a weak lattice along the tubes [Yan et al., Nature 501, 521-525 (2013)]. New loss rate measurements performed for different lattice parameters but under controlled initial conditions allow us to show that the loss suppression is a consequence of the combined effects of lattice confinement and the continuous quantum Zeno effect. A key finding, relevant for generic strongly reactive systems, is that while a single-band theory can qualitatively describe the data, a quantitative analysis must include multiband effects. Accounting for these effects reduces the inferred molecule filling fraction by a factor of five. A rate equation can describe much of the data, but to properly reproduce the loss dynamics with a fixed filling fraction for all lattice parameters we develop a mean-field model and benchmark it with numerically exact time-dependent density matrix renormalization group calculations. 1 aZhu, Bihui1 aGadway, Bryce1 aFoss-Feig, Michael1 aSchachenmayer, Johannes1 aWall, Michael1 aHazzard, Kaden, R. A.1 aYan, Bo1 aMoses, Steven, A.1 aCovey, Jacob, P.1 aJin, Deborah, S.1 aYe, Jun1 aHolland, Murray1 aRey, Ana, Maria uhttp://arxiv.org/abs/1310.2221v201262nas a2200193 4500008004100000245009300041210006900134260001400203490000700217520064800224100002200872700002000894700002500914700002000939700002400959700002100983700002701004856003701031 2013 eng d00aControllable quantum spin glasses with magnetic impurities embedded in quantum solids 0 aControllable quantum spin glasses with magnetic impurities embed c2013/7/240 v883 a Magnetic impurities embedded in inert solids can exhibit long coherence times and interact with one another via their intrinsic anisotropic dipolar interaction. We argue that, as a consequence of these properties, disordered ensembles of magnetic impurities provide an effective platform for realizing a controllable, tunable version of the dipolar quantum spin glass seen in LiHo$_x$Y$_{1-x}$F$_4$. Specifically, we propose and analyze a system composed of dysprosium atoms embedded in solid helium. We describe the phase diagram of the system and discuss the realizability and detectability of the quantum spin glass and antiglass phases. 1 aLemeshko, Mikhail1 aYao, Norman, Y.1 aGorshkov, Alexey, V.1 aWeimer, Hendrik1 aBennett, Steven, D.1 aMomose, Takamasa1 aGopalakrishnan, Sarang uhttp://arxiv.org/abs/1307.1130v101995nas 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.0014v100594nas a2200205 4500008004100000245006400041210006100105300000800166490000800174100001700182700001400199700001900213700001300232700001300245700001900258700002500277700001400302700001200316856006000328 2013 eng d00aA quantum many-body spin system in an optical lattice clock0 aquantum manybody spin system in an optical lattice clock a6320 v3411 aMartin, M, J1 aBishof, M1 aSwallows, M, D1 aZhang, X1 aBenko, C1 avon-Stecher, J1 aGorshkov, Alexey, V.1 aRey, A, M1 aYe, Jun uhttp://www.sciencemag.org/content/341/6146/632.abstract01351nas a2200181 4500008004100000245006100041210006100102260001400163490000800177520081800185100002001003700002501023700002301048700002601071700001201097700002301109856003701132 2013 eng d00aRealizing Fractional Chern Insulators with Dipolar Spins0 aRealizing Fractional Chern Insulators with Dipolar Spins c2013/4/290 v1103 a Strongly correlated quantum systems can exhibit exotic behavior controlled by topology. We predict that the \nu=1/2 fractional Chern insulator arises naturally in a two-dimensional array of driven, dipolar-interacting spins. As a specific implementation, we analyze how to prepare and detect synthetic gauge potentials for the rotational excitations of ultra-cold polar molecules trapped in a deep optical lattice. While the orbital motion of the molecules is pinned, at finite densities, the rotational excitations form a fractional Chern insulator. We present a detailed experimental blueprint for KRb, and demonstrate that the energetics are consistent with near-term capabilities. Prospects for the realization of such phases in solid-state dipolar systems are discussed as are their possible applications. 1 aYao, Norman, Y.1 aGorshkov, Alexey, V.1 aLaumann, Chris, R.1 aLäuchli, Andreas, M.1 aYe, Jun1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1212.4839v101443nas a2200217 4500008004100000245007500041210006900116260001400185300000900199490000600208520080900214100002001023700002301043700002501066700002001091700001701111700001901128700001801147700002301165856003701188 2013 eng d00aTopologically Protected Quantum State Transfer in a Chiral Spin Liquid0 aTopologically Protected Quantum State Transfer in a Chiral Spin  c2013/3/12 a15850 v43 a Topology plays a central role in ensuring the robustness of a wide variety of physical phenomena. Notable examples range from the robust current carrying edge states associated with the quantum Hall and the quantum spin Hall effects to proposals involving topologically protected quantum memory and quantum logic operations. Here, we propose and analyze a topologically protected channel for the transfer of quantum states between remote quantum nodes. In our approach, state transfer is mediated by the edge mode of a chiral spin liquid. We demonstrate that the proposed method is intrinsically robust to realistic imperfections associated with disorder and decoherence. Possible experimental implementations and applications to the detection and characterization of spin liquid phases are discussed. 1 aYao, Norman, Y.1 aLaumann, Chris, R.1 aGorshkov, Alexey, V.1 aWeimer, Hendrik1 aJiang, Liang1 aCirac, Ignacio1 aZoller, Peter1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1110.3788v101519nas a2200217 4500008004100000245008300041210006900124260001400193490000800207520087700215100002001092700002101112700002201133700001201155700002101167700002301188700002001211700002101231700001201252856003701264 2012 eng d00aLong-lived dipolar molecules and Feshbach molecules in a 3D optical lattice 0 aLonglived dipolar molecules and Feshbach molecules in a 3D optic c2012/2/230 v1083 a We have realized long-lived ground-state polar molecules in a 3D optical lattice, with a lifetime of up to 25 s, which is limited only by off-resonant scattering of the trapping light. Starting from a 2D optical lattice, we observe that the lifetime increases dramatically as a small lattice potential is added along the tube-shaped lattice traps. The 3D optical lattice also dramatically increases the lifetime for weakly bound Feshbach molecules. For a pure gas of Feshbach molecules, we observe a lifetime of >20 s in a 3D optical lattice; this represents a 100-fold improvement over previous results. This lifetime is also limited by off-resonant scattering, the rate of which is related to the size of the Feshbach molecule. Individually trapped Feshbach molecules in the 3D lattice can be converted to pairs of K and Rb atoms and back with nearly 100% efficiency. 1 aChotia, Amodsen1 aNeyenhuis, Brian1 aMoses, Steven, A.1 aYan, Bo1 aCovey, Jacob, P.1 aFoss-Feig, Michael1 aRey, Ana, Maria1 aJin, Deborah, S.1 aYe, Jun uhttp://arxiv.org/abs/1110.4420v100674nas 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.6959v201927nas a2200205 4500008004100000245009400041210006900135260001400204300000800218490000600226520130900232100002001541700001701561700002501578700002201603700001701625700001901642700002301661856003701684 2012 eng d00aScalable Architecture for a Room Temperature Solid-State Quantum Information Processor 0 aScalable Architecture for a Room Temperature SolidState Quantum  c2012/4/24 a8000 v33 a The realization of a scalable quantum information processor has emerged over the past decade as one of the central challenges at the interface of fundamental science and engineering. Much progress has been made towards this goal. Indeed, quantum operations have been demonstrated on several trapped ion qubits, and other solid-state systems are approaching similar levels of control. Extending these techniques to achieve fault-tolerant operations in larger systems with more qubits remains an extremely challenging goal, in part, due to the substantial technical complexity of current implementations. Here, we propose and analyze an architecture for a scalable, solid-state quantum information processor capable of operating at or near room temperature. The architecture is applicable to realistic conditions, which include disorder and relevant decoherence mechanisms, and includes a hierarchy of control at successive length scales. Our approach is based upon recent experimental advances involving Nitrogen-Vacancy color centers in diamond and will provide fundamental insights into the physics of non-equilibrium many-body quantum systems. Additionally, the proposed architecture may greatly alleviate the stringent constraints, currently limiting the realization of scalable quantum processors. 1 aYao, Norman, Y.1 aJiang, Liang1 aGorshkov, Alexey, V.1 aMaurer, Peter, C.1 aGiedke, Geza1 aCirac, Ignacio1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/1012.2864v101472nas 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.16300101339nas 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.4479v301276nas 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.4322v101287nas a2200181 4500008004100000245007300041210006900114260001400183490000800197520074600205100002000951700001400971700002600985700002501011700001201036700002001048856003701068 2011 eng d00aResolved atomic interaction sidebands in an optical clock transition0 aResolved atomic interaction sidebands in an optical clock transi c2011/6/220 v1063 a We report the observation of resolved atomic interaction sidebands (ISB) in the ${}^{87}$Sr optical clock transition when atoms at microkelvin temperatures are confined in a two-dimensional (2D) optical lattice. The ISB are a manifestation of the strong interactions that occur between atoms confined in a quasi-one-dimensional geometry and disappear when the confinement is relaxed along one dimension. The emergence of ISB is linked to the recently observed suppression of collisional frequency shifts in [1]. At the current temperatures, the ISB can be resolved but are broad. At lower temperatures, ISB are predicted to be substantially narrower and usable as powerful spectroscopic tools in strongly interacting alkaline-earth gases. 1 aBishof, Michael1 aLin, Yige1 aSwallows, Matthew, D.1 aGorshkov, Alexey, V.1 aYe, Jun1 aRey, Ana, Maria uhttp://arxiv.org/abs/1102.1016v201404nas 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.1644v101401nas a2200217 4500008004100000245005600041210005600097260001300153490000800166520081300174100002100987700001801008700001901026700001401045700002101059700001901080700001401099700001501113700001801128856003701146 2010 eng d00aDynamic Nuclear Polarization in Double Quantum Dots0 aDynamic Nuclear Polarization in Double Quantum Dots c2010/6/40 v1043 aWe theoretically investigate the controlled dynamic polarization of lattice nuclear spins in GaAs double quantum dots containing two electrons. Three regimes of long-term dynamics are identified, including the build up of a large difference in the Overhauser fields across the dots, the saturation of the nuclear polarization process associated with formation of so-called "dark states," and the elimination of the difference field. We show that in the case of unequal dots, build up of difference fields generally accompanies the nuclear polarization process, whereas for nearly identical dots, build up of difference fields competes with polarization saturation in dark states. The elimination of the difference field does not, in general, correspond to a stable steady state of the polarization process. 1 aGullans, Michael1 aKrich, J., J.1 aTaylor, J., M.1 aBluhm, H.1 aHalperin, B., I.1 aMarcus, C., M.1 aStopa, M.1 aYacoby, A.1 aLukin, M., D. uhttp://arxiv.org/abs/1003.4508v200782nas a2200265 4500008004100000245009300041210006900134300000800203490000600211100001700217700001500234700001800249700001300267700002500280700001700305700001300322700001700335700001700352700001400369700001600383700001500399700002000414700001600434856006600450 2010 eng d00aFar-field optical imaging and manipulation of individual spins with nanoscale resolution0 aFarfield optical imaging and manipulation of individual spins wi a9120 v61 aMaurer, P, C1 aMaze, J, R1 aStanwix, P, L1 aJiang, L1 aGorshkov, Alexey, V.1 aZibrov, A, A1 aHarke, B1 aHodges, J, S1 aZibrov, A, S1 aYacoby, A1 aTwitchen, D1 aHell, S, W1 aWalsworth, R, L1 aLukin, M, D uhttp://www.nature.com/nphys/journal/v6/n11/abs/nphys1774.html00622nas 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.3660v200832nas a2200169 4500008004100000245005200041210005100093260001500144300001400159490000600173520035600179100002300535700001900558700002400577700001700601856004400618 2009 eng d00aDiscrete-query quantum algorithm for NAND trees0 aDiscretequery quantum algorithm for NAND trees c2009/07/01 a119 - 1230 v53 a Recently, Farhi, Goldstone, and Gutmann gave a quantum algorithm for evaluating NAND trees that runs in time O(sqrt(N log N)) in the Hamiltonian query model. In this note, we point out that their algorithm can be converted into an algorithm using O(N^{1/2 + epsilon}) queries in the conventional quantum query model, for any fixed epsilon > 0. 1 aChilds, Andrew, M.1 aCleve, Richard1 aJordan, Stephen, P.1 aYeung, David uhttp://arxiv.org/abs/quant-ph/0702160v101927nas a2200121 4500008004100000245005300041210005200094260001500146520156900161100001801730700002001748856003701768 2008 eng d00aAncilla-Assisted Discrimination of Quantum Gates0 aAncillaAssisted Discrimination of Quantum Gates c2008/09/023 a The intrinsic idea of superdense coding is to find as many gates as possible such that they can be perfectly discriminated. In this paper, we consider a new scheme of discrimination of quantum gates, called ancilla-assisted discrimination, in which a set of quantum gates on a $d-$dimensional system are perfectly discriminated with assistance from an $r-$dimensional ancilla system. The main contribution of the present paper is two-fold: (1) The number of quantum gates that can be discriminated in this scheme is evaluated. We prove that any $rd+1$ quantum gates cannot be perfectly discriminated with assistance from the ancilla, and there exist $rd$ quantum gates which can be perfectly discriminated with assistance from the ancilla. (2) The dimensionality of the minimal ancilla system is estimated. We prove that there exists a constant positive number $c$ such that for any $k\leq cr$ quantum gates, if they are $d$-assisted discriminable, then they are also $r$-assisted discriminable, and there are $c^{\prime}r\textrm{}(c^{\prime}>c)$ different quantum gates which can be discriminated with a $d-$dimensional ancilla, but they cannot be discriminated if the ancilla is reduced to an $r-$dimensional system. Thus, the order $O(r)$ of the number of quantum gates that can be discriminated with assistance from an $r-$dimensional ancilla is optimal. The results reported in this paper represent a preliminary step toward understanding the role ancilla system plays in discrimination of quantum gates as well as the power and limit of superdense coding. 1 aChen, Jianxin1 aYing, Mingsheng uhttp://arxiv.org/abs/0809.0336v101191nas a2200145 4500008004100000245007100041210006900112260001400181300001600195490000700211520075200218100001900970700001900989856003701008 2008 eng d00aEfficient scheme for one-way quantum computing in thermal cavities0 aEfficient scheme for oneway quantum computing in thermal cavitie c2008/4/12 a2997 - 30040 v473 a We propose a practical scheme for one-way quantum computing based on efficient generation of 2D cluster state in thermal cavities. We achieve a controlled-phase gate that is neither sensitive to cavity decay nor to thermal field by adding a strong classical field to the two-level atoms. We show that a 2D cluster state can be generated directly by making every two atoms collide in an array of cavities, with numerically calculated parameters and appropriate operation sequence that can be easily achieved in practical Cavity QED experiments. Based on a generated cluster state in Box$^{(4)}$ configuration, we then implement Grover's search algorithm for four database elements in a very simple way as an example of one-way quantum computing. 1 aYang, Wen-Xing1 aGong, Zhe-Xuan uhttp://arxiv.org/abs/0704.2297v101032nas 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.1473v201250nas a2200229 4500008004100000245006800041210006700109260001400176300001400190490000600204520061800210100001900828700001900847700001800866700001400884700001500898700001900913700001500932700001800947700001800965856003700983 2008 eng d00aHigh-sensitivity diamond magnetometer with nanoscale resolution0 aHighsensitivity diamond magnetometer with nanoscale resolution c2008/9/14 a810 - 8160 v43 aWe present a novel approach to the detection of weak magnetic fields that takes advantage of recently developed techniques for the coherent control of solid-state electron spin quantum bits. Specifically, we investigate a magnetic sensor based on Nitrogen-Vacancy centers in room-temperature diamond. We discuss two important applications of this technique: a nanoscale magnetometer that could potentially detect precession of single nuclear spins and an optical magnetic field imager combining spatial resolution ranging from micrometers to millimeters with a sensitivity approaching few femtotesla/Hz$^{1/2}$. 1 aTaylor, J., M.1 aCappellaro, P.1 aChildress, L.1 aJiang, L.1 aBudker, D.1 aHemmer, P., R.1 aYacoby, A.1 aWalsworth, R.1 aLukin, M., D. uhttp://arxiv.org/abs/0805.1367v100857nas a2200145 4500008004100000245003400041210002900075260001500104520048200119100001800601700001800619700001700637700002000654856003700674 2007 eng d00aThe LU-LC conjecture is false0 aLULC conjecture is false c2007/09/093 a The LU-LC conjecture is an important open problem concerning the structure of entanglement of states described in the stabilizer formalism. It states that two local unitary equivalent stabilizer states are also local Clifford equivalent. If this conjecture were true, the local equivalence of stabilizer states would be extremely easy to characterize. Unfortunately, however, based on the recent progress made by Gross and Van den Nest, we find that the conjecture is false. 1 aJi, Zhengfeng1 aChen, Jianxin1 aWei, Zhaohui1 aYing, Mingsheng uhttp://arxiv.org/abs/0709.1266v201229nas a2200145 4500008004100000245011300041210006900154260001500223300001600238490000700254520074000261100001901001700001901020856004401039 2007 eng d00aPractical scheme for quantum dense coding between three parties using microwave radiation in trapped ions 0 aPractical scheme for quantum dense coding between three parties  c2007/03/28 a1245 - 12520 v403 a We propose a practical scheme for implementing two-dimension quantum dense coding (QDC) between three parties through manipulating three ions confined in microtraps addressed by microwaves and assisted by a magnetic field gradient. The ions in our scheme are not required to be strictly cooled to the vibrational ground state because single-qubit and multi-qubit operations are made via Ising terms, in which the vibrational modes of the ions remain unchanged throughout the scheme, rendering our scheme robust to the heating of the ions. We also present the detailed steps and parameters for implementing the three-party QDC experimentally and show that the proposed scheme is within the current techniques of ion-trap experiments. 1 aYang, Wen-Xing1 aGong, Zhe-Xuan uhttp://arxiv.org/abs/quant-ph/0702062v101375nas a2200181 4500008004100000245008800041210006900129260001400198490000700212520082100219100001901040700001801059700002001077700001501097700001901112700001801131856004401149 2007 eng d00aRelaxation, dephasing, and quantum control of electron spins in double quantum dots0 aRelaxation dephasing and quantum control of electron spins in do c2007/7/130 v763 aRecent experiments have demonstrated quantum manipulation of two-electron spin states in double quantum dots using electrically controlled exchange interactions. Here, we present a detailed theory for electron spin dynamics in two-electron double dot systems that was used to guide these experiments and analyze experimental results. The theory treats both charge and spin degrees of freedom on an equal basis. Specifically, we analyze the relaxation and dephasing mechanisms that are relevant to experiments and discuss practical approaches for quantum control of two-electron system. We show that both charge and spin dephasing play important roles in the dynamics of the two-spin system, but neither represents a fundamental limit for electrical control of spin degrees of freedom in semiconductor quantum bits. 1 aTaylor, J., M.1 aPetta, J., R.1 aJohnson, A., C.1 aYacoby, A.1 aMarcus, C., M.1 aLukin, M., D. uhttp://arxiv.org/abs/cond-mat/0602470v201118nas a2200145 4500008004100000245008400041210006900125260001500194300001400209490000700223520066000230100001900890700001900909856004400928 2007 eng d00aSimple scheme for implementing the Deutsch-Jozsa algorithm in thermal cavity 0 aSimple scheme for implementing the DeutschJozsa algorithm in the c2007/01/05 a155 - 1610 v403 a We present a simple scheme to implement the Deutsch-Jozsa algorithm based on two-atom interaction in a thermal cavity. The photon-number-dependent parts in the evolution operator are canceled with the strong resonant classical field added. As a result, our scheme is immune to thermal field, and does not require the cavity to remain in the vacuum state throughout the procedure. Besides, large detuning between the atoms and the cavity is not necessary neither, leading to potential speed up of quantum operation. Finally, we show by numerical simulation that the proposed scheme is equal to demonstrate the Deutsch-Jozsa algorithm with high fidelity. 1 aYang, Wen-Xing1 aGong, Zhe-Xuan uhttp://arxiv.org/abs/quant-ph/0611225v201053nas 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/0503255v2