Search NASA⌕ Search

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.

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

At least 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Double Perovskite Interlayer Stabilized Highly Efficient Perovskite Solar Cells

Metal halide perovskite solar cell (PSC) technology has an impressive power conversion efficiency (PCE) exceeding 26.1% and demonstrates cost-effective manufacturing. However, the stability of these PSCs poses a significant challenge, hindering their widespread manufacturing and commercialization. To tackle the degradation issue inherent in PSCs, surface passivation techniques, particularly employing a thin layer of two-dimensional (2D) perovskites, create a 2D/3D heterostructure. Beyond this, the exploration of metal halide double perovskites adds a new dimension to the chemical and band gap phase space of materials for optoelectronic applications. In this study, we leverage a wide band gap double perovskite interlayer to enhance the stability of 3D metal halide perovskite. Specifically, the double perovskite nanoparticle Cs 2 AgBiBr 6 , with its substantial band gap of 2.2 eV and exceptional air stability, is utilized. Through optimization, a Cs 2 AgBiBr 6 -treated PSC achieves an open-circuit voltage of 1.12 V and an impressive PCE of 19.52%. Additionally, the Cs 2 AgBiBr 6 passivation layer proves to be effective in bolstering the stability of PSCs. This work demonstrates an additional strategy and design motif to simultaneously increase the PCE of PSCs along with achieving improved stability.

14 SOLAR ENERGY↗
DOE OSTI2021

Robust Solid/Electrolyte Interphase (SEI) formation on Si Anodes Using Glyme-based Electrolytes

Silicon (Si) is the most naturally abundant element possessing 10-fold theoretical capacity than graphitebased anodes. The practicality of implementing Si anodes is, however limited by the unstable solidelectrolyte interphase (SEI) and anode fracturing during continuous lithiation/delithiation. We demonstrate that glyme-based electrolytes (GlyEls) assure a conformal SEI on Si and keep the Si ‘fracture-free’. Benchmarking against the optimal, commonly-used carbonate electrolyte with the fluoroethylene carbonate (FEC) additive, Si anode cycled in a GlyEl exhibits reduced early parasitic current (by 62.5%) and interfacial resistance (by 72.8%), while the cell capacity retention is promoted by >7% over a course of 110 cycles. The mechanistic investigation by X-ray photoelectron spectroscopy (XPS) and energy-dispersive X-ray spectroscopy (EDX) indicates GlyEl enriches Si SEI with elastic polyether but diminishes its carbonate species. Glyme-based electrolytes prove viable in stabilizing the SEI on silicon for future high energy density lithium-ion batteries.

Yang, Guang↗
DOE OSTI2021

Noise-induced barren plateaus in variational quantum algorithms

Abstract Variational Quantum Algorithms (VQAs) may be a path to quantum advantage on Noisy Intermediate-Scale Quantum (NISQ) computers. A natural question is whether noise on NISQ devices places fundamental limitations on VQA performance. We rigorously prove a serious limitation for noisy VQAs, in that the noise causes the training landscape to have a barren plateau (i.e., vanishing gradient). Specifically, for the local Pauli noise considered, we prove that the gradient vanishes exponentially in the number of qubits n if the depth of the ansatz grows linearly with n . These noise-induced barren plateaus (NIBPs) are conceptually different from noise-free barren plateaus, which are linked to random parameter initialization. Our result is formulated for a generic ansatz that includes as special cases the Quantum Alternating Operator Ansatz and the Unitary Coupled Cluster Ansatz, among others. For the former, our numerical heuristics demonstrate the NIBP phenomenon for a realistic hardware noise model.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

The complexity of NISQ

Abstract The recent proliferation of NISQ devices has made it imperative to understand their power. In this work, we define and study the complexity class , which encapsulates problems that can be efficiently solved by a classical computer with access to noisy quantum circuits. We establish super-polynomial separations in the complexity among classical computation, , and fault-tolerant quantum computation to solve some problems based on modifications of Simon’s problems. We then consider the power of for three well-studied problems. For unstructured search, we prove that cannot achieve a Grover-like quadratic speedup over classical computers. For the Bernstein-Vazirani problem, we show that only needs a number of queries logarithmic in what is required for classical computers. Finally, for a quantum state learning problem, we prove that is exponentially weaker than classical computers with access to noiseless constant-depth quantum circuits.

42 ENGINEERING↗
DOE OSTI2025

