Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “type theory”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
DOE OSTI2019

Photochemical Aging Alters Secondary Organic Aerosol Partitioning Behavior

Organic aerosol is the largest fraction of the atmospheric non-refractory aerosol mass and has a significant impact on climate, visibility, and human health. A significant portion of organic aerosol is secondary organic aerosol (SOA), which forms when volatile organic compounds (VOCs) are oxidized and the reaction products partition to the particle phase. SOA formation and aging have been described using semi-volatile partitioning theory, and a typical assumption invoked is that gas-particle partitioning rapidly reaches equilibrium. However, several studies have called into question whether traditional equilibrium assumptions are valid, either due to particle-phase diffusion limitations, particle-phase reactions, or liquid/liquid phase separation and immiscibility of organic phases. Here, we investigate the ability of partitioning theory to describe laboratory SOA formation experiments using SOA mass and yield as the evaluation metric. We conduct two types of experiments; co-condensation experiments in which isoprene and a-pinene are simultaneously oxidized to form SOA, and sequential condensation experiments in which fresh isoprene SOA is exposed to aged, pre-existing isoprene- or a-pinene-derived SOA particles. In the co-condensation experiments, partitioning theory successfully predicted the time-dependent SOA concentrations without invoking diffusion limitations or organic phase separation. However, in the sequential condensation experiments, yield analysis showed that fresh isoprene SOA did not partition into either the aged a-pinene or aged isoprene SOA particles over the 4 hour experimental timescale, even at relative humidity as high as 85%. This study shows that common assumptions regarding SOA gas-particle partitioning are accurate for fresh SOA, but that these assumptions break down after SOA has been photochemically aged for modest amounts of time (~1 day). These results have important consequences for modeling SOA formation and may help to resolve some seemingly divergent conclusions regarding diffusion limitations that exist in the literature.

Secondary Organic Aerosol (SOA), gas/particle part↗
DOE OSTI2023

Stability of hairy black holes in shift-symmetric scalar-tensor theories via the effective field theory approach

Shift-symmetric Horndeski theories admit an interesting class of Schwarzschild-de Sitter black hole solutions exhibiting time-dependent scalar hair. The properties of these solutions may be studied via a bottom-up effective field theory (EFT) based on the background symmetries. This is in part possible by making use of a convenient coordinate choice — Lemaître-type coordinates — in which the profile of the Horndeski scalar field is linear in the relevant time coordinate. We construct this EFT, and use it to understand the stability of hairy black holes in shift-symmetric Horndeski theories, providing a set of constraints that the otherwise-free functions appearing in the Horndeski Lagrangian must satisfy in order to admit stable black hole solutions. The EFT is analyzed in the decoupling limit to understand potential sources of instability. Further, we also perform a complete analysis of the EFT with odd-parity linear perturbations around general spherically symmetric space-time.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2020

Partitioned exponential methods for coupled multiphysics systems

Multiphysics problems involving two or more coupled physical phenomena are ubiquitous in science and engineering. This work develops a new partitioned exponential approach for the time integration of multiphysics problems. After a possible semi-discretization in space, the class of problems under consideration is modeled by a system of ordinary differential equations where the right-hand side is a summation of two component functions, each corresponding to a given set of physical processes. The partitioned-exponential methods proposed herein evolve each component of the system via an exponential integrator, and information between partitions is exchanged via coupling terms. Here, the traditional approach to constructing exponential methods, based on the variation-of-constants formula, is not directly applicable to partitioned systems. Rather, our approach to developing new partitioned-exponential families is based on a general-structure additive formulation of the schemes. Two method formulations are considered, one based on a linear-nonlinear splitting of the right hand component functions, and another based on approximate Jacobians. The paper develops classical (non-stiff) order conditions theory for partitioned exponential schemes based on particular families of T-trees and B-series theory. Several practical methods of third order are constructed that extend the Rosenbrock-type and EPIRK families of exponential integrators. Several implementation optimizations specific to the application of these methods to reaction-diffusion systems are also discussed. Numerical experiments reveal that the new partitioned-exponential methods can perform better than traditional unpartitioned exponential methods on some problems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

The development and applications of multidimensional biomolecular spectroscopy illustrated by photosynthetic light harvesting

