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

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

}, url = {https://arxiv.org/abs/2403.00054}, author = {Xingrui Song and Flavio Salvati and Chandrashekhar Gaikwad and Nicole Yunger Halpern and David R. M. Arvidsson-Shukur and Kater Murch} } @article {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 {3257, title = {Accelerating Progress Towards Practical Quantum Advantage: The Quantum Technology Demonstration Project Roadmap}, year = {2023}, month = {3/20/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2210.14757}, author = {Paul Alsing and Phil Battle and Joshua C. Bienfang and Tammie Borders and Tina Brower-Thomas and Lincoln D. Carr and Fred Chong and Siamak Dadras and Brian DeMarco and Ivan Deutsch and Eden Figueroa and Danna Freedman and Henry Everitt and Daniel Gauthier and Ezekiel Johnston-Halperin and Jungsang Kim and Mackillo Kira and Prem Kumar and Paul Kwiat and John Lekki and Anjul Loiacono and Marko Lon{\v c}ar and John R. Lowell and Mikhail Lukin and Celia Merzbacher and Aaron Miller and Christopher Monroe and Johannes Pollanen and David Pappas and Michael Raymer and Ronald Reano and Brandon Rodenburg and Martin Savage and Thomas Searles and Jun Ye} } @article {3409, title = {Accurate and Honest Approximation of Correlated Qubit Noise}, year = {2023}, month = {11/15/2023}, abstract = {

Accurate modeling of noise in realistic quantum processors is critical for constructing fault-tolerant quantum computers. While a full simulation of actual noisy quantum circuits provides information about correlated noise among all qubits and is therefore accurate, it is, however, computationally expensive as it requires resources that grow exponentially with the number of qubits. In this paper, we propose an efficient systematic construction of approximate noise channels, where their accuracy can be enhanced by incorporating noise components with higher qubit-qubit correlation degree. To formulate such approximate channels, we first present a method, dubbed the cluster expansion approach, to decompose the Lindbladian generator of an actual Markovian noise channel into components based on interqubit correlation degree. We then generate a k-th order approximate noise channel by truncating the cluster expansion and incorporating noise components with correlations up to the k-th degree. We require that the approximate noise channels must be accurate and also \"honest\", i.e., the actual errors are not underestimated in our physical models. As an example application, we apply our method to model noise in a three-qubit quantum processor that stabilizes a [[2,0,0]] codeword, which is one of the four Bell states. We find that, for realistic noise strength typical for fixed-frequency superconducting qubits coupled via always-on static interactions, correlated noise beyond two-qubit correlation can significantly affect the code simulation accuracy. Since our approach provides a systematic noise characterization, it enables the potential for accurate, honest and scalable approximation to simulate large numbers of qubits from full modeling or experimental characterizations of small enough quantum subsystems, which are efficient but still retain essential noise features of the entire device.

}, url = {https://arxiv.org/abs/2311.09305}, author = {F. Setiawan and Alexander V. Gramolin and Elisha S. Matekole and Hari Krovi and Jacob M. Taylor} } @article {3056, title = {Advantages and limitations of quantum routing}, journal = {PRX Quantum}, volume = {4}, year = {2023}, month = {2/1/2023}, abstract = {

The Swap gate is a ubiquitous tool for moving information on quantum hardware, yet it can be considered a classical operation because it does not entangle product states. Genuinely quantum operations could outperform Swap for the task of permuting qubits within an architecture, which we call routing. We consider quantum routing in two models: (1) allowing arbitrary two-qubit unitaries, or (2) allowing Hamiltonians with norm-bounded interactions. We lower bound the circuit depth or time of quantum routing in terms of spectral properties of graphs representing the architecture interaction constraints, and give a generalized upper bound for all simple connected n-vertex graphs. In particular, we give conditions for a superpolynomial classical-quantum routing separation, which exclude graphs with a small spectral gap and graphs of bounded degree. Finally, we provide examples of a quadratic separation between gate-based and Hamiltonian routing models with a constant number of local ancillas per qubit and of an Ω(n) speedup if we also allow fast local interactions.

}, keywords = {Data Structures and Algorithms (cs.DS), FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {https://doi.org/10.1103/PRXQuantum.4.010313}, url = {https://arxiv.org/abs/2206.01766}, author = {Bapat, Aniruddha and Andrew M. Childs and Alexey V. Gorshkov and Schoute, Eddie} } @article {3246, title = {Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels}, year = {2023}, month = {3/26/2023}, abstract = {

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

}, url = {https://arxiv.org/abs/2303.14844}, author = {Xuchen You and Shouvanik Chakrabarti and Boyang Chen and Xiaodi Wu} } @article {3078, title = {Accurate and Efficient Quantum Computations of Molecular Properties Using Daubechies Wavelet Molecular Orbitals: A Benchmark Study against Experimental Data}, journal = {PRX Quantum}, volume = {3}, year = {2022}, month = {5/28/2022}, pages = {020360}, abstract = {

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

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

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

}, doi = {https://doi.org/10.1007/978-3-030-87216-8_6}, author = {Dominik Hangleiter and Jacques Carolan and Karim P. Y. Th{\'e}bault} } @article {3001, title = {Approximating Output Probabilities of Shallow Quantum Circuits which are Geometrically-local in any Fixed Dimension}, journal = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {232}, year = {2022}, month = {4/7/2022}, pages = {9:1--9:17}, type = {17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)}, abstract = {

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

}, keywords = {Computational Complexity (cs.CC), FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph)}, isbn = {978-3-95977-237-2}, issn = {1868-8969}, doi = {10.48550/ARXIV.2202.08349}, url = {https://arxiv.org/abs/2202.08349}, author = {Dontha, Suchetan and Tan, Shi Jie Samuel and Smith, Stephen and Choi, Sangheon and Matthew Coudron} } @article {2715, title = {Approximating the two-mode two-photon Rabi model}, journal = {Physics Letters A}, volume = {422}, year = {2022}, month = {01/17/2022}, chapter = {127779}, abstract = {

The Rabi model describes the simplest nontrivial interaction between a few-level system and a bosonic mode, featuring in multiple seemingly unrelated systems of importance to quantum science and technology. While exact expressions for the energies of this model and its few-mode extensions have been obtained, they involve roots of transcendental functions and are thus cumbersome and unintuitive. Utilizing the symmetric generalized rotating wave approximation (S-GRWA), we develop a family of approximations to the energies of the two-mode two-photon Rabi model. The simplest elements of the family are analytically tractable, providing good approximations in regimes of interest such as ultra- and deep-strong coupling. Higher-order approximate energies can be used if more accuracy is required.\ 

}, doi = {https://doi.org/10.1016/j.physleta.2021.127779}, url = {https://arxiv.org/abs/2012.06994}, author = {David H. Wu and Victor V. Albert} } @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 {2858, title = {Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra}, year = {2021}, month = {10/13/2021}, abstract = {

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

}, doi = {https://doi.org/10.1145/3519939.3523713}, url = {https://arxiv.org/abs/2110.07018}, author = {Yuxiang Peng and Mingsheng Ying and Xiaodi Wu} } @article {2691, title = {Approximate Bacon-Shor Code and Holography}, journal = {Journal of High Energy Physics}, volume = {2021}, year = {2021}, month = {5/14/2021}, abstract = {

We construct an explicit and solvable toy model for the AdS/CFT correspondence in the form of an approximate quantum error correction code with a non-trivial center in the code subalgebra. Specifically, we use the Bacon-Shor codes and perfect tensors to construct a gauge code (or a stabilizer code with gauge-fixing), which we call the holographic hybrid code. This code admits a local log-depth encoding/decoding circuit, and can be represented as a holographic tensor network which satisfies an analog of the Ryu-Takayanagi formula and reproduces features of the sub-region duality. We then construct approximate versions of the holographic hybrid codes by \"skewing\" the code subspace, where the size of skewing is analogous to the size of the gravitational constant in holography. These approximate hybrid codes are not necessarily stabilizer codes, but they can be expressed as the superposition of holographic tensor networks that are stabilizer codes. For such constructions, different logical states, representing different bulk matter content, can \"back-react\" on the emergent geometry, resembling a key feature of gravity. The locality of the bulk degrees of freedom becomes subspace-dependent and approximate. Such subspace-dependence is manifest in the form of bulk operator reconstruction from the boundary. Exact complementary error correction breaks down for certain bipartition of the boundary degrees of freedom; however, a limited, state-dependent form is preserved for particular subspaces. We also construct an example where the connected two-point correlation functions can have a power-law decay. Coupled with known constraints from holography, a weakly back-reacting bulk also forces these skewed tensor network models to the \"large N limit\" where they are built by concatenating a large N number of copies.

}, doi = {https://doi.org/10.1007/JHEP05(2021)127}, url = {https://arxiv.org/abs/2010.05960}, author = {ChunJun Cao and Brad Lackey} } @article {2299, title = {Accessing scrambling using matrix product operators}, journal = {Nature Physics }, volume = {16}, year = {2020}, month = {2/2020}, pages = {199-204}, abstract = {

Scrambling, a process in which quantum information spreads over a complex quantum system becoming inaccessible to simple probes, happens in generic chaotic quantum many-body systems, ranging from spin chains, to metals, even to black holes. Scrambling can be measured using out-of-time-ordered correlators (OTOCs), which are closely tied to the growth of Heisenberg operators. In this work, we present a general method to calculate OTOCs of local operators in local one-dimensional systems based on approximating Heisenberg operators as matrix-product operators (MPOs). Contrary to the common belief that such tensor network methods work only at early times, we show that the entire early growth region of the OTOC can be captured using an MPO approximation with modest bond dimension. We analytically establish the goodness of the approximation by showing that if an appropriate OTOC is close to its initial value, then the associated Heisenberg operator has low entanglement across a given cut. We use the method to study scrambling in a chaotic spin chain with 201 sites. Based on this data and OTOC results for black holes, local random circuit models, and non-interacting systems, we conjecture a universal form for the dynamics of the OTOC near the wavefront. We show that this form collapses the chaotic spin chain data over more than fifteen orders of magnitude.

}, doi = {https://doi.org/10.1038/s41567-019-0712-4}, url = {https://arxiv.org/abs/1802.00801}, author = {Shenglong Xu and Brian Swingle} } @article {2694, title = {Approximate optimization of MAXCUT with a local spin algorithm}, year = {2020}, month = {8/13/2020}, abstract = {

Local tensor methods are a class of optimization algorithms that was introduced in [Hastings,arXiv:1905.07047v2][1] as a classical analogue of the quantum approximate optimization algorithm (QAOA). These algorithms treat the cost function as a Hamiltonian on spin degrees of freedom and simulate the relaxation of the system to a low energy configuration using local update rules on the spins. Whereas the emphasis in [1] was on theoretical worst-case analysis, we here investigate performance in practice through benchmarking experiments on instances of the MAXCUT problem.Through heuristic arguments we propose formulas for choosing the hyperparameters of the algorithm which are found to be in good agreement with the optimal choices determined from experiment. We observe that the local tensor method is closely related to gradient descent on a relaxation of maxcut to continuous variables, but consistently outperforms gradient descent in all instances tested. We find time to solution achieved by the local tensor method is highly uncorrelated with that achieved by a widely used commercial optimization package; on some MAXCUT instances the local tensor method beats the commercial solver in time to solution by up to two orders of magnitude and vice-versa. Finally, we argue that the local tensor method closely follows discretized, imaginary-time dynamics of the system under the problem Hamiltonian.

}, url = {https://arxiv.org/abs/2008.06054}, author = {Aniruddha Bapat and Stephen P. Jordan} } @article {2154, title = {Approximate Quantum Fourier Transform with O(nlog(n)) T gates}, journal = {npj Quantum Information }, volume = {6}, year = {2020}, month = {3/13/2020}, abstract = {

The ability to implement the Quantum Fourier Transform (QFT) efficiently on a quantum computer enables the advantages offered by a variety of fundamental quantum algorithms, such as those for integer factoring, computing discrete logarithm over Abelian groups, and phase estimation. The standard fault-tolerant implementation of an n-qubit QFT approximates the desired transformation by removing small-angle controlled rotations and synthesizing the remaining ones into Clifford+t gates, incurring the t-count complexity of O(n log2 (n)). In this paper we show how to obtain approximate QFT with the t-count of O(n log(n)). Our approach relies on quantum circuits with measurements and feedforward, and on reusing a special quantum state that induces the phase gradient transformation. We report asymptotic analysis as well as concrete circuits, demonstrating significant advantages in both theory and practice.

}, doi = {https://doi.org/10.1038/s41534-020-0257-5}, url = {https://arxiv.org/abs/1803.04933}, author = {Yunseong Nam and Yuan Su and Dmitri Maslov} } @article {2641, title = {Approximate recovery and relative entropy I. general von Neumann subalgebras}, year = {2020}, month = {6/14/2020}, abstract = {

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

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

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

}, url = {https://arxiv.org/abs/2006.08002}, author = {Thomas Faulkner and Stefan Hollands and Brian Swingle and Yixu Wang} } @article {2594, title = {Asymmetric blockade and multi-qubit gates via dipole-dipole interactions}, year = {2020}, month = {6/3/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2006.02486}, author = {Jeremy T. Young and Przemyslaw Bienias and Ron Belyansky and Adam M. Kaufman and Alexey V. Gorshkov} } @article {2517, title = {Auditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis}, year = {2020}, month = {1/2/2020}, abstract = {

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

}, url = {https://arxiv.org/abs/2001.00682}, author = {Roozbeh Yousefzadeh and Dianne P. O{\textquoteright}Leary} } @article {2449, title = {Auto-tuning of double dot devices in situ with machine learning}, journal = {Phys. Rev. Applied }, volume = {13}, year = {2020}, month = {4/1/2020}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevApplied.13.034075}, url = {https://arxiv.org/abs/1909.08030}, author = {Justyna P. Zwolak and Thomas McJunkin and Sandesh S. Kalantre and J. P. Dodson and E. R. MacQuarrie and D. E. Savage and M. G. Lagally and S. N. Coppersmith and Mark A. Eriksson and J. M. Taylor} } @article {2562, title = {Accelerated Variational Quantum Eigensolver}, journal = {Phys. Rev. Lett. }, volume = {122}, year = {2019}, month = {3/25/2019}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevLett.122.140504}, url = {https://arxiv.org/abs/1802.00171}, author = {Daochen Wang and Oscar Higgott and Stephen Brierley} } @article {2493, title = {An approximate description of quantum states}, year = {2019}, month = {2019/11/13}, abstract = {

We introduce an approximate description of an N-qubit state, which contains sufficient information to estimate the expectation value of any observable with precision independent of N. We show, in fact, that the error in the estimation of the observables\&$\#$39; expectation values decreases as the inverse of the square root of the number of the system\&$\#$39;s identical preparations and increases, at most, linearly in a suitably defined, N-independent, seminorm of the observables. Building the approximate description of the N-qubit state only requires repetitions of single-qubit rotations followed by single-qubit measurements and can be considered for implementation on today\&$\#$39;s Noisy Intermediate-Scale Quantum (NISQ) computers. The access to the expectation values of all observables for a given state leads to an efficient variational method for the determination of the minimum eigenvalue of an observable. The method represents one example of the practical significance of the approximate description of the N-qubit state. We conclude by briefly discussing extensions to generative modelling and with fermionic operators

}, url = {https://arxiv.org/abs/1910.10543}, author = {Marco Paini and Amir Kalev} } @article {2108, title = {Absence of Thermalization in Finite Isolated Interacting Floquet Systems}, journal = {Physical Review B}, volume = {97}, year = {2018}, month = {2018/01/29}, pages = {014311}, abstract = {

Conventional wisdom suggests that the long time behavior of isolated interacting periodically driven (Floquet) systems is a featureless maximal entropy state characterized by an infinite temperature. Efforts to thwart this uninteresting fixed point include adding sufficient disorder to realize a Floquet many-body localized phase or working in a narrow region of drive frequencies to achieve glassy non-thermal behavior at long time. Here we show that in clean systems the Floquet eigenstates can exhibit non-thermal behavior due to finite system size. We consider a one-dimensional system of spinless fermions with nearest-neighbor interactions where the interaction term is driven. Interestingly, even with no static component of the interaction, the quasienergy spectrum contains gaps and a significant fraction of the Floquet eigenstates, at all quasienergies, have non-thermal average doublon densities. We show that this non-thermal behavior arises due to emergent integrability at large interaction strength and discuss how the integrability breaks down with power-law behavior in system size.

}, doi = {10.1103/PhysRevB.97.014311}, url = {https://journals.aps.org/prb/abstract/10.1103/PhysRevB.97.014311}, author = {Karthik Seetharam and Paraj Titum and Michael Kolodrubetz and Gil Refael} } @article {2211, title = {Asymmetric Particle Transport and Light-Cone Dynamics Induced by Anyonic Statistics}, journal = {Phys. Rev. Lett}, volume = {121}, year = {2018}, month = {2018/12/20}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevLett.121.250404}, url = {https://arxiv.org/abs/1809.02614}, author = {Fangli Liu and James R. Garrison and Dong-Ling Deng and Zhe-Xuan Gong and Alexey V. Gorshkov} } @article {2067, title = {Automated optimization of large quantum circuits with continuous parameters}, journal = {npj:Quantum Information}, volume = {4}, year = {2018}, month = {2017/10/19}, abstract = {

We develop and implement automated methods for optimizing quantum circuits of the size and type expected in quantum computations that outperform classical computers. We show how to handle continuous gate parameters and report a collection of fast algorithms capable of optimizing large-scale quantum circuits. For the suite of benchmarks considered, we obtain substantial reductions in gate counts. In particular, we provide better optimization in significantly less time than previous approaches, while making minimal structural changes so as to preserve the basic layout of the underlying quantum algorithms. Our results help bridge the gap between the computations that can be run on existing hardware and those that are expected to outperform classical computers.\ 

}, doi = {https://doi.org/10.1038/s41534-018-0072-4}, url = {https://arxiv.org/abs/1710.07345}, author = {Yunseong Nam and Neil J. Ross and Yuan Su and Andrew M. Childs and Dmitri Maslov} } @article {2145, title = {An autonomous single-piston engine with a quantum rotor}, year = {2018}, month = {2018/02/15}, abstract = {

Pistons are elementary components of a wide variety of thermal engines, converting input fuel into rotational motion. Here, we propose a single-piston engine where the rotational degree of freedom is effectively realized by the flux of a superconducting island -- a quantum rotor -- while the working volume corresponds to the effective length of a superconducting resonator. Our autonomous design implements a Carnot cycle, relies solely on standard thermal baths and can be implemented with circuit quantum electrodynamics. We demonstrate how the piston is able to extract a net positive work via its built-in synchronicity using a filter cavity as an effective valve, eliminating the need for external control.

}, doi = {https://doi.org/10.1088/2058-9565/aac40d}, url = {https://arxiv.org/abs/1802.05486}, author = {Alexandre Roulet and Stefan Nimmrichter and J. M. Taylor} } @article {2000, title = {Above threshold scattering about a Feshbach resonance for ultracold atoms in an optical collider}, journal = {Nature Communications}, volume = {8}, year = {2017}, month = {2017/09/06}, abstract = {

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

}, doi = {10.1038/s41467-017-00458-y}, url = {https://arxiv.org/abs/1704.07109}, author = {Milena S. J. Horvath and Ryan Thomas and Eite Tiesinga and Amita B. Deb and Niels Kj{\ae}rgaard} } @article {2267, title = {Advances in Quantum Reinforcement Learning}, journal = {IEEE SMC, Banff, AB}, year = {2017}, month = {2017}, pages = {282-287}, abstract = {

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

}, doi = {https://doi.org/10.1109/SMC.2017.8122616}, url = {https://arxiv.org/abs/1811.08676}, author = {Vedran Dunjko and J. M. Taylor and Hans J. Briegel} } @article {1813, title = {Adiabatic optimization versus diffusion Monte Carlo}, journal = {Physical Review A}, volume = {94}, year = {2016}, month = {2016/07/12}, pages = {042318}, abstract = {

Most experimental and theoretical studies of adiabatic optimization use stoquastic Hamiltonians, whose ground states are expressible using only real nonnegative amplitudes. This raises a question as to whether classical Monte Carlo methods can simulate stoquastic adiabatic algorithms with polynomial overhead. Here, we analyze diffusion Monte Carlo algorithms. We argue that, based on differences between L1 and L2 normalized states, these algorithms suffer from certain obstructions preventing them from efficiently simulating stoquastic adiabatic evolution in generality. In practice however, we obtain good performance by introducing a method that we call Substochastic Monte Carlo. In fact, our simulations are good classical optimization algorithms in their own right, competitive with the best previously known heuristic solvers for MAX-k-SAT at k=2,3,4.

}, url = {https://arxiv.org/abs/1607.03389}, author = {Michael Jarret and Stephen P. Jordan and Brad Lackey} } @article {1714, title = {On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization}, journal = {Physical Review A}, volume = {93}, year = {2016}, month = {2016/02/10}, pages = {022311}, abstract = {Various implementations of the Toffoli gate up to a relative phase have been known for years. The advantage over regular Toffoli gate is their smaller circuit size. However, their use has been often limited to a demonstration of quantum control in designs such as those where the Toffoli gate is being applied last or otherwise for some specific reasons the relative phase does not matter. It was commonly believed that the relative phase deviations would prevent the relative phase Toffolis from being very helpful in practical large-scale designs. In this paper, we report three circuit identities that provide the means for replacing certain configurations of the multiple control Toffoli gates with their simpler relative phase implementations, up to a selectable unitary on certain qubits, and without changing the overall functionality. We illustrate the advantage via applying those identities to the optimization of the known circuits implementing multiple control Toffoli gates, and report the reductions in the CNOT-count, T-count, as well as the number of ancillae used. We suggest that a further study of the relative phase Toffoli implementations and their use may yield other optimizations.}, doi = {10.1103/PhysRevA.93.022311}, url = {http://arxiv.org/abs/1508.03273}, author = {Dmitri Maslov} } @article {1678, title = {Anomalous broadening in driven dissipative Rydberg systems}, journal = {Physical Review Letters}, volume = {116}, year = {2016}, month = {2016/03/16}, pages = {113001}, abstract = {We observe interaction-induced broadening of the two-photon 5s-18s transition in 87Rb atoms trapped in a 3D optical lattice. The measured linewidth increases by nearly two orders of magnitude with increasing atomic density and excitation strength, with corresponding suppression of resonant scattering and enhancement of off-resonant scattering. We attribute the increased linewidth to resonant dipole-dipole interactions of 18s atoms with spontaneously created populations of nearby np states. Over a range of initial atomic densities and excitation strengths, the transition width is described by a single function of the steady-state density of Rydberg atoms, and the observed resonant excitation rate corresponds to that of a two-level system with the measured, rather than natural, linewidth. The broadening mechanism observed here is likely to have negative implications for many proposals with coherently interacting Rydberg atoms.}, doi = {10.1103/PhysRevLett.116.113001}, url = {http://arxiv.org/abs/1510.08710}, author = {E. A. Goldschmidt and T. Boulier and R. C. Brown and S. B. Koller and J. T. Young and Alexey V. Gorshkov and S. L. Rolston and J. V. Porto} } @article {1390, title = {Adiabatic optimization without local minima}, journal = {Quantum Information and Computation}, volume = {15}, year = {2015}, month = {2015/05/01}, pages = {181-199}, abstract = { Several previous works have investigated the circumstances under which quantum adiabatic optimization algorithms can tunnel out of local energy minima that trap simulated annealing or other classical local search algorithms. Here we investigate the even more basic question of whether adiabatic optimization algorithms always succeed in polynomial time for trivial optimization problems in which there are no local energy minima other than the global minimum. Surprisingly, we find a counterexample in which the potential is a single basin on a graph, but the eigenvalue gap is exponentially small as a function of the number of vertices. In this counterexample, the ground state wavefunction consists of two "lobes" separated by a region of exponentially small amplitude. Conversely, we prove if the ground state wavefunction is single-peaked then the eigenvalue gap scales at worst as one over the square of the number of vertices. }, url = {http://arxiv.org/abs/1405.7552}, author = {Michael Jarret and Stephen P. Jordan} } @article {1838, title = {Atom induced cavities and tunable long-range interactions between atoms trapped near photonic crystals}, journal = {Nature Photon. 9, 326 (2015)}, year = {2015}, month = {2015/03/03}, abstract = {

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

}, doi = {doi:10.1038/nphoton.2015.57}, url = {http://www.nature.com/nphoton/journal/v9/n5/full/nphoton.2015.57.html}, author = {J S Douglas and H Habibian and Alexey V. Gorshkov and H J Kimble and D E Chang} } @article {1376, title = {Adaptive change of basis in entropy-based moment closures for linear kinetic equations}, journal = {Journal of Computational Physics}, volume = {258}, year = {2014}, month = {2014/02/01}, pages = {489 - 508}, abstract = { Entropy-based (M_N) moment closures for kinetic equations are defined by a constrained optimization problem that must be solved at every point in a space-time mesh, making it important to solve these optimization problems accurately and efficiently. We present a complete and practical numerical algorithm for solving the dual problem in one-dimensional, slab geometries. The closure is only well-defined on the set of moments that are realizable from a positive underlying distribution, and as the boundary of the realizable set is approached, the dual problem becomes increasingly difficult to solve due to ill-conditioning of the Hessian matrix. To improve the condition number of the Hessian, we advocate the use of a change of polynomial basis, defined using a Cholesky factorization of the Hessian, that permits solution of problems nearer to the boundary of the realizable set. We also advocate a fixed quadrature scheme, rather than adaptive quadrature, since the latter introduces unnecessary expense and changes the computationally realizable set as the quadrature changes. For very ill-conditioned problems, we use regularization to make the optimization algorithm robust. We design a manufactured solution and demonstrate that the adaptive-basis optimization algorithm reduces the need for regularization. This is important since we also show that regularization slows, and even stalls, convergence of the numerical simulation when refining the space-time mesh. We also simulate two well-known benchmark problems. There we find that our adaptive-basis, fixed-quadrature algorithm uses less regularization than alternatives, although differences in the resulting numerical simulations are more sensitive to the regularization strategy than to the choice of basis. }, doi = {10.1016/j.jcp.2013.10.049}, url = {http://arxiv.org/abs/1306.2881v1}, author = {Graham W. Alldredge and Cory D. Hauck and Dianne P. O{\textquoteright}Leary and Andr{\'e} L. Tits} } @article {1505, title = {All-Optical Switch and Transistor Gated by One Stored Photon}, journal = {Science}, volume = {341}, year = {2013}, month = {2013/07/04}, pages = {768 - 770}, abstract = { The realization of an all-optical transistor where one {\textquoteright}gate{\textquoteright} photon controls a {\textquoteright}source{\textquoteright} light beam, is a long-standing goal in optics. By stopping a light pulse in an atomic ensemble contained inside an optical resonator, we realize a device in which one stored gate photon controls the resonator transmission of subsequently applied source photons. A weak gate pulse induces bimodal transmission distribution, corresponding to zero and one gate photons. One stored gate photon produces fivefold source attenuation, and can be retrieved from the atomic ensemble after switching more than one source photon. Without retrieval, one stored gate photon can switch several hundred source photons. With improved storage and retrieval efficiency, our work may enable various new applications, including photonic quantum gates, and deterministic multiphoton entanglement. }, doi = {10.1126/science.1238169}, url = {http://arxiv.org/abs/1401.3194v1}, author = {Wenlan Chen and Kristin M. Beck and Robert B{\"u}cker and Michael Gullans and Mikhail D. Lukin and Haruka Tanji-Suzuki and Vladan Vuletic} } @article {1841, title = {Attractive Photons in a Quantum Nonlinear Medium}, journal = {Nature (London)}, volume = {502}, year = {2013}, pages = {71}, url = {http://dx.doi.org/10.1038/nature12512}, author = {Ofer Firstenberg and Thibault Peyronel and Qi-Yu Liang and Alexey V. Gorshkov and Mikhail D. Lukin and Vladan Vuletic} } @article {1398, title = {Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems}, journal = {Quantum Information and Computation}, volume = {12}, year = {2012}, month = {2012/05/01}, pages = {461-471}, abstract = { This paper proves that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness. That is, QCMA = QCMA1. This holds under any gate set with which the Hadamard and arbitrary classical reversible transformations can be exactly implemented, e.g., {Hadamard, Toffoli, NOT}. The proof is quantumly nonrelativizing, and uses a simple but novel quantum technique that additively adjusts the success probability, which may be of independent interest. }, url = {http://arxiv.org/abs/1111.5306v2}, author = {Stephen P. Jordan and Hirotada Kobayashi and Daniel Nagaj and Harumichi Nishimura} } @article {1346, title = {Algorithmic Cooling of a Quantum Simulator}, year = {2012}, month = {2012/07/30}, abstract = {Controlled quantum mechanical devices provide a means of simulating more complex quantum systems exponentially faster than classical computers. Such "quantum simulators" rely heavily upon being able to prepare the ground state of Hamiltonians, whose properties can be used to calculate correlation functions or even the solution to certain classical computations. While adiabatic preparation remains the primary means of producing such ground states, here we provide a different avenue of preparation: cooling to the ground state via simulated dissipation. This is in direct analogy to contemporary efforts to realize generalized forms of simulated annealing in quantum systems. }, url = {http://arxiv.org/abs/1207.7111v1}, author = {Dvir Kafri and J. M. Taylor} } @article {1279, title = {Anisotropy induced Feshbach resonances in a quantum dipolar gas of magnetic atoms }, journal = {Physical Review Letters}, volume = {109}, year = {2012}, month = {2012/9/7}, abstract = { We explore the anisotropic nature of Feshbach resonances in the collision between ultracold magnetic submerged-shell dysprosium atoms, which can only occur due to couplings to rotating bound states. This is in contrast to well-studied alkali-metal atom collisions, where most Feshbach resonances are hyperfine induced and due to rotation-less bound states. Our novel first-principle coupled-channel calculation of the collisions between open-4f-shell spin-polarized bosonic dysprosium reveals a striking correlation between the anisotropy due to magnetic dipole-dipole and electrostatic interactions and the Feshbach spectrum as a function of an external magnetic field. Over a 20 mT magnetic field range we predict about a dozen Feshbach resonances and show that the resonance locations are exquisitely sensitive to the dysprosium isotope. }, doi = {10.1103/PhysRevLett.109.103002}, url = {http://arxiv.org/abs/1203.4172v1}, author = {Alexander Petrov and Eite Tiesinga and Svetlana Kotochigova} } @proceedings {1387, title = {Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit}, year = {2011}, month = {2011/05/31}, abstract = {

The Turaev-Viro invariants are scalar topological invariants of three-dimensional manifolds. Here we show that the problem of estimating the Fibonacci version of the Turaev-Viro invariant of a mapping torus is a complete problem for the one clean qubit complexity class (DQC1). This complements a previous result showing that estimating the Turaev-Viro invariant for arbitrary manifolds presented as Heegaard splittings is a complete problem for the standard quantum computation model (BQP). We also discuss a beautiful analogy between these results and previously known results on the computational complexity of approximating the Jones polynomial.

}, url = {http://arxiv.org/abs/1105.5100}, author = {Stephen P. Jordan and Gorjan Alagic} } @article {1501, title = {Adiabatic preparation of many-body states in optical lattices}, journal = {Physical Review A}, volume = {81}, year = {2010}, month = {2010/6/22}, abstract = { We analyze a technique for the preparation of low entropy many body states of atoms in optical lattices based on adiabatic passage. In particular, we show that this method allows preparation of strongly correlated states as stable highest energy states of Hamiltonians that have trivial ground states. As an example, we analyze the generation of antiferromagnetically ordered states by adiabatic change of a staggered field acting on the spins of bosonic atoms with ferromagnetic interactions. }, doi = {10.1103/PhysRevA.81.061603}, url = {http://arxiv.org/abs/0906.2567v3}, author = {Anders S. Sorensen and Ehud Altman and Michael Gullans and J. V. Porto and Mikhail D. Lukin and Eugene Demler} } @article {1401, title = {Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation }, journal = {Physical Review A}, volume = {82}, year = {2010}, month = {2010/10/8}, abstract = { The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial, as the same algorithm, after efficient classical preprocessing, can solve any problem efficiently decidable by a quantum computer. Thus approximating certain Turaev-Viro invariants of manifolds presented by Heegaard splittings is a universal problem for quantum computation. This establishes a novel relation between the task of distinguishing non-homeomorphic 3-manifolds and the power of a general quantum computer. }, doi = {10.1103/PhysRevA.82.040302}, url = {http://arxiv.org/abs/1003.0923v1}, author = {Gorjan Alagic and Stephen P. Jordan and Robert Koenig and Ben W. Reichardt} } @article {1193, title = {Alkaline-Earth-Metal Atoms as Few-Qubit Quantum Registers}, journal = {Physical Review Letters}, volume = {102}, year = {2009}, month = {2009/3/18}, abstract = { We propose and analyze a novel approach to quantum information processing, in which multiple qubits can be encoded and manipulated using electronic and nuclear degrees of freedom associated with individual alkaline-earth atoms trapped in an optical lattice. Specifically, we describe how the qubits within each register can be individually manipulated and measured with sub-wavelength optical resolution. We also show how such few-qubit registers can be coupled to each other in optical superlattices via conditional tunneling to form a scalable quantum network. Finally, potential applications to quantum computation and precision measurements are discussed. }, doi = {10.1103/PhysRevLett.102.110503}, url = {http://arxiv.org/abs/0812.3660v2}, author = {Alexey V. Gorshkov and Ana Maria Rey and Andrew J. Daley and Martin M. Boyd and Jun Ye and Peter Zoller and Mikhail D. Lukin} } @article {1368, title = {The adiabatic theorem in the presence of noise}, journal = {Physical Review A}, volume = {77}, year = {2008}, month = {2008/4/22}, abstract = { We provide rigorous bounds for the error of the adiabatic approximation of quantum mechanics under four sources of experimental error: perturbations in the initial condition, systematic time-dependent perturbations in the Hamiltonian, coupling to low-energy quantum systems, and decoherent time-dependent perturbations in the Hamiltonian. For decoherent perturbations, we find both upper and lower bounds on the evolution time to guarantee the adiabatic approximation performs within a prescribed tolerance. Our new results include explicit definitions of constants, and we apply them to the spin-1/2 particle in a rotating magnetic field, and to the superconducting flux qubit. We compare the theoretical bounds on the superconducting flux qubit to simulation results. }, doi = {10.1103/PhysRevA.77.042319}, url = {http://arxiv.org/abs/0801.3872v1}, author = {Michael J. O{\textquoteright}Hara and Dianne P. O{\textquoteright}Leary} } @article {1438, title = {Ancilla-Assisted Discrimination of Quantum Gates}, year = {2008}, month = {2008/09/02}, abstract = { The intrinsic idea of superdense coding is to find as many gates as possible such that they can be perfectly discriminated. In this paper, we consider a new scheme of discrimination of quantum gates, called ancilla-assisted discrimination, in which a set of quantum gates on a $d-$dimensional system are perfectly discriminated with assistance from an $r-$dimensional ancilla system. The main contribution of the present paper is two-fold: (1) The number of quantum gates that can be discriminated in this scheme is evaluated. We prove that any $rd+1$ quantum gates cannot be perfectly discriminated with assistance from the ancilla, and there exist $rd$ quantum gates which can be perfectly discriminated with assistance from the ancilla. (2) The dimensionality of the minimal ancilla system is estimated. We prove that there exists a constant positive number $c$ such that for any $k\leq cr$ quantum gates, if they are $d$-assisted discriminable, then they are also $r$-assisted discriminable, and there are $c^{\prime}r\textrm{}(c^{\prime}>c)$ different quantum gates which can be discriminated with a $d-$dimensional ancilla, but they cannot be discriminated if the ancilla is reduced to an $r-$dimensional system. Thus, the order $O(r)$ of the number of quantum gates that can be discriminated with assistance from an $r-$dimensional ancilla is optimal. The results reported in this paper represent a preliminary step toward understanding the role ancilla system plays in discrimination of quantum gates as well as the power and limit of superdense coding. }, url = {http://arxiv.org/abs/0809.0336v1}, author = {Jianxin Chen and Mingsheng Ying} } @article {1192, title = {Anyonic interferometry and protected memories in atomic spin lattices}, journal = {Nature Physics}, volume = {4}, year = {2008}, month = {2008/4/20}, pages = {482 - 488}, abstract = { Strongly correlated quantum systems can exhibit exotic behavior called topological order which is characterized by non-local correlations that depend on the system topology. Such systems can exhibit remarkable phenomena such as quasi-particles with anyonic statistics and have been proposed as candidates for naturally fault-tolerant quantum computation. Despite these remarkable properties, anyons have never been observed in nature directly. Here we describe how to unambiguously detect and characterize such states in recently proposed spin lattice realizations using ultra-cold atoms or molecules trapped in an optical lattice. We propose an experimentally feasible technique to access non-local degrees of freedom by performing global operations on trapped spins mediated by an optical cavity mode. We show how to reliably read and write topologically protected quantum memory using an atomic or photonic qubit. Furthermore, our technique can be used to probe statistics and dynamics of anyonic excitations. }, doi = {10.1038/nphys943}, url = {http://arxiv.org/abs/0711.1365v1}, author = {Liang Jiang and Gavin K. Brennen and Alexey V. Gorshkov and Klemens Hammerer and Mohammad Hafezi and Eugene Demler and Mikhail D. Lukin and Peter Zoller} } @article {1283, title = {Avoided crossings between bound states of ultracold Cesium dimers}, journal = {Physical Review A}, volume = {78}, year = {2008}, month = {2008/11/5}, abstract = { We present an efficient new computational method for calculating the binding energies of the bound states of ultracold alkali-metal dimers in the presence of magnetic fields. The method is based on propagation of coupled differential equations and does not use a basis set for the interatomic distance coordinate. It is much more efficient than the previous method based on a radial basis set and allows many more spin channels to be included. This is particularly important in the vicinity of avoided crossings between bound states. We characterize a number of different avoided crossings in Cs_2 and compare our converged calculations with experimental results. Small but significant discrepancies are observed in both crossing strengths and level positions, especially for levels with l symmetry (rotational angular momentum L=8). The discrepancies should allow the development of improved potential models in the future. }, doi = {10.1103/PhysRevA.78.052703}, url = {http://arxiv.org/abs/0806.2583v1}, author = {Jeremy M. Hutson and Eite Tiesinga and Paul S. Julienne} } @article {1373, title = {Asymptotically Optimal Quantum Circuits for d-level Systems}, journal = {Physical Review Letters}, volume = {94}, year = {2005}, month = {2005/6/14}, abstract = { As a qubit is a two-level quantum system whose state space is spanned by |0>, |1>, so a qudit is a d-level quantum system whose state space is spanned by |0>,...,|d-1>. Quantum computation has stimulated much recent interest in algorithms factoring unitary evolutions of an n-qubit state space into component two-particle unitary evolutions. In the absence of symmetry, Shende, Markov and Bullock use Sard{\textquoteright}s theorem to prove that at least C 4^n two-qubit unitary evolutions are required, while Vartiainen, Moettoenen, and Salomaa (VMS) use the QR matrix factorization and Gray codes in an optimal order construction involving two-particle evolutions. In this work, we note that Sard{\textquoteright}s theorem demands C d^{2n} two-qudit unitary evolutions to construct a generic (symmetry-less) n-qudit evolution. However, the VMS result applied to virtual-qubits only recovers optimal order in the case that d is a power of two. We further construct a QR decomposition for d-multi-level quantum logics, proving a sharp asymptotic of Theta(d^{2n}) two-qudit gates and thus closing the complexity question for all d-level systems (d finite.) Gray codes are not required, and the optimal Theta(d^{2n}) asymptotic also applies to gate libraries where two-qudit interactions are restricted by a choice of certain architectures. }, doi = {10.1103/PhysRevLett.94.230502}, url = {http://arxiv.org/abs/quant-ph/0410116v2}, author = {Stephen S. Bullock and Dianne P. O{\textquoteright}Leary and Gavin K. Brennen} } @article {1288, title = {Adiabatic association of ultracold molecules via magnetic field tunable interactions }, journal = {Journal of Physics B: Atomic, Molecular and Optical Physics}, volume = {37}, year = {2004}, month = {2004/09/14}, pages = {3457 - 3500}, abstract = { We consider in detail the situation of applying a time dependent external magnetic field to a 87Rb atomic Bose-Einstein condensate held in a harmonic trap, in order to adiabatically sweep the interatomic interactions across a Feshbach resonance to produce diatomic molecules. To this end, we introduce a minimal two-body Hamiltonian depending on just five measurable parameters of a Feshbach resonance, which accurately determines all low energy binary scattering observables, in particular, the molecular conversion efficiency of just two atoms. Based on this description of the microscopic collision phenomena, we use the many-body theory of T. Koehler and K. Burnett [Phys. Rev. A 65, 033601 (2002)] to study the efficiency of the association of molecules in a 87Rb Bose-Einstein condensate during a linear passage of the magnetic field strength across the 100 mT Feshbach resonance. We explore different, experimentally accessible, parameter regimes, and compare the predictions of Landau-Zener, configuration interaction, and two level mean field calculations with those of the microscopic many-body approach. Our comparative studies reveal a remarkable insensitivity of the molecular conversion efficiency with respect to both the details of the microscopic binary collision physics and the coherent nature of the Bose-Einstein condensed gas, provided that the magnetic field strength is varied linearly. We provide the reasons for this universality of the molecular production achieved by linear ramps of the magnetic field strength, and identify the Landau-Zener coefficient determined by F.H. Mies et al. [Phys. Rev. A 61, 022721 (2000)] as the main parameter that controls the efficiency. }, doi = {10.1088/0953-4075/37/17/006}, url = {http://arxiv.org/abs/cond-mat/0312178v5}, author = {Krzysztof Goral and Thorsten Koehler and Simon A. Gardiner and Eite Tiesinga and Paul S. Julienne} } @article {1411, title = {Advantages of high-speed technique for quantum key distribution; reply to quant-ph/0407050 }, year = {2004}, month = {2004/07/18}, abstract = { We respond to a comment on our high-speed technique for the implementation of free-space quantum key distribution (QKD). The model used in the comment assigns inappropriately high link losses to the technique in question. We show that the use of reasonable loss parameters in the model invalidates the comment{\textquoteright}s main conclusion and highlights the benefits of increased transmission rates. }, url = {http://arxiv.org/abs/quant-ph/0407139v1}, author = {J. C. Bienfang and Charles W. Clark and Carl J. Williams and E. W. Hagley and Jesse Wen} } @article {1210, title = {Asymptotic entanglement capacity of the Ising and anisotropic Heisenberg interactions }, year = {2002}, month = {2002/07/10}, abstract = { We compute the asymptotic entanglement capacity of the Ising interaction ZZ, the anisotropic Heisenberg interaction XX + YY, and more generally, any two-qubit Hamiltonian with canonical form K = a XX + b YY. We also describe an entanglement assisted classical communication protocol using the Hamiltonian K with rate equal to the asymptotic entanglement capacity. }, url = {http://arxiv.org/abs/quant-ph/0207052v2}, author = {Andrew M. Childs and D. W. Leung and F. Verstraete and G. Vidal} }