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

Ionic Liquid Aided [ 11 C]CO Fixation for Synthesis of 11 C‐carbonyls

Tributyl(ethyl)phosphonium oxopentenolate ([P 4442 ][Pen]) is an ionic liquid developed to capture CO and has shown ability to catalyze carbonylation reactions in organic chemistry. Carbon-11 ( 11 C, t 1/2 =20.4 min) labeled CO is a highly versatile building block for the synthesis of positron emission tomography (PET) radiotracers that are applied for medical imaging. The use of [ 11 C]CO is limited by its low solubility in organic solvents. Herein, we report a proof-of-concept study evaluating a new method to prepare 11 C-labeled amides, ureas and carbamates via reaction of [ 11 C]CO in [P 4442 ][Pen] and applied for fully automated radiosyntheses of Bruton's tyrosine kinase inhibitors, [ 11 C]evobrutinib and [ 11 C]ibrutinib.

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

Single‐Cell Nanodroplet Processing Proteomics Pipeline for Analysis of Human‐Derived Microglia

Single-cell omics tools provide unique insights into heterogeneous cell populations and their responses to stimuli. For example, single-cell RNA sequencing has identified several transcriptionally distinct populations of microglia, which are resident immune cells of the central nervous system (CNS) that are responsive to CNS injury, infection, and neurodegeneration. To date, single-cell studies of microglia have focused on RNA-sequencing or cytometry by time of flight (CyTOF), which provide indirect readouts of protein abundance or quantification of a limited number of targets. Herein, we present a workflow based on FACS-assisted isolation, cryopreservation, and nanodroplet-based processing for single-cell mass spectrometry proteomics analysis of the postmortem human brain cortex-derived microglia. From a single microglial cell, 1039 proteins could be identified on average. As a proof-of-principle, we applied single-cell proteomics for exploring the heterogeneity of brain microglia at the cellular level. This pilot proteomics data partially recapitulates the prior microglia subtypes. Specifically, we determined that mitochondrial proteins, in particular members of NADH dehydrogenase (Complex I), cytochrome b-c1 (Complex III), cytochrome c oxidase (Complex IV), F1-ATPase (Complex V), and Na+/K+-ATPase complex, drive variation across microglia. This pipeline offers the potential for identifying functionally and analytically relevant protein targets for microglia in Alzheimer's disease and other neurological disorders.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Structural studies of intrinsically disordered MLL -fusion protein AF9 in complex with peptidomimetic inhibitors

AF9 (MLLT3) and its paralog ENL(MLLT1) are members of the YEATS family of proteins with important role in transcriptional and epigenetic regulatory complexes. These proteins are two common MLL fusion partners in MLL -rearranged leukemias. The oncofusion proteins MLL-AF9/ENL recruit multiple binding partners, including the histone methyltransferase DOT1L, leading to aberrant transcriptional activation and enhancing the expression of a characteristic set of genes that drive leukemogenesis. The interaction between AF9 and DOT1L is mediated by an intrinsically disordered C-terminal ANC1 homology domain (AHD) in AF9, which undergoes folding upon binding of DOT1L and other partner proteins. We have recently reported peptidomimetics that disrupt the recruitment of DOT1L by AF9 and ENL, providing a proof-of-concept for targeting AHD and assessing its druggability. Intrinsically disordered proteins, such as AF9 AHD, are difficult to study and characterize experimentally on a structural level. In this study, we present a successful protein engineering strategy to facilitate structural investigation of the intrinsically disordered AF9 AHD domain in complex with peptidomimetic inhibitors by using maltose binding protein (MBP) as a crystallization chaperone connected with linkers of varying flexibility and length. The strategic incorporation of disulfide bonds provided diffraction-quality crystals of the two disulfide-bridged MBP–AF9 AHD fusion proteins in complex with the peptidomimetics. These successfully determined first series of 2.1–2.6 Å crystal complex structures provide high-resolution insights into the interactions between AHD and its inhibitors, shedding light on the role of AHD in recruiting various binding partner proteins. We show that the overall complex structures closely resemble the reported NMR structure of AF9 AHD/DOT1L with notable difference in the conformation of the β-hairpin region, stabilized through conserved hydrogen bonds network. These first series of AF9 AHD/peptidomimetics complex structures are providing insights of the protein–inhibitor interactions and will facilitate further development of novel inhibitors targeting the AF9/ENL AHD domain.

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

Ionic‐Liquid Free and Flexible Transistors Made of 2D Material Inks

