Search NASA⌕ Search

Engineering topics

Gustafson, Erik

Publications and source records attributed to Gustafson, Erik.

Highly-efficient quantum Fourier transformations for certain non-Abelian groups

Quantum Fourier transformations are an essential component of many quantum algorithms, from prime factoring to quantum simulation. While the standard Abelian QFrT is well studied, important variants corresponding to non-Abelian groups of interest have seen less development. In particular, fast non-Abelian Fourier transformations are important components for both quantum simulations of field theories as well as approaches to the non-Abelian hidden subgroup problem. In this work, we present fast quantum Fourier transformations for a number of non-Abelian groups of interest for high energy physics, B T , B O , 6 Δ ( 27 ) , Δ ( 54 ) , and Σ ( 36 × 3 ) . For each group, we derive explicit quantum circuits and estimate resource scaling for fault-tolerant implementations. Our work shows that the development of a fast Fourier transformation can substantively reduce simulation costs by an up to three orders of magnitude for the finite groups that we have investigated.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Assessing and advancing the potential of quantum computing: A NASA case study

Quantum computing is one of the most enticing computational paradigms with the potential to revolutionize diverse areas of future-generation computational systems. While quantum computing hardware has advanced rapidly, from tiny laboratory experiments to quantum chips that can outperform even the largest supercomputers on specialized computational tasks, these noisy-intermediate scale quantum (NISQ) processors are still too small and non-robust to be directly useful for any real-world applications. In this paper, we describe NASA’s work in assessing and advancing the potential of quantum computing. We discuss advances in algorithms, both near- and longer-term, and the results of our explorations on current hardware as well as with simulations, including illustrating the benefits of algorithm-hardware co-design in the NISQ era. This work also includes physics-inspired classical algorithms that can be used at application scale today. We discuss innovative tools supporting the assessment and advancement of quantum computing and describe improved methods for simulating quantum systems of various types on high-performance computing systems that incorporate realistic error models. We provide an overview of recent methods for benchmarking, evaluating, and characterizing quantum hardware for error mitigation, as well as insights into fundamental quantum physics that can be harnessed for computational purposes.

Rieffel, Eleanor G.↗

Self-consistent optimization of the z expansion for B -meson decays

We discuss the self-consistency imposed by the analyticity of regular parts of form factors, appearing in the z expansion for semileptonic B -meson decays, when fitted in different kinematic regions. Relying on the uniqueness of functions defined by analytic continuation, we propose four metrics which measure the departure from the ideal analytic self-consistency. We illustrate the process using Belle data for B → D ℓ ν ℓ with the two kinematic regions chosen as the five low- z and the five high- z bins. For this specific example, the metrics provide consistent indications that some choices (order of truncation, Boyd-Grinstein-Lebed or Bourrely-Caprini-Lellouch) made in the form of the z expansion can be optimized. However, other choices ( z origin, location of isolated poles and threshold constraints) appear to have very little effect on these metrics. On the other hand, changing the kinetic regions affects the results and should also be considered in the optimization process. We briefly discuss the implication for optimization of the z expansion for nucleon form factors relevant for neutrino oscillation experiments. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Improved Fermion Hamiltonians for Quantum Simulation

We developed a Hamiltonian inspired by ASQTAD and highly improved staggered quark (HISQ) actions and show how these Hamiltonians can be used for quantum simulations. Gate costs for the time evolution of these improved Hamiltonians are provided as well as a demonstration of the reduction of lattice spacing errors using the 1+1d lattice Schwinger model.

Gustafson, Erik↗

Quantum Simulation of an Open System: A Dissipative 1+1D Ising Model

The 1+1D Ising model is an ideal benchmark for quantum algorithms, as it is very well understood theoretically. This is true even when expanding the model to include complex coupling constants. In this work, we implement quantum algorithms designed for the simulation of open or complex coupling quantum field theories on IBM devices with a focus on the measurement of the Lee-Yang edge singularity. This feature corresponds (at large volumes) to a phase transition, and our successful reproduction of the transition represents a non-trivial test for current hardware and its ability to distinguish features of interest in quantum field theories.

Gustafson, Erik↗

Measuring qubit stability in a gate-based NISQ hardware processor

Some of the most problematic issues that limit the implementation of applications on Noisy Intermediate Scale Quantum (NISQ) machines are the adverse impacts of both incoherent and coherent errors. We conducted an in-depth study of coherent errors on a quantum hardware platform using a transverse field Ising model Hamiltonian as a sample user application. We report here on the results from these computations using several error mitigation protocols that profile these errors and provide an indication of the hardware qubit stability. Through a detailed set of measurements we identify inter-day and intra-day qubit calibration drift and the impacts of quantum circuit placement on groups of qubits in different physical locations on the processor. This paper also discusses how these measurements can provide a better understanding of these types of errors and how they may improve efforts to validate the accuracy of quantum computations.