The parallel and synergistic developments of atomic resolution structural information, new spectroscopic methods, their underpinning formalism, and the application of sophisticated theoretical methods have led to a step function change in our understanding of photosynthetic light harvesting, the process by which photosynthetic organisms collect solar energy and supply it to their reaction centers to initiate the chemistry of photosynthesis. The new spectroscopic methods, in particular multidimensional spectroscopies, have enabled a transition from recording rates of processes to focusing on mechanism. We discuss two ultrafast spectroscopies – two-dimensional electronic spectroscopy and two-dimensional electronic-vibrational spectroscopy – and illustrate their development through the lens of photosynthetic light harvesting. Both spectroscopies provide enhanced spectral resolution and, in different ways, reveal pathways of energy flow and coherent oscillations which relate to the quantum mechanical mixing of, for example, electronic excitations (excitons) and nuclear motions. The new types of information present in these spectra provoked the application of sophisticated quantum dynamical theories to describe the temporal evolution of the spectra and provide new questions for experimental investigation. While multidimensional spectroscopies have applications in many other areas of science, we feel that the investigation of photosynthetic light harvesting has had the largest influence on the development of spectroscopic and theoretical methods for the study of quantum dynamics in biology, hence the focus of this review. We conclude with key questions for the next decade of this review.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

Phase engineering of layered anode materials during ion-intercalation in Van der Waal heterostructures

Transition metal dichalcogenides (TMDs) are a class of 2D materials demonstrating promising properties, such as high capacities and cycling stabilities, making them strong candidates to replace graphitic anodes in lithium-ion batteries. However, certain TMDs, for instance, MoS 2 , undergo a phase transformation from 2H to 1T during intercalation that can affect the mobility of the intercalating ions, the anode voltage, and the reversible capacity. In contrast, select TMDs, for instance, NbS 2 and VS 2 , resist this type of phase transformation during Li-ion intercalation. This manuscript uses density functional theory simulations to investigate the phase transformation of TMD heterostructures during Li-, Na-, and K-ion intercalation. The simulations suggest that while stacking MoS 2 layers with NbS 2 layers is unable to limit this 2H → 1T transformation in MoS 2 during Li-ion intercalation, the interfaces effectively stabilize the 2H phase of MoS 2 during Na- and K-ion intercalation. However, stacking MoS 2 layers with VS 2 is able to suppress the 2H → 1T transformation of MoS 2 during the intercalation of Li, Na, and K-ions. The creation of TMD heterostructures by stacking MoS 2 with layers of non-transforming TMDs also renders theoretical capacities and electrical conductivities that are higher than that of bulk MoS 2 .

25 ENERGY STORAGE↗
DOE OSTI2020

Superconductivity in La and Y hydrides: Remaining questions to experiment and theory

Recent reports of the superconductivity in hydrides of two different families (covalent lattice, as in SH3 and clathrate-type H-cages containing La and Y atoms, as in LaH10 and YH6) have revealed new families of high-Tc materials with Tc’s near room temperature values. These findings confirm earlier expectations that hydrides may have very high Tc’s due to the fact that light H atoms have very high vibrational frequencies, leading to high Tc values within the conventional Bardeen–Cooper–Schrieffer phonon mechanism of superconductivity. However, as is pointed out by Ashcroft, it is important to have the metallic hydrogen “alloyed” with the elements added to it. This concept of a metallic alloy containing a high concentration of metal-like hydrogen atoms has been instrumental in finding new high-Tc superhydrides. These new superhydride “room-temperature” superconductors are stabilized only at very high pressures above 100 GPa, making the experimental search for their superconducting properties very difficult. We will review the current experimental and theoretical results for LaH10−x and YH6−x superhydrides.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2020

Selective acetylene hydrogenation over single metal atoms supported on Fe 3 O 4 (001): A first-principle study

Supported single-atom catalysts (SACs) have gained increasing attention for improved catalytic activity and selectivity for industrially-relevant reactions. In this study, we explore the hydrogenation of acetylene over single Pt, Ru, Rh, Pd, and Ir atoms supported on the Fe 3 O 4 (001) surface using density functional theory (DFT) calculations. The thermodynamic profile of H diffusion is significantly changed with the type of single metal atoms used and suggests that H spillover from the single atom dopant to the Fe 3 O 4 (001) surface is favored and will likely lead to high H coverages in the functioning catalyst. Correspondingly, as the surface H coverage increases, the important desorption step of ethylene becomes energetically competitive against the detrimental hydrogenation steps of ethylene to ethane. Overall, we show herein that the selectivity of SACs towards ethylene production can be tuned by considering the proper type of metal and controlling the redox state of the support.

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

GW with hybrid functionals for large molecular systems

