Search NASA⌕ Search

SEARCH · Search NASA

Results for “Abstract Interpretation”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Chiral-odd generalized parton distributions in the large-𝑁 𝑐 limit of QCD: Spin-flavor structure, polynomiality, and sum rules

We study the nonperturbative properties of the nucleon’s chiral-odd generalized parton distributions (transversity GPDs) in the large-𝑁 𝑐 limit of QCD. This includes the parametric ordering of the spin-flavor components, the polynomiality property of the moments, and the sum rules connecting the GPDs with the tensor form factors. A multipole expansion in the transverse momentum transfer is used to enumerate and interpret the structures in the nucleon matrix element of the chiral-odd partonic operator, including monopole, dipole and quadrupole terms. The 1/𝑁 𝑐 expansion of the GPDs is performed using the abstract mean-field picture of baryons in the large-𝑁 𝑐 limit and its symmetries. We derive a large-𝑁 𝑐 relation between the flavor-nonsinglet GPDs 𝐸$^{𝑢−𝑑}_𝑇$ and $\tilde{𝐻}^{𝑢−𝑑}_𝑇$ and test it with recent lattice QCD results. We show that the polynomiality property and sum rules of the GPDs are fulfilled with the restricted realization of translational and rotational invariance in the mean-field picture. The results provide a basis for the phenomenological analysis of chiral-odd GPDs and hard exclusive processes in the large-𝑁 𝑐 limit, and for calculations in specific dynamical models.

generalized parton distributions↗
DOE OSTI2024

Non-close-packed plasmonic Bravais lattices through a fluid interface-assisted colloidal assembly and transfer process

Abstract The assembly of colloids at fluid interfaces followed by their transfer to solid substrates represents a robust bottom-up strategy for creating colloidal monolayers over large, macroscopic areas. In this study, we showcase how subtle adjustments in the transfer process, such as varying the contact angle of the substrate and controlling deposition speed and direction, enable the realization of all five two-dimensional Bravais lattices. Leveraging plasmonic core–shell microgels as the building blocks, we successfully engineered non-close-packed plasmonic lattices exhibiting hexagonal, square, rectangular, centered rectangular, and oblique symmetries. Beyond characterizing the monolayer structures and their long-range order, we employed extinction spectroscopy alongside finite difference time domain simulations to comprehensively investigate and interpret the plasmonic response of these monolayers. Additionally, we probed the influence of the refractive index environment on the plasmonic properties by two methods: first, by plasma treatment to remove the microgel shells, and second, by overcoating the resulting gold nanoparticle lattices with a homogeneous refractive index polymer film. Graphical Abstract

Chemistry↗
DOE OSTI2024

New horizon symmetries, hydrodynamics, and quantum chaos

Abstract We generalize the formulation of horizon symmetries presented in previous literature to include diffeomorphisms that can shift the location of the horizon. In the context of the AdS/CFT duality, we show that horizon symmetries can be interpreted on the boundary as emergent low-energy gauge symmetries. In particular, we identify a new class of horizon symmetries that extend the so-called shift symmetry, which was previously postulated for effective field theories of maximally chaotic systems. Additionally, we comment on the connections of horizon symmetries with bulk calculations of out-of-time-ordered correlation functions and the phenomenon of pole-skipping.

Physics↗
DOE OSTI2024

Modern chemical graph theory

Abstract Graph theory has a long history in chemistry. Yet as the breadth and variety of chemical data is rapidly changing, so too do graph encoding methods and analyses that yield qualitative and quantitative insights. Using illustrative cases within a basic mathematical framework, we showcase modern chemical graph theory's utility in Chemists' analysis and model development toolkit. The encoding of both experimental and simulation data is discussed at various levels of granularity of information. This is followed by a discussion of the two major classes of graph theoretical analyses: identifying connectivity patterns and partitioning methods. Measures, metrics, descriptors, and topological indices are then introduced with an emphasis upon enhancing interpretability and incorporation into physical models. Challenging data cases are described that include strategies for studying time dependence. Throughout, we incorporate recent advancements in computer science and applied mathematics that are propelling chemical graph theory into new domains of chemical study. This article is categorized under: Molecular and Statistical Mechanics > Molecular Dynamics and Monte‐Carlo Methods Structure and Mechanism > Computational Materials Science Structure and Mechanism > Molecular Structures

