Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 253 records · Page 14

Discovering nuclear models from symbolic machine learning

Numerous phenomenological nuclear models have been proposed to describe specific observables within different regions of the nuclear chart. However, developing a unified model that describes the complex behavior of all nuclei remains an open challenge. Here, we explore whether symbolic Machine Learning (ML) can rediscover traditional nuclear physics models or identify alternatives with improved simplicity, fidelity, and predictive power. To address this challenge, we developed a Multi-objective Iterated Symbolic Regression approach that handles symbolic regressions over multiple target observables, accounts for experimental uncertainties and is robust against high-dimensional problems. As a proof of principle, we applied this method to describe the nuclear binding energies and charge radii of light and medium mass nuclei. Our approach identified simple analytical relationships based on the number of protons and neutrons, providing interpretable models with precision comparable to state-of-the-art nuclear models. Additionally, we integrated this ML-discovered model with an existing complementary model to estimate the limits of nuclear stability. These results highlight the potential of symbolic ML to develop accurate nuclear models and guide our description of complex many-body problems.

Nuclear structure↗

Petahertz electronics

Petahertz, or lightwave, electronics uses tailored optical waveforms to control charge carriers in an electronic circuit at petahertz frequencies. This may enable faster processing than conventional pulsed electronics, which cannot be scaled beyond gigahertz frequencies. In recent years, petahertz-scale currents driven by optical fields have been measured in solid-state systems and nanoscale structures, with several proof-of-principle demonstrations of sub-optical-cycle current generation and optical-field-resolved waveform detection at the sub-femtosecond to few-femtosecond scale. Recent work has taken the first steps towards digital and quantum operation by exploring optical-field-driven logic and memory functionality. Here, in this Review, we discuss the progress towards sub-cycle field-driven current injection, highlighting key theoretical concepts, experimental milestones, and questions remaining as we push towards realizing petahertz electronics for ultrafast optical waveform analysis, digital logic, communications, and quantum computation.

Heide, Christian↗

Achieving precise multiparameter measurements with distributed optical fiber sensor using wavelength diversity and deep neural networks

The development of advanced distributed optical fiber sensing systems that are capable of performing accurate and spatially resolved multiparameter measurements is of great interest to a wide range of scientific and industrial applications. Here, in this paper, we propose and experimentally demonstrate a wavelength diversity based advanced distributed optical fiber sensor system to accomplish multiparameter sensing while greatly enhancing measurement accuracy. A suite of deep neural network (DNN) algorithms are developed and verified for data denoising, rapid Brillouin frequency shift estimation, and vibration data event classification. As a proof-of-concept, we demonstrate the effectiveness of the proposed advanced wavelength diversity distributed fiber sensor system assisted by DNN for simultaneous, independent measurements of static strain, temperature, and acoustic vibrations over a 25 km long sensing fiber at 3 m spatial resolution. These results suggest the potential for an intelligent multiparameter monitoring system with enhanced performance in advanced structural health monitoring applications.

47 OTHER INSTRUMENTATION↗

Electrodialysis and nitrate reduction (EDNR) to enable distributed ammonia manufacturing from wastewaters

Underutilized wastewaters containing dilute levels of reactive nitrogen (Nr) can help rebalance the nitrogen cycle. This study describes electrodialysis and nitrate reduction (EDNR), a reactive electrochemical separation architecture that combines catalysis and separations to remediate nitrate and ammonium-polluted wastewaters while recovering ammonia. By engineering operating parameters (e.g., background electrolyte, applied potential, electrolyte flow rate), we achieved high recovery and conversion of Nr in both simulated and real wastewaters. The EDNR process demonstrated long-term robustness and up-concentration that recovered >100 mM ammonium fertilizer solution from agricultural runoff that contained 8.2 mM Nr. EDNR is the first reported process to our knowledge that remediates dilute real wastewater and recovers ammonia from multiple Nr pollutants, with an energy consumption (245 MJ per kg NH 3 –N in simulated wastewater, 920 MJ per kg NH 3 –N in agricultural runoff) on par with the state-of-the-art. Demonstrated first at proof-of-concept and engineered to technology readiness level (TRL) 4–5, EDNR shows great promise for distributed wastewater treatment and sustainable ammonia manufacturing.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Using Flory–Huggins-informed human-in-the-loop Bayesian optimization to map the phase diagram of polymer blends