A low-cost approach for stochastically sampling static exchange during time-dependent Hartree–Fock-type propagation is presented. This enables the use of an excellent hybrid density functional theory (DFT) starting point for stochastic GW quasiparticle energy calculations. Generalized Kohn–Sham molecular orbitals and energies, rather than those of a local-DFT calculation, are used for building the Green function and effective Coulomb interaction. The use of an optimally tuned hybrid diminishes the starting point dependency in one-shot stochastic GW, effectively avoiding the need for self-consistent GW iterations.

Chemistry↗
DOE OSTI2023

Gaps labeling theorem for the bubble-diamond self-similar graphs

Abstract Motivated by the appearance of fractals in several areas of physics, especially in solid state physics and the physics of aperiodic order, and in other sciences, including the quantum information theory, we present a detailed spectral analysis for a new class of fractal-type diamond graphs, referred to as bubble-diamond graphs, and provide a gap-labeling theorem in the sense of Bellissard for the corresponding probabilistic graph Laplacians using the technique of spectral decimation. Labeling the gaps in the Cantor set by the normalized eigenvalue counting function, also known as the integrated density of states, we describe the gap labels as orbits of a second dynamical system that reflects the branching parameter of the bubble construction and the decimation structure. The spectrum of the natural Laplacian on limit graphs is shown generically to be pure point supported on a Cantor set, though one particular graph has a mixture of pure point and singularly continuous components.

Physics↗
DOE OSTI2026

Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils

Defining a domain-specific language (DSL) that supports vector-calculus abstractions eases the porting of partial differential equation (PDE) solvers to specialized architectures. Sufficiently high-level abstractions empower users to express universal laws with sufficient generality that the laws must always hold true within their domain of validity. A broad class of PDE solvers employs stencil-based algorithms, the target domain of Berkeley Lab's stencil accelerator chip co-design project. First released as open-source in January 2026, the Formal software framework lays a foundation for defining an embedded DSL based on composable operators that implement mimetic numerical methods -- stencil algorithms that guarantee satisfaction of discrete versions of important vector calculus theorems. The Formal DSL will be the frontend to a new class of stencil-PDE accelerators developed jointly by LBNL, UHCL, and UC Berkeley through the DOE Competitive Portfolios for Computer Science Project. This offers the potential of an order of magnitude acceleration for this important category of computational methods to serve the DOE mission. Future work on the Formal DSL will facilitate software verification via type-safe templates that enable problem-specific correctness proofs relying upon generic function theory and carefully crafted unit tests.

Rouson, Damian↗
DOE OSTI2024

A remote sensing algorithm for vertically resolved cloud condensation nuclei number concentrations from airborne and spaceborne lidar observations

Cloud condensation nuclei (CCN) are mediators of aerosol–cloud interactions (ACIs), contributing to the largest uncertainties in the understandings of global climate change. We present a novel remote-sensing-based algorithm that quantifies the vertically resolved CCN number concentrations (N CCN ) using aerosol optical properties measured by a multiwavelength lidar. The algorithm considers five distinct aerosol subtypes with bimodal size distributions. The inversion used the lookup tables developed in this study, based on the observations from the Aerosol Robotic Network, to efficiently retrieve optimal particle size distributions from lidar measurements. The method derives dry aerosol optical properties by implementing hygroscopic enhancement factors in lidar measurements. The retrieved optically equivalent particle size distributions and aerosol-type-dependent particle composition are utilized to calculate critical diameters using κ-Köhler theory and N CCN at six supersaturations ranging from 0.07 % to 1.0 %. Sensitivity analyses indicate that uncertainties in extinction coefficients and relative humidity greatly influence the retrieval error in N CCN . The potential of this algorithm is further evaluated by retrieving N CCN using airborne lidar from the NASA ObseRvations of Aerosols above CLouds and their intEractionS (ORACLES) campaign and is validated against simultaneous measurements from the CCN counter. The independent validation with robust correlation demonstrates promising results. Furthermore, the N CCN has been retrieved for the first time using a proposed algorithm from spaceborne lidar – Cloud-Aerosol Lidar with Orthogonal Polarization (CALIOP) – measurements. The application of this new capability demonstrates the potential for constructing a 3D CCN climatology at a global scale, which helps to better quantify ACI effects and thus reduce the uncertainty in aerosol climate forcing.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2025

Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula

We constrain the low-energy spectra of Laplace operators on closed hyperbolic manifolds and orbifolds in three dimensions, including the standard Laplace--Beltrami operator on functions and the Laplacian on powers of the cotangent bundle. Our approach employs linear programming techniques to derive rigorous bounds by leveraging two types of spectral identities. The first type, inspired by the conformal bootstrap, arises from the consistency of the spectral decomposition of the product of Laplace eigensections, and involves the Laplacian spectra as well as integrals of triple products of eigensections. We formulate these conditions in the language of representation theory of PSL 2 (C) and use them to prove upper bounds on the first and second Laplacian eigenvalues. The second type of spectral identities follows from the Selberg trace formula. We use them to find upper bounds on the spectral gap of the Laplace--Beltrami operator on hyperbolic 3-orbifolds, as well as on the systole length of hyperbolic 3-manifolds, as a function of the volume. Further, we prove that the spectral gap λ 1 of the Laplace--Beltrami operator on all closed hyperbolic 3-manifolds satisfies λ 1 < 47.32. Along the way, we use the trace formula to estimate the low-energy spectra of a large set of example orbifolds and compare them with our general bounds, finding that the bounds are nearly sharp in several cases.

Bonifacio, James [University of Mississippi, MS (U↗
DOE OSTI2024

Holographic Weyl anomalies for 4d defects in 6d SCFTs

In this note, we study 1/4- and 1/2-BPS co-dimension two superconformal defects in the 6d N = (2, 0) A N–1 SCFT at large N using their holographic descriptions as solutions of 11d supergravity. In this regime, we are able to compute the defect contribution to the sphere entanglement entropy and the change in the stress-energy tensor one-point function due to the presence of the defect using holography. From these quantities, we are then able to unambiguously compute the values for two of the twenty-nine total Weyl anomaly coefficients that characterize 4d conformal defects in six and higher dimensions. We are able to demonstrate the consistency of the supergravity description of the defect theories with the average null energy condition on the field theory side. For each class of defects that we consider, we also show that the A-type Weyl anomaly coefficient is non-negative. Lastly, we uncover and resolve a discrepancy between the on-shell action of the 7d 1/4-BPS domain wall solutions and that of their 11d uplift.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Background independent quantum field theory and gravitating vacuum fluctuations

The scale dependent effective average action for quantum gravity complies with the fundamental principle of Background Independence. Ultimately the background metric it formally depends on is selected self-consistently by means of a tadpole condition, a generalization of Einstein’s equation. Self-consistent background spacetimes are scale dependent, and therefore “going on-shell” at the points along a given renormalization group (RG) trajectory requires understanding two types of scale dependencies: the (familiar) direct one carried by the off-shell action functional, and an equally important indirect one related to the continual re-adjustment of the background geometry. This paper is devoted to a careful delineation and analysis of certain general questions concerning the indirect scale dependence, as well as a detailed explicit investigation of the case where the self-consistent metrics are determined predominantly by the RG running of the cosmological constant. Mathematically, the object of interest is the spectral flow induced by the background Laplacian which, on-shell, acquires an explicit scale dependence. Among other things, it encodes the complete information about the specific set of field modes which, at any given scale, are the degrees of freedom constituting the respective effective field theory. For a large class of RG trajectories (Type IIIa) we discover a seemingly paradoxical behavior that differs substantially from the off-shell based expectations: A Background Independent theory of (matter coupled) quantum gravity looses rather than gains degrees of freedom at increasing energies. As an application, we investigate to what extent it is possible to reformulate the exact theory in terms of matter and gravity fluctuations on a rigid flat space. It turns out that, in vacuo, this “rigid picture” breaks down after a very short RG time already (less than one decade of scales) because of a “scale horizon” that forms. Furthermore, we critically reanalyze and refute the frequent claim that the huge energy densities one obtains in standard quantum field theory by summing up to zero-point energies imply a naturalness problem for the observed small value of the cosmological constant.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Polymer principles behind solubilizing lignin with organic cosolvents for bioenergy

Lignin solubilization is key to a viable biorefinery because its removal leads to facile deconstruction of biomass and because the isolated lignin can serve to derive precursors of novel high-value materials. The mixing of organic solvents with water has been shown to improve biomass fractionation and lignin conversion reactions. However, generally-applicable solubilization strategies are lacking because of the remarkable variability of lignin across plant feedstocks. Here, to obtain a predictive understanding of lignin solvation, we perform molecular dynamics simulations of model lignin polymers in two mixtures of water with polar aprotic solvents: tetrahydrofuran (THF) : water and γ-valerolactone (GVL) : water. The model lignins include H-, G- and S-only homopolymers and lignins with an S : G 1 : 1 ratio. We find that a well-established theory of self-avoiding polymers in a “good” solvent describes accurately the physical conformations of all types of lignin in both solvents. As the degree of methoxy substitution increases in the homopolymers, the distributions of the lignin radius of gyration and the Flory exponent ν , which describes the lignin-solvent interactions, do not change in THF : water, while ν shifts to slightly higher values in GVL : water. We attribute this increase to the interaction between the methyl group of GVL with the lignin methoxy groups. We also find that the reduction in the lignin radius of gyration due to branching is accurately described by the Zimm–Stockmayer theory for both THF : water and GVL : water. The above findings validate the applicability of polymer physics concepts to lignin and suggest that GVL : water may have the most favorable interaction with S-lignin, whereas the interactions of THF : water with lignin are independent of lignin monomeric content.

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

Research in Quantum Field Theory, Cosmology, and String Theory

This project covered research in theoretical high energy physics at Brandeis University by PI Albion Lawrence and Co-PIs Matthew Headrick and Howard Schnitzer. The work of Albion Lawrence covered quantum field theoretic models of cosmic inflation and of quintessence-type dark energy, consistent with constraints on quantum gravity; the dynamics of open quantum systems, with an eye towards applications to holography; and the application of quantum information theory – particularly measures of quantum entanglement – to quantum field theories and quantum gravity. The work of Matthew Headrick covered the intersection of quantum information theory and quantum gravity, with a focus on the holographic encoding of quantum information theoretic concepts such as entanglement and computational complexity in field theory. Headrick also achieved significant technical results in closed string field theory. The work of Howard Schnitzer covered the computation of quantum information theoretic quantities in quantum field theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Natural boundaries for scattering amplitudes

Singularities, such as poles and branch points, play a crucial role in investigating the analytic properties of scattering amplitudes that inform new computational techniques. In this note, we point out that scattering amplitudes can also have another class of singularities called natural boundaries of analyticity. They create a barrier beyond which analytic continuation cannot be performed. More concretely, we use unitarity to show that 2 \to 2 2 → 2 scattering amplitudes in theories with a mass gap can have a natural boundary on the second sheet of the lightest threshold cut. There, an infinite number of ladder-type Landau singularities densely accumulates on the real axis in the center-of-mass energy plane. We argue that natural boundaries are generic features of higher-multiplicity scattering amplitudes in gapped theories.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Formation and surface melting of nanoparticle superlattices in a solution

The wisdom in the saying of “There are no two snowflakes alike” lies in the importance of history or kinetic pathways in the phase transitions of solids. Likewise, “artificial solids,” namely superlattices consisting of functional nanoparticles, have lattice size, surface morphology, crystallinity, symmetry, and structural reconfiguration (for example, transition into a disordered state) highly dependent on the kinetic pathways as the nanoparticles interact with each other in solution [1]. Great progresses have been made in understanding the formation pathways of superlattices using liquid-phase transmission electron microscopy (TEM) [2-4]. For example, by tracking single nanoparticle’s trajectories, especially aided by U-net neural network-based machine learning, previous studies mapped the fundamental nanoparticle interactions at nanometer resolution [5]. Nonclassical, two-step nucleation pathway has also been elucidated in the system of nanoprisms, by optimizing protocols such as loading nanoparticle suspensions over the supersaturation threshold and minimizing particle‒substrate interaction [2]. Surface morphologies or exposed facets of superlattices have been shown to follow the principles of Wulff construction rule, where the facet-dependent surface energy can be measured based on the capillary wave theory [4]. However, the reverse process of crystallization of superlattices, the conversion from crystalline to disordered state, has been much less explored. On one hand, the melting of nanoparticle superlattices can provide a preferred pathway to induce structural reorganization or shuffling of building blocks for them to transform into different types of crystal structures. On the other hand, understanding nanoscale superlattice melting and comparing such behaviors with the prevailing surface melting theories developed for atomic/molecular solids can provide a potent way to engineer phase transitions of supra- and hierarchical structures constructed from nanoscale entities (e.g., DNA-coated nanoparticles, proteins), for their applications in reprogrammable and switchable materials with multifunctional properties [6, 7]. The experimental challenges to observe melting of superlattices are twofold. Practically it is difficult to load the initial superlattice form, in an intact manner, into the highly confined liquid-phase TEM chamber for in-situ observation. Here, the triggering of melting also needs meticulous manipulation of nanoparticle concentration, interparticle interaction, and solution environment.

Kim, Ahyoung↗