Leite, Leonardo S. G.↗
DOE OSTI2024

Fracture Characterization Via AI‐Assisted Analysis of Temperature Logs

Abstract Fractures control fluid flow, mass transport, and heat transfer in a geothermal reservoir. This makes accurate characterization of fracture networks a prerequisite for optimal design and control of a reservoir's exploitation. We develop a deep‐learning procedure to identify fracture locations via interpretation of temporally and spatially continuous downhole temperature measurements. A long short‐term memory fully convolutional network (LSTM‐FCN) is used both to capture long‐term dependencies in sequential temperature data and to distill local features around fractures. A wellbore and fractured‐reservoir thermal model is established to generate temperature data for network training. The trained LSTM‐FCN exhibits a unique ability to detect multiple fractures intersecting a borehole. We use the LSTM‐FCN algorithm to evaluate the effectiveness of different‐stage wellbore temperature measurements on fracture detection in a complex fractured system. Our experiments reveal that the use of various‐stage temperature information as an input feature set improves the robustness of fracture detection to noise interference. This study indicates the practical feasibility of obtaining accurate fracture‐network reconstructions from temperature signals, at reasonable computational cost.

Yang, Xiaoyu↗
DOE OSTI2024

Dynamical edge modes and entanglement in Maxwell theory

Abstract Previous work on black hole partition functions and entanglement entropy suggests the existence of “edge” degrees of freedom living on the (stretched) horizon. We identify a local and “shrinkable” boundary condition on the stretched horizon that gives rise to such degrees of freedom. They can be interpreted as the Goldstone bosons of gauge transformations supported on the boundary, with the electric field component normal to the boundary as their symplectic conjugate. Applying the covariant phase space formalism for manifolds with boundary, we show that both the symplectic form and Hamiltonian exhibit a bulk-edge split. We then show that the thermal edge partition function is that of a codimension-two ghost compact scalar living on the horizon. In the context of a de Sitter static patch, this agrees with the edge partition functions found by Anninos et al. in arbitrary dimensions. It also yields a 4D entanglement entropy consistent with the conformal anomaly. Generalizing to Proca theory, we find that the prescription of Donnelly and Wall reproduces existing results for its edge partition function, while its classical phase space does not exhibit a bulk-edge split.

Physics↗
DOE OSTI2024

Diagnosis of Alzheimer’s disease using plasma biomarkers adjusted to clinical probability

Abstract Recently approved anti-amyloid immunotherapies for Alzheimer’s disease (AD) require evidence of amyloid-β pathology from positron emission tomography (PET) or cerebrospinal fluid (CSF) before initiating treatment. Blood-based biomarkers promise to reduce the need for PET or CSF testing; however, their interpretation at the individual level and the circumstances requiring confirmatory testing are poorly understood. Individual-level interpretation of diagnostic test results requires knowledge of disease prevalence in relation to clinical presentation (clinical pretest probability). Here, in a study of 6,896 individuals evaluated from 11 cohort studies from six countries, we determined the positive and negative predictive value of five plasma biomarkers for amyloid-β pathology in cognitively impaired individuals in relation to clinical pretest probability. We observed that p-tau217 could rule in amyloid-β pathology in individuals with probable AD dementia (positive predictive value above 95%). In mild cognitive impairment, p-tau217 interpretation depended on patient age. Negative p-tau217 results could rule out amyloid-β pathology in individuals with non-AD dementia syndromes (negative predictive value between 90% and 99%). Our findings provide a framework for the individual-level interpretation of plasma biomarkers, suggesting that p-tau217 combined with clinical phenotyping can identify patients where amyloid-β pathology can be ruled in or out without the need for PET or CSF confirmatory testing.

Cell Biology↗
DOE OSTI2024

Thermal partition function of $$ {J}_3{\overline{J}}_3 $$ deformed AdS3