The development of thin-film transistors (TFTs) using 2D materials is crucial for enabling scalable, low-cost, and flexible electronics. Currently, 2D TFTs with the highest performance have been achieved by using ionic-liquid gating (ILG), a technique suited for proof-of-concept studies. However, ILG suffers from slow switching speeds, temperature sensitivity, poor long-term stability, and integration challenges, making it unsuitable for practical use. Moreover, typical fabrication methods for 2D TFTs involve harsh conditions such as strong acids or high temperatures (>300 °C), limiting integration with flexible substrates. This work provides the first demonstration of an ILG-free, all-2D-material TFT fabricated onto a flexible substrate. Water-based graphene and hexagonal boron nitride (h-BN) inks are printed to deposit the electrodes and dielectric layers, respectively. The MoS 2 channel is produced via supramolecular interfacial self-assembly, yielding uniform, monolayer-rich films transferable to rigid and flexible substrates. The resulting TFTs operate below 3 V, exhibit negligible leakage current, and achieve field-effect mobilities up to 0.46 cm 2 V −1 s −1 (rising to 2.47 cm 2 V −1 s −1 with silver electrodes) measured under ambient conditions, while maintaining excellent mechanical flexibility. This work establishes a low-cost and scalable solution-processable platform for flexible electronics based on 2D materials that match requirements for practical applications.

2D materials↗
DOE OSTI2024

Axion domain walls, small instantons, and non-invertible symmetry breaking

Non-invertible global symmetry often predicts degeneracy in axion potentials and carries important information about the global form of the gauge group. When these symmetries are spontaneously broken they can lead to the formation of stable axion domain wall networks which support topological degrees of freedom on their worldvolume. Such non-invertible symmetries can be broken by embedding into appropriate larger UV gauge groups where small instanton contributions lift the vacuum degeneracy, and provide a possible solution to the domain wall problem. We explain these ideas in simple illustrative examples and then apply them to the Standard Model, whose gauge algebra and matter content are consistent with several possible global structures. Each possible global structure leads to different selection rules on the axion couplings, and various UV completions of the Standard Model lead to more specific relations. As a proof of principle, we also present an example of a UV embedding of the Standard Model which can solve the axion domain wall problem. The formation and annihilation of the long-lived axion domain walls can lead to observables, such as gravitational wave signals. Observing such signals, in combination with the axion coupling measurements, can provide valuable insight into the global structure of the Standard Model, as well as its UV completion.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Properties of the contraction map for holographic entanglement entropy inequalities

We present a deterministic way of finding contraction maps for candidate holographic entanglement entropy inequalities modulo choices due to actual degeneracy. We characterize its complexity and give an argument for the completeness of the contraction map proof method as a necessary and sufficient condition for the validity of an entropy inequality for holographic entanglement.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Real-time dynamics of the Schwinger model as an open quantum system with Neural Density Operators

Ab-initio simulations of multiple heavy quarks propagating in a Quark-Gluon Plasma are computationally difficult to perform due to the large dimension of the space of density matrices. This work develops machine learning algorithms to overcome this difficulty by approximating exact quantum states with neural network parametrisations, specifically Neural Density Operators. As a proof of principle demonstration in a QCD-like theory, the approach is applied to solve the Lindblad master equation in the 1 + 1d lattice Schwinger Model as an open quantum system. Neural Density Operators enable the study of in-medium dynamics on large lattice volumes, where multiple-string interactions and their effects on string-breaking and recombination phenomena can be studied. Thermal properties of the system at equilibrium can also be probed with these methods by variationally constructing the steady state of the Lindblad master equation. Scaling of this approach with system size is studied, and numerical demonstrations on up to 32 spatial lattice sites and with up to 3 interacting strings are performed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

A universal inequality on the unitary 2D CFT partition function

We prove the conjecture proposed by Hartman, Keller and Stoica (HKS) [1]: the grand-canonical free energy of a unitary 2D CFT with a sparse spectrum below the scaling dimension $\frac{c}{12}$ + ϵ and below the twist $\frac{c}{12}$ is universal in the large c limit for all β L β R ≠ 4π 2 . The technique of the proof allows us to derive a one-parameter (with parameter α ∈ (0, 1]) family of universal inequalities on the unitary 2D CFT partition function with general central charge c ⩾ 0, using analytical modular bootstrap. We derive an iterative equation for the domain of validity of the inequality on the (β L , β R ) plane. The infinite iteration of this equation gives the boundary of maximal-validity domain, which depends on the parameter α in the inequality.

AdS-CFT Correspondence↗
DOE OSTI2025

Generalized entropy of gravitational fluctuations

