@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 {3358, title = {Non-equilibrium critical scaling and universality in a quantum simulator}, year = {2023}, month = {9/19/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2309.10856}, author = {A. De and P. Cook and K. Collins and W. Morong and D. Paz and P. Titum and G. Pagano and Alexey V. Gorshkov and M. Maghrebi and C. Monroe} } @article {3398, title = {Non-invertible symmetry-protected topological order in a group-based cluster state}, year = {2023}, month = {12/14/2023}, abstract = {

Despite growing interest in beyond-group symmetries in quantum condensed matter systems, there are relatively few microscopic lattice models explicitly realizing these symmetries, and many phenomena have yet to be studied at the microscopic level. We introduce a one-dimensional stabilizer Hamiltonian composed of group-based Pauli operators whose ground state is a G\×Rep(G)-symmetric state: the G cluster state introduced in Brell, New Journal of Physics 17, 023029 (2015) [at this http URL]. We show that this state lies in a symmetry-protected topological (SPT) phase protected by G\×Rep(G) symmetry, distinct from the symmetric product state by a duality argument. We identify several signatures of SPT order, namely protected edge modes, string order parameters, and topological response. We discuss how G cluster states may be used as a universal resource for measurement-based quantum computation, explicitly working out the case where G is a semidirect product of abelian groups.

}, url = {https://arxiv.org/abs/2312.09272}, author = {Christopher Fechisin and Nathanan Tantivasadakarn and Victor V. Albert} } @article {3141, title = {N-body interactions between trapped ion qubits via spin-dependent squeezing}, journal = {Physical Review Letters}, volume = {129}, year = {2022}, month = {8/5/2022}, abstract = {

We describe a simple protocol for the single-step generation of N-body entangling interactions between trapped atomic ion qubits. We show that qubit state-dependent squeezing operations and displacement forces on the collective atomic motion can generate full N-body interactions. Similar to the M{\o}lmer-S{\o}rensen two-body Ising interaction at the core of most trapped ion quantum computers and simulators, the proposed operation is relatively insensitive to the state of motion. We show how this N-body gate operation allows the single-step implementation of a family of N-bit gate operations such as the powerful N-Toffoli gate, which flips a single qubit if and only if all other N-1 qubits are in a particular state.

}, doi = {10.1103/physrevlett.129.063603}, url = {https://arxiv.org/abs/2202.04230}, author = {Or Katz and Marko Cetina and Christopher Monroe} } @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 {3076, title = {NISQ algorithm for the matrix elements of a generic observable}, year = {2022}, month = {5/20/2022}, abstract = {

The calculation of off-diagonal matrix elements has various applications in fields such as nuclear physics and quantum chemistry. In this paper, we present a noisy intermediate scale quantum algorithm for estimating the diagonal and off-diagonal matrix elements of a generic observable in the energy eigenbasis of a given Hamiltonian. Several numerical simulations indicate that this approach can find many of the matrix elements even when the trial functions are randomly initialized across a wide range of parameter values without, at the same time, the need to prepare the energy eigenstates.\ 

}, url = {https://arxiv.org/abs/2205.10058}, author = {Rebecca Erbanni and Kishor Bharti and Leong-Chuan Kwek and Dario Poletti} } @article {2935, title = {Noise-induced barren plateaus in variational quantum algorithms}, journal = {Nature Communications}, volume = {12}, year = {2021}, month = {11/29/2021}, pages = {6961}, abstract = {

Variational Quantum Algorithms (VQAs) may be a path to quantum advantage on Noisy Intermediate-Scale Quantum (NISQ) computers. A natural question is whether noise on NISQ devices places fundamental limitations on VQA performance. We rigorously prove a serious limitation for noisy VQAs, in that the noise causes the training landscape to have a barren plateau (i.e., vanishing gradient). Specifically, for the local Pauli noise considered, we prove that the gradient vanishes exponentially in the number of qubits n if the depth of the ansatz grows linearly with n. These noise-induced barren plateaus (NIBPs) are conceptually different from noise-free barren plateaus, which are linked to random parameter initialization. Our result is formulated for a generic ansatz that includes as special cases the Quantum Alternating Operator Ansatz and the Unitary Coupled Cluster Ansatz, among others. For the former, our numerical heuristics demonstrate the NIBP phenomenon for a realistic hardware noise model.

}, doi = {https://doi.org/10.1038/s41467-021-27045-6}, author = {Samson Wang and Enrico Fontana and M. Cerezo and Kunal Sharma and Akira Sone and Lukasz Cincio and Patrick J. Coles} } @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 {2880, title = {Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy}, year = {2021}, month = {10/9/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2110.04651}, author = {Hamoon Mousavi and Seyed Sajjad Nezhadi and Henry Yuen} } @article {2556, title = {Nearly optimal time-independent reversal of a spin chain}, journal = {accepted for publication in Physical Review Research}, year = {2020}, month = {3/5/2020}, abstract = {

We propose a time-independent Hamiltonian protocol for the reversal of qubit ordering in a chain of N spins. Our protocol has an easily implementable nearest-neighbor, transverse-field Ising model Hamiltonian with time-independent, non-uniform couplings. Under appropriate normalization, we implement this state reversal three times faster than a naive approach using SWAP gates, in time comparable to a protocol of Raussendorf [Phys. Rev. A 72, 052301 (2005)] that requires dynamical control. We also prove lower bounds on state reversal by using results on the entanglement capacity of Hamiltonians and show that we are within a factor 1.502(1+1/N) of the shortest time possible. Our lower bound holds for all nearest-neighbor qubit protocols with arbitrary finite ancilla spaces and local operations and classical communication. Finally, we extend our protocol to an infinite family of nearest-neighbor, time-independent Hamiltonian protocols for state reversal. This includes chains with nearly uniform coupling that may be especially feasible for experimental implementation.\ 

}, url = {https://arxiv.org/abs/2003.02843}, author = {Aniruddha Bapat and Eddie Schoute and Alexey V. Gorshkov and Andrew M. Childs} } @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 {2363, title = {Non-equilibrium fixed points of coupled Ising models}, journal = {Phys. Rev. X }, volume = {10}, year = {2020}, month = {2/26/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevX.10.011039}, url = {https://arxiv.org/abs/1903.02569}, author = {Jeremy T. Young and Alexey V. Gorshkov and Michael Foss-Feig and Mohammad F. Maghrebi} } @article {2642, title = {Non-equilibrium steady state phases of the interacting Aubry-Andre-Harper model}, year = {2020}, month = {5/21/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2005.10835}, author = {Yongchan Yoo and Junhyun Lee and Brian Swingle} } @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 {2571, title = {A note on blind contact tracing at scale with applications to the COVID-19 pandemic}, year = {2020}, month = {4/10/2020}, abstract = {

The current COVID-19 pandemic highlights the utility of contact tracing, when combined with case isolation and social distancing, as an important tool for mitigating the spread of a disease [1]. Contact tracing provides a mechanism of identifying individuals with a high likelihood of previous exposure to a contagious disease, allowing additional precautions to be put in place to prevent continued transmission. Here we consider a cryptographic approach to contact tracing based on secure two-party computation (2PC). We begin by considering the problem of comparing a set of location histories held by two parties to determine whether they have come within some threshold distance while at the same time maintaining the privacy of the location histories. We propose a solution to this problem using pre-shared keys, adapted from an equality testing protocol due to Ishai et al [2]. We discuss how this protocol can be used to maintain privacy within practical contact tracing scenarios, including both app-based approaches and approaches which leverage location history held by telecoms and internet service providers. We examine the efficiency of this approach and show that existing infrastructure is sufficient to support anonymised contact tracing at a national level.

}, url = {https://arxiv.org/abs/2004.05116}, author = {Jack K. Fitzsimons and Atul Mantri and Robert Pisarczyk and Tom Rainforth and Zhikuan Zhao} } @article {2496, title = {On the nature of the non-equilibrium phase transition in the non-Markovian driven Dicke model}, year = {2019}, month = {2019/10/9}, abstract = {

The Dicke model famously exhibits a phase transition to a superradiant phase with a macroscopic population of photons and is realized in multiple settings in open quantum systems. In this work, we study a variant of the Dicke model where the cavity mode is lossy due to the coupling to a Markovian environment while the atomic mode is coupled to a colored bath. We analytically investigate this model by inspecting its low-frequency behavior via the Schwinger-Keldysh field theory and carefully examine the nature of the corresponding superradiant phase transition. Integrating out the fast modes, we can identify a simple effective theory allowing us to derive analytical expressions for various critical exponents, including those, such as the dynamical critical exponent, that have not been previously considered. We find excellent agreement with previous numerical results when the non-Markovian bath is at zero temperature; however, contrary to these studies, our low-frequency approach reveals that the same exponents govern the critical behavior when the colored bath is at finite temperature unless the chemical potential is zero. Furthermore, we show that the superradiant phase transition is classical in nature, while it is genuinely non-equilibrium. We derive a fractional Langevin equation and conjecture the associated fractional Fokker-Planck equation that capture the system\&$\#$39;s long-time memory as well as its non-equilibrium behavior. Finally, we consider finite-size effects at the phase transition and identify the finite-size scaling exponents, unlocking a rich behavior in both statics and dynamics of the photonic and atomic observables.

}, url = {https://arxiv.org/abs/1910.04319}, author = {Rex Lundgren and Alexey V. Gorshkov and Mohammad F. Maghrebi} } @article {2332, title = {Nearly optimal lattice simulation by product formulas}, journal = {Phys. Rev. Lett. }, volume = {123}, year = {2019}, month = {12/17/2019}, abstract = {

Product formulas provide a straightforward yet surprisingly efficient approach to quantum simulation. We show that this algorithm can simulate an n-qubit Hamiltonian with nearest-neighbor interactions evolving for time t using only (nt)1+o(1) gates. While it is reasonable to expect this complexity---in particular, this was claimed without rigorous justification by Jordan, Lee, and Preskill---we are not aware of a straightforward proof. Our approach is based on an analysis of the local error structure of product formulas, as introduced by Descombes and Thalhammer and significantly simplified here. We prove error bounds for canonical product formulas, which include well-known constructions such as the Lie-Trotter-Suzuki formulas. We also develop a local error representation for time-dependent Hamiltonian simulation, and we discuss generalizations to periodic boundary conditions, constant-range interactions, and higher dimensions. Combined with a previous lower bound, our result implies that product formulas can simulate lattice Hamiltonians with nearly optimal gate complexity.

}, doi = {https://doi.org/10.1103/PhysRevLett.123.050503}, url = {https://arxiv.org/abs/1901.00564}, author = {Andrew M. Childs and Yuan Su} } @article {2544, title = {New stepsizes for the gradient method}, journal = {Optim Lett }, year = {2019}, month = {1/28/2019}, abstract = {

Gradient methods are famous for their simplicity and low complexity, which attract more and more attention for large scale optimization problems. A good stepsize plays an important role to construct an efficient gradient method. This paper proposes a new framework to generate stepsizes for gradient methods applied to convex quadratic function minimization problems. By adopting different criterions, we propose four new gradient methods. For 2-dimensional unconstrained problems with convex quadratic objective functions, we prove that the new methods either terminate in finite iterations or converge R-superlinearly; for n-dimensional problems, we prove that all the new methods converge R-linearly. Numerical experiments show that the new methods enjoy lower complexity and outperform the existing gradient methods.

}, doi = {https://doi.org/10.1007/s11590-019-01512-y}, author = {Cong Sun and Jin-Peng Liu} } @article {2219, title = {On non-adaptive quantum chosen-ciphertext attacks and Learning with Errors}, journal = {14th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2019, June 3-5, 2019, University of Maryland, College Park, Maryland, USA}, year = {2019}, pages = {1:1-1:23 }, abstract = {

Large-scale quantum computing is a significant threat to classical public-key cryptography. In strong \"quantum access\" security models, numerous symmetric-key cryptosystems are also vulnerable. We consider classical encryption in a model which grants the adversary quantum oracle access to encryption and decryption, but where the latter is restricted to non-adaptive (i.e., pre-challenge) queries only. We define this model formally using appropriate notions of ciphertext indistinguishability and semantic security (which are equivalent by standard arguments) and call it QCCA1 in analogy to the classical CCA1 security model. Using a bound on quantum random-access codes, we show that the standard PRF- and PRP-based encryption schemes are QCCA1-secure when instantiated with quantum-secure primitives. We then revisit standard IND-CPA-secure Learning with Errors (LWE) encryption and show that leaking just one quantum decryption query (and no other queries or leakage of any kind) allows the adversary to recover the full secret key with constant success probability. In the classical setting, by contrast, recovering the key uses a linear number of decryption queries, and this is optimal. The algorithm at the core of our attack is a (large-modulus version of) the well-known Bernstein-Vazirani algorithm. We emphasize that our results should *not* be interpreted as a weakness of these cryptosystems in their stated security setting (i.e., post-quantum chosen-plaintext secrecy). Rather, our results mean that, if these cryptosystems are exposed to chosen-ciphertext attacks (e.g., as a result of deployment in an inappropriate real-world setting) then quantum attacks are even more devastating than classical ones.\ 

}, doi = {https://doi.org/10.4230/LIPIcs.TQC.2019.1}, url = {https://arxiv.org/abs/1808.09655}, author = {Gorjan Alagic and Stacey Jeffery and Maris Ozols and Alexander Poremba} } @article {2460, title = {Nondestructive cooling of an atomic quantum register via state-insensitive Rydberg interactions}, year = {2019}, month = {7/28/2019}, abstract = {

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

}, url = {https://arxiv.org/abs/1907.11156}, author = {Ron Belyansky and Jeremy T. Young and Przemyslaw Bienias and Zachary Eldredge and Adam M. Kaufman and Peter Zoller and Alexey V. Gorshkov} } @article {2464, title = {Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits}, year = {2019}, month = {8/16/2019}, abstract = {

Kliuchnikov, Maslov, and Mosca proved in 2012 that a 2\×2 unitary matrix V can be exactly represented by a single-qubit Clifford+T circuit if and only if the entries of V belong to the ring Z[1/2\–\√,i]. Later that year, Giles and Selinger showed that the same restriction applies to matrices that can be exactly represented by a multi-qubit Clifford+T circuit. These number-theoretic characterizations shed new light upon the structure of Clifford+T circuits and led to remarkable developments in the field of quantum compiling. In the present paper, we provide number-theoretic characterizations for certain restricted Clifford+T circuits by considering unitary matrices over subrings of Z[1/2\–\√,i]. We focus on the subrings Z[1/2], Z[1/2\–\√], Z[1/-2\−\−\√], and Z[1/2,i], and we prove that unitary matrices with entries in these rings correspond to circuits over well-known universal gate sets. In each case, the desired gate set is obtained by extending the set of classical reversible gates {X,CX,CCX} with an analogue of the Hadamard gate and an optional phase gate.

}, url = {https://arxiv.org/abs/1908.06076}, author = {Matthew Amy and Andrew N. Glaudell and Neil J. Ross} } @article {2312, title = {On the need for soft dressing}, journal = {High Energ. Phys. }, volume = {121}, year = {2018}, month = {2018}, abstract = {

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

}, author = {Daniel Carney and Laurent Chaurette and Dominik Neuenfeld and Gordon Semenoff} } @article {2260, title = {The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory}, year = {2018}, abstract = {

We show that it is possible to construct a preparation non-contextual ontological model that does not exhibit \"transformation contextuality\" for single qubits in the stabilizer subtheory. In particular, we consider the \"blowtorch\" map and show that it does not exhibit transformation contextuality under the Grassmann Wigner-Weyl-Moyal (WWM) qubit formalism. Furthermore, the transformation in this formalism can be fully expressed at order ℏ0 and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order ℏ0 corresponds to an ontological model governed by an additional set of constraints arising from the relations defining the Grassmann algebra. Due to this additional set of constraints, the allowed probability distributions in this model do not form a single convex set when expressed in terms of disjoint ontic states and so cannot be mapped to models whose states form a single convex set over disjoint ontic states. However, expressing the Grassmann WWM ontological model in terms of non-disjoint ontic states corresponding to the monomials of the Grassmann algebra results in a single convex set. We further show that a recent result by Lillystone et al. that proves a broad class of preparation and measurement non-contextual ontological models must exhibit transformation contextuality lacks the generality to include the ontological model considered here; Lillystone et al.\&$\#$39;s result is appropriately limited to ontological models whose states produce a single convex set when expressed in terms of disjoint ontic states. Therefore, we prove that for the qubit stabilizer subtheory to be captured by a preparation, transformation and measurement non-contextual ontological theory, it must be expressed in terms of non-disjoint ontic states, unlike the case for the odd-dimensional single-qudit stabilizer subtheory.

}, url = {https://arxiv.org/abs/1805.09514}, author = {Lucas Kocia and Peter Love} } @article {2049, title = {Nonlocal games, synchronous correlations, and Bell inequalities}, year = {2017}, month = {2017/09/21}, abstract = {

A nonlocal game with a synchronous correlation is a natural generalization of a function between two finite sets, and has recently appeared in the context of quantum graph homomorphisms. In this work we examine analogues of Bell\&$\#$39;s inequalities for synchronous correlations. We show that, unlike general correlations and the CHSH inequality, there can be no quantum Bell violation among synchronous correlations with two measurement settings. However we exhibit explicit analogues of Bell\&$\#$39;s inequalities for synchronous correlations with three measurement settings and two outputs, provide an analogue of Tsirl\&$\#$39;son\&$\#$39;s bound in this setting, and give explicit quantum correlations that saturate this bound.

}, url = {https://arxiv.org/abs/1707.06200}, author = {Brad Lackey and Nishant Rodrigues} } @article {1162, title = {Nonequilibrium many-body steady states via Keldysh formalism}, journal = {Physical Review B}, volume = {93}, year = {2016}, month = {2016/01/27}, pages = {014307}, abstract = { Many-body systems with both coherent dynamics and dissipation constitute a rich class of models which are nevertheless much less explored than their dissipationless counterparts. The advent of numerous experimental platforms that simulate such dynamics poses an immediate challenge to systematically understand and classify these models. In particular, nontrivial many-body states emerge as steady states under non-equilibrium dynamics. While these states and their phase transitions have been studied extensively with mean field theory, the validity of the mean field approximation has not been systematically investigated. In this paper, we employ a field-theoretic approach based on the Keldysh formalism to study nonequilibrium phases and phase transitions in a variety of models. In all cases, a complete description via the Keldysh formalism indicates a partial or complete failure of the mean field analysis. Furthermore, we find that an effective temperature emerges as a result of dissipation, and the universal behavior including the dynamics near the steady state is generically described by a thermodynamic universality class. }, doi = {10.1103/PhysRevB.93.014307}, url = {http://arxiv.org/abs/1507.01939}, author = {Mohammad F. Maghrebi and Alexey V. Gorshkov} } @article {1178, title = {Nearly-linear light cones in long-range interacting quantum systems}, journal = {Physical Review Letters}, volume = {114}, year = {2015}, month = {2015/04/13}, pages = {157201}, abstract = { In non-relativistic quantum theories with short-range Hamiltonians, a velocity $v$ can be chosen such that the influence of any local perturbation is approximately confined to within a distance $r$ until a time $t \sim r/v$, thereby defining a linear light cone and giving rise to an emergent notion of locality. In systems with power-law ($1/r^{\alpha}$) interactions, when $\alpha$ exceeds the dimension $D$, an analogous bound confines influences to within a distance $r$ only until a time $t\sim(\alpha/v)\log r$, suggesting that the velocity, as calculated from the slope of the light cone, may grow exponentially in time. We rule out this possibility; light cones of power-law interacting systems are algebraic for $\alpha>2D$, becoming linear as $\alpha\rightarrow\infty$. Our results impose strong new constraints on the growth of correlations and the production of entangled states in a variety of rapidly emerging, long-range interacting atomic, molecular, and optical systems. }, doi = {10.1103/PhysRevLett.114.157201}, url = {http://arxiv.org/abs/1410.3466v1}, author = {Michael Foss-Feig and Zhe-Xuan Gong and Charles W. Clark and Alexey V. Gorshkov} } @article {1530, title = {Nonequilibrium quantum fluctuations of a dispersive medium: Spontaneous emission, photon statistics, entropy generation, and stochastic motion }, journal = {Physical Review A}, volume = {90}, year = {2014}, month = {2014/7/16}, abstract = { We study the implications of quantum fluctuations of a dispersive medium, under steady rotation, either in or out of thermal equilibrium with its environment. A rotating object exhibits a quantum instability by dissipating its mechanical motion via spontaneous emission of photons, as well as internal heat generation. Universal relations are derived for the radiated energy and angular momentum as trace formulas involving the object{\textquoteright}s scattering matrix. We also compute the quantum noise by deriving the full statistics of the radiated photons out of thermal and/or dynamic equilibrium. The (entanglement) entropy generation is quantified, and the total entropy is shown to be always increasing. Furthermore, we derive a Fokker-Planck equation governing the stochastic angular motion resulting from the fluctuating back-reaction frictional torque. As a result, we find a quantum limit on the uncertainty of the object{\textquoteright}s angular velocity in steady rotation. Finally, we show in some detail that a rotating object drags nearby objects, making them spin parallel to its axis of rotation. A scalar toy model is introduced in the first part to simplify the technicalities and ease the conceptual complexities; a detailed discussion of quantum electrodynamics is presented in the second part. }, doi = {10.1103/PhysRevA.90.012515}, url = {http://arxiv.org/abs/1401.0701v1}, author = {Mohammad F. Maghrebi and Robert L. Jaffe and Mehran Kardar} } @article {1202, title = {Non-local propagation of correlations in long-range interacting quantum systems }, journal = {Nature}, volume = {511}, year = {2014}, month = {2014/7/9}, pages = {198 - 201}, abstract = { The maximum speed with which information can propagate in a quantum many-body system directly affects how quickly disparate parts of the system can become correlated and how difficult the system will be to describe numerically. For systems with only short-range interactions, Lieb and Robinson derived a constant-velocity bound that limits correlations to within a linear effective light cone. However, little is known about the propagation speed in systems with long-range interactions, since the best long-range bound is too loose to give the correct light-cone shape for any known spin model and since analytic solutions rarely exist. In this work, we experimentally determine the spatial and time-dependent correlations of a far-from-equilibrium quantum many-body system evolving under a long-range Ising- or XY-model Hamiltonian. For several different interaction ranges, we extract the shape of the light cone and measure the velocity with which correlations propagate through the system. In many cases we find increasing propagation velocities, which violate the Lieb-Robinson prediction, and in one instance cannot be explained by any existing theory. Our results demonstrate that even modestly-sized quantum simulators are well-poised for studying complicated many-body systems that are intractable to classical computation. }, doi = {10.1038/nature13450}, url = {http://arxiv.org/abs/1401.5088v1}, author = {Philip Richerme and Zhe-Xuan Gong and Aaron Lee and Crystal Senko and Jacob Smith and Michael Foss-Feig and Spyridon Michalakis and Alexey V. Gorshkov and Christopher Monroe} } @article {1519, title = {Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems }, year = {2014}, month = {2014/09/10}, abstract = { $\textit{Normalizer circuits}$ [1,2] are generalized Clifford circuits that act on arbitrary finite-dimensional systems $\mathcal{H}_{d_1}\otimes ... \otimes \mathcal{H}_{d_n}$ with a standard basis labeled by the elements of a finite Abelian group $G=\mathbb{Z}_{d_1}\times... \times \mathbb{Z}_{d_n}$. Normalizer gates implement operations associated with the group $G$ and can be of three types: quantum Fourier transforms, group automorphism gates and quadratic phase gates. In this work, we extend the normalizer formalism [1,2] to infinite dimensions, by allowing normalizer gates to act on systems of the form $\mathcal{H}_\mathbb{Z}^{\otimes a}$: each factor $\mathcal{H}_\mathbb{Z}$ has a standard basis labeled by $\textit{integers}$ $\mathbb{Z}$, and a Fourier basis labeled by $\textit{angles}$, elements of the circle group $\mathbb{T}$. Normalizer circuits become hybrid quantum circuits acting both on continuous- and discrete-variable systems. We show that infinite-dimensional normalizer circuits can be efficiently simulated classically with a generalized $\textit{stabilizer formalism}$ for Hilbert spaces associated with groups of the form $\mathbb{Z}^a\times \mathbb{T}^b \times \mathbb{Z}_{d_1}\times...\times \mathbb{Z}_{d_n}$. We develop new techniques to track stabilizer-groups based on normal forms for group automorphisms and quadratic functions. We use our normal forms to reduce the problem of simulating normalizer circuits to that of finding general solutions of systems of mixed real-integer linear equations [3] and exploit this fact to devise a robust simulation algorithm: the latter remains efficient even in pathological cases where stabilizer groups become infinite, uncountable and non-compact. The techniques developed in this paper might find applications in the study of fault-tolerant quantum computation with superconducting qubits [4,5]. }, url = {http://arxiv.org/abs/1409.3208v2}, author = {Juan Bermejo-Vega and Cedric Yen-Yu Lin and Maarten Van den Nest} } @article {1341, title = {A noise inequality for classical forces}, year = {2013}, month = {2013/11/18}, abstract = {Lorentz invariance requires local interactions, with force laws such as the Coulomb interaction arising via virtual exchange of force carriers such as photons. Many have considered the possibility that, at long distances or large mass scales, this process changes in some way to lead to classical behavior. Here we hypothesize that classical behavior could be due to an inability of some force carriers to convey entanglement, a characteristic measure of nonlocal, quantum behavior. We then prove that there exists a local test that allows one to verify entanglement generation, falsifying our hypothesis. Crucially, we show that noise measurements can directly verify entanglement generation. This provides a step forward for a wide variety of experimental systems where traditional entanglement tests are challenging, including entanglement generation by gravity alone between macroscopic torsional oscillators. }, url = {http://arxiv.org/abs/1311.4558v1}, author = {Dvir Kafri and J. M. Taylor} } @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 {1503, title = {Nanoplasmonic Lattices for Ultracold atoms}, journal = {Physical Review Letters}, volume = {109}, year = {2012}, month = {2012/12/6}, abstract = { We propose to use sub-wavelength confinement of light associated with the near field of plasmonic systems to create nanoscale optical lattices for ultracold atoms. Our approach combines the unique coherence properties of isolated atoms with the sub-wavelength manipulation and strong light-matter interaction associated with nano-plasmonic systems. It allows one to considerably increase the energy scales in the realization of Hubbard models and to engineer effective long-range interactions in coherent and dissipative many-body dynamics. Realistic imperfections and potential applications are discussed. }, doi = {10.1103/PhysRevLett.109.235309}, url = {http://arxiv.org/abs/1208.6293v3}, author = {Michael Gullans and T. Tiecke and D. E. Chang and J. Feist and J. D. Thompson and J. I. Cirac and P. Zoller and M. D. Lukin} } @article {1439, title = {Non-Additivity of the Entanglement of Purification (Beyond Reasonable Doubt) }, year = {2012}, month = {2012/06/06}, abstract = { We demonstrate the convexity of the difference between the regularized entanglement of purification and the entropy, as a function of the state. This is proved by means of a new asymptotic protocol to prepare a state from pre-shared entanglement and by local operations only. We go on to employ this convexity property in an investigation of the additivity of the (single-copy) entanglement of purification: using numerical results for two-qubit Werner states we find strong evidence that the entanglement of purification is different from its regularization, hence that entanglement of purification is not additive. }, url = {http://arxiv.org/abs/1206.1307v1}, author = {Jianxin Chen and Andreas Winter} } @article {1793, title = {Non-Recursively Constructible Recursive Families of Graphs}, journal = {The Electronic Journal of Combinatorics}, volume = {19}, year = {2012}, month = {2012/04/16}, abstract = {In a publication by Noy and Rib{\'o}, it was shown that recursively constructible families of graphs are recursive. The authors also conjecture that the converse holds; that is, recursive families are also recursively constructible. In this paper, we provide two specific counterexamples to this conjecture, which we then extend to an infinite family of counterexamples.}, url = {http://www.combinatorics.org/ojs/index.php/eljc/article/view/2211}, author = {Colleen Bouey and Christina Graves and Aaron Ostrander and Gregory Palma} } @article {1447, title = {No-go Theorem for One-way Quantum Computing on Naturally Occurring Two-level Systems }, journal = {Physical Review A}, volume = {83}, year = {2011}, month = {2011/5/9}, abstract = { One-way quantum computing achieves the full power of quantum computation by performing single particle measurements on some many-body entangled state, known as the resource state. As single particle measurements are relatively easy to implement, the preparation of the resource state becomes a crucial task. An appealing approach is simply to cool a strongly correlated quantum many-body system to its ground state. In addition to requiring the ground state of the system to be universal for one-way quantum computing, we also want the Hamiltonian to have non-degenerate ground state protected by a fixed energy gap, to involve only two-body interactions, and to be frustration-free so that measurements in the course of the computation leave the remaining particles in the ground space. Recently, significant efforts have been made to the search of resource states that appear naturally as ground states in spin lattice systems. The approach is proved to be successful in spin-5/2 and spin-3/2 systems. Yet, it remains an open question whether there could be such a natural resource state in a spin-1/2, i.e., qubit system. Here, we give a negative answer to this question by proving that it is impossible for a genuinely entangled qubit states to be a non-degenerate ground state of any two-body frustration-free Hamiltonian. What is more, we prove that every spin-1/2 frustration-free Hamiltonian with two-body interaction always has a ground state that is a product of single- or two-qubit states, a stronger result that is interesting independent of the context of one-way quantum computing. }, doi = {10.1103/PhysRevA.83.050301}, url = {http://arxiv.org/abs/1004.3787v1}, author = {Jianxin Chen and Xie Chen and Runyao Duan and Zhengfeng Ji and Bei Zeng} } @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 {1298, title = {Number Fluctuations and Energy Dissipation in Sodium Spinor Condensates}, journal = {Physical Review Letters}, volume = {102}, year = {2009}, month = {2009/6/5}, abstract = { We characterize fluctuations in atom number and spin populations in F=1 sodium spinor condensates. We find that the fluctuations enable a quantitative measure of energy dissipation in the condensate. The time evolution of the population fluctuations shows a maximum. We interpret this as evidence of a dissipation-driven separatrix crossing in phase space. For a given initial state, the critical time to the separatrix crossing is found to depend exponentially on the magnetic field and linearly on condensate density. This crossing is confirmed by tracking the energy of the spinor condensate as well as by Faraday rotation spectroscopy. We also introduce a phenomenological model that describes the observed dissipation with a single coefficient. }, doi = {10.1103/PhysRevLett.102.225301}, url = {http://arxiv.org/abs/0906.2110v1}, author = {Yingmei Liu and Eduardo Gomez and Stephen E. Maxwell and Lincoln D. Turner and Eite Tiesinga and Paul D. Lett} } @article {1588, title = {N-representability is QMA-complete}, journal = {Phys. Rev. Lett.}, volume = {98}, year = {2007}, month = {2007/03/16}, abstract = {We study the computational complexity of the N-representability problem in quantum chemistry. We show that this problem is quantum Merlin-Arthur complete, which is the quantum generalization of nondeterministic polynomial time complete. Our proof uses a simple mapping from spin systems to fermionic systems, as well as a convex optimization technique that reduces the problem of finding ground states to N representability.}, doi = {10.1103/PhysRevLett.98.110503}, url = {http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.98.110503}, author = {Yi-Kai Liu and Matthias Christandl and F. Verstraete} }