Abstract We derive a compact formula for the one-loop, bosonic string partition function of Euclideanized$$ {J}_3{\overline{J}}_3 $$ J 3 J ¯ 3 deformedAdS 3 with periodic Euclidean time as an integral transform of the partition function of the undeformed EuclideanizedAdS 3 . Such a deformation is interpretable as an irrelevant “single-trace$$ T\overline{T} $$ T T ¯ deformation” of the boundary. We will do this by first establishing a formal procedure to compute a worldsheet torus zero point function for an exactly marginal$$ J\overline{J} $$ J J ¯ deformation of a sigma model with U(1) L × U(1) R global symmetry. We then describe how this procedure is implemented on SL(2,R) sigma model and its Euclidean continuation. Finally, we describe the embedding of the deformed SL(2,R) torus amplitude into critical string theory and interpret the result as the leading perturbative contribution to the thermal partition function of the deformed theory.

Physics↗
DOE OSTI2024

Understanding attosecond streaking

Abstract This tutorial provides an overview on the theory of attosecond streaking, a pump-probe scheme to extract timing information of ionization processes that has been widely used in the past decade. Emphasis is put on the origin of the Coulomb-laser-coupling (CLC) term, which is crucial in the interpretation of streaking delays. Having gained a proper understanding of how the CLC terms in various publications relate to each other, we will be able to analyze in which regime the streaking delay can be split into a measurement-induced CLC term and a ‘pure’ ionization delay and under which conditions this splitting may break down. Thus we address the long-standing question of the validity of the widely applied interpretation of the streaking delay as a sum of the CLC term and a ‘pure’ ionization delay.

Physics↗
DOE OSTI2025

Metastability and Ostwald step rule in the crystallisation of diamond and graphite from molten carbon

Abstract Experimental challenges in determining the phase diagram of carbon at temperatures and pressures near the graphite-diamond-liquid triple point are often related to the persistence of metastable crystalline or glassy phases, superheated crystals, or supercooled liquids. A deeper understanding of the crystallisation kinetics of diamond and graphite is crucial for effectively interpreting the outcomes of these experiments. Here, we reveal the microscopic mechanisms of diamond and graphite nucleation from liquid carbon through molecular simulations with first-principles machine learning potentials. Our simulations accurately reproduce the experimental phase diagram of carbon near the triple point and show that liquid carbon crystallises spontaneously upon cooling. Metastable graphite crystallises in the domain of diamond thermodynamic stability at pressures above the triple point. Furthermore, whereas diamond crystallises through a classical nucleation pathway, graphite follows a two-step process in which low-density fluctuations forego ordering. Calculations of the nucleation rates of the two competing phases confirm this result and reveal a manifestation of Ostwald’s step rule, where the strong metastability of graphite hinders the transformation to the stable diamond phase. Our results provide a key to interpreting melting and recrystallisation experiments and shed light on nucleation kinetics in polymorphic materials with deep metastable states.

Science & Technology - Other Topics↗
DOE OSTI2024

Transitory sensitivity in automatic chemical kinetic mechanism analysis

Abstract Detailed chemical kinetic mechanisms are necessary for resolving many important chemical processes. As the chemistry of smaller molecules has become better grounded and quantum chemistry calculations have become cheaper, kineticists have become interested in constructing progressively larger kinetic mechanisms to model increasingly complex chemical processes. These large kinetic mechanisms prove incredibly difficult to refine and time‐consuming to interpret. Traditional sensitivity analysis on a large mechanism can range from inconvenient to practically impossible without special techniques to reduce the computational cost. We first present a new time‐local sensitivity analysis we term transitory sensitivity analysis. Transitory sensitivity analysis is demonstrated in an example to accurately identify traditionally sensitive reactions at an 18,000x speed up over traditional sensitivities. By fusing transitory sensitivity analysis with more traditional time‐local branching, pathway, and cluster analyses, we develop an algorithm for efficient automatic mechanism analysis. This automatic mechanism analysis at a time point is able to identify the reactions a target is most sensitive to using transitory sensitivity analysis and then propose hypotheses why the reaction might be sensitive using branching, pathway, and cluster analyses. We implement these algorithms within the reaction mechanism simulator (RMS) package, which enables us to report the automatic mechanism analysis results in highly readable text formats and in molecular flux diagrams.

Johnson, Matthew S.↗
DOE OSTI2025

Mixed polytype/polymorph formation in InSe films grown by molecular beam epitaxy on GaAs(111)B

