Search NASA⌕ Search

SEARCH · Search NASA

Results for “quantum optimization”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,189 records · Page 66

Imperfect linear-optical photonic gates with number-resolving photodetection

We use the numerical optimization techniques of Uskov et al.[Phys. Rev. A 81, 012303 (2010)] to investigate the behavior of the success rates for Knill-Laflamme-Milburn-style [Knill et al., Nature (London) 409, 46 (2001)] two- and three-qubit entangling gates. The methods are first demonstrated at perfect fidelity and then extended to imperfect gates. We find that as the perfect fidelity condition is relaxed, the maximum attainable success rates increase in a predictable fashion depending on the size of the system, and we compare that rate of increase for several gates.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Quantum Tunneling Enabled Self-Assembly of Hydrogen Atoms on Cu(111)

Atomic and molecular self-assembly are key phenomena that underpin many important technologies. Typically, thermally enabled diffusion allows a system to sample many areas of configurational space, and ordered assemblies evolve that optimize interactions between species. Herein we describe a system in which the diffusion is quantum tunneling in nature and report the self-assembly of H atoms on a Cu(111) surface into complex arrays based on local clustering followed by larger scale islanding of these clusters. By scanning tunneling microscope tip-induced scrambling of H atom assemblies, we are able to watch the atomic scale details of H atom self-assembly in real time. The ordered arrangements we observe are complex and very different from those formed by H on other metals that occur in much simpler geometries. We contrast the diffusion and assembly of H with D, which has a much slower tunneling rate and is not able to form the large islands observed with H over equivalent time scales. Using density functional theory, we examine the interaction of H atoms on Cu(111) by calculating the differential binding energy as a function of H coverage. At the temperature of the experiments (5 K), H(D) diffusion by quantum tunneling dominates. The quantum-tunneling-enabled H and D diffusion is studied using a semiclassically corrected transition state theory coupled with density functional theory. This system constitutes the first example of quantum-tunneling-enabled self-assembly, while simultaneously demonstrating the complex ordering of H on Cu(111), a catalytically relevant surface.

Environmental Molecular Sciences Laboratory↗

Stochastic level-set method for shape optimisation

We present a new method for stochastic shape optimisation of engineering structures. The method generalises an existing deterministic scheme, in which the structure is represented and evolved by a level-set method coupled with mathematical programming. The stochastic element of the algorithm is built on the methods of statistical mechanics and is designed so that the system explores a Boltzmann–Gibbs distribution of structures. In non-convex optimisation problems, the deterministic algorithm can get trapped in local optima: the stochastic generalisation enables sampling of multiple local optima, which aids the search for the globally-optimal structure. The method is demonstrated for several simple geometrical problems, and a proof-of-principle calculation is shown for a simple engineering structure.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Quantum algorithms for systems of linear equations inspired by adiabatic quantum computing

We present two quantum algorithms based on evolution randomization, a simple variant of adiabatic quantum computing, to prepare a quantum state |x⟩ that is proportional to the solution of the system of linear equations $A\overrightarrow{x} = \overrightarrow{b}$. The time complexities of our algorithms are O(κ 2 log(κ)/ε) and O(κ log(κ)/ε), where κ is the condition number of A and ε is the precision. Both algorithms are constructed using families of Hamiltonians that are linear combinations of products of A, the projector onto the initial state |b⟩, and single-qubit Pauli operators. The algorithms are conceptually simple and easy to implement. They are not obtained from equivalences between the gate model and adiabatic quantum computing. They do not use phase estimation or variable-time amplitude amplification, and do not require large ancillary systems. We discuss a gate-based implementation via Hamiltonian simulation and prove that our second algorithm is almost optimal in terms of κ. Like previous methods, our techniques yield an exponential quantum speed-up under some assumptions. Our results emphasize the role of Hamiltonian-based models of quantum computing for the discovery of important algorithms.

97 MATHEMATICS AND COMPUTING↗

Atomic and Molecular Physics in Strong Fields

