Showing 1–33 of 33 results for author: Jones, B

Quantum simulation of superdiffusion breakdown in Heisenberg chains via 2D interactions

Authors: Keerthi Kumaran, Manas Sajjan, Bibek Pokharel, Joe Gibbs, Jeffrey Cohn, Barbara Jones, Sarah Mostame, Sabre Kais, Arnab Banerjee

Abstract: Observing superdiffusive scaling in the spin transport of the integrable 1D Heisenberg model is one of the key discoveries in non-equilibrium quantum many-body physics. Despite this remarkable theoretical development and the subsequent experimental observation of the phenomena in KCuF3, real materials are often imperfect and contain integrability breaking interactions. Understanding the effect of… ▽ More Observing superdiffusive scaling in the spin transport of the integrable 1D Heisenberg model is one of the key discoveries in non-equilibrium quantum many-body physics. Despite this remarkable theoretical development and the subsequent experimental observation of the phenomena in KCuF3, real materials are often imperfect and contain integrability breaking interactions. Understanding the effect of such terms on the superdiffusion is crucial in identifying connections to such materials. Current quantum hardware has already ascertained its utility in studying such non-equilibrium phenomena by simulating the superdiffusion of the 1D Heisenberg model. In this work, we perform a quantum simulation of the superdiffusion breakdown by generalizing the superdiffusive Floquet-type 1D model to a general 2D model. We comprehensively study the effect of different 2D interactions on the superdiffusion breakdown by tuning up their strength from zero, corresponding to the 1D Heisenberg chain, to higher values. We observe that certain 2D interactions are more resilient against superdiffusion breakdown than the others and that the SU(2) preserving 2D interaction has the highest resilience among all the 2D interactions we study. We observe that the location and multitude of the 2D interactions of a certain type do not change the relative resilience, but simply affect the time of onset of the breakdown. The superdiffusion breakdown was also captured in quantum hardware with a remarkable accuracy, further establishing the quantum computer's applicability in simulating interesting non-equilibrium quantum many-body phenomena. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Comments: 15 pages. Comments are welcome

Superradiant Neutrino Lasers from Radioactive Condensates

Authors: B. J. P Jones, J. A. Formaggio

Abstract: Superradiance emerges from collective spontaneous emission in optically pumped gases, and is characterized by photon emission enhancements of up to $\frac{1}{4}N^{2}$ in an $N$ atom system. The gain mechanism derives from correlations developed within the decay medium rather than from stimulated emission as in lasing, so analog of this process should be possible for fermionic final states. We intr… ▽ More Superradiance emerges from collective spontaneous emission in optically pumped gases, and is characterized by photon emission enhancements of up to $\frac{1}{4}N^{2}$ in an $N$ atom system. The gain mechanism derives from correlations developed within the decay medium rather than from stimulated emission as in lasing, so analog of this process should be possible for fermionic final states. We introduce here the concept of superradiant neutrino emission from a radioactive Bose Einstein condensate, which can form the basis for a superradiant neutrino laser. A plausible experimental realization based on a condensate of electron-capture isotope $^{83}$Rb could exhibit effective radioactive decay rates accelerated from 82 days to minutes in viably sized rubidium condensates of $10^{6}$ atoms. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Fault-Tolerant Operation and Materials Science with Neutral Atom Logical Qubits

Authors: Matt. J. Bedalov, Matt Blakely, Peter. D. Buttler, Caitlin Carnahan, Frederic T. Chong, Woo Chang Chung, Dan C. Cole, Palash Goiporia, Pranav Gokhale, Bettina Heim, Garrett T. Hickman, Eric B. Jones, Ryan A. Jones, Pradnya Khalate, Jin-Sung Kim, Kevin W. Kuper, Martin T. Lichtman, Stephanie Lee, David Mason, Nathan A. Neff-Mallon, Thomas W. Noel, Victory Omole, Alexander G. Radnaev, Rich Rines, Mark Saffman , et al. (5 additional authors not shown)

Abstract: We report on the fault-tolerant operation of logical qubits on a neutral atom quantum computer, with logical performance surpassing physical performance for multiple circuits including Bell states (12x error reduction), random circuits (15x), and a prototype Anderson Impurity Model ground state solver for materials science applications (up to 6x, non-fault-tolerantly). The logical qubits are imple… ▽ More We report on the fault-tolerant operation of logical qubits on a neutral atom quantum computer, with logical performance surpassing physical performance for multiple circuits including Bell states (12x error reduction), random circuits (15x), and a prototype Anderson Impurity Model ground state solver for materials science applications (up to 6x, non-fault-tolerantly). The logical qubits are implemented via the [[4, 2, 2]] code (C4). Our work constitutes the first complete realization of the benchmarking protocol proposed by Gottesman 2016 [1] demonstrating results consistent with fault-tolerance. In light of recent advances on applying concatenated C4/C6 detection codes to achieve error correction with high code rates and thresholds, our work can be regarded as a building block towards a practical scheme for fault tolerant quantum computation. Our demonstration of a materials science application with logical qubits particularly demonstrates the immediate value of these techniques on current experiments. △ Less

Submitted 10 December, 2024; originally announced December 2024.

Determining Absolute Neutrino Mass using Quantum Technologies

Authors: A. A. S. Amad, F. F. Deppisch, M. Fleck, J. Gallop, T. Goffrey, L. Hao, N. Higginbotham, S. D. Hogan, S. B. Jones, L. Li, N. McConkey, V. Monachello, R. Nichol, J. A. Potter, Y. Ramachers, R. Saakyan, E. Sedzielewski, D. Swinnock, D. Waters, S. Withington, S. Zhao, J. Zou

Abstract: Next generation tritium decay experiments to determine the absolute neutrino mass require high-precision measurements of $β$-decay electron energies close to the kinematic end point. To achieve this, the development of high phase-space density sources of atomic tritium is required, along with the implementation of methods to control the motion of these atoms to allow extended observation times. A… ▽ More Next generation tritium decay experiments to determine the absolute neutrino mass require high-precision measurements of $β$-decay electron energies close to the kinematic end point. To achieve this, the development of high phase-space density sources of atomic tritium is required, along with the implementation of methods to control the motion of these atoms to allow extended observation times. A promising approach to efficiently and accurately measure the kinetic energies of individual $β$-decay electrons generated in these dilute atomic gases, is to determine the frequency of the cyclotron radiation they emit in a precisely characterised magnetic field. This cyclotron radiation emission spectroscopy (CRES) technique can benefit from recent developments in quantum technologies. Absolute static-field magnetometry and electrometry, which is essential for the precise determination of the electron kinetic energies from the frequency of their emitted cyclotron radiation, can be performed using atoms in superpositions of circular Rydberg states. Quantum-limited microwave amplifiers will allow precise cyclotron frequency measurements to be made with maximal signal-to-noise ratios and minimal observation times. Exploiting the opportunities offered by quantum technologies in these key areas, represents the core activity of the Quantum Technologies for Neutrino Mass (QTNM) project. Its goal is to develop a new experimental apparatus that can enable a determination of the absolute neutrino mass with a sensitivity on the order of 10~meV/$c^2$. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 46 pages, 12 figures