Noisy quantum trees: infinite protection without correction

We study quantum networks with tree structures, in which information propagates from a root to leaves. At each node in the network, the received qubit unitarily interacts with fresh ancilla qubits, after which each qubit is sent through a noisy channel to a different node in the next level. Therefore, as the tree depth grows, there is a competition between the irreversible effect of noise and the protection against such noise achieved by the delocalization of information. In the classical setting, where each node simply copies the input bit into multiple output bits, this model has been studied as the broadcasting or reconstruction problem on trees, which has broad applications. In this work, we study the quantum version of this problem. We consider a Clifford encoder at each node that encodes the input qubit in a stabilizer code, along with a single qubit Pauli noise channel at each edge. Such noisy quantum trees describe a scenario in which one has access to a stream of fresh (low-entropy) ancilla qubits, but cannot perform error correction. Therefore, they provide a different perspective on quantum fault tolerance. Furthermore, they provide a useful model for describing the effect of noise within the encoders of concatenated codes. We prove that above certain noise thresholds, which depend on the properties of the code such as its distance, as well as the properties of the encoder, information decays exponentially with the depth of the tree. On the other hand, by studying certain efficient decoders, we prove that for codes with distance d ≥ 2 and for sufficiently small (but non-zero) noise, classical information and entanglement propagate over a noisy tree with infinite depth. Indeed, we find that this remains true even for binary trees with certain 2-qubit encoders at each node, which encodes the received qubit in the binary repetition code with distance d = 1.

Quantum information↗
DOE OSTI2025

Aluminosilicate-mediated C(sp 2 )–H alkylation of furans using allylic alcohols

Alkyl furans have a variety of applications and therefore numerous approaches exist for their synthesis. While these methods can be effective, there are various drawbacks largely associated with the waste generated. Herein we report a novel method for the direct coupling of readily available furans with allylic alcohols. These include terpenoid alcohols such as geraniol and prenol, which are readily available from renewable, bio-derived feedstocks. Furthermore, the reaction is facilitated using aluminosilicates, including zeolites. It was found that Y-type zeolites were highly effective at mediating the coupling with furan, giving the 2-alkylated furan high yields. While various allylic alcohols were effective for this reaction, the identity of the furan proved to have a drastic impact on reactivity. For substituted furans, the reaction proved most effective with an amorphous aluminosilicate and calculations later revealed potential key factors in further developing and generalizing this methodology.

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

Quantification of MagLIF morphology using the Mallat scattering transformation

The morphology of the stagnated plasma resulting from magnetized liner inertial fusion is measured by imaging the self-emission x rays coming from the multi-keV plasma. Equivalent diagnostic responses can be generated by integrated radiation-magnetohydrodynamic (rad-MHD) simulations from programs such as HYDRA and GORGON. There have been only limited quantitative ways to compare the image morphology, that is the texture, of simulations and experiments. We have developed a metric of image morphology based on the Mallat scattering transformation (MST), a transformation that has proved to be effective at distinguishing textures, sounds, and written characters. This metric is designed, demonstrated, and refined by classifying ensembles (i.e., classes) of synthetic stagnation images and by regressing an ensemble of synthetic stagnation images to the morphology (i.e., model) parameters used to generate the synthetic images. We use this metric to quantitatively compare simulations to experimental images, experimental images to each other, and to estimate the morphological parameters of the experimental images with uncertainty. This coordinate space has proved to be very adept at doing a sophisticated relative background subtraction in the MST space. This was needed to compare the experimental self-emission images to the rad-MHD simulation images.

Glinsky, Michael E. (ORCID:0000000324933326)↗
DOE OSTI2021

Load dynamics of double planar foil liners and double planar wire arrays on the UM MAIZE LTD generator

