SEARCH · Search NASA

Results for “Proving”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 253 records · Page 14

All sources NASA NTRS DOE OSTI

DOE OSTI2023

Page curves and typical entanglement in linear optics

Bosonic Gaussian states are a special class of quantum states in an infinite dimensional Hilbert space that are relevant to universal continuous-variable quantum computation as well as to near-term quantum sampling tasks such as Gaussian Boson Sampling. In this work, we study entanglement within a set of squeezed modes that have been evolved by a random linear optical unitary. We first derive formulas that are asymptotically exact in the number of modes for the Rényi-2 Page curve (the average Rényi-2 entropy of a subsystem of a pure bosonic Gaussian state) and the corresponding Page correction (the average information of the subsystem) in certain squeezing regimes. We then prove various results on the typicality of entanglement as measured by the Rényi-2 entropy by studying its variance. Using the aforementioned results for the Rényi-2 entropy, we upper and lower bound the von Neumann entropy Page curve and prove certain regimes of entanglement typicality as measured by the von Neumann entropy. Our main proofs make use of a symmetry property obeyed by the average and the variance of the entropy that dramatically simplifies the averaging over unitaries. In this light, we propose future research directions where this symmetry might also be exploited. We conclude by discussing potential applications of our results and their generalizations to Gaussian Boson Sampling and to illuminating the relationship between entanglement and computational complexity.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2023

Avoiding symmetry roadblocks and minimizing the measurement overhead of adaptive variational quantum eigensolvers

Quantum simulation of strongly correlated systems is potentially the most feasible useful application of near-term quantum computers. Minimizing quantum computational resources is crucial to achieving this goal. A promising class of algorithms for this purpose consists of variational quantum eigensolvers (VQEs). Among these, problem-tailored versions such as ADAPT-VQE that build variational ansätze step by step from a predefined operator pool perform particularly well in terms of circuit depths and variational parameter counts. However, this improved performance comes at the expense of an additional measurement overhead compared to standard VQEs. Here, we show that this overhead can be reduced to an amount that grows only linearly with the number n of qubits, instead of quartically as in the original ADAPT-VQE. We do this by proving that operator pools of size 2 n − 2 can represent any state in Hilbert space if chosen appropriately. We prove that this is the minimal size of such "complete" pools, discuss their algebraic properties, and present necessary and sufficient conditions for their completeness that allow us to find such pools efficiently. We further show that, if the simulated problem possesses symmetries, then complete pools can fail to yield convergent results, unless the pool is chosen to obey certain symmetry rules. We demonstrate the performance of such symmetry-adapted complete pools by using them in classical simulations of ADAPT-VQE for several strongly correlated molecules. Our findings are relevant for any VQE that uses an ansatz based on Pauli strings.

Shkolnikov, V. O.↗

DOE OSTI2021

Ripple-Type Control for Enhancing Resilience of Networked Physical Systems

Distributed control agents have been advocated as an effective means for improving the resiliency of our physical infrastructures under unexpected events. Purely local control has been shown to be insufficient, centralized optimal resource allocation approaches can be slow. In this context, we put forth a hybrid low-communication saturation-driven protocol for the coordination of control agents that are distributed over a physical system and are allowed to communicate with peers over a “hotline” communication network. According to this protocol, agents act on local readings unless their control resources have been depleted, in which case they send a beacon for assistance to peer agents. Our ripple-type scheme triggers communication locally only for the agents with saturated resources and it is proved to converge. Moreover, under a monotonicity assumption on the underlying physical law coupling control outputs to inputs, the devised control is proved to converge to a configuration satisfying safe operational constraints. The assumption is shown to hold for voltage control in electric power systems and pressure control in water distribution networks. Numerical tests corroborate the efficacy of the novel scheme.

distributed control↗

DOE OSTI2023

Manhattan Project 1940s research on the prompt fission neutron spectrum

We describe how the prompt fission neutron spectrum (PFNS) was determined for the Manhattan Project at Los Alamos. Early work before World War II at American and British universities is described, together with theoretical work by Feather at Cambridge and Bethe at Los Alamos. As the Manhattan Project was being planned in 1942, two experiments on natural uranium were commissioned that proved to be influential: 1) An integral experiment at Chicago by Christy and Manley that accurately determined the average PFNS spectrum energy, 2.2 ± 0.2 MeV; 2) Bloch and Staub’s Stanford cyclotron measurement of the PFNS spectrum, which obtained an average energy of 1.70 ± 0.34 MeV. These two papers, previously unavailable outside of Los Alamos, are reproduced in the Supplementary Appendix. From these data, at the beginning of the project in 1943 Serber estimated an average 235 U PFNS energy of 2 MeV, and indeed this agrees with today’s best estimate. The challenges facing the scientists involved both the availability of only very small samples of enriched uranium and plutonium targets, and fast neutron detection technologies. During the project, 235 U and 239 Pu PFNS were measured by Nicodemus and Staub. These also proved to be quite accurate and gave an average spectrum energy of 2 MeV for 235 U. [This is not reproduced in the Appendix because it was published after the war in Physical Review 89, 1288 (1953)]. New methods were developed to enable more accurate measurements, and this paper describes how the PFNS was determined surprisingly well by 1945. We end by describing the post-war measurements in the 50s, including the PFNS data used by Ford and Wheeler in their simulations in 1951, the Bonner 1952 data, the seminal 1952 Watt paper with a new empirical parametrization of the PFNS, and the accurate PFNS measurement undertaken at Los Alamos by Cranberg et al. in 1956. We compare the measurements with our best understanding today as embodied in the Evaluated Nuclear Data File ENDF/B-VIII.0. Some images from historical documents in our Los Alamos National Security Research Center (NSRC) archives are shown.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