Benchmarking a wide range of optimisers for solving the Fermi-Hubbard model using the variational quantum eigensolver

Authors: Benjamin D. M. Jones, Lana Mineh, Ashley Montanaro

Abstract: We numerically benchmark 30 optimisers on 372 instances of the variational quantum eigensolver for solving the Fermi-Hubbard system with the Hamiltonian variational ansatz. We rank the optimisers with respect to metrics such as final energy achieved and function calls needed to get within a certain tolerance level, and find that the best performing optimisers are variants of gradient descent such… ▽ More We numerically benchmark 30 optimisers on 372 instances of the variational quantum eigensolver for solving the Fermi-Hubbard system with the Hamiltonian variational ansatz. We rank the optimisers with respect to metrics such as final energy achieved and function calls needed to get within a certain tolerance level, and find that the best performing optimisers are variants of gradient descent such as Momentum and ADAM (using finite difference), SPSA, CMAES, and BayesMGD. We also perform gradient analysis and observe that the step size for finite difference has a very significant impact. We also consider using simultaneous perturbation (inspired by SPSA) as a gradient subroutine: here finite difference can lead to a more precise estimate of the ground state but uses more calls, whereas simultaneous perturbation can converge quicker but may be less precise in the later stages. Finally, we also study the quantum natural gradient algorithm: we implement this method for 1-dimensional Fermi-Hubbard systems, and find that whilst it can reach a lower energy with fewer iterations, this improvement is typically lost when taking total function calls into account. Our method involves performing careful hyperparameter sweeping on 4 instances. We present a variety of analysis and figures, detailed optimiser notes, and discuss future directions. △ Less

Submitted 20 January, 2025; v1 submitted 20 November, 2024; originally announced November 2024.

Comments: 43 pages, 30 figures. Version 2 contains minor edits and additional references. Associated data can be found at https://doi.org/10.5281/zenodo.13960674

Certifying high-dimensional quantum channels

Authors: Sophie Engineer, Suraj Goel, Sophie Egelhaaf, Will McCutcheon, Vatshal Srivastav, Saroch Leedumrongwatthanakun, Sabine Wollmann, Ben Jones, Thomas Cope, Nicolas Brunner, Roope Uola, Mehul Malik

Abstract: The use of high-dimensional systems for quantum communication opens interesting perspectives, such as increased information capacity and noise resilience. In this context, it is crucial to certify that a given quantum channel can reliably transmit high-dimensional quantum information. Here we develop efficient methods for the characterization of high-dimensional quantum channels. We first present… ▽ More The use of high-dimensional systems for quantum communication opens interesting perspectives, such as increased information capacity and noise resilience. In this context, it is crucial to certify that a given quantum channel can reliably transmit high-dimensional quantum information. Here we develop efficient methods for the characterization of high-dimensional quantum channels. We first present a notion of dimensionality of quantum channels, and develop efficient certification methods for this quantity. We consider a simple prepare-and-measure setup, and provide witnesses for both a fully and a partially trusted scenario. In turn we apply these methods to a photonic experiment and certify dimensionalities up to 59 for a commercial graded-index multi-mode optical fiber. Moreover, we present extensive numerical simulations of the experiment, providing an accurate noise model for the fiber and exploring the potential of more sophisticated witnesses. Our work demonstrates the efficient characterization of high-dimensional quantum channels, a key ingredient for future quantum communication technologies. △ Less

Submitted 28 August, 2024; originally announced August 2024.

A universal neutral-atom quantum computer with individual optical addressing and non-destructive readout

Authors: A. G. Radnaev, W. C. Chung, D. C. Cole, D. Mason, T. G. Ballance, M. J. Bedalov, D. A. Belknap, M. R. Berman, M. Blakely, I. L. Bloomfield, P. D. Buttler, C. Campbell, A. Chopinaud, E. Copenhaver, M. K. Dawes, S. Y. Eubanks, A. J. Friss, D. M. Garcia, J. Gilbert, M. Gillette, P. Goiporia, P. Gokhale, J. Goldwin, D. Goodwin, T. M. Graham , et al. (33 additional authors not shown)

Abstract: Quantum computers must achieve large-scale, fault-tolerant operation to deliver on their promise of transformational processing power [1-4]. This will require thousands or millions of high-fidelity quantum gates and similar numbers of qubits [5]. Demonstrations using neutral-atom qubits trapped and manipulated by lasers have shown that this modality can provide high two-qubit gate (CZ) fidelities… ▽ More Quantum computers must achieve large-scale, fault-tolerant operation to deliver on their promise of transformational processing power [1-4]. This will require thousands or millions of high-fidelity quantum gates and similar numbers of qubits [5]. Demonstrations using neutral-atom qubits trapped and manipulated by lasers have shown that this modality can provide high two-qubit gate (CZ) fidelities and scalable operation [6-13]. However, the gates in these demonstrations are driven by lasers that do not resolve individual qubits, with universal computation enabled by physical mid-circuit shuttling of the qubits. This relatively slow operation may greatly extend runtimes for useful, large-scale computation. Here we demonstrate a universal neutral-atom quantum computer with gate rates limited by optical switching times, rather than shuttling, by individually addressing tightly focused laser beams at an array of single atoms. We achieve CZ fidelity of 99.35(4)% and local single-qubit RZ gate fidelity of 99.902(8)%. Moreover, we demonstrate non-destructive readout of alkali-atom qubits with 0.9(3)% loss, which boosts operational speed. This technique also enables us to measure a state-of-the-art CZ fidelity of 99.73(3)% when excluding atom-loss events, which may be mitigated through erasure conversion. Our results represent a critical step towards large-scale, fault-tolerant neutral-atom quantum computers that can execute computations on practical timescales. △ Less

Submitted 19 January, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Testing multipartite productness is easier than testing bipartite productness

Authors: Benjamin D. M. Jones, Ashley Montanaro