In previous studies using the University of Nevada, Reno's (UNR's) high-impedance Zebra Marx generator (1.9 Ω, 1.7 MA, 100 ns), Double Planar Wire Arrays (DPWAs) proved to be excellent radiators, and Double Planar Foil Liners (DPFLs) proved useful for future inertial confinement fusion applications. This article presents the results of joint UNR/UM (University of Michigan) experiments with aluminum (Al) DPWAs, Al DPFLs, and tungsten (W) DPWAs using UM's Michigan Accelerator for Inductive Z-Pinch Experiments (MAIZE) generator, a low-impedance Linear Transformer Driver (LTD) (0.1 Ω, 0.5–1 MA, and 100–250 ns). The main goals of this study were twofold: the first was a pioneering effort to test whether a relatively heavy Al DPFL could successfully be imploded on a low-impedance university-scale LTD like the MAIZE generator, and, if so, to analyze the results and make comparisons to the optimized, lighter DPWA configurations that have been previously studied. The DPWAs consisted of two planes of micrometer-scale diameter Al or W wires, while the DPFLs consisted of two planes of micrometer-scale thickness Al foils. Diagnostics include filtered Si-diodes, an absolutely calibrated filtered PCD, x-ray pinhole cameras, spectrometers, and gated optical self-emission imaging. The implosion dynamics and radiative properties of Al DPWAs and DPFLs and W DPWAs on the MAIZE LTD are discussed and compared. Time-dependent load inductance calculations derived from measurements of the load current and a MAIZE circuit model provide a relative measurement of pinch strength. In experiments on MAIZE, W planar wire arrays exhibited a higher peak load inductance throughout the pinch than Al DPWAs and DPFLs, while x-ray pulses from Al DPFLs had the longest emission duration.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2021

Normal stability of slow manifolds in nearly periodic Hamiltonian systems

Kruskal [J. Math. Phys. 3, 806 (1962)] showed that each nearly periodic dynamical system admits a formal U(1) symmetry, generated by the so-called roto-rate. We prove that such systems also admit nearly invariant manifolds of each order, near which rapid oscillations are suppressed. We study the nonlinear normal stability of these slow manifolds for nearly periodic Hamiltonian systems on barely symplectic manifolds—manifolds equipped with closed, non-degenerate 2-forms that may be degenerate to leading order. In particular, we establish a sufficient condition for long-term normal stability based on second derivatives of the well-known adiabatic invariant. We use these results to investigate the problem of embedding guiding center dynamics of a magnetized charged particle as a slow manifold in a nearly periodic system. Here, we prove that one previous embedding and two new embeddings enjoy long-term normal stability and thereby strengthen the theoretical justification for these models.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

BCFW tilings and cluster adjacency for the amplituhedron

In 2005, Britto, Cachazo, Feng, and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N = 4 super Yang–Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a “triangulation” or “tiling” of the m=4 amplituhedron. In this article, we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr4,n. Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

On unifying randomized methods for inverse problems

This work unifies the analysis of various randomized methods for solving linear and nonlinear inverse problems with Gaussian priors by framing the problem in a stochastic optimization setting. By doing so, we show that many randomized methods are variants of a sample average approximation (SAA). More importantly, we are able to prove a single theoretical result that guarantees the asymptotic convergence for a variety of randomized methods. Additionally, viewing randomized methods as an SAA enables us to prove, for the first time, a single non-asymptotic error result that holds for randomized methods under consideration. Another important consequence of our unified framework is that it allows us to discover new randomization methods. Here, we present various numerical results for linear, nonlinear, algebraic, and PDE-constrained inverse problems that verify the theoretical convergence results and provide a discussion on the apparently different convergence rates and the behavior for various randomized methods.

42 ENGINEERING↗
DOE OSTI2020

Design and performance of the first IceAct demonstrator at the South Pole

Here in this paper we describe the first results of IceAct, a compact imaging air-Cherenkov telescope operating in coincidence with the IceCube Neutrino Observatory (IceCube) at the geographic South Pole. An array of IceAct telescopes (referred to as the IceAct project) is under consideration as part of the IceCube-Gen2 extension to IceCube. Surface detectors in general will be a powerful tool in IceCube-Gen2 for distinguishing astrophysical neutrinos from the dominant backgrounds of cosmic-ray induced atmospheric muons and neutrinos: the IceTop array is already in place as part of IceCube, but has a high energy threshold. Although the duty cycle will be lower for the IceAct telescopes than the present IceTop tanks, the IceAct telescopes may prove to be more effective at lowering the detection threshold for air showers. Additionally, small imaging air-Cherenkov telescopes in combination with IceTop, the deep IceCube detector or other future detector systems might improve measurements of the composition of the cosmic ray energy spectrum. In this paper we present measurements of a first 7-pixel imaging air Cherenkov telescope demonstrator, proving the capability of this technology to measure air showers at the South Pole in coincidence with IceTop and the deep IceCube detector.

47 OTHER INSTRUMENTATION↗
DOE OSTI2022

