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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

Proof of Concept Coded Aperture Miniature Mass Spectrometer Using a Cycloidal Sector Mass Analyzer, a Carbon Nanotube (CNT) Field Emission Electron Ionization Source, and an Array Detector

Despite many potential applications, miniature mass spectrometers have had limited adoption in the field due to the tradeoff between throughput and resolution that limits their performance relative to laboratory instruments. Recently, a solution to this tradeoff has been demonstrated by using spatially coded apertures in magnetic sector mass spectrometers, enabling throughput and signal-to-background improvements of greater than an order of magnitude with no loss of resolution. This paper describes a proof of concept demonstration of a cycloidal coded aperture miniature mass spectrometer (C-CAMMS) demonstrating use of spatially coded apertures in a cycloidal sector mass analyzer for the first time. C-CAMMS also incorporates a miniature carbon nanotube (CNT) field emission electron ionization source and a capacitive transimpedance amplifier (CTIA) ion array detector. Results confirm the cycloidal mass analyzer’s compatibility with aperture coding. A >10× increase in throughput was achieved without loss of resolution compared with a single slit instrument. Several areas where additional improvement can be realized are identified. .

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

Proof-of-concept Talbot–Lau x-ray interferometry with a high-intensity, high-repetition-rate, laser-driven K-alpha source

Talbot–Lau x-ray interferometry is a grating-based phase-contrast technique, which enables measurement of refractive index changes in matter with micrometric spatial resolution. The technique has been established using a variety of hard x-ray sources, including synchrotron, free-electron lasers, and x-ray tubes, and could be used in the optical range for low-density plasmas. The tremendous development of table-top high-power lasers makes the use of high-intensity, laser-driven K-alpha sources appealing for Talbot–Lau interferometer applications in both high-energy-density plasma experiments and biological imaging. To this end, we present the first, to the best of our knowledge, feasibility study of Talbot–Lau phase-contrast imaging using a high-repetition-rate laser of moderate energy (100 mJ at a repetition rate of 10 Hz) to irradiate a copper backlighter foil. The results from up to 900 laser pulses were integrated to form interferometric images. A constant fringe contrast of 20% is demonstrated over 100 accumulations, while the signal-to-noise ratio continued to increase with the number of shots. Phase retrieval is demonstrated without prior ex-situ phase stepping. Instead, correlation matrices are used to compensate for the displacement between reference acquisition and the probing of a PMMA target rod. The steps for improved measurements with more energetic laser systems are discussed. The final results are in good agreement with the theoretically predicted outcomes, demonstrating the applicability of this diagnostic to a range of laser facilities for use across several disciplines.

Bouffetier, V. (ORCID:0000000160791260)↗
DOE OSTI2021

Security proof of practical quantum key distribution with detection-efficiency mismatch

Quantum key distribution (QKD) protocols with threshold detectors are driving high-performance QKD demonstrations. The corresponding security proofs usually assume that all physical detectors have the same detection efficiency. However, the efficiencies of the detectors used in practice might show a mismatch depending on the manufacturing and setup of these detectors. A mismatch can also be induced as the different spatial-temporal modes of an incoming signal might couple differently to a detector. Here we develop a method that allows to provide security proofs without the usual assumption. Our method can take the detection-efficiency mismatch into account without having to restrict the attack strategy of the adversary. Especially, we do not rely on any photon-number cutoff of incoming signals such that our security proof is directly applicable to practical situations. We illustrate our method for a receiver that is designed for polarization encoding and is sensitive to a number of spatial-temporal modes. In our detector model, the absence of quantum interference between any pair of spatial-temporal modes is assumed. For a QKD protocol with this detector model, we can perform a security proof with characterized efficiency mismatch and without photon-number cutoff assumption. Our method also shows that in the absence of efficiency mismatch in our detector model, the key rate increases if the loss due to detection inefficiency is assumed to be outside of the adversary's control, as compared to the view where for a security proof this loss is attributed to the action of the adversary.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

A general proof of the quantum null energy condition

We prove a conjectured lower bound on ⟨T_ _(x)⟩ $ψ$ in any state $ψ$ of a CFT on Minkowski space, dubbed the Quantum Null Energy Condition (QNEC). The bound is given by the second order shape deformation, in the null direction, of the geometric entanglement entropy of an entangling cut passing through $x$. Our proof involves a combination of the two independent methods that were used recently to prove the weaker Averaged Null Energy Condition (ANEC). In particular the properties of modular Hamiltonians under shape deformations for the state ψ play an important role, as do causality considerations. We study the two point function of a “probe” operator $\mathcal{O}$ in the state $ψ$ and use a lightcone limit to evaluate this correlator. Instead of causality in time we consider causality on modular time for the modular evolved probe operators, which we constrain using Tomita-Takesaki theory as well as certain generalizations pertaining to the theory of modular inclusions. The QNEC follows from very similar considerations to the derivation of the chaos bound and the causality sum rule. We use a kind of defect Operator Product Expansion to apply the replica trick to these modular flow computations, and the displacement operator plays an important role. We argue that the proof extends to more general relativistic QFT with an interacting UV fixed point and also prove a higher spin version of the QNEC. Our approach was inspired by the AdS/CFT proof of the QNEC which follows from properties of the Ryu-Takayanagi (RT) surface near the boundary of AdS, combined with the requirement of entanglement wedge nesting. Our methods were, as such, designed as a precise probe of the RT surface close to the boundary of a putative gravitational/stringy dual of any QFT with an interacting UV fixed point.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