Abstract: We prove a lower bound on the number of copies needed to test the property of a multipartite quantum state being product across some bipartition (i.e. not genuinely multipartite entangled), given the promise that the input state either has this property or is $ε$-far in trace distance from any state with this property. We show that $Ω(n / \log n)$ copies are required (for fixed… ▽ More We prove a lower bound on the number of copies needed to test the property of a multipartite quantum state being product across some bipartition (i.e. not genuinely multipartite entangled), given the promise that the input state either has this property or is $ε$-far in trace distance from any state with this property. We show that $Ω(n / \log n)$ copies are required (for fixed $ε\leq \frac{1}{2}$), complementing a previous result that $O(n / ε^2)$ copies are sufficient. Our proof technique proceeds by considering uniformly random ensembles over such states, and showing that the trace distance between these ensembles becomes arbitrarily small for sufficiently large $n$ unless the number of copies is at least $Ω(n / \log n)$. We discuss implications for testing graph states and computing the generalised geometric measure of entanglement. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 19 pages, 2 figures

Dynamic, Symmetry-Preserving, and Hardware-Adaptable Circuits for Quantum Computing Many-Body States and Correlators of the Anderson Impurity Model

Authors: Eric B. Jones, Cody James Winkleblack, Colin Campbell, Caleb Rotello, Edward D. Dahl, Matthew Reynolds, Peter Graf, Wesley Jones

Abstract: We present a hardware-reconfigurable ansatz on $N_q$-qubits for the variational preparation of many-body states of the Anderson impurity model (AIM) with $N_{\text{imp}}+N_{\text{bath}}=N_q/2$ sites, which conserves total charge and spin z-component within each variational search subspace. The many-body ground state of the AIM is determined as the minimum over all minima of $O(N_q^2)$ distinct cha… ▽ More We present a hardware-reconfigurable ansatz on $N_q$-qubits for the variational preparation of many-body states of the Anderson impurity model (AIM) with $N_{\text{imp}}+N_{\text{bath}}=N_q/2$ sites, which conserves total charge and spin z-component within each variational search subspace. The many-body ground state of the AIM is determined as the minimum over all minima of $O(N_q^2)$ distinct charge-spin sectors. Hamiltonian expectation values are shown to require $ω(N_q) < N_{\text{meas.}} \leq O(N_{\text{imp}}N_{\text{bath}})$ symmetry-preserving, parallelizable measurement circuits, each amenable to post-selection. To obtain the one-particle impurity Green's function we show how initial Krylov vectors can be computed via mid-circuit measurement and how Lanczos iterations can be computed using the symmetry-preserving ansatz. For a single-impurity Anderson model with a number of bath sites increasing from one to six, we show using numerical emulation that the ease of variational ground-state preparation is suggestive of linear scaling in circuit depth and sub-quartic scaling in optimizer complexity. We therefore expect that, combined with time-dependent methods for Green's function computation, our ansatz provides a useful tool to account for electronic correlations on early fault-tolerant processors. Finally, with a view towards computing real materials properties of interest like magnetic susceptibilities and electron-hole propagators, we provide a straightforward method to compute many-body, time-dependent correlation functions using a combination of time evolution, mid-circuit measurement-conditioned operations, and the Hadamard test. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Calculating the expected value function of a two-stage stochastic optimization program with a quantum algorithm

Authors: Caleb Rotello, Peter Graf, Matthew Reynolds, Eric B. Jones, Cody James Winkleblack, Wesley Jones

Abstract: Two-stage stochastic programming is a problem formulation for decision-making under uncertainty. In the first stage, the actor makes a best "here and now" decision in the presence of uncertain quantities that will be resolved in the future, represented in the objective function as the expected value function. This function is a multi-dimensional integral of the second stage optimization problem, w… ▽ More Two-stage stochastic programming is a problem formulation for decision-making under uncertainty. In the first stage, the actor makes a best "here and now" decision in the presence of uncertain quantities that will be resolved in the future, represented in the objective function as the expected value function. This function is a multi-dimensional integral of the second stage optimization problem, which must be solved over all possible future scenarios. This work uses a quantum algorithm to estimate the expected value function with a polynomial speedup. Our algorithm gains its advantage through the two following observations. First, by encoding the probability distribution as a quantum wavefunction in an auxilliary register, and using this register as control logic for a phase-separation unitary, Digitized Quantum Annealing (DQA) can converge to the minimium of each scenario in the random variable in parallel. Second, Quantum Amplitude Estimation (QAE) on DQA can calculate the expected value of this per-scenario optimized wavefunction, producing an estimate for the expected value function. Quantum optimization is theorized to have a polynomial speedup for combinatorial optimization problems, and estimation error from QAE is known to converge inverse-linear in the number of samples (as opposed to the best case inverse of a square root in classical Monte Carlo). Therefore, assuming the probability distribution wavefunction can be prepared efficiently, we conclude our method has a polynomial speedup (of varying degree, depending on the optimization problem) over classical methods for estimating the expected value function. We conclude by demonstrating this algorithm on a stochastic programming problem inspired by operating the power grid under weather uncertainty. △ Less

Submitted 11 November, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Comments: 17 pages, 5 figures, 2 appendices

Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions

Authors: Yuri Alexeev, Maximilian Amsler, Paul Baity, Marco Antonio Barroca, Sanzio Bassini, Torey Battelle, Daan Camps, David Casanova, Young Jai Choi, Frederic T. Chong, Charles Chung, Chris Codella, Antonio D. Corcoles, James Cruise, Alberto Di Meglio, Jonathan Dubois, Ivan Duran, Thomas Eckl, Sophia Economou, Stephan Eidenbenz, Bruce Elmegreen, Clyde Fare, Ismael Faro, Cristina Sanz Fernández, Rodrigo Neumann Barros Ferreira , et al. (102 additional authors not shown)

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

Submitted 19 September, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 65 pages, 15 figures; comments welcome

Journal ref: Future Generation Computer Systems, Volume 160, November 2024, Pages 666-710

The Hadamard gate cannot be replaced by a resource state in universal quantum computation

Authors: Benjamin D. M. Jones, Noah Linden, Paul Skrzypczyk

Abstract: We consider models of quantum computation that involve operations performed on some fixed resourceful quantum state. Examples that fit this paradigm include magic state injection and measurement-based approaches. We introduce a framework that incorporates both of these cases and focus on the role of coherence (or superposition) in this context, as exemplified through the Hadamard gate. We prove th… ▽ More We consider models of quantum computation that involve operations performed on some fixed resourceful quantum state. Examples that fit this paradigm include magic state injection and measurement-based approaches. We introduce a framework that incorporates both of these cases and focus on the role of coherence (or superposition) in this context, as exemplified through the Hadamard gate. We prove that given access to incoherent unitaries (those that are unable to generate superposition from computational basis states, e.g. CNOT, diagonal gates), classical control, computational basis measurements, and any resourceful ancillary state (of arbitrary dimension), it is not possible to implement any coherent unitary (e.g. Hadamard) exactly with non-zero probability. We also consider the approximate case by providing lower bounds for the induced trace distance between the above operations and $n$ Hadamard gates. To demonstrate the stability of this result, this is then extended to a similar no-go result for the case of using $k$ Hadamard gates to exactly implement $n>k$ Hadamard gates. △ Less

Submitted 11 September, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 31 pages, 3 figures. Latest version includes an improved bound for Lemma 19, added references, and data access statement. Accepted in Quantum

Journal ref: Quantum 8, 1470 (2024)

Automated detection of symmetry-protected subspaces in quantum simulations

Authors: Caleb Rotello, Eric B. Jones, Peter Graf, Eliot Kapit

Abstract: The analysis of symmetry in quantum systems is of utmost theoretical importance, useful in a variety of applications and experimental settings, and is difficult to accomplish in general. Symmetries imply conservation laws, which partition Hilbert space into invariant subspaces of the time-evolution operator, each of which is demarcated according to its conserved quantity. We show that, starting fr… ▽ More The analysis of symmetry in quantum systems is of utmost theoretical importance, useful in a variety of applications and experimental settings, and is difficult to accomplish in general. Symmetries imply conservation laws, which partition Hilbert space into invariant subspaces of the time-evolution operator, each of which is demarcated according to its conserved quantity. We show that, starting from a chosen basis, any invariant, symmetry-protected subspaces which are diagonal in that basis are discoverable using transitive closure on graphs representing state-to-state transitions under $k$-local unitary operations. Importantly, the discovery of these subspaces relies neither upon the explicit identification of a symmetry operator or its eigenvalues nor upon the construction of matrices of the full Hilbert space dimension. We introduce two classical algorithms, which efficiently compute and elucidate features of these subspaces. The first algorithm explores the entire symmetry-protected subspace of an initial state in time complexity linear to the size of the subspace by closing local basis state-to-basis state transitions. The second algorithm determines, with bounded error, if a given measurement outcome of a dynamically-generated state is within the symmetry-protected subspace of the state in which the dynamical system is initialized. We demonstrate the applicability of these algorithms by performing post-selection on data generated from emulated noisy quantum simulations of three different dynamical systems: the Heisenberg-XXX model and the $T_6$ and $F_4$ quantum cellular automata. Due to their efficient computability and indifference to identifying the underlying symmetry, these algorithms lend themselves to the post-selection of quantum computer data, optimized classical simulation of quantum systems, and the discovery of previously hidden symmetries in quantum mechanical systems. △ Less

Submitted 27 March, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Comments: 23 pages, 7 figures, 4 appendices

Journal ref: Phys. Rev. Res. 5.3.033082 (2023)

SupercheQ: Quantum Advantage for Distributed Databases

Authors: P. Gokhale, E. R. Anschuetz, C. Campbell, F. T. Chong, E. D. Dahl, P. Frederick, E. B. Jones, B. Hall, S. Issa, P. Goiporia, S. Lee, P. Noell, V. Omole, D. Owusu-Antwi, M. A. Perlin, R. Rines, M. Saffman, K. N. Smith, T. Tomesh

Abstract: We introduce SupercheQ, a family of quantum protocols that achieves asymptotic advantage over classical protocols for checking the equivalence of files, a task also known as fingerprinting. The first variant, SupercheQ-EE (Efficient Encoding), uses n qubits to verify files with 2^O(n) bits -- an exponential advantage in communication complexity (i.e. bandwidth, often the limiting factor in network… ▽ More We introduce SupercheQ, a family of quantum protocols that achieves asymptotic advantage over classical protocols for checking the equivalence of files, a task also known as fingerprinting. The first variant, SupercheQ-EE (Efficient Encoding), uses n qubits to verify files with 2^O(n) bits -- an exponential advantage in communication complexity (i.e. bandwidth, often the limiting factor in networked applications) over the best possible classical protocol in the simultaneous message passing setting. Moreover, SupercheQ-EE can be gracefully scaled down for implementation on circuits with poly(n^l) depth to enable verification for files with O(n^l) bits for arbitrary constant l. The quantum advantage is achieved by random circuit sampling, thereby endowing circuits from recent quantum supremacy and quantum volume experiments with a practical application. We validate SupercheQ-EE's performance at scale through GPU simulation. The second variant, SupercheQ-IE (Incremental Encoding), uses n qubits to verify files with O(n^2) bits while supporting constant-time incremental updates to the fingerprint. Moreover, SupercheQ-IE only requires Clifford gates, ensuring relatively modest overheads for error-corrected implementation. We experimentally demonstrate proof-of-concepts through Qiskit Runtime on IBM quantum hardware. We envision SupercheQ could be deployed in distributed data settings, accompanying replicas of important databases. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Hamiltonian Simulation of Quantum Beats in Radical Pairs Undergoing Thermal Relaxation on Near-term Quantum Computers

Authors: Meltem Tolunay, Ieva Liepuoniute, Mariya Vyushkova, Barbara A. Jones

Abstract: Quantum dynamics of the radical pair mechanism is a major driving force in quantum biology, materials science, and spin chemistry. The rich quantum physical underpinnings of the mechanism are determined by a coherent oscillation (quantum beats) between the singlet and triplet spin states and their interactions with the environment, which is challenging to experimentally explore and computationally… ▽ More Quantum dynamics of the radical pair mechanism is a major driving force in quantum biology, materials science, and spin chemistry. The rich quantum physical underpinnings of the mechanism are determined by a coherent oscillation (quantum beats) between the singlet and triplet spin states and their interactions with the environment, which is challenging to experimentally explore and computationally simulate. In this work, we take advantage of quantum computers to simulate the Hamiltonian evolution and thermal relaxation of two radical pair systems undergoing the quantum-beat phenomena. We study radical pair systems with nontrivial hyperfine coupling interactions, namely, 9,10-octalin+/p-terphenyl-d14 and 2,3-dimethylbutane/p-terphenyl-d14 that have one and two groups of magnetically equivalent nuclei, respectively. Thermal relaxation dynamics in these systems are simulated using three methods: Kraus channel representations, noise models on Qiskit Aer and the inherent qubit noise present on the near-term quantum hardware. By leveraging the inherent qubit noise, we are able to simulate noisy quantum beats in the two radical pairs better than with any classical approximation or quantum simulator. While classical simulations of paramagnetic relaxation grow errors and uncertainties as a function of time, near-term quantum computers can match the experimental data throughout its time evolution, showcasing their unique suitability and future promise in simulating open quantum systems in chemistry. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 25 pages, 16 figures, including Appendices A-D

Exploring the scaling limitations of the variational quantum eigensolver with the bond dissociation of hydride diatomic molecules

Authors: Jacob M. Clary, Eric B. Jones, Derek Vigil-Fowler, Christopher Chang, Peter Graf

Abstract: Materials simulations involving strongly correlated electrons pose fundamental challenges to state-of-the-art electronic structure methods but are hypothesized to be the ideal use case for quantum computing. To date, no quantum computer has simulated a molecule of a size and complexity relevant to real-world applications, despite the fact that the variational quantum eigensolver (VQE) algorithm ca… ▽ More Materials simulations involving strongly correlated electrons pose fundamental challenges to state-of-the-art electronic structure methods but are hypothesized to be the ideal use case for quantum computing. To date, no quantum computer has simulated a molecule of a size and complexity relevant to real-world applications, despite the fact that the variational quantum eigensolver (VQE) algorithm can predict chemically accurate total energies. Nevertheless, because of the many applications of moderately-sized, strongly correlated systems, such as molecular catalysts, the successful use of the VQE stands as an important waypoint in the advancement toward useful chemical modeling on near-term quantum processors. In this paper, we take a significant step in this direction. We lay out the steps, write, and run parallel code for an (emulated) quantum computer to compute the bond dissociation curves of the TiH, LiH, NaH, and KH diatomic hydride molecules using VQE. TiH was chosen as a relatively simple chemical system that incorporates d orbitals and strong electron correlation. Because current VQE implementations on existing quantum hardware are limited by qubit error rates, the number of qubits available, and the allowable gate depth, recent studies have focused on chemical systems involving s and p block elements. Through VQE + UCCSD calculations of TiH, we evaluate the near-term feasibility of modeling a molecule with d-orbitals on real quantum hardware. We demonstrate that the inclusion of d-orbitals and the use of the UCCSD ansatz, which are both necessary to capture the correct TiH physics, dramatically increase the cost of this problem. We estimate the approximate error rates necessary to model TiH on current quantum computing hardware using VQE+UCCSD and show them to likely be prohibitive until significant improvements in hardware and error correction algorithms are available. △ Less

Submitted 24 January, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 24 pages, 12 figures

MSC Class: 68Q12

Equivalence between simulability of high-dimensional measurements and high-dimensional steering

Authors: Benjamin D. M. Jones, Roope Uola, Thomas Cope, Marie Ioannou, Sébastien Designolle, Pavel Sekatski, Nicolas Brunner

Abstract: The effect of quantum steering arises from the judicious combination of an entangled state with a set of incompatible measurements. Recently, it was shown that this form of quantum correlations can be quantified in terms of a dimension, leading to the notion of genuine high-dimensional steering. While this naturally connects to the dimensionality of entanglement (Schmidt number), we show that this… ▽ More The effect of quantum steering arises from the judicious combination of an entangled state with a set of incompatible measurements. Recently, it was shown that this form of quantum correlations can be quantified in terms of a dimension, leading to the notion of genuine high-dimensional steering. While this naturally connects to the dimensionality of entanglement (Schmidt number), we show that this effect also directly connects to a notion of dimension for measurement incompatibility. More generally, we present a general connection between the concepts of steering and measurement incompatibility, when quantified in terms of dimension. From this connection, we propose a novel twist on the problem of simulating quantum correlations. Specifically, we show how the correlations of certain high-dimensional entangled states can be exactly recovered using only shared randomness and lower-dimensional entanglement. Finally, we derive criteria for testing the dimension of measurement incompatibility, and discuss the extension of these ideas to quantum channels. △ Less

Submitted 8 July, 2022; originally announced July 2022.

Comments: 10 pages, 2 figures

Towards Perturbation Theory Methods on a Quantum Computer

Authors: Junxu Li, Barbara A. Jones, Sabre Kais

Abstract: Perturbation theory (PT) might be one of the most powerful and fruitful tools for both physicists and chemists, which evoked an explosion of applications with the blooming of atomic and subatomic physics. Even though PT is well-used today, techniques for PT are significantly lacking in quantum computing. Here we present a quantum circuit estimating both the energy and eigenstates corrections with… ▽ More Perturbation theory (PT) might be one of the most powerful and fruitful tools for both physicists and chemists, which evoked an explosion of applications with the blooming of atomic and subatomic physics. Even though PT is well-used today, techniques for PT are significantly lacking in quantum computing. Here we present a quantum circuit estimating both the energy and eigenstates corrections with PT methods, which we claim is far superior to the classical version when estimating the second order energy correction. Our approach is further demonstrated with an application on the extended Hubbard model, where numerical simulation based on qiskit is also presented. Unlike the popular quantum variational circuit, there is no training or optimizing process in our circuit, and all parameters are derived from the unperturbed Hamiltonian. Our work offers a new approach to studying complex systems with quantum devices, which might shed light on the quantum implementation of the more intricate methods based on PT. △ Less

Submitted 14 May, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: Main: 16 pages, 4 figures; SM: 5 pages

Journal ref: Science Advances, Volume 9, Issue 19,eadg4576 (2023)

Quantum Computation of Reactions on Surfaces Using Local Embedding

Authors: Tanvi P. Gujarati, Mario Motta, Triet Nguyen Friedhoff, Julia E. Rice, Nam Nguyen, Panagiotis Kl. Barkoutsos, Richard J. Thompson, Tyler Smith, Marna Kagele, Mark Brei, Barbara A. Jones, Kristen Williams

Abstract: Modeling electronic systems is an important application for quantum computers. In the context of materials science, an important open problem is the computational description of chemical reactions on surfaces. In this work, we outline a workflow to model the adsorption and reaction of molecules on surfaces using quantum computing algorithms. We develop and compare two local embedding methods for t… ▽ More Modeling electronic systems is an important application for quantum computers. In the context of materials science, an important open problem is the computational description of chemical reactions on surfaces. In this work, we outline a workflow to model the adsorption and reaction of molecules on surfaces using quantum computing algorithms. We develop and compare two local embedding methods for the systematic determination of active spaces. These methods are automated and based on the physics of molecule-surface interactions and yield systematically improvable active spaces. Furthermore, to reduce the quantum resources required for the simulation of the selected active spaces using quantum algorithms, we introduce a technique for exact and automated circuit simplification. This technique is applicable to a broad class of quantum circuits and critical to enable demonstration on near-term quantum devices. We apply the proposed combination of active-space selection and circuit simplification to the dissociation of water on a magnesium surface using classical simulators and quantum hardware. Our study identifies reactions of molecules on surfaces, in conjunction with the proposed algorithmic workflow, as a promising research direction in the field of quantum computing applied to materials science. △ Less

Submitted 23 October, 2023; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: 24 pages, 6 figures plus supplementary information

Journal ref: npj Quantum Inf 9, 88 (2023)

Simulability of high-dimensional quantum measurements

Authors: Marie Ioannou, Pavel Sekatski, Sébastien Designolle, Benjamin D. M. Jones, Roope Uola, Nicolas Brunner

Abstract: We investigate the compression of quantum information with respect to a given set $\mathcal{M}$ of high-dimensional measurements. This leads to a notion of simulability, where we demand that the statistics obtained from $\mathcal{M}$ and an arbitrary quantum state $ρ$ are recovered exactly by first compressing $ρ$ into a lower dimensional space, followed by some quantum measurements. A full quantu… ▽ More We investigate the compression of quantum information with respect to a given set $\mathcal{M}$ of high-dimensional measurements. This leads to a notion of simulability, where we demand that the statistics obtained from $\mathcal{M}$ and an arbitrary quantum state $ρ$ are recovered exactly by first compressing $ρ$ into a lower dimensional space, followed by some quantum measurements. A full quantum compression is possible, i.e., leaving only classical information, if and only if the set $\mathcal{M}$ is jointly measurable. Our notion of simulability can thus be seen as a quantification of measurement incompatibility in terms of dimension. After defining these concepts, we provide an illustrative examples involving mutually unbiased basis, and develop a method based on semi-definite programming for constructing simulation models. In turn we analytically construct optimal simulation models for all projective measurements subjected to white noise or losses. Finally, we discuss how our approach connects with other concepts introduced in the context of quantum channels and quantum correlations. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Quantum circuits for the preparation of spin eigenfunctions on quantum computers

Authors: Alessandro Carbone, Davide Emilio Galli, Mario Motta, Barbara Jones

Abstract: The application of quantum algorithms to the study of many-particle quantum systems requires the ability to prepare wavefunctions that are relevant in the behavior of the system under study. Hamiltonian symmetries are an important instrument, to classify relevant many-particle wavefunctions, and to improve the efficiency of numerical simulations. In this work, quantum circuits for the exact and ap… ▽ More The application of quantum algorithms to the study of many-particle quantum systems requires the ability to prepare wavefunctions that are relevant in the behavior of the system under study. Hamiltonian symmetries are an important instrument, to classify relevant many-particle wavefunctions, and to improve the efficiency of numerical simulations. In this work, quantum circuits for the exact and approximate preparation of total spin eigenfunctions on quantum computers are presented. Two different strategies are discussed and compared: exact recursive construction of total spin eigenfunctions based on the addition theorem of angular momentum, and heuristic approximation of total spin eigenfunctions based on the variational optimization of a suitable cost function. The construction of these quantum circuits is illustrated in detail, and the preparation of total spin eigenfunctions is demonstrated on IBM quantum devices, focusing on 3- and 5-spin systems on graphs with triangle connectivity. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 15 pages, 14 figures, 6 tables

Journal ref: Symmetry 2022, 14(3), 624

Scalable Qubit Representations of Neutrino Mixing Matrices

Authors: M. J. Molewski, B. J. P. Jones

Abstract: Oscillating neutrino beams exhibit quantum coherence over distances of thousands of kilometers. Their unambiguously quantum nature suggests an appealing test system for direct quantum simulation. Such techniques may enable presently analytically intractable calculations involving multi-neutrino entanglements, such as collective neutrino oscillations in supernovae, but only once oscillation phenome… ▽ More Oscillating neutrino beams exhibit quantum coherence over distances of thousands of kilometers. Their unambiguously quantum nature suggests an appealing test system for direct quantum simulation. Such techniques may enable presently analytically intractable calculations involving multi-neutrino entanglements, such as collective neutrino oscillations in supernovae, but only once oscillation phenomenology is properly re-expressed in the language of quantum circuits. Here we resolve outstanding conceptual issues regarding encoding of arbitrarily mixed neutrino flavor states in the Hilbert space of an n-qubit quantum computer. We introduce algorithms to encode mixing and oscillation of any number of flavor-mixed neutrinos, both with and without CP-violation, with an efficient number of prescriptive input parameters in terms of sub-rotations of the PMNS matrix in standard form. Examples encoded for an IBM-Q quantum computer are shown to converge to analytic predictions both with and without CP-violation. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Comments: 22 pages, 4 figures

Small-world complex network generation on a digital quantum processor

Authors: Eric B. Jones, Logan E. Hillberry, Matthew T. Jones, Mina Fasihi, Pedram Roushan, Zhang Jiang, Alan Ho, Charles Neill, Eric Ostby, Peter Graf, Eliot Kapit, Lincoln D. Carr

Abstract: Quantum cellular automata (QCA) evolve qubits in a quantum circuit depending only on the states of their neighborhoods and model how rich physical complexity can emerge from a simple set of underlying dynamical rules. For instance, Goldilocks QCA depending on trade-off principles exhibit non-equilibrating coherent dynamics and generate complex mutual information networks, much like the brain. The… ▽ More Quantum cellular automata (QCA) evolve qubits in a quantum circuit depending only on the states of their neighborhoods and model how rich physical complexity can emerge from a simple set of underlying dynamical rules. For instance, Goldilocks QCA depending on trade-off principles exhibit non-equilibrating coherent dynamics and generate complex mutual information networks, much like the brain. The inability of classical computers to simulate large quantum systems is a hindrance to understanding the physics of quantum cellular automata, but quantum computers offer an ideal simulation platform. Here we demonstrate the first experimental realization of QCA on a digital quantum processor, simulating a one-dimensional Goldilocks rule on chains of up to 23 superconducting qubits. Employing low-overhead calibration and error mitigation techniques, we calculate population dynamics and complex network measures indicating the formation of small-world mutual information networks. Unlike random states, these networks decohere at fixed circuit depth independent of system size; the largest of which corresponds to 1,056 two-qubit gates. Such computations may open the door to the employment of QCA in applications like the simulation of strongly-correlated matter or beyond-classical computational demonstrations. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Long-Time Error-Mitigating Simulation of Open Quantum Systems on Near Term Quantum Computers

Authors: Brian Rost, Lorenzo Del Re, Nathan Earnest, Alexander F. Kemper, Barbara Jones, James K. Freericks

Abstract: We study an open quantum system simulation on quantum hardware, which demonstrates robustness to hardware errors even with deep circuits containing up to two thousand entangling gates. We simulate two systems of electrons coupled to an infinite thermal bath: 1) a system of dissipative free electrons in a driving electric field; and 2) the thermalization of two interacting electrons in a single orb… ▽ More We study an open quantum system simulation on quantum hardware, which demonstrates robustness to hardware errors even with deep circuits containing up to two thousand entangling gates. We simulate two systems of electrons coupled to an infinite thermal bath: 1) a system of dissipative free electrons in a driving electric field; and 2) the thermalization of two interacting electrons in a single orbital in a magnetic field -- the Hubbard atom. These problems are solved using IBM quantum computers, showing no signs of decreasing fidelity at long times. Our results demonstrate that algorithms for simulating open quantum systems are able to far outperform similarly complex non-dissipative algorithms on noisy hardware. Our two examples show promise that the driven-dissipative quantum many-body problem can eventually be solved on quantum computers. △ Less

