Search NASA⌕ Search

SEARCH · Search NASA

Results for “theory of computation”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

State elimination for mixed‐integer optimal control of partial differential equations by semigroup theory

Abstract Mixed‐integer optimal control problems governed by partial differential equations (MIPDECOs) are powerful modeling tools but also challenging in terms of theory and computation. We propose a highly efficient state elimination approach for MIPDECOs that are governed by partial differential equations that have the structure of an abstract ordinary differential equation in function space. This allows us to avoid repeated calculations of the states for all time steps, and our approach is applied only once before starting the optimization. The presentation of theoretical results is complemented by numerical experiments.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Low-dimensional de Sitter quantum gravity

We study aspects of Jackiw-Teitelboim (JT) quantum gravity in two-dimensional nearly de Sitter (dS) spacetime, as well as pure de Sitter quantum gravity in three dimensions. These are each theories of boundary modes, which include a reparameterization field on each connected component of the boundary as well as topological degrees of freedom. In two dimensions, the boundary theory is closely related to the Schwarzian path integral, and in three dimensions to the quantization of coadjoint orbits of the Virasoro group. Using these boundary theories we compute loop corrections to the wavefunction of the universe, and investigate gravitational contributions to scattering. Along the way, we show that JT gravity in dS2 is an analytic continuation of JT gravity in Euclidean AdS2, and that pure gravity in dS3 is a continuation of pure gravity in Euclidean AdS3. We define a genus expansion for de Sitter JT gravity by summing over higher genus generalizations of surfaces used in the Hartle-Hawking construction. Assuming a conjecture regarding the volumes of moduli spaces of such surfaces, we find that the de Sitter genus expansion is the continuation of the recently discovered AdS genus expansion. Then both may be understood as coming from the genus expansion of the same double-scaled matrix model, which would provide a non-perturbative completion of de Sitter JT gravity.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

First saturation correction in high energy proton-nucleus collisions. Part I. Time evolution of classical Yang-Mills fields beyond leading order

In high energy proton-nucleus collisions, the single- and double-inclusive soft gluon productions at the leading order have been calculated and phenomenologically studied in various approaches for many years. These studies do not take into account the saturation and multiple rescatterings in the field of the proton. The first saturation correction to these leading order results (the terms that are enhanced by the combination \( {\alpha}_s^2{\mu}^2 \) , where μ 2 is the proton’s color charge squared per unit transverse area) has not been completely derived despite recent attempts using a diagrammatic approach. This paper is the first in a series of papers towards analytically completing the first saturation correction to physical observables in high energy proton-nucleus collisions. Our approach is to analytically solve the classical Yang-Mills equations in the dilute-dense regime using the Color Glass Condensate effective theory and compute physical observables constructed from classical gluon fields. In the current paper, the Yang-Mills equations are solved perturbatively in the field of the dilute object (the proton). Next-to-leading order and next-to-next-to-leading order analytic solutions are explicitly constructed. A systematic way to obtain all higher order analytic solutions is outlined.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Noncommutative Bohnenblust–Hille inequalities

Abstract Bohnenblust–Hille inequalities for Boolean cubes have been proven with dimension-free constants that grow subexponentially in the degree (Defant et al. in Math Ann 374(1):653–680, 2019). Such inequalities have found great applications in learning low-degree Boolean functions (Eskenazis and Ivanisvili in Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, pp 203–207, 2022). Motivated by learning quantum observables, a qubit analogue of Bohnenblust–Hille inequality for Boolean cubes was recently conjectured in Rouzé et al. (Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum Boolean functions, 2022. arXiv preprint arXiv:2209.07279 ). The conjecture was resolved in Huang et al. (Learning to predict arbitrary quantum processes, 2022. arXiv preprint arXiv:2210.14894 ). In this paper, we give a new proof of these Bohnenblust–Hille inequalities for qubit system with constants that are dimension-free and of exponential growth in the degree. As a consequence, we obtain a junta theorem for low-degree polynomials. Using similar ideas, we also study learning problems of low degree quantum observables and Bohr’s radius phenomenon on quantum Boolean cubes.

Volberg, Alexander↗
DOE OSTI2021

Variational approach to relative entropies with an application to QFT

