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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Electron–phonon interaction in Kondo lattice systems

Highlights: • Rigorous study of ground state properties of the Kondo lattice model with an electron–phonon. • The ground state is proved to be unique. • The total spin of the ground state is determined according to the lattice structure. • Novel applications of order preserving operator inequalities. We study ground state properties of the Kondo lattice model with an electron–phonon interaction. The ground state is proved to be unique; in addition, the total spin of the ground state is determined according to the lattice structure. To prove the assertions, an extension of the method of spin reflection positivity is given in terms of order preserving operator inequalities.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Projector-Based Quantum Embedding for Molecular Systems: An Investigation of Three Partitioning Approaches

Projector-based embedding is a relatively recent addition to the collection of methods that seek to utilize chemical locality to provide improved computational efficiency. This work considers the interactions between the different proposed procedures for this method and their effects on the accuracy of the results. The interplay between the embedded background, projector type, partitioning scheme, and level of atomic orbital (AO) truncation are investigated on a selection of reactions from the literature. The Huzinaga projection approach proves to be more reliable than the level-shift projection when paired with other procedural options. Active subsystem partitioning from the subsystem projected AO decomposition (SPADE) procedure proves slightly better than the combination of Pipek-Mezey localization and Mulliken population screening (PMM). Along with these two options, a new partitioning criteria is proposed based on subsystem von Neumann entropy and the related subsystem orbital occupancy. This new method overlaps with the previous PMM method, but the screening process is computationally simpler. Finally, AO truncation proves to be a robust option for the tested systems when paired with the Huzinaga projection, with satisfactory results being acquired at even the most severe truncation level.

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

A solid electrolyte interphase to protect the sulfurized polyacrylonitrile (SPAN) composite for Li–S batteries: computational approach addressing the electrolyte/SPAN interfacial reactivity

This study addresses the reactivity of multiple solvents and lithium bis(fluorosulfonyl)imide (LiFSI) at the interface with sulfurized polyacrylonitrile (SPAN) in multiple stages of lithiation via ab initio molecular dynamics simulations. Here, both ether 1,3-dioxolane (DOL) and dimethyl carbonate (DMC) proved stable on the lithiated SPAN surface regardless of the lithium content, meaning that neither of these species likely contributes to growing a solid electrolyte interphase (SEI) coating to protect the SPAN composite. Conversely, cyclic carbonates, ethylene carbonate (EC) and fluoroethylene carbonate (FEC) are shown to be very active. The EC reduction occurs only on a highly lithiated surface with a 3.0 Li/S molar ratio, the equivalent of the SPAN composite in an over-discharge regime with voltages close to 0.0 V vs. Li/Li + . The FEC reduction starts with a 2.0 Li/S molar ratio and above, suggesting that FEC could act as a useful additive in electrolyte formulations with EC. Both EC and FEC follow multiple reduction mechanisms to produce complex reduction products and LiF in the FEC case. We provide a mechanistic description for each detected decomposition path. The LiFSI salt also proves reactive against the lithiated SPAN surface. The FSI – defluorination is the dominant reduction path. However, the SO 2 NSO 2 F – and SO 2 NSO 2 2– species proved stable against S–N cleavage. This behavior makes the LiFSI salt a potential candidate for SPAN-based Li–S batteries because it produces LiF without releasing SO 2 .

25 ENERGY STORAGE↗
DOE OSTI2021

Asymptotic reversibility of thermal operations for interacting quantum spin systems via generalized quantum Stein’s lemma

Abstract For quantum spin systems in any spatial dimension with a local, translation-invariant Hamiltonian, we prove that asymptotic state convertibility from a quantum state to another one by a thermodynamically feasible class of quantum dynamics, called thermal operations, is completely characterized by the Kullback–Leibler (KL) divergence rate, if the state is translation-invariant and spatially ergodic. Our proof consists of two parts and is phrased in terms of a branch of the quantum information theory called the resource theory. First, we prove that any states, for which the min and max Rényi divergences collapse approximately to a single value, can be approximately reversibly converted into one another by thermal operations with the aid of a small source of quantum coherence. Second, we prove that these divergences collapse asymptotically to the KL divergence rate for any translation-invariant ergodic state. We show this via a generalization of the quantum Stein’s lemma for quantum hypothesis testing beyond independent and identically distributed situations. Our result implies that the KL divergence rate serves as a thermodynamic potential that provides a complete characterization of thermodynamic convertibility of ergodic states of quantum many-body systems in the thermodynamic limit, including out-of-equilibrium and fully quantum situations.