Submitted 5 June, 2024; v1 submitted 2 August, 2021; originally announced August 2021.

Network Quantum Steering

Authors: Benjamin D. M. Jones, Ivan Šupić, Roope Uola, Nicolas Brunner, Paul Skrzypczyk

Abstract: The development of large-scale quantum networks promises to bring a multitude of technological applications as well as shed light on foundational topics, such as quantum nonlocality. It is particularly interesting to consider scenarios where sources within the network are statistically independent, which leads to so-called network nonlocality, even when parties perform fixed measurements. Here we… ▽ More The development of large-scale quantum networks promises to bring a multitude of technological applications as well as shed light on foundational topics, such as quantum nonlocality. It is particularly interesting to consider scenarios where sources within the network are statistically independent, which leads to so-called network nonlocality, even when parties perform fixed measurements. Here we promote certain parties to be trusted and introduce the notion of network steering and network local hidden state (NLHS) models within this paradigm of independent sources. In one direction, we show how results from Bell nonlocality and quantum steering can be used to demonstrate network steering. We further show that it is a genuinely novel effect, by exhibiting unsteerable states that nevertheless demonstrate network steering, based upon entanglement swapping, yielding a form of activation. On the other hand, we provide no-go results for network steering in a large class of scenarios, by explicitly constructing NLHS models. △ Less