The corrections to holographic entanglement entropy from bulk quantum fields in a classical gravitational background are now well understood. They lead, in particular, to unitary Page curves for evaporating black holes. However, the correct treatment of quantum fluctuations of the metric, including graviton excitations, is a longstanding problem. We provide a gauge-invariant prescription for the generalized entropy of gravitons in anti-de Sitter space in terms of areas and bulk entanglement entropy, generalizing the quantum extremal surface prescription to accommodate fluctuations in the semiclassical spacetime geometry. This task requires a careful treatment of the area operator on the graviton Hilbert space and the definition of a “quantum extremal gauge” in which the extremal surface is unperturbed. It also requires us to determine the correct vacuum modular Hamiltonian for the graviton field, which we fix by requiring that it doesn’t contain a boundary term in extremal gauge. We check our prescription with an explicit computation of the vacuum-subtracted generalized entropy of states containing a graviton in an AdS-Rindler background. Our results exactly match vacuum-subtracted von Neumann entropies for stress-tensor excited states in holographic conformal field theory with d > 2 dimensions. We also use covariant phase space techniques to give a partial proof of our prescription when the entanglement wedge for the background spacetime has a bifurcate Killing horizon. Along the way, we identify a class of perturbative graviton states that have parametrically larger generalized entropy, in the small G N expansion, than any low-energy excitations of an ordinary quantum field.

1/N expansion↗
DOE OSTI2025

Circles and triangles, the NLSM and Tr(Φ 3 )

A surprising connection has recently been made between the amplitudes for Tr(Φ 3 ) theory and the non-linear sigma model (NLSM). A simple shift of kinematic variables naturally suggested by the associahedron/stringy representation of Tr(Φ 3 ) theory yields pion amplitudes at all loops. In this note we provide an elementary motivation and proof for this link going in the opposite direction, starting from the non-linear sigma model and discovering its formulation as a sum over triangulations of surfaces with simple numerator factors. This uses an ancient connection between “circles” and “triangles”, interpreting the equation y = $\sqrt{1 – x^2}$ both as parametrizing points a circle as well as generating the number of triangulations of polygons. A further simplification of the numerator factors exposes them as arising from the kinematically shifted Tr(Φ3) theory, and gives rise to novel tropical representations of NLSM amplitudes. The connection to Tr(Φ 3 ) theory defines a natural notion of “surface-soft limit” intrinsic to curves on surfaces. Remarkably, with this definition, the soft limit of pion amplitudes vanishes directly at the level of the integrand, via obvious pairwise cancellations. We also give simple, explicit expressions for the multi-soft factors for tree and loop-level integrands in the limit as any number of pions are taken “surface-soft”.

Scattering Amplitudes↗
DOE OSTI2025

Three-Receiver Quantum Broadcast Channels: Classical Communication with Quantum Non-unique Decoding

In network communication, it is common in broadcasting scenarios for there to exist a hierarchy among receivers based on information they decode due, for example, to different physical conditions or premium subscriptions. This hierarchy may result in varied information quality, such as higher-quality video for certain receivers. This is modeled mathematically as a degraded message set, indicating a hierarchy between messages to be decoded by different receivers, where the default quality corresponds to a common message intended for all receivers, a higher quality is represented by a message for a smaller subset of receivers, and so forth. We extend these considerations to quantum communication, exploring three-receiver quantum broadcast channels with two- and three-degraded message sets. Our technical tool involves employing quantum non-unique decoding, a technique we develop by utilizing the simultaneous pinching method. Here, we construct one-shot codes for various scenarios and find achievable rate regions relying on various quantum Rényi mutual information error exponents. Our investigation includes a comprehensive study of pinching across tensor product spaces, presenting our findings as the asymptotic counterpart to our one-shot codes. By employing the non-unique decoding, we also establish a simpler proof to Marton’s inner bound for two-receiver quantum broadcast channels without the need for more involved techniques. Additionally, we derive no-go results and demonstrate their tightness in special cases.