Mapping the phase diagram of polymer blends is an essential step in controlling the structure–property relationship of polymer-based materials. However, traditional grid-based approaches are inefficient and rely on subjective judgements for terminating the experimental campaign. Artificial intelligence-guided experimentation offers a compelling alternative, especially when data-driven decision-making is interfaced with established polymer thermodynamics to improve efficiency and interpretability. Here, we introduce a physics-informed Bayesian optimization approach to guide the mapping of the phase diagram of a model blend containing poly(methyl methacrylate) and poly(styrene-ran-acrylonitrile). Physical information is derived from a Flory–Huggins representation of the spinodal curve, which is integrated into the Bayesian optimization process as a structured prior mean that acts as a soft constraint. Implemented as a human-in-the-loop workflow, the approach leverages optical imaging of film cloudiness with iterative Gaussian process surrogate modeling and a parameter selection decision policy to identify the composition-temperature conditions for sequential iterations. Convergence of kernel and Flory–Huggins-based hyperparameters provided a stopping criterion, ensuring an objective and interpretable termination of the experimental campaign. The framework recovered the known lower critical solution temperature (∼160 °C), while increasing material efficiency through targeted sampling. This work establishes a proof-of-concept for the application of Bayesian optimization workflows to study polymer blend miscibility.

36 MATERIALS SCIENCE↗

Dynamic disulfide bond networks enable self-healable and mechanically resilient intrinsically stretchable organic solar cells

A dynamic disulfide network introduced into donor/acceptor blends enables room-temperature self-healing and mechanical resilience in intrinsically stretchable organic solar cells, achieving performance recovery after high mechanical strain. The development of intrinsically stretchable organic solar cells (IS-OSCs) faces significant challenges in balancing mechanical durability and optoelectronic performance. Conventional π-conjugated polymer-based donor/acceptor blend films often exhibit limited stretchability and irreversible performance degradation under mechanical strain. To address these limitations, we propose a novel self-healable donor/acceptor blended film with a dual-network morphology, achieved by incorporating a dynamic disulfide bond-based crosslinked network into the bulk-heterojunction film. The resulting thin films demonstrate a power conversion efficiency (PCE) of 16.39% in rigid OSC devices and a fracture strain of 15.6%. Remarkably, the IS-OSCs retain 80% of their initial PCE under 30% strain and exhibit performance recovery after multiple stretch-release cycles at 40% strain through a room-temperature self-healing process. This work provides a proof-of-concept for highly stretchable and durable IS-OSCs, offering valuable insights for advancing the field of wearable energy systems, adaptive solar textiles, and sustainable electronics.

Yang, Wenyu↗

Cyber‐Resilient Distributed Energy Resource Control Algorithms for Smart Distribution Grids

ABSTRACT This paper focuses on the development of cyber‐resilient gradient‐based optimisation algorithms and theoretical proof for grid‐interactive distributed energy resource (DER) control to enable two grid services of virtual power plants (VPPs) dispatch and grid voltage regulation, considering the communication and security impacts. Firstly, the combined DER dispatch and voltage regulation as a real‐time gradient‐based optimisation problem is recapped. Thereafter, we consider a probabilistic traffic model to characterise packet delays and loss in a communication network, and study how the delays enter the process of information exchange among the grid measurement units, local DER controllers and the grid control centre that execute this control algorithm in a coordinated manner. Then, a strategy combining delay thresholds and message update rules is proposed to immunity the asynchrony resulting from the communications traffic and it avoids possible numerical instabilities and sensitivities of the power tracking and voltage regulation capabilities, resulting as cyber‐resilient DER control algorithms. Additionally, their convergence is theoretically proved. Effectiveness of proposed cyber‐resilient algorithms has been validated on the IEEE 37‐bus system in terms of convergence, VPP tracking and voltage regulation performance for smart distribution systems with high penetration of DERs.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Nine lensed quasars and quasar pairs discovered through spatially extended variability in Pan-STARRS