A New Proof That the Number of Linear Elastic Symmetries in Two Dimensions Is Four

In this work, we present an elementary and self-contained proof that there are exactly four symmetry classes of the elasticity tensor in two dimensions: oblique, rectangular, square, and isotropic. In two dimensions, orthogonal transformations are either reflections or rotations. The proof is based on identification of constraints imposed by reflections and rotations on the elasticity tensor, and it simply employs elementary tools from trigonometry, making the proof accessible to a broad audience. For completeness, we identify the sets of transformations (rotations and reflections) for each symmetry class and report the corresponding equations of motions in classical linear elasticity.

42 ENGINEERING↗
DOE OSTI2018

Introducing a risk aggregation rationale for mapping risks to aquifers from point- and diffuse-sources–proof-of-concept using contamination data from industrial lagoons

Highlights: • Aquifer risk mapping is introduced for contaminants acting as point/diffuse-sources. • Innovations are framed by risk cells based on Source-Pathway-Receptor-Source (SPRC). • Point-source (Risk Cell 1) and diffuse-source (Risk Cell 2) use sets of algorithms. • Algorithms include MODPATH, DRASTIC, GWPI and are integrated on a modular basis. • Risk Cells 1/2 are aggregated giving fit-for-purpose results as proof-of-concept. - Abstract: Proof-of-concept for a methodology is presented on mapping risks to aquifers impacted from point- and diffuse-sources, where mapping or indexing refers to relative but not absolute values. The methodology is generic but tested by investigating impacts of a risk exposure from industrial wastewater lagoons. The methodology is innovative for using the qualitative Source-Pathways-Receptors-Consequences (SPRC) framework to aggregate risks from both point-sources and diffuse-sources through breaking down a study area into SPRC risk cells. In this paper, two risk cells are required as: (i) Cell 1 is directly impacted from a point-source; and (ii) Cell 2 is impacted by diffuse-sources to slowly contaminate the aquifer by infiltration over a large area. Indexing both types of risk cells generically comprise three tiered processes: (i) binary indexing establishes if a grid cell is at a potential risk or not; (ii) graded indexing measures the strength of the risk pathways from source to receptors; and (iii) local indexing measures intrinsic potentials at the grid cell to propagate the risk. These three processes apply to both point- and diffuse-sources but with different mathematical formulations. The proof-of-concept for the methodology of risk aggregation using the SPRC framework is supported by results of a study area, in which a set of performance metrics are used by comparing with the measurements. The results are found to be fit-for-purpose for serving as proactive management tools and to provide a deeper insight into potential impacts of adverse effects.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2019

Feynman’s proof of the commutativity of the Calogero integrals of motion

During his last year of life Feynman became interested in integrable models. In the course of his study of one dimensional particles with inverse square potentials (the Calogero model) he came up with a field theory-inspired proof of the commutativity of the integrals of motion of the system, which remained unpublished. I present an exact transcript of the proof together with a scan of the first page of Feynman’s original manuscript and some historical background.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Antimicrobial Peptides Can Facilitate Whole Blood Safety from Bacteria: A Proof of Concept

With continuous improvements to blood donor deferrals and the availability of sensitive tests for donation screening for infectious agents, bacterial contamination of whole blood (WB) and blood components stored for transfusion is a rare event. Nonetheless, it still occurs and remains a transfusion-associated risk in terms of septic transfusion reactions (STRs) and transfusion-transmitted bacterial infections with morbidity and mortality outcomes. One of the risk mitigation strategies for bacterial contamination is to implement treatment with currently available proactive pathogen reduction technologies (PRTs) for these transfusion products. Here, as a proof of concept, we tested two recently developed unique cationic antimicrobial peptides (AMPs; D-CONGA and D-CONGA-Q7) for WB safety from bacterial contamination. In this study, WB was inoculated with Escherichia coli and Staphylococcus epidermidis and treated with the two peptides to evaluate their bactericidal efficacy. The results demonstrated that D-CONGA and D-CONGA-Q7 exhibit potent inhibitory activity against the bacteria with a minimal inhibitory concentration (MIC) range of 4–8 and 1–8 μM, respectively, depending on the bacterial species tested. Time-kill kinetics further confirmed that the peptides exhibit bactericidal efficacy at 8 μM by achieving a 5-log 10 reduction (99.999%) of the bacterial load in WB with a time-dependent killing profile. Furthermore, even at 20 μM, the AMPs did not negatively impact hemolysis or hemostatic properties. We have further demonstrated using a cationic exchange resin that the cationic AMPs can be separated and removed from WB after the peptide treatments. During 35-day WB storage at 2–8 °C, 4 μM D-CONGA-Q7 one-time treatment prevented S. epidermidis growth and preserved WB quality and integrity. Overall, the results described here provide the first proof of concept that certain AMPs, such as D-CONGA and D-CONGA-Q7, can facilitate WB safety from bacteria during storage.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2023