Submitted 8 November, 2021; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. Lett. 127, 170405 (2021)

Stress-Energy in the Conical Vacuum and its Implications for Topology Change

Authors: Eric B. Jones

Abstract: This dissertation presents a semiclassical analysis of conical topology change in $1+1$ spacetime dimensions wherein, to lowest order, the ambient spacetime is classical and fixed while the scalar field coupled to it is quantized. The vacuum expectation value of the scalar field stress-energy tensor is calculated via two different approaches. The first of these involves the explicit determination… ▽ More This dissertation presents a semiclassical analysis of conical topology change in $1+1$ spacetime dimensions wherein, to lowest order, the ambient spacetime is classical and fixed while the scalar field coupled to it is quantized. The vacuum expectation value of the scalar field stress-energy tensor is calculated via two different approaches. The first of these involves the explicit determination of the so called Sorkin-Johnston state on the cone and an original regularization scheme, while the latter employs the conformal vacuum and the more conventional point-splitting renormalization. It is found that conical topology change seems not to suffer from the same pathologies that trousers-type topology change does. This provides tentative agreement with conjectures due to Sorkin and Borde, which attempt to classify topology changing spacetimes with respect to their Morse critical points and in particular, that the cone and yarmulke in $1+1$ dimensions lack critical points of unit Morse index. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Energy use in quantum data centers: Scaling the impact of computer architecture, qubit performance, size, and thermal parameters