Abstract We report the growth of InSe films on semi-insulating GaAs(111)B substrates by molecular beam epitaxy (MBE). Excellent nucleation behavior resulted in the growth of smooth, single-phase InSe films. The dominant polytype was the targeted γ-InSe. Transmission electron microscopy revealed the presence of three bulk polytypes β, γ, and ε-InSe arranged in nanosized domains, which can be interpreted as sequences of stacking faults and rotational twin boundaries of γ-InSe. Additionally, a centrosymmetric Se-In-In-Se layer polymorph with $P\bar{3}m$ symmetry was identified as typically not present in bulk. Sizeable differences in their electronic properties were found, which resulted in sizeable electronic disorder arising from the nanoscale polytype arrangement that dominated the electronic transport properties. While MBE is a viable synthesis route towards stabilization of InSe polytypes not present in the bulk, an improved understanding to form the targeted polymorph is required to ultimately inscribe a layer sequence on demand utilizing bottom-up synthesis approaches.

ferroelectrics and multiferroics↗
DOE OSTI2024

Noncommutative gauge symmetry in the fractional quantum Hall effect

Abstract We show that a system of particles on the lowest Landau level can be coupled to a probe U(1) gauge field$$ \mathcal{A} $$ A μ in such a way that the theory is invariant under a noncommutative U(1) gauge symmetry. While the temporal component$$ \mathcal{A} $$ A 0 of the probe field is coupled to the projected density operator, the spatial components$$ \mathcal{A} $$ A i are best interpreted as quantum displacements, which distort the interaction potential between the particles. We develop a Seiberg-Witten-type map from the noncommutative U(1) gauge symmetry to a simpler version, which we call “baby noncommutative” gauge symmetry, where the Moyal brackets are replaced by the Poisson brackets. The latter symmetry group is isomorphic to the group of volume preserving diffeomorphisms. By using this map, we resolve the apparent contradiction between the noncommutative gauge symmetry, on the one hand, and the particle-hole symmetry of the half-filled Landau level and the presence of the mixed Chern-Simons terms in the effective Lagrangian of the fractional quantum Hall states, on the other hand. We outline the general procedure which can be used to write down effective field theories which respect the noncommutative U(1) symmetry.

Physics↗
DOE OSTI2024

Vertical instability forecasting and controllability assessment of multi-device tokamak plasmas in DECAF with data-driven optimization

Abstract Reliable vertical position control will be an essential element of any future tokamak-based fusion power plant in order to reduce disruptions and maximize performance. We investigate methods to improve vertical controllability boundary determination in plasma operational space and demonstrate a data-driven approach based on direct pseudoinversion of operational space data that is rigorously quantitative, applicable in real-time plasma control systems, and physically intuitive to interpret. Applied to historical shot data from entire run campaigns on the MAST-U, KSTAR, and NSTX tokamaks, this approach, implemented in DECAF, improves vertical displacement event identification accuracy to 98.9%–100%. Further, we explore the application of a physics-based vertical stability metric as an early warning forecaster for vertical displacement events. The development of a linear surrogate model for the plasma current density profile, with a coefficient of determination of 0.992 on the training dataset, enables potential employment of this forecaster in real-time. The application of this approach on historical data from the MAST-U MU02 campaign yields a forecaster with 62.6% accuracy, indicating promise for this method when further refined and potentially coupled with other stability metrics.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

Characterization of uncertainties in electron-argon collision cross sections

Abstract The predictive capability of a plasma discharge model depends on accurate representations of electron-impact collision cross sections, which determine the corresponding reaction rates and electron transport properties. The values of cross sections can be known only approximately either through experiments or simulations and are thus subject to uncertainties. Quantifying the uncertainties in plasma simulations allows us to assess the reliability of simulations and to provide a basis for interpreting discrepancies between simulations and experiments. For such uncertainty quantification of plasma simulations, it is essential to quantify the uncertainties of the underlying cross sections. Although much effort has been committed to calibrate the cross section values, their uncertainties are not well investigated. We characterize uncertainties in electron-argon atom collision cross sections using a Bayesian framework. Six collision processes—elastic momentum transfer, ionization, and four excitations—are characterized with semi-empirical models, which effectively capture the features important to the macroscopic properties of the plasma. A probability model for the uncertain parameters of these semi-empirical models is developed. Specifically, a Gaussian-process likelihood model is proposed to capture discrepancies among data sets, as well as the model-form inadequacies of the semi-empirical models. Two other likelihood models are compared with the proposed Gaussian-process model, to illustrate the importance of the choice of the likelihood model. The cross section models are calibrated using the electron-beam experiments and ab-inito quantum simulations. The resulting calibrated uncertainties capture well the scattering among the data sets. The calibrated cross section models are further validated against swarm-parameter experiments and zero-dimensional Boltzmann equation simulations of widely used cross section datasets.