Interactive cryptographic proofs of quantumness using mid-circuit measurements

The ability to perform measurements in the middle of a quantum circuit is a powerful resource. It underlies a wide range of applications, from remote state preparation to quantum error correction. Here we apply mid-circuit measurements for a particular task: demonstrating quantum computational advantage. The goal of such a demonstration is for a quantum device to perform a computational task that is infeasible for a classical device with comparable resources. In contrast to existing demonstrations, the distinguishing feature of our approach is that the classical verification process is efficient, both in asymptotic complexity and in practice. Furthermore, the classical hardness of performing the task is based upon well-established cryptographic assumptions. Protocols with these features are known as cryptographic proofs of quantumness. Using a trapped-ion quantum computer, we perform mid-circuit measurements by spatially isolating portions of the ion chain via shuttling. This enables us to implement two interactive cryptographic proofs of quantumness, which when suitably scaled to larger systems, promise the efficient verification of quantum computational advantage. In conclusion, our methods can be applied to a range of interactive quantum protocols.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Additively Manufactured Compliant Hybrid Gas Thrust Bearing for Supercritical Carbon Dioxide Turbomachinery: Design and Proof of Concept Testing

The following paper presents a new type of gas lubricated thrust bearing that utilizes additive manufacturing or also known as direct metal laser melting (DMLM) to fabricate the bearing. The motivation for the new bearing concept is derived from the need for highly efficient supercritical carbon dioxide (sCO2) turbomachinery in the mega-watt power range. The paper provides a review of existing gas thrust-bearing technology, outlines the need for the new DMLM concept, and discusses proof-of-concept testing results. The new concept combines hydrostatic pressurization with individual tilting pads that are flexibly mounted using hermetic squeeze film dampers (HSFD) in the bearing-pad support. This paper describes the thrust-bearing concept and discusses the final design approach. Proof-of-concept testing in air for a 6.8 in. (173 mm) outer diameter thrust gas bearing was performed; with thrust loading, up to 1500 lbs (6.67 kN) and a thrust runner speed of 10krpm (91 m/s tip speed). The experiments were performed with a bent shaft resulting in thrust runner axial vibration magnitudes of 2.9 mils (74 μm) p-p and dynamic thrust loads of 270 lbs (1.2 kN) p-p. In addition, force deflection characteristics and stiffness coefficients of the bearing system are presented for an inlet hydrostatic pressure of 380 psi (2.62 MPa). Results at 10 krpm show that the pad support architecture was able to sustain high levels of dynamic misalignment equaling 6 times the nominal film clearance while demonstrating a unit load-carrying capacity of 55 psi (0.34 Mpa). Gas-film force deflection tests portrayed nonlinear behavior like a hardening spring, while the bearing pad support stiffness was measured to be linear and independent of gas film thickness.

Engineering↗
DOE OSTI2022

Historical review and proof-of-concept future method demonstration of adaptive mesh refinement in nuclear engineering for increased fidelity and computational efficiency

As the nuclear industry's use of computational tool increases, the need for increased fidelity and computational efficiency is well known. While most approaches to increased fidelity rely on applying a fine mesh over the problem domain, a more efficient method is to apply an adaptive mesh refinement (AMR) algorithm to the mesh definition. In the field of nuclear engineering, AMR has previously been used in conjunction with deterministic methods, including: S{sub N} transport methods, Lattice Boltzmann Methods, and COMSOL. The future of AMR in nuclear engineering is to couple it to a Monte Carlo code with the goal of reducing calculation time. A proof-of-concept example yielded positive results for using the gradient of the flux as a refinement criteria. The refinement criteria was varied from 0.01 to 0.10, which yielded a recommended range of 0.01 to 0.04, and the number of refinement iterations was varied from 0 to 7, with diminishing returns seen after 5 iterations. After the success of the proof-of-concept exercise, work began on creating a full program coupling MCNP6.2 and the AMR algorithm in the deal.II library. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2021

Proof that Combining the Forced-collision and DXTRAN Monte Carlo Variance-reduction Techniques is Fair