Abstract We define a new divergence of von Neumann algebras using a variational expression similar in nature to Kosaki’s formula for Umegaki’s relative entropy. Our divergence satisfies several of the usual desirable properties, upper bounds the sandwiched Renyi entropy and reduces to the fidelity in a limit. As an illustration, we use the formula in quantum field theory to compute our divergence between the vacuum in a bipartite system and an “orbifolded”—in the sense of a conditional expectation—system in terms of the Jones index. We take the opportunity to point out an entropic certainty relation associated with an inclusion of von Neumann factors related to the relative entropy. This certainty relation has an equivalent formulation in terms of error correcting codes.

Hollands, Stefan↗
DOE OSTI2020

Linear in temperature resistivity in the limit of zero temperature from the time reparameterization soft mode

The most puzzling aspect of the ‘strange metal’ behavior of correlated electron compounds is that the linear in temperature resistivity often extends down to low temperatures, lower than natural microscopic energy scales. We consider recently proposed deconfined critical points (or phases) in models of electrons in large dimension lattices with random nearest-neighbor exchange interactions. The criticality is in the class of Sachdev–Ye–Kitaev models, and exhibits a time reparameterization soft mode representing gravity in dual holographic theories. We compute the low temperature resistivity in a large M limit of models with SU(M) spin symmetry, and find that the dominant temperature dependence arises from this soft mode. The resistivity is linear in temperature down to zero temperature at the critical point, with a co-efficient universally proportional to the product of the residual resistivity and the co-efficient of the linear in temperature specific heat. We argue that the time reparameterization soft mode offers a promising and generic mechanism for resolving the strange metal puzzle.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2026

Machine learning guided prediction of solute segregation at coherent and semi-coherent metal/oxide interfaces

Investigation of semi-coherent metal/oxide interfaces with misfit dislocations using density functional theory (DFT) is computationally intensive to the point of being prohibitive, as it involves several hundreds to many thousands of atoms. In this study, we examined the solute segregation behavior at the Fe/Y 2 O 3 interface—a model interface for cladding applications in nuclear fission reactors—using a combination of DFT calculations and machine learning (ML) approaches. Both coherent and semi-coherent interfaces were considered. ML models were trained on DFT-calculated segregation energies to identify the key chemical, geometric and strain energy related features that govern solute segregation behavior at coherent Fe/Y 2 O 3 interfaces. Furthermore, it was found that ML models when trained on DFT calculated segregation energy of elements at a coherent interface, comprising of about a hundred-atom supercell, can predict the segregation energy of elements at a semi-coherent Fe/Y 2 O 3 interface (with multiple hundreds of atoms) at a fraction of computational cost (1/35th), with an accuracy comparable to DFT calculations.

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2022

Hydrous SiO 2 in subducted oceanic crust and H 2 O transport to the core-mantle boundary

Subduction of oceanic lithosphere transports surface H 2 O into the mantle. Recent studies show that dense SiO 2 in the form of stishovite, an abundant mineral in subducted oceanic crust at depths greater than ~270 km, has the potential to host and transport a considerable amount of H 2 O into the lower mantle, but the H 2 O storage capacity of SiO 2 phases at high pressure and temperature remains uncertain. We investigate the hydration of stishovite and its higher-pressure polymorphs, β-stishovite and seifertite, with in situ X-ray diffraction experiments at high pressures and temperatures. The H 2 O contents in SiO 2 phases are quantified based on observed increases in unit cell volume relative to the anhydrous SiO 2 system. Density functional theory (DFT) computations permit calibration of water content as a function of volume change based on interstitial substitution of H 2 O. Regression of our experimental data indicates an H 2 O storage capacity in stishovite of ~3.5 wt% in the transition zone and shallow lower mantle, decreasing to about 0.8 wt% at the base of the mantle. We find that SiO 2 -bearing subducted oceanic crust can accommodate all the H 2 O in slab lithosphere that survives sub-arc dehydration. Hydration of silica phases in subducted oceanic crust and their unparalleled capacity to host significant amounts of H 2 O even at high mantle temperatures provides a unique mechanism for transport and storage of water in the deepest mantle.

58 GEOSCIENCES↗
DOE OSTI2024

Improved cycle stability and high-rate capability of LiNbO 3 -coated Li 3 VO 4 as anode material for lithium-ion battery