Yeter-Aydeniz, Kübra↗

Noise Improvements in Quantum Simulations of sQED using Qutrits

We present an argument for the advantages of using qudits over qubits for scalar Quantum Electrodynamics in $(1+1)$d. We measure the mass gap using an out of time correlator as a function of noise coming from an amplitude damping error channel and a generalized Pauli channel decoherence channel for both qubits and qutrits. For the same error in determination of the mass, the qutrit simulations can tolerate 10 to 100x larger gate noise than a qubit simulations. We find that 20 per-cent accuracy on the mass gap could be possible in the near future with a qutrits but is infeasible using qubits.

Gustafson, Erik↗

From tensors to qubits

We discuss recent progress in Tensor Lattice Field Theory and economical, symmetry preserving, truncations suitable for quantum computations or simulations. We focus on spin and gauge models with continuous Abelian symmetries such as the Abelian Higgs model and emphasize noise-robust implementations of Gauss's law. We discuss recent progress concerning the comparison between field digitizations and character expansions, symmetry breaking in tensor language, wave-packet preparation and possible new implementations of Abelian models using Rydberg atoms.

Meurice, Yannick↗

Simulations of Quantum Circuits with Approximate Noise using qsim and Cirq

We introduce multinode quantum trajectory simulations with qsim, an open source high performance simulator of quantum circuits. qsim can be used as a backend of Cirq, a Python software library for writing quantum circuits. We present a novel delayed inner product algorithm for quantum trajectories which can result in an order of magnitude speedup for low noise simulation. We also provide tools to use this framework in Google Cloud Platform, with high performance virtual machines in a single mode or multinode setting. Multinode configurations are well suited to simulate noisy quantum circuits with quantum trajectories. Finally, we introduce an approximate noise model for Google's experimental quantum computing platform and compare the results of noisy simulations with experiments for several quantum algorithms on Google's Quantum Computing Service.

Isakov, Sergei V.↗

Large scale multi-node simulations of $\mathbb{Z}_2$ gauge theory quantum circuits using Google Cloud Platform

Simulating quantum field theories on a quantum computer is one of the most exciting fundamental physics applications of quantum information science. Dynamical time evolution of quantum fields is a challenge that is beyond the capabilities of classical computing, but it can teach us important lessons about the fundamental fabric of space and time. Whether we may answer scientific questions of interest using near-term quantum computing hardware is an open question that requires a detailed simulation study of quantum noise. Here we present a large scale simulation study powered by a multi-node implementation of qsim using the Google Cloud Platform. We additionally employ newly-developed GPU capabilities in qsim and show how Tensor Processing Units -- Application-specific Integrated Circuits (ASICs) specialized for Machine Learning -- may be used to dramatically speed up the simulation of large quantum circuits. We demonstrate the use of high performance cloud computing for simulating $\mathbb{Z}_2$ quantum field theories on system sizes up to 36 qubits. We find this lattice size is not able to simulate our problem and observable combination with sufficient accuracy, implying more challenging observables of interest for this theory are likely beyond the reach of classical computation using exact circuit simulation.

Gustafson, Erik↗

Real-time quantum calculations of phase shifts using wave packet time delays

We present a method to extract the phase shift of a scattering process using the real-time evolution in the early and intermediate stages of the collision in order to estimate the time delay of a wave packet. This procedure is convenient when using noisy quantum computers for which the asymptotic out-state behavior is unreachable. We demonstrate that the challenging Fourier transforms involved in the state preparation and measurements can be implemented in 1+1 dimensions with current trapped ion devices and IBM quantum computers. We compare quantum computations of the time delays obtained in the one-particle quantum mechanics limit and the scalable quantum field theory formulation with accurate numerical results. We discuss the finite volume effects in the Wigner formula connecting time delays to phase shifts. The results reported involve two- and four-qubit calculations, and we discuss the possibility of larger scale computations in the near future.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Indexed improvements for real-time trotter evolution of a (1 + 1) field theory using NISQ quantum computers