DOE OSTI2024

Applications of LIF to Document Natural Variability of Chlorophyll Content and Cu Uptake in Moss

Chlorophyll has long been used as a natural indicator of plant health and photosynthetic efficiency. Laser-induced fluorescence (LIF) is an emerging technique for understanding broad spectrum organic processes and has more recently been used to monitor chlorophyll response in plants. Previous work has focused on developing a LIF technique for imaging moss mats to identify metal contamination with the current focus shifting toward application to moss fronds and aiding sample collection for chemical analysis. Two laser systems (CoCoBi a Nd:YGa pulsed laser system and Chl-SL with two blue continuous semiconductor diodes) were used to collect images of moss fronds exposed to increasing levels of Cu (1, 10, and 100 nmol/cm 2 ) using a CMOS camera. The best methods for the preprocessing of images were conducted before the analysis of fluorescence signatures were compared to a control. The Chl-SL system performed better than the CoCoBi, with dynamic time warping (DTW) proving the most effective for image analysis. Manual thresholding to remove lower decimal code values improved the data distributions and proved whether using one or two fronds in an image was more advantageous. A higher DTW difference from the control correlated to lower chlorophyll a/b ratios and a higher metal content, indicating that LIF, with the aid of image processing, can be an effective technique for identifying Cu contamination shortly after an event.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2022

Crosslinked Polyethyleneimine Gel Polymer Interface to Improve Cycling Stability of RFBs

Redox flow batteries are considered a promising technology for grid energy storage. However, capacity decay caused by crossover of active materials is a universal challenge for many flow battery systems, which are based on various chemistries. In this paper, using the vanadium redox flow battery as an example, we demonstrate a new gel polymer interface (GPI) consisting of crosslinked polyethyleneimine with a large amount of amino and carboxylic acid groups introduced between the positive electrode and the membrane. The GPI functions as a key component to prevent vanadium ions from crossing the membrane, thus supporting stable long-term cycling. Cyclic voltammetry (CV) and electrochemical impedance spectroscopy (EIS) measurements were conducted to investigate the effect of GPI on the electrochemical properties of graphitic carbon electrodes (GCFs) and redox reaction of catholyte. X-ray photoelectron spectroscopy (XPS) and 1 H nuclear magnetic resonance (NMR) spectra demonstrated that the crosslinked GPI is chemically stable for 100 cycles without dissolution of polymers and swelling in the strong acidic electrolytes. Results from inductively coupled plasma mass spectrometry (ICP-MS), Fourier-transform infrared (FTIR) spectroscopy, and energy-dispersive X-ray (EDX) spectroscopy proved that the GPI is effective in maintaining the concentration of vanadium species in their respective half-cells, resulting in improved cycling stability because of it prevents active species from crossing the membrane and stabilizes the oxidation states of active species.

Lim, Hyung-Seok↗

DOE OSTI2024

Convexity, Squeezing, and the Elekes-Szabó Theorem