Physics↗
DOE OSTI2024

Multi-pronged approach to improving carbon utilization by cyanobacterial cultures

The goal of this project was to increase the efficiency of carbon utilization by a Synechocystis biofuel production strain in a photobioreactor system by at least 50% using a multi-pronged approach that combined the best features of both biological and physicochemical CO 2 capture technologies to: 1) increase rates and extent of CO 2 absorption into the culture medium by addition of biocompatible amine solvents and a nanobubble gas delivery system, and 2) increase cellular rates of inorganic carbon uptake and carbon fixation through genetic engineering. In addition, the project plan included evaluating the use of fermentation effluent gases as a CO 2 source and demonstrating performance under outdoor conditions in closed-pond photobioreactor systems. These combined efforts would be guided by integrated technoeconomic and life-cycle analyses. Both physicochemical CO 2 capture technologies explored proved to be successful. The amine solvent monoethanolamine (MEA) was found to be biocompatible with a Synechocystis laurate production strain. Using an adaptive evolution strategy, an MEA-tolerant laurate production strain was developed that showed significantly increased carbon utilization over the parent strain. To our knowledge this was the first time nanobubble (NB) technology had been used as a carbon delivery system for algae production and it also proved quite successful as a proof of concept. Solutions containing CO 2 nanobubbles (Nano-BG11) at concentrations significantly higher than the aqueous CO 2 concentrations achieved with gas sparging were successfully generated and characterized with regard to bubble size (nm), concentration (NB/L), and pH stability as per project plan. Growth studies proved challenging. However, once the source of a puzzling growth defect was found and remedied Synechocystis was able to grow somewhat better in Nano-BG11 than in standard BG11 medium.

09 BIOMASS FUELS↗
DOE OSTI2021

Modeling the TetraSpar Floating Offshore Wind Turbine Foundation as a Flexible Structure in OrcaFlex and OpenFAST

Floating offshore wind turbine technology has seen an increasing and continuous development in recent years. When designing the floating platforms, both experimental and numerical tools are applied, with the latter often using time-domain solvers based on hydro-load estimation from a Morison approach or a boundary element method. Commercial software packages such as OrcaFlex, or open-source software such as OpenFAST, are often used where the floater is modeled as a rigid six degree-of-freedom body with loads applied at the center of gravity. However, for final structural design, it is necessary to have information on the distribution of loads over the entire body and to know local internal loads in each component. This paper uses the TetraSpar floating offshore wind turbine design as a case study to examine new modeling approaches in OrcaFlex and OpenFAST that provide this information. The study proves the possibility of applying the approach and the extraction of internal loads, while also presenting an initial code-to-code verification between OrcaFlex and OpenFAST. As can be expected, comparing the flexible model to a rigid-body model proves how motion and loads are affected by the flexibility of the structure. OrcaFlex and OpenFAST generally agree, but there are some differences in results due to different modeling approaches. Since no experimental data are available in the study, this paper only forms a baseline for future studies but still proves and describes the possibilities of the approach and codes.

17 WIND ENERGY↗
DOE OSTI2022

A Classification of G -invariant Shallow Neural Networks

When trying to fit a deep neural network (DNN) to a G-invariant target function with G a group, it only makes sense to constrain the DNN to be G-invariant as well. However, there can be many different ways to do this, thus raising the problem of “G-invariant neural architecture design”: What is the optimal Ginvariant architecture for a given problem? Before we can consider the optimization problem itself, we must understand the search space, the architectures in it, and how they relate to one another. In this paper, we take a first step towards this goal; we prove a theorem that gives a classification of all G-invariant single-hidden-layer or “shallow” neural network (G-SNN) architectures with ReLU activation for any finite orthogonal group G, and we prove a second theorem that characterizes the inclusion maps or “network morphisms” between the architectures that can be leveraged during neural architecture search (NAS). The proof is based on a correspondence of every G-SNN to a signed permutation representation of G acting on the hidden neurons; the classification is equivalently given in terms of the first cohomology classes of G, thus admitting a topological interpretation. The G-SNN architectures corresponding to nontrivial cohomology classes have, to our knowledge, never been explicitly identified in the literature previously. Using a code implementation, we enumerate the G-SNN architectures for some example groups G and visualize their structure. Lastly, we prove that architectures corresponding to inequivalent cohomology classes coincide in function space only when their weight matrices are zero, and we discuss the implications of this for NAS.