Lithium vanadate (Li 3 VO 4 ) has garnered considerable attention as an alternative negative electrode material for non-aqueous lithium-ion batteries due to its high capacity, energy efficiency, and stable discharge voltage. Nonetheless, the Li 3 VO 4 material displays a low rate capability, attributed mainly to its poor intrinsic electronic conductivity. Here, in this study, we report the synthesis of lithium niobate LiNbO 3 -coated Li 3 VO 4 (LVO@LNO) using a one-pot sol-gel method. The resulting LVO@LNO demonstrates a high reversible capacity of approximately 530 mAh/g, which is more than double that of free Li 3 VO 4 . To explore the effect of the LNO coating process on the morphological and structural properties, Raman, XRD, operando XRD, XPS, SEM and HTEM analyses were conducted. To explain the enhancement of electronic conductivity in our modified material after a LiNbO 3 coating, we conducted an Ex-Situ electrochemical impedance (EIS) and Density Functional Theory (DFT) computational study. Additionally, we designed a full cell utilizing a 1 wt% LNO-coated LVO anode and NMC-811 cathode. The cell yielded an output voltage of approximately 2.8 V with a high initial specific capacity of 350 mAh/g versus to the anode, at 1C with a capacity retention of 85 % after 100 cycles.

25 ENERGY STORAGE↗
DOE OSTI2025

A terminology for scientific workflow systems

The term “scientific workflow” has evolved over the last two decades to encompass a broad range of compositions of interdependent compute tasks and data movements. It has also become an umbrella term for processing in modern scientific applications. Today, many scientific applications can be considered as workflows made of multiple dependent steps, and hundreds of workflow systems have been developed to manage and run these scientific workflows. However, no turnkey solution has emerged from the field to address the diversity of scientific processes and the infrastructure on which they are supposed to be implemented. Instead, new research problems requiring the execution of scientific workflows with some novel feature often lead to the development of an entirely new workflow system. A direct consequence of this situation is that many existing workflow management systems (WMSs) share some salient features, offer similar functionalities, and can manage the same categories of workflows but at the same time also have some distinct capabilities that can be important for specific applications. This situation makes researchers who develop workflows face the complex question of selecting a WMS. This selection can be driven by technical considerations, to find the system that is the most appropriate for their application and for the computing and storage resources available to them, or other factors such as reputation, adoption, strong community support, or long-term sustainability. To address this problem, a group of WMS developers and practitioners joined their efforts to produce a community-based terminology of WMSs. This paper summarizes their findings and introduces this new terminology to characterize WMSs. Furthermore, this terminology is composed of fives axes: workflow structure and characteristics, composition, orchestration, data management, and metadata capture. Each axis comprises several concepts that capture the prominent features of WMSs. Based on this terminology, this paper also presents a classification of 23 existing WMSs according to the proposed axes and terms.

Community-based terminology↗
DOE OSTI2025

Application of machine learning interatomic potentials in heterogeneous catalysis

Heterogeneous catalysts are crucial in modern societies as they promote sustainability by enabling lower-energy pathways for various chemical reactions. While Density Functional Theory (DFT) computations can provide critical insights into how heterogeneous catalysts operate at the atomic level, they are limited by computational costs and unfavorable scaling with system size. Recently, machine learning interatomic potentials (MLIPs) have emerged as a promising alternative to DFT, offering near-DFT accuracy at significantly reduced cost. Here, in this perspective, we discuss the application of MLIPs in heterogeneous catalyst modeling as a surrogate for DFT. We detail how MLIPs have been applied in thermal catalysis to probe active sites, enable studying complex metallic and nanoporous catalysts, and investigate the reconstruction of catalytic surfaces. We review the use of MLIPs in electrocatalysis and photocatalysis, emphasizing their capabilities in studying transition metal oxide surfaces and solid–liquid interfaces. We also discuss the current limitations of MLIPs, particularly their challenges with transferability and description of non-local interactions. Finally, we conclude by identifying promising and underexplored domains in which MLIPs can further advance our understanding of heterogeneous catalysts.

Catalytic surfaces↗
DOE OSTI2021

Direct aromatization of CO 2 via combined CO 2 hydrogenation and zeolite-based acid catalysis