Salek, Farzin [Technical University of Munich (Ger↗
DOE OSTI2026

On the Trotter Error in Many-body Quantum Dynamics with Coulomb Potentials

Efficient simulation of many-body quantum systems is central to advances in physics, chemistry, and quantum computing, with a key question being whether the simulation cost scales polynomially with the system size. Here, in this work, we analyze many-body quantum systems with Coulomb interactions, which are fundamental to electronic and molecular systems. We prove that Trotterization for such unbounded Hamiltonians achieves a 1/4-order convergence rate, with explicit polynomial dependence on the number of particles. The result holds for all initial wavefunctions in the domain of the Hamiltonian, and the 1/4-order convergence rate is optimal, as previous work has numerically demonstrated that it can be saturated by a specific initial ground state. The main challenges arise from the many-body structure and the singular nature of the Coulomb potential. Our proof strategy differs from prior state-of-the-art Trotter analyses, addressing both difficulties in a unified framework. Our analysis treats the Coulomb potential as an unbounded operator without modification or regularization, and does not rely on spatial discretization, making it compatible with both first- and second-quantized circuit constructions.

Fang, Di [Duke Univ., Durham, NC (United States)]↗
DOE OSTI2024

Out-of-Distribution Detection and Radiological Data Monitoring Using Statistical Process Control

Abstract Machine learning (ML) models often fail with data that deviates from their training distribution. This is a significant concern for ML-enabled devices as data drift may lead to unexpected performance. This work introduces a new framework for out of distribution (OOD) detection and data drift monitoring that combines ML and geometric methods with statistical process control (SPC). We investigated different design choices, including methods for extracting feature representations and drift quantification for OOD detection in individual images and as an approach for input data monitoring. We evaluated the framework for both identifying OOD images and demonstrating the ability to detect shifts in data streams over time. We demonstrated a proof-of-concept via the following tasks: 1) differentiating axial vs. non-axial CT images, 2) differentiating CXR vs. other radiographic imaging modalities, and 3) differentiating adult CXR vs. pediatric CXR. For the identification of individual OOD images, our framework achieved high sensitivity in detecting OOD inputs: 0.980 in CT, 0.984 in CXR, and 0.854 in pediatric CXR. Our framework is also adept at monitoring data streams and identifying the time a drift occurred. In our simulations tracking drift over time, it effectively detected a shift from CXR to non-CXR instantly, a transition from axial to non-axial CT within few days, and a drift from adult to pediatric CXRs within a day—all while maintaining a low false positive rate. Through additional experiments, we demonstrate the framework is modality-agnostic and independent from the underlying model structure, making it highly customizable for specific applications and broadly applicable across different imaging modalities and deployed ML models.

Zamzmi, Ghada↗
DOE OSTI2025

Constraints on Quantum Gravity

Recently, it has become increasingly clear that there are constraints on the low-energy effective theories of quantum gravity that cannot be captured by the standard Wilsonian paradigm. For gravitational theories in asymptotically anti-de Sitter spacetimes, we can formulate such constraints and aim to prove or falsify them using the AdS/CFT correspondence. I will review the work I did with Daniel Harlow on constraints on symmetries of quantum gravity. I will also discuss more recent progress in this holographic approach, and present the proof that Yifan Wang and I completed this year, which proves and strengthens a part of the Distance Conjecture that I proposed with Cumrun Vafa in 2006.