This report provides mathematical proof that the MCNP DXTRAN (also known in other codes as forced-flight) and forced-collision variance-reduction techniques do not bias the expected value of Monte Carlo simulation estimates when combined. Proof is also provided that the techniques are unbiased when used independently. To prove that the techniques are unbiased, this report derives the first History Score Moment Equation (HSME) for non-multiplying media employing only forced collisions, only DXTRAN, and then both the variance-reduction techniques combined, as defined next. The HSMEs are found by forming the History Score Probability Density Functions (HSPDFs) and then taking the first score moment. Following its derivation, each HSME with a variance-reduction technique employed is reduced to the HSME for an analog simulation. Because the HSME represents the expected contribution to estimators in the simulation, reducing the HSME with variance reduction to the analog HSME shows that the simulation is unbiased despite the variance-reduction technique considered in the HSME. Analysis regarding higher-score moments of each technique is the subject of prior work and is not addressed herein. Throughout this work, the phase space p is defined to be the particle position x, direction-of-flight unit vector $\hat{Ω}$, energy E, and statistical weight w, $$p ≡ (x; \hat{Ω}; E; w).$$ A reduced phase-space excluding the statistical weight of the particle, $$r ≡ (x; \hat{Ω}; E),$$ is also used.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof

The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources with rising dependence on communication infrastructure. A common assumption made for most existing distributed/decentralized controllers is that local controllers would faithfully follow the designated controller dynamics based on the data received from communication channels. However, with increased probability of cyberattacks on Operational Technology infrastructure, such an assumption could be risky because proper execution of the controller dynamics is then built on trust in secure communication and computation. In this work, we leverage a cryptography technology known as zero-knowledge scalable transparent arguments of knowledge (zk-STARK) to verify the computational integrity of power grid control algorithms, with projected linear dynamics-based control schemes as the initial proof-of-concept test case. The method presented here converts the cybersecurity challenge of data integrity for grid control into a subset of computational integrity.

computational integrity↗
DOE OSTI2022

Calibration and Validation of a Mechanistic COVID-19 Model for Translational Quantitative Systems Pharmacology – A Proof-of-Concept Model Development for Remdesivir

With the ongoing global pandemic of coronavirus disease 2019 (COVID-19), there is an urgent need to accelerate the traditional drug development process. Many studies identified potential COVID-19 therapies based on promising nonclinical data. However, the poor translatability from nonclinical to clinical settings has led to failures of many of these drug candidates in the clinical phase. In this study, we propose a mechanism-based, quantitative framework to translate nonclinical findings to clinical outcome. Adopting a modularized approach, this framework includes an in silico disease model for COVID-19 (virus infection and human immune responses) and a pharmacological component for COVID-19 therapies. Here, the disease model was able to reproduce important longitudinal clinical data for patients with mild and severe COVID-19, including viral titer, key immunological cytokines, antibody responses, and time courses of lymphopenia. Using remdesivir as a proof-of-concept example of model development for the pharmacological component, we developed a pharmacological model that describes the conversion of intravenously administered remdesivir as a prodrug to its active metabolite nucleoside triphosphate through intracellular metabolism and connected it to the COVID-19 disease model. After being calibrated with the placebo arm data, our model was independently and quantitatively able to predict the primary endpoint (time to recovery) of the remdesivir clinical study, Adaptive Covid-19 Clinical Trial (ACTT). Our work demonstrates the possibility of quantitatively predicting clinical outcome based on nonclinical data and mechanistic understanding of the disease and provides a modularized framework to aid in candidate drug selection and clinical trial design for COVID-19 therapeutics.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2021

Proof of the universal density of charged states in QFT

We prove a recent conjecture by Harlow and Ooguri concerning a universal formula for the charged density of states in QFT at high energies for global symmetries associated with finite groups. An equivalent statement, based on the entropic order parameter associated with charged operators in the thermofield double state, was proven in a previous article by Casini, Huerta, Pontello, and the present author. Here we describe how the statement about the entropic order parameter arises, and how it gets transformed into the universal density of states. The use of the certainty principle, relating the entropic order and disorder parameters, is crucial for the proof. We remark that although the immediate application of this result concerns charged states, the origin and physics of such density can be understood by looking at the vacuum sector only. We also describe how these arguments lie at the origin of the so-called entropy equipartition in these type of systems, and how they generalize to QFT’s on non-compact manifolds.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

On the completeness of contraction map proof method for holographic entropy inequalities

The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it also necessary? In this note, we answer that question in affirmative for all linear holographic entropy inequalities with rational coefficients. We show that the pre-image of a non-contraction map is not a hypercube, but a proper cubical subgraph, and show that this manifests as alterations to the geodesic structure in the bulk, which leads to the violation of inequalities by holographic geometries obeying the RT formula.

97 MATHEMATICS AND COMPUTING↗