Authors: Michael James Martin, Caroline Hughes, Gilberto Moreno, Eric B. Jones, David Sickinger, Sreekant Narumanchi, Ray Grout

Abstract: As quantum computers increase in size, the total energy used by a quantum data center, including the cooling, will become a greater concern. The cooling requirements of quantum computers, which must operate at temperatures near absolute zero, are determined by computing system parameters, including the number and type of physical qubits, the operating temperature, the packaging efficiency of the s… ▽ More As quantum computers increase in size, the total energy used by a quantum data center, including the cooling, will become a greater concern. The cooling requirements of quantum computers, which must operate at temperatures near absolute zero, are determined by computing system parameters, including the number and type of physical qubits, the operating temperature, the packaging efficiency of the system, and the split between circuits operating at cryogenic temperatures and those operating at room temperature. When combined with thermal system parameters such as cooling efficiency and cryostat heat transfer, the total energy use can be determined. Using a first-principles energy model, this paper reports the impact of computer architecture and thermal parameters on the overall energy requirements. The results also show that power use and quantum volume can be analytically correlated. Approaches are identified for minimizing energy use in integrated quantum systems relative to computational power. The results show that the energy required for cooling is significantly larger than that required for computation, a reversal from energy usage patterns seen in conventional computing. Designing a sustainable quantum computer will require both efficient cooling and system design that minimizes cooling requirements. △ Less