Xenon doping of liquid argon in ProtoDUNE single phase

The Deep Underground Neutrino Experiment (DUNE) will be the next generation long-baseline neutrino experiment. The far detector is designed as a complex of four LAr-TPC (Liquid Argon Time Projection Chamber) modules with 17 kt of liquid argon each. The development and validation of the first far detector technology is pursued through ProtoDUNE Single Phase (ProtoDUNE-SP), a 770 t LAr-TPC at CERN Neutrino Platform. Crucial in DUNE is the photon detection system that will ensure the trigger of non-beam events — proton decay, supernova neutrino burst and BSM searches — and will improve the timing and calorimetry for neutrino beam events. Doping liquid argon with xenon is a known technique to shift the light emitted by argon (128 nm) to a longer wavelength (178 nm) to ease its detection. The largest xenon doping test ever performed in a LAr-TPC was carried out in ProtoDUNE-SP. From February to May 2020, a gradually increasing amount of xenon was injected to also compensate for the light loss due to air contamination. The response of such a large TPC has been studied using the ProtoDUNE-SP Photon Detection System (PDS) and a dedicated setup installed before the run. With the first it was possible to study the light collection efficiency with respect to the track position, while with the second it was possible to distinguish the xenon light (178 nm) from the LAr light (128 nm). The light shifting mechanism proved to be highly efficient even at small xenon concentrations (<20 ppm in mass) furthermore it allowed recovering the light quenched by pollutants. The light collection improved far from the detection plane, enhancing the photon detector response uniformity along the drift direction and confirming a longer Rayleigh scattering length for 178 nm photons, with respect to 128 nm ones. The charge collection by the TPC was monitored proving that xenon up to 20 ppm does not impact its performance.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2022

Signal formation and sharing in AC-LGADs using the ALTIROC 0 front-end chip

The development of detectors that provide high resolution in four dimensions has attracted wide-spread interest in the scientific community for applications in high-energy physics, nuclear physics, medical imaging, mass spectroscopy as well as quantum information. However, finding a technology capable of fulfilling such aspiration proved to be an arduous task. Among other silicon-based candidates, the Low-Gain Avalanche Diode (LGAD) has already shown excellent timing performances but proved to be unsuitable for fine pixelization. Therefore, the AC-coupled LGAD (AC-LGAD) approach was introduced to provide high resolution in both time and space, making it a promising candidate for future 4D detectors. However, appropriate readout electronics must be developed to match the sensor's fast-time and fine-pitch capabilities. This is currently a major technological challenge. Here, we test AC-LGAD prototypes read out by the fast-time ASIC ALTIROC 0, originally developed for the readout of DC-coupled LGADs for the ATLAS experiment at the High Luminosity-LHC. Signal generated by either betas from a 90 Sr source or a focused infra-red laser were analyzed. This paper details the first successful readout of an AC-LGAD sensor using a readout chip. This result will pave the way for the design and construction of a new generation of AC-LGAD-based 4D detectors.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2024

Effective rationality for local unitary invariants of mixed states of two qubits

Abstract We calculate the field of rational local unitary invariants for mixed states of two qubits, by employing methods from algebraic geometry. We prove that this field is rational (i.e. purely transcendental), and that it is generated by nine algebraically independent polynomial invariants. We do so by constructing a relative section, in the sense of invariant theory, whose Weyl group is a finite abelian group. From this construction, we are able to give explicit expressions for the generating invariants in terms of the Bloch matrix representation of mixed states of two qubits. We also prove similar rationality results for the local unitary invariants of symmetrically mixed states of two qubits. We also provide a sketch of how to generalize our results to the case of an arbitrary number of qubits. Our results apply to both complex-valued and real-valued invariants.

Physics↗
DOE OSTI2023

The 𝑚=2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers

The hypersimplex Δ <#comment/> k + 1 , n \Delta _{k+1,n} is the image of the positive Grassmannian G r k + 1 , n ≥ <#comment/> 0 Gr^{\geq 0}_{k+1,n} under the moment map. It is a polytope of dimension n − <#comment/> 1 n-1 in R n \mathbb {R}^n . Meanwhile, the amplituhedron A n , k , 2 ( Z ) \mathcal {A}_{n,k,2}(Z) is the projection of the positive Grassmannian G r k , n ≥ <#comment/> 0 Gr^{\geq 0}_{k,n} into the Grassmannian G r k , k + 2 Gr_{k,k+2} under a map Z ~ <#comment/> \tilde {Z} induced by a positive matrix Z ∈ <#comment/> M a t n , k + 2 > 0 Z\in Mat_{n,k+2}^{>0} . Introduced in the context of scattering amplitudes , it is not a polytope, and has full dimension 2 k 2k inside G r k , k + 2 Gr_{k,k+2} . Nevertheless, there seem to be remarkable connections between these two objects via T-duality , as conjectured by Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]. In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting out positroid polytopes —images of positroid cells of G r k + 1 , n ≥ <#comment/> 0 Gr^{\geq 0}_{k+1,n} under the moment map—translate into sign conditions characterizing the T-dual Grasstopes —images of positroid cells of G r k , n ≥ <#comment/> 0 Gr^{\geq 0}_{k,n} under Z ~ <#comment/> \tilde {Z} . Moreover, we subdivide the amplituhedron into chambers , just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We use these properties to prove the main conjecture of Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]: a collection of positroid polytopes is a tiling of the hypersimplex if and only if the collection of T-dual Grasstopes is a tiling of the amplituhedron A n , k , 2 ( Z ) \mathcal {A}_{n,k,2}(Z) for all Z Z . Moreover, we prove Arkani-Hamed–Thomas–Trnka’s conjectural sign-flip characterization of A n , k , 2 \mathcal {A}_{n,k,2} , and Łukowski–Parisi–Spradlin–Volovich’s conjectures on m = 2 m=2 cluster adjacency and on positroid tiles for A n , k , 2 \mathcal {A}_{n,k,2} (images of 2 k 2k -dimensional positroid cells which map injectively into A n , k , 2 \mathcal {A}_{n,k,2} ). Finally, we introduce new cluster structures in the amplituhedron.

Parisi, Matteo↗
DOE OSTI2021

Quartet-based inference is statistically consistent under the unified duplication-loss-coalescence model

Abstract Motivation The classic multispecies coalescent (MSC) model provides the means for theoretical justification of incomplete lineage sorting-aware species tree inference methods. This has motivated an extensive body of work on phylogenetic methods that are statistically consistent under MSC. One such particularly popular method is ASTRAL, a quartet-based species tree inference method. Novel studies suggest that ASTRAL also performs well when given multi-locus gene trees in simulation studies. Further, Legried et al. recently demonstrated that ASTRAL is statistically consistent under the gene duplication and loss model (GDL). GDL is prevalent in evolutionary histories and is the first core process in the powerful duplication-loss-coalescence evolutionary model (DLCoal) by Rasmussen and Kellis. Results In this work, we prove that ASTRAL is statistically consistent under the general DLCoal model. Therefore, our result supports the empirical evidence from the simulation-based studies. More broadly, we prove that the quartet-based inference approach is statistically consistent under DLCoal. Supplementary information Supplementary data are available at Bioinformatics online.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2020

Kinetic and substrate complex characterization of RamA, a corrinoid protein reductive activase from Methanosarcina barkeri

ABSTRACT In microbial corrinoid-dependent methyltransferase systems, adventitious Co(I)-corrinoid oxidation halts catalysis and necessitates repair by ATP-dependent reductive activases. RamA, an activase with a C-terminal ferredoxin domain with two [4Fe-4S] clusters from methanogenic archaea, has been far less studied than the bacterial activases bearing an N-terminal ferredoxin domain with one [2Fe-2S] cluster. These differences suggest RamA might prove to have other distinctive characteristics. Here, we examine RamA kinetics and the stoichiometry of the corrinoid protein:RamA complex. Like bacterial activases, K+ stimulates RamA. Potassium stimulation had been questioned due to differences in the primary structure of bacterial and methanogen activases. Unlike one bacterial activase, ATP is not inhibitory allowing the first determination of apparent kinetic parameters for any corrinoid activase. Unlike bacterial activases, a single RamA monomer complexes a single corrinoid protein monomer. Alanine replacement of a RamA serine residue corresponding to the serine of one bacterial activase which ligates the corrinoid cobalt during complex formation led to only moderate changes in the kinetics of RamA. These results reveal new differences in the two types of corrinoid activases, and provide direct evidence for the proposal that corrinoid activases act as catalytic monomers, unlike other enzymes that couple ATP hydrolysis to difficult reductions.

Microbiology↗