@article {3486, title = {Average R{\'e}nyi Entanglement Entropy in Gaussian Boson Sampling}, year = {2024}, month = {3/27/2024}, abstract = {

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

}, url = {https://arxiv.org/abs/2403.18890}, author = {Jason Youm and Joseph T. Iosue and Adam Ehrenberg and Yu-Xin Wang and Alexey V. Gorshkov} } @article {3514, title = {Continuous-Variable Quantum State Designs: Theory and Applications}, journal = {Phys. Rev. X}, volume = {14}, year = {2024}, month = {2/8/2024}, pages = {011013}, abstract = {

We generalize the notion of quantum state designs to infinite-dimensional spaces. We first prove that, under the definition of continuous-variable (CV) state\ t-designs from [Blume-Kohout et al., Commun. Math. Phys. 326, 755 (2014)], no state designs exist for\ t\≥2. Similarly, we prove that no CV unitary\ t-designs exist for t\≥2. We propose an alternative definition for CV state designs, which we call rigged\ t-designs, and provide explicit constructions for\ t\ =\ 2. As an application of rigged designs, we develop a design-based shadow-tomography protocol for CV states. Using energy-constrained versions of rigged designs, we define an average fidelity for CV quantum channels and relate this fidelity to the CV entanglement fidelity. As an additional result of independent interest, we establish a connection between torus 2-designs and complete sets of mutually unbiased bases.

}, doi = {10.1103/PhysRevX.14.011013}, url = {https://link.aps.org/doi/10.1103/PhysRevX.14.011013}, author = {Iosue, Joseph T. and Sharma, Kunal and Michael Gullans and Albert, Victor V.} } @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 {3422, title = {Lattice quantum chromodynamics at large isospin density: 6144 pions in a box}, year = {2023}, month = {7/27/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2307.15014}, author = {Ryan Abbott and William Detmold and Fernando Romero-L{\'o}pez and Zohreh Davoudi and Marc Illa and Assumpta Parre{\~n}o and Robert J. Perry and Phiala E. Shanahan and Michael L. Wagman} } @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 {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 {3405, title = {Projective toric designs, difference sets, and quantum state designs}, year = {2023}, month = {11/22/2023}, abstract = {

Trigonometric cubature rules of degree t are sets of points on the torus over which sums reproduce integrals of degree t monomials over the full torus. They can be thought of as t-designs on the torus. Motivated by the projective structure of quantum mechanics, we develop the notion of t-designs on the projective torus, which, surprisingly, have a much more restricted structure than their counterparts on full tori. We provide various constructions of these projective toric designs and prove some bounds on their size and characterizations of their structure. We draw connections between projective toric designs and a diverse set of mathematical objects, including difference and Sidon sets from the field of additive combinatorics, symmetric, informationally complete positive operator valued measures (SIC-POVMs) and complete sets of mutually unbiased bases (MUBs) (which are conjectured to relate to finite projective geometry) from quantum information theory, and crystal ball sequences of certain root lattices. Using these connections, we prove bounds on the maximal size of dense Btmodm sets. We also use projective toric designs to construct families of quantum state designs. Finally, we discuss many open questions about the properties of these projective toric designs and how they relate to other questions in number theory, geometry, and quantum information.

}, url = {https://arxiv.org/abs/2311.13479}, author = {Joseph T. Iosue and T. C. Mooney and Adam Ehrenberg and Alexey V. Gorshkov} } @article {3417, title = {Quantum spherical codes}, year = {2023}, month = {12/7/2023}, abstract = {

We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large separation that at the same time form averaging sets known as spherical designs. We also recast concatenations of CSS codes with cat codes as quantum spherical codes, revealing a new way to autonomously protect against dephasing noise

}, url = {https://arxiv.org/abs/2302.11593}, author = {Shubham P. Jain and Joseph T. Iosue and Alexander Barg and Victor V. Albert} } @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 {3429, title = {On the Rational Degree of Boolean Functions and Applications}, year = {2023}, month = {10/12/2023}, abstract = {

We study a natural complexity measure of Boolean functions known as the (exact) rational degree. For total functions f, it is conjectured that rdeg(f) is polynomially related to deg(f), where deg(f) is the Fourier degree. Towards this conjecture, we show that symmetric functions have rational degree at least deg(f)/2 and monotone functions have rational degree at least deg(f)\−\−\−\−\−\√. We observe that both of these lower bounds are tight. In addition, we show that all read-once depth-d Boolean formulae have rational degree at least Ω(deg(f)1/d). Furthermore, we show that almost every Boolean function on n variables has rational degree at least n/2\−O(n\−\−\√).
In contrast to total functions, we exhibit partial functions that witness unbounded separations between rational and approximate degree, in both directions. As a consequence, we show that for quantum computers, post-selection and bounded-error are incomparable resources in the black-box model.

}, url = {arXiv:2310.08004}, author = {Vishnu Iyer and Siddhartha Jain and Matt Kovacs-Deak and Vinayak M. Kumar and Luke Schaeffer and Daochen Wang and Michael Whitmeyer} } @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 {3010, title = {Arline Benchmarks: Automated Benchmarking Platform for Quantum Compilers}, year = {2022}, month = {3/28/2022}, abstract = {

Efficient compilation of quantum algorithms is vital in the era of Noisy Intermediate-Scale Quantum (NISQ) devices. While multiple open-source quantum compilation and circuit optimization frameworks are available, e.g. IBM Qiskit, CQC Tket, Google Cirq, Rigetti Quilc, PyZX, their relative performance is not always clear to a quantum programmer. The growth of complexity and diversity of quantum circuit compilation algorithms creates a demand for a dedicated tool for cross-benchmarking and profiling of inner workflow of the quantum compilation stack. We present an open-source software package, Arline Benchmarks, that is designed to perform automated benchmarking of quantum compilers with the focus on NISQ applications. The name \"Arline\" was given in honour of Arline Greenbaum Feynman, the first wife of Richard Feynman, the pioneer of quantum computing. We compared several quantum compilation frameworks based on a set of important metrics such as post-optimization gate counts, circuit depth, hardware-dependent circuit cost function, compiler run time etc. with a detailed analysis of metrics for each compilation stage. We performed a variety of compiler tests for random circuits and structured quantum algorithms (VQE, Trotter decomposition, Grover search, Option Pricing via Amplitude Estimation) for several popular quantum hardware architectures. Leveraging cross-platform functionality of Arline, we propose a concept of composite compilation pipeline that combines compiler-specific circuit optimization subroutines in a single compilation stack and finds an optimized sequence of compilation passes. By providing detailed insights into the compilation flow of quantum compilers, Arline Benchmarks offers a valuable toolkit for quantum computing researchers and software developers to gain additional insights into compilers\&$\#$39; characteristics.

}, keywords = {FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph), Software Engineering (cs.SE)}, doi = {10.48550/ARXIV.2202.14025}, url = {https://arxiv.org/abs/2202.14025}, author = {Kharkov, Y. and Ivanova, A. and Mikhantiev, E. and Kotelnikov, A.} } @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 {3124, title = {Quantum Many-Body Scars from Einstein-Podolsky-Rosen States in Bilayer Systems}, year = {2022}, month = {9/12/2022}, abstract = {

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

}, keywords = {FOS: Physical sciences, Strongly Correlated Electrons (cond-mat.str-el)}, doi = {10.48550/ARXIV.2209.05527}, url = {https://arxiv.org/abs/2209.05527}, author = {Wildeboer, Julia and Langlett, Christopher M. and Yang, Zhi-Cheng and Alexey V. Gorshkov and Iadecola, Thomas and Xu, Shenglong} } @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 {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 {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 {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 {2671, title = {Quench Dynamics of a Fermi Gas with Strong Long-Range Interactions}, journal = {Phys. Rev. X}, volume = {11}, year = {2021}, month = {5/24/2021}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevX.11.021036}, url = {https://arxiv.org/abs/2010.05871}, author = {Elmer Guardado-Sanchez and Benjamin M. Spar and Peter Schauss and Ron Belyansky and Jeremy T. Young and Przemyslaw Bienias and Alexey V. Gorshkov and Thomas Iadecola and Waseem S. Bakr} } @article {2808, title = {Rainbow Scars: From Area to Volume Law}, year = {2021}, month = {7/12/2021}, abstract = {

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

}, url = {https://arxiv.org/abs/2107.03416}, author = {Christopher M. Langlett and Zhi-Cheng Yang and Julia Wildeboer and Alexey V. Gorshkov and Thomas Iadecola and Shenglong Xu} } @article {2498, title = {Hilbert-Space Fragmentation from Strict Confinement}, journal = {Phys. Rev. Lett.}, volume = {124}, year = {2020}, month = {5/22/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevLett.124.207602}, url = {https://arxiv.org/abs/1912.04300}, author = {Zhi-Cheng Yang and Fangli Liu and Alexey V. Gorshkov and Thomas Iadecola} } @article {2720, title = {Localization and criticality in antiblockaded 2D Rydberg atom arrays}, year = {2020}, month = {12/7/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2012.03946}, author = {Fangli Liu and Zhi-Cheng Yang and Przemyslaw Bienias and Thomas Iadecola and Alexey V. Gorshkov} } @article {2586, title = {Probing XY phase transitions in a Josephson junction array with tunable frustration}, year = {2020}, month = {1/22/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2001.07877}, author = {R. Cosmic and K. Kawabata and Y. Ashida and H. Ikegami and S. Furukawa and P. Patil and J. M. Taylor and Y. Nakamura} } @article {2265, title = {Probing ground-state phase transitions through quench dynamics}, journal = {Phys. Rev. Lett.}, volume = {123}, year = {2019}, month = {9/11/2019}, abstract = {

The study of quantum phase transitions requires the preparation of a many-body system near its ground state, a challenging task for many experimental systems. The measurement of quench dynamics, on the other hand, is now a routine practice in most cold atom platforms. Here we show that quintessential ingredients of quantum phase transitions can be probed directly with quench dynamics in integrable and nearly integrable systems. As a paradigmatic example, we study global quench dynamics in a transverse-field Ising model with either short-range or long-range interactions. When the model is integrable, we discover a new dynamical critical point with a non-analytic signature in the short-range correlators. The location of the dynamical critical point matches that of the quantum critical point and can be identified using a finite-time scaling method. We extend this scaling picture to systems near integrability and demonstrate the continued existence of a dynamical critical point detectable at prethermal time scales. Therefore, our method can be used to approximately locate the quantum critical point. The scaling method is also relevant to experiments with finite time and system size, and our predictions are testable in near-term experiments with trapped ions and Rydberg atoms.

}, doi = {https://doi.org/10.1103/PhysRevLett.123.115701}, url = {https://arxiv.org/abs/1809.06377}, author = {Paraj Titum and Joseph T. Iosue and James R. Garrison and Alexey V. Gorshkov and Zhe-Xuan Gong} } @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 {2272, title = {Circuit QED-based measurement of vortex lattice order in a Josephson junction array}, journal = {Phys. Rev. B 98, 060501}, year = {2018}, month = {2018/03/12}, abstract = {

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

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

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

}, doi = {10.1364/OPTICA.5.000152}, url = {https://www.osapublishing.org/optica/abstract.cfm?uri=optica-5-2-152}, author = {Kazuyuki Takeda and Kentaro Nagasaka and Atsushi Noguchi and Rekishu Yamazaki and Yasunobu Nakamura and Eiji Iwase and J. M. Taylor and Koji Usami} } @article {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 {2048, title = {On the readiness of quantum optimization machines for industrial applications}, year = {2017}, month = {2017/08/31}, abstract = {

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

}, url = {https://arxiv.org/abs/1708.09780}, author = {Alejandro Perdomo-Ortiz and Alexander Feldman and Asier Ozaeta and Sergei V. Isakov and Zheng Zhu and Bryan O{\textquoteright}Gorman and Helmut G. Katzgraber and Alexander Diedrich and Hartmut Neven and Johan de Kleer and Brad Lackey and Rupak Biswas} } @article {1774, title = {Mapping constrained optimization problems to quantum annealing with application to fault diagnosis}, year = {2016}, abstract = {Current quantum annealing (QA) hardware suffers from practical limitations such as finite temperature, sparse connectivity, small qubit numbers, and control error. We propose new algorithms for mapping boolean constraint satisfaction problems (CSPs) onto QA hardware mitigating these limitations. In particular we develop a new embedding algorithm for mapping a CSP onto a hardware Ising model with a fixed sparse set of interactions, and propose two new decomposition algorithms for solving problems too large to map directly into hardware. The mapping technique is locally-structured, as hardware compatible Ising models are generated for each problem constraint, and variables appearing in different constraints are chained together using ferromagnetic couplings. In contrast, global embedding techniques generate a hardware independent Ising model for all the constraints, and then use a minor-embedding algorithm to generate a hardware compatible Ising model. We give an example of a class of CSPs for which the scaling performance of D-Wave{\textquoteright}s QA hardware using the local mapping technique is significantly better than global embedding. We validate the approach by applying D-Wave{\textquoteright}s hardware to circuit-based fault-diagnosis. For circuits that embed directly, we find that the hardware is typically able to find all solutions from a min-fault diagnosis set of size N using 1000N samples, using an annealing rate that is 25 times faster than a leading SAT-based sampling method. Further, we apply decomposition algorithms to find min-cardinality faults for circuits that are up to 5 times larger than can be solved directly on current hardware.}, url = {http://arxiv.org/abs/1603.03111}, author = {Bian, Zhengbing and Chudak, Fabian and Israel, Robert and Lackey, Brad and Macready, William G and Roy, Aidan} } @article {1859, title = {Mapping contrained optimization problems to quantum annealing with application to fault diagnosis}, journal = {Frontiers in ICT}, volume = {3}, year = {2016}, month = {2016/07/28}, pages = {14}, abstract = {

Current quantum annealing (QA) hardware suffers from practical limitations such as finite\ temperature, sparse connectivity, small qubit numbers, and control error. We propose new algorithms for\ mapping Boolean constraint satisfaction problems (CSPs) onto QA hardware mitigating these limitations.\ In particular, we develop a new embedding algorithm for mapping a CSP onto a hardware Ising model with\ a fixed sparse set of interactions and propose two new decomposition algorithms for solving problems too\ large to map directly into hardware. The mapping technique is locally structured, as hardware compatible\ Ising models are generated for each problem constraint, and variables appearing in different constraints are\ chained together using ferromagnetic couplings. By contrast, global embedding techniques generate a\ hardware-independent Ising model for all the constraints, and then use a minor-embedding algorithm to\ generate\ a hardware compatible Ising model. We give an example of a class of CSPs for which the scaling\ performance\ of the D-Wave hardware using the local mapping technique is significantly better than global\ embedding. We validate\ the approach by applying D- Wave\’s QA hardware to circuit-based fault diagnosis.\ For circuits that embed directly, we\ find that the hardware is typically able to find all solutions from a\ min-fault diagnosis set of size N using 1000 N samples,\ using an annealing rate that is 25 times faster than\ a leading SAT-based sampling method. Furthermore, we apply\ decomposition algorithms to find min-cardinality\ faults for circuits that are up to 5 times larger than can be solved directly on current hardware.

}, url = {http://journal.frontiersin.org/article/10.3389/fict.2016.00014/full}, author = {Bian, Zhengbing and Chudak, Fabian and Robert Brian Israel and Brad Lackey and Macready, William G and Aiden Roy} } @article {bian2014discrete, title = {Discrete optimization using quantum annealing on sparse Ising models}, journal = {Frontiers in Physics}, volume = {2}, year = {2014}, month = {2014/09/01}, pages = {56}, publisher = {Frontiers}, abstract = {This paper discusses techniques for solving discrete optimization problems using quantum annealing. Practical issues likely to affect the computation include precision limitations, finite temperature, bounded energy range, sparse connectivity, and small numbers of qubits. To address these concerns we propose a way of finding energy representations with large classical gaps between ground and first excited states, efficient algorithms for mapping non-compatible Ising models into the hardware, and the use of decomposition methods for problems that are too large to fit in hardware. We validate the approach by describing experiments with D-Wave quantum hardware for low density parity check decoding with up to 1000 variables.}, author = {Bian, Zhengbing and Chudak, Fabian and Israel, Robert and Brad Lackey and Macready, William G and Roy, Aidan} } @article {1231, title = {Quantum computation of discrete logarithms in semigroups}, journal = {Journal of Mathematical Cryptology}, volume = {8}, year = {2014}, month = {2014/01/1}, abstract = { We describe an efficient quantum algorithm for computing discrete logarithms in semigroups using Shor{\textquoteright}s algorithms for period finding and discrete log as subroutines. Thus proposed cryptosystems based on the presumed hardness of discrete logarithms in semigroups are insecure against quantum attacks. In contrast, we show that some generalizations of the discrete log problem are hard in semigroups despite being easy in groups. We relate a shifted version of the discrete log problem in semigroups to the dihedral hidden subgroup problem, and we show that the constructive membership problem with respect to $k \ge 2$ generators in a black-box abelian semigroup of order $N$ requires $\tilde \Theta(N^{\frac{1}{2}-\frac{1}{2k}})$ quantum queries. }, doi = {10.1515/jmc-2013-0038}, url = {http://arxiv.org/abs/1310.6238v2}, author = {Andrew M. Childs and G{\'a}bor Ivanyos} } @article {1270, title = {Quantum Catalysis of Magnetic Phase Transitions in a Quantum Simulator}, journal = {Physical Review Letters}, volume = {111}, year = {2013}, month = {2013/9/5}, abstract = { We control quantum fluctuations to create the ground state magnetic phases of a classical Ising model with a tunable longitudinal magnetic field using a system of 6 to 10 atomic ion spins. Due to the long-range Ising interactions, the various ground state spin configurations are separated by multiple first-order phase transitions, which in our zero temperature system cannot be driven by thermal fluctuations. We instead use a transverse magnetic field as a quantum catalyst to observe the first steps of the complete fractal devil{\textquoteright}s staircase, which emerges in the thermodynamic limit and can be mapped to a large number of many-body and energy-optimization problems. }, doi = {10.1103/PhysRevLett.111.100506}, url = {http://arxiv.org/abs/1303.6983v2}, author = {Philip Richerme and Crystal Senko and Simcha Korenblit and Jacob Smith and Aaron Lee and Rajibul Islam and Wesley C. Campbell and Christopher Monroe} } @article {1492, title = {Quantum Simulation of Spin Models on an Arbitrary Lattice with Trapped Ions }, journal = {New Journal of Physics}, volume = {14}, year = {2012}, month = {2012/09/27}, pages = {095024}, abstract = { A collection of trapped atomic ions represents one of the most attractive platforms for the quantum simulation of interacting spin networks and quantum magnetism. Spin-dependent optical dipole forces applied to an ion crystal create long-range effective spin-spin interactions and allow the simulation of spin Hamiltonians that possess nontrivial phases and dynamics. Here we show how appropriate design of laser fields can provide for arbitrary multidimensional spin-spin interaction graphs even for the case of a linear spatial array of ions. This scheme uses currently existing trap technology and is scalable to levels where classical methods of simulation are intractable. }, doi = {10.1088/1367-2630/14/9/095024}, url = {http://arxiv.org/abs/1201.0776v1}, author = {Simcha Korenblit and Dvir Kafri and Wess C. Campbell and Rajibul Islam and Emily E. Edwards and Zhe-Xuan Gong and Guin-Dar Lin and Luming Duan and Jungsang Kim and Kihwan Kim and Christopher Monroe} } @article {1365, title = {Quantum information processing using localized ensembles of nuclear spins}, year = {2004}, month = {2004/07/23}, abstract = {We describe a technique for quantum information processing based on localized en sembles of nuclear spins. A qubit is identified as the presence or absence of a collective excitation of a mesoscopic ensemble of nuclear spins surrounding a single quantum dot. All single and two-qubit operations can be effected using hyperfine interactions and single-electron spin rotations, hence the proposed scheme avoids gate errors arising from entanglement between spin and orbital degrees of freedom. Ultra-long coherence times of nuclear spins suggest that this scheme could be particularly well suited for applications where long lived memory is essential. }, url = {http://arxiv.org/abs/cond-mat/0407640v2}, author = {J. M. Taylor and G. Giedke and H. Christ and B. Paredes and J. I. Cirac and P. Zoller and M. D. Lukin and A. Imamoglu} } @article {1366, title = {Controlling a mesoscopic spin environment by quantum bit manipulation}, journal = {Physical Review Letters}, volume = {91}, year = {2003}, month = {2003/12/10}, abstract = {We present a unified description of cooling and manipulation of a mesoscopic bath of nuclear spins via coupling to a single quantum system of electronic spin (quantum bit). We show that a bath cooled by the quantum bit rapidly saturates. Although the resulting saturated states of the spin bath ({\textquoteleft}{\textquoteleft}dark states{\textquoteright}{\textquoteright}) generally have low degrees of polarization and purity, their symmetry properties make them a valuable resource for the coherent manipulation of quantum bits. Specifically, we demonstrate that the dark states of nuclear ensembles can be used to coherently control the system-bath interaction and to provide a robust, long-lived quantum memory for qubit states. }, doi = {10.1103/PhysRevLett.91.246802}, url = {http://arxiv.org/abs/cond-mat/0308459v1}, author = {J. M. Taylor and A. Imamoglu and M. D. Lukin} }