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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Programmed synthesis of mesoporous protein crystals in cellular reactors

Protein crystals are naturally derived mesoporous materials with versatile structures and physicochemical properties. Here we introduce an intracellular synthesis platform that enables controllable and programmable protein crystallization. In live cells, we show that, after initial nucleation, steady protein expression governs crystal growth, yielding predictable, tunable dynamics in live cells. Exploiting this feature, we combined HaloTag and click chemistries to achieve modular, programmable immobilization of diverse guest materials with spatial patterning down to ~100 nm resolution. We further demonstrated the sequential release of immobilized materials in physiologically relevant fluids. As a proof of concept, we programmed particles to carry human fibroblast growth factors in distinct layers, which elicited designed oscillatory Akt signalling patterns in cell culture. Finally, this work outlines a programmable method for producing mesoporous materials, with possible applications in catalysis and biomedicine.

Yang, Hongru [Johns Hopkins Univ., Baltimore, MD (↗
DOE OSTI2025

Low-overhead transversal fault tolerance for universal quantum computation

Fast, reliable logical operations are essential for realizing useful quantum computers. By redundantly encoding logical qubits into many physical qubits and using syndrome measurements to detect and correct errors, we can achieve low logical error rates. However, for many practical quantum error correction codes such as the surface code, owing to syndrome measurement errors, standard constructions require multiple extraction rounds—of the order of the code distance d—for fault-tolerant computation, particularly considering fault-tolerant state preparation. Here we show that logical operations can be performed fault-tolerantly with only a constant number of extraction rounds for a broad class of quantum error correction codes, including the surface code with magic state inputs and feedforward, to achieve ‘transversal algorithmic fault tolerance’. Through the combination of transversal operations7 and new strategies for correlated decoding, despite only having access to partial syndrome information, we prove that the deviation from the ideal logical measurement distribution can be made exponentially small in the distance, even if the instantaneous quantum state cannot be made close to a logical codeword because of measurement errors. We supplement this proof with circuit-level simulations in a range of relevant settings, demonstrating the fault tolerance and competitive performance of our approach. Furthermore, our work sheds new light on the theory of quantum fault tolerance and has the potential to reduce the space–time cost of practical fault-tolerant quantum computation by over an order of magnitude.

Zhou, Hengyun [QuEra Computing, Boston, MA (United↗
DOE OSTI2026

A sorghum pangenome reference improves global crop trait discovery

Although the green revolution adapted a handful of crops to homogeneous and high-input industrialized agriculture, much of the global population still relies on the local production of variable crop cultivars by low-input smallholder farms. This diversity of unhomogenized crops, like that of the grain and bioenergy crop sorghum, offers raw materials for genetic gain and cultivar improvement. However, breeding efforts can be constrained by highly specialized traits and breeding targets Here, to bridge this diversity, we constructed a 33-member pangenome reference and a diversity panel across 1,984 cultivars and landraces. We leveraged these resources to explore the complex interplay among historical contingency, ongoing adaptation and previously uncharacterized structural diversity. Specifically, our analyses conclusively demonstrated multiple nested and deeply diverged structural variants in the domestication gene SHATTERING1, which distinguish the previously established multicentric origin of sorghum. We then applied landscape genomics to reveal how gene flow and secondary contact created the complex genetic mosaic in contemporary breeding networks. As proof of concept for pangenome-accelerated trait discovery, we connected biosynthetic gene cluster structural variation to phenotypic leaf concentration of the cyanogenic glucoside dhurrin. Combined, these approaches will accelerate breeding and trait discovery and provide a framework for similar applications in other crops.

agricultural genetics↗
DOE OSTI2024

Application of advanced causal analyses to identify processes governing secondary organic aerosols

Abstract Understanding how different physical and chemical atmospheric processes affect the formation of fine particles has been a persistent challenge. Inferring causal relations between the various measured features affecting the formation of secondary organic aerosol (SOA) particles is complicated since correlations between variables do not necessarily imply causality. Here, we apply a state-of-the-art information transfer measure coupled with the Koopman operator framework to infer causal relations between isoprene epoxydiol SOA (IEPOX-SOA) and different chemistry and meteorological variables derived from detailed regional model predictions over the Amazon rainforest. IEPOX-SOA represents one of the most complex SOA formation pathways and is formed by the interactions between natural biogenic isoprene emissions and anthropogenic emissions affecting sulfate, acidity and particle water. Since the regional model captures the known relations of IEPOX-SOA with different chemistry and meteorological features, their simulated time series implicitly include their causal relations. We show that our causal model successfully infers the known major causal relations between total particle phase 2-methyl tetrols (the dominant component of IEPOX-SOA over the Amazon) and input features. We provide the first proof of concept that the application of our causal model better identifies causal relations compared to correlation and random forest analyses performed over the same dataset. Our work has tremendous implications, as our methodology of causal discovery could be used to identify unknown processes and features affecting fine particles and atmospheric chemistry in the Earth’s atmosphere.

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

405 nm light microbicidal efficacy on Treponema pallidum spiked in ex vivo human platelets

Abstract Pathogen reduction technologies using chemicals and or UV light have been demonstrated to improve the safety of ex vivo platelets from infectious diseases. However, UV light exposure also may affect the treated products, depending on wavelength and exposure. Alternatively, visible spectra 405 nm violet-blue light has broad-spectrum microbicidal activity. Here we tested the effect of 405 nm light onTreponema pallidum, the bacterium that causes syphilis. We contaminated platelets stored in plasma with two treponemal concentrations (low and high titers) and treated an aliquot with 270 J/cm 2 dose (irradiance = 15 mW/cm 2 ) of 405 nm light while another aliquot remained untreated. Next, we inoculated intradermally an aliquot of both samples into rabbits. Rabbits inoculated with untreated samples developed syphilis while animals inoculated with light-treated samples did not. Thus, inactivation was demonstrated to the limit of detection of the bioassay. We estimated > 2 log 10 and > 4 log 10 reduction in the low and high dose studies, respectively. These results provide proof-of-concept that 405 nm light is effective in reducing syphilis risk in ex vivo platelets.

Science & Technology - Other Topics↗
DOE OSTI2025

The iodine-129 paradox in nuclear waste management strategies

Nuclear energy has an important role in the low-carbon energy transition, but the safety of spent nuclear fuel (SNF) management remains a public concern. Here, in this study, we investigate the interplay between waste management strategies and their environmental impacts with a particular focus on a highly mobile and persistent radionuclide, iodine-129 (I-129), which is the dominant risk contributor from SNF disposal and at existing groundwater contamination sites. The results show that the current recycling practice releases more than 90% of I-129 in SNF into the present-day biosphere using an isotropic dilution strategy, whereas the direct disposal of SNF in geological repositories is likely to delay and reduce the release by 8 orders of magnitude. In addition, our data synthesis of surface water concentrations near four nuclear facilities shows that the release-dilution strategy results in lower concentrations than regulatory standards, while insufficient waste isolation in the past has resulted in locally high concentrations within one site. Our analysis suggests that it is essential to consider effluents more explicitly as a part of the waste, that as society moves from dilution to isolation of waste, the potential risks of waste isolation to local regions should be carefully evaluated, and that excessive burdens of proof could hinder or discourage waste isolation. Comprehensive waste management strategies—considering not just volume but also mobility, isolation technologies and ultimate fates—are needed for persistent contaminants. This study offers valuable insights for optimizing the management of SNF and other persistent contaminants.

Wainwright, Haruko M. [Massachusetts Inst. of Tech↗
DOE OSTI2024

Electrochemical lithium extraction from hectorite ore

Electrochemical technologies add a unique dimension for ore refinement, representing tunable methods that can integrate with renewable energy sources and existing downstream process flows. However, the development of electrochemical extraction technologies has been impeded by the technological maturity of hydro- and pyro-metallurgy, as well as the electrical insulating properties of many metal oxide ores. The fabrication and use of carbon/insulating material composite electrodes has been a longstanding method to enable electrochemical activation. Here, using real hectorite ore, we employ this technical approach to fabricate hectorite-carbon black composite electrodes (HCCEs) and achieve electrochemical activation of hectorite. Anodic polarization results in lithium-ion release through a multi-step chemical and electrochemical mechanism that results in 50.7 ± 4.4% removal of lithium from HCCE, alongside other alkaline ions. This technical proof-of-concept study underscores that electrochemical activation of ores can facilitate lattice deterioration and ion removal from ores.

25 ENERGY STORAGE↗
DOE OSTI2025

18-membered macrocycle appended on resin for selective rare earth element extraction and separation

The rare earth elements are critically important for a wide range of modern technologies. However, obtaining them selectively and efficiently from natural sources and recycled materials is challenging and often requires harsh or wasteful conditions. Here we show that a macrocyclic chelator appended to a solid resin can overcome this challenge by acting as a robust platform for both the extraction and separation of these elements. This resin preferably captures the large rare earth elements in mixtures of these ions, giving rise to higher extraction efficiencies for them over the smaller ions. We further demonstrate that this resin can be used to separate rare earth elements. As a proof-of-principle validation, this resin was demonstrated to selectively extract rare earth elements in the presence of many different types of competing metal ions in a bioleachate solution obtained from autoslag waste, leading to their enrichment.

Coordination chemistry↗
DOE OSTI2025

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↗
DOE OSTI2024

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↗
DOE OSTI2024

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↗
DOE OSTI2024

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↗
DOE OSTI2026

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↗
DOE OSTI2025

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↗
DOE OSTI2025

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↗
DOE OSTI2024

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↗
DOE OSTI2025

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↗