Chung, Seung Whan (ORCID:0000000302501549)↗
DOE OSTI2024

The annual cycle and sources of relevant aerosol precursor vapors in the central Arctic during the MOSAiC expedition

Abstract. In this study, we present and analyze the first continuous time series of relevant aerosol precursor vapors from the central Arctic (north of 80° N) during the Multidisciplinary drifting Observatory for the Study of Arctic Climate (MOSAiC) expedition. These precursor vapors include sulfuric acid (SA), methanesulfonic acid (MSA), and iodic acid (IA). We use FLEXPART simulations, inverse modeling, sulfur dioxide (SO2) mixing ratios, and chlorophyll a (chl a) observations to interpret the seasonal variability in the vapor concentrations and identify dominant sources. Our results show that both natural and anthropogenic sources are relevant for the concentrations of SA in the Arctic, but anthropogenic sources associated with Arctic haze are the most prevalent. MSA concentrations are an order of magnitude higher during polar day than during polar night due to seasonal changes in biological activity. Peak MSA concentrations were observed in May, which corresponds with the timing of the annual peak in chl a concentrations north of 75° N. IA concentrations exhibit two distinct peaks during the year, namely a dominant peak in spring and a secondary peak in autumn, suggesting that seasonal IA concentrations depend on both solar radiation and sea ice conditions. In general, the seasonal cycles of SA, MSA, and IA in the central Arctic Ocean are related to sea ice conditions, and we expect that changes in the Arctic environment will affect the concentrations of these vapors in the future. The magnitude of these changes and the subsequent influence on aerosol processes remains uncertain, highlighting the need for continued observations of these precursor vapors in the Arctic.

Boyer, Matthew↗
DOE OSTI2025

A Unified Analytical Model for Pressure Solution With Fully Coupled Diffusion and Reaction

Abstract Geophysical models for pressure solution are typically developed for diffusion‐controlled or reaction‐controlled scenarios. We present a unified analytical model that considers fully coupled diffusion and reaction during pressure solution. The model recovers the diffusion‐controlled and reaction‐controlled models in the literature as specific limiting cases. When diffusion and reaction exhibit comparable influences, we validate the proposed model against independent numerical simulations. The proposed model is then employed in interpreting experimental measurements, demonstrating a better agreement compared to previous interpretations.

Wang, Ziyan [Energy Geosciences Division Lawrence ↗
DOE OSTI2024

Machine Learning meets Algebraic Combinatorics: A Suite of Benchmark Datasets to Accelerate AI for Mathematics Research

The use of benchmark datasets has become an important engine of progress in machine learning (ML) over the past 15 years. Recently there has been growing interest in utilizing machine learning to drive advances in research-level mathematics. However, off-the-shelf solutions often fail to deliver the types of insights required by mathematicians. This suggests the need for new ML methods specifically designed with mathematics in mind. The question then is: what benchmarks should the community use to evaluate these? On the one hand, toy problems such as learning the multiplicative structure of small finite groups have become popular in the mechanistic interpretability community whose perspective on explainability aligns well with the needs of mathematicians. While toy datasets are a useful benchmark for initial work, they lack the scale, complexity, and sophistication of many of the principal objects of study in modern mathematics. To address this, we introduce a new collection of benchmark datasets, Algebraic Combinatorics Benchmarks (ACBench), representing either classic or open problems in algebraic combinatorics, a subfield of mathematics that studies discrete structures arising from abstract algebra. After describing the datasets, we discuss the challenges involved in constructing “good” mathematics benchmarks, describe baseline model performance, and discuss some of the insights these datasets can provide that may be of interest even to those who are not interested in mathematics research itself.

97 MATHEMATICS AND COMPUTING↗