In this project, we have investigated a broad range of atomic, molecular, and optical (AMO) processes of current significance in strong-field and ultrafast science and technology. The main goals are to develop new theoretical formalisms and accurate computational methods for ab initio and in-depth non-perturbative study of time-resolved multiphoton quantum dynamics and spectroscopy, very-high-order harmonic generation, optimal control of ultrafast attosecond pulse generation, and resonance-enhanced below threshold harmonics in intense ultrashort laser fields. We have worked on the following projects and we have published 20 top 15 % SCI journal articles during the last 3.5 years (Jan. 1, 2016 to June 30, 2019), including one article in top raking Physical Review Letters, and 3 articles in top ranking (Nature) Scientific Reports, and one Physical Review A article was chosen as Editors’ suggestion paper, etc. (a) Development of new time-dependent methods for accurate and efficient solution of multi-dimensional time-dependent Schrödinger equation and time-dependent density functional theory. (b) Non-perturbative treatment of very-high order (1000th – 5000th order) harmonic generation and broadband supercontinuum spectra from XUV to soft x-ray regime. (c) Development of synchrosqueezing transform (SST) for precision time-frequency analysis of electron multi-rescattering dynamics. (d) Exploration of the dynamical origin of resonance-enhanced near- and below-threshold harmonics. (e) Probing the high-order harmonics generation in disordered semiconductor. (f) Multiphoton ionization of one-electron relativistic diatomic quasi-molecules in strong laser fields. and, (g) New development of non-adiabatic density functional theory. The theoretical and simulation projects we have pursued are closely related to the ongoing experimental researches in several leading laboratories in the US and Europe, etc. It is expected that the outcome of this project will provide timely and significant new information and insight for the advancement of strong-field atomic and molecular physics and ultrafast science and technology.

74 ATOMIC AND MOLECULAR PHYSICS↗

Characterization and Optimization of Building Blocks for Specialized Computing Platforms

As noise limits the performance of quantum processors, the ability to characterize this noise and develop methods to overcome it is essential for the future of quantum computing. In this report, we develop a complete set of tools for improving quantum processor performance at the application level, including low-level physical models of quantum gates, a numerically efficient method of producing process matrices that span a wide range of model parameters, and full-channel quantum simulations. We then provide a few examples of how to use these tools to study the effects of noise on quantum circuits.

42 ENGINEERING↗

Optimizing a Multiple Right-Hand Side Dslash Kernel for Intel Knights Corner

Lattice Quantum Chromo-dynamics (LQCD) stands unique as the only computationally tractable, non-perturbative, and model-independent quantum field theory of the strong nuclear force. LQCD achieves tractability by discretizing our familiar 4-dimensional space-time onto a hypercubic lattice. The core component of the linear solver used in LQCD is the Wilson-Dirac operator whose finite difference component is called the Dslash operator. Dslash is a nearest neighbor stencil operator summing matrix-vector multiplications over lattice points. The arithmetic intensity of a regular Dslash operator acting on a single vector in single precision is between 0.88-2.29 (depending on the tricks employed) making it memory bandwidth bound on most current architectures, including Xeon Phi. Maximizing the performance of Dslash on Xeon Phi requires deliberate exploitation of its architectural features. One key feature of Xeon Phi is its powerful vector processing unit with lengthy vector registers. There is a class of LQCD computations which aims to solve the Dirac equation for the same lattice gauge fields multiple times. In this case one can gain additional reuse of the gauge field, and potentially simplified vectorization, through applying Dslash to several vectors at the same time; often referred to as Multiple Right Hand Side (MRHS) Dslash. Previous work in this area focused on applying this approach to the Highly Improved Staggered operator, and in cases to the multi-Grid algorithm for Wilson clover fermions. Here, we present two approaches to MRHS Dslash: a vector register blocking approach and one using the software package QPhiX with a custom Code Generator for low-level intrinsics. We explore the Knights Corner instruction set, memory hierarchy, and threading capabilities. For standard lattice sizes used in testing, we observed significant speedups, with sustained performance of over 700 GFLOPS (single precision) in one instance. We achieved up to 27% of theoretical peak performance compared to a maximum of 12% obtained by the previous single RHS method in QPhiX.