Agrawal, Devanshu↗
DOE OSTI2023

Blowdown Recovery System for Cooling Tower Water Treatment

From 2014-2017, the U.S. General Services Administration's (GSA's) average nationwide water rates increased 41%. Rapidly escalating costs, mandated water-reduction targets, and the fact that an average of 28% of commercial office building water use is associated with heating and cooling led the GSA Green Proving Ground program to select alternative water treatment technologies for in-field validation. This report summarizes the latest alternative water treatment evaluation completed in 2022 - a Blowdown Recovery System for Cooling Tower Water Treatment. This Green Proving Ground program project assessed the performance of an alternative water treatment system provided by Aqualogix for treating cooling tower blowdown at the Lloyd D. George U.S. Courthouse in Las Vegas, Nevada.

13 HYDRO ENERGY↗
DOE OSTI2020

Over 15% Efficiency Polymer Solar Cells Enabled by Conformation Tuning of Newly Designed Asymmetric Small‐Molecule Acceptors

Abstract The prosperous period of polymer solar cells (PSCs) has witnessed great progress in molecule design methods to promote power conversion efficiency (PCE). Designing asymmetric structures has been proved effective in tuning energy level and morphology, which has drawn strong attention from the PSC community. Two hepta‐ring and octa‐ring asymmetric small molecular acceptors (SMAs) (IDTP‐4F and IDTTP‐4F) with S‐shape and C‐shape confirmations are developed to study the relationship between conformation shapes and PSC efficiencies. The similarity of absorption and energy levels between two SMAs makes the conformation a single variable. Additionally, three wide‐bandgap polymer donors (PM6, S1, and PM7) are chosen to prove the universality of the relationship between conformation and photovoltaic performance. Consequently, the champion PCE afforded by PM7: IDTP‐4F is as high as 15.2% while that of PM7: IDTTP‐4F is 13.8%. Moreover, the S‐shape IDTP‐4F performs obviously better than their IDTTP‐4F counterparts in PSCs regardless of the polymer donors, which confirms that S‐shape conformation performs better than the C‐shape one. This work provides an insight into how conformations of asymmetric SMAs affect PCEs, specific functions of utilizing different polymer donors to finely tune the active‐layer morphology and another possibility to reach an excellent PCE over 15%.

Guo, Qing↗
DOE OSTI2024

Engineering Anomalously Large Electron Transport in Topological Semimetals

Abstract Anomalous transport of topological semimetals has generated significant interest for applications in optoelectronics, nanoscale devices, and interconnects. Understanding the origin of novel transport is crucial to engineering the desired material properties, yet their orders of magnitude higher transport than single‐particle mobilities remain unexplained. This work demonstrates the dramatic mobility enhancements result from phonons primarily returning momentum to electrons due to phonon‐electron dominating over phonon–phonon scattering. Proving this idea, proposed by Peierls in 1932, requires tuning electron and phonon dispersions without changing symmetry, topology, or disorder. This is achieved by combining de Haas ‐ van Alphen (dHvA), electron transport, Raman scattering, and first‐principles calculations in the topological semimetals MX 2 (M = Nb, Ta and X = Ge, Si). Replacing Ge with Si brings the transport mobilities from an order magnitude larger than single particle ones to nearly balanced. This occurs without changing the crystal structure or topology and with small differences in disorder or Fermi surface. Simultaneously, Raman scattering and first‐principles calculations establish phonon–electron dominated scattering only in the MGe 2 compounds. Thus, this study proves that phonon‐drag is crucial to the transport properties of topological semimetals and provides insight to engineer these materials further.