Aromatics, including benzene, toluene, and xylenes (BTX), are essential chemical building blocks and are widely used as solvents, fuel additives, and polymers. With the recent development in CO 2 capture technologies and the progress made in producing H 2 using renewable energy, direct hydrogenation of CO 2 to aromatics via heterogeneous catalysis has emerged as a promising pathway to accomplish the production of aromatics with simultaneous utilization of waste CO 2 . In this review, we focus on recent advances in the nascent field of direct CO 2 aromatization, whereby tandem catalysts composed of CO 2 hydrogenation and aromatization functionalities are designed and deployed. We review two categories of tandem catalysts: catalysts integrating Fe-based/H-ZSM-5 components following RWGS (reverse water-gas shift of CO 2 to CO)-FT (Fischer-Tropsch synthesis of lower olefins)-aromatization pathways, and catalysts combining metal oxide/H-ZSM-5 domains following CO 2 to methanolaromatization pathways. The key parameters that determine the catalytic performance, such as the composition and structure of the Fe-based or metal oxide-based CO 2 conversion catalysts, the properties of H-ZSM-5, and the synergy between the two components, are analyzed to provide insights for the design of efficient tandem catalysts for CO 2 aromatization. In parallel, thermodynamic analyses, mechanistic studies, and density functional theory (DFT) computations for the relevant reaction routes and pathways are discussed to offer improved understanding of CO 2 activation, reaction intermediates, and product formation. In closing, the challenges and prospects for these tandem reactions are addressed to provide suggested paths forward for future research.

10 SYNTHETIC FUELS↗
DOE OSTI2023

Non-bonding interaction of dual atom catalysts for enhanced oxygen reduction reaction

Here, we demonstrate the design of graphene-supported dual atom catalysts (DACs) for the four-electron oxygen reduction reaction (ORR), by utilizing the non-bonding interaction of counterpart metals (M) that synergistically tune the electronic properties and catalytic activity of the Fe active site in FeMN 6 -DAC and FeMN 8 -DAC systems, where M stands for Fe, Co, Ni, Cu, and Zn. More specifically, for Fe-M distances below 15Å, the non-bonding interaction is significant, making the system act as the DAC. We predicted that FeNiN 6 -DAC and FeNiN 8 -DAC exhibit a low ORR overpotential (η ORR ) of 0.28 V and 0.47 V, respectively, which are at the summits of volcano plots. This low η ORR originates from the high Bader charge transfer coupled with high spin density at the Fe site in both the FeNiN 6 -DAC and FeNiN 8 -DAC systems, which weakens the adsorption of OH* intermediate while enhancing its desorption to H 2 O. Guided by these density functional theory (DFT) computational results, we synthesized FeCoN 8 -DAC and FeNiN 8 -DAC along with N-doped graphene and confirmed their structures with scanning transmission electron microscopy (STEM), X-ray photoelectron spectroscopy (XPS), X-ray absorption near-edge structure (XANES), extended X-ray absorption fine structure (EXAFS), and electron spin resonance (ESR). We verify experimentally the catalytic activities and find that FeNiN 8 -DAC has the low experimental overpotential of 0.39 V with a Tafel slope of 47 mVdec -1 . Based on these results, we propose a DFT-guided strategy to tune the charge transfer and spin population of the active site toward designing DACs for electrochemical ORR.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Mobility Selective Ion Soft-Landing and Characterization Enabled Using Structures for Lossless Ion Manipulation

In this study, while conventional ion-soft landing uses the mass-to-charge (m/z) ratio to achieve molecular selection for deposition, here we demonstrate the use of Structures for Lossless Ion Manipulation (SLIM) for mobility-based ion selection and deposition. The dynamic rerouting capabilities of SLIM were leveraged to enable the rerouting of a selected range of mobilities to a different SLIM path (rather than MS) that terminated at a deposition surface. A selected mobility range from a phosphazene ion mixture was rerouted and deposited with a current pulse (~150 pA) resembling its mobility peak. In addition, from a mixture of tetra-alkyl ammonium (TAA) ions containing chain lengths of C5–C8, selected chains (C6, C7) were collected on a surface, reconstituted into solution-phase, and subsequently analyzed with a SLIM-qToF to obtain an IMS/MS spectrum, confirming the identity of the selected species. Further, this method was used to characterize triply charged tungsten-polyoxometalate anions, PW 12 O 40 3– (WPOM). The arrival time distribution of the IMS/MS showed multiple peaks associated with the triply charged anion (PW 12 O 40 3– ), of which a selected ATD was deposited and imaged using TEM. Additionally, the identity of the deposited WPOM was ascertained using energy-dispersive (EDS) spectroscopy. Further, we present theory and computations that reveal ion landing energies, the ability to modulate the energies, and deposition spot sizes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2022