Joó, Bálint↗

NMR dynamics of quantum discord for spin-carrying gas molecules in a closed nanopore

A local orthogonal transformation that transforms any centrosymmetric density matrix of a two-qubit system to the X form has been found. A piecewise-analytic-numerical formula Q = min{Q_π_/_2, Q_θ, Q_0}, where Q{sub π/2} and Q{sub 0} are analytical expressions and the branch Q{sub 0θ} can be obtained only by numerically searching for the optimal measurement angle θ ∈ (0, π/2), is proposed to calculate the quantum discord Q of a general X state. The developed approaches have been applied for a quantitative description of the recently predicted flickering (periodic disappearance and reappearance) of the quantum-information pair correlation between nuclear 1/2 spins of atoms or molecules of a gas (for example, {sup 129}Xe) in a bounded volume in the presence of a strong magnetic field.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Non-resonant dynamic stark control of vibrational motion with optimized laser pulses

The term dynamic Stark control (DSC) has been used to describe methods of quantum control related to the dynamic Stark effect, i.e., a time-dependent distortion of energy levels. Here, we employ analytical models that present clear and concise interpretations of the principles behind DSC. Within a linearly forced harmonic oscillator model of vibrational excitation, we show how the vibrational amplitude is related to the pulse envelope, and independent of the carrier frequency of the laser pulse, in the DSC regime. Furthermore, we shed light on the DSC regarding the construction of optimal pulse envelopes — from a time-domain as well as a frequency-domain perspective. Finally, in a numerical study beyond the linearly forced harmonic oscillator model, we show that a pulse envelope can be constructed such that a vibrational excitation into a specific excited vibrational eigenstate is accomplished. The pulse envelope is constructed such that high intensities are avoided in order to eliminate the process of ionization.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Thermodynamic Metrics and Optimal Paths

A fundamental problem in modern thermodynamics is how a molecular-scale machine performs useful work, while operating away from thermal equilibrium without excessive dissipation. To this end, we derive a friction tensor that induces a Riemannian manifold on the space of thermodynamic states. Within the linear-response regime, this metric structure controls the dissipation of finite-time transformations, and bestows optimal protocols with many useful properties. We discuss the connection to the existing thermodynamic length formalism, and demonstrate the utility of this metric by solving for optimal control parameter protocols in a simple nonequilibrium model.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Control optimization for parametric Hamiltonians by pulse reconstruction

Optimal control techniques provide a means to tailor the control pulses required to generate customized quantum gates, which helps to improve the resilience of quantum simulations to gate errors and device noise. However, the significant amount of (classical) computation required to generate customized gates can quickly undermine the effectiveness of this approach, especially when pulse optimization needs to be iterated. We propose a method to reduce the computational time required to generate the control pulse for a Hamiltonian that is parametrically dependent on a time-varying quantity. We use simple interpolation schemes to accurately reconstruct the control pulses from a set of pulses obtained in advance for a discrete set of predetermined parameter values. We obtain a reconstruction with very high fidelity and a significant reduction in computational effort. We report the results of the application of the proposed method to device-level quantum simulations of the unitary (real) time evolution of two interacting neutrons based on superconducting qubits.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Controlling the quantum state of a single photon emitted from a single polariton

We investigate in detail the optimal conditions for a high fidelity transfer from a single-polariton state to a single-photon state and subsequent homodyne detection of the single photon. We assume that, using various possible techniques, the single polariton has initially been stored as a spin-wave grating in a cloud of cold atoms inside a low-finesse cavity. This state is then transferred to a single-photon optical pulse using an auxiliary beam. We optimize the retrieval efficiency and determine the mode of the local oscillator that maximizes the homodyne efficiency of such a photon. We find that both efficiencies can have values close to one in a large region of experimental parameters.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Fully Arbitrary Control of Frequency-Bin Qubits