36 MATERIALS SCIENCE↗
DOE OSTI2022

A mathematical assessment of the isolation random forest method for anomaly detection in big data

We present the mathematical analysis of the Isolation Random Forest Method (IRF Method) for anomaly detection, proposed by Liu F.T., Ting K.M. and Zhou Z. H. in their seminal work as a heuristic method for anomaly detection in Big Data. We prove that the IRF space can be endowed with a probability induced by the Isolation Tree algorithm (iTree). In this setting, the convergence of the IRF method is proved, using the Law of Large Numbers. Here, a couple of counterexamples are presented to show that the method is inconclusive and no certificate of quality can be given, when using it as a means to detect anomalies. Hence, an alternative version of the method is proposed whose mathematical foundation is fully justified. Furthermore, a criterion for choosing the number of sampled trees needed to guarantee confidence intervals of the numerical results is presented. Finally, numerical experiments are presented to compare the performance of the classic method with the proposed one.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Analysis of sparse recovery for Legendre expansions using envelope bound

We provide novel sufficient conditions for the uniform recovery of sparse Legendre expansions using ℓ 1 minimization, where the sampling points are drawn according to orthogonalization (uniform) measure. So far, conditions of the form m ≳ Θ 2 s x log factors have been relied on to determine the minimum number of samples m that guarantees successful reconstruction of s-sparse vectors when the measurement matrix is associated to an orthonormal system. However, in case of sparse Legendre expansions, the uniform bound Θ of Legendre systems is so high that these conditions are unable to provide meaningful guarantees. Here, in this paper, we present an analysis which employs the envelop bound of all Legendre polynomials instead, and prove a new recovery guarantee for s-sparse Legendre expansions, m ≳ Θs 2 x log factors, which is independent of Θ. Arguably, this is the first recovery condition established for orthonormal systems without assuming the uniform boundedness of the sampling matrix. The key ingredient of our analysis is an extension of chaining arguments, recently developed in Bourgain and Chkifa et al., to handle the envelope bound. Furthermore, our recovery condition is proved via restricted eigenvalue property, a less demanding replacement of restricted isometry property which is perfectly suited to the considered scenario. Along the way, we derive simple criteria to detect good sample sets. Our numerical tests show that sets of uniformly sampled points that meet these criteria will perform better recovery on average.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Generic Construction of the Standard Model Gauge Group and Matter Representations in F-theory

In this work, we describe general classes of 6D and 4D F-theory models with gauge group (SU(3)×SU(2)×U(1))/Z 6 . For 6D F-theory models with no tensor multiplets, we prove that this set of constructions gives all possible consistent supergravity theories with this gauge group and the corresponding generic matter representations, which include those of the MSSM. We expect, though do not prove, that these models are similarly generic for 6D theories with tensor multiplets and for 4D N=1 supergravity theories. Finally, the models in the largest class of these constructions come from deforming an underlying geometry with SU(4)×SU(3)×SU(2), corresponding to Higgsing on three bifundamental fields.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

The clean energy transformation includes the integration of distributed energy resources with the power grid, which has led to a substantial increase in the complexity of power grids infrastructure and the underlying operational technology environment. Power grids infrastructure represents an operational technology environment that has become a system of systems, integrating heterogeneous devices which are both software-and hardware-intensive; as a result, there are increasing demands to exploit advances in the commodity of software-hardware infrastructures to improve energy systems requirements such as cybersecurity and resilience. In such a setting, system requirements at different levels mix, which leads to vulnerabilities and undesirable outcomes. The use of formal methods to characterize and prove system requirements removes ambiguity, increases automation, and provides high levels of assurance and reliability. In this paper, we contribute a methodology and a framework for the system-level verification of zero trust architecture requirements in operational technology environments. We define a formal specification for the core functionalities of operational technology environments, the corresponding invariants, and security proofs. Of particular note is our modular approach for the formal verification of asynchronous interactions in operational technology environments. The formal specification and the proofs have been mechanized using the interactive theorem proving environment Isabelle/HOL.

formal methods↗
DOE OSTI2020

Tauberian-Cardy formula with spin

