02465nas a2200517 4500008004100000245011600041210006900157260001400226520098200240100001701222700001701239700002501256700002001281700002401301700002201325700001601347700001901363700001901382700001801401700001901419700002001438700001901458700002101477700003101498700001801529700001901547700001601566700001601582700001601598700002001614700001901634700002101653700001901674700002201693700001801715700002401733700002301757700001801780700002001798700001801818700002301836700001901859700002001878700001201898856003701910 2023 eng d00aAccelerating Progress Towards Practical Quantum Advantage: The Quantum Technology Demonstration Project Roadmap0 aAccelerating Progress Towards Practical Quantum Advantage The Qu c3/20/20233 a
Quantum information science and technology (QIST) is a critical and emerging technology with the potential for enormous world impact and is currently invested in by over 40 nations. To bring these large-scale investments to fruition and bridge the lower technology readiness levels (TRLs) of fundamental research at universities to the high TRLs necessary to realize the promise of practical quantum advantage accessible to industry and the public, we present a roadmap for Quantum Technology Demonstration Projects (QTDPs). Such QTDPs, focused on intermediate TRLs, are large-scale public-private partnerships with a high probability of translation from laboratory to practice. They create technology demonstrating a clear 'quantum advantage' for science breakthroughs that are user-motivated and will provide access to a broad and diverse community of scientific users. Successful implementation of a program of QTDPs will have large positive economic impacts.
1 aAlsing, Paul1 aBattle, Phil1 aBienfang, Joshua, C.1 aBorders, Tammie1 aBrower-Thomas, Tina1 aCarr, Lincoln, D.1 aChong, Fred1 aDadras, Siamak1 aDeMarco, Brian1 aDeutsch, Ivan1 aFigueroa, Eden1 aFreedman, Danna1 aEveritt, Henry1 aGauthier, Daniel1 aJohnston-Halperin, Ezekiel1 aKim, Jungsang1 aKira, Mackillo1 aKumar, Prem1 aKwiat, Paul1 aLekki, John1 aLoiacono, Anjul1 aLončar, Marko1 aLowell, John, R.1 aLukin, Mikhail1 aMerzbacher, Celia1 aMiller, Aaron1 aMonroe, Christopher1 aPollanen, Johannes1 aPappas, David1 aRaymer, Michael1 aReano, Ronald1 aRodenburg, Brandon1 aSavage, Martin1 aSearles, Thomas1 aYe, Jun uhttps://arxiv.org/abs/2210.1475702420nas a2200157 4500008004100000245006400041210006400105260001500169520193300184100001702117700002802134700002502162700001602187700002202203856003702225 2023 eng d00aAccurate and Honest Approximation of Correlated Qubit Noise0 aAccurate and Honest Approximation of Correlated Qubit Noise c11/15/20233 aAccurate 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.
1 aSetiawan, F.1 aGramolin, Alexander, V.1 aMatekole, Elisha, S.1 aKrovi, Hari1 aTaylor, Jacob, M. uhttps://arxiv.org/abs/2311.0930501769nas a2200217 4500008004100000024003400041245005000075210005000125260001300175490000600188520108800194653004301282653004301325653002701368653003101395100002101426700002301447700002501470700001901495856003701514 2023 eng d aReport number: LA-UR-22-2023700aAdvantages and limitations of quantum routing0 aAdvantages and limitations of quantum routing c2/1/20230 v43 aThe 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.
10aData Structures and Algorithms (cs.DS)10aFOS: Computer and information sciences10aFOS: Physical sciences10aQuantum Physics (quant-ph)1 aBapat, Aniruddha1 aChilds, Andrew, M.1 aGorshkov, Alexey, V.1 aSchoute, Eddie uhttps://arxiv.org/abs/2206.0176601807nas a2200145 4500008004100000245009300041210006900134260001400203520133200217100001601549700002701565700001701592700001501609856003701624 2023 eng d00aAnalyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels0 aAnalyzing Convergence in Quantum Neural Networks Deviations from c3/26/20233 aA quantum neural network (QNN) is a parameterized mapping efficiently implementable on near-term Noisy Intermediate-Scale Quantum (NISQ) computers. It can be used for supervised learning when combined with classical gradient-based optimizers. Despite the existing empirical and theoretical investigations, the convergence of QNN training is not fully understood. Inspired by the success of the neural tangent kernels (NTKs) in probing into the dynamics of classical neural networks, a recent line of works proposes to study over-parameterized QNNs by examining a quantum version of tangent kernels. In this work, we study the dynamics of QNNs and show that contrary to popular belief it is qualitatively different from that of any kernel regression: due to the unitarity of quantum operations, there is a non-negligible deviation from the tangent kernel regression derived at the random initialization. As a result of the deviation, we prove the at-most sublinear convergence for QNNs with Pauli measurements, which is beyond the explanatory power of any kernel regression dynamics. We then present the actual dynamics of QNNs in the limit of over-parameterization. The new dynamics capture the change of convergence rate during training and implies that the range of measurements is crucial to the fast QNN convergence.
1 aYou, Xuchen1 aChakrabarti, Shouvanik1 aChen, Boyang1 aWu, Xiaodi uhttps://arxiv.org/abs/2303.1484402721nas a2200253 4500008004100000245016100041210006900202260001400271300001100285490000600296520192600302100002002228700001502248700001802263700001902281700001802300700001902318700001602337700002102353700001402374700002202388700002002410856003702430 2022 eng d00aAccurate and Efficient Quantum Computations of Molecular Properties Using Daubechies Wavelet Molecular Orbitals: A Benchmark Study against Experimental Data0 aAccurate and Efficient Quantum Computations of Molecular Propert c5/28/2022 a0203600 v33 aAlthough 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.
1 aHong, Cheng-Lin1 aTsai, Ting1 aChou, Jyh-Pin1 aChen, Peng-Jen1 aTsai, Pei-Kai1 aChen, Yu-Cheng1 aKuo, En-Jui1 aSrolovitz, David1 aHu, Alice1 aCheng, Yuan-Chung1 aGoan, Hsi-Sheng uhttps://arxiv.org/abs/2205.1447600829nam a2200145 4500008004100000245007900041210006900120260002000189300001100209520027900220100002400499700002100523700002800544856011100572 2022 eng d00aAnalogue Quantum Simulation: A New Instrument for Scientific Understanding0 aAnalogue Quantum Simulation A New Instrument for Scientific Unde bSpringer Nature a83-1023 aAnalyzes analogue quantum simulation philosophically. Provides a framework to support the goals of scientists. Useful to both working scientists and philosophers of science.
1 aHangleiter, Dominik1 aCarolan, Jacques1 aThébault, Karim, P. Y. uhttps://www.quics.umd.edu/publications/analogue-quantum-simulation-new-instrument-scientific-understanding02622nas a2200253 4500008004100000020002200041022001400063245012000077210006900197260001300266300001400279490000800293520178700301653003702088653004302125653002702168653003102195100002102226700002502247700001902272700001902291700002102310856003702331 2022 eng d a978-3-95977-237-2 a1868-896900aApproximating Output Probabilities of Shallow Quantum Circuits which are Geometrically-local in any Fixed Dimension0 aApproximating Output Probabilities of Shallow Quantum Circuits w c4/7/2022 a9:1--9:170 v2323 aWe 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.
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.
1 aWu, David, H.1 aAlbert, Victor, V. uhttps://arxiv.org/abs/2012.0699402524nas a2200193 4500008004100000245007700041210006900118260001400187520188800201653004302089653002702132653003102159653003302190100001602223700001602239700001902255700001902274856003702293 2022 eng d00aArline Benchmarks: Automated Benchmarking Platform for Quantum Compilers0 aArline Benchmarks Automated Benchmarking Platform for Quantum Co c3/28/20223 aEfficient 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' characteristics.
10aFOS: Computer and information sciences10aFOS: Physical sciences10aQuantum Physics (quant-ph)10aSoftware Engineering (cs.SE)1 aKharkov, Y.1 aIvanova, A.1 aMikhantiev, E.1 aKotelnikov, A. uhttps://arxiv.org/abs/2202.1402501692nas a2200133 4500008004100000245007800041210006900119260001500188520126500203100001801468700002001486700001501506856003701521 2021 eng d00aAlgebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra0 aAlgebraic Reasoning of Quantum Programs via NonIdempotent Kleene c10/13/20213 aWe investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famous Kleene Algebra with Tests (KAT), which has furnished both theoretical insights and practical tools. The succinctness of algebraic reasoning would be especially desirable for scalable analysis of quantum programs, given the involvement of exponential-size matrices in most of the existing methods. A few key features of KAT including the idempotent law and the nice properties of classical tests, however, fail to hold in the context of quantum programs due to their unique quantum features, especially in branching. We propose the Non-idempotent Kleena Algebra (NKA) as a natural alternative and identify complete and sound semantic models for NKA as well as their appropriate quantum interpretations. In light of applications of KAT, we are able to demonstrate algebraic proofs in NKA of quantum compiler optimization and the normal form of quantum while-programs. Moreover, we extend NKA with Tests (i.e., NKAT), where tests model quantum predicates following the rules of effect algebra, and illustrate how to encode propositional quantum Hoare logic as NKAT theorems.
1 aPeng, Yuxiang1 aYing, Mingsheng1 aWu, Xiaodi uhttps://arxiv.org/abs/2110.0701802234nas a2200133 4500008004100000245004700041210004600088260001400134490000900148520187200157100001702029700001702046856003702063 2021 eng d00aApproximate Bacon-Shor Code and Holography0 aApproximate BaconShor Code and Holography c5/14/20210 v20213 aWe 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.
1 aCao, ChunJun1 aLackey, Brad uhttps://arxiv.org/abs/2010.0596001785nas a2200145 4500008004100000245005600041210005600097260001100153300001200164490000700176520138200183100001801565700001901583856003701602 2020 eng d00aAccessing scrambling using matrix product operators0 aAccessing scrambling using matrix product operators c2/2020 a199-2040 v163 aScrambling, 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.
1 aXu, Shenglong1 aSwingle, Brian uhttps://arxiv.org/abs/1802.0080101814nas a2200121 4500008004100000245006700041210006700108260001400175520142100189100002101610700002401631856003701655 2020 eng d00aApproximate optimization of MAXCUT with a local spin algorithm0 aApproximate optimization of MAXCUT with a local spin algorithm c8/13/20203 aLocal 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.
1 aBapat, Aniruddha1 aJordan, Stephen, P. uhttps://arxiv.org/abs/2008.0605401345nas a2200145 4500008004100000245006600041210006200107260001400169490000600183520092300189100001801112700001301130700001901143856003701162 2020 eng d00aApproximate Quantum Fourier Transform with O(nlog(n)) T gates0 aApproximate Quantum Fourier Transform with Onlogn T gates c3/13/20200 v63 aThe 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.
1 aNam, Yunseong1 aSu, Yuan1 aMaslov, Dmitri uhttps://arxiv.org/abs/1803.0493301128nas a2200145 4500008004100000245008100041210006900122260001400191520066400205100002100869700002100890700001900911700001500930856003700945 2020 eng d00aApproximate recovery and relative entropy I. general von Neumann subalgebras0 aApproximate recovery and relative entropy I general von Neumann c6/14/20203 aWe 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.
1 aFaulkner, Thomas1 aHollands, Stefan1 aSwingle, Brian1 aWang, Yixu uhttps://arxiv.org/abs/2006.0800201128nas a2200145 4500008004100000245008100041210006900122260001400191520066400205100002100869700002100890700001900911700001500930856003700945 2020 eng d00aApproximate recovery and relative entropy I. general von Neumann subalgebras0 aApproximate recovery and relative entropy I general von Neumann c6/14/20203 aWe 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.
1 aFaulkner, Thomas1 aHollands, Stefan1 aSwingle, Brian1 aWang, Yixu uhttps://arxiv.org/abs/2006.0800201276nas a2200157 4500008004100000245007700041210006900118260001300187520076900200100002200969700002400991700001901015700002201034700002501056856003701081 2020 eng d00aAsymmetric blockade and multi-qubit gates via dipole-dipole interactions0 aAsymmetric blockade and multiqubit gates via dipoledipole intera c6/3/20203 aDue to their strong and tunable interactions, Rydberg atoms can be used to realize fast two-qubit entangling gates. We propose a generalization of a generic two-qubit Rydberg-blockade gate to multi-qubit Rydberg-blockade gates which involve both many control qubits and many target qubits simultaneously. This is achieved by using strong microwave fields to dress nearby Rydberg states, leading to asymmetric blockade in which control-target interactions are much stronger than control-control and target-target interactions. The implementation of these multi-qubit gates can drastically simplify both quantum algorithms and state preparation. To illustrate this, we show that a 25-atom GHZ state can be created using only three gates with an error of 7.8%.
1 aYoung, Jeremy, T.1 aBienias, Przemyslaw1 aBelyansky, Ron1 aKaufman, Adam, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2006.0248602237nas a2200121 4500008004100000245011500041210006900156260001300225520179100238100002502029700002402054856003702078 2020 eng d00aAuditing and Debugging Deep Learning Models via Decision Boundaries: Individual-level and Group-level Analysis0 aAuditing and Debugging Deep Learning Models via Decision Boundar c1/2/20203 aDeep learning models have been criticized for their lack of easy interpretation, which undermines confidence in their use for important applications. Nevertheless, they are consistently utilized in many applications, consequential to humans' lives, mostly because of their better performance. Therefore, there is a great need for computational methods that can explain, audit, and debug such models. Here, we use flip points to accomplish these goals for deep learning models with continuous output scores (e.g., computed by softmax), used in social applications. A flip point is any point that lies on the boundary between two output classes: e.g. for a model with a binary yes/no output, a flip point is any input that generates equal scores for "yes" and "no". The flip point closest to a given input is of particular importance because it reveals the least changes in the input that would change a model's classification, and we show that it is the solution to a well-posed optimization problem. Flip points also enable us to systematically study the decision boundaries of a deep learning classifier. The resulting insight into the decision boundaries of a deep model can clearly explain the model's output on the individual-level, via an explanation report that is understandable by non-experts. We also develop a procedure to understand and audit model behavior towards groups of people. Flip points can also be used to alter the decision boundaries in order to improve undesirable behaviors. We demonstrate our methods by investigating several models trained on standard datasets used in social applications of machine learning. We also identify the features that are most responsible for particular classifications and misclassifications.
1 aYousefzadeh, Roozbeh1 aO'Leary, Dianne, P. uhttps://arxiv.org/abs/2001.0068202481nas a2200229 4500008004100000245006800041210006700109260001300176490000700189520180000196100002401996700002102020700002602041700001902067700002302086700001902109700002002128700002402148700002302172700001902195856003702214 2020 eng d00aAuto-tuning of double dot devices in situ with machine learning0 aAutotuning of double dot devices in situ with machine learning c4/1/20200 v133 aThere 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.
1 aZwolak, Justyna, P.1 aMcJunkin, Thomas1 aKalantre, Sandesh, S.1 aDodson, J., P.1 aMacQuarrie, E., R.1 aSavage, D., E.1 aLagally, M., G.1 aCoppersmith, S., N.1 aEriksson, Mark, A.1 aTaylor, J., M. uhttps://arxiv.org/abs/1909.0803001191nas a2200145 4500008004100000245004800041210004800089260001400137490000800151520079000159100001800949700001900967700002200986856003701008 2019 eng d00aAccelerated Variational Quantum Eigensolver0 aAccelerated Variational Quantum Eigensolver c3/25/20190 v1223 aThe 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.
1 aWang, Daochen1 aHiggott, Oscar1 aBrierley, Stephen uhttps://arxiv.org/abs/1802.0017101484nas a2200121 4500008004100000245004900041210004600090260001500136520114100151100001701292700001601309856003701325 2019 eng d00aAn approximate description of quantum states0 aapproximate description of quantum states c2019/11/133 aWe 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' expectation values decreases as the inverse of the square root of the number of the system'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'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
1 aPaini, Marco1 aKalev, Amir uhttps://arxiv.org/abs/1910.1054301653nas a2200169 4500008004100000245007700041210006900118260001500187300001100202490000700213520111300220100002301333700001701356700002501373700001601398856006901414 2018 eng d00aAbsence of Thermalization in Finite Isolated Interacting Floquet Systems0 aAbsence of Thermalization in Finite Isolated Interacting Floquet c2018/01/29 a0143110 v973 aConventional 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.
1 aSeetharam, Karthik1 aTitum, Paraj1 aKolodrubetz, Michael1 aRefael, Gil uhttps://journals.aps.org/prb/abstract/10.1103/PhysRevB.97.01431101449nas a2200169 4500008004100000245008800041210006900129260001500198490000800213520091700221100001601138700002401154700002001178700001901198700002501217856003701242 2018 eng d00aAsymmetric Particle Transport and Light-Cone Dynamics Induced by Anyonic Statistics0 aAsymmetric Particle Transport and LightCone Dynamics Induced by c2018/12/200 v1213 aWe 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.
1 aLiu, Fangli1 aGarrison, James, R.1 aDeng, Dong-Ling1 aGong, Zhe-Xuan1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1809.0261401295nas a2200169 4500008004100000245008000041210006900121260001500190490000600205520078500211100001800996700001901014700001301033700002301046700001901069856003701088 2018 eng d00aAutomated optimization of large quantum circuits with continuous parameters0 aAutomated optimization of large quantum circuits with continuous c2017/10/190 v43 aWe 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.
1 aNam, Yunseong1 aRoss, Neil, J.1 aSu, Yuan1 aChilds, Andrew, M.1 aMaslov, Dmitri uhttps://arxiv.org/abs/1710.0734501252nas a2200133 4500008004100000245006000041210005600101260001500157520084400172100002201016700002401038700001901062856003701081 2018 eng d00aAn autonomous single-piston engine with a quantum rotor0 aautonomous singlepiston engine with a quantum rotor c2018/02/153 aPistons 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.
1 aRoulet, Alexandre1 aNimmrichter, Stefan1 aTaylor, J., M. uhttps://arxiv.org/abs/1802.0548601813nas a2200169 4500008004100000245010100041210006900142260001500211490000600226520127000232100002701502700001701529700001901546700001901565700002201584856003701606 2017 eng d00aAbove threshold scattering about a Feshbach resonance for ultracold atoms in an optical collider0 aAbove threshold scattering about a Feshbach resonance for ultrac c2017/09/060 v83 aStudies 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.
1 aHorvath, Milena, S. J.1 aThomas, Ryan1 aTiesinga, Eite1 aDeb, Amita, B.1 aKjærgaard, Niels uhttps://arxiv.org/abs/1704.0710901776nas a2200145 4500008004100000245004700041210004700088260000900135300001200144520137700156100001901533700001901552700002201571856003701593 2017 eng d00aAdvances in Quantum Reinforcement Learning0 aAdvances in Quantum Reinforcement Learning c2017 a282-2873 aIn 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.
1 aDunjko, Vedran1 aTaylor, J., M.1 aBriegel, Hans, J. uhttps://arxiv.org/abs/1811.0867601455nas a2200157 4500008004100000245005600041210005600097260001500153300001100168490000700179520101300186100002001199700002401219700001701243856003701260 2016 eng d00aAdiabatic optimization versus diffusion Monte Carlo0 aAdiabatic optimization versus diffusion Monte Carlo c2016/07/12 a0423180 v943 aMost 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.
1 aJarret, Michael1 aJordan, Stephen, P.1 aLackey, Brad uhttps://arxiv.org/abs/1607.0338901659nas a2200133 4500008004100000245011600041210006900157260001500226300001100241490000700252520121100259100001901470856003601489 2016 eng d00aOn the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization0 aadvantages of using relative phase Toffolis with an application c2016/02/10 a0223110 v933 aVarious 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.1 aMaslov, Dmitri uhttp://arxiv.org/abs/1508.0327301556nas a2200217 4500008004100000245006300041210006300104260001500167300001100182490000800193520094300201100002401144700001601168700001801184700001901202700001801221700002501239700002001264700001801284856003601302 2016 eng d00aAnomalous broadening in driven dissipative Rydberg systems0 aAnomalous broadening in driven dissipative Rydberg systems c2016/03/16 a1130010 v1163 aWe observe interaction-induced broadening of the two-photon 5s-18s transition in 87Rb atoms trapped in a 3D optical lattice. The measured linewidth increases by nearly two orders of magnitude with increasing atomic density and excitation strength, with corresponding suppression of resonant scattering and enhancement of off-resonant scattering. We attribute the increased linewidth to resonant dipole-dipole interactions of 18s atoms with spontaneously created populations of nearby np states. Over a range of initial atomic densities and excitation strengths, the transition width is described by a single function of the steady-state density of Rydberg atoms, and the observed resonant excitation rate corresponds to that of a two-level system with the measured, rather than natural, linewidth. The broadening mechanism observed here is likely to have negative implications for many proposals with coherently interacting Rydberg atoms.1 aGoldschmidt, E., A.1 aBoulier, T.1 aBrown, R., C.1 aKoller, S., B.1 aYoung, J., T.1 aGorshkov, Alexey, V.1 aRolston, S., L.1 aPorto, J., V. uhttp://arxiv.org/abs/1510.0871001350nas a2200145 4500008004100000245004800041210004800089260001500137300001200152490000700164520095400171100002001125700002401145856003501169 2015 eng d00aAdiabatic optimization without local minima0 aAdiabatic optimization without local minima c2015/05/01 a181-1990 v153 a 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. 1 aJarret, Michael1 aJordan, Stephen, P. uhttp://arxiv.org/abs/1405.755201548nas a2200157 4500008004100000245010700041210006900148260001500217520099200232100001801224700001601242700002501258700001701283700001601300856007401316 2015 eng d00aAtom induced cavities and tunable long-range interactions between atoms trapped near photonic crystals0 aAtom induced cavities and tunable longrange interactions between c2015/03/033 aUsing 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.
1 aDouglas, J, S1 aHabibian, H1 aGorshkov, Alexey, V.1 aKimble, H, J1 aChang, D, E uhttp://www.nature.com/nphoton/journal/v9/n5/full/nphoton.2015.57.html02343nas a2200169 4500008004100000245009200041210006900133260001500202300001400217490000800231520180600239100002602045700002002071700002402091700002102115856003702136 2014 eng d00aAdaptive change of basis in entropy-based moment closures for linear kinetic equations0 aAdaptive change of basis in entropybased moment closures for lin c2014/02/01 a489 - 5080 v2583 a 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. 1 aAlldredge, Graham, W.1 aHauck, Cory, D.1 aO'Leary, Dianne, P.1 aTits, André, L. uhttp://arxiv.org/abs/1306.2881v101470nas a2200205 4500008004100000245006500041210006400106260001500170300001400185490000800199520087200207100001701079700002201096700002001118700002101138700002301159700002501182700002001207856003701227 2013 eng d00aAll-Optical Switch and Transistor Gated by One Stored Photon0 aAllOptical Switch and Transistor Gated by One Stored Photon c2013/07/04 a768 - 7700 v3413 a The realization of an all-optical transistor where one 'gate' photon controls a 'source' 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. 1 aChen, Wenlan1 aBeck, Kristin, M.1 aBücker, Robert1 aGullans, Michael1 aLukin, Mikhail, D.1 aTanji-Suzuki, Haruka1 aVuletic, Vladan uhttp://arxiv.org/abs/1401.3194v100504nas a2200169 4500008004100000245005300041210005300094300000700147490000800154100002200162700002300184700001700207700002500224700002300249700002000272856004200292 2013 eng d00aAttractive Photons in a Quantum Nonlinear Medium0 aAttractive Photons in a Quantum Nonlinear Medium a710 v5021 aFirstenberg, Ofer1 aPeyronel, Thibault1 aLiang, Qi-Yu1 aGorshkov, Alexey, V.1 aLukin, Mikhail, D.1 aVuletic, Vladan uhttp://dx.doi.org/10.1038/nature1251201021nas a2200169 4500008004100000245009300041210006900134260001500203300001200218490000700230520048600237100002400723700002400747700001800771700002500789856003700814 2012 eng d00aAchieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems0 aAchieving perfect completeness in classicalwitness quantum Merli c2012/05/01 a461-4710 v123 a 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. 1 aJordan, Stephen, P.1 aKobayashi, Hirotada1 aNagaj, Daniel1 aNishimura, Harumichi uhttp://arxiv.org/abs/1111.5306v201029nas a2200121 4500008004100000245004700041210004700088260001500135520068500150100001600835700001900851856003700870 2012 eng d00aAlgorithmic Cooling of a Quantum Simulator0 aAlgorithmic Cooling of a Quantum Simulator c2012/07/303 aControlled 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. 1 aKafri, Dvir1 aTaylor, J., M. uhttp://arxiv.org/abs/1207.7111v101318nas a2200145 4500008004100000245008900041210006900130260001300199490000800212520084800220100002201068700001901090700002601109856003701135 2012 eng d00aAnisotropy induced Feshbach resonances in a quantum dipolar gas of magnetic atoms 0 aAnisotropy induced Feshbach resonances in a quantum dipolar gas c2012/9/70 v1093 a 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. 1 aPetrov, Alexander1 aTiesinga, Eite1 aKotochigova, Svetlana uhttp://arxiv.org/abs/1203.4172v101079nas a2200121 4500008004100000245009300041210006900134260001500203520066100218100002400879700001900903856003500922 2011 eng d00aApproximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit0 aApproximating the TuraevViro Invariant of Mapping Tori is Comple c2011/05/313 aThe 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.
1 aJordan, Stephen, P.1 aAlagic, Gorjan uhttp://arxiv.org/abs/1105.510001036nas a2200181 4500008004100000245006600041210006500107260001400172490000700186520050100193100002500694700001700719700002100736700001800757700002300775700001900798856003700817 2010 eng d00aAdiabatic preparation of many-body states in optical lattices0 aAdiabatic preparation of manybody states in optical lattices c2010/6/220 v813 a 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. 1 aSorensen, Anders, S.1 aAltman, Ehud1 aGullans, Michael1 aPorto, J., V.1 aLukin, Mikhail, D.1 aDemler, Eugene uhttp://arxiv.org/abs/0906.2567v301327nas a2200157 4500008004100000245009200041210006900133260001400202490000700216520082400223100001901047700002401066700001901090700002301109856003701132 2010 eng d00aApproximating Turaev-Viro 3-manifold invariants is universal for quantum computation 0 aApproximating TuraevViro 3manifold invariants is universal for q c2010/10/80 v823 a 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. 1 aAlagic, Gorjan1 aJordan, Stephen, P.1 aKoenig, Robert1 aReichardt, Ben, W. uhttp://arxiv.org/abs/1003.0923v101223nas a2200193 4500008004100000245006200041210005900103260001400162490000800176520066700184100002500851700002000876700002200896700002100918700001200939700001800951700002300969856003700992 2009 eng d00aAlkaline-Earth-Metal Atoms as Few-Qubit Quantum Registers0 aAlkalineEarthMetal Atoms as FewQubit Quantum Registers c2009/3/180 v1023 a We propose and analyze a novel approach to quantum information processing, in which multiple qubits can be encoded and manipulated using electronic and nuclear degrees of freedom associated with individual alkaline-earth atoms trapped in an optical lattice. Specifically, we describe how the qubits within each register can be individually manipulated and measured with sub-wavelength optical resolution. We also show how such few-qubit registers can be coupled to each other in optical superlattices via conditional tunneling to form a scalable quantum network. Finally, potential applications to quantum computation and precision measurements are discussed. 1 aGorshkov, Alexey, V.1 aRey, Ana, Maria1 aDaley, Andrew, J.1 aBoyd, Martin, M.1 aYe, Jun1 aZoller, Peter1 aLukin, Mikhail, D. uhttp://arxiv.org/abs/0812.3660v201156nas a2200133 4500008004100000245005100041210004700092260001400139490000700153520077700160100002400937700002400961856003700985 2008 eng d00aThe adiabatic theorem in the presence of noise0 aadiabatic theorem in the presence of noise c2008/4/220 v773 a 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. 1 aO'Hara, Michael, J.1 aO'Leary, Dianne, P. uhttp://arxiv.org/abs/0801.3872v101927nas a2200121 4500008004100000245005300041210005200094260001500146520156900161100001801730700002001748856003701768 2008 eng d00aAncilla-Assisted Discrimination of Quantum Gates0 aAncillaAssisted Discrimination of Quantum Gates c2008/09/023 a The intrinsic idea of superdense coding is to find as many gates as possible such that they can be perfectly discriminated. In this paper, we consider a new scheme of discrimination of quantum gates, called ancilla-assisted discrimination, in which a set of quantum gates on a $d-$dimensional system are perfectly discriminated with assistance from an $r-$dimensional ancilla system. The main contribution of the present paper is two-fold: (1) The number of quantum gates that can be discriminated in this scheme is evaluated. We prove that any $rd+1$ quantum gates cannot be perfectly discriminated with assistance from the ancilla, and there exist $rd$ quantum gates which can be perfectly discriminated with assistance from the ancilla. (2) The dimensionality of the minimal ancilla system is estimated. We prove that there exists a constant positive number $c$ such that for any $k\leq cr$ quantum gates, if they are $d$-assisted discriminable, then they are also $r$-assisted discriminable, and there are $c^{\prime}r\textrm{}(c^{\prime}>c)$ different quantum gates which can be discriminated with a $d-$dimensional ancilla, but they cannot be discriminated if the ancilla is reduced to an $r-$dimensional system. Thus, the order $O(r)$ of the number of quantum gates that can be discriminated with assistance from an $r-$dimensional ancilla is optimal. The results reported in this paper represent a preliminary step toward understanding the role ancilla system plays in discrimination of quantum gates as well as the power and limit of superdense coding. 1 aChen, Jianxin1 aYing, Mingsheng uhttp://arxiv.org/abs/0809.0336v101661nas a2200217 4500008004100000245007400041210006900115260001400184300001400198490000600212520102000218100001701238700002301255700002501278700002201303700002101325700001901346700002301365700001801388856003701406 2008 eng d00aAnyonic interferometry and protected memories in atomic spin lattices0 aAnyonic interferometry and protected memories in atomic spin lat c2008/4/20 a482 - 4880 v43 a 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. 1 aJiang, Liang1 aBrennen, Gavin, K.1 aGorshkov, Alexey, V.1 aHammerer, Klemens1 aHafezi, Mohammad1 aDemler, Eugene1 aLukin, Mikhail, D.1 aZoller, Peter uhttp://arxiv.org/abs/0711.1365v101381nas a2200145 4500008004100000245007000041210006900111260001400180490000700194520093200201100002301133700001901156700002301175856003701198 2008 eng d00aAvoided crossings between bound states of ultracold Cesium dimers0 aAvoided crossings between bound states of ultracold Cesium dimer c2008/11/50 v783 a 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. 1 aHutson, Jeremy, M.1 aTiesinga, Eite1 aJulienne, Paul, S. uhttp://arxiv.org/abs/0806.2583v101765nas a2200145 4500008004100000245006400041210006300105260001400168490000700182520131400189100002501503700002401528700002301552856004401575 2005 eng d00aAsymptotically Optimal Quantum Circuits for d-level Systems0 aAsymptotically Optimal Quantum Circuits for dlevel Systems c2005/6/140 v943 a 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'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'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. 1 aBullock, Stephen, S.1 aO'Leary, Dianne, P.1 aBrennen, Gavin, K. uhttp://arxiv.org/abs/quant-ph/0410116v202281nas a2200181 4500008004100000245009200041210006900133260001500202300001600217490000700233520170600240100002101946700002201967700002401989700001902013700002302032856004402055 2004 eng d00aAdiabatic association of ultracold molecules via magnetic field tunable interactions 0 aAdiabatic association of ultracold molecules via magnetic field c2004/09/14 a3457 - 35000 v373 a 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. 1 aGoral, Krzysztof1 aKoehler, Thorsten1 aGardiner, Simon, A.1 aTiesinga, Eite1 aJulienne, Paul, S. uhttp://arxiv.org/abs/cond-mat/0312178v500922nas a2200157 4500008004100000245009800041210006900139260001500208520039600223100002100619700002300640700002300663700001900686700001500705856004400720 2004 eng d00aAdvantages of high-speed technique for quantum key distribution; reply to quant-ph/0407050 0 aAdvantages of highspeed technique for quantum key distribution r c2004/07/183 a 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's main conclusion and highlights the benefits of increased transmission rates. 1 aBienfang, J., C.1 aClark, Charles, W.1 aWilliams, Carl, J.1 aHagley, E., W.1 aWen, Jesse uhttp://arxiv.org/abs/quant-ph/0407139v100853nas a2200145 4500008004100000245009300041210006900134260001500203520037100218100002300589700001800612700001900630700001400649856004400663 2002 eng d00aAsymptotic entanglement capacity of the Ising and anisotropic Heisenberg interactions 0 aAsymptotic entanglement capacity of the Ising and anisotropic He c2002/07/103 a 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. 1 aChilds, Andrew, M.1 aLeung, D., W.1 aVerstraete, F.1 aVidal, G. uhttp://arxiv.org/abs/quant-ph/0207052v2