Today's quantum computers offer the possibility of performing real-time calculations for quantum field theory scattering processes motivated by high energy physics. In order to follow the successful roadmap which has been established for the calculation of static properties at Euclidean time, it is crucial to develop new algorithmic methods to deal with the limitations of current noisy intermediate-scale quantum (NISQ) devices and to establish quantitative measures of the progress made with different devices. In this paper, we report recent progress in these directions. We show that nonlinear aspects of the trotter errors allow us to take much larger step then suggested by low-order analysis. This is crucial to reach physically relevant time scales with today's NISQ technology. We propose to use an index averaging absolute values of the difference between the accurately calculated trotter evolution of site occupations and their actual measurements on NISQ machines (G index) as a measure to compare results that have been obtained from different hardware platforms. Using the transverse Ising model in one spatial dimension with four sites we apply this metric across several hardware platforms. We study the results including readout mitigation and Richardson extrapolations and show that the mitigated measurements are very effective based on the analysis of the trotter step size modifications. Furthermore, we discuss how this advance in the trotter step size procedures can improve quantum computing physics scattering results and how this technical advance can be applied to other machines and noise mitigation methods.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Modular Active Self-Assembling Space Telescope Swarms

The Phase I study included a detailed exploration of a specific mission concept based on this architecture - a 31-meter diameter version of the LUVOIR (Large Ultraviolet Optical Infrared Surveyor) mission concept with the same wavelength coverage and wave-front quality requirements. The study focused on establishing the feasibility of the proposed concept with respect to what were identified as the most challenging aspects of the mission: the ability to find orbital solutions using solar sail propulsion for both the initial transfers and subsequent rendezvous trajectories; and the ability to generate the required final primary mirror surface out of uniformly polished individual module mirrors using deformation via mechanical degrees of freedom. As a result of the Phase I work it was shown that both orbital and optical solutions are feasible, but will require technology advancement in multiple key areas. In particular, improvements to solar sail areal densities and loading factors will allow us to more easily find fully general solutions for the transfer trajectories, while lower mass, ultra-precise cryogenic linear actuators will likely be needed to form the final mirror shape. However, it was found that current state of the art in solar sails was sufficient for rendezvous trajectories once on-orbit, that the requisite wave-front quality could be achieved with actuation requirements not more stringent than those being carried by LUVOIR, and that there exists a well-defined design space in which the module spacecraft designs can be optimized. The technology development required to progress this work overlaps significantly with numerous NASA technology roadmaps, as well as the Exoplanet Exploration Program's technologies gap list, meaning that continued development of this concept would directly benefit a variety of NASA programs, as well as enabling the completely unique capabilities provided by a 31-meter optical space telescope...Our architecture requires only a single module type allowing us to directly leverage the cost and efficiency benefits of true mass production, in direct contrast to previously explored self-assembling swarm concepts, which typically include multiple module types.

Astronomy↗

Multi-Faceted Approach to Evaluate Discharge Locations at a FUSRAP Site - 18421

Following the completion of a Soil and Groundwater Remedial Investigation by USACE at a FUSRAP site located in Nassau County, New York, groundwater data indicated the presence of contaminant source(s) that had not been identified. As a result, a targeted investigation was undertaken to understand how materials were handled and disposed of at a site located in Nassau County, Long Island, New York. The FUSRAP site is a 4.3-hectare (10.5-acre) site encompassing three parcels which had historically been utilized as a nuclear materials manufacturing facility (e.g., cores, slug, and fuel elements) for reactors used in both research and electric power generation in early 1950's until late 1960's; however, the targeted investigation was on the southern-most parcel known as the '70 Property' (the Site). The 70 Property contained a building that was used for atomic fuel-element manufacturing from 1958 until 1966 under license to the Atomic Energy Commission (AEC), and involved the use of natural, enriched, and depleted uranium as well as lesser amounts of thorium. The major contaminants of concern are tetrachloroethene, nickel, uranium and thorium. During the RI, significant sources of contamination were not found in Site soils despite records indicating that chemicals and radionuclides had been disposed of on the property. In addition, downgradient groundwater data indicated a source(s) on the 70 Property that could not be identified by known sources on other the other FUSRAP parcels or from adjacent sites. This conclusion was further supported following development of groundwater contaminant transport and flow models. The main objective of the targeted investigation was to evaluate the potential discharge points on the 70 Property that may have been utilized for liquids waste disposal. However, several challenges existed including 1) lack of building construction details; 2) historical changes to Site building and property; 3) the use of the Site by various tenants; and 4) the commingling of Site contaminants with impacts from multiple sources. To overcome these challenges, historic documents/reports with information about the handling and disposal of liquid wastes were reviewed to evaluate quantities, contents and locations of waste disposal. Thereafter, an investigation was undertaken that included geophysical surveys; pipe tracing and video inspection; in-situ smoke and water testing; installation of test trenches and soil borings; and, sampling sludge residuals, soils and water within the various drainage structures that were located. This paper describes the multi-faceted investigation approach that was utilized to overcome the challenges faced during the investigation as well as insights into the waste disposal practices of the time period and the findings of the investigation. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