Submitted 30 March, 2021; originally announced March 2021.

K-spin Hamiltonian for quantum-resolvable Markov decision processes

Authors: Eric B. Jones, Peter Graf, Eliot Kapit, Wesley Jones

Abstract: The Markov decision process is the mathematical formalization underlying the modern field of reinforcement learning when transition and reward functions are unknown. We derive a pseudo-Boolean cost function that is equivalent to a K-spin Hamiltonian representation of the discrete, finite, discounted Markov decision process with infinite horizon. This K-spin Hamiltonian furnishes a starting point f… ▽ More The Markov decision process is the mathematical formalization underlying the modern field of reinforcement learning when transition and reward functions are unknown. We derive a pseudo-Boolean cost function that is equivalent to a K-spin Hamiltonian representation of the discrete, finite, discounted Markov decision process with infinite horizon. This K-spin Hamiltonian furnishes a starting point from which to solve for an optimal policy using heuristic quantum algorithms such as adiabatic quantum annealing and the quantum approximate optimization algorithm on near-term quantum hardware. In proving that the variational minimization of our Hamiltonian is equivalent to the Bellman optimality condition we establish an interesting analogy with classical field theory. Along with proof-of-concept calculations to corroborate our formulation by simulated and quantum annealing against classical Q-Learning, we analyze the scaling of physical resources required to solve our Hamiltonian on quantum hardware. △ Less