Accurate control of two-level systems is a longstanding problem in quantum mechanics. One such quantum system is the frequency-bin qubit: a single photon existing in superposition of two discrete frequency modes. In this Letter, we demonstrate fully arbitrary control of frequency-bin qubits in a quantum frequency processor for the first time. Furthermore, we numerically establish optimal settings for multiple configurations of electro-optic phase modulators and pulse shapers, experimentally confirming near-unity mode-transformation fidelity for all fundamental rotations. Performance at the single-photon level is validated through the rotation of a single frequency-bin qubit to 41 points spread over the entire Bloch sphere, as well as tracking of the state path followed by the output of a tunable frequency beam splitter, with Bayesian tomography confirming state fidelities Fρ>0.98 for all cases. Overall, such high-fidelity transformations expand the practical potential of frequency encoding in quantum communications, offering exceptional precision and low noise in general qubit manipulation.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Mean Field Type Control with Congestion

We analyze some systems of partial differential equations arising in the theory of mean field type control with congestion effects. We look for weak solutions. Our main result is the existence and uniqueness of suitably defined weak solutions, which are characterized as the optima of two optimal control problems in duality.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Enabling Pulse-level Programming, Compilation, and Execution in XACC

Noisy gate-model quantum processing units (QPUs) are currently available from vendors over the cloud, and digital quantum programming approaches exist to run low-depth circuits on physical hardware. These digital representations are ultimately lowered to pulse-level instructions by vendor quantum control systems to affect unitary evolution representative of the submitted digital circuit. Vendors are beginning to open this pulse-level control system to the public via specified interfaces. Robust programming methodologies, software frameworks, and backend simulation technologies for this analog model of quantum computation will prove critical to advancing pulse-level control research and development. Prototypical use cases for this include error mitigation, optimal pulse control, and physics-inspired pulse construction. Here we present an extension to the XACC quantum-classical software framework that enables pulse-level programming for superconducting, gate-model quantum computers, and a novel, general, and extensible pulse-level simulation backend for XACC that scales on classical compute clusters via MPI. Our work enables custom backend Hamiltonian definitions and gate-level compilation to available pulses with a focus on performance and scalability. We end with a demonstration of this capability, and show how to use XACC for pertinent pulse-level programming tasks.

97 MATHEMATICS AND COMPUTING↗

Stochastic gradient descent algorithm for stochastic optimization in solving analytic continuation problems

We propose a stochastic gradient descent based optimization algorithm to solve the analytic continuation problem in which we extract real frequency spectra from imaginary time Quantum Monte Carlo data. The procedure of analytic continuation is an ill-posed inverse problem which is usually solved by regularized optimization methods, such like the Maximum Entropy method, or stochastic optimization methods. The main contribution of this work is to improve the performance of stochastic optimization approaches by introducing a supervised stochastic gradient descent algorithm to solve a flipped inverse system which processes the random solutions obtained by a type of Fast and Efficient Stochastic Optimization Method.

97 MATHEMATICS AND COMPUTING↗

Robustness of spin-coupling distributions for perfect quantum state transfer

The transmission of quantum information between different parts of a quantum computer is of fundamental importance. Spin chains have been proposed as quantum channels for transferring information. Different configurations for the spin couplings were proposed in order to optimize the transfer. As imperfections in the creation of these specific spin-coupling distributions can never be completely avoided, it is important to find out which systems are optimally suited for information transfer by assessing their robustness against imperfections or disturbances. We analyze different spin coupling distributions of spin chain channels designed for perfect quantum state transfer. In particular, we study the transfer of an initial state from one end of the chain to the other end. We quantify the robustness of different coupling distributions against perturbations and we relate it to the properties of the energy eigenstates and eigenvalues. We find that the localization properties of the systems play an important role for robust quantum state transfer.

36 MATERIALS SCIENCE↗