We present the proof of concept of a method for finding strongly lensed quasars using their spatially extended photometric variability through difference imaging in cadenced imaging survey data. We applied the method to Pan-STARRS, starting with an initial selection of 14 107Gaiamultiplets with quasar-like infrared colours from WISE. We identified 229 candidates showing notable spatially extended variability during the Pan-STARRS survey period. These include 20 known lenses and an additional 12 promising candidates for which we obtained long-slit spectroscopy follow-up. This process resulted in the confirmation of four doubly lensed quasars, four unclassified quasar pairs, and one projected quasar pair. Only three are pairs of stars or quasar+star projections. The false-positive rate accordingly is 25%. The lens separations are between 0.81″ and 1.24″, and the source redshifts lie betweenz = 1.47 andz = 2.46. Three of the unclassified quasar pairs are promising dual-quasar candidates with separations ranging from 6.6 to 9.3 kpc. We expect that this technique is a particularly efficient way to select lensed variables in the upcomingRubin-LSST, which will be crucial given the expected limitations for spectroscopic follow-up.

Astronomy & Astrophysics↗

Informed total-error-minimizing priors: Interpretable cosmological parameter constraints despite complex nuisance effects

While Bayesian inference techniques are standard in cosmological analyses, it is common to interpret resulting parameter constraints with a frequentist intuition. This intuition can fail, for example, when marginalizing high-dimensional parameter spaces onto subsets of parameters, because of what has come to be known as projection effects or prior volume effects. We present the method of informed total-error-minimizing (ITEM) priors to address this problem. An ITEM prior is a prior distribution on a set of nuisance parameters, such as those describing astrophysical or calibration systematics, intended to enforce the validity of a frequentist interpretation of the posterior constraints derived for a set of target parameters (e.g., cosmological parameters). Our method works as follows. For a set of plausible nuisance realizations, we generate target parameter posteriors using several different candidate priors for the nuisance parameters. We reject candidate priors that do not accomplish the minimum requirements of bias (of point estimates) and coverage (of confidence regions among a set of noisy realizations of the data) for the target parameters on one or more of the plausible nuisance realizations. Of the priors that survive this cut, we select the ITEM prior as the one that minimizes the total error of the marginalized posteriors of the target parameters. As a proof of concept, we applied our method to the density split statistics measured in Dark Energy Survey Year 1 data. We demonstrate that the ITEM priors substantially reduce prior volume effects that otherwise arise and that they allow for sharpened yet robust constraints on the parameters of interest.

79 ASTRONOMY AND ASTROPHYSICS↗

Horizon-scale variability of M87* from 2017–2021 EHT observations

Here, we report three epochs of polarized images of M87* at 230 GHz using data from the Event Horizon Telescope (EHT) taken in 2017, 2018, and 2021. The baseline coverage of the 2021 observations is significantly improved through the addition of two new EHT stations: the 12 m Kitt Peak Telescope and the Northern Extended Millimetre Array (NOEMA). All observations result in images dominated by a bright, asymmetric ring with a persistent diameter of 43.9 ± 0.6 µas, consistent with expectations for lensed synchrotron emission encircling the apparent shadow of a supermassive black hole. We find that the total intensity and linear polarization of M87* vary significantly across the three epochs. Specifically, the azimuthal brightness distribution of the total intensity images varies from year to year, as expected for a stochastic accretion flow. However, despite a gamma-ray flare erupting in M87 quasi-contemporaneously to the 2018 observations, the 2018 and 2021 images look remarkably similar. The resolved linear polarization fractions in 2018 and 2021 peak at ∼5%, compared to ∼15% in 2017. The spiral polarization pattern on the ring also varies from year to year, including a change in the electric vector position angle helicity in 2021 that could reflect changes in the magnetized accretion flow or an external Faraday screen. The improved 2021 coverage also provides the first EHT constraints on jet emission outside the ring, on scales of ≲ 1 mas. Overall, these observations provide strong proof of the reliability of the EHT images and probe the dynamic properties of the horizon-scale accretion flow surrounding M87*.