Ligand Coverage and Exciton Delocalization Control Chiral Imprinting in Perovskite Nanoplatelets

Chiral perovskites have generated significant recent interest, yet little is known about how their chiro-optical properties arise. In this study, chiral methylammonium lead halide perovskite nanoplatelets (NPLs) with varied halide and ligand compositions are prepared using direct synthetic methods. Circular dichroism (CD) and 1 H NMR studies find a non-linear relationship between the chiroptical properties and the ratio of chiral phenylethylammonium (PEA) to achiral octylamine (OA) ligands on the NPL surface. We use density functional theory (DFT) computations and a chiral imprinted particle-in-a-box model to rationalize the experimentally observed CD spectra and find that the saturation point of the induced chirality depends on the size of the perovskite exciton relative to the size of the ligands. Temperature-dependent CD and 1 H NMR studies, combined with DFT analysis, show that both the CD intensity and sign depend strongly on the structure and orientation of the ligands. Furthermore, this work reveals the complex nature of chiral imprinting in perovskite nanostructures and establishes a simple physical model for ligand-induced chiral imprinting to guide the further development of chiral materials.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Impact of Disorder and Defects on Bond Energies in Highly Fluorinated Graphene

Fluorinated graphite materials are of interest for an assortment of applications and can be synthesized under a variety of synthetic conditions from many different types of carbon. Due to such variations, structural disorders in the form of defects and polymorphism are often present. Here, we investigate the impact of local structural variations on the C–F bond dissociation energies (BDEs) in carbon-based fluoride materials using density functional theory (DFT) computational methods. Employing fluorographene (FG) cluster models, we determine the impact of different C–F bonding configurations in the core of each platelet on the equilibrium BDEs for each C–F bond. The introduction of structural disorder decreases the first C–F BDE by approximately 1 eV compared to the canonical arrangement of axial C–F bonds ordered as in a network of cyclohexane “chairs”. Variability of calculated BDEs among the different polymorphs decreases upon subsequent F removal. Common structural tendencies of the adiabatic defluorination pathways for each polymorph are identified. In conclusion, our analysis suggests that at F/C ratios near 1.0, disorder in the local structure can play a significant role in the energetics of the initial carbon fluoride defluorination and that the influence of this configurational disorder diminishes with decreasing F/C ratios.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Charge Transfer and Recombination Pathways through Fullerene Guests in Porphyrin-Based MOFs

Porphyrin-based metal–organic frameworks (MOFs) offer a unique platform for building porous donor–acceptor networks that exhibit long-lived charge separation and transport upon incorporation of electron acceptor guest species. Here, in this work, porphyrin-based MOFs, PCN-222(H 2 ) and PCN-222(Zn), synthesized as nanoparticle suspensions, are successfully infiltrated with fullerene acceptor molecules, C 60 or PC 61 BM, in both polar and nonpolar solvent environments. The location and relative binding strength of these guest species are evaluated through a combination of N 2 physisorption measurements, photoluminescence quenching, and UV–vis absorption titration experiments. Semiempirical tight binding calculations are used to screen potential locations of the fullerene guest within the MOF pores, and hybrid density functional theory (DFT)-computed interaction energies confirm the energetically favorable positions. The fundamental photophysics of these donor–acceptor host–guest combinations are probed using ultrafast transient absorption spectroscopy. Sub-picosecond electron transfer involving initial exciplex population is observed, with slow charge recombination lifetimes on the order of τ ~1 ns for all systems in both dimethylformamide and 1,4-dioxane. Charge recombination occurs through population of fullerene and/or framework porphyrin triplet states depending on the porphyrin metalation status. The photophysics of the fullerene-loaded MOFs are discussed in the context of relevant porphyrin–fullerene donor–acceptor molecules to highlight the unique role of the framework environment in dictating photoinduced electron transfer and decay pathways.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