@article {3495, title = {Agnostic Phase Estimation}, year = {2024}, month = {2/29/2024}, abstract = {

The goal of quantum metrology is to improve measurements\&$\#$39; sensitivities by harnessing quantum resources. Metrologists often aim to maximize the quantum Fisher information, which bounds the measurement setup\&$\#$39;s sensitivity. In studies of fundamental limits on metrology, a paradigmatic setup features a qubit (spin-half system) subject to an unknown rotation. One obtains the maximal quantum Fisher information about the rotation if the spin begins in a state that maximizes the variance of the rotation-inducing operator. If the rotation axis is unknown, however, no optimal single-qubit sensor can be prepared. Inspired by simulations of closed timelike curves, we circumvent this limitation. We obtain the maximum quantum Fisher information about a rotation angle, regardless of the unknown rotation axis. To achieve this result, we initially entangle the probe qubit with an ancilla qubit. Then, we measure the pair in an entangled basis, obtaining more information about the rotation angle than any single-qubit sensor can achieve. We demonstrate this metrological advantage using a two-qubit superconducting quantum processor. Our measurement approach achieves a quantum advantage, outperforming every entanglement-free strategy.

}, url = {https://arxiv.org/abs/2403.00054}, author = {Xingrui Song and Flavio Salvati and Chandrashekhar Gaikwad and Nicole Yunger Halpern and David R. M. Arvidsson-Shukur and Kater Murch} } @article {3492, title = {Complexity-constrained quantum thermodynamics}, year = {2024}, month = {3/7/2024}, abstract = {

Quantum complexity measures the difficulty of realizing a quantum process, such as preparing a state or implementing a unitary. We present an approach to quantifying the thermodynamic resources required to implement a process if the process\&$\#$39;s complexity is restricted. We focus on the prototypical task of information erasure, or Landauer erasure, wherein an n-qubit memory is reset to the all-zero state. We show that the minimum thermodynamic work required to reset an arbitrary state, via a complexity-constrained process, is quantified by the state\&$\#$39;s complexity entropy. The complexity entropy therefore quantifies a trade-off between the work cost and complexity cost of resetting a state. If the qubits have a nontrivial (but product) Hamiltonian, the optimal work cost is determined by the complexity relative entropy. The complexity entropy quantifies the amount of randomness a system appears to have to a computationally limited observer. Similarly, the complexity relative entropy quantifies such an observer\&$\#$39;s ability to distinguish two states. We prove elementary properties of the complexity (relative) entropy and determine the complexity entropy\&$\#$39;s behavior under random circuits. Also, we identify information-theoretic applications of the complexity entropy. The complexity entropy quantifies the resources required for data compression if the compression algorithm must use a restricted number of gates. We further introduce a complexity conditional entropy, which arises naturally in a complexity-constrained variant of information-theoretic decoupling. Assuming that this entropy obeys a conjectured chain rule, we show that the entropy bounds the number of qubits that one can decouple from a reference system, as judged by a computationally bounded referee. Overall, our framework extends the resource-theoretic approach to thermodynamics to integrate a notion of time, as quantified by complexity.

}, url = {https://arxiv.org/abs/2403.04828}, author = {Anthony Munson and Naga Bhavya Teja Kothakonda and Jonas Haferkamp and Nicole Yunger Halpern and Jens Eisert and Philippe Faist} } @article {3460, title = {Complexity-constrained quantum thermodynamics}, year = {2024}, month = {3/7/2024}, abstract = {

Quantum complexity measures the difficulty of realizing a quantum process, such as preparing a state or implementing a unitary. We present an approach to quantifying the thermodynamic resources required to implement a process if the process\&$\#$39;s complexity is restricted. We focus on the prototypical task of information erasure, or Landauer erasure, wherein an n-qubit memory is reset to the all-zero state. We show that the minimum thermodynamic work required to reset an arbitrary state, via a complexity-constrained process, is quantified by the state\&$\#$39;s complexity entropy. The complexity entropy therefore quantifies a trade-off between the work cost and complexity cost of resetting a state. If the qubits have a nontrivial (but product) Hamiltonian, the optimal work cost is determined by the complexity relative entropy. The complexity entropy quantifies the amount of randomness a system appears to have to a computationally limited observer. Similarly, the complexity relative entropy quantifies such an observer\&$\#$39;s ability to distinguish two states. We prove elementary properties of the complexity (relative) entropy and determine the complexity entropy\&$\#$39;s behavior under random circuits. Also, we identify information-theoretic applications of the complexity entropy. The complexity entropy quantifies the resources required for data compression if the compression algorithm must use a restricted number of gates. We further introduce a complexity conditional entropy, which arises naturally in a complexity-constrained variant of information-theoretic decoupling. Assuming that this entropy obeys a conjectured chain rule, we show that the entropy bounds the number of qubits that one can decouple from a reference system, as judged by a computationally bounded referee. Overall, our framework extends the resource-theoretic approach to thermodynamics to integrate a notion of time, as quantified by complexity.

}, url = {https://arxiv.org/abs/2403.04828}, author = {Anthony Munson and Naga Bhavya Teja Kothakonda and Jonas Haferkamp and Nicole Yunger Halpern and Jens Eisert and Philippe Faist} } @article {3490, title = {Efficiently verifiable quantum advantage on near-term analog quantum simulators}, year = {2024}, month = {3/13/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2403.08195}, author = {Zhenning Liu and Dhruv Devulapalli and Dominik Hangleiter and Yi-Kai Liu and Alicia J. Koll{\'a}r and Alexey V. Gorshkov and Andrew M. Childs} } @article {3462, title = {Estimation of Hamiltonian parameters from thermal states}, year = {2024}, month = {1/18/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2401.10343}, author = {Luis Pedro Garc{\'\i}a-Pintos and Kishor Bharti and Jacob Bringewatt and Hossein Dehghani and Adam Ehrenberg and Nicole Yunger Halpern and Alexey V. Gorshkov} } @article {3482, title = {Integrability of Goldilocks quantum cellular automata}, year = {2024}, month = {4/3/2024}, abstract = {

Goldilocks quantum cellular automata (QCA) have been simulated on quantum hardware and produce emergent small-world correlation networks. In Goldilocks QCA, a single-qubit unitary is applied to each qubit in a one-dimensional chain subject to a balance constraint: a qubit is updated if its neighbors are in opposite basis states. Here, we prove that a subclass of Goldilocks QCA -- including the one implemented experimentally -- map onto free fermions and therefore can be classically simulated efficiently. We support this claim with two independent proofs, one involving a Jordan--Wigner transformation and one mapping the integrable six-vertex model to QCA. We compute local conserved quantities of these QCA and predict experimentally measurable expectation values. These calculations can be applied to test large digital quantum computers against known solutions. In contrast, typical Goldilocks QCA have equilibration properties and quasienergy-level statistics that suggest nonintegrability. Still, the latter QCA conserve one quantity useful for error mitigation. Our work provides a parametric quantum circuit with tunable integrability properties with which to test quantum hardware.

}, url = {https://arxiv.org/abs/2404.02994}, author = {Logan E. Hillberry and Lorenzo Piroli and Eric Vernier and Nicole Yunger Halpern and Toma{\v z} Prosen and Lincoln D. Carr} } @article {3485, title = {Properties and Applications of the Kirkwood-Dirac Distribution}, year = {2024}, month = {3/27/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2403.18899}, author = {David R. M. Arvidsson-Shukur and William F. Braasch Jr. and Stephan De Bievre and Justin Dressel and Andrew N. Jordan and Christopher Langrenez and Matteo Lostaglio and Jeff S. Lundeen and Nicole Yunger Halpern} } @article {3484, title = {Quantum thermodynamics of nonequilibrium processes in lattice gauge theories}, year = {2024}, month = {4/3/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2404.02965}, author = {Zohreh Davoudi and Christopher Jarzynski and Niklas Mueller and Greeshma Oruganti and Connor Powers and Nicole Yunger Halpern} } @article {3500, title = {Scattering wave packets of hadrons in gauge theories: Preparation on a quantum computer}, year = {2024}, month = {2/1/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2402.00840}, author = {Zohreh Davoudi and Chung-Chun Hsieh and Saurabh V. Kadam} } @article {3488, title = {The Second Moment of Hafnians in Gaussian Boson Sampling}, year = {2024}, month = {3/20/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2403.13878}, author = {Adam Ehrenberg and Joseph T. Iosue and Abhinav Deshpande and Dominik Hangleiter and Alexey V. Gorshkov} } @article {3480, title = {Strong interactions between integrated microresonators and alkali atomic vapors: towards single-atom, single-photon operation}, year = {2024}, month = {4/5/2024}, abstract = {

Cavity quantum electrodynamics (cQED), the interaction of a two-level system with a high quality factor (Q) cavity, is a foundational building block in different architectures for quantum computation, communication, and metrology. The strong interaction between the atom and the cavity enables single photon operation which is required for quantum gates and sources. Cold atoms, quantum dots, and color centers in crystals are amongst the systems that have shown single photon operations, but they require significant physical infrastructure. Atomic vapors, on the other hand, require limited experimental infrastructure and are hence much easier to deploy outside a laboratory, but they produce an ensemble of moving atoms that results in short interaction times involving multiple atoms, which can hamper quantum operations. A solution to this issue can be found in nanophotonic cavities, where light-matter interaction is enhanced and the volume of operation is small, so that fast single-atom, single-photon operations are enabled. In this work, we study the interaction of an atomically-clad microring resonator (ACMRR) with different-sized ensembles of Rb atoms. We demonstrate strong coupling between an ensemble of ~50 atoms interacting with a high-quality factor (Q \> 4 x 10^5) ACMRR, yielding a many-atom cooperativity C ~ 5.5. We continue to observe signatures of atom-photon interaction for a few (\< 3) atoms, for which we observe saturation at the level of one intracavity photon. Further development of our platform, which includes integrated thermo-optic heaters to enable cavity tuning and stabilization, should enable the observation of interactions between single photons and single atoms.

}, url = {https://arxiv.org/abs/2404.04372}, author = {Roy Zektzer and Xiyuan Lu and Khoi Tuan Hoang and Rahul Shrestha and Sharoon Austin and Feng Zhou and Ashish Chanana and Glenn Holland and Daron Westly and Paul Lett and Alexey V. Gorshkov and Kartik Srinivasan} } @article {3505, title = {Ultrastrong light-matter interaction in a multimode photonic crystal}, year = {2024}, month = {2/21/2024}, abstract = {

Harnessing the interaction between light and matter at the quantum level has been a central theme in atomic physics and quantum optics, with applications from quantum computation to quantum metrology. Combining complex interactions with photonic synthetic materials provides an opportunity to investigate novel quantum phases and phenomena, establishing interesting connections to condensed matter physics. Here we explore many-body phenomena with a single artificial atom coupled to the many discrete modes of a photonic crystal. This experiment reaches the ultrastrong light-matter coupling regime using the circuit quantum electrodynamics paradigm, by galvanically coupling a highly nonlinear fluxonium qubit to a tight-binding lattice of microwave resonators. In this regime, the transport of a single photon becomes a many-body problem, owing to the strong participation of multi-photon bound states arising from interactions that break particle number conservation. Exploiting the effective photon-photon interactions mediated by the qubit, the transport of multiple photons leads to complex multimode dynamics that can be employed for generating a continuous reservoir of strongly-correlated photons, an important resource for quantum networks. This work opens exciting prospects for exploring nonlinear quantum optics at the single-photon level and stabilizing entangled many-body phases of light.

}, url = {https://arxiv.org/abs/2209.14972}, author = {Andrei Vrajitoarea and Ron Belyansky and Rex Lundgren and Seth Whitsitt and Alexey V. Gorshkov and Andrew A. Houck} } @article {3483, title = {Zero-temperature entanglement membranes in quantum circuits}, year = {2024}, month = {4/3/2024}, abstract = {

In chaotic quantum systems, the entanglement of a region A can be described in terms of the surface tension of a spacetime membrane pinned to the boundary of A. Here, we interpret the tension of this entanglement membrane in terms of the rate at which information \"flows\" across it. For any orientation of the membrane, one can define (generically nonunitary) dynamics across the membrane; we explore this dynamics in various space-time translation-invariant (STTI) stabilizer circuits in one and two spatial dimensions. We find that the flux of information across the membrane in these STTI circuits reaches a steady state. In the cases where this dynamics is nonunitary and the steady state flux is nonzero, this occurs because the dynamics across the membrane is unitary in a subspace of extensive entropy. This generalized unitarity is present in a broad class of STTI stabilizer circuits, and is also present in some special non-stabilizer models. The existence of multiple unitary (or generalized unitary) directions forces the entanglement membrane tension to be a piecewise linear function of the orientation of the membrane; in this respect, the entanglement membrane behaves like an interface in a zero-temperature classical lattice model. We argue that entanglement membranes in random stabilizer circuits that produce volume-law entanglement are also effectively at zero temperature.

}, url = {https://arxiv.org/abs/2404.02975}, author = {Grace M. Sommers and Sarang Gopalakrishnan and Michael Gullans and David A. Huse} } @article {3365, title = {Bell sampling from quantum circuits}, year = {2023}, month = {10/6/2023}, abstract = {

A central challenge in the verification of quantum computers is benchmarking their performance as a whole and demonstrating their computational capabilities. In this work, we find a universal model of quantum computation, Bell sampling, that can be used for both of those tasks and thus provides an ideal stepping stone towards fault-tolerance. In Bell sampling, we measure two copies of a state prepared by a quantum circuit in the transversal Bell basis. We show that the Bell samples are classically intractable to produce and at the same time constitute what we call a circuit shadow: from the Bell samples we can efficiently extract information about the quantum circuit preparing the state, as well as diagnose circuit errors. In addition to known properties that can be efficiently extracted from Bell samples, we give two new and efficient protocols, a test for the depth of the circuit and an algorithm to estimate a lower bound to the number of T gates in the circuit. With some additional measurements, our algorithm learns a full description of states prepared by circuits with low T-count.

}, url = {https://arxiv.org/abs/2306.00083}, author = {Dominik Hangleiter and Michael Gullans} } @article {3310, title = {Bell sampling from quantum circuits}, year = {2023}, month = {6/19/2023}, abstract = {

A central challenge in the verification of quantum computers is benchmarking their performance as a whole and demonstrating their computational capabilities. In this work, we find a model of quantum computation, Bell sampling, that can be used for both of those tasks and thus provides an ideal stepping stone towards fault-tolerance. In Bell sampling, we measure two copies of a state prepared by a quantum circuit in the transversal Bell basis. We show that the Bell samples are classically intractable to produce and at the same time constitute what we call a circuit shadow: from the Bell samples we can efficiently extract information about the quantum circuit preparing the state, as well as diagnose circuit errors. In addition to known properties that can be efficiently extracted from Bell samples, we give two new and efficient protocols, a test for the depth of the circuit and an algorithm to estimate a lower bound to the number of T gates in the circuit. With some additional measurements, our algorithm learns a full description of states prepared by circuits with low T-count.

}, url = {https://arxiv.org/abs/2306.00083}, author = {Dominik Hangleiter and Michael Gullans} } @article {3367, title = {Critical phase and spin sharpening in SU(2)-symmetric monitored quantum circuits}, journal = {Physical Review B}, volume = {108}, year = {2023}, month = {8/17/2023}, abstract = {

Monitored quantum circuits exhibit entanglement transitions at certain measurement rates. Such a transition separates phases characterized by how much information an observer can learn from the measurement outcomes. We study SU(2)-symmetric monitored quantum circuits, using exact numerics and a mapping onto an effective statistical-mechanics model. Due to the symmetry\&$\#$39;s non-Abelian nature, measuring qubit pairs allows for nontrivial entanglement scaling even in the measurement-only limit. We find a transition between a volume-law entangled phase and a critical phase whose diffusive purification dynamics emerge from the non-Abelian symmetry. Additionally, we numerically identify a \"spin-sharpening transition.\" On one side is a phase in which the measurements can efficiently identify the system\&$\#$39;s total spin quantum number; on the other side is a phase in which measurements cannot.

}, doi = {10.1103/physrevb.108.054307}, url = {https://arxiv.org/abs/2305.13356}, author = {Shayan Majidy and Utkarsh Agrawal and Sarang Gopalakrishnan and Andrew C. Potter and Romain Vasseur and Nicole Yunger Halpern} } @article {3396, title = {Data Needs and Challenges of Quantum Dot Devices Automation: Workshop Report}, year = {2023}, month = {12/21/2023}, abstract = {

Gate-defined quantum dots are a promising candidate system to realize scalable, coupled qubit systems and serve as a fundamental building block for quantum computers. However, present-day quantum dot devices suffer from imperfections that must be accounted for, which hinders the characterization, tuning, and operation process. Moreover, with an increasing number of quantum dot qubits, the relevant parameter space grows sufficiently to make heuristic control infeasible. Thus, it is imperative that reliable and scalable autonomous tuning approaches are developed. In this report, we outline current challenges in automating quantum dot device tuning and operation with a particular focus on datasets, benchmarking, and standardization. We also present ideas put forward by the quantum dot community on how to overcome them.

}, doi = {https://doi.org/10.48550/arXiv.2312.14322}, url = {https://arxiv.org/abs/2312.14322}, author = {Justyna P. Zwolak and Jacob M. Taylor and Reed Andrews and Jared Benson and Garnett Bryant and Donovan Buterakos and Anasua Chatterjee and Sankar Das Sarma and Mark A. Eriksson and Eli{\v s}ka Greplov{\'a} and Michael Gullans and Fabian Hader and Tyler J. Kovach and Pranav S. Mundada and Mick Ramsey and Torbjoern Rasmussen and Brandon Severin and Anthony Sigillito and Brennan Undseth and Brian Weber} } @article {3318, title = {DiVincenzo-like criteria for autonomous quantum machines}, year = {2023}, month = {7/17/2023}, abstract = {

Controlled quantum machines have matured significantly. A natural next step is to grant them autonomy, freeing them from timed external control. For example, autonomy could unfetter quantum computers from classical control wires that heat and decohere them; and an autonomous quantum refrigerator recently reset superconducting qubits to near their ground states, as is necessary before a computation. What conditions are necessary for realizing useful autonomous quantum machines? Inspired by recent quantum thermodynamics and chemistry, we posit conditions analogous to DiVincenzo\&$\#$39;s criteria for quantum computing. Our criteria are intended to foment and guide the development of useful autonomous quantum machines.

}, url = {https://arxiv.org/abs/2307.08739}, author = {Jos{\'e} Antonio Mar{\'\i}n Guzm{\'a}n and Paul Erker and Simone Gasparinetti and Marcus Huber and Nicole Yunger Halpern} } @article {3316, title = {Experimental Observation of Thermalization with Noncommuting Charges}, journal = {PRX Quantum}, volume = {4}, year = {2023}, month = {4/28/2023}, abstract = {

Quantum simulators have recently enabled experimental observations of quantum many-body systems\&$\#$39; internal thermalization. Often, the global energy and particle number are conserved, and the system is prepared with a well-defined particle number - in a microcanonical subspace. However, quantum evolution can also conserve quantities, or charges, that fail to commute with each other. Noncommuting charges have recently emerged as a subfield at the intersection of quantum thermodynamics and quantum information. Until now, this subfield has remained theoretical. We initiate the experimental testing of its predictions, with a trapped-ion simulator. We prepare 6-21 spins in an approximate microcanonical subspace, a generalization of the microcanonical subspace for accommodating noncommuting charges, which cannot necessarily have well-defined nontrivial values simultaneously. We simulate a Heisenberg evolution using laser-induced entangling interactions and collective spin rotations. The noncommuting charges are the three spin components. We find that small subsystems equilibrate to near a recently predicted non-Abelian thermal state. This work bridges quantum many-body simulators to the quantum thermodynamics of noncommuting charges, whose predictions can now be tested.

}, doi = {10.1103/prxquantum.4.020318}, url = {https://arxiv.org/abs/2202.04652}, author = {Florian Kranzl and Aleksander Lasek and Manoj K. Joshi and Amir Kalev and Rainer Blatt and Christian F. Roos and Nicole Yunger Halpern} } @article {3126, title = {Fat Pointers for Temporal Memory Safety of C}, journal = {Proceedings of the ACM on Programming Languages}, volume = {7}, year = {2023}, month = {3/20/2023}, pages = {316-347}, abstract = {

Temporal memory safety bugs, especially use-after-free and double free bugs, pose a major security threat to C programs. Real-world exploits utilizing these bugs enable attackers to read and write arbitrary memory locations, causing disastrous violations of confidentiality, integrity, and availability. Many previous solutions retrofit temporal memory safety to C, but they all either incur high performance overhead and/or miss detecting certain types of temporal memory safety bugs.
In this paper, we propose a temporal memory safety solution that is both efficient and comprehensive. Specifically, we extend Checked C, a spatially-safe extension to C, with temporally-safe pointers. These are implemented by combining two techniques: fat pointers and dynamic key-lock checks. We show that the fat-pointer solution significantly improves running time and memory overhead compared to the disjoint-metadata approach that provides the same level of protection. With empirical program data and hands-on experience porting real-world applications, we also show that our solution is practical in terms of backward compatibility -- one of the major complaints about fat pointers.

}, keywords = {Cryptography and Security (cs.CR), FOS: Computer and information sciences}, doi = {10.1145/3586038}, url = {https://arxiv.org/abs/2208.12900}, author = {Zhou, Jie and Criswell, John and Hicks, Michael} } @conference {3370, title = {Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium}, booktitle = {Advances in Cryptology {\textendash} CRYPTO 2023}, year = {2023}, month = {8/9/2023}, publisher = {Springer Nature Switzerland}, organization = {Springer Nature Switzerland}, address = {Cham}, abstract = {

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

}, isbn = {978-3-031-38554-4}, author = {Barbosa, Manuel and Barthe, Gilles and Doczkal, Christian and Don, Jelle and Fehr, Serge and Gr{\'e}goire, Benjamin and Huang, Yu-Hsuan and H{\"u}lsing, Andreas and Lee, Yi and Wu, Xiaodi}, editor = {Handschuh, Helena and Lysyanskaya, Anna} } @article {3408, title = {A general approach to backaction-evading receivers with magnetomechanical and electromechanical sensors}, year = {2023}, month = {11/16/2023}, abstract = {

Today\&$\#$39;s mechanical sensors are capable of detecting extremely weak perturbations while operating near the standard quantum limit. However, further improvements can be made in both sensitivity and bandwidth when we reduce the noise originating from the process of measurement itself -- the quantum-mechanical backaction of measurement -- and go below this \&$\#$39;standard\&$\#$39; limit, possibly approaching the Heisenberg limit. One of the ways to eliminate this noise is by measuring a quantum nondemolition variable such as the momentum in a free-particle system. Here, we propose and characterize theoretical models for direct velocity measurement that utilize traditional electric and magnetic transducer designs to generate a signal while enabling this backaction evasion. We consider the general readout of this signal via electric or magnetic field sensing by creating toy models analogous to the standard optomechanical position-sensing problem, thereby facilitating the assessment of measurement-added noise. Using simple models that characterize a wide range of transducers, we find that the choice of readout scheme -- voltage or current -- for each mechanical detector configuration implies access to either the position or velocity of the mechanical sub-system. This in turn suggests a path forward for key fundamental physics experiments such as the direct detection of dark matter particles.

}, url = {https://arxiv.org/abs/2311.09587}, author = {Brittany Richman and Sohitri Ghosh and Daniel Carney and Gerard Higgins and Peter Shawhan and C. J. Lobb and Jacob M. Taylor} } @article {3401, title = {Logical quantum processor based on reconfigurable atom arrays}, journal = {Nature}, year = {2023}, month = {12/7/2023}, issn = {1476-4687}, doi = {10.1038/s41586-023-06927-3}, url = {https://arxiv.org/abs/2312.03982}, author = {Bluvstein, Dolev and Evered, Simon J. and Geim, Alexandra A. and Li, Sophie H. and Zhou, Hengyun and Manovitz, Tom and Ebadi, Sepehr and Cain, Madelyn and Kalinowski, Marcin and Dominik Hangleiter and Ataides, J. Pablo Bonilla and Maskara, Nishad and Cong, Iris and Gao, Xun and Rodriguez, Pedro Sales and Karolyshyn, Thomas and Semeghini, Giulia and Michael Gullans and Greiner, Markus and Vuletic, Vladan and Lukin, Mikhail D.} } @article {3247, title = {The maximum refractive index of an atomic crystal - from quantum optics to quantum chemistry}, year = {2023}, month = {3/20/2023}, abstract = {

All known optical materials have an index of refraction of order unity. Despite the tremendous implications that an ultrahigh index could have for optical technologies, little research has been done on why the refractive index of materials is universally small, and whether this observation is fundamental. Here, we investigate the index of an ordered arrangement of atoms, as a function of atomic density. At dilute densities, this problem falls into the realm of quantum optics, where atoms do not interact with one another except via the scattering of light. On the other hand, when the lattice constant becomes comparable to the Bohr radius, the electronic orbitals begin to overlap, giving rise to quantum chemistry. We present a minimal model that allows for a unifying theory of index spanning these two regimes. A key aspect is the treatment of multiple light scattering, which can be highly non-perturbative over a large density range, and which is the reason that conventional theories of the index break down. In the quantum optics regime, we show that ideal light-matter interactions can have a single-mode nature, allowing for a purely real refractive index that grows with density as (N/V)1/3. At the onset of quantum chemistry, we show how two physical mechanisms (excited electron tunneling dynamics and the buildup of electronic density-density correlations) can open up inelastic or spatial multi-mode light scattering processes, which ultimately reduce the index back to order unity while introducing absorption. Around the onset of chemistry, our theory predicts that ultrahigh index (n\∼30), low-loss materials could in principle be allowed by the laws of nature.\ 

}, url = {https://arxiv.org/abs/2303.10998}, author = {Francesco Andreoli and Bennet Windt and Stefano Grava and Gian Marcello Andolina and Michael Gullans and Alexander A. High and Darrick E. Chang} } @article {3055, title = {Non-Abelian eigenstate thermalization hypothesis}, journal = {Phys. Rev. Lett.}, volume = {130}, year = {2023}, month = {4/6/2023}, chapter = {140402}, abstract = {

The eigenstate thermalization hypothesis (ETH) explains why chaotic quantum many-body systems thermalize internally if the Hamiltonian lacks symmetries. If the Hamiltonian conserves one quantity (\"charge\"), the ETH implies thermalization within a charge sector -- in a microcanonical subspace. But quantum systems can have charges that fail to commute with each other and so share no eigenbasis; microcanonical subspaces may not exist. Furthermore, the Hamiltonian will have degeneracies, so the ETH need not imply thermalization. We adapt the ETH to noncommuting charges by positing a non-Abelian ETH and invoking the approximate microcanonical subspace introduced in quantum thermodynamics. Illustrating with SU(2) symmetry, we apply the non-Abelian ETH in calculating local observables\&$\#$39; time-averaged and thermal expectation values. In many cases, we prove, the time average thermalizes. However, we also find cases in which, under a physically reasonable assumption, the time average converges to the thermal average unusually slowly as a function of the global-system size. This work extends the ETH, a cornerstone of many-body physics, to noncommuting charges, recently a subject of intense activity in quantum thermodynamics.

}, keywords = {FOS: Physical sciences, High Energy Physics - Theory (hep-th), Quantum Gases (cond-mat.quant-gas), Quantum Physics (quant-ph), Statistical Mechanics (cond-mat.stat-mech), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.130.140402}, url = {https://arxiv.org/abs/2206.05310}, author = {Murthy, Chaitanya and Babakhani, Arman and Iniguez, Fernando and Srednicki, Mark and Nicole Yunger Halpern} } @article {3194, title = {Non-Abelian symmetry can increase entanglement entropy}, journal = {Physical Review B}, volume = {107}, year = {2023}, month = {1/3/2023}, abstract = {

The pillars of quantum theory include entanglement and operators\&$\#$39; failure to commute. The Page curve quantifies the bipartite entanglement of a many-body system in a random pure state. This entanglement is known to decrease if one constrains extensive observables that commute with each other (Abelian {\textquoteleft}{\textquoteleft}charges\&$\#$39;\&$\#$39;). Non-Abelian charges, which fail to commute with each other, are of current interest in quantum thermodynamics. For example, noncommuting charges were shown to reduce entropy-production rates and may enhance finite-size deviations from eigenstate thermalization. Bridging quantum thermodynamics to many-body physics, we quantify the effects of charges\&$\#$39; noncommutation -- of a symmetry\&$\#$39;s non-Abelian nature -- on Page curves. First, we construct two models that are closely analogous but differ in whether their charges commute. We show analytically and numerically that the noncommuting-charge case has more entanglement. Hence charges\&$\#$39; noncommutation can promote entanglement.

}, doi = {10.1103/physrevb.107.045102}, url = {https://arxiv.org/abs/2209.14303}, author = {Shayan Majidy and Aleksander Lasek and David A. Huse and Nicole Yunger Halpern} } @article {3371, title = {Nonclassical Advantage in Metrology Established via Quantum Simulations of Hypothetical Closed Timelike Curves}, journal = {Phys. Rev. Lett.}, volume = {131}, year = {2023}, month = {10/12/2023}, pages = {150202}, abstract = {

We construct a metrology experiment in which the metrologist can sometimes amend the input state by simulating a closed timelike curve, a worldline that travels backward in time. The existence of closed timelike curves is hypothetical. Nevertheless, they can be simulated probabilistically by quantum-teleportation circuits. We leverage such simulations to pinpoint a counterintuitive nonclassical advantage achievable with entanglement. Our experiment echoes a common information-processing task: A metrologist must prepare probes to input into an unknown quantum interaction. The goal is to infer as much information per probe as possible. If the input is optimal, the information gained per probe can exceed any value achievable classically. The problem is that, only after the interaction does the metrologist learn which input would have been optimal. The metrologist can attempt to change the input by effectively teleporting the optimal input back in time, via entanglement manipulation. The effective time travel sometimes fails but ensures that, summed over trials, the metrologist\’s winnings are positive. Our Gedankenexperiment demonstrates that entanglement can generate operational advantages forbidden in classical chronology-respecting theories.

}, doi = {10.1103/PhysRevLett.131.150202}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.131.150202}, author = {Arvidsson-Shukur, David R. M. and McConnell, Aidan G. and Yunger Halpern, Nicole} } @article {3366, title = {Noncommuting conserved charges in quantum thermodynamics and beyond}, journal = {Nature Reviews Physics}, year = {2023}, month = {9/7/2023}, abstract = {

Thermodynamic systems typically conserve quantities (\"charges\") such as energy and particle number. The charges are often assumed implicitly to commute with each other. Yet quantum phenomena such as uncertainty relations rely on observables\&$\#$39; failure to commute. How do noncommuting charges affect thermodynamic phenomena? This question, upon arising at the intersection of quantum information theory and thermodynamics, spread recently across many-body physics. Charges\&$\#$39; noncommutation has been found to invalidate derivations of the thermal state\&$\#$39;s form, decrease entropy production, conflict with the eigenstate thermalization hypothesis, and more. This Perspective surveys key results in, opportunities for, and work adjacent to the quantum thermodynamics of noncommuting charges. Open problems include a conceptual puzzle: Evidence suggests that noncommuting charges may hinder thermalization in some ways while enhancing thermalization in others.

}, doi = {10.1038/s42254-023-00641-9}, url = {https://arxiv.org/abs/2306.00054}, author = {Shayan Majidy and William F. Braasch and Aleksander Lasek and Twesh Upadhyaya and Amir Kalev and Nicole Yunger Halpern} } @article {3413, title = {Observation of a finite-energy phase transition in a one-dimensional quantum simulator}, year = {2023}, month = {10/30/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2310.19869}, author = {Alexander Schuckert and Or Katz and Lei Feng and Eleanor Crane and Arinjoy De and Mohammad Hafezi and Alexey V. Gorshkov and Christopher Monroe} } @article {3315, title = {Page curves and typical entanglement in linear optics}, journal = {Quantum}, volume = {7}, year = {2023}, month = {5/18/2023}, pages = {1017}, abstract = {

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

}, doi = {10.22331/q-2023-05-23-1017}, url = {https://arxiv.org/abs/2209.06838}, author = {Joseph T. Iosue and Adam Ehrenberg and Dominik Hangleiter and Abhinav Deshpande and Alexey V. Gorshkov} } @article {2448, title = {Quantum algorithm for estimating volumes of convex bodies}, journal = {ACM Transactions on Quantum Computing}, volume = {4}, year = {2023}, month = {4/2023}, chapter = {20}, abstract = {

Estimating the volume of a convex body is a central problem in convex geometry and can be viewed as a continuous version of counting. We present a quantum algorithm that estimates the volume of an n-dimensional convex body within multiplicative error ε using O~(n3.5+n2.5/ε) queries to a membership oracle and O~(n5.5+n4.5/ε) additional arithmetic operations. For comparison, the best known classical algorithm uses O~(n4+n3/ε2) queries and O~(n6+n5/ε2) additional arithmetic operations. To the best of our knowledge, this is the first quantum speedup for volume estimation. Our algorithm is based on a refined framework for speeding up simulated annealing algorithms that might be of independent interest. This framework applies in the setting of \"Chebyshev cooling\", where the solution is expressed as a telescoping product of ratios, each having bounded variance. We develop several novel techniques when implementing our framework, including a theory of continuous-space quantum walks with rigorous bounds on discretization error.

}, url = {https://arxiv.org/abs/1908.03903}, author = {Shouvanik Chakrabarti and Andrew M. Childs and Shih-Han Hung and Tongyang Li and Chunhao Wang and Xiaodi Wu} } @article {3250, title = {Quantum Hamiltonian Descent}, year = {2023}, month = {3/2/2023}, abstract = {

Gradient descent is a fundamental algorithm in both theory and practice for continuous optimization. Identifying its quantum counterpart would be appealing to both theoretical and practical quantum applications. A conventional approach to quantum speedups in optimization relies on the quantum acceleration of intermediate steps of classical algorithms, while keeping the overall algorithmic trajectory and solution quality unchanged. We propose Quantum Hamiltonian Descent (QHD), which is derived from the path integral of dynamical systems referring to the continuous-time limit of classical gradient descent algorithms, as a truly quantum counterpart of classical gradient methods where the contribution from classically-prohibited trajectories can significantly boost QHD\&$\#$39;s performance for non-convex optimization. Moreover, QHD is described as a Hamiltonian evolution efficiently simulatable on both digital and analog quantum computers. By embedding the dynamics of QHD into the evolution of the so-called Quantum Ising Machine (including D-Wave and others), we empirically observe that the D-Wave-implemented QHD outperforms a selection of state-of-the-art gradient-based classical solvers and the standard quantum adiabatic algorithm, based on the time-to-solution metric, on non-convex constrained quadratic programming instances up to 75 dimensions. Finally, we propose a \"three-phase picture\" to explain the behavior of QHD, especially its difference from the quantum adiabatic algorithm.

}, url = {https://arxiv.org/abs/2303.01471}, author = {Jiaqi Leng and Ethan Hickman and Joseph Li and Xiaodi Wu} } @article {3425, title = {Quantum simulations of time travel can power nonclassical metrology}, journal = {Phys. Rev. Lett.}, volume = {131}, year = {2023}, month = {11/3/2023}, abstract = {

We construct a metrology experiment in which the metrologist can sometimes amend her input state by simulating a closed timelike curve, a worldline that travels backward in time. The existence of closed timelike curves is hypothetical. Nevertheless, they can be simulated probabilistically by quantum-teleportation circuits. We leverage such simulations to pinpoint a counterintuitive nonclassical advantage achievable with entanglement. Our experiment echoes a common information-processing task: A metrologist must prepare probes to input into an unknown quantum interaction. The goal is to infer as much information per probe as possible. If the input is optimal, the information gained per probe can exceed any value achievable classically. The problem is that, only after the interaction does the metrologist learn which input would have been optimal. The metrologist can attempt to change her input by effectively teleporting the optimal input back in time, via entanglement manipulation. The effective time travel sometimes fails but ensures that, summed over trials, the metrologist\&$\#$39;s winnings are positive. Our Gedankenexperiment demonstrates that entanglement can generate operational advantages forbidden in classical chronology-respecting theories.

}, doi = {https://doi.org/10.48550/arXiv.2207.07666}, url = {arXiv:2207.07666}, author = {David R. M. Arvidsson-Shukur and Aidan G. McConnell and Nicole Yunger Halpern} } @article {3397, title = {Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions}, year = {2023}, month = {12/14/2023}, abstract = {

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

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

Qubit noise spectroscopy is an important tool for the experimental investigation of open quantum systems. However, conventional techniques for implementing noise spectroscopy are time-consuming, because they require multiple measurements of the noise spectral density at different frequencies. Here we describe an alternative method for quickly characterizing the spectral density. Our method utilizes random pulse sequences, with carefully-controlled correlations among the pulses, to measure arbitrary linear functionals of the noise spectrum. Such measurements allow us to estimate k\&$\#$39;th-order moments of the noise spectrum, as well as to reconstruct sparse noise spectra via compressed sensing. Our simulations of the performance of the random pulse sequences on a realistic physical system, self-assembled quantum dots, reveal a speedup of an order of magnitude in extracting the noise spectrum compared to conventional dynamical decoupling approaches.

}, url = {https://arxiv.org/abs/2303.00909}, author = {Kaixin Huang and Demitry Farfurnik and Alireza Seif and Mohammad Hafezi and Yi-Kai Liu} } @article {3518, title = {Secret extraction attacks against obfuscated IQP circuits}, year = {2023}, month = {12/15/2023}, abstract = {

Quantum computing devices can now perform sampling tasks which, according to complexity-theoretic and numerical evidence, are beyond the reach of classical computers. This raises the question of how one can efficiently verify that a quantum computer operating in this regime works as intended. In 2008, Shepherd and Bremner proposed a protocol in which a verifier constructs a unitary from the comparatively easy-to-implement family of so-called IQP circuits, and challenges a prover to execute it on a quantum computer. The challenge problem is designed to contain an obfuscated secret, which can be turned into a statistical test that accepts samples from a correct quantum implementation. It was conjectured that extracting the secret from the challenge problem is NP-hard, so that the ability to pass the test constitutes strong evidence that the prover possesses a quantum device and that it works as claimed. Unfortunately, about a decade later, Kahanamoku-Meyer found an efficient classical secret extraction attack. Bremner, Cheng, and Ji very recently followed up by constructing a wide-ranging generalization of the original protocol. Their IQP Stabilizer Scheme has been explicitly designed to circumvent the known weakness. They also suggested that the original construction can be made secure by adjusting the problem parameters. In this work, we develop a number of secret extraction attacks which are effective against both new approaches in a wide range of problem parameters. The important problem of finding an efficient and reliable verification protocol for sampling-based proofs of quantum supremacy thus remains open.

}, url = {https://arxiv.org/abs/2312.10156}, author = {David Gross and Dominik Hangleiter} } @article {3264, title = {Self-dual quasiperiodic percolation}, journal = {Phys. Rev. E}, volume = {107}, year = {2023}, month = {2/27/2023}, pages = {024137}, abstract = {

How does the percolation transition behave in the absence of quenched randomness? To address this question, we study two nonrandom self-dual quasiperiodic models of square-lattice bond percolation. In both models, the critical point has emergent discrete scale invariance, but none of the additional emergent conformal symmetry of critical random percolation. From the discrete sequences of critical clusters, we find fractal dimensions of Df=1.911943(1) and Df=1.707234(40) for the two models, significantly different from Df=91/48=1.89583... of random percolation. The critical exponents ν, determined through a numerical study of cluster sizes and wrapping probabilities on a torus, are also well below the ν=4/3 of random percolation. While these new models do not appear to belong to a universality class, they demonstrate how the removal of randomness can fundamentally change the critical behavior.

}, doi = {10.1103/PhysRevE.107.024137}, url = {https://arxiv.org/abs/2206.11290}, author = {Sommers, Grace M. and Michael Gullans and Huse, David A.} } @article {3312, title = {A sharp phase transition in linear cross-entropy benchmarking}, year = {2023}, month = {5/8/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2305.04954}, author = {Brayden Ware and Abhinav Deshpande and Dominik Hangleiter and Pradeep Niroula and Bill Fefferman and Alexey V. Gorshkov and Michael Gullans} } @article {3255, title = {Spin-selective strong light-matter coupling in a 2D hole gas-microcavity system}, year = {2023}, month = {2/12/2023}, abstract = {

The interplay between time-reversal symmetry breaking and strong light-matter coupling in 2D gases brings intriguing aspects to polariton physics. This combination can lead to polarization/spin selective light-matter interaction in the strong coupling regime. In this work, we report such a selective strong light-matter interaction by harnessing a 2D gas in the quantum Hall regime coupled to a microcavity. Specifically, we demonstrate circular-polarization dependence of the vacuum Rabi splitting, as a function of magnetic field and hole density. We provide a quantitative understanding of the phenomenon by modeling the coupling of optical transitions between Landau levels to the microcavity. This method introduces a control tool over the spin degree of freedom in polaritonic semiconductor systems, paving the way for new experimental possibilities in light-matter hybrids.

}, url = {https://arxiv.org/abs/2302.06023}, author = {Daniel G. Suarez-Forero and Deric Weston Session and Mahmoud Jalali Mehrabad and Patrick Knuppel and Stefan Faelt and Werner Wegscheider and Mohammad Hafezi} } @article {3254, title = {Symphony: Expressive Secure Multiparty Computation with Coordination}, journal = {The Art, Science, and Engineering of Programming}, volume = {7}, year = {2023}, month = {2/20/2023}, type = {14}, abstract = {

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

}, doi = {10.22152/programming-journal.org/2023/7/14}, url = {https://arxiv.org/abs/2302.10076}, author = {Ian Sweet and David Darais and David Heath and William Harris and Ryan Estes and Michael Hicks} } @article {3288, title = {Thermally driven quantum refrigerator autonomously resets superconducting qubit}, year = {2023}, month = {5/26/2023}, abstract = {

The first thermal machines steered the industrial revolution, but their quantum analogs have yet to prove useful. Here, we demonstrate a useful quantum absorption refrigerator formed from superconducting circuits. We use it to reset a transmon qubit to a temperature lower than that achievable with any one available bath. The process is driven by a thermal gradient and is autonomous -- requires no external control. The refrigerator exploits an engineered three-body interaction between the target qubit and two auxiliary qudits coupled to thermal environments. The environments consist of microwave waveguides populated with synthesized thermal photons. The target qubit, if initially fully excited, reaches a steady-state excited-level population of 5\×10\−4\±5\×10\−4 (an effective temperature of 23.5~mK) in about 1.6~μs. Our results epitomize how quantum thermal machines can be leveraged for quantum information-processing tasks. They also initiate a path toward experimental studies of quantum thermodynamics with superconducting circuits coupled to propagating thermal microwave fields.

}, url = {https://arxiv.org/abs/2305.16710}, author = {Mohammed Ali Aamir and Paul Jamet Suria and Jos{\'e} Antonio Mar{\'\i}n Guzm{\'a}n and Claudia Castillo-Moreno and Jeffrey M. Epstein and Nicole Yunger Halpern and Simone Gasparinetti} } @article {3399, title = {Transition of Anticoncentration in Gaussian Boson Sampling}, year = {2023}, month = {12/13/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2312.08433}, author = {Adam Ehrenberg and Joseph T. Iosue and Abhinav Deshpande and Dominik Hangleiter and Alexey V. Gorshkov} } @article {3363, title = {Verifiable measurement-based quantum random sampling with trapped ions}, year = {2023}, month = {7/26/2023}, abstract = {

Quantum computers are now on the brink of outperforming their classical counterparts. One way to demonstrate the advantage of quantum computation is through quantum random sampling performed on quantum computing devices. However, existing tools for verifying that a quantum device indeed performed the classically intractable sampling task are either impractical or not scalable to the quantum advantage regime. The verification problem thus remains an outstanding challenge. Here, we experimentally demonstrate efficiently verifiable quantum random sampling in the measurement-based model of quantum computation on a trapped-ion quantum processor. We create random cluster states, which are at the heart of measurement-based computing, up to a size of 4 x 4 qubits. Moreover, by exploiting the structure of these states, we are able to recycle qubits during the computation to sample from entangled cluster states that are larger than the qubit register. We then efficiently estimate the fidelity to verify the prepared states--in single instances and on average--and compare our results to cross-entropy benchmarking. Finally, we study the effect of experimental noise on the certificates. Our results and techniques provide a feasible path toward a verified demonstration of a quantum advantage.

}, doi = {https://doi.org/10.48550/arXiv.2307.14424}, url = {https://arxiv.org/abs/2307.14424}, author = {Martin Ringbauer and Marcel Hinsche and Thomas Feldker and Paul K. Faehrmann and Juani Bermejo-Vega and Claire Edmunds and Lukas Postler and Roman Stricker and Christian D. Marciniak and Michael Meth and Ivan Pogorelov and Rainer Blatt and Philipp Schindler and Jens Eisert and Thomas Monz and Dominik Hangleiter} } @article {3289, title = {What happens to entropy production when conserved quantities fail to commute with each other}, year = {2023}, month = {5/24/2023}, abstract = {

We extend entropy production to a deeply quantum regime involving noncommuting conserved quantities. Consider a unitary transporting conserved quantities (\"charges\") between two systems initialized in thermal states. Three common formulae model the entropy produced. They respectively cast entropy as an extensive thermodynamic variable, as an information-theoretic uncertainty measure, and as a quantifier of irreversibility. Often, the charges are assumed to commute with each other (e.g., energy and particle number). Yet quantum charges can fail to commute. Noncommutation invites generalizations, which we posit and justify, of the three formulae. Charges\&$\#$39; noncommutation, we find, breaks the formulae\&$\#$39;s equivalence. Furthermore, different formulae quantify different physical effects of charges\&$\#$39; noncommutation on entropy production. For instance, entropy production can signal contextuality - true nonclassicality - by becoming nonreal. This work opens up stochastic thermodynamics to noncommuting - and so particularly quantum - charges.

}, url = {https://arxiv.org/abs/2305.15480}, author = {Twesh Upadhyaya and William F. Braasch, Jr. and Gabriel T. Landi and Nicole Yunger Halpern} } @article {3406, title = {{\AE} codes}, year = {2023}, month = {11/21/2023}, abstract = {

Diatomic molecular codes [{arXiv:1911.00099}] are designed to encode quantum information in the orientation of a diatomic molecule, allowing error correction from small torques and changes in angular momentum. Here, we directly study noise native to atomic and molecular platforms -- spontaneous emission, stray electromagnetic fields, and Raman scattering -- and derive simple necessary and sufficient conditions for codes to protect against such noise. We identify existing and develop new absorption-emission ({\AE}) codes that are more practical than molecular codes, require lower average momentum, can directly protect against photonic processes up to arbitrary order, and are applicable to a broader set of atomic and molecular systems.

}, url = {https://arxiv.org/abs/2311.12324}, author = {Shubham P. Jain and Eric R. Hudson and Wesley C. Campbell and Victor V. Albert} } @article {3078, title = {Accurate and Efficient Quantum Computations of Molecular Properties Using Daubechies Wavelet Molecular Orbitals: A Benchmark Study against Experimental Data}, journal = {PRX Quantum}, volume = {3}, year = {2022}, month = {5/28/2022}, pages = {020360}, abstract = {

Although quantum computation (QC) is regarded as a promising numerical method for computational quantum chemistry, current applications of quantum-chemistry calculations on quantum computers are limited to small molecules. This limitation can be ascribed to technical problems in building and manipulating more qubits and the associated complicated operations of quantum gates in a quantum circuit when the size of the molecular system becomes large. As a result, reducing the number of required qubits is necessary to make QC practical. Currently, the minimal STO-3G basis set is commonly used in benchmark studies because it requires the minimum number of spin orbitals. Nonetheless, the accuracy of using STO-3G is generally low and thus cannot provide useful predictions. We propose to adopt Daubechies wavelet functions as an accurate and efficient method for QCs of molecular electronic properties. We demonstrate that a minimal basis set constructed from Daubechies wavelet basis can yield accurate results through a better description of the molecular Hamiltonian, while keeping the number of spin orbitals minimal. With the improved Hamiltonian through Daubechies wavelets, we calculate vibrational frequencies for H2 and LiH using quantum-computing algorithm to show that the results are in excellent agreement with experimental data. As a result, we achieve quantum calculations in which accuracy is comparable with that of the full configuration interaction calculation using the cc-pVDZ basis set, whereas the computational cost is the same as that of a STO-3G calculation. Thus, our work provides a more efficient and accurate representation of the molecular Hamiltonian for efficient QCs of molecular systems, and for the first time demonstrates that predictions in agreement with experimental measurements are possible to be achieved with quantum resources available in near-term quantum computers.

}, doi = {https://doi.org/10.1103/PRXQuantum.3.020360}, url = {https://arxiv.org/abs/2205.14476}, author = {Cheng-Lin Hong and Ting Tsai and Jyh-Pin Chou and Peng-Jen Chen and Pei-Kai Tsai and Yu-Cheng Chen and En-Jui Kuo and David Srolovitz and Alice Hu and Yuan-Chung Cheng and Hsi-Sheng Goan} } @book {2982, title = {Analogue Quantum Simulation: A New Instrument for Scientific Understanding}, year = {2022}, pages = {83-102}, publisher = {Springer Nature}, organization = {Springer Nature}, abstract = {

Analyzes analogue quantum simulation philosophically.\ Provides a framework to support the goals of scientists.\ Useful to both working scientists and philosophers of science.

}, doi = {https://doi.org/10.1007/978-3-030-87216-8_6}, author = {Dominik Hangleiter and Jacques Carolan and Karim P. Y. Th{\'e}bault} } @article {3067, title = {Boson Sampling for Generalized Bosons}, year = {2022}, month = {5/2/2022}, abstract = {

We introduce the notion of \"generalized bosons\" whose exchange statistics resemble those of bosons, but the local bosonic commutator [ai,a\†i]=1 is replaced by an arbitrary single-mode operator that is diagonal in the generalized Fock basis. Examples of generalized bosons include boson pairs and spins. We consider the analogue of the boson sampling task for these particles and observe that its output probabilities are still given by permanents, so that the results regarding hardness of sampling directly carry over. Finally, we propose implementations of generalized boson sampling in circuit-QED and ion-trap platforms.

}, url = {https://arxiv.org/abs/2204.08389}, author = {En-Jui Kuo and Yijia Xu and Dominik Hangleiter and Andrey Grankin and Mohammad Hafezi} } @article {2930, title = {Classification of (2+1)D invertible fermionic topological phases with symmetry}, journal = {Phys. Rev. B}, volume = {105}, year = {2022}, month = {5/30/2022}, abstract = {

We provide a classification of invertible topological phases of interacting fermions with symmetry in two spatial dimensions for general fermionic symmetry groups Gf and general values of the chiral central charge c\−. Here Gf is a central extension of a bosonic symmetry group Gb by fermion parity, (\−1)F, specified by a second cohomology class [ω2]\∈H2(Gb,Z2). Our approach proceeds by gauging fermion parity and classifying the resulting Gb symmetry-enriched topological orders while keeping track of certain additional data and constraints. We perform this analysis through two perspectives, using G-crossed braided tensor categories and Spin(2c\−)1 Chern-Simons theory coupled to a background G gauge field. These results give a way to characterize and classify invertible fermionic topological phases in terms of a concrete set of data and consistency equations, which is more physically transparent and computationally simpler than the more abstract methods using cobordism theory and spectral sequences. Our results also generalize and provide a different approach to the recent classification of fermionic symmetry-protected topological phases by Wang and Gu, which have chiral central charge c\−=0. We show how the 10-fold way classification of topological insulators and superconductors fits into our scheme, along with general non-perturbative constraints due to certain choices of c\− and Gf. Mathematically, our results also suggest an explicit general parameterization of deformation classes of (2+1)D invertible topological quantum field theories with Gf symmetry.\ 

}, doi = {https://doi.org/10.1103/PhysRevB.105.235143}, url = {https://arxiv.org/abs/2109.11039}, author = {Maissam Barkeshli and Yu-An Chen and Po-Shen Hsin and Naren Manjunath} } @article {3082, title = {Closing the Locality and Detection Loopholes in Multiparticle Entanglement Self-Testing}, journal = {Physical Review Letters}, volume = {128}, year = {2022}, month = {06/23/2022}, pages = {250401}, abstract = {

First proposed by Mayers and Yao, self-testing provides a certification method to infer the underlying physics of quantum experiments in a black-box scenario. Numerous demonstrations have been reported to self-test various types of entangled states. However, all the multiparticle self-testing experiments reported so far suffer from both detection and locality loopholes. Here, we report the first experimental realization of multiparticle entanglement self-testing closing the locality loophole in a photonic system, and the detection loophole in a superconducting system, respectively. We certify three-party and four-party GHZ states with at least 0.84 (1) and 0.86 (3) fidelities in a device-independent way. These results can be viewed as a meaningful advance in multiparticle loophole-free self-testing, and also significant progress on the foundations of quantum entanglement certification.

}, doi = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.128.250401}, url = {https://www.researchgate.net/profile/Dian-Wu/publication/361497881_Closing_the_Locality_and_Detection_Loopholes_in_Multiparticle_Entanglement_Self-Testing/links/62b55a8c1010dc02cc57530c/Closing-the-Locality-and-Detection-Loopholes-in-Multiparticle-Entangl}, author = {Dian Wu and Qi Zhao and Can Wang and Liang Huang and Yang-Fan Jiang and Bing Bai and You Zhou and Xue-Mei Gu and Feng-Ming Liu and Ying-Qiu Mao and Qi-Chao Sun and Ming-Cheng Chen and Jun Zhang and Cheng-Zhi Peng and Xiao-Bo Zhu and Qiang Zhang and Chao-Yang Lu and Jian-Wei Pan} } @article {3144, title = {Codimension-2 defects and higher symmetries in (3+1)D topological phases}, year = {2022}, month = {8/15/2022}, abstract = {

(3+1)D topological phases of matter can host a broad class of non-trivial topological defects of codimension-1, 2, and 3, of which the well-known point charges and flux loops are special cases. The complete algebraic structure of these defects defines a higher category, and can be viewed as an emergent higher symmetry. This plays a crucial role both in the classification of phases of matter and the possible fault-tolerant logical operations in topological quantum error correcting codes. In this paper, we study several examples of such higher codimension defects from distinct perspectives. We mainly study a class of invertible codimension-2 topological defects, which we refer to as twist strings. We provide a number of general constructions for twist strings, in terms of gauging lower dimensional invertible phases, layer constructions, and condensation defects. We study some special examples in the context of Z2 gauge theory with fermionic charges, in Z2\×Z2 gauge theory with bosonic charges, and also in non-Abelian discrete gauge theories based on dihedral (Dn) and alternating (A6) groups. The intersection between twist strings and Abelian flux loops sources Abelian point charges, which defines an H4 cohomology class that characterizes part of an underlying 3-group symmetry of the topological order. The equations involving background gauge fields for the 3-group symmetry have been explicitly written down for various cases. We also study examples of twist strings interacting with non-Abelian flux loops (defining part of a non-invertible higher symmetry), examples of non-invertible codimension-2 defects, and examples of interplay of codimension-2 defects with codimension-1 defects. We also find an example of geometric, not fully topological, twist strings in (3+1)D A6 gauge theory.

}, keywords = {FOS: Mathematics, FOS: Physical sciences, High Energy Physics - Theory (hep-th), Mathematical Physics (math-ph), Quantum Algebra (math.QA), Quantum Physics (quant-ph), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2208.07367}, url = {https://arxiv.org/abs/2208.07367}, author = {Barkeshli, Maissam and Chen, Yu-An and Huang, Sheng-Jie and Kobayashi, Ryohei and Tantivasadakarn, Nathanan and Zhu, Guanyu} } @article {3066, title = {Computational advantage of quantum random sampling}, year = {2022}, month = {6/8/2022}, abstract = {

Quantum random sampling is the leading proposal for demonstrating a computational advantage of quantum computers over classical computers. Recently, first large-scale implementations of quantum random sampling have arguably surpassed the boundary of what can be simulated on existing classical hardware. In this article, we comprehensively review the theoretical underpinning of quantum random sampling in terms of computational complexity and verifiability, as well as the practical aspects of its experimental implementation using superconducting and photonic devices and its classical simulation. We discuss in detail open questions in the field and provide perspectives for the road ahead, including potential applications of quantum random sampling.

}, url = {https://arxiv.org/abs/2206.04079}, author = {Dominik Hangleiter and Jens Eisert} } @article {3184, title = {Continuous Symmetry Breaking in a Trapped-Ion Spin Chain}, year = {2022}, month = {11/2/2022}, abstract = {

One-dimensional systems exhibiting a continuous symmetry can host quantum phases of matter with true long-range order only in the presence of sufficiently long-range interactions. In most physical systems, however, the interactions are short-ranged, hindering the emergence of such phases in one dimension. Here we use a one-dimensional trapped-ion quantum simulator to prepare states with long-range spin order that extends over the system size of up to 23 spins and is characteristic of the continuous symmetry-breaking phase of matter. Our preparation relies on simultaneous control over an array of tightly focused individual-addressing laser beams, generating long-range spin-spin interactions. We also observe a disordered phase with frustrated correlations. We further study the phases at different ranges of interaction and the out-of-equilibrium response to symmetry-breaking perturbations. This work opens an avenue to study new quantum phases and out-of-equilibrium dynamics in low-dimensional systems.

}, keywords = {FOS: Physical sciences, Quantum Gases (cond-mat.quant-gas), Quantum Physics (quant-ph), Statistical Mechanics (cond-mat.stat-mech), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2211.01275}, url = {https://arxiv.org/abs/2211.01275}, author = {Feng, Lei and Katz, Or and Haack, Casey and Maghrebi, Mohammad and Alexey V. Gorshkov and Gong, Zhexuan and Cetina, Marko and Monroe, Christopher} } @article {3128, title = {CoVault: A Secure Analytics Platform}, year = {2022}, month = {8/7/2022}, abstract = {

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

}, keywords = {and Cluster Computing (cs.DC), Cryptography and Security (cs.CR), Distributed, FOS: Computer and information sciences, Parallel}, doi = {10.48550/ARXIV.2208.03784}, url = {https://arxiv.org/abs/2208.03784}, author = {De Viti, Roberta and Sheff, Isaac and Glaeser, Noemi and Dinis, Baltasar and Rodrigues, Rodrigo and Katz, Jonathan and Bhattacharjee, Bobby and Hithnawi, Anwar and Garg, Deepak and Druschel, Peter} } @article {2910, title = {Efficient Product Formulas for Commutators and Applications to Quantum Simulation}, journal = {Physical Review Research}, volume = {4}, year = {2022}, month = {03/10/2022}, chapter = {013191}, abstract = {

We construct product formulas for exponentials of commutators and explore their applications. First, we directly construct a third-order product formula with six exponentials by solving polynomial equations obtained using the operator differential method. We then derive higher-order product formulas recursively from the third-order formula. We improve over previous recursive constructions, reducing the number of gates required to achieve the same accuracy. In addition, we demonstrate that the constituent linear terms in the commutator can be included at no extra cost. As an application, we show how to use the product formulas in a digital protocol for counterdiabatic driving, which increases the fidelity for quantum state preparation. We also discuss applications to quantum simulation of one-dimensional fermion chains with nearest- and next-nearest-neighbor hopping terms, and two-dimensional fractional quantum Hall phases.

}, doi = {https://doi.org/10.1103/PhysRevResearch.4.013191}, url = {https://arxiv.org/abs/2111.12177}, author = {Yu-An Chen and Andrew M. Childs and Mohammad Hafezi and Zhang Jiang and Hwanmun Kim and Yijia Xu} } @article {3139, title = {Experimental Implementation of an Efficient Test of Quantumness}, year = {2022}, month = {9/28/2022}, abstract = {

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

}, keywords = {FOS: Physical sciences, Other Condensed Matter (cond-mat.other), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2209.14316}, url = {https://arxiv.org/abs/2209.14316}, author = {Lewis, Laura and Zhu, Daiwei and Gheorghiu, Alexandru and Noel, Crystal and Katz, Or and Harraz, Bahaa and Wang, Qingfeng and Risinger, Andrew and Feng, Lei and Biswas, Debopriyo and Egan, Laird and Vidick, Thomas and Cetina, Marko and Monroe, Christopher} } @article {3002, title = {Experimental observation of thermalisation with noncommuting charges}, year = {2022}, month = {2/9/2022}, abstract = {

Quantum simulators have recently enabled experimental observations of quantum many-body systems\&$\#$39; internal thermalisation. Often, the global energy and particle number are conserved, and the system is prepared with a well-defined particle number - in a microcanonical subspace. However, quantum evolution can also conserve quantities, or charges, that fail to commute with each other. Noncommuting charges have recently emerged as a subfield at the intersection of quantum thermodynamics and quantum information. Until now, this subfield has remained theoretical. We initiate the experimental testing of its predictions, with a trapped-ion simulator. We prepare 6-15 spins in an approximate microcanonical subspace, a generalisation of the microcanonical subspace for accommodating noncommuting charges, which cannot necessarily have well-defined nontrivial values simultaneously. We simulate a Heisenberg evolution using laser-induced entangling interactions and collective spin rotations. The noncommuting charges are the three spin components. We find that small subsystems equilibrate to near a recently predicted non-Abelian thermal state. This work bridges quantum many-body simulators to the quantum thermodynamics of noncommuting charges, whose predictions can now be tested.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph), Statistical Mechanics (cond-mat.stat-mech)}, doi = {10.48550/ARXIV.2202.04652}, url = {https://arxiv.org/abs/2202.04652}, author = {Kranzl, Florian and Lasek, Aleksander and Joshi, Manoj K. and Kalev, Amir and Blatt, Rainer and Roos, Christian F. and Nicole Yunger Halpern} } @article {3077, title = {Experimentally Measuring Rolling and Sliding in Three-Dimensional Dense Granular Packings}, journal = {Phys. Rev. Lett.}, volume = {129}, year = {2022}, month = {06/18/2022}, pages = {048001}, abstract = {

We experimentally measure a three-dimensional (3D) granular system\’s reversibility under cyclic compression. We image the grains using a refractive-index-matched fluid, then analyze the images using the artificial intelligence of variational autoencoders. These techniques allow us to track all the grains\’ translations and 3D rotations with accuracy sufficient to infer sliding and rolling displacements. Our observations reveal unique roles played by 3D rotational motions in granular flows. We find that rotations and contact-point motion dominate the dynamics in the bulk, far from the perturbation\’s source. Furthermore, we determine that 3D rotations are irreversible under cyclic compression. Consequently, contact-point sliding, which is dissipative, accumulates throughout the cycle. Using numerical simulations whose accuracy our experiment supports, we discover that much of the dissipation occurs in the bulk, where grains rotate more than they translate. Our observations suggest that the analysis of 3D rotations is needed for understanding granular materials\’ unique and powerful ability to absorb and dissipate energy.

}, doi = {https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.129.048001}, url = {https://arxiv.org/abs/2108.11975}, author = {Zackery A. Benson and Anton Peshkov and Nicole Yunger Halpern and Derek C. Richardson and Wolfgang Losert} } @article {3122, title = {Extracting Wilson loop operators and fractional statistics from a single bulk ground state}, year = {2022}, month = {9/28/2022}, abstract = {

An essential aspect of topological phases of matter is the existence of Wilson loop operators that keep the ground state subspace invariant. Here we present and implement an unbiased numerical optimization scheme to systematically find the Wilson loop operators given a single ground state wave function of a gapped Hamiltonian on a disk. We then show how these Wilson loop operators can be cut and glued through further optimization to give operators that can create, move, and annihilate anyon excitations. We subsequently use these operators to determine the braiding statistics and topological twists of the anyons, yielding a way to fully extract topological order from a single wave function. We apply our method to the ground state of the perturbed toric code and doubled semion models with a magnetic field that is up to a half of the critical value. From a contemporary perspective, this can be thought of as a machine learning approach to discover emergent 1-form symmetries of a ground state wave function. From an application perspective, our approach can be relevant to find Wilson loop operators in current quantum simulators.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2209.14302}, url = {https://arxiv.org/abs/2209.14302}, author = {Cian, Ze-Pei and Hafezi, Mohammad and Barkeshli, Maissam} } @article {3198, title = {FIPS Compliant Quantum Secure Communication using Quantum Permutation Pad}, year = {2022}, month = {12/30/2022}, abstract = {

Quantum computing has entered fast development track since Shor\&$\#$39;s algorithm was proposed in 1994. Multi-cloud services of quantum computing farms are currently available. One of which, IBM quantum computing, presented a road map showing their Kookaburra system with over 4158 qubits will be available in 2025. For the standardization of Post-Quantum Cryptography or PQC, the National Institute of Standards and Technology or NIST recently announced the first candidates for standardization with one algorithm for key encapsulation mechanism (KEM), Kyber, and three algorithms for digital signatures. NIST has also issued a new call for quantum-safe digital signature algorithms due June 1, 2023. This timeline shows that FIPS-certified quantum-safe TLS protocol would take a predictably long time. However, \"steal now, crack later\" tactic requires protecting data against future quantum threat actors today. NIST recommended the use of a hybrid mode of TLS 1.3 with its extensions to support PQC. The hybrid mode works for certain cases but FIPS certification for the hybridized cryptomodule might still be required. This paper proposes to take a nested mode to enable TLS 1.3 protocol with quantum-safe data, which can be made available today and is FIPS compliant. We discussed the performance impacts of the handshaking phase of the nested TLS 1.3 with PQC and the symmetric encryption phase. The major impact on performance using the nested mode is in the data symmetric encryption with AES. To overcome this performance reduction, we suggest using quantum encryption with a quantum permutation pad for the data encryption with a minor performance reduction of less than 10 percent.

}, keywords = {Cryptography and Security (cs.CR), FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2301.00062}, url = {https://arxiv.org/abs/2301.00062}, author = {He, Alex and Lou, Dafu and She, Eric and Guo, Shangjie and Watson, Hareesh and Weng, Sibyl and Perepechaenko, Maria and Kuang, Rand} } @article {3190, title = {Higher-group symmetry in finite gauge theory and stabilizer codes}, year = {2022}, month = {11/21/2022}, abstract = {

A large class of gapped phases of matter can be described by topological finite group gauge theories. In this paper, we derive the d-group global symmetry and its \&$\#$39;t Hooft anomaly for topological finite group gauge theories in (d+1) space-time dimensions, including non-Abelian gauge groups and Dijkgraaf-Witten twists. We focus on the 1-form symmetry generated by invertible (Abelian) magnetic defects and the higher-form symmetries generated by invertible topological defects decorated with lower dimensional gauged symmetry-protected topological (SPT) phases. We show that due to a generalization of the Witten effect and charge-flux attachment, the 1-form symmetry generated by the magnetic defects mixes with other symmetries into a higher group. We describe such higher-group symmetry in various lattice model examples. We discuss several applications, including the classification of fermionic SPT phases in (3+1)D for general fermionic symmetry groups, where we also derive a simpler formula for the [O5]\∈H5(BG,U(1)) obstruction than has appeared in previous work. We also show how the d-group symmetry is related to fault-tolerant non-Pauli logical gates and a refined Clifford hierarchy in stabilizer codes. We construct new logical gates in stabilizer codes using the d-group symmetry, such as the control-Z gate in (3+1)D Z2 toric code.

}, keywords = {FOS: Mathematics, FOS: Physical sciences, High Energy Physics - Theory (hep-th), Quantum Algebra (math.QA), Quantum Physics (quant-ph), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2211.11764}, url = {https://arxiv.org/abs/2211.11764}, author = {Barkeshli, Maissam and Chen, Yu-An and Hsin, Po-Shen and Kobayashi, Ryohei} } @article {2944, title = {How to build Hamiltonians that transport noncommuting charges in quantum thermodynamics}, journal = {npj Quantum Inf}, volume = {8}, year = {2022}, month = {01/27/2022}, abstract = {

Noncommuting conserved quantities have recently launched a subfield of quantum thermodynamics. In conventional thermodynamics, a system of interest and a bath exchange quantities -- energy, particles, electric charge, etc. -- that are globally conserved and are represented by Hermitian operators. These operators were implicitly assumed to commute with each other, until a few years ago. Freeing the operators to fail to commute has enabled many theoretical discoveries -- about reference frames, entropy production, resource-theory models, etc. Little work has bridged these results from abstract theory to experimental reality. This paper provides a methodology for building this bridge systematically: We present an algorithm for constructing Hamiltonians that conserve noncommuting quantities globally while transporting the quantities locally. The Hamiltonians can couple arbitrarily many subsystems together and can be integrable or nonintegrable. Special cases of our construction have appeared in quantum chromodynamics (QCD). Our Hamiltonians may be realized physically with superconducting qudits, with ultracold atoms, with trapped ions, and in QCD.

}, doi = {https://doi.org/10.1038/s41534-022-00516-4}, url = {https://arxiv.org/abs/2103.14041v1}, author = {Nicole Yunger Halpern and Shayan Majidy} } @article {3070, title = {Infinite-randomness criticality in monitored quantum dynamics with static disorder}, year = {2022}, month = {5/27/2022}, abstract = {

We consider a model of monitored quantum dynamics with quenched spatial randomness: specifically, random quantum circuits with spatially varying measurement rates. These circuits undergo a measurement-induced phase transition (MIPT) in their entanglement structure, but the nature of the critical point differs drastically from the case with constant measurement rate. In particular, at the critical measurement rate, we find that the entanglement of a subsystem of size l scales as S\∼l\√; moreover, the dynamical critical exponent z=\∞. The MIPT is flanked by Griffiths phases with continuously varying dynamical exponents. We argue for this infinite-randomness scenario on general grounds and present numerical evidence that it captures some features of the universal critical properties of MIPT using large-scale simulations of Clifford circuits. These findings demonstrate that the relevance and irrelevance of perturbations to the MIPT can naturally be interpreted using a powerful heuristic known as the Harris criterion.\ 

}, url = {https://arxiv.org/abs/2205.14002}, author = {Aidan Zabalo and Justin H. Wilson and Michael Gullans and Romain Vasseur and Sarang Gopalakrishnan and David A. Huse and J. H. Pixley} } @article {3027, title = {Linear growth of quantum circuit complexity}, journal = {Nat. Phys.}, year = {2022}, month = {3/28/2022}, abstract = {

The complexity of quantum states has become a key quantity of interest across various subfields of physics, from quantum computing to the theory of black holes. The evolution of generic quantum systems can be modelled by considering a collection of qubits subjected to sequences of random unitary gates. Here we investigate how the complexity of these random quantum circuits increases by considering how to construct a unitary operation from Haar-random two-qubit quantum gates. Implementing the unitary operation exactly requires a minimal number of gates\—this is the operation\’s exact circuit complexity. We prove a conjecture that this complexity grows linearly, before saturating when the number of applied gates reaches a threshold that grows exponentially with the number of qubits. Our proof overcomes difficulties in establishing lower bounds for the exact circuit complexity by combining differential topology and elementary algebraic geometry with an inductive construction of Clifford circuits.

}, doi = {https://doi.org/10.1038/s41567-022-01539-6}, author = {Jonas Haferkamp and Philippe Faist and Naga B. T. Kothakonda and Jens Eisert and Nicole Yunger Halpern} } @article {3024, title = {Monitoring-induced Entanglement Entropy and Sampling Complexity}, year = {2022}, month = {1/29/2022}, abstract = {

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

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2201.12672}, url = {https://arxiv.org/abs/2201.12672}, author = {Van Regemortel, Mathias and Shtanko, Oles and Garc{\'\i}a-Pintos, Luis Pedro and Deshpande, Abhinav and Dehghani, Hossein and Alexey V. Gorshkov and Hafezi, Mohammad} } @article {3147, title = {Multi-Angle QAOA Does Not Always Need All Its Angles}, year = {2022}, month = {9/23/2022}, abstract = {

Introducing additional tunable parameters to quantum circuits is a powerful way of improving performance without increasing hardware requirements. A recently introduced multi-angle extension of the quantum approximate optimization algorithm (ma-QAOA) significantly improves the solution from QAOA by allowing the parameters for each term in the Hamiltonian to vary independently. However, prior results suggest that there is considerable redundancy in parameters, the removal of which would reduce the cost of parameter optimization. In this work, we show numerically that problem symmetries can be used to reduce the number of parameters used by ma-QAOA without decreasing the solution quality. We study MaxCut on all 7,565 connected, non-isomorphic 8-node graphs with a non-trivial symmetry group and show numerically that in 67.4\% of these graphs, symmetry can be used to reduce the number of parameters with no decrease in the objective, with the average ratio of parameters reduced by 28.1\%. Moreover, we show that in 35.9\% of the graphs this can be achieved by simply using the largest symmetry. For the graphs where reducing the number of parameters leads to a decrease in the objective, the largest symmetry can be used to reduce the parameter count by 37.1\% at the cost of only a 6.1\% decrease in the objective.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2209.11839}, url = {https://arxiv.org/abs/2209.11839}, author = {Shi, Kaiyan and Herrman, Rebekah and Shaydulin, Ruslan and Chakrabarti, Shouvanik and Pistoia, Marco and Larson, Jeffrey} } @article {3054, title = {Negative Quasiprobabilities Enhance Phase Estimation in Quantum-Optics Experiment}, journal = {Phys. Rev. Lett.}, volume = {128}, year = {2022}, month = {6/2/2022}, pages = {220504}, abstract = {

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.

}, doi = {10.1103/PhysRevLett.128.220504}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.128.220504}, author = {Lupu-Gladstein, Noah and Yilmaz, Y. Batuhan and Arvidsson-Shukur, David R. M. and Brodutch, Aharon and Pang, Arthur O. T. and Steinberg, Aephraim M. and Nicole Yunger Halpern} } @article {3006, title = {Operator Scaling Dimensions and Multifractality at Measurement-Induced Transitions}, journal = {Physical Review Letters}, volume = {128}, year = {2022}, month = {2/11/2022}, abstract = {

Repeated local measurements of quantum many body systems can induce a phase transition in their entanglement structure. These measurement-induced phase transitions (MIPTs) have been studied for various types of dynamics, yet most cases yield quantitatively similar values of the critical exponents, making it unclear if there is only one underlying universality class. Here, we directly probe the properties of the conformal field theories governing these MIPTs using a numerical transfer-matrix method, which allows us to extract the effective central charge, as well as the first few low-lying scaling dimensions of operators at these critical points. Our results provide convincing evidence that the generic and Clifford MIPTs for qubits lie in different universality classes and that both are distinct from the percolation transition for qudits in the limit of large onsite Hilbert space dimension. For the generic case, we find strong evidence of multifractal scaling of correlation functions at the critical point, reflected in a continuous spectrum of scaling dimensions.

}, doi = {10.1103/physrevlett.128.050602}, url = {https://arxiv.org/abs/2107.03393}, author = {Aidan Zabalo and Michael Gullans and Justin H. Wilson and Romain Vasseur and Andreas W. W. Ludwig and Sarang Gopalakrishnan and David A. Huse and J. H. Pixley} } @article {3129, title = {Optical conductivity and orbital magnetization of Floquet vortex states}, year = {2022}, month = {4/20/2022}, abstract = {

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

}, keywords = {FOS: Physical sciences, Mesoscale and Nanoscale Physics (cond-mat.mes-hall), Other Condensed Matter (cond-mat.other)}, doi = {10.48550/ARXIV.2204.09488}, url = {https://arxiv.org/abs/2204.09488}, author = {Ahmadabadi, Iman and Dehghani, Hossein and Hafezi, Mohammad} } @article {3131, title = {Provably efficient machine learning for quantum many-body problems}, journal = {Science}, volume = {377}, year = {2022}, month = {9/26/2022}, abstract = {

Classical machine learning (ML) provides a potentially powerful approach to solving challenging quantum many-body problems in physics and chemistry. However, the advantages of ML over more traditional methods have not been firmly established. In this work, we prove that classical ML algorithms can efficiently predict ground state properties of gapped Hamiltonians in finite spatial dimensions, after learning from data obtained by measuring other Hamiltonians in the same quantum phase of matter. In contrast, under widely accepted complexity theory assumptions, classical algorithms that do not learn from data cannot achieve the same guarantee. We also prove that classical ML algorithms can efficiently classify a wide range of quantum phases of matter. Our arguments are based on the concept of a classical shadow, a succinct classical description of a many-body quantum state that can be constructed in feasible quantum experiments and be used to predict many properties of the state. Extensive numerical experiments corroborate our theoretical results in a variety of scenarios, including Rydberg atom systems, 2D random Heisenberg models, symmetry-protected topological phases, and topologically ordered phases.

}, doi = {10.1126/science.abk3333}, url = {https://arxiv.org/abs/2106.12627}, author = {Hsin-Yuan Huang and Richard Kueng and Giacomo Torlai and Victor V. Albert and John Preskill} } @article {2983, title = {Quantum computational advantage via high-dimensional Gaussian boson sampling}, journal = {Science Advances}, volume = {8}, year = {2022}, month = {1/5/2022}, pages = {eabi7894}, abstract = {

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

}, doi = {10.1126/sciadv.abi7894}, url = {https://www.science.org/doi/abs/10.1126/sciadv.abi7894}, author = {Abhinav Deshpande and Arthur Mehta and Trevor Vincent and Nicolas Quesada and Marcel Hinsche and Marios Ioannou and Lars Madsen and Jonathan Lavoie and Haoyu Qi and Jens Eisert and Dominik Hangleiter and Bill Fefferman and Ish Dhand} } @article {2997, title = {Quantum Simulation for High Energy Physics}, year = {2022}, month = {4/7/2022}, abstract = {

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

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

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.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2210.04717}, url = {https://arxiv.org/abs/2210.04717}, author = {Hsu, Ming-Chien and Kuo, En-Jui and Yu, Wei-Hsuan and Cai, Jian-Feng and Hsieh, Min-Hsiu} } @article {3186, title = {Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)}, year = {2022}, month = {4/26/2022}, abstract = {

We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax where familiar programming constructs can have both quantum and classical effects. For example, one can use sum types to implement the direct sum of linear operators, exception-handling syntax to implement projective measurements, and aliasing to induce entanglement. Further, Qunity takes advantage of the overlooked BQP subroutine theorem, allowing one to construct reversible subroutines from irreversible quantum algorithms through the uncomputation of \"garbage\" outputs. Unlike existing languages that enable quantum aspects with separate add-ons (like a classical language with quantum gates bolted on), Qunity provides a unified syntax and a novel denotational semantics that guarantees that programs are quantum mechanically valid. We present Qunity\&$\#$39;s syntax, type system, and denotational semantics, showing how it can cleanly express several quantum algorithms. We also detail how Qunity can be compiled into a low-level qubit circuit language like OpenQASM, proving the realizability of our design.

}, keywords = {FOS: Computer and information sciences, FOS: Physical sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Quantum Physics (quant-ph)}, doi = {https://doi.org/10.48550/arXiv.2204.12384}, url = {https://arxiv.org/abs/2204.12384}, author = {Voichick, Finn and Li, Liyi and Rand, Robert and Hicks, Michael} } @article {3200, title = {Resource theory of quantum uncomplexity}, journal = {Physical Review A}, volume = {106}, year = {2022}, month = {12/19/2022}, abstract = {

Quantum complexity is emerging as a key property of many-body systems, including black holes, topological materials, and early quantum computers. A state\&$\#$39;s complexity quantifies the number of computational gates required to prepare the state from a simple tensor product. The greater a state\&$\#$39;s distance from maximal complexity, or \"uncomplexity,\" the more useful the state is as input to a quantum computation. Separately, resource theories -- simple models for agents subject to constraints -- are burgeoning in quantum information theory. We unite the two domains, confirming Brown and Susskind\&$\#$39;s conjecture that a resource theory of uncomplexity can be defined. The allowed operations, fuzzy operations, are slightly random implementations of two-qubit gates chosen by an agent. We formalize two operational tasks, uncomplexity extraction and expenditure. Their optimal efficiencies depend on an entropy that we engineer to reflect complexity. We also present two monotones, uncomplexity measures that decline monotonically under fuzzy operations, in certain regimes. This work unleashes on many-body complexity the resource-theory toolkit from quantum information theory.

}, doi = {10.1103/physreva.106.062417}, url = {https://arxiv.org/abs/2110.11371}, author = {Nicole Yunger Halpern and Naga B. T. Kothakonda and Jonas Haferkamp and Anthony Munson and Jens Eisert and Philippe Faist} } @article {3136, title = {Scalably learning quantum many-body Hamiltonians from dynamical data}, year = {2022}, month = {9/28/2022}, abstract = {

The physics of a closed quantum mechanical system is governed by its Hamiltonian. However, in most practical situations, this Hamiltonian is not precisely known, and ultimately all there is are data obtained from measurements on the system. In this work, we introduce a highly scalable, data-driven approach to learning families of interacting many-body Hamiltonians from dynamical data, by bringing together techniques from gradient-based optimization from machine learning with efficient quantum state representations in terms of tensor networks. Our approach is highly practical, experimentally friendly, and intrinsically scalable to allow for system sizes of above 100 spins. In particular, we demonstrate on synthetic data that the algorithm works even if one is restricted to one simple initial state, a small number of single-qubit observables, and time evolution up to relatively short times. For the concrete example of the one-dimensional Heisenberg model our algorithm exhibits an error constant in the system size and scaling as the inverse square root of the size of the data set.

}, keywords = {FOS: Computer and information sciences, FOS: Physical sciences, Machine Learning (cs.LG), Quantum Gases (cond-mat.quant-gas), Quantum Physics (quant-ph), Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2209.14328}, url = {https://arxiv.org/abs/2209.14328}, author = {Wilde, Frederik and Kshetrimayum, Augustine and Roth, Ingo and Dominik Hangleiter and Sweke, Ryan and Eisert, Jens} } @article {3009, title = {Self-Testing of a Single Quantum System: Theory and Experiment}, year = {2022}, month = {3/17/2022}, abstract = {

Certifying individual quantum devices with minimal assumptions is crucial for the development of quantum technologies. Here, we investigate how to leverage single-system contextuality to realize self-testing. We develop a robust self-testing protocol based on the simplest contextuality witness for the simplest contextual quantum system, the Klyachko-Can-Binicio{\u g}lu-Shumovsky (KCBS) inequality for the qutrit. We establish a lower bound on the fidelity of the state and the measurements (to an ideal configuration) as a function of the value of the witness under a pragmatic assumption on the measurements we call the KCBS orthogonality condition. We apply the method in an experiment with randomly chosen measurements on a single trapped 40Ca+ and near-perfect detection efficiency. The observed statistics allow us to self-test the system and provide the first experimental demonstration of quantum self-testing of a single system. Further, we quantify and report that deviations from our assumptions are minimal, an aspect previously overlooked by contextuality experiments.

}, keywords = {Atomic Physics (physics.atom-ph), FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {https://doi.org/10.48550/arXiv.2203.09003}, url = {https://arxiv.org/abs/2203.09003}, author = {Hu, Xiao-Min and Xie, Yi and Arora, Atul Singh and Ai, Ming-Zhong and Bharti, Kishor and Zhang, Jie and Wu, Wei and Chen, Ping-Xing and Cui, Jin-Ming and Liu, Bi-Heng and Huang, Yun-Feng and Li, Chuan-Feng and Guo, Guang-Can and Roland, J{\'e}r{\'e}mie and Cabello, Ad{\'a}n and Kwek, Leong-Chuan} } @article {3178, title = {Sharp complexity phase transitions generated by entanglement}, year = {2022}, month = {12/20/2022}, abstract = {

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

}, keywords = {Computational Complexity (cs.CC), FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2212.10582}, url = {https://arxiv.org/abs/2212.10582}, author = {Ghosh, Soumik and Deshpande, Abhinav and Dominik Hangleiter and Alexey V. Gorshkov and Fefferman, Bill} } @article {3065, title = {A single T-gate makes distribution learning hard}, year = {2022}, month = {7/7/2022}, abstract = {

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

}, url = {https://arxiv.org/abs/2207.03140}, author = {Marcel Hinsche and Marios Ioannou and Alexander Nietner and Jonas Haferkamp and Yihui Quek and Dominik Hangleiter and Jean-Pierre Seifert and Jens Eisert and Ryan Sweke} } @article {3000, title = {Snowmass 2021 White Paper: The Windchime Project}, year = {2022}, month = {3/14/2022}, abstract = {

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

}, keywords = {Cosmology and Nongalactic Astrophysics (astro-ph.CO), FOS: Physical sciences, High Energy Physics - Experiment (hep-ex), High Energy Physics - Phenomenology (hep-ph)}, doi = {10.48550/ARXIV.2203.07242}, url = {https://arxiv.org/abs/2203.07242}, author = {The Windchime Collaboration and Attanasio, Alaina and Bhave, Sunil A. and Blanco, Carlos and Carney, Daniel and Demarteau, Marcel and Elshimy, Bahaa and Febbraro, Michael and Feldman, Matthew A. and Ghosh, Sohitri and Hickin, Abby and Hong, Seongjin and Lang, Rafael F. and Lawrie, Benjamin and Li, Shengchao and Liu, Zhen and Maldonado, Juan P. A. and Marvinney, Claire and Oo, Hein Zay Yar and Pai, Yun-Yi and Pooser, Raphael and Qin, Juehang and Sparmann, Tobias J. and Taylor, Jacob M. and Tian, Hao and Tunnell, Christopher} } @article {3199, title = {Tailoring three-dimensional topological codes for biased noise}, year = {2022}, month = {11/3/2022}, abstract = {

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

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2211.02116}, url = {https://arxiv.org/abs/2211.02116}, author = {Huang, Eric and Pesah, Arthur and Chubb, Christopher T. and Vasmer, Michael and Dua, Arpit} } @article {3069, title = {Topological Edge Mode Tapering}, year = {2022}, month = {6/14/2022}, abstract = {

Mode tapering, or the gradual manipulation of the size of some mode, is a requirement for any system that aims to efficiently interface two or more subsystems of different mode sizes. While high efficiency tapers have been demonstrated, they often come at the cost of a large device footprint or challenging fabrication. Topological photonics, offering robustness to certain types of disorder as well as chirality, has proved to be a well-suited design principle for numerous applications in recent years. Here we present a new kind of mode taper realized through topological bandgap engineering. We numerically demonstrate a sixfold change in mode width over an extremely compact 8μm distance with near unity efficiency in the optical domain. With suppressed backscattering and no excitation of higher-order modes, such a taper could enable new progress in the development of scalable, multi-component systems in classical and quantum optics.

}, url = {https://arxiv.org/abs/2206.07056}, author = {Christopher J. Flower and Sabyasachi Barik and Sunil Mittal and Mohammad Hafezi} } @article {3005, title = {Toward Robust Autotuning of Noisy Quantum dot Devices}, journal = {Physical Review Applied}, volume = {17}, year = {2022}, month = {02/26/2022}, abstract = {

The current autotuning approaches for quantum dot (QD) devices, while showing some success, lack an assessment of data reliability. This leads to unexpected failures when noisy or otherwise low-quality data is processed by an autonomous system. In this work, we propose a framework for robust autotuning of QD devices that combines a machine learning (ML) state classifier with a data quality control module. The data quality control module acts as a \"gatekeeper\" system, ensuring that only reliable data are processed by the state classifier. Lower data quality results in either device recalibration or termination. To train both ML systems, we enhance the QD simulation by incorporating synthetic noise typical of QD experiments. We confirm that the inclusion of synthetic noise in the training of the state classifier significantly improves the performance, resulting in an accuracy of 95.0(9) \% when tested on experimental data. We then validate the functionality of the data quality control module by showing that the state classifier performance deteriorates with decreasing data quality, as expected. Our results establish a robust and flexible ML framework for autonomous tuning of noisy QD devices.

}, doi = {https://doi.org/10.1103/PhysRevApplied.17.024069}, url = {https://arxiv.org/abs/2108.00043}, author = {Joshua Ziegler and Thomas McJunkin and E.S. Joseph and Sandesh S. Kalantre and Benjamin Harpt and D.E. Savage and M.G. Lagally and M.A. Eriksson and Jacob M. Taylor and Justyna P. Zwolak} } @article {3120, title = {Ultrastrong light-matter interaction in a photonic crystal}, year = {2022}, month = {9/29/2022}, abstract = {

Harnessing the interaction between light and matter at the quantum level has been a central theme in the fields of atomic physics and quantum optics, with applications from quantum computation to quantum metrology. Combining complex interactions with photonic synthetic materials provides an opportunity to investigate novel quantum phases and phenomena, establishing interesting connections to condensed matter physics. Here we explore many-body phenomena with a single artificial atom coupled to the many discrete modes of a photonic crystal. This experiment reaches the ultrastrong light-matter coupling regime using the circuit QED paradigm, by galvanically coupling a highly nonlinear fluxonium qubit to a tight-binding lattice of microwave resonators. In this regime, the transport of a single photon is strongly modified by the presence of multi-photon bound states, owing to interactions that break particle number conservation. Exploiting the effective photon-photon interactions mediated by the qubit, the driven system can be configured as a continuous reservoir of strongly-correlated photons, a resource of interest for quantum networks. This work opens exciting prospects for exploring nonlinear quantum optics at the single-photon level and stabilizing entangled many-body phases of light.

}, keywords = {FOS: Physical sciences, Quantum Gases (cond-mat.quant-gas), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2209.14972}, url = {https://arxiv.org/abs/2209.14972}, author = {Vrajitoarea, Andrei and Belyansky, Ron and Lundgren, Rex and Whitsitt, Seth and Alexey V. Gorshkov and Houck, Andrew A.} } @article {2857, title = {Chiral transport of hot carriers in graphene in the quantum Hall regime}, year = {2021}, month = {10/3/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2110.01079}, author = {Bin Cao and Tobias Grass and Olivier Gazzano and Kishan Ashokbhai Patel and Jiuning Hu and Markus M{\"u}ller and Tobias Huber and Luca Anzi and Kenji Watanabe and Takashi Taniguchi and David Newell and Michael Gullans and Roman Sordan and Mohammad Hafezi and Glenn Solomon} } @article {2807, title = {Compressed Sensing Measurement of Long-Range Correlated Noise}, year = {2021}, month = {5/26/2021}, abstract = {

Long-range correlated errors can severely impact the performance of NISQ (noisy intermediate-scale quantum) devices, and fault-tolerant quantum computation. Characterizing these errors is important for improving the performance of these devices, via calibration and error correction, and to ensure correct interpretation of the results. We propose a compressed sensing method for detecting two-qubit correlated dephasing errors, assuming only that the correlations are sparse (i.e., at most s pairs of qubits have correlated errors, where s \<\< n(n-1)/2, and n is the total number of qubits). In particular, our method can detect long-range correlations between any two qubits in the system (i.e., the correlations are not restricted to be geometrically local).
Our method is highly scalable: it requires as few as m = O(s log n) measurement settings, and efficient classical postprocessing based on convex optimization. In addition, when m = O(s log^4(n)), our method is highly robust to noise, and has sample complexity O(max(n,s)^2 log^4(n)), which can be compared to conventional methods that have sample complexity O(n^3). Thus, our method is advantageous when the correlations are sufficiently sparse, that is, when s \< O(n^(3/2) / log^2(n)). Our method also performs well in numerical simulations on small system sizes, and has some resistance to state-preparation-and-measurement (SPAM) errors. The key ingredient in our method is a new type of compressed sensing measurement, which works by preparing entangled Greenberger-Horne-Zeilinger states (GHZ states) on random subsets of qubits, and measuring their decay rates with high precision.

}, url = {https://arxiv.org/abs/2105.12589}, author = {Alireza Seif and Mohammad Hafezi and Yi-Kai Liu} } @article {2919, title = {Cross-Platform Comparison of Arbitrary Quantum Computations}, year = {2021}, month = {7/27/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2107.11387}, author = {Daiwei Zhu and Ze-Pei Cian and Crystal Noel and Andrew Risinger and Debopriyo Biswas and Laird Egan and Yingyue Zhu and Alaina M. Green and Cinthia Huerta Alderete and Nhung H. Nguyen and Qingfeng Wang and Andrii Maksymov and Yunseong Nam and Marko Cetina and Norbert M. Linke and Mohammad Hafezi and Christopher Monroe} } @article {2817, title = {Decoding conformal field theories: from supervised to unsupervised learning}, year = {2021}, month = {7/10/2021}, abstract = {

We use machine learning to classify rational two-dimensional conformal field theories. We first use the energy spectra of these minimal models to train a supervised learning algorithm. We find that the machine is able to correctly predict the nature and the value of critical points of several strongly correlated spin models using only their energy spectra. This is in contrast to previous works that use machine learning to classify different phases of matter, but do not reveal the nature of the critical point between phases. Given that the ground-state entanglement Hamiltonian of certain topological phases of matter is also described by conformal field theories, we use supervised learning on R{\'e}yni entropies and find that the machine is able to identify which conformal field theory describes the entanglement Hamiltonian with only the lowest few R{\'e}yni entropies to a high degree of accuracy. Finally, using autoencoders, an unsupervised learning algorithm, we find a hidden variable that has a direct correlation with the central charge and discuss prospects for using machine learning to investigate other conformal field theories, including higher-dimensional ones. Our results highlight that machine learning can be used to find and characterize critical points and also hint at the intriguing possibility to use machine learning to learn about more complex conformal field theories.

}, url = {https://arxiv.org/abs/2106.13485}, author = {En-Jui Kuo and Alireza Seif and Rex Lundgren and Seth Whitsitt and Mohammad Hafezi} } @article {2916, title = {Discovering hydrodynamic equations of many-body quantum systems}, year = {2021}, month = {11/3/2021}, abstract = {

Simulating and predicting dynamics of quantum many-body systems is extremely challenging, even for state-of-the-art computational methods, due to the spread of entanglement across the system. However, in the long-wavelength limit, quantum systems often admit a simplified description, which involves a small set of physical observables and requires only a few parameters such as sound velocity or viscosity. Unveiling the relationship between these hydrodynamic equations and the underlying microscopic theory usually requires a great effort by condensed matter theorists. In the present paper, we develop a new machine-learning framework for automated discovery of effective equations from a limited set of available data, thus bypassing complicated analytical derivations. The data can be generated from numerical simulations or come from experimental quantum simulator platforms. Using integrable models, where direct comparisons can be made, we reproduce previously known hydrodynamic equations, strikingly discover novel equations and provide their derivation whenever possible. We discover new hydrodynamic equations describing dynamics of interacting systems, for which the derivation remains an outstanding challenge. Our approach provides a new interpretable method to study properties of quantum materials and quantum simulators in non-perturbative regimes.

}, url = {https://arxiv.org/abs/2111.02385}, author = {Yaroslav Kharkov and Oles Shtanko and Alireza Seif and Przemyslaw Bienias and Mathias Van Regemortel and Mohammad Hafezi and Alexey V. Gorshkov} } @article {2881, title = {EasyPQC: Verifying Post-Quantum Cryptography}, journal = {ACM CCS 2021}, year = {2021}, month = {9/20/2021}, abstract = {

EasyCrypt is a formal verification tool used extensively for formalizing concrete security proofs of cryptographic constructions. However, the EasyCrypt formal logics consider only classical attackers, which means that post-quantum security proofs cannot be formalized and machine-checked with this tool. In this paper we prove that a natural extension of the EasyCrypt core logics permits capturing a wide class of post-quantum cryptography proofs, settling a question raised by (Unruh, POPL 2019). Leveraging our positive result, we implement EasyPQC, an extension of EasyCrypt for post-quantum security proofs, and use EasyPQC to verify post-quantum security of three classic constructions: PRF-based MAC, Full Domain Hash and GPV08 identity-based encryption.

}, doi = {https://dx.doi.org/10.1145/3460120.3484567}, author = {Manuel Barbosa and Gilles Barthe and Xiong Fan and Benjamin Gr{\'e}goire and Shih-Han Hung and Jonathan Katz and Pierre-Yves Strub and Xiaodi Wu and Li Zhou} } @article {2725, title = {Energy storage and coherence in closed and open quantum batteries}, journal = {Quantum}, volume = {5}, year = {2021}, month = {7/15/2021}, pages = {505}, abstract = {

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\&$\#$39;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.\ 

}, doi = {https://doi.org/10.22331/q-2021-07-15-505}, url = {https://arxiv.org/abs/2012.15026}, author = {Francesco Caravelli and Bin Yan and Luis Pedro Garc{\'\i}a-Pintos and Alioscia Hamma} } @article {2932, title = {Entangled quantum cellular automata, physical complexity, and Goldilocks rules}, journal = {Quantum Science and Technology}, volume = {6}, year = {2021}, month = {9/29/2021}, pages = {045017}, abstract = {

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

}, issn = {2058-9565}, doi = {10.1088/2058-9565/ac1c41}, url = {http://dx.doi.org/10.1088/2058-9565/ac1c41}, author = {Hillberry, Logan E and Jones, Matthew T and Vargas, David L and Rall, Patrick and Nicole Yunger Halpern and Bao, Ning and Notarnicola, Simone and Montangero, Simone and Carr, Lincoln D} } @article {2776, title = {Entanglement Phase Transitions in Measurement-Only Dynamics}, journal = {Physical Review X}, volume = {11}, year = {2021}, month = {1/2/2021}, abstract = {

Unitary circuits subject to repeated projective measurements can undergo an entanglement phase transition (EPT) as a function of the measurement rate. This transition is generally understood in terms of a competition between the scrambling effects of unitary dynamics and the disentangling effects of measurements. We find that, surprisingly, EPTs are possible even in the absence of scrambling unitary dynamics, where they are best understood as arising from measurements alone. This motivates us to introduce \emph{measurement-only models}, in which the \"scrambling\" and \"un-scrambling\" effects driving the EPT are fundamentally intertwined and cannot be attributed to physically distinct processes. This represents a novel form of an EPT, conceptually distinct from that in hybrid unitary-projective circuits. We explore the entanglement phase diagrams, critical points, and quantum code properties of some of these measurement-only models. We find that the principle driving the EPTs in these models is \emph{frustration}, or mutual incompatibility, of the measurements. Suprisingly, an entangling (volume-law) phase is the generic outcome when measuring sufficiently long but still local (≳3-body) operators. We identify a class of exceptions to this behavior (\"bipartite ensembles\") which cannot sustain an entangling phase, but display dual area-law phases, possibly with different kinds of quantum order, separated by self-dual critical points. Finally, we introduce a measure of information spreading in dynamics with measurements and use it to demonstrate the emergence of a statistical light-cone, despite the non-locality inherent to quantum measurements.

}, doi = {10.1103/PhysRevX.11.011030}, url = {https://arxiv.org/abs/2004.09560}, author = {Ippoliti, Matteo and Michael Gullans and Gopalakrishnan, Sarang and Huse, David A. and Khemani, Vedika} } @article {2928, title = {Exactly Solvable Lattice Hamiltonians and Gravitational Anomalies}, year = {2021}, month = {10/27/2021}, abstract = {

We construct infinitely many new exactly solvable local commuting projector lattice Hamiltonian models for general bosonic beyond group cohomology invertible topological phases of order two and four in any spacetime dimensions, whose boundaries are characterized by gravitational anomalies. Examples include the beyond group cohomology invertible phase without symmetry in (4+1)D that has an anomalous boundary Z2 topological order with fermionic particle and fermionic loop excitations that have mutual π statistics. We argue that this construction gives a new non-trivial quantum cellular automaton (QCA) in (4+1)D of order two. We also present an explicit construction of gapped symmetric boundary state for the bosonic beyond group cohomology invertible phase with unitary Z2 symmetry in (4+1)D. We discuss new quantum phase transitions protected by different invertible phases across the transitions.

}, url = {https://arxiv.org/abs/2110.14644}, author = {Yu-An Chen and Po-Shen Hsin} } @conference {2941, title = {Expanding the VOQC Toolkit}, booktitle = {The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)}, year = {2021}, month = {06/2021}, abstract = {

voqc [Hietala et al. 2021b] (pronounced \“vox\”) is a compiler for quantum circuits, in the style of
tools like Qiskit [Aleksandrowicz et al. 2019], tket [Cambridge Quantum Computing Ltd 2019],
Quilc [Rigetti Computing 2019], and Cirq [Developers 2021]. What makes voqc different from these
tools is that it has been formally verified in the Coq proof assistant [Coq Development Team 2019].
voqc source programs are expressed in sqir, a simple quantum intermediate representation, which
has a precise mathematical semantics. We use Gallina, Coq\’s programming language, to implement
voqc transformations over sqir programs, and use Coq to prove the source program\’s semantics
are preserved. We then extract these Gallina definitions to OCaml, and compile the OCaml code to
a library that can operate on standard-formatted circuits.
voqc, and sqir, were built to be general-purpose. For example, while we originally designed sqir
for use in verified optimizations, we subsequently found sqir could also be suitable for writing, and
proving correct, source programs [Hietala et al. 2021a]. We have continued to develop the voqc
codebase to expand its reach and utility.
In this abstract, we present new extensions to voqc as an illustration of its flexibility. These
include support for calling voqc transformations from Python, added support for new gate sets
and optimizations, and the extension of our notion of correctness to include mapping-preservation,
which allows us to apply optimizations after mapping, reducing the cost introduced by making a
program conform to hardware constraints.

}, url = {http://rand.cs.uchicago.edu/files/planqc_2021c.pdf}, author = {Kesha Hietala and Liyi Li and Akshaj Gaur and Aaron Green and Robert Rand and Xiaodi Wu and Michael Hicks} } @article {2762, title = {Frustration-induced anomalous transport and strong photon decay in waveguide QED}, journal = {Phys. Rev. Research}, volume = {3}, year = {2021}, month = {9/16/2021}, abstract = {

We study the propagation of photons in a one-dimensional environment consisting of two non-interacting species of photons frustratingly coupled to a single spin-1/2. The ultrastrong frustrated coupling leads to an extreme mixing of the light and matter degrees of freedom, resulting in the disintegration of the spin and a breakdown of the \"dressed-spin\", or polaron, description. Using a combination of numerical and analytical methods, we show that the elastic response becomes increasingly weak at the effective spin frequency, showing instead an increasingly strong and broadband response at higher energies. We also show that the photons can decay into multiple photons of smaller energies. The total probability of these inelastic processes can be as large as the total elastic scattering rate, or half of the total scattering rate, which is as large as it can be. The frustrated spin induces strong anisotropic photon-photon interactions that are dominated by inter-species interactions. Our results are relevant to state-of-the-art circuit and cavity quantum electrodynamics experiments.

}, doi = {https://doi.org/10.1103/PhysRevResearch.3.L032058}, url = {https://arxiv.org/abs/2007.03690}, author = {Ron Belyansky and Seth Whitsitt and Rex Lundgren and Yidan Wang and Andrei Vrajitoarea and Andrew A. Houck and Alexey V. Gorshkov} } @article {2819, title = {Garc{\'\i}a-Pintos, Hamma, and del Campo Reply}, journal = {Phys. Rev. Lett.}, volume = {127}, year = {2021}, month = {7/9/2021}, pages = {028902}, abstract = {

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

}, doi = {10.1103/PhysRevLett.127.028902}, author = {Luis Pedro Garc{\'\i}a-Pintos and Alioscia Hamma and Adolfo del Campo} } @article {2936, title = {Generalization in quantum machine learning from few training data}, year = {2021}, month = {11/9/2021}, abstract = {

Modern quantum machine learning (QML) methods involve variationally optimizing a parameterized quantum circuit on a training data set, and subsequently making predictions on a testing data set (i.e., generalizing). In this work, we provide a comprehensive study of generalization performance in QML after training on a limited number N of training data points. We show that the generalization error of a quantum machine learning model with T trainable gates scales at worst as T/N\−\−\−\−\√. When only K<}, url = {https://arxiv.org/abs/2111.05292}, author = {Matthias C. Caro and Hsin-Yuan Huang and M. Cerezo and Kunal Sharma and Andrew Sornborger and Lukasz Cincio and Patrick J. Coles} } @article {2924, title = {How to engineer a quantum wavefunction}, year = {2021}, month = {12/2/2021}, abstract = {

In a conventional experiment, inductive inferences between source and target systems are typically justified with reference to a uniformity principle between systems of the same material type. In an analogue quantum simulation, by contrast, scientists aim to learn about target quantum systems of one material type via an experiment on a source quantum system of a different material type. In this paper, we argue that such an inference can be justified by reference to the two quantum systems being of the same empirical type. We illustrate this novel experimental practice of wavefunction engineering with reference to the example of Bose-Hubbard systems.\ 

}, url = {https://arxiv.org/abs/2112.01105}, author = {Peter W. Evans and Dominik Hangleiter and Karim P. Y. Th{\'e}bault} } @article {2908, title = {Interactive Protocols for Classically-Verifiable Quantum Advantage}, year = {2021}, month = {12/9/2021}, abstract = {

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

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

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

}, url = {https://arxiv.org/abs/2110.05517}, author = {Marcel Hinsche and Marios Ioannou and Alexander Nietner and Jonas Haferkamp and Yihui Quek and Dominik Hangleiter and Jean-Pierre Seifert and Jens Eisert and Ryan Sweke} } @article {2923, title = {Machine learning outperforms thermodynamics in measuring how well a many-body system learns a drive}, journal = {Scientific Reports}, volume = {11}, year = {2021}, month = {10/22/2021}, abstract = {

Diverse many-body systems, from soap bubbles to suspensions to polymers, learn and remember patterns in the drives that push them far from equilibrium. This learning may be leveraged for computation, memory, and engineering. Until now, many-body learning has been detected with thermodynamic properties, such as work absorption and strain. We progress beyond these macroscopic properties first defined for equilibrium contexts: We quantify statistical mechanical learning using representation learning, a machine-learning model in which information squeezes through a bottleneck. By calculating properties of the bottleneck, we measure four facets of many-body systems\&$\#$39; learning: classification ability, memory capacity, discrimination ability, and novelty detection. Numerical simulations of a classical spin glass illustrate our technique. This toolkit exposes self-organization that eludes detection by thermodynamic measures: Our toolkit more reliably and more precisely detects and quantifies learning by matter while providing a unifying framework for many-body learning.\ 

}, issn = {2045-2322}, doi = {https://doi.org/10.1038/s41598-021-88311-7}, url = {https://arxiv.org/abs/2004.03604}, author = {Zhong, Weishun and Gold, Jacob M. and Marzen, Sarah and England, Jeremy L. and Nicole Yunger Halpern} } @article {2777, title = {Maximum Refractive Index of an Atomic Medium}, journal = {Physical Review X}, volume = {11}, year = {2021}, month = {2/18/2021}, abstract = {

It is interesting to observe that all optical materials with a positive refractive index have a value of index that is of order unity. Surprisingly, though, a deep understanding of the mechanisms that lead to this universal behavior seems to be lacking. Moreover, this observation is difficult to reconcile with the fact that a single, isolated atom is known to have a giant optical response, as characterized by a resonant scattering cross section that far exceeds its physical size. Here, we theoretically and numerically investigate the evolution of the optical properties of an ensemble of ideal atoms as a function of density, starting from the dilute gas limit, including the effects of multiple scattering and near-field interactions. Interestingly, despite the giant response of an isolated atom, we find that the maximum index does not indefinitely grow with increasing density, but rather reaches a limiting value n\≈1.7. We propose an explanation based upon strong-disorder renormalization group theory, in which the near-field interaction combined with random atomic positions results in an inhomogeneous broadening of atomic resonance frequencies. This mechanism ensures that regardless of the physical atomic density, light at any given frequency only interacts with at most a few near-resonant atoms per cubic wavelength, thus limiting the maximum index attainable. Our work is a promising first step to understand the limits of refractive index from a bottom-up, atomic physics perspective, and also introduces renormalization group as a powerful tool to understand the generally complex problem of multiple scattering of light overall.

}, doi = {10.1103/PhysRevX.11.011026}, url = {https://arxiv.org/abs/2006.01680}, author = {Andreoli, Francesco and Michael Gullans and High, Alexander A. and Browaeys, Antoine and Chang, Darrick E.} } @article {2770, title = {Meta Hamiltonian Learning}, year = {2021}, month = {4/9/2021}, abstract = {

Efficient characterization of quantum devices is a significant challenge critical for the development of large scale quantum computers. We consider an experimentally motivated situation, in which we have a decent estimate of the Hamiltonian, and its parameters need to be characterized and fine-tuned frequently to combat drifting experimental variables. We use a machine learning technique known as meta-learning to learn a more efficient optimizer for this task. We consider training with the nearest-neighbor Ising model and study the trained model\&$\#$39;s generalizability to other Hamiltonian models and larger system sizes. We observe that the meta-optimizer outperforms other optimization methods in average loss over test samples. This advantage follows from the meta-optimizer being less likely to get stuck in local minima, which highly skews the distribution of the final loss of the other optimizers. In general, meta-learning decreases the number of calls to the experiment and reduces the needed classical computational resources.

}, url = {https://arxiv.org/abs/2104.04453}, author = {Przemyslaw Bienias and Alireza Seif and Mohammad Hafezi} } @article {2938, title = {On nonlinear transformations in quantum computation}, year = {2021}, month = {12/23/2021}, abstract = {

While quantum computers are naturally well-suited to implementing linear operations, it is less clear how to implement nonlinear operations on quantum computers. However, nonlinear subroutines may prove key to a range of applications of quantum computing from solving nonlinear equations to data processing and quantum machine learning. Here we develop algorithms for implementing nonlinear transformations of input quantum states. Our algorithms are framed around the concept of a weighted state, a mathematical entity describing the output of an operational procedure involving both quantum circuits and classical post-processing.

}, url = {https://arxiv.org/abs/2112.12307}, author = {Zo{\"e} Holmes and Nolan Coble and Andrew T. Sornborger and Yi{\u g}it Suba{\c s}{\i}} } @article {2768, title = {Observation of a prethermal discrete time crystal}, year = {2021}, month = {2/2/2021}, abstract = {

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

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

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

}, url = {https://arxiv.org/abs/2106.05881}, author = {Crystal Noel and Pradeep Niroula and Daiwei Zhu and Andrew Risinger and Laird Egan and Debopriyo Biswas and Marko Cetina and Alexey V. Gorshkov and Michael Gullans and David A. Huse and Christopher Monroe} } @article {2827, title = {Precise Hamiltonian identification of a superconducting quantum processor}, year = {2021}, month = {8/18/2021}, abstract = {

The required precision to perform quantum simulations beyond the capabilities of classical computers imposes major experimental and theoretical challenges. Here, we develop a characterization technique to benchmark the implementation precision of a specific quantum simulation task. We infer all parameters of the bosonic Hamiltonian that governs the dynamics of excitations in a two-dimensional grid of nearest-neighbour coupled superconducting qubits. We devise a robust algorithm for identification of Hamiltonian parameters from measured times series of the expectation values of single-mode canonical coordinates. Using super-resolution and denoising methods, we first extract eigenfrequencies of the governing Hamiltonian from the complex time domain measurement; next, we recover the eigenvectors of the Hamiltonian via constrained manifold optimization over the orthogonal group. For five and six coupled qubits, we identify Hamiltonian parameters with sub-MHz precision and construct a spatial implementation error map for a grid of 27 qubits. Our approach enables us to distinguish and quantify the effects of state preparation and measurement errors and show that they are the dominant sources of errors in the implementation. Our results quantify the implementation accuracy of analog dynamics and introduce a diagnostic toolkit for understanding, calibrating, and improving analog quantum processors.

}, url = {https://arxiv.org/abs/2108.08319}, author = {Dominik Hangleiter and Ingo Roth and Jens Eisert and Pedram Roushan} } @article {2729, title = {Proving Quantum Programs Correct}, journal = {Schloss Dagstuhl}, year = {2021}, month = {7/13/2021}, abstract = {

As quantum computing steadily progresses from theory to practice, programmers are faced with a common problem: How can they be sure that their code does what they intend it to do? This paper presents encouraging results in the application of mechanized proof to the domain of quantum programming in the context of the SQIR development. It verifies the correctness of a range of a quantum algorithms including Simon\&$\#$39;s algorithm, Grover\&$\#$39;s algorithm, and quantum phase estimation, a key component of Shor\&$\#$39;s algorithm. In doing so, it aims to highlight both the successes and challenges of formal verification in the quantum context and motivate the theorem proving community to target quantum computing as an application domain.

}, doi = {https://doi.org/10.4230/LIPIcs.ITP.2021.21}, url = {https://arxiv.org/abs/2010.01240}, author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Liyi Li and Michael Hicks} } @article {2942, title = {Proving Quantum Programs Correct}, journal = {12th International Conference on Interactive Theorem Proving (ITP 2021)}, volume = {193}, year = {2021}, month = {06/2021}, pages = {21:1{\textendash}21:19}, abstract = {

As quantum computing progresses steadily from theory into practice, programmers will face
a common problem: How can they be sure that their code does what they intend it to do? This
paper presents encouraging results in the application of mechanized proof to the domain of quantum
programming in the context of the sqir development. It verifies the correctness of a range of a
quantum algorithms including Grover\’s algorithm and quantum phase estimation, a key component
of Shor\’s algorithm. In doing so, it aims to highlight both the successes and challenges of formal
verification in the quantum context and motivate the theorem proving community to target quantum
computing as an application domain.

}, isbn = {978-3-95977-188-7}, issn = {1868-8969}, doi = {10.4230/LIPIcs.ITP.2021.21}, url = {https://drops.dagstuhl.de/opus/volltexte/2021/13916}, author = {Hietala, Kesha and Rand, Robert and Hung, Shih-Han and Li, Liyi and Hicks, Michael}, editor = {Cohen, Liron and Kaliszyk, Cezary} } @article {2773, title = {Quantum Computational Supremacy via High-Dimensional Gaussian Boson Sampling}, year = {2021}, month = {2/24/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2102.12474}, author = {Abhinav Deshpande and Arthur Mehta and Trevor Vincent and Nicolas Quesada and Marcel Hinsche and Marios Ioannou and Lars Madsen and Jonathan Lavoie and Haoyu Qi and Jens Eisert and Dominik Hangleiter and Bill Fefferman and Ish Dhand} } @article {2875, title = {Quantum Machine Learning for Finance}, year = {2021}, month = {9/9/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2109.04298}, author = {Marco Pistoia and Syed Farhan Ahmad and Akshay Ajagekar and Alexander Buts and Shouvanik Chakrabarti and Dylan Herman and Shaohan Hu and Andrew Jena and Pierre Minssen and Pradeep Niroula and Arthur Rattew and Yue Sun and Romina Yalovetzky} } @article {2886, title = {Quantum query complexity with matrix-vector products}, journal = {Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Leibniz International Proceedings in Informatics}, volume = {198}, year = {2021}, month = {3/14/2021}, pages = {55:1-55:19}, abstract = {

We study quantum algorithms that learn properties of a matrix using queries that return its action on an input vector. We show that for various problems, including computing the trace, determinant, or rank of a matrix or solving a linear system that it specifies, quantum computers do not provide an asymptotic speedup over classical computation. On the other hand, we show that for some problems, such as computing the parities of rows or columns or deciding if there are two identical rows or columns, quantum computers provide exponential speedup. We demonstrate this by showing equivalence between models that provide matrix-vector products, vector-matrix products, and vector-matrix-vector products, whereas the power of these models can vary significantly for classical computation.

}, doi = {https://arxiv.org/ct?url=https\%3A\%2F\%2Fdx.doi.org\%2F10.4230\%2FLIPIcs.ICALP.2021.55\&v=2de93347}, url = {https://arxiv.org/abs/2102.11349}, author = {Andrew M. Childs and Shih-Han Hung and Tongyang Li} } @article {2878, title = {Quantum Query Complexity with Matrix-Vector Products}, journal = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)}, year = {2021}, month = {2/7/2021}, publisher = {Schloss Dagstuhl {\textendash} Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, abstract = {

We study quantum algorithms that learn properties of a matrix using queries that return its action on an input vector. We show that for various problems, including computing the trace, determinant, or rank of a matrix or solving a linear system that it specifies, quantum computers do not provide an asymptotic speedup over classical computation. On the other hand, we show that for some problems, such as computing the parities of rows or columns or deciding if there are two identical rows or columns, quantum computers provide exponential speedup. We demonstrate this by showing equivalence between models that provide matrix-vector products, vector-matrix products, and vector-matrix-vector products, whereas the power of these models can vary significantly for classical computation.

}, isbn = {978-3-95977-195-5}, doi = {10.4230/LIPIcs.ICALP.2021.55}, url = {https://drops.dagstuhl.de/opus/volltexte/2021/14124}, author = {Andrew M. Childs and Hung, Shih-Han and Li, Tongyang} } @article {2921, title = {Resource theory of quantum uncomplexity}, year = {2021}, month = {10/21/2021}, abstract = {

Quantum complexity is emerging as a key property of many-body systems, including black holes, topological materials, and early quantum computers. A state\&$\#$39;s complexity quantifies the number of computational gates required to prepare the state from a simple tensor product. The greater a state\&$\#$39;s distance from maximal complexity, or {\textquoteleft}{\textquoteleft}uncomplexity,\&$\#$39;\&$\#$39; the more useful the state is as input to a quantum computation. Separately, resource theories -- simple models for agents subject to constraints -- are burgeoning in quantum information theory. We unite the two domains, confirming Brown and Susskind\&$\#$39;s conjecture that a resource theory of uncomplexity can be defined. The allowed operations, fuzzy operations, are slightly random implementations of two-qubit gates chosen by an agent. We formalize two operational tasks, uncomplexity extraction and expenditure. Their optimal efficiencies depend on an entropy that we engineer to reflect complexity. We also present two monotones, uncomplexity measures that decline monotonically under fuzzy operations, in certain regimes. This work unleashes on many-body complexity the resource-theory toolkit from quantum information theory.

}, url = {https://arxiv.org/abs/2110.11371}, author = {Nicole Yunger Halpern and Naga B. T. Kothakonda and Jonas Haferkamp and Anthony Munson and Jens Eisert and Philippe Faist} } @article {2879, title = {Synchronous Values of Games}, year = {2021}, month = {9/29/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2109.14741}, author = {J. William Helton and Hamoon Mousavi and Seyed Sajjad Nezhadi and Vern I. Paulsen and Travis B. Russell} } @article {2414, title = {Torus Spectroscopy of the Gross-Neveu-Yukawa Quantum Field Theory: Free Dirac versus Chiral Ising Fixed Point}, journal = {Phys. Rev. B}, volume = {103}, year = {2021}, month = {3/15/2021}, pages = {125128}, abstract = {

We establish the universal torus low-energy spectra at the free Dirac fixed point and at the strongly coupled chiral Ising fixed point and their subtle crossover behaviour in the Gross-Neuveu-Yukawa field theory with nD=4 component Dirac spinors in D=(2+1) dimensions. These fixed points and the field theories are directly relevant for the long-wavelength physics of certain interacting Dirac systems, such as repulsive spinless fermions on the honeycomb lattice or π-flux square lattice. The torus energy spectrum has been shown previously to serve as a characteristic fingerprint of relativistic fixed points and is a powerful tool to discriminate quantum critical behaviour in numerical simulations. Here, we use a combination of exact diagonalization and quantum Monte Carlo simulations of strongly interacting fermionic lattice models, to compute the critical torus energy spectrum on finite-size clusters with periodic boundaries and extrapolate them to the thermodynamic limit. Additionally, we compute the torus energy spectrum analytically using the perturbative expansion in ε=4\−D, which is in good agreement with the numerical results, thereby validating the presence of the chiral Ising fixed point in the lattice models at hand. We show that the strong interaction between the spinor field and the scalar order-parameter field strongly influences the critical torus energy spectrum and we observe prominent multiplicity features related to an emergent symmetry predicted from the quantum field theory. Building on these results we are able to address the subtle crossover physics of the low-energy spectrum flowing from the chiral Ising fixed point to the Dirac fixed point, and analyze earlier flawed attempts to extract Fermi velocity renormalizations from the low-energy spectrum.

}, doi = {https://doi.org/10.1103/PhysRevB.103.125128}, url = {https://arxiv.org/abs/1907.05373}, author = {Michael Schuler and Stephan Hesselmann and Seth Whitsitt and Thomas C. Lang and Stefan Wessel and Andreas M. L{\"a}uchli} } @article {2764, title = {Trapped electrons and ions as particle detectors}, journal = {Phys. Rev. Lett.}, volume = {127}, year = {2021}, month = {8/5/2021}, abstract = {

Electrons and ions trapped with electromagnetic fields have long served as important high-precision metrological instruments, and more recently have also been proposed as a platform for quantum information processing. Here we point out that these systems can also be used as highly sensitive detectors of passing charged particles, due to the combination of their extreme charge-to-mass ratio and low-noise quantum readout and control. In particular, these systems can be used to detect energy depositions many orders of magnitude below typical ionization scales. As an illustration, we show that current devices can be used to provide competitive sensitivity to models where ambient dark matter particles carry small electric millicharges <}, doi = {https://doi.org/10.1103/PhysRevLett.127.061804}, url = {https://arxiv.org/abs/2104.05737}, author = {Daniel Carney and Hartmut H{\"a}ffner and David C. Moore and J. M. Taylor} } @article {2682, title = {Tunable three-body loss in a nonlinear Rydberg medium}, journal = {Phys. Rev. Lett., in press }, year = {2021}, month = {9/28/2020}, abstract = {

Long-range Rydberg interactions, in combination with electromagnetically induced transparency (EIT), give rise to strongly interacting photons where the strength, sign, and form of the interactions are widely tunable and controllable. Such control can be applied to both coherent and dissipative interactions, which provides the potential to generate novel few-photon states. Recently it has been shown that Rydberg-EIT is a rare system in which three-body interactions can be as strong or stronger than two-body interactions. In this work, we study a three-body scattering loss for Rydberg-EIT in a wide regime of single and two-photon detunings. Our numerical simulations of the full three-body wavefunction and analytical estimates based on Fermi\&$\#$39;s Golden Rule strongly suggest that the observed features in the outgoing photonic correlations are caused by the resonant enhancement of the three-body losses.

}, url = {https://arxiv.org/abs/2009.13599}, author = {Dalia P. Ornelas Huerta and Przemyslaw Bienias and Alexander N. Craddock and Michael Gullans and Andrew J. Hachtel and Marcin Kalinowski and Mary E. Lyon and Alexey V. Gorshkov and Steven L. Rolston and J. V. Porto} } @article {2450, title = {Ultralight dark matter detection with mechanical quantum sensors}, journal = {New Journal of Physics}, volume = {23}, year = {2021}, month = {3/10/2021}, pages = {023041}, abstract = {

We consider the use of quantum-limited mechanical force sensors to detect ultralight (sub-meV) dark matter candidates which are weakly coupled to the standard model. We show that mechanical sensors with masses around or below the milligram scale, operating around the standard quantum limit, would enable novel searches for dark matter with natural frequencies around the kHz scale. This would complement existing strategies based on torsion balances, atom interferometers, and atomic clock systems

}, issn = {1367-2630}, doi = {https://doi.org/10.1088/1367-2630/abd9e7}, url = {https://arxiv.org/abs/1908.04797}, author = {Daniel Carney and Anson Hook and Zhen Liu and J. M. Taylor and Yue Zhao} } @article {2912, title = {Verified Compilation of Quantum Oracles}, year = {2021}, month = {12/13/2021}, abstract = {

Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the largest components of a quantum algorithm. To ease the construction of efficient, correct oracle functions, this paper presents VQO, a high-assurance framework implemented with the Coq proof assistant. The core of VQO is OQASM, the oracle quantum assembly language. OQASM operations move qubits among three different bases via the Quantum Fourier Transform and Hadamard operations, thus admitting important optimizations, but without inducing entanglement and the exponential blowup that comes with it. OQASM\&$\#$39;s design enabled us to prove correct VQO\&$\#$39;s compilers -- from a simple imperative language called OQIMP to OQASM, and from OQASM to SQIR, a general-purpose quantum assembly language -- and allowed us to efficiently test properties of OQASM programs using the QuickChick property-based testing framework. We have used VQO to implement oracles used in Shor\&$\#$39;s and Grover\&$\#$39;s algorithms, as well as several common arithmetic operators. VQO\&$\#$39;s oracles have performance comparable to those produced by Quipper, a state-of-the-art but unverified quantum programming platform.

}, url = {https://arxiv.org/abs/2112.06700}, author = {Liyi Li and Finnegan Voichick and Kesha Hietala and Yuxiang Peng and Xiaodi Wu and Michael Hicks} } @article {2491, title = {A Verified Optimizer for Quantum Circuits}, journal = {Proceedings of the ACM on Programming Languages}, volume = {5}, year = {2021}, month = {11/12/2020}, abstract = {

We present VOQC, the first fully verified compiler for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level language called SQIR, which is deeply embedded in Coq. Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs. We evaluate VOQC\&$\#$39;s verified optimizations on a series of benchmarks, and it performs comparably to industrial-strength compilers. VOQC\&$\#$39;s optimizations reduce total gate counts on average by 17.7\% on a benchmark of 29 circuit programs compared to a 10.7\% reduction when using IBM\&$\#$39;s Qiskit compiler.

}, doi = {https://doi.org/10.1145/3434318}, url = {https://arxiv.org/abs/1912.02250}, author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Xiaodi Wu and Michael Hicks} } @article {2601, title = {Approximate recovery and relative entropy I. general von Neumann subalgebras}, year = {2020}, month = {6/14/2020}, abstract = {

We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I v. Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrary v. Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda Lp norms. We comment on applications to the quantum null energy condition.

}, url = {https://arxiv.org/abs/2006.08002}, author = {Thomas Faulkner and Stefan Hollands and Brian Swingle and Yixu Wang} } @article {2641, title = {Approximate recovery and relative entropy I. general von Neumann subalgebras}, year = {2020}, month = {6/14/2020}, abstract = {

We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I v. Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrary v. Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda Lp norms. We comment on applications to the quantum null energy condition.

}, url = {https://arxiv.org/abs/2006.08002}, author = {Thomas Faulkner and Stefan Hollands and Brian Swingle and Yixu Wang} } @article {2719, title = {Continuous symmetries and approximate quantum error correction}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {10/26/2020}, abstract = {

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

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.041018}, url = {https://arxiv.org/abs/1902.07714}, author = {Philippe Faist and Sepehr Nezami and Victor V. Albert and Grant Salton and Fernando Pastawski and Patrick Hayden and John Preskill} } @article {2778, title = {Dynamical Purification Phase Transition Induced by Quantum Measurements}, journal = {Physical Review X}, volume = {10}, year = {2020}, month = {7/30/2020}, abstract = {

Continuously monitoring the environment of a quantum many-body system reduces the entropy of (purifies) the reduced density matrix of the system, conditional on the outcomes of the measurements. We show that, for mixed initial states, a balanced competition between measurements and entangling interactions within the system can result in a dynamical purification phase transition between (i) a phase that locally purifies at a constant system-size-independent rate, and (ii) a \"mixed\" phase where the purification time diverges exponentially in the system size. The residual entropy density in the mixed phase implies the existence of a quantum error-protected subspace where quantum information is reliably encoded against the future non-unitary evolution of the system. We show that these codes are of potential relevance to fault-tolerant quantum computation as they are often highly degenerate and satisfy optimal tradeoffs between encoded information densities and error thresholds. In spatially local models in 1+1 dimensions, this phase transition for mixed initial states occurs concurrently with a recently identified class of entanglement phase transitions for pure initial states. The mutual information of an initially completely-mixed state in 1+1 dimensions grows sublinearly in time due to the formation of the error protected subspace. The purification transition studied here also generalizes to systems with long-range interactions, where conventional notions of entanglement transitions have to be reformulated. Purification dynamics is likely a more robust probe of the transition in experiments, where imperfections generically reduce entanglement and drive the system towards mixed states. We describe the motivations for studying this novel class of non-equilibrium quantum dynamics in the context of advanced quantum computing platforms and fault-tolerant quantum computation.

}, doi = {10.1103/PhysRevX.10.041020}, url = {https://arxiv.org/abs/1905.05195}, author = {Michael Gullans and Huse, David A.} } @article {2677, title = {Entanglement entropy scaling transition under competing monitoring protocols}, year = {2020}, month = {08/19/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2008.08619}, author = {Mathias Van Regemortel and Ze-Pei Cian and Alireza Seif and Hossein Dehghani and Mohammad Hafezi} } @article {2648, title = {Feedback Induced Magnetic Phases in Binary Bose-Einstein Condensates}, year = {2020}, month = {7/14/2020}, abstract = {

Weak measurement in tandem with real-time feedback control is a new route toward engineering novel non-equilibrium quantum matter. Here we develop a theoretical toolbox for quantum feedback control of multicomponent Bose-Einstein condensates (BECs) using backaction-limited weak measurements in conjunction with spatially resolved feedback. Feedback in the form of a single-particle potential can introduce effective interactions that enter into the stochastic equation governing system dynamics. The effective interactions are tunable and can be made analogous to Feshbach resonances -- spin-independent and spin-dependent -- but without changing atomic scattering parameters. Feedback cooling prevents runaway heating due to measurement backaction and we present an analytical model to explain its effectiveness. We showcase our toolbox by studying a two-component BEC using a stochastic mean-field theory, where feedback induces a phase transition between easy-axis ferromagnet and spin-disordered paramagnet phases. We present the steady-state phase diagram as a function of intrinsic and effective spin-dependent interaction strengths. Our result demonstrates that closed-loop quantum control of Bose-Einstein condensates is a powerful new tool for quantum engineering in cold-atom systems.

}, url = {https://arxiv.org/abs/2007.07266}, author = {Hilary M. Hurst and Shangjie Guo and I. B. Spielman} } @article {2461, title = {Fluctuations in Extractable Work Bound the Charging Power of Quantum Batteries}, journal = {Phys. Rev. Lett. }, volume = {125}, year = {2020}, month = {7/22/2020}, abstract = {

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

}, doi = {10.1103/PhysRevLett.125.040601}, url = {https://arxiv.org/abs/1909.03558}, author = {Luis Pedro Garc{\'\i}a-Pintos and Alioscia Hamma and Adolfo del Campo} } @article {2577, title = {Hierarchy of linear light cones with long-range interactions}, journal = {Physical Review X}, volume = {10}, year = {2020}, month = {5/29/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevX.10.031009}, url = {https://arxiv.org/abs/2001.11509}, author = {Minh C. Tran and Chi-Fang Chen and Adam Ehrenberg and Andrew Y. Guo and Abhinav Deshpande and Yifan Hong and Zhe-Xuan Gong and Alexey V. Gorshkov and Andrew Lucas} } @article {2466, title = {Machine learning the thermodynamic arrow of time}, journal = {Nat. Phys.}, year = {2020}, month = {09/21/2020}, pages = {1-9}, abstract = {

The mechanism by which thermodynamics sets the direction of time\&$\#$39;s arrow has long fascinated scientists. Here, we show that a machine learning algorithm can learn to discern the direction of time\&$\#$39;s arrow when provided with a system\&$\#$39;s microscopic trajectory as input. The performance of our algorithm matches fundamental bounds predicted by nonequilibrium statistical mechanics. Examination of the algorithm\&$\#$39;s decision-making process reveals that it discovers the underlying thermodynamic mechanism and the relevant physical observables. Our results indicate that machine learning techniques can be used to study systems out of equilibrium, and ultimately to uncover physical principles.

}, doi = {https://doi.org/10.1038/s41567-020-1018-2}, url = {https://arxiv.org/abs/1909.12380}, author = {Alireza Seif and Mohammad Hafezi and Christopher Jarzynski} } @article {2687, title = {Mechanical Quantum Sensing in the Search for Dark Matter}, year = {2020}, month = {8/13/2020}, type = {FERMILAB-PUB-20-378-QIS-T}, abstract = {

Numerous astrophysical and cosmological observations are best explained by the existence of dark matter, a mass density which interacts only very weakly with visible, baryonic matter. Searching for the extremely weak signals produced by this dark matter strongly motivate the development of new, ultra-sensitive detector technologies. Paradigmatic advances in the control and readout of massive mechanical systems, in both the classical and quantum regimes, have enabled unprecedented levels of sensitivity. In this white paper, we outline recent ideas in the potential use of a range of solid-state mechanical sensing technologies to aid in the search for dark matter in a number of energy scales and with a variety of coupling mechanisms.

}, url = {https://arxiv.org/abs/2008.06074}, author = {D. Carney and G. Krnjaic and D. C. Moore and C. A. Regal and G. Afek and S. Bhave and B. Brubaker and T. Corbitt and J. Cripe and N. Crisosto and A.Geraci and S. Ghosh and J. G. E. Harris and A. Hook and E. W. Kolb and J. Kunjummen and R. F. Lang and T. Li and T. Lin and Z. Liu and J. Lykken and L. Magrini and J. Manley and N. Matsumoto and A. Monte and F. Monteiro and T. Purdy and C. J. Riedel and R. Singh and S. Singh and K. Sinha and J. M. Taylor and J. Qin and D. J. Wilson and Y. Zhao} } @article {2560, title = {Noncommuting conserved charges in quantum many-body thermalization}, journal = {Phys. Rev. E }, volume = {101}, year = {2020}, month = {4/15/2020}, abstract = {

In statistical mechanics, a small system exchanges conserved quantities\—heat, particles, electric charge, etc.\—with a bath. The small system thermalizes to the canonical ensemble or the grand canonical ensemble, etc., depending on the quantities. The conserved quantities are represented by operators usually assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system\&$\#$39;s long-time state was dubbed \“the non-Abelian thermal state (NATS).\” We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which forms the system of interest. The conserved quantities manifest as spin components. Heisenberg interactions push the conserved quantities between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to near the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting conserved quantities from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter.

}, doi = {https://doi.org/10.1103/PhysRevE.101.042117}, url = {https://journals.aps.org/pre/abstract/10.1103/PhysRevE.101.042117}, author = {Nicole Yunger Halpern and Michael E. Beverland and Amir Kalev} } @article {2485, title = {Non-interactive classical verification of quantum computation}, journal = {Theory of Cryptography Conference (TCC)}, volume = {Lecture Notes in Computer Science 12552}, year = {2020}, month = {3/9/2020}, pages = {153-180}, abstract = {

In a recent breakthrough, Mahadev constructed an interactive protocol that enables a purely classical party to delegate any quantum computation to an untrusted quantum prover. In this work, we show that this same task can in fact be performed non-interactively and in zero-knowledge.
Our protocols result from a sequence of significant improvements to the original four-message protocol of Mahadev. We begin by making the first message instance-independent and moving it to an offline setup phase. We then establish a parallel repetition theorem for the resulting three-message protocol, with an asymptotically optimal rate. This, in turn, enables an application of the Fiat-Shamir heuristic, eliminating the second message and giving a non-interactive protocol. Finally, we employ classical non-interactive zero-knowledge (NIZK) arguments and classical fully homomorphic encryption (FHE) to give a zero-knowledge variant of this construction. This yields the first purely classical NIZK argument system for QMA, a quantum analogue of NP.
We establish the security of our protocols under standard assumptions in quantum-secure cryptography. Specifically, our protocols are secure in the Quantum Random Oracle Model, under the assumption that Learning with Errors is quantumly hard. The NIZK construction also requires circuit-private FHE.

}, url = {https://arxiv.org/abs/1911.08101}, author = {Gorjan Alagic and Andrew M. Childs and Alex B. Grilo and Shih-Han Hung} } @article {2568, title = {On-demand indistinguishable single photons from an efficient and pure source based on a Rydberg ensemble}, year = {2020}, month = {3/4/2020}, abstract = {

Single photons coupled to atomic systems have shown to be a promising platform for developing quantum technologies. Yet a bright on-demand, highly pure and highly indistinguishable single-photon source compatible with atomic platforms is lacking. In this work, we demonstrate such a source based on a strongly interacting Rydberg system. The large optical nonlinearities in a blockaded Rydberg ensemble convert coherent light into a single-collective excitation that can be coherently retrieved as a quantum field. We observe a single-transverse-mode efficiency up to 0.18(2), g(2)=2.0(1.5)\×10\−4, and indistinguishability of 0.982(7), making this system promising for scalable quantum information applications. Accounting for losses, we infer a generation probability up to 0.40(4). Furthermore, we investigate the effects of contaminant Rydberg excitations on the source efficiency. Finally, we introduce metrics to benchmark the performance of on-demand single-photon sources.\ 

}, url = {https://arxiv.org/abs/2003.02202}, author = {Dalia P. Ornelas-Huerta and Alexander N. Craddock and Elizabeth A. Goldschmidt and Andrew J. Hachtel and Yidan Wang and P. Bienias and Alexey V. Gorshkov and Steve L. Rolston and James V. Porto} } @article {2558, title = {On the Principles of Differentiable Quantum Programming Languages}, year = {2020}, month = {4/2/2020}, abstract = {

Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neural-networks, but also because of their feasibility on near-term noisy intermediate-size quantum (NISQ) machines. The need for gradient information in the training procedure of VQC applications has stimulated the development of auto-differentiation techniques for quantum circuits. We propose the first formalization of this technique, not only in the context of quantum circuits but also for imperative quantum programs (e.g., with controls), inspired by the success of differentiable programming languages in classical machine learning. In particular, we overcome a few unique difficulties caused by exotic quantum features (such as quantum no-cloning) and provide a rigorous formulation of differentiation applied to bounded-loop imperative quantum programs, its code-transformation rules, as well as a sound logic to reason about their correctness. Moreover, we have implemented our code transformation in OCaml and demonstrated the resource-efficiency of our scheme both analytically and empirically. We also conduct a case study of training a VQC instance with controls, which shows the advantage of our scheme over existing auto-differentiation for quantum circuits without controls.

}, doi = {https://doi.org/10.1145/3385412.3386011}, url = {https://arxiv.org/abs/2004.01122}, author = {Shaopeng Zhu and Shih-Han Hung and Shouvanik Chakrabarti and Xiaodi Wu} } @article {2680, title = {Quantum coding with low-depth random circuits}, year = {2020}, month = {10/19/2020}, abstract = {

Random quantum circuits have played a central role in establishing the computational advantages of near-term quantum computers over their conventional counterparts. Here, we use ensembles of low-depth random circuits with local connectivity in D\≥1 spatial dimensions to generate quantum error-correcting codes. For random stabilizer codes and the erasure channel, we find strong evidence that a depth O(logN) random circuit is necessary and sufficient to converge (with high probability) to zero failure probability for any finite amount below the channel capacity for any D. Previous results on random circuits have only shown that O(N1/D) depth suffices or that O(log3N) depth suffices for all-to-all connectivity (D\→\∞). We then study the critical behavior of the erasure threshold in the so-called moderate deviation limit, where both the failure probability and the distance to the channel capacity converge to zero with N. We find that the requisite depth scales like O(logN) only for dimensions D\≥2, and that random circuits require O(N\−\−\√) depth for D=1. Finally, we introduce an \"expurgation\" algorithm that uses quantum measurements to remove logical operators that cause the code to fail by turning them into either additional stabilizers or into gauge operators in a subsystem code. With such targeted measurements, we can achieve sub-logarithmic depth in D\≥2 spatial dimensions below capacity without increasing the maximum weight of the check operators. We find that for any rate beneath the capacity, high-performing codes with thousands of logical qubits are achievable with depth 4-8 expurgated random circuits in D=2 dimensions. These results indicate that finite-rate quantum codes are practically relevant for near-term devices and may significantly reduce the resource requirements to achieve fault tolerance for near-term applications.\ 

}, url = {https://arxiv.org/abs/2010.09775}, author = {Michael Gullans and Stefan Krastanov and David A. Huse and Liang Jiang and Steven T. Flammia} } @article {2563, title = {Random Quantum Batteries}, journal = {Phys. Rev. Research }, volume = {2}, year = {2020}, month = {5/5/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevResearch.2.023095}, url = {https://arxiv.org/abs/1908.08064}, author = {Francesco Caravelli and Ghislaine Coulter-De Wit and Luis Pedro Garc{\'\i}a-Pintos and Alioscia Hamma} } @article {2727, title = {Raw Image Deblurring}, year = {2020}, month = {12/8/2020}, abstract = {

Deep learning-based blind image deblurring plays an essential role in solving image blur since all existing kernels are limited in modeling the real world blur. Thus far, researchers focus on powerful models to handle the deblurring problem and achieve decent results. For this work, in a new aspect, we discover the great opportunity for image enhancement (e.g., deblurring) directly from RAW images and investigate novel neural network structures benefiting RAW-based learning. However, to the best of our knowledge, there is no available RAW image deblurring dataset. Therefore, we built a new dataset containing both RAW images and processed sRGB images and design a new model to utilize the unique characteristics of RAW images. The proposed deblurring model, trained solely from RAW images, achieves the state-of-art performance and outweighs those trained on processed sRGB images. Furthermore, with fine-tuning, the proposed model, trained on our new dataset, can generalize to other sensors. Additionally, by a series of experiments, we demonstrate that existing deblurring models can also be improved by training on the RAW images in our new dataset. Ultimately, we show a new venue for further opportunities based on the devised novel raw-based deblurring method and the brand-new Deblur-RAW dataset.

}, url = {https://arxiv.org/abs/2012.04264}, author = {Chih-Hung Liang and Yu-An Chen and Yueh-Cheng Liu and Winston H. Hsu} } @article {2600, title = {Simulating Hamiltonian Dynamics with an Off-diagonal Series Expansion}, year = {2020}, month = {6/3/2020}, abstract = {

We propose an efficient quantum algorithm for simulating the dynamics of general Hamiltonian systems. Our technique is based on a power series expansion of the time-evolution operator in its off-diagonal terms. The expansion decouples the dynamics due to the diagonal component of the Hamiltonian from the dynamics generated by its off-diagonal part, which we encode using the linear combination of unitaries technique. Our method has an optimal dependence on the desired precision and, as we illustrate, generally requires considerably fewer resources than the current state-of-the-art. We provide an analysis of resource costs for several sample models.

}, url = {https://arxiv.org/abs/2006.02539}, author = {Amir Kalev and Itay Hen} } @article {2377, title = {Simulating large quantum circuits on a small quantum computer}, journal = {Phys. Rev. Lett.}, volume = {125}, year = {2020}, month = {12/8/2020}, abstract = {

Limited quantum memory is one of the most important constraints for near-term quantum devices. Understanding whether a small quantum computer can simulate a larger quantum system, or execute an algorithm requiring more qubits than available, is both of theoretical and practical importance. In this Letter, we introduce cluster parameters K and d of a quantum circuit. The tensor network of such a circuit can be decomposed into clusters of size at most d with at most K qubits of inter-cluster quantum communication. Our main result is a simulation scheme of any (K,d)-clustered quantum circuit on a d-qubit machine in time roughly 2O(K). An important application of our result is the simulation of clustered quantum systems---such as large molecules---that can be partitioned into multiple significantly smaller clusters with weak interactions among them. Another potential application is quantum optimization: we demonstrate numerically that variational quantum eigensolvers can still perform well when restricted to clustered circuits, thus making it feasible to study large quantum systems on small quantum devices.

}, doi = {https://doi.org/10.1103/PhysRevLett.125.150504}, url = {https://arxiv.org/abs/1904.00102}, author = {Tianyi Peng and Aram Harrow and Maris Ozols and Xiaodi Wu} } @article {2644, title = {Spin-Mediated Mott Excitons}, year = {2020}, month = {4/22/2020}, abstract = {

Motivated by recent experiments on Mott insulators, in both iridates and ultracold atoms, we theoretically study the effects of magnetic order on the Mott-Hubbard excitons. In particular, we focus on spin-mediated doublon-holon pairing in Hubbard materials. We use several complementary theoretical techniques: mean-field theory to describe the spin degrees of freedom, the self-consistent Born approximation to characterize individual charge excitations across the Hubbard gap, and the Bethe-Salpeter equation to identify bound states of doublons and holons. The binding energy of the Hubbard exciton is found to increase with increasing the N{{\'e}}el order parameter, while the exciton mass decreases. We observe that these trends rely significantly on the retardation of the effective interaction, and require consideration of multiple effects from changing the magnetic order. Our results are consistent with the key qualitative trends observed in recent experiments on iridates. Moreover, the findings could have direct implications on ultracold atom Mott insulators, where the Hubbard model is the exact description of the system and the microscopic degrees of freedom can be directly accessed.\ 

}, url = {https://arxiv.org/abs/2004.10825}, author = {T. -S. Huang and Christopher L. Baldwin and M. Hafezi and V. Galitski} } @article {2453, title = {Towards analog quantum simulations of lattice gauge theories with trapped ions}, journal = {Physical Review Research }, volume = {2}, year = {2020}, month = {4/8/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevResearch.2.023015}, url = {https://arxiv.org/abs/1908.03210}, author = {Zohreh Davoudi and Mohammad Hafezi and Christopher Monroe and Guido Pagano and Alireza Seif and Andrew Shaw} } @article {2609, title = {Transport and dynamics in the frustrated two-bath spin-boson model}, year = {2020}, month = {7/7/2020}, abstract = {

We study the strong coupling dynamics as well as transport properties of photons in the two-bath spin-boson model, in which a spin-1/2 particle is frustratingly coupled to two independent Ohmic bosonic baths. Using a combination of numerical and analytical methods, we show that the frustration in this model gives rise to rich physics in a very wide range of energies. This is in contrast to the one-bath spin-boson model, where the non-trivial physics occurs at an energy scale close to the renormalized spin frequency. The renormalized spin frequency in the two-bath spin-boson model is still important, featuring in different observables, including the non-equiblirum dynamics of both the spin and the baths along with the elastic transport properties of a photon. The latter however reveals a much more complex structure. The elastic scattering displays non-monotonic behavior at high frequencies, and is very different in the two channels: intra- and inter-bath scattering. The photon can also be inelastically scattered, a process in which it is split into several photons of smaller energies. We show that such inelastic processes are highly anisotropic, with the outgoing particles being preferentially emitted into only one of the baths. Moreover, the inelastic scattering rate is parameterically larger than in the one-bath case, and can even exceed the total elastic rate. Our results can be verified with state-of-the-art circuit and cavity quantum electrodynamics experiments.\ 

}, url = {https://arxiv.org/abs/2007.03690}, author = {Ron Belyansky and Seth Whitsitt and Rex Lundgren and Yidan Wang and Andrei Vrajitoarea and Andrew A. Houck and Alexey V. Gorshkov} } @article {2562, title = {Accelerated Variational Quantum Eigensolver}, journal = {Phys. Rev. Lett. }, volume = {122}, year = {2019}, month = {3/25/2019}, abstract = {

The problem of finding the ground state energy of a Hamiltonian using a quantum computer is currently solved using either the quantum phase estimation (QPE) or variational quantum eigensolver (VQE) algorithms. For precision ε, QPE requires O(1) repetitions of circuits with depth O(1/ε), whereas each expectation estimation subroutine within VQE requires O(1/ε2) samples from circuits with depth O(1). We propose a generalised VQE algorithm that interpolates between these two regimes via a free parameter α\∈[0,1] which can exploit quantum coherence over a circuit depth of O(1/εα) to reduce the number of samples to O(1/ε2(1\−α)). Along the way, we give a new routine for expectation estimation under limited quantum resources that is of independent interest.

}, doi = {https://doi.org/10.1103/PhysRevLett.122.140504}, url = {https://arxiv.org/abs/1802.00171}, author = {Daochen Wang and Oscar Higgott and Stephen Brierley} } @article {2373, title = {Butterfly effect in interacting Aubry-Andre model: thermalization, slow scrambling, and many-body localization}, year = {2019}, month = {02/19/2019}, abstract = {

The many-body localization transition in quasiperiodic systems has been extensively studied in recent ultracold atom experiments. At intermediate quasiperiodic potential strength, a surprising Griffiths-like regime with slow dynamics appears in the absence of random disorder and mobility edges. In this work, we study the interacting Aubry-Andre model, a prototype quasiperiodic system, as a function of incommensurate potential strength using a novel dynamical measure, information scrambling, in a large system of 200 lattice sites. Between the thermal phase and the many-body localized phase, we find an intermediate dynamical phase where the butterfly velocity is zero and information spreads in space as a power-law in time. This is in contrast to the ballistic spreading in the thermal phase and logarithmic spreading in the localized phase. We further investigate the entanglement structure of the many-body eigenstates in the intermediate phase and find strong fluctuations in eigenstate entanglement entropy within a given energy window, which is inconsistent with the eigenstate thermalization hypothesis. Machine-learning on the entanglement spectrum also reaches the same conclusion. Our large-scale simulations suggest that the intermediate phase with vanishing butterfly velocity could be responsible for the slow dynamics seen in recent experiments.

}, url = {https://arxiv.org/abs/1902.07199}, author = {Shenglong Xu and Xiao Li and Yi-Ting Hsu and Brian Swingle and Sankar Das Sarma} } @article {2372, title = {A characterization of quantum chaos by two-point correlation functions}, year = {2019}, month = {02/28/2019}, abstract = {

We propose a characterization of quantum many-body chaos: given a collection of simple operators, the set of all possible pair-correlations between these operators can be organized into a matrix with random-matrix-like spectrum. This approach is particularly useful for locally interacting systems, which do not generically show exponential Lyapunov growth of out-of-time-ordered correlators. We demonstrate the validity of this characterization by numerically studying the Sachdev-Ye-Kitaev model and a one-dimensional spin chain with random magnetic field (XXZ model).

}, url = {https://arxiv.org/abs/1902.11086}, author = {Hrant Gharibyan and Masanori Hanada and Brian Swingle and Masaki Tezuka} } @article {2533, title = {Development of Quantum InterConnects for Next-Generation Information Technologies}, year = {2019}, month = {12/13/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1912.06642}, author = {David Awschalom and Karl K. Berggren and Hannes Bernien and Sunil Bhave and Lincoln D. Carr and Paul Davids and Sophia E. Economou and Dirk Englund and Andrei Faraon and Marty Fejer and Saikat Guha and Martin V. Gustafsson and Evelyn Hu and Liang Jiang and Jungsang Kim and Boris Korzh and Prem Kumar and Paul G. Kwiat and Marko Lon{\v c}ar and Mikhail D. Lukin and David A. B. Miller and Christopher Monroe and Sae Woo Nam and Prineha Narang and Jason S. Orcutt} } @article {2405, title = {Equilibration to the non-Abelian thermal state in quantum many-body physics}, year = {2019}, month = {6/21/2019}, abstract = {

In statistical mechanics, a small system exchanges conserved charges---heat, particles, electric charge, etc.---with a bath. The small system thermalizes to the canonical ensemble, or the grand canonical ensemble, etc., depending on the charges. The charges are usually represented by operators assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system\&$\#$39;s long-time state was dubbed \"the non-Abelian thermal state (NATS).\" We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which form the system of interest. The conserved charges manifest as spin components. Heisenberg interactions push the charges between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting charges from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter.\ 

}, url = {https://arxiv.org/abs/1906.09227}, author = {Nicole Yunger Halpern and Michael E. Beverland and Amir Kalev} } @article {2369, title = {Ground-state energy estimation of the water molecule on a trapped ion quantum computer}, year = {2019}, month = {03/07/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1902.10171}, author = {Yunseong Nam and Jwo-Sy Chen and Neal C. Pisenti and Kenneth Wright and Conor Delaney and Dmitri Maslov and Kenneth R. Brown and Stewart Allen and Jason M. Amini and Joel Apisdorf and Kristin M. Beck and Aleksey Blinov and Vandiver Chaplin and Mika Chmielewski and Coleman Collins and Shantanu Debnath and Andrew M. Ducore and Kai M. Hudek and Matthew Keesan and Sarah M. Kreikemeier and Jonathan Mizrahi and Phil Solomon and Mike Williams and Jaime David Wong-Campos and Christopher Monroe and Jungsang Kim} } @article {2143, title = {Interacting Qubit-Photon Bound States with Superconducting Circuits}, journal = {Phys. Rev. }, volume = {X 9}, year = {2019}, month = {2018/01/30}, abstract = {

Qubits strongly coupled to a photonic crystal give rise to many exotic physical scenarios, beginning with single and multi-excitation qubit-photon dressed bound states comprising induced spatially localized photonic modes, centered around the qubits, and the qubits themselves. The localization of these states changes with qubit detuning from the band-edge, offering an avenue of in situ control of bound state interaction. Here, we present experimental results from a device with two qubits coupled to a superconducting microwave photonic crystal and realize tunable on-site and inter-bound state interactions. We observe a fourth-order two photon virtual process between bound states indicating strong coupling between the photonic crystal and qubits. Due to their localization-dependent interaction, these states offer the ability to create one-dimensional chains of bound states with tunable and potentially long-range interactions that preserve the qubits\&$\#$39; spatial organization, a key criterion for realization of certain quantum many-body models. The widely tunable, strong and robust interactions demonstrated with this system are promising benchmarks towards realizing larger, more complex systems of bound states.

}, doi = {https://doi.org/10.1103/PhysRevX.9.011021}, url = {http://arxiv.org/abs/1801.10167}, author = {Neereja M. Sundaresan and Rex Lundgren and Guanyu Zhu and Alexey V. Gorshkov and Andrew A. Houck} } @article {2459, title = {Interference of Temporally Distinguishable Photons Using Frequency-Resolved Detection}, journal = {Phys. Rev. Lett. }, volume = {123}, year = {2019}, month = {9/24/2019}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevLett.123.123603}, url = {https://arxiv.org/abs/1904.03222}, author = {Venkata Vikram Orre and Elizabeth A. Goldschmidt and Abhinav Deshpande and Alexey V. Gorshkov and Vincenzo Tamma and Mohammad Hafezi and Sunil Mittal} } @article {2310, title = {Limitations of semidefinite programs for separable states and entangled games}, journal = {Commun. Math. Phys.}, volume = {366}, year = {2019}, month = {03/04/2019}, chapter = {423-468}, abstract = {

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

}, doi = {https://doi.org/10.1007/s00220-019-03382-y}, url = {https://arxiv.org/abs/1612.09306}, author = {Aram W. Harrow and Anand Natarajan and Xiaodi Wu} } @article {2362, title = {Opportunities for Nuclear Physics \& Quantum Information Science}, year = {2019}, month = {03/13/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1903.05453}, author = {I. C. Clo{\"e}t and Matthew R. Dietrich and John Arrington and Alexei Bazavov and Michael Bishof and Adam Freese and Alexey V. Gorshkov and Anna Grassellino and Kawtar Hafidi and Zubin Jacob and Michael McGuigan and Yannick Meurice and Zein-Eddine Meziani and Peter Mueller and Christine Muschik and James Osborn and Matthew Otten and Peter Petreczky and Tomas Polakovic and Alan Poon and Raphael Pooser and Alessandro Roggero and Mark Saffman and Brent VanDevender and Jiehang Zhang and Erez Zohar} } @article {2390, title = {Photon pair condensation by engineered dissipation}, journal = {Phys. Rev. Lett. }, volume = {123}, year = {2019}, month = {04/02/2019}, abstract = {

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

}, doi = {10.1103/PhysRevLett.123.063602}, url = {https://arxiv.org/abs/1904.00016}, author = {Ze-Pei Cian and Guanyu Zhu and Su-Kuan Chu and Alireza Seif and Wade DeGottardi and Liang Jiang and Mohammad Hafezi} } @article {2529, title = {Programmable Quantum Simulations of Spin Systems with Trapped Ions}, year = {2019}, month = {12/17/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1912.07845}, author = {C. Monroe and W. C. Campbell and L. -M. Duan and Z. -X. Gong and Alexey V. Gorshkov and P. Hess and R. Islam and K. Kim and G. Pagano and P. Richerme and C. Senko and N. Y. Yao} } @article {2410, title = {Quantum Approximate Optimization with a Trapped-Ion Quantum Simulator}, year = {2019}, month = {06/06/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1906.02700}, author = {G. Pagano and A. Bapat and P. Becker and K. S. Collins and A. De and P. W. Hess and H. B. Kaplan and A. Kyprianidis and W. L. Tan and Christopher L. Baldwin and L. T. Brady and A. Deshpande and F. Liu and S. Jordan and Alexey V. Gorshkov and C. Monroe} } @article {2530, title = {Quantum Computer Systems for Scientific Discovery}, year = {2019}, month = {12/16/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1912.07577}, author = {Yuri Alexeev and Dave Bacon and Kenneth R. Brown and Robert Calderbank and Lincoln D. Carr and Frederic T. Chong and Brian DeMarco and Dirk Englund and Edward Farhi and Bill Fefferman and Alexey V. Gorshkov and Andrew Houck and Jungsang Kim and Shelby Kimmel and Michael Lange and Seth Lloyd and Mikhail D. Lukin and Dmitri Maslov and Peter Maunz and Christopher Monroe and John Preskill and Martin Roetteler and Martin Savage and Jeff Thompson and Umesh Vazirani} } @article {2486, title = {Quantum Computing at the Frontiers of Biological Sciences}, year = {2019}, month = {2019/11/16}, abstract = {

The search for meaningful structure in biological data has relied on cutting-edge advances in computational technology and data science methods. However, challenges arise as we push the limits of scale and complexity in biological problems. Innovation in massively parallel, classical computing hardware and algorithms continues to address many of these challenges, but there is a need to simultaneously consider new paradigms to circumvent current barriers to processing speed. Accordingly, we articulate a view towards quantum computation and quantum information science, where algorithms have demonstrated potential polynomial and exponential computational speedups in certain applications, such as machine learning. The maturation of the field of quantum computing, in hardware and algorithm development, also coincides with the growth of several collaborative efforts to address questions across length and time scales, and scientific disciplines. We use this coincidence to explore the potential for quantum computing to aid in one such endeavor: the merging of insights from genetics, genomics, neuroimaging and behavioral phenotyping. By examining joint opportunities for computational innovation across fields, we highlight the need for a common language between biological data analysis and quantum computing. Ultimately, we consider current and future prospects for the employment of quantum computing algorithms in the biological sciences.\ 

}, url = {https://arxiv.org/abs/1911.07127}, author = {Prashant S. Emani and Jonathan Warrell and Alan Anticevic and Stefan Bekiranov and Michael Gandal and Michael J. McConnell and Guillermo Sapiro and Al{\'a}n Aspuru-Guzik and Justin Baker and Matteo Bastiani and Patrick McClure and John Murray and Stamatios N Sotiropoulos and J. M. Taylor and Geetha Senthil and Thomas Lehner and Mark B. Gerstein and Aram W. Harrow} } @article {2202, title = {Quantum Lyapunov Spectrum}, journal = {JHEP04}, volume = {082}, year = {2019}, month = {04/10/2019}, abstract = {

We introduce a simple quantum generalization of the spectrum of classical Lyapunov exponents. We apply it to the SYK and XXZ models, and study the Lyapunov growth and entropy production. Our numerical results suggest that a black hole is not just the fastest scrambler, but also the fastest entropy generator. We also study the statistical features of the quantum Lyapunov spectrum and find universal random matrix behavior, which resembles the recently-found universality in classical chaos. The random matrix behavior is lost when the system is deformed away from chaos, towards integrability or a many-body localized phase. We propose that quantum systems holographically dual to gravity satisfy this universality in a strong form. We further argue that the quantum Lyapunov spectrum contains important additional information beyond the largest Lyapunov exponent and hence provides us with a better characterization of chaos in quantum systems.\ 

}, doi = {https://doi.org/10.1007/JHEP04(2019)082}, url = {https://arxiv.org/abs/1809.01671}, author = {Hrant Gharibyan and Masanori Hanada and Brian Swingle and Masaki Tezuka} } @article {2371, title = {Quantum Physics Meets Music: A "Real-Time" Guitar Recording Using Rydberg-Atoms and Electromagnetically Induced Transparency}, year = {2019}, month = {04/01/2019}, abstract = {

We demonstrate how Rydberg atoms and the phenomena of electromagnetically induced transparency can be used to aid in the recording of a musical instrument in real time as it is played. Also, by using two different atomic species (cesium and rubidium) in the same vapor cell, we demonstrate the ability to record two guitars simultaneously, where each atomic species detects and allows for the recording of each guitar separately. The approach shows how audio data (the musical composition) can be detected with a quantum system, illustrating how we can control ensembles of atoms to such an extent that we can use them in this \"entertaining\" example of recording a musical instrument.

}, url = {https://arxiv.org/abs/1904.01952}, author = {Christopher L. Holloway and Matthew T. Simons and Abdulaziz H. Haddab and Carl J. Williams and Maxwell W. Holloway} } @article {2532, title = {Quantum Simulators: Architectures and Opportunities}, year = {2019}, month = {12/14/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1912.06938}, author = {Ehud Altman and Kenneth R. Brown and Giuseppe Carleo and Lincoln D. Carr and Eugene Demler and Cheng Chin and Brian DeMarco and Sophia E. Economou and Mark A. Eriksson and Kai-Mei C. Fu and Markus Greiner and Kaden R. A. Hazzard and Randall G. Hulet and Alicia J. Koll{\'a}r and Benjamin L. Lev and Mikhail D. Lukin and Ruichao Ma and Xiao Mi and Shashank Misra and Christopher Monroe and Kater Murch and Zaira Nazario and Kang-Kuen Ni and Andrew C. Potter and Pedram Roushan} } @article {2500, title = {Quantum Wasserstein Generative Adversarial Networks}, journal = {Advances in Neural Information Processing Systems (NIPS)}, volume = {32}, year = {2019}, month = {2019/10/31}, abstract = {

The study of quantum generative models is well-motivated, not only because of its importance in quantum machine learning and quantum chemistry but also because of the perspective of its implementation on near-term quantum machines. Inspired by previous studies on the adversarial training of classical and quantum generative models, we propose the first design of quantum Wasserstein Generative Adversarial Networks (WGANs), which has been shown to improve the robustness and the scalability of the adversarial training of quantum generative models even on noisy quantum hardware. Specifically, we propose a definition of the Wasserstein semimetric between quantum data, which inherits a few key theoretical merits of its classical counterpart. We also demonstrate how to turn the quantum Wasserstein semimetric into a concrete design of quantum WGANs that can be efficiently implemented on quantum machines. Our numerical study, via classical simulation of quantum systems, shows the more robust and scalable numerical performance of our quantum WGANs over other quantum GAN proposals. As a surprising application, our quantum WGAN has been used to generate a 3-qubit quantum circuit of ~50 gates that well approximates a 3-qubit 1-d Hamiltonian simulation circuit that requires over 10k gates using standard techniques.

}, doi = {https://papers.nips.cc/paper/8903-quantum-wasserstein-generative-adversarial-networks.pdf}, url = {https://arxiv.org/abs/1911.00111}, author = {Shouvanik Chakrabarti and Yiming Huang and Tongyang Li and Soheil Feizi and Xiaodi Wu} } @article {2487, title = {Real-time dynamics of string breaking in quantum spin chains}, year = {2019}, month = {2019/11/26}, abstract = {

String breaking is a central dynamical process in theories featuring confinement, where a string connecting two charges decays at the expense of the creation of new particle-antiparticle pairs. Here, we show that this process can also be observed in quantum Ising chains where domain walls get confined either by a symmetry-breaking field or by long-range interactions. We find that string breaking occurs, in general, as a two-stage process: First, the initial charges remain essentially static and stable. The connecting string, however, can become a dynamical object. We develop an effective description of this motion, which we find is strongly constrained. In the second stage, which can be severely delayed due to these dynamical constraints, the string finally breaks. We observe that the associated time scale can depend crucially on the initial separation between domain walls and can grow by orders of magnitude by changing the distance by just a few lattice sites. We discuss how our results generalize to one-dimensional confining gauge theories and how they can be made accessible in quantum simulator experiments such as Rydberg atoms or trapped ions.

}, url = {https://arxiv.org/abs/1911.11382}, author = {Roberto Verdel and Fangli Liu and Seth Whitsitt and Alexey V. Gorshkov and Markus Heyl} } @article {2416, title = {Variational Quantum Computation of Excited States}, journal = {Quantum }, volume = {3}, year = {2019}, month = {06/28/2019}, abstract = {

The calculation of excited state energies of electronic structure Hamiltonians has many important applications, such as the calculation of optical spectra and reaction rates. While low-depth quantum algorithms, such as the variational quantum eigenvalue solver (VQE), have been used to determine ground state energies, methods for calculating excited states currently involve the implementation of high-depth controlled-unitaries or a large number of additional samples. Here we show how overlap estimation can be used to deflate eigenstates once they are found, enabling the calculation of excited state energies and their degeneracies. We propose an implementation that requires the same number of qubits as VQE and at most twice the circuit depth. Our method is robust to control errors, is compatible with error-mitigation strategies and can be implemented on near-term quantum compute

}, doi = {https://doi.org/10.22331/q-2019-07-01-156}, url = {https://arxiv.org/abs/1805.08138}, author = {Oscar Higgott and Daochen Wang and Stephen Brierley} } @article {2404, title = {Verified Optimization in a Quantum Intermediate Representation}, year = {2019}, month = {04/12/2019}, abstract = {

We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing {\textquoteleft}quantum assembly\&$\#$39; languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire\&$\#$39;s use as a tool for general verification by proving several quantum programs correct.

}, url = {https://arxiv.org/abs/1904.06319}, author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Xiaodi Wu and Michael Hicks} } @article {2509, title = {Broadband optomechanical non-reciprocity}, journal = {Nature Photon }, volume = {12}, year = {2018}, month = {2018/1/26}, pages = {60-61}, abstract = {

Implementing non-reciprocal elements with a bandwidth comparable to optical frequencies is a challenge
in integrated photonics. Now, a phonon pump has been used to achieve optical non-reciprocity over a
large bandwidth.

}, doi = {https://doi.org/10.1038/s41566-018-0091-x}, author = {Alireza Seif and Mohammad Hafezi} } @article {2289, title = {Cryogenic Trapped-Ion System for Large Scale Quantum Simulation}, year = {2018}, abstract = {

We present a cryogenic ion trapping system designed for large scale quantum simulation of spin models. Our apparatus is based on a segmented-blade ion trap enclosed in a 4 K cryostat, which enables us to routinely trap over 100 171Yb+ ions in a linear configuration for hours due to a low background gas pressure from differential cryo-pumping. We characterize the cryogenic vacuum by using trapped ion crystals as a pressure gauge, measuring both inelastic and elastic collision rates with the molecular background gas. We demonstrate nearly equidistant ion spacing for chains of up to 44 ions using anharmonic axial potentials. This reliable production and lifetime enhancement of large linear ion chains will enable quantum simulation of spin models that are intractable with classical computer modelling.

}, url = {https://arxiv.org/abs/1802.03118}, author = {G. Pagano and P. W. Hess and H. B. Kaplan and W. L. Tan and P. Richerme and P. Becker and A. Kyprianidis and J. Zhang and E. Birckelbaw and M. R. Hernandez and Y. Wu and C. Monroe} } @article {2054, title = {Entanglement of purification: from spin chains to holography}, journal = {Journal of High Energy Physics}, year = {2018}, month = {2018/01/22}, pages = {98}, abstract = {

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

}, doi = {10.1007/JHEP01(2018)098}, url = {https://link.springer.com/article/10.1007\%2FJHEP01\%282018\%29098$\#$citeas}, author = {Phuc Nguyen and Trithep Devakul and Matthew G. Halbasch and Michael P. Zaletel and Brian Swingle} } @article {2287, title = {Machine learning assisted readout of trapped-ion qubits}, journal = { J. Phys. B: At. Mol. Opt. Phys.}, volume = {51}, year = {2018}, month = {2018/05/01}, chapter = {174006}, abstract = {

We reduce measurement errors in a quantum computer using machine learning techniques. We exploit a simple yet versatile neural network to classify multi-qubit quantum states, which is trained using experimental data. This flexible approach allows the incorporation of any number of features of the data with minimal modifications to the underlying network architecture. We experimentally illustrate this approach in the readout of trapped-ion qubits using additional spatial and temporal features in the data. Using this neural network classifier, we efficiently treat qubit readout crosstalk, resulting in a 30\% improvement in detection error over the conventional threshold method. Our approach does not depend on the specific details of the system and can be readily generalized to other quantum computing platforms.

}, doi = {https://doi.org/10.1088/1361-6455/aad62b}, url = {https://arxiv.org/abs/1804.07718}, author = {Alireza Seif and Kevin A. Landsman and Norbert M. Linke and Caroline Figgatt and C. Monroe and Mohammad Hafezi} } @article {2218, title = {Photon propagation through dissipative Rydberg media at large input rates}, year = {2018}, abstract = {

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

}, url = {https://arxiv.org/abs/1807.07586}, author = {Przemyslaw Bienias and James Douglas and Asaf Paris-Mandoki and Paraj Titum and Ivan Mirgorodskiy and Christoph Tresp and Emil Zeuthen and Michael Gullans and Marco Manzoni and Sebastian Hofferberth and Darrick Chang and Alexey V. Gorshkov} } @article {2144, title = {Photon Subtraction by Many-Body Decoherence}, year = {2018}, month = {2018/03/13}, abstract = {

We present an experimental and theoretical investigation of the scattering-induced decoherence of multiple photons stored in a strongly interacting atomic ensemble. We derive an exact solution to this many-body problem, allowing for a rigorous understanding of the underlying dissipative quantum dynamics. Combined with our experiments, this analysis demonstrates a correlated coherence-protection process, in which the induced decoherence of one photon can preserve the spatial coherence of all others. We discuss how this effect can be used to manipulate light at the quantum level, providing a robust mechanism for single-photon subtraction, and experimentally demonstrate this capability.

}, doi = {https://doi.org/10.1103/PhysRevLett.120.113601}, url = {https://arxiv.org/abs/1710.10047}, author = {Callum R. Murray and Ivan Mirgorodskiy and Christoph Tresp and Christoph Braun and Asaf Paris-Mandoki and Alexey V. Gorshkov and Sebastian Hofferberth and Thomas Pohl} } @article {2306, title = {Quantitative Robustness Analysis of Quantum Programs (Extended Version)}, journal = {Proc. ACM Program. Lang.}, volume = {3}, year = {2018}, month = {2018/12/1}, pages = {Article 31}, abstract = {

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.

}, doi = {https://doi.org/10.1145/3290344}, url = {https://arxiv.org/abs/1811.03585}, author = {Shih-Han Hung and Kesha Hietala and Shaopeng Zhu and Mingsheng Ying and Michael Hicks and Xiaodi Wu} } @article {1922, title = {Quantum algorithm for multivariate polynomial interpolation}, journal = {Proceedings of The Royal Society A}, volume = {474}, year = {2018}, month = {2018/01/17}, abstract = {

How many quantum queries are required to determine the coefficients of a degree-d polynomial in n variables? We present and analyze quantum algorithms for this multivariate polynomial interpolation problem over the fields Fq, R, and C. We show that kC and 2kC queries suffice to achieve probability 1 for C and R, respectively, where kC = \⌈ 1 n+1 ( n+d d )\⌉ except for d = 2 and four other special cases. For Fq, we show that \⌈ d n+d ( n+d d )\⌉ queries suffice to achieve probability approaching 1 for large field order q. The classical query complexity of this problem is ( n+d d ), so our result provides a speedup by a factor of n + 1, n+1 2 , and n+d d for C, R, and Fq, respectively. Thus we find a much larger gap between classical and quantum algorithms than the univariate case, where the speedup is by a factor of 2. For the case of Fq, we conjecture that 2kC queries also suffice to achieve probability approaching 1 for large field order q, although we leave this as an open problem.

}, doi = {10.1098/rspa.2017.0480}, url = {http://rspa.royalsocietypublishing.org/content/474/2209/20170480}, author = {Jianxin Chen and Andrew M. Childs and Shih-Han Hung} } @article {2248, title = {The quasiprobability behind the out-of-time-ordered correlator}, journal = {Phys. Rev. }, volume = {A}, year = {2018}, month = {04/2018}, chapter = {042105}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevA.97.042105}, url = {https://arxiv.org/abs/1704.01971}, author = {Nicole Yunger Halpern and Brian Swingle and Justin Dressel} } @article {2247, title = {Resilience of scrambling measurements}, journal = {Phys. Rev.}, volume = {A}, year = {2018}, month = {2018/06/18}, chapter = {062113}, abstract = {

Most experimental protocols for measuring scrambling require time evolution with a Hamiltonian and with the Hamiltonian\&$\#$39;s negative counterpart (backwards time evolution). Engineering controllable quantum many-body systems for which such forward and backward evolution is possible is a significant experimental challenge. Furthermore, if the system of interest is quantum-chaotic, one might worry that any small errors in the time reversal will be rapidly amplified, obscuring the physics of scrambling. This paper undermines this expectation: We exhibit a renormalization protocol that extracts nearly ideal out-of-time-ordered-correlator measurements from imperfect experimental measurements. We analytically and numerically demonstrate the protocol\&$\#$39;s effectiveness, up to the scrambling time, in a variety of models and for sizable imperfections. The scheme extends to errors from decoherence by an environment.

}, doi = {https://doi.org/10.1103/PhysRevA.97.062113}, url = {https://arxiv.org/abs/1802.01587}, author = {Brian Swingle and Nicole Yunger Halpern} } @article {1837, title = {Spectrum estimation of density operators with alkaline-earth atoms}, volume = {120}, year = {2018}, month = {2018/01/09}, abstract = {

We show that Ramsey spectroscopy of fermionic alkaline-earth atoms in a square-well trap provides an efficient and accurate estimate for the eigenspectrum of a density matrix whose n copies are stored in the nuclear spins of n such atoms. This spectrum estimation is enabled by the high symmetry of the interaction Hamiltonian, dictated, in turn, by the decoupling of the nuclear spin from the electrons and by the shape of the square-well trap. Practical performance of this procedure and its potential applications to quantum computing, quantum simulation, and time-keeping with alkalineearth atoms are discussed.

}, doi = {https://doi.org/10.1103/PhysRevLett.120.025301}, url = {http://arxiv.org/abs/1608.02045}, author = {Michael E. Beverland and Jeongwan Haah and Gorjan Alagic and Gretchen K. Campbell and Ana Maria Rey and Alexey V. Gorshkov} } @article {2322, title = {Study of radon reduction in gases for rare event search experiments}, year = {2018}, abstract = {

The noble elements, argon and xenon, are frequently employed as the target and event detector for weakly interacting particles such as neutrinos and Dark Matter. For such rare processes, background radiation must be carefully minimized. Radon provides one of the most significant contaminants since it is an inevitable product of trace amounts of natural uranium. To design a purification system for reducing such contamination, the adsorption characteristics of radon in nitrogen, argon, and xenon carrier gases on various types of charcoals with different adsorbing properties and intrinsic radioactive purities have been studied in the temperature range of 190-295 K at flow rates of 0.5 and 2 standard liters per minute. Essential performance parameters for the various charcoals include the average breakthrough times (τ), dynamic adsorption coefficients (ka) and the number of theoretical stages (n). It is shown that the ka-values for radon in nitrogen, argon, and xenon increase as the temperature of the charcoal traps decreases, and that they are significantly larger in nitrogen and argon than in xenon gas due to adsorption saturation effects. It is found that, unlike in xenon, the dynamic adsorption coefficients for radon in nitrogen and argon strictly obey the Arrhenius law. The experimental results strongly indicate that nitric acid etched Saratech is the best candidate among all used charcoal brands. It allows reducing total radon concentration in the LZ liquid Xe detector to meet the ultimate goal in the search for Dark Matter.

}, doi = {https://doi.org/10.1016/j.nima.2018.06.076}, url = {https://arxiv.org/abs/1805.11306}, author = {K. Pushkin and C. Akerlof and D. Anbajagane and J. Armstrong and M. Arthurs and Jacob Bringewatt and T. Edberg and C. Hall and M. Lei and R. Raymond and M. Reh and D. Saini and A. Sander and J. Schaefer and D. Seymour and N. Swanson and Y. Wang and W. Lorenzon} } @article {2320, title = {Studying community development: a network analytical approach}, year = {2018}, abstract = {

Research shows that community plays a central role in learning, and strong community engages students and aids in student persistence. Thus, understanding the function and structure of communities in learning environments is essential to education. We use social network analysis to explore the community dynamics of students in a pre-matriculation, two-week summer program. Unlike previous network analysis studies in PER, we build our networks from classroom video that has been coded for student interactions using labeled, directed ties. We define 3 types of interaction: on task interactions (regarding the assigned task), on topic interactions (having to do with science, technology, engineering, and mathematics (STEM)), and off topic interactions (unrelated to the assignment or STEM). To study the development of community in this program, we analyze the shift in conversation topicality over the course of the program. Conversations are more on-task toward the end of the program and we propose that this conversational shift represents a change in student membership within their forming community.\ 

}, url = {https://arxiv.org/abs/1808.08193}, author = {C. A. Hass and Florian Genz and Mary Bridget Kustusch and Pierre-P. A. Ouime and Katarzyna Pomian and Eleanor C. Sayre and Justyna P. Zwolak} } @article {2254, title = {Subsystem Complexity and Holography}, year = {2018}, abstract = {

We study circuit complexity for spatial regions in holographic field theories. We study analogues based on the entanglement wedge of the bulk quantities appearing in the \"complexity = volume\" and \"complexity = action\" conjectures. We calculate these quantities for one exterior region of an eternal static neutral or charged black hole in general dimensions, dual to a thermal state on one boundary with or without chemical potential respectively, as well as for a shock wave geometry. We then define several analogues of circuit complexity for mixed states, and use tensor networks to gain intuition about them. We find a promising qualitative match between the holographic action and what we call the purification complexity, the minimum number of gates required to prepare an arbitrary purification of the given mixed state. On the other hand, the holographic volume does not appear to match any of our definitions of mixed-state complexity.

}, url = {https://arxiv.org/abs/1804.01561}, author = {Cesar A. Ag{\'o}n and Matthew Headrick and Brian Swingle} } @article {2507, title = {Thermal management and non-reciprocal control of phonon flow via optomechanics}, journal = {Nat. Commun.}, volume = {9(1)}, year = {2018}, month = {2018/3/23}, abstract = {

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

}, doi = {https://doi.org/10.1038/s41467-018-03624-y}, url = {https://arxiv.org/abs/1710.08967}, author = {Alireza Seif and Wade DeGottardi and Keivan Esfarjani and Mohammad Hafezi} } @article {2000, title = {Above threshold scattering about a Feshbach resonance for ultracold atoms in an optical collider}, journal = {Nature Communications}, volume = {8}, year = {2017}, month = {2017/09/06}, abstract = {

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

}, doi = {10.1038/s41467-017-00458-y}, url = {https://arxiv.org/abs/1704.07109}, author = {Milena S. J. Horvath and Ryan Thomas and Eite Tiesinga and Amita B. Deb and Niels Kj{\ae}rgaard} } @article {1959, title = {Dispersive optical detection of magnetic Feshbach resonances in ultracold gases}, journal = {Physical Review A}, volume = {96}, year = {2017}, month = {2017/08/18}, pages = {022705}, abstract = {

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

}, doi = {10.1103/PhysRevA.96.022705}, url = {https://arxiv.org/abs/1702.02216}, author = {Bianca J. Sawyer and Milena S. J. Horvath and Eite Tiesinga and Amita B. Deb and Niels Kj{\ae}rgaard} } @article {1985, title = {Domination with decay in triangular matchstick arrangement graphs}, journal = {Involve, a Journal of Mathematics}, volume = {10}, year = {2017}, month = {2017/05/14}, pages = {749 - 766}, abstract = {

We provide results for the exponential dominating numbers and total exponential dominating numbers of a family of triangular grid graphs. We then prove inequalities for these numbers and compare them with inequalities that hold more generally for exponential dominating numbers of graphs.

}, issn = {1944-4176}, doi = {10.2140/involve10.2140/involve.2017.10-510.2140/involve.2017.10.749}, url = {http://msp.org/involve/http://msp.org/involve/2017/10-5/index.xhtmlhttp://msp.org/involve/2017/10-5/p03.xhtmlhttp://msp.org/involve/2017/10-5/involve-v10-n5-p03-s.pdf}, author = {Jill Cochran and Terry Henderson and Aaron Ostrander and Ron Taylor} } @article {1906, title = {Emergent equilibrium in many-body optical bistability}, journal = {Physical Review A}, volume = {95}, year = {2017}, month = {2017/04/17}, pages = {043826}, abstract = {

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

}, doi = {doi.org/10.1103/PhysRevA.95.043826}, url = {https://journals.aps.org/pra/abstract/10.1103/PhysRevA.95.043826}, author = {Michael Foss-Feig and Pradeep Niroula and Jeremy T. Young and Mohammad Hafezi and Alexey V. Gorshkov and Ryan M. Wilson and Mohammad F. Maghrebi} } @article {2301, title = {Entanglement Wedge Reconstruction via Universal Recovery Channels}, year = {2017}, abstract = {

We apply and extend the theory of universal recovery channels from quantum information theory to address the problem of entanglement wedge reconstruction in AdS/CFT. It has recently been proposed that any low-energy local bulk operators in a CFT boundary region\&$\#$39;s entanglement wedge can be reconstructed on that boundary region itself. Existing work arguing for this proposal relies on algebraic consequences of the exact equivalence between bulk and boundary relative entropies, namely the theory of operator algebra quantum error correction. However, bulk and boundary relative entropies are only approximately equal in bulk effective field theory, and in similar situations it is known that predictions from exact entropic equalities can be qualitatively incorrect. The framework of universal recovery channels provides a robust demonstration of the entanglement wedge reconstruction conjecture in addition to new physical insights. Most notably, we find that a bulk operator acting in a given boundary region\&$\#$39;s entanglement wedge can be expressed as the response of the boundary region\&$\#$39;s modular Hamiltonian to a perturbation of the bulk state in the direction of the bulk operator. This formula can be interpreted as a noncommutative version of Bayes\&$\#$39; rule that attempts to undo the noise induced by restricting to only a portion of the boundary, and has an integral representation in terms of modular flows. To reach these conclusions, we extend the theory of universal recovery channels to finite-dimensional operator algebras and demonstrate that recovery channels approximately preserve the multiplicative structure of the operator algebra

}, url = {https://arxiv.org/abs/1704.05839}, author = {Jordan Cotler and Patrick Hayden and Geoffrey Penington and Grant Salton and Brian Swingle and Michael Walter} } @article {1986, title = {Extracting entanglement geometry from quantum states}, journal = {Physical Review Letters}, volume = {119}, year = {2017}, month = {2017/10/06}, abstract = {

Tensor networks impose a notion of geometry on the entanglement of a quantum system. In some cases, this geometry is found to reproduce key properties of holographic dualities, and subsequently much work has focused on using tensor networks as tractable models for holographic dualities. Conventionally, the structure of the network - and hence the geometry - is largely fixed a priori by the choice of tensor network ansatz. Here, we evade this restriction and describe an unbiased approach that allows us to extract the appropriate geometry from a given quantum state. We develop an algorithm that iteratively finds a unitary circuit that transforms a given quantum state into an unentangled product state. We then analyze the structure of the resulting unitary circuits. In the case of non-interacting, critical systems in one dimension, we recover signatures of scale invariance in the unitary network, and we show that appropriately defined geodesic paths between physical degrees of freedom exhibit known properties of a hyperbolic geometry.

}, doi = {10.1103/PhysRevLett.119.140502}, url = {https://arxiv.org/abs/1704.01974}, author = {Katharine Hyatt and James R. Garrison and Bela Bauer} } @article {1955, title = {High-Order Multipole Radiation from Quantum Hall States in Dirac Materials}, journal = {Physical Review B}, volume = {95}, year = {2017}, month = {2017/06/30}, pages = {235439}, abstract = {

Topological states can exhibit electronic coherence on macroscopic length scales. When the coherence length exceeds the wavelength of light, one can expect new phenomena to occur in the optical response of these states. We theoretically characterize this limit for integer quantum Hall states in two-dimensional Dirac materials. We find that the radiation from the bulk is dominated by dipole emission, whose spectral properties vary with the local disorder potential. On the other hand, the radiation from the edge is characterized by large multipole moments in the far-field associated with the efficient transfer of angular momentum from the electrons into the scattered light. These results demonstrate that high-order multipole transitions are a necessary component for the optical spectroscopy and control of quantum Hall and related topological states in electronic systems.

}, doi = {10.1103/PhysRevB.95.235439}, url = {https://arxiv.org/abs/1701.03464}, author = {Michael Gullans and J. M. Taylor and Atac Imamoglu and Pouyan Ghaemi and Mohammad Hafezi} } @article {2061, title = {Light-induced fractional quantum Hall phases in graphene}, journal = {Physical Review Letters}, volume = {119}, year = {2017}, month = {2017/12/15}, pages = {247403}, abstract = {

We show how to realize two-component fractional quantum Hall phases in monolayer graphene by optically driving the system. A laser is tuned into resonance between two Landau levels, giving rise to an effective tunneling between these two synthetic layers. Remarkably, because of this coupling, the interlayer interaction at non-zero relative angular momentum can become dominant, resembling a hollow-core pseudo-potential. In the weak tunneling regime, this interaction favors the formation of singlet states, as we explicitly show by numerical diagonalization, at fillings ν = 1/2 and ν = 2/3. We discuss possible candidate phases, including the Haldane-Rezayi phase, the interlayer Pfaffian phase, and a Fibonacci phase. This demonstrates that our method may pave the way towards the realization of non-Abelian phases, as well as the control of topological phase transitions, in graphene quantum Hall systems using optical fields and integrated photonic structures.

}, doi = {10.1103/PhysRevLett.119.247403}, url = {https://arxiv.org/abs/1612.08748}, author = {Areg Ghazaryan and Tobias Gra{\ss} and Michael Gullans and Pouyan Ghaemi and Mohammad Hafezi} } @article {2053, title = {Observation of a Many-Body Dynamical Phase Transition with a 53-Qubit Quantum Simulator}, journal = {Nature}, volume = {551}, year = {2017}, month = {2017/11/29}, pages = {601-604}, abstract = {

A quantum simulator is a restricted class of quantum computer that controls the interactions between quantum bits in a way that can be mapped to certain difficult quantum many-body problems. As more control is exerted over larger numbers of qubits, the simulator can tackle a wider range of problems, with the ultimate limit being a universal quantum computer that can solve general classes of hard problems. We use a quantum simulator composed of up to 53 qubits to study a non-equilibrium phase transition in the transverse field Ising model of magnetism, in a regime where conventional statistical mechanics does not apply. The qubits are represented by trapped ion spins that can be prepared in a variety of initial pure states. We apply a global long-range Ising interaction with controllable strength and range, and measure each individual qubit with near 99\% efficiency. This allows the single-shot measurement of arbitrary many-body correlations for the direct probing of the dynamical phase transition and the uncovering of computationally intractable features that rely on the long-range interactions and high connectivity between the qubits.

}, doi = {10.1038/nature24654}, url = {https://www.nature.com/articles/nature24654}, author = {J. Zhang and G. Pagano and P. W. Hess and A. Kyprianidis and P. Becker and H. Kaplan and Alexey V. Gorshkov and Z. -X. Gong and C. Monroe} } @proceedings {1882, title = {Sequential measurements, disturbance and property testing}, year = {2017}, month = {2017/01/01}, pages = {1598-1611}, abstract = {

We describe two procedures which, given access to one copy of a quantum state and a sequence of two-outcome measurements, can distinguish between the case that at least one of the measurements accepts the state with high probability, and the case that all of the measurements have low probability of acceptance. The measurements cannot simply be tried in sequence, because early measurements may disturb the state being tested. One procedure is based on a variant of Marriott-Watrous amplification. The other procedure is based on the use of a test for this disturbance, which is applied with low probability. We find a number of applications. First, quantum query complexity separations in the property testing model for testing isomorphism of functions under group actions. We give quantum algorithms for testing isomorphism, linear isomorphism and affine isomorphism of boolean functions which use exponentially fewer queries than is possible classically, and a quantum algorithm for testing graph isomorphism which uses polynomially fewer queries than the best algorithm known. Second, testing properties of quantum states and operations. We show that any finite property of quantum states can be tested using a number of copies of the state which is logarithmic in the size of the property, and give a test for genuine multipartite entanglement of states of n qubits that uses O(n) copies of the state. Third, correcting an error in a result of Aaronson on de-Merlinizing quantum protocols. This result claimed that, in any one-way quantum communication protocol where two parties are assisted by an all-powerful but untrusted third party, the third party can be removed with only a modest increase in the communication cost. We give a corrected proof of a key technical lemma required for Aaronson\&$\#$39;s result.

}, doi = {10.1137/1.9781611974782.105}, url = {http://epubs.siam.org/doi/10.1137/1.9781611974782.105}, author = {Aram W. Harrow and Cedric Yen-Yu Lin and Ashley Montanaro} } @article {2136, title = {Simultaneous, Full Characterization of a Single-Photon State}, journal = {Physical Review X}, volume = {7}, year = {2017}, month = {2017/11/15}, pages = {041036}, abstract = {

As single-photon sources become more mature and are used more often in quantum information, communications, and measurement applications, their characterization becomes more important. Singlephoton-like light is often characterized by its brightness, as well as two quantum properties: the suppression of multiphoton content and the photon indistinguishability. While it is desirable to obtain these quantities from a single measurement, currently two or more measurements are required. Here, we show that using two-photon (n \¼ 2) number-resolving detectors, one can completely characterize single-photon-like states in a single measurement, where previously two or more measurements were necessary. We simultaneously determine the brightness, the suppression of multiphoton states, the indistinguishability, and the statistical distribution of Fock states to third order for a quantum light source. We find n \≥ 3 number-resolving detectors provide no additional advantage in the single-photon characterization. The new method extracts more information per experimental trial than a conventional measurement for all input states and is particularly more efficient for statistical mixtures of photon states. Thus, using this n \¼ 2, number-resolving detector scheme will provide advantages in a variety of quantum optics measurements and systems.

}, doi = {10.1103/PhysRevX.7.041036}, url = {https://link.aps.org/doi/10.1103/PhysRevX.7.041036}, author = {Thomay, Tim and Polyakov, Sergey V. and Gazzano, Olivier and Goldschmidt, Elizabeth and Eldredge, Zachary D. and Huber, Tobias and Loo, Vivien and Solomon, Glenn S.} } @article {2152, title = {Threshold Dynamics of a Semiconductor Single Atom Maser}, journal = {Physical Review Letters}, volume = {119}, year = {2017}, month = {2017/08/31}, pages = {097702}, abstract = {

We demonstrate a single atom maser consisting of a semiconductor double quantum dot (DQD) that is embedded in a high-quality-factor microwave cavity. A finite bias drives the DQD out of equilibrium, resulting in sequential single electron tunneling and masing. We develop a dynamic tuning protocol that allows us to controllably increase the time-averaged repumping rate of the DQD at a fixed level detuning, and quantitatively study the transition through the masing threshold. We further examine the crossover from incoherent to coherent emission by measuring the photon statistics across the masing transition. The observed threshold behavior is in agreement with an existing single atom maser theory when small corrections from lead emission are taken into account.

}, doi = {10.1103/PhysRevLett.119.097702}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.119.097702}, author = {Liu, Y.-Y. and Stehlik, J. and Eichler, C. and Mi, X. and Hartke, T. R. and Michael Gullans and J. M. Taylor and Petta, J. R.} } @article {1737, title = {Collective phases of strongly interacting cavity photons}, journal = {Physical Review A}, volume = {94}, year = {2016}, month = {2016/09/01}, pages = {033801}, abstract = {

We study a coupled array of coherently driven photonic cavities, which maps onto a driven-dissipative XY spin-12 model with ferromagnetic couplings in the limit of strong optical nonlinearities. Using a site-decoupled mean-field approximation, we identify steady state phases with canted antiferromagnetic order, in addition to limit cycle phases, where oscillatory dynamics persist indefinitely. We also identify collective bistable phases, where the system supports two steady states among spatially uniform, antiferromagnetic, and limit cycle phases. We compare these mean-field results to exact quantum trajectories simulations for finite one-dimensional arrays. The exact results exhibit short-range antiferromagnetic order for parameters that have significant overlap with the mean-field phase diagram. In the mean-field bistable regime, the exact quantum dynamics exhibits real-time collective switching between macroscopically distinguishable states. We present a clear physical picture for this dynamics, and establish a simple relationship between the switching times and properties of the quantum Liouvillian.

}, doi = {http://dx.doi.org/10.1103/PhysRevA.94.033801}, url = {http://arxiv.org/abs/1601.06857}, author = {Ryan M. Wilson and Khan W. Mahmud and Anzi Hu and Alexey V. Gorshkov and Mohammad Hafezi and Michael Foss-Feig} } @article {1815, title = {Double Quantum Dot Floquet Gain Medium}, journal = {Physical Review X}, volume = {6}, year = {2016}, month = {2016/11/07}, pages = {041027}, abstract = {

Strongly driving a two-level quantum system with light leads to a ladder of Floquet states separated by the photon energy. Nanoscale quantum devices allow the interplay of confined electrons, phonons, and photons to be studied under strong driving conditions. Here we show that a single electron in a periodically driven DQD functions as a \"Floquet gain medium,\" where population imbalances in the DQD Floquet quasi-energy levels lead to an intricate pattern of gain and loss features in the cavity response. We further measure a large intra-cavity photon number n_c in the absence of a cavity drive field, due to equilibration in the Floquet picture. Our device operates in the absence of a dc current -- one and the same electron is repeatedly driven to the excited state to generate population inversion. These results pave the way to future studies of non-classical light and thermalization of driven quantum systems.

}, doi = {10.1103/PhysRevX.6.041027}, url = {http://journals.aps.org/prx/abstract/10.1103/PhysRevX.6.041027}, author = {J. Stehlik and Y.-Y. Liu and C. Eichler and T. R. Hartke and X. Mi and Michael Gullans and J. M. Taylor and J. R. Petta} } @article {1695, title = {Kaleidoscope of quantum phases in a long-range interacting spin-1 chain}, journal = {Physical Review B}, volume = {93}, year = {2016}, month = {2016/05/11}, pages = {205115}, abstract = {Motivated by recent trapped-ion quantum simulation experiments, we carry out a comprehensive study of the phase diagram of a spin-1 chain with XXZ-type interactions that decay as 1/rα, using a combination of finite and infinite-size DMRG calculations, spin-wave analysis, and field theory. In the absence of long-range interactions, varying the spin-coupling anisotropy leads to four distinct phases: a ferromagnetic Ising phase, a disordered XY phase, a topological Haldane phase, and an antiferromagnetic Ising phase. If long-range interactions are antiferromagnetic and thus frustrated, we find primarily a quantitative change of the phase boundaries. On the other hand, ferromagnetic (non-frustrated) long-range interactions qualitatively impact the entire phase diagram. Importantly, for α≲3, long-range interactions destroy the Haldane phase, break the conformal symmetry of the XY phase, give rise to a new phase that spontaneously breaks a U(1) continuous symmetry, and introduce an exotic tricritical point with no direct parallel in short-range interacting spin chains. We show that the main signatures of all five phases found could be observed experimentally in the near future. }, doi = {http://dx.doi.org/10.1103/PhysRevB.93.205115}, url = {http://arxiv.org/abs/1510.02108}, author = {Zhe-Xuan Gong and Mohammad F. Maghrebi and Anzi Hu and Michael Foss-Feig and Philip Richerme and Christopher Monroe and Alexey V. Gorshkov} } @article {1271, title = {Many-body localization in a quantum simulator with programmable random disorder}, journal = {Nature Physics}, year = {2016}, month = {2016/06/06}, abstract = {

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

}, doi = {10.1038/nphys3783}, url = {http://arxiv.org/abs/1508.07026v1}, author = {Jacob Smith and Aaron Lee and Philip Richerme and Brian Neyenhuis and Paul W. Hess and Philipp Hauke and Markus Heyl and David A. Huse and Christopher Monroe} } @article {2508, title = {Measurement Protocol for the Entanglement Spectrum of Cold Atoms}, journal = {Phys. Rev. X }, volume = {6(4)}, year = {2016}, month = {2016/11/22}, abstract = {

Entanglement, and, in particular the entanglement spectrum, plays a major role in characterizing many-body quantum systems. While there has been a surge of theoretical works on the subject, no experimental measurement has been performed to date because of the lack of an implementable measurement scheme. Here, we propose a measurement protocol to access the entanglement spectrum of many-body states in experiments with cold atoms in optical lattices. Our scheme effectively performs a Ramsey spectroscopy of the entanglement Hamiltonian and is based on the ability to produce several copies of the state under investigation together with the possibility to perform a global swap gate between two copies conditioned on the state of an auxiliary qubit. We show how the required conditional swap gate can be implemented with cold atoms, either by using Rydberg interactions or coupling the atoms to a cavity mode. We illustrate these ideas on a simple (extended) Bose-Hubbard model where such a measurement protocol reveals topological features of the Haldane phase.\ 

}, doi = {https://doi.org/10.1103/PhysRevX.6.041033}, url = {https://arxiv.org/abs/1605.08624}, author = {Hannes Pichler and Guanyu Zhu and Alireza Seif and Peter Zoller and Mohammad Hafezi} } @article {2005, title = {{O}bservation of {P}rethermalization in {L}ong-{R}ange {I}nteracting {S}pin {C}hains}, year = {2016}, month = {2016/08/02}, abstract = {

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

}, url = {https://arxiv.org/abs/1608.00681}, author = {B. Neyenhuis and J. Smith and A. C. Lee and J. Zhang and P. Richerme and P. W. Hess and Z. -X. Gong and Alexey V. Gorshkov and C. Monroe} } @article {1554, title = {Optimal quantum algorithm for polynomial interpolation}, journal = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, volume = {55}, year = {2016}, month = {2016/03/01}, pages = {16:1--16:13}, abstract = {

We consider the number of quantum queries required to determine the coefficients of a degree-d polynomial over GF(q). A lower bound shown independently by Kane and Kutin and by Meyer and Pommersheim shows that d/2+1/2 quantum queries are needed to solve this problem with bounded error, whereas an algorithm of Boneh and Zhandry shows that d quantum queries are sufficient. We show that the lower bound is achievable: d/2+1/2 quantum queries suffice to determine the polynomial with bounded error. Furthermore, we show that d/2+1 queries suffice to achieve probability approaching 1 for large q. These upper bounds improve results of Boneh and Zhandry on the insecurity of cryptographic protocols against quantum attacks. We also show that our algorithm\&$\#$39;s success probability as a function of the number of queries is precisely optimal. Furthermore, the algorithm can be implemented with gate complexity poly(log q) with negligible decrease in the success probability.

}, isbn = {978-3-95977-013-2}, issn = {1868-8969}, doi = {http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.16}, url = {http://arxiv.org/abs/1509.09271}, author = {Andrew M. Childs and Wim van Dam and Shih-Han Hung and Igor E. Shparlinski} } @article {1909, title = {Optimized tomography of continuous variable systems using excitation counting}, journal = {Physical Review A}, volume = {94}, year = {2016}, month = {2016/11/21}, pages = {052327}, abstract = {

We propose a systematic procedure to optimize quantum state tomography protocols for continuous variable systems based on excitation counting preceded by a displacement operation. Compared with conventional tomography based on Husimi or Wigner function measurement, the excitation counting approach can significantly reduce the number of measurement settings. We investigate both informational completeness and robustness, and provide a bound of reconstruction error involving the condition number of the sensing map. We also identify the measurement settings that optimize this error bound, and demonstrate that the improved reconstruction robustness can lead to an order-of-magnitude reduction of estimation error with given resources. This optimization procedure is general and can incorporate prior information of the unknown state to further simplify the protocol.

}, doi = {10.1103/PhysRevA.94.052327}, url = {http://link.aps.org/doi/10.1103/PhysRevA.94.052327}, author = {Shen, Chao and Heeres, Reinier W. and Reinhold, Philip and Jiang, Luyao and Yi-Kai Liu and Schoelkopf, Robert J. and Jiang, Liang} } @article {1907, title = {Steady-state superradiance with Rydberg polaritons}, journal = {arXiv:1611.00797}, year = {2016}, month = {2016/11/02}, abstract = {

A steady-state superradiant laser can be used to generate ultranarrow-linewidth light, and thus has important applications in the fields of quantum information and precision metrology. However, the light produced by such a laser is still essentially classical. Here, we show that the introduction of a Rydberg medium into a cavity containing atoms with a narrow optical transition can lead to the steady-state superradiant emission of ultranarrow-linewidth\ nonclassical\ light. The cavity nonlinearity induced by the Rydberg medium strongly modifies the superradiance threshold, and leads to a Mollow triplet in the cavity output spectrum\−this behavior can be understood as an unusual analogue of resonance fluorescence. The cavity output spectrum has an extremely sharp central peak, with a linewidth that can be far narrower than that of a classical superradiant laser. This unprecedented spectral sharpness, together with the nonclassical nature of the light, could lead to new applications in which spectrally pure\ quantum\ light is desired.

}, url = {https://arxiv.org/abs/1611.00797}, author = {Zhe-Xuan Gong and Minghui Xu and Michael Foss-Feig and James K. Thompson and Ana Maria Rey and Murray Holland and Alexey V. Gorshkov} } @article {1191, title = {Topological phases with long-range interactions}, journal = {Physical Review B}, volume = {93}, year = {2016}, month = {2016/01/08}, pages = {041102}, abstract = { Topological phases of matter are primarily studied in quantum many-body systems with short-range interactions. Whether various topological phases can survive in the presence of long-range interactions, however, is largely unknown. Here we show that a paradigmatic example of a symmetry-protected topological phase, the Haldane phase of an antiferromagnetic spin-1 chain, surprisingly remains intact in the presence of arbitrarily slowly decaying power-law interactions. The influence of long-range interactions on the topological order is largely quantitative, and we expect similar results for more general systems. Our conclusions are based on large-scale matrix-product-state simulations and two complementary effective-field-theory calculations. The striking agreement between the numerical and analytical results rules out finite-size effects. The topological phase considered here should be experimentally observable in a recently developed trapped-ion quantum simulator. }, doi = {10.1103/PhysRevB.93.041102}, url = {http://arxiv.org/abs/1505.03146}, author = {Zhe-Xuan Gong and Mohammad F. Maghrebi and Anzi Hu and Michael L. Wall and Michael Foss-Feig and Alexey V. Gorshkov} } @article {1838, title = {Atom induced cavities and tunable long-range interactions between atoms trapped near photonic crystals}, journal = {Nature Photon. 9, 326 (2015)}, year = {2015}, month = {2015/03/03}, abstract = {

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

}, doi = {doi:10.1038/nphoton.2015.57}, url = {http://www.nature.com/nphoton/journal/v9/n5/full/nphoton.2015.57.html}, author = {J S Douglas and H Habibian and Alexey V. Gorshkov and H J Kimble and D E Chang} } @article {1338, title = {A chemical potential for light}, journal = {Physical Review B}, volume = {92}, year = {2015}, month = {2014/05/22}, pages = {174305}, abstract = {Photons are not conserved in interactions with other matter. Consequently, when understanding the equation of state and thermodynamics of photons, while we have a concept of temperature for energy conservation, there is no equivalent chemical potential for particle number conservation. However, the notion of a chemical potential is crucial in understanding a wide variety of single- and many-body effects, from transport in conductors and semi-conductors to phase transitions in electronic and atomic systems. Here we show how a direct modification of the system-bath coupling via parametric oscillation creates an effective chemical potential for photons even in the thermodynamic limit. Specific implementations, using circuit-QED or optomechanics, are feasible using current technologies, and we show a detailed example demonstrating the emergence of Mott Insulator-superfluid transition in a lattice of nonlinear oscillators. Our approach paves the way for quantum simulation, quantum sources and even electron-like circuits with light. }, doi = {10.1103/PhysRevB.92.174305}, url = {http://arxiv.org/abs/1405.5821v2}, author = {M. Hafezi and P. Adhikari and J. M. Taylor} } @article {1188, title = {Fractional Quantum Hall States of Rydberg Polaritons}, journal = {Physical Review A}, volume = {91}, year = {2015}, month = {2015/03/31}, pages = {033838}, abstract = { 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. }, doi = {10.1103/PhysRevA.91.033838}, url = {http://arxiv.org/abs/1411.6624v1}, author = {Mohammad F. Maghrebi and Norman Y. Yao and Mohammad Hafezi and Thomas Pohl and Ofer Firstenberg and Alexey V. Gorshkov} } @article {1675, title = {Quantum many-body models with cold atoms coupled to photonic crystals}, journal = {Nature Photonics}, volume = {9}, year = {2015}, month = {2015/04/04}, pages = {326 - 331}, issn = {1749-4885}, doi = {10.1038/nphoton.2015.57}, url = {http://www.nature.com/doifinder/10.1038/nphoton.2015.57}, author = {Douglas, J. S. and Habibian, H. and Hung, C.-L. and Alexey V. Gorshkov and Kimble, H. J. and Chang, D. E.} } @article {1376, title = {Adaptive change of basis in entropy-based moment closures for linear kinetic equations}, journal = {Journal of Computational Physics}, volume = {258}, year = {2014}, month = {2014/02/01}, pages = {489 - 508}, abstract = { Entropy-based (M_N) moment closures for kinetic equations are defined by a constrained optimization problem that must be solved at every point in a space-time mesh, making it important to solve these optimization problems accurately and efficiently. We present a complete and practical numerical algorithm for solving the dual problem in one-dimensional, slab geometries. The closure is only well-defined on the set of moments that are realizable from a positive underlying distribution, and as the boundary of the realizable set is approached, the dual problem becomes increasingly difficult to solve due to ill-conditioning of the Hessian matrix. To improve the condition number of the Hessian, we advocate the use of a change of polynomial basis, defined using a Cholesky factorization of the Hessian, that permits solution of problems nearer to the boundary of the realizable set. We also advocate a fixed quadrature scheme, rather than adaptive quadrature, since the latter introduces unnecessary expense and changes the computationally realizable set as the quadrature changes. For very ill-conditioned problems, we use regularization to make the optimization algorithm robust. We design a manufactured solution and demonstrate that the adaptive-basis optimization algorithm reduces the need for regularization. This is important since we also show that regularization slows, and even stalls, convergence of the numerical simulation when refining the space-time mesh. We also simulate two well-known benchmark problems. There we find that our adaptive-basis, fixed-quadrature algorithm uses less regularization than alternatives, although differences in the resulting numerical simulations are more sensitive to the regularization strategy than to the choice of basis. }, doi = {10.1016/j.jcp.2013.10.049}, url = {http://arxiv.org/abs/1306.2881v1}, author = {Graham W. Alldredge and Cory D. Hauck and Dianne P. O{\textquoteright}Leary and Andr{\'e} L. Tits} } @article {1600, title = {"Einstein and Bohr Meet Alice and Bob{\textquoteright}, Logic and Science Facing the New Technologies}, journal = {Proceedings of the 14th Congress for Logic (Nancy), Logic, Methodology and Philosophy of Science}, year = {2014}, month = {2014/01/01}, author = {Jeffrey Bub and Peter Schroeder-Heister and Gerhard Heinzmann and Wilfrid Hodges and Pierre Edouard Bour} } @article {1477, title = {Hong-Ou-Mandel atom interferometry in tunnel-coupled optical tweezers}, journal = {Science}, volume = {345}, year = {2014}, month = {2014/06/26}, pages = {306 - 309}, abstract = { The quantum statistics of atoms is typically observed in the behavior of an ensemble via macroscopic observables. However, quantum statistics modifies the behavior of even two particles, inducing remarkable consequences that are at the heart of quantum science. Here we demonstrate near-complete control over all the internal and external degrees of freedom of two laser-cooled 87Rb atoms trapped in two optical tweezers. This full controllability allows us to implement a massive-particle analog of a Hong-Ou-Mandel interferometer where atom tunneling plays the role of a photon beamsplitter. We use the interferometer to probe the effect of quantum statistics on the two-atom dynamics under tunable initial conditions, chosen to adjust the degree of atomic indistinguishability. Our work thereby establishes laser-cooled atoms in optical tweezers as a new route to bottom-up engineering of scalable, low-entropy quantum systems. }, doi = {10.1126/science.1250057}, url = {http://arxiv.org/abs/1312.7182v2}, author = {A. M. Kaufman and B. J. Lester and C. M. Reynolds and M. L. Wall and Michael Foss-Feig and K. R. A. Hazzard and A. M. Rey and C. A. Regal} } @article {1480, title = {Many-body dynamics of dipolar molecules in an optical lattice}, journal = {Physical Review Letters}, volume = {113}, year = {2014}, month = {2014/11/7}, abstract = { 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. }, doi = {10.1103/PhysRevLett.113.195302}, url = {http://arxiv.org/abs/1402.2354v1}, author = {Kaden R. A. Hazzard and Bryce Gadway and Michael Foss-Feig and Bo Yan and Steven A. Moses and Jacob P. Covey and Norman Y. Yao and Mikhail D. Lukin and Jun Ye and Deborah S. Jin and Ana Maria Rey} } @article {1478, title = {Quantum correlations and entanglement in far-from-equilibrium spin systems }, journal = {Physical Review A}, volume = {90}, year = {2014}, month = {2014/12/15}, abstract = { By applying complementary analytic and numerical methods, we investigate the dynamics of spin-$1/2$ XXZ models with variable-range interactions in arbitrary dimensions. The dynamics we consider is initiated from uncorrelated states that are easily prepared in experiments, and can be equivalently viewed as either Ramsey spectroscopy or a quantum quench. Our primary focus is the dynamical emergence of correlations and entanglement in these far-from-equilibrium interacting quantum systems: we characterize these correlations by the entanglement entropy, concurrence, and squeezing, which are inequivalent measures of entanglement corresponding to different quantum resources. In one spatial dimension, we show that the time evolution of correlation functions manifests a non-perturbative dynamic singularity. This singularity is characterized by a universal power-law exponent that is insensitive to small perturbations. Explicit realizations of these models in current experiments using polar molecules, trapped ions, Rydberg atoms, magnetic atoms, and alkaline-earth and alkali atoms in optical lattices, along with the relative merits and limitations of these different systems, are discussed. }, doi = {10.1103/PhysRevA.90.063622}, url = {http://arxiv.org/abs/1406.0937v1}, author = {Kaden R. A. Hazzard and Mauritz van den Worm and Michael Foss-Feig and Salvatore R. Manmana and Emanuele Dalla Torre and Tilman Pfau and Michael Kastner and Ana Maria Rey} } @article {1295, title = {Spin-orbit-coupled topological Fulde-Ferrell states of fermions in a harmonic trap }, journal = {Physical Review A}, volume = {90}, year = {2014}, month = {2014/11/7}, abstract = { Motivated by recent experimental breakthroughs in generating spin-orbit coupling in ultracold Fermi gases using Raman laser beams, we present a systematic study of spin-orbit-coupled Fermi gases confined in a quasi-one-dimensional trap in the presence of an in-plane Zeeman field (which can be realized using a finite two-photon Raman detuning). We find that a topological Fulde-Ferrell state will emerge, featuring finite-momentum Cooper pairing and zero-energy Majorana excitations localized near the edge of the trap based on the self-consistent Bogoliubov-de Genes (BdG) equations. We find analytically the wavefunctions of the Majorana modes. Finally using the time-dependent BdG we show how the finite-momentum pairing field manifests itself in the expansion dynamics of the atomic cloud. }, doi = {10.1103/PhysRevA.90.053606}, url = {http://arxiv.org/abs/1404.6211v1}, author = {Lei Jiang and Eite Tiesinga and Xia-Ji Liu and Hui Hu and Han Pu} } @article {1479, title = {Suppressing the loss of ultracold molecules via the continuous quantum Zeno effect }, journal = {Physical Review Letters}, volume = {112}, year = {2014}, month = {2014/2/20}, abstract = { 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. }, doi = {10.1103/PhysRevLett.112.070404}, url = {http://arxiv.org/abs/1310.2221v2}, author = {Bihui Zhu and Bryce Gadway and Michael Foss-Feig and Johannes Schachenmayer and Michael Wall and Kaden R. A. Hazzard and Bo Yan and Steven A. Moses and Jacob P. Covey and Deborah S. Jin and Jun Ye and Murray Holland and Ana Maria Rey} } @article {1475, title = {Dynamical quantum correlations of Ising models on an arbitrary lattice and their resilience to decoherence }, journal = {New Journal of Physics}, volume = {15}, year = {2013}, month = {2013/11/07}, pages = {113008}, abstract = { Ising models, and the physical systems described by them, play a central role in generating entangled states for use in quantum metrology and quantum information. In particular, ultracold atomic gases, trapped ion systems, and Rydberg atoms realize long-ranged Ising models, which even in the absence of a transverse field can give rise to highly non-classical dynamics and long-range quantum correlations. In the first part of this paper, we present a detailed theoretical framework for studying the dynamics of such systems driven (at time t=0) into arbitrary unentangled non-equilibrium states, thus greatly extending and unifying the work of Ref. [1]. Specifically, we derive exact expressions for closed-time-path ordered correlation functions, and use these to study experimentally relevant observables, e.g. Bloch vector and spin-squeezing dynamics. In the second part, these correlation functions are then used to derive closed-form expressions for the dynamics of arbitrary spin-spin correlation functions in the presence of both T_1 (spontaneous spin relaxation/excitation) and T_2 (dephasing) type decoherence processes. Even though the decoherence is local, our solution reveals that the competition between Ising dynamics and T_1 decoherence gives rise to an emergent non-local dephasing effect, thereby drastically amplifying the degradation of quantum correlations. In addition to identifying the mechanism of this deleterious effect, our solution points toward a scheme to eliminate it via measurement-based coherent feedback. }, doi = {10.1088/1367-2630/15/11/113008}, url = {http://arxiv.org/abs/1306.0172v1}, author = {Michael Foss-Feig and Kaden R A Hazzard and John J Bollinger and Ana Maria Rey and Charles W Clark} } @article {1474, title = {Far from equilibrium quantum magnetism with ultracold polar molecules}, journal = {Physical Review Letters}, volume = {110}, year = {2013}, month = {2013/2/11}, abstract = { Recent theory has indicated how to emulate tunable models of quantum magnetism with ultracold polar molecules. Here we show that present molecule optical lattice experiments can accomplish three crucial goals for quantum emulation, despite currently being well below unit filling and not quantum degenerate. The first is to verify and benchmark the models proposed to describe these systems. The second is to prepare correlated and possibly useful states in well-understood regimes. The third is to explore many-body physics inaccessible to existing theoretical techniques. Our proposal relies on a non-equilibrium protocol that can be viewed either as Ramsey spectroscopy or an interaction quench. It uses only routine experimental tools available in any ultracold molecule experiment. }, doi = {10.1103/PhysRevLett.110.075301}, url = {http://arxiv.org/abs/1209.4076v1}, author = {Kaden R. A. Hazzard and Salvatore R. Manmana and Michael Foss-Feig and Ana Maria Rey} } @article {1175, title = {Kitaev honeycomb and other exotic spin models with polar molecules}, journal = {Molecular Physics}, volume = {111}, year = {2013}, month = {2013/01/01}, pages = {1908 - 1916}, abstract = { We show that ultracold polar molecules pinned in an optical lattice can be used to access a variety of exotic spin models, including the Kitaev honeycomb model. Treating each molecule as a rigid rotor, we use DC electric and microwave fields to define superpositions of rotational levels as effective spin degrees of freedom, while dipole-dipole interactions give rise to interactions between the spins. In particular, we show that, with sufficient microwave control, the interaction between two spins can be written as a sum of five independently controllable Hamiltonian terms proportional to the five rank-2 spherical harmonics Y_{2,q}(theta,phi), where (theta,phi) are the spherical coordinates of the vector connecting the two molecules. To demonstrate the potential of this approach beyond the simplest examples studied in [S. R. Manmana et al., arXiv:1210.5518v2], we focus on the realization of the Kitaev honeycomb model, which can support exotic non-Abelian anyonic excitations. We also discuss the possibility of generating spin Hamiltonians with arbitrary spin S, including those exhibiting SU(N=2S+1) symmetry. }, doi = {10.1080/00268976.2013.800604}, url = {http://arxiv.org/abs/1301.5636v1}, author = {Alexey V. Gorshkov and Kaden R. A. Hazzard and Ana Maria Rey} } @article {1471, title = {Non-equilibrium dynamics of Ising models with decoherence: an exact solution }, journal = {Physical Review A}, volume = {87}, year = {2013}, month = {2013/4/3}, abstract = { The interplay between interactions and decoherence in many-body systems is of fundamental importance in quantum physics: Decoherence can degrade correlations, but can also give rise to a variety of rich dynamical and steady-state behaviors. We obtain an exact analytic solution for the non-equilibrium dynamics of Ising models with arbitrary interactions and subject to the most general form of local Markovian decoherence. Our solution shows that decoherence affects the relaxation of observables more than predicted by single-particle considerations. It also reveals a dynamical phase transition, specifically a Hopf bifurcation, which is absent at the single-particle level. These calculations are applicable to ongoing quantum information and emulation efforts using a variety of atomic, molecular, optical, and solid-state systems. }, doi = {10.1103/PhysRevA.87.042101}, url = {http://arxiv.org/abs/1209.5795v2}, author = {Michael Foss-Feig and Kaden R. A. Hazzard and John J. Bollinger and Ana Maria Rey} } @article {1865, title = {Optimal entanglement-assisted one-shot classical communication}, journal = {Physical Review A}, volume = {87}, year = {2013}, month = {2013/06/03}, pages = {062301}, abstract = {

The\ one-shot success probability\ of a noisy classical channel for transmitting one classical bit is the optimal probability with which the bit can be successfully sent via a single use of the channel. Prevedel\ et al.\ [Phys. Rev. Lett.106, 110505 (2011)] recently showed that for a specific channel, this quantity can be increased if the parties using the channel share an entangled quantum state. In this paper, we characterize the optimal entanglement-assisted protocols in terms of the radius of a set of operators associated with the channel. This characterization can be used to construct optimal entanglement-assisted protocols for a given classical channel and to prove the limits of such protocols. As an example, we show that the Prevedel\ et al.\ protocol is optimal for two-qubit entanglement. We also prove some tight upper bounds on the improvement that can be obtained from quantum and nonsignaling correlations.

}, doi = {10.1103/PhysRevA.87.062301}, url = {http://link.aps.org/doi/10.1103/PhysRevA.87.062301}, author = {Hemenway, Brett and Carl Miller and Shi, Yaoyun and Wootters, Mary} } @article {1497, title = {Preparation of Non-equilibrium Nuclear Spin States in Double Quantum Dots }, journal = {Physical Review B}, volume = {88}, year = {2013}, month = {2013/7/15}, abstract = { We theoretically study the dynamic polarization of lattice nuclear spins in GaAs double quantum dots containing two electrons. In our prior work [Phys. Rev. Lett. 104, 226807 (2010)] we identified three regimes of long-term dynamics, 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. In particular, when the dots are different sizes we found that the Overhauser field becomes larger in the smaller dot. Here we present a detailed theoretical analysis of these problems including a model of the polarization dynamics and the development of a new numerical method to efficiently simulate semiclassical central-spin problems. When nuclear spin noise is included, the results agree with our prior work indicating that large difference fields and dark states are stable configurations, while the elimination of the difference field is unstable; however, in the absence of noise we find all three steady states are achieved depending on parameters. These results are in good agreement with dynamic nuclear polarization experiments in double quantum dots. }, doi = {10.1103/PhysRevB.88.035309}, url = {http://arxiv.org/abs/1212.6953v3}, author = {Michael Gullans and J. J. Krich and J. M. Taylor and B. I. Halperin and M. D. Lukin} } @article {1843, title = {Quantum Nonlinear Optics: Strongly Interacting Photons}, journal = {Opt. Photonics News}, volume = {24}, year = {2013}, pages = {48}, url = {http://www.osa-opn.org/abstract.cfm?URI=opn-24-12-48}, author = {Firstenberg, O and Lukin, M D and Peyronel, T and Liang, Q -Y and Vuletic, V and Alexey V. Gorshkov and Hofferberth, S and Pohl, T} } @article {1184, title = {Topological phases in ultracold polar-molecule quantum magnets}, journal = {Physical Review B}, volume = {87}, year = {2013}, month = {2013/2/26}, abstract = { We show how to use polar molecules in an optical lattice to engineer quantum spin models with arbitrary spin S >= 1/2 and with interactions featuring a direction-dependent spin anisotropy. This is achieved by encoding the effective spin degrees of freedom in microwave-dressed rotational states of the molecules and by coupling the spins through dipolar interactions. We demonstrate how one of the experimentally most accessible anisotropies stabilizes symmetry protected topological phases in spin ladders. Using the numerically exact density matrix renormalization group method, we find that these interacting phases -- previously studied only in the nearest-neighbor case -- survive in the presence of long-range dipolar interactions. We also show how to use our approach to realize the bilinear-biquadratic spin-1 and the Kitaev honeycomb models. Experimental detection schemes and imperfections are discussed. }, doi = {10.1103/PhysRevB.87.081106}, url = {http://arxiv.org/abs/1210.5518v2}, author = {Salvatore R. Manmana and E. M. Stoudenmire and Kaden R. A. Hazzard and Ana Maria Rey and Alexey V. Gorshkov} } @article {1347, title = {The equilibrium states of open quantum systems in the strong coupling regime}, journal = {Physical Review E}, volume = {86}, year = {2012}, month = {2012/12/26}, abstract = {In this work we investigate the late-time stationary states of open quantum systems coupled to a thermal reservoir in the strong coupling regime. In general such systems do not necessarily relax to a Boltzmann distribution if the coupling to the thermal reservoir is non-vanishing or equivalently if the relaxation timescales are finite. Using a variety of non-equilibrium formalisms valid for non-Markovian processes, we show that starting from a product state of the closed system = system + environment, with the environment in its thermal state, the open system which results from coarse graining the environment will evolve towards an equilibrium state at late-times. This state can be expressed as the reduced state of the closed system thermal state at the temperature of the environment. For a linear (harmonic) system and environment, which is exactly solvable, we are able to show in a rigorous way that all multi-time correlations of the open system evolve towards those of the closed system thermal state. Multi-time correlations are especially relevant in the non-Markovian regime, since they cannot be generated by the dynamics of the single-time correlations. For more general systems, which cannot be exactly solved, we are able to provide a general proof that all single-time correlations of the open system evolve to those of the closed system thermal state, to first order in the relaxation rates. For the special case of a zero-temperature reservoir, we are able to explicitly construct the reduced closed system thermal state in terms of the environmental correlations. }, doi = {10.1103/PhysRevE.86.061132}, url = {http://arxiv.org/abs/1206.2707v1}, author = {Y. Subasi and C. H. Fleming and J. M. Taylor and B. L. Hu} } @article {1845, title = {Quantum nonlinear optics with single photons enabled by strongly interacting atoms}, journal = {Nature (London)}, volume = {488}, year = {2012}, pages = {57}, url = {http://www.nature.com/nature/journal/v488/n7409/full/nature11361.html}, author = {Peyronel, Thibault and Firstenberg, Ofer and Liang, Qi-Yu and Hofferberth, Sebastian and Alexey V. Gorshkov and Pohl, Thomas and Lukin, Mikhail D. and Vuletic, Vladan} } @article {1294, title = {Resonant control of polar molecules in an optical lattice}, journal = {Physical Review A}, volume = {85}, year = {2012}, month = {2012/2/8}, abstract = { We study the resonant control of two nonreactive polar molecules in an optical lattice site, focussing on the example of RbCs. Collisional control can be achieved by tuning bound states of the intermolecular dipolar potential, by varying the applied electric field or trap frequency. We consider a wide range of electric fields and trapping geometries, showing that a three-dimensional optical lattice allows for significantly wider avoided crossings than free space or quasi-two dimensional geometries. Furthermore, we find that dipolar confinement induced resonances can be created with reasonable trapping frequencies and electric fields, and have widths that will enable useful control in forthcoming experiments. }, doi = {10.1103/PhysRevA.85.022703}, url = {http://arxiv.org/abs/1111.0227v1}, author = {Thomas M. Hanna and Eite Tiesinga and William F. Mitchell and Paul S. Julienne} } @article {1435, title = {A Spectral Algorithm for Latent Dirichlet Allocation}, journal = {Algorithmica}, year = {2012}, month = {2012/04/30}, pages = {193-214}, abstract = { The problem of topic modeling can be seen as a generalization of the clustering problem, in that it posits that observations are generated due to multiple latent factors (e.g., the words in each document are generated as a mixture of several active topics, as opposed to just one). This increased representational power comes at the cost of a more challenging unsupervised learning problem of estimating the topic probability vectors (the distributions over words for each topic), when only the words are observed and the corresponding topics are hidden. We provide a simple and efficient learning procedure that is guaranteed to recover the parameters for a wide class of mixture models, including the popular latent Dirichlet allocation (LDA) model. For LDA, the procedure correctly recovers both the topic probability vectors and the prior over the topics, using only trigram statistics (i.e., third order moments, which may be estimated with documents containing just three words). The method, termed Excess Correlation Analysis (ECA), is based on a spectral decomposition of low order moments (third and fourth order) via two singular value decompositions (SVDs). Moreover, the algorithm is scalable since the SVD operations are carried out on $k\times k$ matrices, where $k$ is the number of latent factors (e.g. the number of topics), rather than in the $d$-dimensional observed space (typically $d \gg k$). }, url = {http://arxiv.org/abs/1204.6703v4}, author = {Animashree Anandkumar and Dean P. Foster and Daniel Hsu and Sham M. Kakade and Yi-Kai Liu} } @article {1510, title = {Super-Polynomial Quantum Speed-ups for Boolean Evaluation Trees with Hidden Structure}, journal = {ITCS {\textquoteright}12 Proceedings of the 3rd Innovations in Theoretical Computer Science Conference}, year = {2012}, month = {2012/01/08}, pages = {249-265}, abstract = { We give a quantum algorithm for evaluating a class of boolean formulas (such as NAND trees and 3-majority trees) on a restricted set of inputs. Due to the structure of the allowed inputs, our algorithm can evaluate a depth $n$ tree using $O(n^{2+\log\omega})$ queries, where $\omega$ is independent of $n$ and depends only on the type of subformulas within the tree. We also prove a classical lower bound of $n^{\Omega(\log\log n)}$ queries, thus showing a (small) super-polynomial speed-up. }, isbn = {978-1-4503-1115-1}, doi = {10.1145/2090236.2090258}, url = {http://arxiv.org/abs/1101.0796v3}, author = {Bohua Zhan and Shelby Kimmel and Avinatan Hassidim} } @article {1303, title = {Detecting paired and counterflow superfluidity via dipole oscillations}, journal = {Physical Review A}, volume = {84}, year = {2011}, month = {2011/10/27}, abstract = { We suggest an experimentally feasible procedure to observe paired and counterflow superfluidity in ultra-cold atom systems. We study the time evolution of one-dimensional mixtures of bosonic atoms in an optical lattice following an abrupt displacement of an additional weak confining potential. We find that the dynamic responses of the paired superfluid phase for attractive inter-species interactions and the counterflow superfluid phase for repulsive interactions are qualitatively distinct and reflect the quasi long-range order that characterizes these states. These findings suggest a clear experimental procedure to detect these phases, and give an intuitive insight into their dynamics. }, doi = {10.1103/PhysRevA.84.041609}, url = {http://arxiv.org/abs/1103.3513v3}, author = {Anzi Hu and L. Mathey and Eite Tiesinga and Ippei Danshita and Carl J. Williams and Charles W. Clark} } @article {1457, title = {Entanglement can completely defeat quantum noise}, journal = {Physical Review Letters}, volume = {107}, year = {2011}, month = {2011/12/15}, abstract = { We describe two quantum channels that individually cannot send any information, even classical, without some chance of decoding error. But together a single use of each channel can send quantum information perfectly reliably. This proves that the zero-error classical capacity exhibits superactivation, the extreme form of the superadditivity phenomenon in which entangled inputs allow communication over zero capacity channels. But our result is stronger still, as it even allows zero-error quantum communication when the two channels are combined. Thus our result shows a new remarkable way in which entanglement across two systems can be used to resist noise, in this case perfectly. We also show a new form of superactivation by entanglement shared between sender and receiver. }, doi = {10.1103/PhysRevLett.107.250504}, url = {http://arxiv.org/abs/1109.0540v1}, author = {Jianxin Chen and Toby S. Cubitt and Aram W. Harrow and Graeme Smith} } @article {1172, title = {Spectroscopy of dipolar fermions in 2D pancakes and 3D lattices}, journal = {Physical Review A}, volume = {84}, year = {2011}, month = {2011/9/6}, abstract = { Motivated by ongoing measurements at JILA, we calculate the recoil-free spectra of dipolar interacting fermions, for example ultracold heteronuclear molecules, in a one-dimensional lattice of two-dimensional pancakes, spectroscopically probing transitions between different internal (e.g., rotational) states. We additionally incorporate p-wave interactions and losses, which are important for reactive molecules such as KRb. Moreover, we consider other sources of spectral broadening: interaction-induced quasiparticle lifetimes and the different polarizabilities of the different rotational states used for the spectroscopy. Although our main focus is molecules, some of the calculations are also useful for optical lattice atomic clocks. For example, understanding the p-wave shifts between identical fermions and small dipolar interactions coming from the excited clock state are necessary to reach future precision goals. Finally, we consider the spectra in a deep 3D lattice and show how they give a great deal of information about static correlation functions, including \textit{all} the moments of the density correlations between nearby sites. The range of correlations measurable depends on spectroscopic resolution and the dipole moment. }, doi = {10.1103/PhysRevA.84.033608}, url = {http://arxiv.org/abs/1106.1718v1}, author = {Kaden R. A. Hazzard and Alexey V. Gorshkov and Ana Maria Rey} } @article {1847, title = {Spectroscopy of dipolar fermions in layered two-dimensional and three-dimensional lattices}, journal = {Phys. Rev. A}, volume = {84}, year = {2011}, pages = {033608}, url = {http://link.aps.org/abstract/PRA/v84/e033608/}, author = {Hazzard, K R A and Alexey V. Gorshkov and Rey, A M} } @article {1446, title = {Superactivation of the Asymptotic Zero-Error Classical Capacity of a Quantum Channel}, journal = {IEEE Transactions on Information Theory}, volume = {57}, year = {2011}, month = {2011/12/01}, pages = {8114 - 8126}, abstract = { The zero-error classical capacity of a quantum channel is the asymptotic rate at which it can be used to send classical bits perfectly, so that they can be decoded with zero probability of error. We show that there exist pairs of quantum channels, neither of which individually have any zero-error capacity whatsoever (even if arbitrarily many uses of the channels are available), but such that access to even a single copy of both channels allows classical information to be sent perfectly reliably. In other words, we prove that the zero-error classical capacity can be superactivated. This result is the first example of superactivation of a classical capacity of a quantum channel. }, doi = {10.1109/TIT.2011.2169109}, url = {http://arxiv.org/abs/0906.2547v3}, author = {Toby S. Cubitt and Jianxin Chen and Aram W. Harrow} } @article {1278, title = {Superradiance of cold atoms coupled to a superconducting circuit}, journal = {Physical Review A}, volume = {83}, year = {2011}, month = {2011/6/6}, abstract = { We investigate superradiance of an ensemble of atoms coupled to an integrated superconducting LC-circuit. Particular attention is paid to the effect of inhomogeneous coupling constants. Combining perturbation theory in the inhomogeneity and numerical simulations we show that inhomogeneous coupling constants can significantly affect the superradiant relaxation process. Incomplete relaxation terminating in "dark states" can occur, from which the only escape is through individual spontaneous emission on a much longer time scale. The relaxation dynamics can be significantly accelerated or retarded, depending on the distribution of the coupling constants. On the technical side, we also generalize the previously known propagator of superradiance for identical couplings in the completely symmetric sector to the full exponentially large Hilbert space. }, doi = {10.1103/PhysRevA.83.062305}, url = {http://arxiv.org/abs/1101.5300v1}, author = {Daniel Braun and Jonathan Hoffman and Eite Tiesinga} } @article {1286, title = {Creation and manipulation of Feshbach resonances with radio-frequency radiation }, journal = {New Journal of Physics}, volume = {12}, year = {2010}, month = {2010/08/12}, pages = {083031}, abstract = { We present a simple technique for studying collisions of ultracold atoms in the presence of a magnetic field and radio-frequency radiation (rf). Resonant control of scattering properties can be achieved by using rf to couple a colliding pair of atoms to a bound state. We show, using the example of 6Li, that in some ranges of rf frequency and magnetic field this can be done without giving rise to losses. We also show that halo molecules of large spatial extent require much less rf power than deeply bound states. Another way to exert resonant control is with a set of rf-coupled bound states, linked to the colliding pair through the molecular interactions that give rise to magnetically tunable Feshbach resonances. This was recently demonstrated for 87Rb [Kaufman et al., Phys. Rev. A 80:050701(R), 2009]. We examine the underlying atomic and molecular physics which made this possible. Lastly, we consider the control that may be exerted over atomic collisions by placing atoms in superpositions of Zeeman states, and suggest that it could be useful where small changes in scattering length are required. We suggest other species for which rf and magnetic field control could together provide a useful tuning mechanism. }, doi = {10.1088/1367-2630/12/8/083031}, url = {http://arxiv.org/abs/1004.0636v1}, author = {Thomas M. Hanna and Eite Tiesinga and Paul S. Julienne} } @article {1353, title = {Dynamic Nuclear Polarization in Double Quantum Dots}, journal = {Physical Review Letters}, volume = {104}, year = {2010}, month = {2010/6/4}, abstract = {We 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. }, doi = {10.1103/PhysRevLett.104.226807}, url = {http://arxiv.org/abs/1003.4508v2}, author = {Michael Gullans and J. J. Krich and J. M. Taylor and H. Bluhm and B. I. Halperin and C. M. Marcus and M. Stopa and A. Yacoby and M. D. Lukin} } @article {1848, title = {Far-field optical imaging and manipulation of individual spins with nanoscale resolution}, journal = {Nature Phys.}, volume = {6}, year = {2010}, pages = {912}, url = {http://www.nature.com/nphys/journal/v6/n11/abs/nphys1774.html}, author = {Maurer, P C and Maze, J R and Stanwix, P L and Jiang, L and Alexey V. Gorshkov and Zibrov, A A and Harke, B and Hodges, J S and Zibrov, A S and Yacoby, A and Twitchen, D and Hell, S W and Walsworth, R L and Lukin, M D} } @article {1469, title = {Heavy fermions in an optical lattice}, journal = {Physical Review A}, volume = {82}, year = {2010}, month = {2010/11/22}, abstract = { We employ a mean-field theory to study ground-state properties and transport of a two-dimensional gas of ultracold alklaline-earth metal atoms governed by the Kondo Lattice Hamiltonian plus a parabolic confining potential. In a homogenous system this mean-field theory is believed to give a qualitatively correct description of heavy fermion metals and Kondo insulators: it reproduces the Kondo-like scaling of the quasiparticle mass in the former, and the same scaling of the excitation gap in the latter. In order to understand ground-state properties in a trap we extend this mean-field theory via local-density approximation. We find that the Kondo insulator gap manifests as a shell structure in the trapped density profile. In addition, a strong signature of the large Fermi surface expected for heavy fermion systems survives the confinement, and could be probed in time-of-flight experiments. From a full self-consistent diagonalization of the mean-field theory we are able to study dynamics in the trap. We find that the mass enhancement of quasiparticle excitations in the heavy Fermi liquid phase manifests as slowing of the dipole oscillations that result from a sudden displacement of the trap center. }, doi = {10.1103/PhysRevA.82.053624}, url = {http://arxiv.org/abs/1007.5083v1}, author = {Michael Foss-Feig and Michael Hermele and Victor Gurarie and Ana Maria Rey} } @article {1413, title = {Noise correlations of one-dimensional Bose mixtures in optical lattices}, journal = {Physical Review A}, volume = {81}, year = {2010}, month = {2010/6/2}, abstract = { We study the noise correlations of one-dimensional binary Bose mixtures, as a probe of their quantum phases. In previous work, we found a rich structure of many-body phases in such mixtures, such as paired and counterflow superfluidity. Here we investigate the signature of these phases in the noise correlations of the atomic cloud after time-of-flight expansion, using both Luttinger liquid theory and the time-evolving block decimation (TEBD) method. We find that paired and counterflow superfluidity exhibit distinctive features in the noise spectra. We treat both extended and inhomogeneous systems, and our numerical work shows that the essential physics of the extended systems is present in the trapped-atom systems of current experimental interest. For paired and counterflow superfluid phases, we suggest methods for extracting Luttinger parameters from noise correlation spectroscopy. }, doi = {10.1103/PhysRevA.81.063602}, url = {http://arxiv.org/abs/1002.4918v2}, author = {Anzi Hu and L. Mathey and Carl J. Williams and Charles W. Clark} } @article {1468, title = {Probing the Kondo Lattice Model with Alkaline Earth Atoms}, journal = {Physical Review A}, volume = {81}, year = {2010}, month = {2010/5/7}, abstract = { We study transport properties of alkaline-earth atoms governed by the Kondo Lattice Hamiltonian plus a harmonic confining potential, and suggest simple dynamical probes of several different regimes of the phase diagram that can be implemented with current experimental techniques. In particular, we show how Kondo physics at strong coupling, low density, and in the heavy fermion phase is manifest in the dipole oscillations of the conduction band upon displacement of the trap center. }, doi = {10.1103/PhysRevA.81.051603}, url = {http://arxiv.org/abs/0912.4762v1}, author = {Michael Foss-Feig and Michael Hermele and Ana Maria Rey} } @article {1850, title = {Two-orbital SU(N) magnetism with ultracold alkaline-earth atoms}, journal = {Nature Phys.}, volume = {6}, year = {2010}, pages = {289}, url = {http://www.nature.com/nphys/journal/v6/n4/abs/nphys1535.html}, author = {Alexey V. Gorshkov and Hermele, M and Gurarie, V and Xu, C and Julienne, P S and Ye, J and Zoller, P and Demler, E and Lukin, M D and Rey, A M} } @article {1299, title = {Counterflow and paired superfluidity in one-dimensional Bose mixtures in optical lattices }, journal = {Physical Review A}, volume = {80}, year = {2009}, month = {2009/8/24}, abstract = { We study the quantum phases of mixtures of ultra-cold bosonic atoms held in an optical lattice that confines motion or hopping to one spatial dimension. The phases are found by using Tomonaga-Luttinger liquid theory as well as the numerical method of time evolving block decimation (TEBD). We consider a binary mixture with repulsive intra-species interactions, and either repulsive or attractive inter-species interaction. For a homogeneous system, we find paired- and counterflow-superfluid phases at different filling and hopping energies. We also predict parameter regions in which these types of superfluid order coexist with charge density wave order. We show that the Tomonaga-Luttinger liquid theory and TEBD qualitatively agree on the location of the phase boundary to superfluidity. We then describe how these phases are modified and can be detected when an additional harmonic trap is present. In particular, we show how experimentally measurable quantities, such as time-of-flight images and the structure factor, can be used to distinguish the quantum phases. Finally, we suggest applying a Feshbach ramp to detect the paired superfluid state, and a $\pi/2$ pulse followed by Bragg spectroscopy to detect the counterflow superfluid phase. }, doi = {10.1103/PhysRevA.80.023619}, url = {http://arxiv.org/abs/0906.2150v1}, author = {Anzi Hu and L. Mathey and Ippei Danshita and Eite Tiesinga and Carl J. Williams and Charles W. Clark} } @article {1285, title = {Prediction of Feshbach resonances from three input parameters}, journal = {Physical Review A}, volume = {79}, year = {2009}, month = {2009/4/30}, abstract = { We have developed a model of Feshbach resonances in gases of ultracold alkali metal atoms using the ideas of multichannel quantum defect theory. Our model requires just three parameters describing the interactions - the singlet and triplet scattering lengths, and the long range van der Waals coefficient - in addition to known atomic properties. Without using any further details of the interactions, our approach can accurately predict the locations of resonances. It can also be used to find the singlet and triplet scattering lengths from measured resonance data. We apply our technique to $^{6}$Li--$^{40}$K and $^{40}$K--$^{87}$Rb scattering, obtaining good agreement with experimental results, and with the more computationally intensive coupled channels technique. }, doi = {10.1103/PhysRevA.79.040701}, url = {http://arxiv.org/abs/0903.0884v2}, author = {Thomas M. Hanna and Eite Tiesinga and Paul S. Julienne} } @article {1195, title = {Realization of Coherent Optically Dense Media via Buffer-Gas Cooling}, journal = {Physical Review A}, volume = {79}, year = {2009}, month = {2009/1/6}, abstract = { We demonstrate that buffer-gas cooling combined with laser ablation can be used to create coherent optical media with high optical depth and low Doppler broadening that offers metastable states with low collisional and motional decoherence. Demonstration of this generic technique opens pathways to coherent optics with a large variety of atoms and molecules. We use helium buffer gas to cool 87Rb atoms to below 7 K and slow atom diffusion to the walls. Electromagnetically induced transparency (EIT) in this medium allows for 50\% transmission in a medium with initial OD >70 and for slow pulse propagation with large delay-bandwidth products. In the high-OD regime, we observe high-contrast spectrum oscillations due to efficient four-wave mixing. }, doi = {10.1103/PhysRevA.79.013806}, url = {http://arxiv.org/abs/0805.1416v2}, author = {Tao Hong and Alexey V. Gorshkov and David Patterson and Alexander S. Zibrov and John M. Doyle and Mikhail D. Lukin and Mara G. Prentiss} } @article {1192, title = {Anyonic interferometry and protected memories in atomic spin lattices}, journal = {Nature Physics}, volume = {4}, year = {2008}, month = {2008/4/20}, pages = {482 - 488}, abstract = { Strongly correlated quantum systems can exhibit exotic behavior called topological order which is characterized by non-local correlations that depend on the system topology. Such systems can exhibit remarkable phenomena such as quasi-particles with anyonic statistics and have been proposed as candidates for naturally fault-tolerant quantum computation. Despite these remarkable properties, anyons have never been observed in nature directly. Here we describe how to unambiguously detect and characterize such states in recently proposed spin lattice realizations using ultra-cold atoms or molecules trapped in an optical lattice. We propose an experimentally feasible technique to access non-local degrees of freedom by performing global operations on trapped spins mediated by an optical cavity mode. We show how to reliably read and write topologically protected quantum memory using an atomic or photonic qubit. Furthermore, our technique can be used to probe statistics and dynamics of anyonic excitations. }, doi = {10.1038/nphys943}, url = {http://arxiv.org/abs/0711.1365v1}, author = {Liang Jiang and Gavin K. Brennen and Alexey V. Gorshkov and Klemens Hammerer and Mohammad Hafezi and Eugene Demler and Mikhail D. Lukin and Peter Zoller} } @article {1283, title = {Avoided crossings between bound states of ultracold Cesium dimers}, journal = {Physical Review A}, volume = {78}, year = {2008}, month = {2008/11/5}, abstract = { We present an efficient new computational method for calculating the binding energies of the bound states of ultracold alkali-metal dimers in the presence of magnetic fields. The method is based on propagation of coupled differential equations and does not use a basis set for the interatomic distance coordinate. It is much more efficient than the previous method based on a radial basis set and allows many more spin channels to be included. This is particularly important in the vicinity of avoided crossings between bound states. We characterize a number of different avoided crossings in Cs_2 and compare our converged calculations with experimental results. Small but significant discrepancies are observed in both crossing strengths and level positions, especially for levels with l symmetry (rotational angular momentum L=8). The discrepancies should allow the development of improved potential models in the future. }, doi = {10.1103/PhysRevA.78.052703}, url = {http://arxiv.org/abs/0806.2583v1}, author = {Jeremy M. Hutson and Eite Tiesinga and Paul S. Julienne} } @article {1354, title = {High-sensitivity diamond magnetometer with nanoscale resolution}, journal = {Nature Physics}, volume = {4}, year = {2008}, month = {2008/9/14}, pages = {810 - 816}, abstract = {We 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}$. }, doi = {10.1038/nphys1075}, url = {http://arxiv.org/abs/0805.1367v1}, author = {J. M. Taylor and P. Cappellaro and L. Childress and L. Jiang and D. Budker and P. R. Hemmer and A. Yacoby and R. Walsworth and M. D. Lukin} } @article {1854, title = {Optimizing Slow and Stored Light for Multidisciplinary Applications}, journal = {Proc. SPIE}, volume = {6904}, year = {2008}, pages = {69040C}, url = {http://spie.org/x648.xml?product_id=772216\&Search_Origin=QuickSearch\&Search_Results_URL=http://spie.org/x1636.xml\&Alternate_URL=http://spie.org/x18509.xml\&Alternate_URL_Name=timeframe\&Alternate_URL_Value=Exhibitors\&UseJavascript=1\&Please_Wait_URL=http://s}, author = {Klein, M and Xiao, Y and Alexey V. Gorshkov and M Hohensee and C D Leung and M R Browning and Phillips, D F and Novikova, I and Walsworth, R L} } @article {1194, title = {Signatures of incoherence in a quantum information processor}, year = {2007}, month = {2007/05/24}, abstract = { Incoherent noise is manifest in measurements of expectation values when the underlying ensemble evolves under a classical distribution of unitary processes. While many incoherent processes appear decoherent, there are important differences. The distribution functions underlying incoherent processes are either static or slowly varying with respect to control operations and so the errors introduced by these distributions are refocusable. The observation and control of incoherence in small Hilbert spaces is well known. Here we explore incoherence during an entangling operation, such as is relevant in quantum information processing. As expected, it is more difficult to separate incoherence and decoherence over such processes. However, by studying the fidelity decay under a cyclic entangling map we are able to identify distinctive experimental signatures of incoherence. This result is demonstrated both through numerical simulations and experimentally in a three qubit nuclear magnetic resonance implementation. }, url = {http://arxiv.org/abs/0705.3666v2}, author = {Michael K. Henry and Alexey V. Gorshkov and Yaakov S. Weinstein and Paola Cappellaro and Joseph Emerson and Nicolas Boulant and Jonathan S. Hodges and Chandrasekhar Ramanathan and Timothy F. Havel and Rudy Martinez and David G. Cory} } @article {1241, title = {Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem }, year = {2006}, month = {2006/09/14}, abstract = { Schur duality decomposes many copies of a quantum state into subspaces labeled by partitions, a decomposition with applications throughout quantum information theory. Here we consider applying Schur duality to the problem of distinguishing coset states in the standard approach to the hidden subgroup problem. We observe that simply measuring the partition (a procedure we call weak Schur sampling) provides very little information about the hidden subgroup. Furthermore, we show that under quite general assumptions, even a combination of weak Fourier sampling and weak Schur sampling fails to identify the hidden subgroup. We also prove tight bounds on how many coset states are required to solve the hidden subgroup problem by weak Schur sampling, and we relate this question to a quantum version of the collision problem. }, doi = {10.1007/978-3-540-70918-3_51}, url = {http://arxiv.org/abs/quant-ph/0609110v1}, author = {Andrew M. Childs and Aram W. Harrow and Pawel Wocjan} } @article {1411, title = {Advantages of high-speed technique for quantum key distribution; reply to quant-ph/0407050 }, year = {2004}, month = {2004/07/18}, abstract = { We respond to a comment on our high-speed technique for the implementation of free-space quantum key distribution (QKD). The model used in the comment assigns inappropriately high link losses to the technique in question. We show that the use of reasonable loss parameters in the model invalidates the comment{\textquoteright}s main conclusion and highlights the benefits of increased transmission rates. }, url = {http://arxiv.org/abs/quant-ph/0407139v1}, author = {J. C. Bienfang and Charles W. Clark and Carl J. Williams and E. W. Hagley and Jesse Wen} } @article {1420, title = {Quantum key distribution with 1.25 Gbps clock synchronization}, journal = {Optics Express}, volume = {12}, year = {2004}, month = {2004/05/17}, pages = {2011}, abstract = { We have demonstrated the exchange of sifted quantum cryptographic key over a 730 meter free-space link at rates of up to 1.0 Mbps, two orders of magnitude faster than previously reported results. A classical channel at 1550 nm operates in parallel with a quantum channel at 845 nm. Clock recovery techniques on the classical channel at 1.25 Gbps enable quantum transmission at up to the clock rate. System performance is currently limited by the timing resolution of our silicon avalanche photodiode detectors. With improved detector resolution, our technique will yield another order of magnitude increase in performance, with existing technology. }, doi = {10.1364/OPEX.12.002011}, url = {http://arxiv.org/abs/quant-ph/0405097v1}, author = {J. C. Bienfang and A. J. Gross and A. Mink and B. J. Hershman and A. Nakassis and X. Tang and R. Lu and D. H. Su and Charles W Clark and Carl J. Williams and E. W. Hagley and Jesse Wen} } @article {1321, title = {Can quantum cryptography imply quantum mechanics? Reply to Smolin}, year = {2003}, month = {2003/11/11}, abstract = { Clifton, Bub, and Halvorson (CBH) have argued that quantum mechanics can be derived from three cryptographic, or broadly information-theoretic, axioms. But Smolin disagrees, and he has given a toy theory that he claims is a counterexample. Here we show that Smolin{\textquoteright}s toy theory violates an independence condition for spacelike separated systems that was assumed in the CBH argument. We then argue that any acceptable physical theory should satisfy this independence condition. }, url = {http://arxiv.org/abs/quant-ph/0311065v1}, author = {Hans Halvorson and Jeffrey Bub} } @article {1250, title = {Lower bounds on the complexity of simulating quantum gates}, journal = {Physical Review A}, volume = {68}, year = {2003}, month = {2003/11/18}, abstract = { We give a simple proof of a formula for the minimal time required to simulate a two-qubit unitary operation using a fixed two-qubit Hamiltonian together with fast local unitaries. We also note that a related lower bound holds for arbitrary n-qubit gates. }, doi = {10.1103/PhysRevA.68.052311}, url = {http://arxiv.org/abs/quant-ph/0307190v1}, author = {Andrew M. Childs and Henry L. Haselgrove and Michael A. Nielsen} } @article {1328, title = {Characterizing quantum theory in terms of information-theoretic constraints}, journal = {Foundations of Physics}, volume = {33}, year = {2002}, month = {2003/11/01}, pages = {1561 - 1591}, abstract = { We show that three fundamental information-theoretic constraints--the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment--suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about nonlocality and bit commitment. }, doi = {10.1023/A:1026056716397}, url = {http://arxiv.org/abs/quant-ph/0211089v2}, author = {Rob Clifton and Jeffrey Bub and Hans Halvorson} }