accretion, accretion disks↗

Integrated edge-to-exascale workflow for real-time steering in neutron scattering experiments

We introduce a computational framework that integrates artificial intelligence (AI), machine learning, and high-performance computing to enable real-time steering of neutron scattering experiments using an edge-to-exascale workflow. Focusing on time-of-flight neutron event data at the Spallation Neutron Source, our approach combines temporal processing of four-dimensional neutron event data with predictive modeling for multidimensional crystallography. At the core of this workflow is the Temporal Fusion Transformer model, which provides voxel-level precision in predicting 3D neutron scattering patterns. The system incorporates edge computing for rapid data preprocessing and exascale computing via the Frontier supercomputer for large-scale AI model training, enabling adaptive, data-driven decisions during experiments. This framework optimizes neutron beam time, improves experimental accuracy, and lays the foundation for automation in neutron scattering. Although real-time experiment steering is still in the proof-of-concept stage, the demonstrated potential of this system offers a substantial reduction in data processing time from hours to minutes via distributed training, and significant improvements in model accuracy, setting the stage for widespread adoption across neutron scattering facilities and more efficient exploration of complex material systems.

97 MATHEMATICS AND COMPUTING↗

Progress in the development of an ultrafast pulsed ponderomotive phase plate for cryo-electron tomography

Cryo-electron tomography (cryo-ET) is a powerful modality for resolving cellular structures in their native state. While single-particle cryo-electron microscopy excels in determining protein structures purified from recombinant or endogenous sources due to an abundance of particles, weak contrast issues are accentuated in cryo-ET by low copy numbers in crowded cellular milieux. Continuous laser phase plates offer improved contrast in cryo-ET; however, their implementation demands exceptionally high-peak optical intensities. Instead, a novel experimental approach to enhance contrast in cryo-ET is to manipulate the phase of scattered pulsed electrons using ultrafast pulsed photons. Here, we outline the experimental design of a proof-of-concept electron microscope and demonstrate synchronization between electron packets and laser pulses. Furthermore, we show ultrabright photoemission of electrons from an alloy field emission tip using femtosecond ultraviolet pulses. These experiments pave the way toward exploring the utility of the ponderomotive effect using pulsed radiation to increase phase contrast in cryo-ET of subcellular protein complexes in situ, thus advancing the field of cell biology.