Here, this paper explores the relationship between convexity and sum sets. In particular, we show that elementary number theoretical methods, principally the application of a squeezing principle, can be augmented with the Elekes-Szabó Theorem in order to give new information. Namely, if we let $A \subset \mathbb R$, we prove that there exist $a,a' \in A$ such that\[\left | \frac{(aA+1)^{(2)}(a'A+1)^{(2)}}{(aA+1)^{(2)}(a'A+1)} \right | \gtrsim |A|^{31/12}.\]We are also able to prove that\[\max \{|A+ A-A|, |A^2+A^2-A^2|, |A^3 + A^3 - A^3|\} \gtrsim |A|^{19/12}.\]Both of these bounds are improvements of recent results and takes advantage of computer algebra to tackle some of the computations.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2026

Testing Classical Properties from Quantum Data

Many properties of Boolean functions can be tested far more efficiently than the function itself can be learned. However, this dramatic advantage often disappears when testers are limited to random samples of ƒ instead of adaptively chosen queries to f. In this work we investigate the quantum version of this restriction: quantum algorithms that test properties of a Boolean function f solely from copies of either the function state |ƒ⟩ ∝ ∑ x |x, ƒ(x)⟩ or the phase state |(-1) ƒ ⟩ ∝ ∑ x (-1) ƒ(x) |x⟩. For monotonicity, symmetry, and triangle-freeness, we show passive quantum testers are unboundedly or super-polynomially better than their classical passive testing counterparts. They are competitive with classic query -based testers in each case. Our new testers use techniques beyond quantum Fourier sampling, and it turns out this is necessary: we show a certain class of bent functions can be tested from 𝒪(1) function states but has a sample complexity lower bound of 2 Ω(n) for any tester relying exclusively on Fourier and classical samples. Our passive quantum testers are competitive with classical query -based testers, but this isn't universal: we exhibit a testing problem that can be solved from 𝒪(1) classical queries but requires Ω(2 n/2 ) function state copies. The Forrelation problem provides a separation of the same magnitude in the opposite direction, so we conclude that quantum data and classical queries are "maximally incomparable" resources for testing. We also begin the study of lower bounds for testing from quantum data. For quantum monotonicity testing, we prove that the ensembles of [Goldreich et al., 2000; Black, 2024], which give exponential lower bounds for classical sample-based testing, do not yield any nontrivial lower bounds for testing from quantum data. New insights specific to quantum data will be required for proving copy complexity lower bounds for testing in this model.

Boolean Functions↗

NASA NTRS1970

Laboratory verification respiratory measurements. IMBLMS phase B.4, appendix C, section 13

The B-4 IMBLMS preliminary design of the respiratory measurement element includes certain techniques and apparatus which are quite different from those included in the B-3 version previously delivered to NASA-MSC. A working model was constructed in the laboratory to prove the feasibility of certain key features. The most critical of these is the capability of switching sample gases into the mass spectrometer from two different sources during a single breath cycle. Results proved the feasibility of all of the concepts which were tested, and certain refinements and improvements were included, as well.

Source record↗

NASA NTRS1972

An ERTS multispectral scanner experiment for mapping iron compounds

There are no author-identified significant results in this report. An experimental plan for enhancing spectral features related to the chemical composition of geological targets in ERTS multispectral scanner data is described. The experiment is designed to produce visible-reflective infrared ratio images from ERTS-1 data. Iron compounds are promising remote sensing targets because they display prominent spectral features in the visible-reflective infrared wavelength region and are geologically significant. The region selected for this ERTS experiment is the southern end of the Wind River Range in Wyoming. If this method proves successful it should prove useful for regional geologic mapping, mineralogical exploration, and soil mapping. It may also be helpful to ERTS users in scientific disciplines other than geology, especially to those concerned with targets composed of mixtures of live vegetation and soil or rock.

Vincent, R. K.↗

NASA NTRS1972

A comparison of open and closed loop applications of the minimum distance guidance technique

A comparison is made of open and closed loop applications of a second order guidance algorithm, using the minimum distance strategy. A nonlinear reoptimization procedure is used as the ideal guidance history. The system model used for the comparison is a low-thrust vehicle performing a minimum time, three-dimensional, heliocentric Earth-Mars transfer. For the example problem considered, closed loop guidance proves to be much more accurate on satisfaction of the final state than the open loop procedure. On the other hand, closed loop guidance proves to be much more vulnerable to perturbation by highly nonlinear regions in the trajectory. Finally, the results indicate that for this problem the best loop closure interval is at each integration step, about one day, or more often, if possible.

Lattimore, J. P., Jr.↗

NASA NTRS1973

Structural and lithologic study of northern coast ranges and Sacramento Valley, California

The author has identified the following significant results. Analysis of ERTS-1 imagery of the Northern California Coast Ranges has disclosed a potential relation between a heretofore unrecognized fracture system and known deposits of mercury and geothermally active areas in the Coast Range and between oil and gas fields in the Sacramento Valley. Three potentially important systems of linear elements within the Coast Ranges, detected on ERTS-1 imagery, may represent fault systems or zones of shearing because topographic offset and stratigraph disruption can be seen along one or two of the lineations. One of the systems in subparallel to the San Andreas fault and is confined to the Pacific Coastal Belt. Another set is confined to the central core of the Coast Ranges. The third set of linear features (Valley System) has not heretofore been recognized. Some of the known mercury deposits and geothermally active areas near Clear Lake, in the Coast Ranges, are along the Valley System or at the intersection of the Central and Valley Systems. The plotted locations of some of the oil and gas fields in the Sacramento Valley are associated with the Valley and/or Central Systems. If these relations prove reliable, the ERTS-1 imagery may prove to be an extremely useful exploration tool.

Rich, E. I.↗

NASA NTRS1973

Application of remote sensing in the study of vegetation and soils in Idaho

The author has identified the following significant results. Comparison of ERTS-1 imagery and USGS 1:250,000 scale maps of study areas with known ground points revealed significant map errors. These errors were sufficient to render impractical the projection of ERTS-1 imagery directly onto maps of the area. Marked differences were found in the delineation of ground features by different MSS bands. Generally, Band 4 was least useful, while Band 5 proved valuable for indicating patterns of native vegetation, cultivated areas - both dry and irrigated, lava fields, drainage basins, and deep bodies of water. Band 6 was better for landforms and drainages and for shallow bodies of water than Band 5 but inferior for indicating patterns in native vegetation and most types of cultivated land. Band 7 was best of all for indicating lava flows, water bodies, and landform features. Use of a additive color viewer-projector aided greatly in separation of images. A combination of Bands 5 and 7 with appropriate color filters proved best for separating most types of native vegetation and cultivated crops. Landform features and water bodies also showed well with this combination. The addition of Band 4 imagery to these further enhanced the identification of semi-dormant vegetation.

Tisdale, E. W.↗

NASA NTRS1973

Development of a hybrid microelectronics solid state relay for 2500 volts isolation and minus 120 C to 80 C thermal cycling range

A hybrid microelectronics solid state relay was developed in a TO-116 package for the MINX project. The relay provides 2500 Vdc input to output isolation and operated from a MHTL logic signal to switch a load of 400 Vdc at 2 mA. The relay is designed to operate in space and survive 1000 thermal cycles of 120 C to 80 C. The use of X-rays for failure analysis in small hybrid circuits proved valuable and the applications of vacuum deposited Parylene as a dielectric coating proved extremely valuable.

Sater, B. L.↗

NASA NTRS1973

Mapping of the major structures of the African rift system

The author has identified the following significant results. ERTS-1 imagery of the African rift system has already proved of great value in structural geological studies. One of the interesting megastructures expressed on the imagery occurs some 40 km east of the eastern margin of the main Ethiopian rift, in Arussi province, and extending between latitude 71/2 and 81/4 deg N. The Badda-Encuolo ridge proves to have been a line of major Tertiary volcanism and probably supplied the thick Trap Series flood basalt sequence exposed farther east in the canyons of the Webi Shebeli drainage system. The ridge itself was built up by the waning activity of the Sagatu line of volcanism. Serendipitious has been the discovery on Mt. Badda of several deeply glaciated valleys, many of which show clearly on the ERTS-1 imagery. It seems that Mt. Badda was one of the most important glacial centers in eastern Africa during the Pleistocene. Three major late-Tertiary trachytic centers lie between the Badda-Encuolo ridge and the rift valley. The relationships of these three volcanoes to each other and to the rift faulting is revealed for the first time by the ERTS-1 imagery, as is the form of the cladera of Baltata and the crater of Chilalo.

Mohr, P. A.↗

NASA NTRS1973

Research in mathematical theory of computation

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.

Mccarthy, J.↗

NASA NTRS1974

Topics in structural dynamics: Nonlinear unsteady transonic flows and Monte Carlo methods in acoustics

The results are reported of two unrelated studies. The first was an investigation of the formulation of the equations for non-uniform unsteady flows, by perturbation of an irrotational flow to obtain the linear Green's equation. The resulting integral equation was found to contain a kernel which could be expressed as the solution of the adjoint flow equation, a linear equation for small perturbations, but with non-constant coefficients determined by the steady flow conditions. It is believed that the non-uniform flow effects may prove important in transonic flutter, and that in such cases, the use of doublet type solutions of the wave equation would then prove to be erroneous. The second task covered an initial investigation into the use of the Monte Carlo method for solution of acoustical field problems. Computed results are given for a rectangular room problem, and for a problem involving a circular duct with a source located at the closed end.

Haviland, J. K.↗

NASA NTRS1974

Application of ultrasonic signature analysis for fatigue detection in complex structures

Ultrasonic signature analysis shows promise of being a singularly well-suited method for detecting fatigue in structures as complex as aircraft. The method employs instrumentation centered about a Fourier analyzer system, which features analog-to-digital conversion, digital data processing, and digital display of cross-correlation functions and cross-spectra. These features are essential to the analysis of ultrasonic signatures according to the procedure described here. In order to establish the feasibility of the method, the initial experiments were confined to simple plates with simulated and fatigue-induced defects respectively. In the first test the signature proved sensitive to the size of a small hole drilled into the plate. In the second test, performed on a series of fatigue-loaded plates, the signature proved capable of indicating both the initial appearance and subsequent growth of a fatigue crack. In view of these encouraging results it is concluded that the method has reached a sufficiently advanced stage of development to warrant application to small-scale structures or even actual aircraft.

Zuckerwar, A. J.↗