Submitted 13 April, 2020; originally announced April 2020.

On the Computational Viability of Quantum Optimization for PMU Placement

Authors: Eric B. Jones, Eliot Kapit, Chin-Yao Chang, David Biagioni, Deepthi Vaidhynathan, Peter Graf, Wesley Jones

Abstract: Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution agains… ▽ More Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution against the CPLEX Optimizer and simulated annealing. For some problem instances the 2000Q outpaces CPLEX. For instances where the 2000Q underperforms with respect to CPLEX and simulated annealing, we suggest hardware improvements for the next generation of quantum annealers. △ Less

Submitted 13 January, 2020; originally announced January 2020.

Simulation of Thermal Relaxation in Spin Chemistry Systems on a Quantum Computer Using Inherent Qubit Decoherence

Authors: Brian Rost, Barbara Jones, Mariya Vyushkova, Aaila Ali, Charlotte Cullip, Alexander Vyushkov, Jarek Nabrzyski

Abstract: Current and near term quantum computers (i.e. NISQ devices) are limited in their computational power in part due to qubit decoherence. Here we seek to take advantage of qubit decoherence as a resource in simulating the behavior of real world quantum systems, which are always subject to decoherence, with no additional computational overhead. As a first step toward this goal we simulate the thermal… ▽ More Current and near term quantum computers (i.e. NISQ devices) are limited in their computational power in part due to qubit decoherence. Here we seek to take advantage of qubit decoherence as a resource in simulating the behavior of real world quantum systems, which are always subject to decoherence, with no additional computational overhead. As a first step toward this goal we simulate the thermal relaxation of quantum beats in radical ion pairs (RPs) on a quantum computer as a proof of concept of the method. We present three methods for implementing the thermal relaxation, one which explicitly applies the relaxation Kraus operators, one which combines results from two separate circuits in a classical post-processing step, and one which relies on leveraging the inherent decoherence of the qubits themselves. We use our methods to simulate two real world systems and find excellent agreement between our results, experimental data, and the theoretical prediction. △ Less

Submitted 6 November, 2020; v1 submitted 3 January, 2020; originally announced January 2020.

Comments: 14 pages, 13 figures

Neutrino Oscillations in a Quantum Processor

Authors: C. A. Argüelles, B. J. P. Jones

Abstract: Quantum computing technologies promise to revolutionize calculations in many areas of physics, chemistry, and data science. Their power is expected to be especially pronounced for problems where direct analogs of a quantum system under study can be encoded coherently within a quantum computer. A first step toward harnessing this power is to express the building blocks of known physical systems wit… ▽ More Quantum computing technologies promise to revolutionize calculations in many areas of physics, chemistry, and data science. Their power is expected to be especially pronounced for problems where direct analogs of a quantum system under study can be encoded coherently within a quantum computer. A first step toward harnessing this power is to express the building blocks of known physical systems within the language of quantum gates and circuits. In this paper, we present a quantum calculation of an archetypal quantum system: neutrino oscillations. We define gate arrangements that implement the neutral lepton mixing operation and neutrino time evolution in two-, three-, and four-flavor systems. We then calculate oscillation probabilities by coherently preparing quantum states within the processor, time evolving them unitarily, and performing measurements in the flavor basis, with close analogy to the physical processes realized in neutrino oscillation experiments, finding excellent agreement with classical calculations. We provide recipes for modeling oscillation in the standard three-flavor paradigm as well as beyond-standard-model scenarios, including systems with sterile neutrinos, non-standard interactions, Lorentz symmetry violation, and anomalous decoherence. △ Less

Submitted 25 December, 2020; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: 11 pages, 4 figures. Updated version to match the published version

Journal ref: Phys. Rev. Research 1, 033176 (2019)

Optimising Trotter-Suzuki Decompositions for Quantum Simulation Using Evolutionary Strategies

Authors: Benjamin D. M. Jones, George O. O'Brien, David R. White, Earl T. Campbell, John A. Clark

Abstract: One of the most promising applications of near-term quantum computing is the simulation of quantum systems, a classically intractable task. Quantum simulation requires computationally expensive matrix exponentiation; Trotter-Suzuki decomposition of this exponentiation enables efficient simulation to a desired accuracy on a quantum computer. We apply the Covariance Matrix Adaptation Evolutionary St… ▽ More One of the most promising applications of near-term quantum computing is the simulation of quantum systems, a classically intractable task. Quantum simulation requires computationally expensive matrix exponentiation; Trotter-Suzuki decomposition of this exponentiation enables efficient simulation to a desired accuracy on a quantum computer. We apply the Covariance Matrix Adaptation Evolutionary Strategy (CMA-ES) algorithm to optimise the Trotter-Suzuki decompositions of a canonical quantum system, the Heisenberg Chain; we reduce simulation error by around 60%. We introduce this problem to the computational search community, show that an evolutionary optimisation approach is robust across runs and problem instances, and find that optimisation results generalise to the simulation of larger systems. △ Less

Submitted 23 April, 2019; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: A version of this paper is to appear in GECCO'19

Minimal Effective Gibbs Ansatz (MEGA): A simple protocol for extracting an accurate thermal representation for quantum simulation

Authors: Jeffrey Cohn, Khadijeh Sona Najafi, Forest Yang, Barbara Jones, James K. Freericks

Abstract: Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of… ▽ More Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of pure states that accurately reproduce thermal averages of typical observables. This technique employs properties of correlation functions that can be split into a lesser and greater part; here, we primarily focus on single-particle Green's functions. When properly measured, these correlation functions provide a simple test to indicate how close a given pure state or ensemble of pure states are to providing accurate thermal expectation values. Further, we show that when properties such as the eigenstate thermalization hypothesis hold, this approach leads to accurate results with a sparse ensemble of pure states; sometimes only one suffices. We illustrate the ansatz using exact diagonalization simulations on small clusters for the Fermi-Hubbard and Hubbard-like models. Even if MEGA becomes as computationally complex as other Gibbs state samplers, it still gains an advantage due to its ease of implementation without any \textit{a priori} information about the Hamiltonian and in the efficient allocation of available qubits by eliminating bath qubits and using a minimal number of ancilla. △ Less

Submitted 9 December, 2018; originally announced December 2018.

Comments: 12 pages

Journal ref: Phys. Rev. A 102, 022622 (2020)