Du, Daniel X. [Columbia Univ., New York, NY (Unite↗

DC electrical conductivity measurements of warm dense matter using ultrafast THz radiation

We describe measurements of the DC electrical conductivity of warm dense matter using ultrafast terahertz (THz) pulses. THz fields are sufficiently slowly varying that they behave like DC fields on the timescale of electron–electron and electron–ion interactions and hence probe DC-like responses. Using a novel single-shot electro-optic sampling technique, the electrical conductivity of the laser-generated warm dense matter was determined with <1 ps temporal resolution. We present the details of the single-shot THz detection methodology as well as considerations for warm dense matter experiments. We, then, provide proof-of-concept studies on aluminum driven to the warm dense matter regime through isochoric heating and shock compression. Our results indicate a decrease in the conductivity when driven to warm dense matter conditions and provide a platform for future warm dense matter studies.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

3D reconstruction of an inertial-confinement fusion implosion with neural networks using multiple heterogeneous data sources

3D asymmetries are major degradation mechanisms in inertial-confinement fusion implosions at the National Ignition Facility (NIF). These asymmetries can be diagnosed and reconstructed with the neutron imaging system (NIS) on three lines of sight around the NIF target chamber. Conventional tomographic reconstructions are used to reconstruct the 3D morphology of the implosion using NIS [Volegov et al., J. Appl. Phys. 127, 083301 (2020)], but the problem is ill-posed with only three imaging lines of sight. Asymmetries can also be diagnosed with the real-time neutron activation diagnostics (RTNAD) and the neutron time-of-flight (nToF) suite. Since the NIS, RTNAD, and nToF each sample a different part of the implosion using different physical principles, we propose that it is possible to overcome the limitations of too few imaging lines of sight by performing 3D reconstructions that combine information from all three heterogeneous data sources. This work presents a new machine learning-based reconstruction technique to do just this. By using a simple physics model and group of neural networks to map 3D morphologies to data, this technique can easily account for data of multiple different types. A simple proof-of-principle is presented, demonstrating that this technique can accurately reconstruct a hot-spot shape using synthetic primary neutron images and a hot-spot velocity vector. In particular, the hot-spot’s asymmetry, quantified as spherical harmonic coefficients, is reconstructed to within ±4% of the radius in 90% of test cases. In the future, this technique will be applied to actual NIS, RTNAD, and nToF data to better understand 3D asymmetries at the NIF.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Quantitative modeling of gate-tunable cavity exciton-polaritons in transition-metal dichalcogenides

We performed a comprehensive real-space simulation study of propagative exciton-polaritons (EPs) of tungsten disulfide (WS 2 ) inside a Fabry–Pérot cavity. Through our simulations, we were able to construct the dispersion relation and determine the propagation length (L p ) of EPs, both of which show sensitive dependence on the applied gate voltage. We found that L p increases at higher gate voltages when excited at the exciton energy but shows opposite gate dependence at the trion energy. These observations are direct evidence of the coupling between the cavity mode with excitons and trions of WS 2 . Furthermore, we demonstrate a proof-of-concept device based on the tunable cavity EPs of WS 2 , which is promising for application as photonic transistors, modulators, or electrical-to-optical converters. Furthermore, our work unveils the real-space transport properties of gate-tunable cavity EPs and paves the way for future applications of EPs in nanophotonic devices and circuits.

42 ENGINEERING↗

Laser-driven flash x-ray radiography of a shocked metallic foil

Characterizing hydrodynamic instability evolution in millimeter-scale, high-Z foils is crucial for understanding complex phenomena in high-energy-density physics. Here, we demonstrate a proof-of-concept, laser-driven flash x-ray radiography platform tailored for two-dimensional linear density mapping in shocked high-Z foils. Using chromium (Cr) foils with internal shockwaves (∼100 μm width), our platform achieves a spatial resolution of 59.8 ± 1.4 μm by employing a broadband x-ray source extending into the hundreds of keV range. The setup combines a compound parabolic concentrator cone with a tantalum wire target, a magnetic field to deflect residual transmitted electrons, and a copper casing to shield the sides and rear of the image plate pack. By varying the delay of the short-pulse beam driving the flash x-ray source, we resolve shockwave dynamics, specifically the velocity, position, width, and density profile, within the Cr foil. Reported experimental results are consistent with the corresponding hydrodynamics and radiation transport simulations, which accurately reproduce the measured electron and x-ray source terms. These developments enable the conversion of shockwave radiographs into two-dimensional density maps, enhancing interpretability for hydrodynamic instability evolution applications and validating the simulation approach.

36 MATERIALS SCIENCE↗

Lagrangian formulation of nuclear–electronic orbital Ehrenfest dynamics with real-time TDDFT for extended periodic systems

Here, we present a Lagrangian-based implementation of Ehrenfest dynamics with nuclear–electronic orbital (NEO) theory and real-time time-dependent density functional theory for extended periodic systems. In addition to a quantum dynamical treatment of electrons and selected protons, this approach allows for the classical movement of all other nuclei to be taken into account in simulations of condensed matter systems. Furthermore, we introduce a Lagrangian formulation for the traveling proton basis approach and propose new schemes to enhance its application for extended periodic systems. Validation and proof-of-principle applications are performed on electronically excited proton transfer in the o-hydroxybenzaldehyde molecule with explicit solvating water molecules. These simulations demonstrate the importance of solvation dynamics and a quantum treatment of transferring protons. This work broadens the applicability of the NEO Ehrenfest dynamics approach for studying complex heterogeneous systems in the condensed phase.

Calculus of variations↗