We prove a $2$ dimensional Tauberian theorem in context of $2$ dimensional conformal field theory. The asymptotic density of states with conformal weight $(h,\bar{h})\to (\infty,\infty)$ for any arbitrary spin is derived using the theorem. We further rigorously show that the error term is controlled by the twist parameter and insensitive to spin. The sensitivity of the leading piece towards spin is discussed. We identify a universal piece in microcanonical entropy when the averaging window is large. An asymptotic spectral gap on $(h,\bar{h})$ plane, hence the asymptotic twist gap is derived. We prove an universal inequality stating that in a compact unitary $2$D CFT without any conserved current $Ag\leq \frac{\pi(c-1)r^2}{24}$ is satisfied, where $g$ is the twist gap over vacuum and $A$ is the minimal "areal gap", generalizing the minimal gap in dimension to $(h',\bar{h}')$ plane and $r=\frac{4\sqrt{3}}{\pi}\simeq 2.21$. We investigate density of states in the regime where spin is parametrically larger than twist with both going to infinity. Moreover, the large central charge regime is studied. We also probe finite twist, large spin behavior of density of states.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

A Rényi quantum null energy condition: proof for free field theories

The Quantum Null Energy Condition (QNEC) is a lower bound on the stress-energy tensor in quantum field theory that has been proved quite generally. It can equivalently be phrased as a positivity condition on the second null shape derivative of the relative entropy S rel (ρ||σ) of an arbitrary state ρ with respect to the vacuum σ. The relative entropy has a natural one-parameter family generalization, the Sandwiched Rényi divergence S n (ρ||σ), which also measures the distinguishability of two states for arbitrary n &isin; [1/2, ∞). A Rényi QNEC, a positivity condition on the second null shape derivative of S n (ρ||σ), was conjectured in previous work. In this work, we study the Rényi QNEC for free and superrenormalizable field theories in spacetime dimension d > 2 using the technique of null quantization. In the above setting, we prove the Rényi QNEC in the case n > 1 for arbitrary states. We also provide counterexamples to the Rényi QNEC for n < 1.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Factorization at subleading power and endpoint divergences in h → γγ decay. Part II. Renormalization and scale evolution

Building on the recent derivation of a bare factorization theorem for the b-quark induced contribution to the h → γγ decay amplitude based on soft-collinear effective theory, we derive the first renormalized factorization theorem for a process described at subleading power in scale ratios, where λ = m b /M h « 1 in our case. We prove two refactorization conditions for a matching coefficient and an operator matrix element in the endpoint region, where they exhibit singularities giving rise to divergent convolution integrals. The refactorization conditions ensure that the dependence of the decay amplitude on the rapidity regulator, which regularizes the endpoint singularities, cancels out to all orders of perturbation theory. We establish the renormalized form of the factorization formula, proving that extra contributions arising from the fact that “endpoint regularization” does not commute with renormalization can be absorbed, to all orders, by a redefinition of one of the matching coefficients. We derive the renormalization-group evolution equation satisfied by all quantities in the factorization formula and use them to predict the large logarithms of order $αα^2_sL^k$ in the three-loop decay amplitude, where $L=ln(-M^2_h/m^2_b)$ and k = 6, 5, 4, 3. We find perfect agreement with existing numerical results for the amplitude and analytical results for the three-loop contributions involving a massless quark loop. On the other hand, we disagree with the results of previous attempts to predict the series of subleading logarithms $~αα^n_sL^{2n+1}$

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Universal fine grained asymptotics of free and weakly coupled quantum field theory

We give a rigorous proof that in any free quantum field theory with a finite group global symmetry G, on a compact spatial manifold, at sufficiently high energy, the density of states ρ α (E) for each irreducible representation α of G obeys a universal formula as conjectured by Harlow and Ooguri. We further prove that this continues to hold in a weakly coupled quantum field theory, given an appropriate scaling of the coupling with temperature. This generalizes similar results that were previously obtained in (1 + 1)-D to higher spacetime dimension. We discuss the role of averaging in the density of states, and we compare and contrast with the case of continuous group G, where we prove a universal, albeit different, behavior.

Discrete Symmetries↗