Ooguri, Hirosi [California Institute of Technology↗
DOE OSTI2025

Boundary Corrections for Kernel Approximation to Differential Operators

The kernel-based approach to operator approximation for partial differential equations has been shown to be unconditionally stable for linear PDEs and numerically exhibit unconditional stability for non-linear PDEs. These methods have the same computational cost as an explicit finite difference scheme but can exhibit order reduction at boundaries. In previous work on periodic domains, order reduction was addressed, yielding high-order accuracy. The issue addressed in this work is the elimination of order reduction of the kernel-based approach for a more general set of boundary conditions. Further, we consider the case of both first and second order operators. To demonstrate the theory, we provide not only the mathematical proofs but also experimental results by applying various boundary conditions to different types of equations. The results agree with the theory, demonstrating a systematic path to high order for kernel-based methods on bounded domains.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Photonuclear production of 225 Ac from 226 Ra targets

Herein we report proof of principal production of 225 Ac via 226 Ra(γ , n) 225 Ra $\overset{^-β}{\rightarrow}$ 225 Ac and subsequent chemical separation via extraction chromatography using BDGA and Ln resins. Irradiation of 0.35 µg 226 Ra with 39 MeV bremsstrahlung end-point energy photons produced 225 Ra and 224 Ra at a rate of 754 and 2215 kBq/g 226 Ra/mA/h, respectively. The production rate of 225 Ac determined at its peak radioactivity was 335 kBq/g 226 Ra/mA/h. Radiochemically pure 225 Ac was isolated with a minimum separation factor of 125,000 for 225 Ac: 226 Ra. In conclusion, these results are promising and lay the foundation for future studies to scale-up production for preclinical quantities of high purity 225 Ac using the 226 Ra(γ , n) 225 Ra $\overset{^-β}{\rightarrow}$ 225 Ac approach.

38 - RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCL↗
DOE OSTI2024

Enhancing scalability and accuracy of quantum poisson solver

The Poisson equation has many applications across the broad areas of science and engineering. Most quantum algorithms for the Poisson solver presented so far either suffer from lack of accuracy and/or are limited to very small sizes of the problem and thus have no practical usage. In this regard, our previous work showed a proof-of-concept demonstration in advancing quantum Poisson solver algorithm and validated preliminary results for a simple case of 3 x 3 problem. In this work, we delve into comprehensive research details, presenting the results on up to 15 x 15 problems that include step-by-step improvements in Poisson equation solutions, scaling performance, and experimental exploration. In particular, we demonstrate the implementation of eigenvalue amplification by a factor of up to 2 8 , achieving a significant improvement in the accuracy of our quantum Poisson solver and comparing that to the exact solution. Additionally, we present success probability results, highlighting the reliability of our quantum Poisson solver. Moreover, we explore the scaling performance of our algorithm against the circuit depth and width, demonstrating how our approach scales with larger problem sizes and thus further solidifies the practicality of easy adaptation of this algorithm in real-world applications. We also discuss a multilevel strategy for how this algorithm might be further improved to explore much larger problems with greater performance. Finally, through our experiments on the IBM quantum hardware, we conclude that though overall results on the existing NISQ hardware are dominated by the error in the CNOT gates, this work opens a path to realizing a multidimensional Poisson solver on near-term quantum hardware.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Development of 52Mn Labeled Trastuzumab for Extended Time Point PET Imaging of HER2

Abstract Purpose Due to their long circulation time in the blood, monoclonal antibodies (mAbs) such as trastuzumab, are usually radiolabeled with long-lived positron emitters for the development of agents for Positron Emission Tomography (PET) imaging. Manganese-52 ( 52 Mn, t 1/2 = 5.6 d, β + = 29.6%, E(β ave ) = 242 keV) is suitable for imaging at longer time points providing a complementary technique to Zirconium-89 ( 89 Zr, t 1/2 = 3.3 d, β + = 22.7%, E(β ave ) = 396 keV)) because of its long half-life and low positron energy. To exploit these properties, we aimed to investigate suitable bifunctional chelators that could be readily conjugated to antibodies and labeled with 52 Mn under mild conditions using trastuzumab as a proof-of-concept. Procedures Trastuzumab was incubated with S-2-(4-isothiocyanatobenzyl)-1,4,7,10-tetraazacyclododecane tetraacetic acid (p-SCN-Bn-DOTA), 1-Oxa-4,7,10-tetraazacyclododecane-5-S-(4-isothiocyantobenzyl)-4,7,10-triacetic acid (p-SCN-Bn-Oxo-DO3A), and 3,6,9,15-tetraazabicyclo[9.3.1] pentadeca-1(15),11,13-triene-4-S-(4-isothiocyanatobenzyl)-3,6,9-triacetic acid (p-SCN-Bn-PCTA) at a tenfold molar excess. The immunoconjugates were purified, combined with [ 52 Mn]MnCl 2 at different ratios, and the labeling efficiency was assessed by iTLC. The immunoreactive fraction of the radiocomplex was determined through a Lindmo assay. Cell studies were conducted in HER2 + (BT474) and HER2- (MDA-MB-468) cell lines followed by in vivo studies. Results Trastuzumab-Oxo-DO3A was labeled within 30 min at 37 °C with a radiochemical yield (RCY) of 90 ± 1.5% and with the highest specific activity of the chelators investigated of 16.64 MBq/nmol. The labeled compound was purified with a resulting radiochemical purity of > 98% and retained a 67 ± 1.2% immunoreactivity. DOTA and PCTA immunoconjugates resulted in < 50 ± 2.5% (RCY) with similar specific activity. Mouse serum stability studies of [ 52 Mn]Mn-Oxo-DO3A-trastuzumab showed 95% intact complex for over 5 days. Cell uptake studies showed higher uptake in HER2 + (12.51 ± 0.83% /mg) cells compared to HER2- (0.85 ± 0.10%/mg) cells. PET images of mice bearing BT474 tumors showed high tumor uptake that was consistent with the biodistribution (42.02 ± 2.16%ID/g, 14 d) compared to MDA-MB-468 tumors (2.20 ± 0.80%ID/g, 14 d). Additionally, both models exhibited low bone uptake of < 1% ID/g. Conclusion The bifunctional chelator p-SCN-Bn-Oxo-DO3A is promising for the development of 52 Mn radiopharmaceuticals as it was easily conjugated, radiolabeled at mild conditions, and illustrated stability for a prolonged duration both in vitro and in vivo . High-quality PET/CT images of [ 52 Mn]Mn-Oxo-DO3A-trastuzumab were obtained 14 d post-injection. This study illustrates the potential of [ 52 Mn]Mn-Oxo-DO3A for the evaluation of antibodies using PET imaging.

Omweri, James M.↗