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

Comparative studies of 2HDMs under the Higgs boson precision measurements

We perform comparative studies for four types of the two Higgs Doublet Models (2HDMs) under the precision measurements of the Standard Model (SM) Higgs observables at the proposed Higgs factories. We explore the discovery potential based on the hypothetical deviations in the precision data for the 2HDMs up to one-loop level. We find 5σ observability from the χ2 fitting in a significant theory parameter space at future Higgs factories. For the Type-I 2HDM, regions with cos(β - α) ≲ -0.1 or cos(β - α) ≳ 0.08 are discoverable at more than 5σ level. For the other three types of 2HDMs, the 5σ region is even bigger: | cos(β - α)| ≳ 0.02 for tan β ~ 1. At small and large values of tan β, the region in cos(β - α) is further tightened. We examine the extent to which the different 2HDM theories may be distinguishable from one to the other at the 95% Confidence Level with four benchmark points as case studies. We show that a large part of the parameter space of the other types of 2HDMs can be distinguished from the benchmark points of the target model. The impacts of loop corrections are found to be significant in certain parameter regions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Superconducting properties of MoTe 2 from ab initio anisotropic Migdal-Eliashberg theory

Molybdenum ditelluride (MoTe 2 ) is attracting considerable interest since it is the archetypal type-II Weyl semimetal and a candidate for topological superconductivity. In this work, we investigate the superconducting phase diagram of two MoTe 2 polymorphs using the ab initio anisotropic Migdal-Eliashberg theory, and we show that the superconducting dome originates from the synergistic contribution of the density of states at the Fermi level and the transverse acoustic Te modes in the 1$\textit{T}’$ phase. We find that the electron and hole pockets carry trivial $\textit{s}$-wave order parameters of slightly different magnitude, reminiscent of a two-gap structure as suggested by recent experiments. We suggest that a possible route for enhancing the superconducting critical temperature, and realizing $s_{+ –}$ pairing, in the $T_d$ phase is to exploit its nontrivial band topology via electron doping.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2022

Toward a QUBO-Based Density Matrix Electronic Structure Method

Density matrix electronic structure theory is used in many quantum chemistry methods to “alleviate” the computational cost that arises from directly using wave functions. Although density matrix based methods are computationally more efficient than wave function based methods, significant computational effort is involved. Because the Schrödinger equation needs to be solved as an eigenvalue problem, the time-to-solution scales cubically with the system size in mean-field type approaches such as Hartree–Fock and density functional theory and is solved as many times in order to reach charge or field self-consistency. We hereby propose and study a method to compute the density matrix by using a quadratic unconstrained binary optimization (QUBO) solver. This method could be useful to solve the problem with quantum computers and, more specifically, quantum annealers. Our proposed approach is based on a direct construction of the density matrix using a QUBO eigensolver. We explore the main parameters of the algorithm focusing on precision and efficiency. We show that, while direct construction of the density matrix using a QUBO formulation is possible, the efficiency and precision have room for improvement. Moreover, calculations performed with quantum annealing on D-Wave’s new Advantage quantum computer are compared with results obtained with classical simulated annealing, further highlighting some problems of the proposed method. Finally, we also suggest alternative methods that could lead to a more efficient QUBO-based density matrix construction.

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

TeV-scale particles and LHC events with dijet pairs

Scalar particles that couple to two up quarks may be produced at the LHC even if they are ultraheavy, in the 8 − 10 TeV mass range. A renormalizable theory that includes a diquark particle of this type (S uu ), two vectorlike quarks (χ 1 , χ 2 ), and a gauge-singlet pseudoscalar, predicts LHC signals involving four or more jets of very high p T . Two remarkable events observed by the CMS experiment, each involving four high-p T jets, may be due to an Suu of mass near 8.5 TeV, and a χ 2 mass of 2.1 TeV. A separate excess reported by CMS in the nonresonant dijet pair search is consistent with a χ 1 mass of 0.95 TeV. This hypothesis may be tested through CMS and ATLAS searches for signals with a pair of dijet resonances of masses clustered around 1 TeV, and separately around 2 TeV, which have 4j invariant masses in the 5 − 8 TeV range. These additional signals would arise from cascade decays of S uu → χ 2 χ 2 , which lead to 5j and 6j events with invariant masses around 8 TeV. Depending on the couplings of the heavy colored particles, additional signals are possible, involving for example highly-boosted top quarks.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

c -functions in higher-derivative flows across dimensions

In the context of gravitational theories describing renormalization group flows across dimensions via AdS/CFT, we study the role of higher-derivative corrections to Einstein gravity. We use the Null Energy Condition to derive monotonicity properties of candidate holographic central charges formed by combinations of metric functions. We also implement an entropic approach to the characterization of the four-derivative flows using the Jacobson-Myers functional and demonstrate, under reasonable conditions, monotonicity of certain terms in the entanglement entropy via the appropriate generalization of the Ryu-Takayanagi prescription. In particular, we show that any flow from a higher dimensional theory to a holographic CFT 2 satisfies a type of monotonicity. We also uncover direct relations between NEC-motivated and entropic central charges.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Nonlinear effects in manybody van der Waals interactions

Van der Waals interactions are ubiquitous and they play an important role for the stability of materials. Current understanding of this type of coupling is based on linear response theory, while optical nonlinearities are rarely considered in this context. Many materials, however, exhibit strong optical nonlinear response, which prompts further evaluation of dispersive forces beyond linear response. Here we present a approach that takes into account linear and nonlinear properties of all dipolar nanoparticles in a given system. This method is based on a Hamiltonian for nonlinear dipoles, which we apply in different systems uncovering a complex interplay of distance, anisotropy, polarizabilities, and hyperpolarizabilities in the vdW energy. This investigation broadens our basic understanding of dispersive interactions, especially in the context of nonlinear materials. Published by the American Physical Society 2024

Le, Dai-Nam (ORCID:0000000307568742)↗
DOE OSTI2022

Application of the bRapid fission matrix burnup methodology to the JSI TRIGA Mark II research reactor

The novel burnup methodology, bRAPID, of the RAPID code system has been applied to the TRIGA Mark II research reactor at the 'Jozef Stefan' Institute. This paper presents the first step in our goal for on-line determination of isotope inventory and burnup, that the RAPID code system with its Fission Matrix (FM) method enables. Burnup analysis of changes in FM coefficients due to TRIGA fuel burnup at different irradiation times and specific power distribution in the reactor core is presented. Our results demonstrate that primary contribution for changes of FM coefficients is the burnup of the destination s, while the spectrum differences, that arise due to fuel's core location, have negligible effect on FM coefficients. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2022

P{sub N} source expansion nodal method in MPACT for boiling water reactors

This paper describes the one-node P{sub N}-Source Expansion Nodal Method (SENM) axial solver for the 2D/1D method recently implemented in MPACT to support Boiling Water Reactors (BWR) analysis. Since the BWR has a more complicated design and strong burnable absorber, the existing PN-Nodal Expansion Method (NEM) axial solver in MPACT may not be sufficient to accurately represent the intranodal flux and source profiles for BWRs. The one-node P{sub N}-SENM has been implemented in this work to reduce the axial spatial discretization error for BWRs. From numerical results, we verify that the P{sub N}-SENM can improve the accuracy of the pin power prediction, and confirm that P{sub N}-SENM can use more than a 1.5 times larger axial mesh size than P{sub N}-NEM to have similar accuracy for the BWR GE14 3D assembly problem. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2022

Importance of 3-D S{sub N} depletion in non-proliferation using BSOLVE

We present a single Pressurized Water Reactor (PWR) 3-D fuel rod design for depletion analysis using BSOLVE, our newly developed Runge-Kutta-Fehlberg based depletion code. BSOLVE is coupled with the deterministic 3-D S{sub N} particle transport code, PENTRAN, applied here with a 4-neutron energy group comparison to Continuous Energy (C/E) SERPENT2 Monte Carlo results. Differences are expected, as PENTRAN+BSOLVE retains full (multi-group) energy information for reactions, nuclide specific fission contributions, and energy dependent fission yields, using the latest available ENDF-BVIII data, important to retain accurate burned fuel inventories; SERPENT2 collapses burnup reactions to a single energy value. For depletion times up to ∼ 700 days and typical PWR power densities, relative differences between multigroup 3-D S{sub N} with full energy data and Monte Carlo one group burnup for trans-uranium nuclide concentrations and fission products are up to ∼20%. System eigenvalues are consistent, but with differences early and late in the cycle attributed to multigroup vs. C/E Monte Carlo cross sections. This work highlights the importance of low variance transport driven burnup for non-proliferation concerns, since plutonium quality varies significantly along axial lengths, and is more challenging to converge using Monte Carlo; details of depletion steps with spatial/zone dependent plutonium quality are provided. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2026

Substrate-Mediated Evaporation and Stochastic Evolution of Supported Au Nanoparticles

Here, we use in situ transmission electron microscopy with automated tracking to study supported gold nanoparticles (NPs) during high-temperature vacuum annealing. The average mass loss per NP is governed by a flat, nearly size-independent substrate-mediated evaporation profile. On top of this mean shrinkage, individual NPs show significant fluctuations in apparent growth or shrinkage, and NP volume follows a random-walk-like trajectory. To rationalize both the ensemble-mean behavior and the particle-resolved variability, we develop a self-consistent theory that couples substrate-mediated evaporation to collective 2D Ostwald-type mass exchange through a shared adatom field, described in terms of a renormalized screening length and background concentration. In the experimentally relevant regime, the theory predicts an approximately size-independent mean shrinkage rate and clarifies how net mass loss suppresses classical coarsening. Superimposed on this deterministic drift, we quantify stochastic volume trajectories and capture their fluctuation spectrum with a minimal Langevin description consistent with intermittent adatom attachment and detachment events. In addition, we characterize the lateral diffusive motion of NPs, which is responsible for their coalescence. Altogether, our results highlight that stochasticity is intrinsic at the nanoscale and that predicting the evolution of supported NPs at early and intermediate times requires a unified framework combining substrate-mediated evaporation, collective mass exchange, and stochastic fluctuations.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2020

Controlled One‐pot Synthesis of Nickel Single Atoms Embedded in Carbon Nanotube and Graphene Supports with High Loading

Abstract Single‐atom catalysts (SACs) have attracted much attentions due to the advantages of high catalysis efficiency and selectivity. However, the controllable and efficient synthesis of SACs remains a significant challenge. Herein, we report a controlled one‐pot synthesis of nickel single atoms embedded on nitrogen‐doped carbon nanotubes (NiSA−N−CNT) and nitrogen‐doped graphene (NiSA−N−G). The formation of NiSA−N−CNT is due to the solid‐to‐solid rolling up mechanism during the high temperature pyrolysis at 800 °C from the stacked and layered Ni‐doped g‐C 3 N 4 , g‐C 3 N 4 −Ni structure to a tubular CNT structure. Addition of citric acid introduces an amorphous carbon source on the layered g‐C 3 N 4 −Ni and after annealing at the same temperature of 800 °C, instead of formation of NiSA−N−CNT, Ni single atoms embedded in planar graphene type supports, NiSA−N−G were obtained. The density functional theory (DFT) calculation indicates the introduction of amorphous carbon source substantially reduces the structure fluctuation or curvature of layered g‐C 3 N 4 ‐Ni intermediate products, thus interrupting the solid‐to‐solid rolling process and leading to the formation of planar graphene type supports for Ni single atoms. The as‐synthesized NiSA−N−G with Ni atomic loading of ∼6 wt% catalysts shows a better activity and stability for the CO 2 reduction reaction (CO 2 RR) than NiSA−N−CNT with Ni atomic loading of ∼15 wt% due to the open and exposed Ni single atom active sites in NiSA−N−G. This study demonstrates for the first time the feasibility in the control of the microstructure of carbon supports in the synthesis of SACs.

Zhao, Shiyong↗
DOE OSTI2023

Behavior of Hydrogarnet‐Type Defects in Hydrous Stishovite at Various Temperatures and Pressures

Abstract Dense polymorphs of silica have been demonstrated experimentally to incorporate from 1.5 wt% to as much as 11.6 wt% H 2 O as OH groups, with implications for the hydrogen budgets of Earth and other planets. This OH is thought to enter the SiO 2 structure via a charge‐balanced substitution in which silicon vacancies (V Si ) are compensated by protonating four of the surrounding six oxygen atoms, often referred to as a hydrogarnet‐type defect. There are many possible configurations for this defect structure in dense silica, but the nature of these configurations and whether they can be distinguished experimentally is unknown. We present here density functional theory calculations that systematically assess the possible configurations of a hydrogarnet‐type defect in stishovite (rutile‐type SiO 2 ), with direct comparisons to experimental vibrational spectroscopy data. We predict that stishovite synthesized at 450 K and 10 GPa quenched to room temperature is dominated by a single defect type with tetrahedral geometry. This leads to OH stretching modes (2,500–3,000 cm −1 ) and SiOH bending modes (∼1,400–1,450 cm −1 ) largely consistent with experimentally observed modes. One remaining issue is that our calculations produce results compatible with experimental data on H to D exchange, but do not explain why a considerable fraction of the 1,420 cm −1 mode shifts by only 40 cm −1 in deuterated samples. At elevated pressures and temperatures, we find that a second square planar defect configuration also becomes favorable, leading to modes that should allow differentiation from the tetrahedral configuration.

Geochemistry & Geophysics↗
DOE OSTI2026

Compositional Reasoning for Hierarchical State Machines

Harel statecharts and its derivatives are popular graphical languages for specifying discrete control systems via hierarchical state machines. Separately, there has been a long line of work on specifying concurrent systems with process calculi which come equipped with an algebraic theory, the ability reason compositionally about various temporal properties, and strong type systems. While these two approaches to modeling systems are tantalizingly similar, the integrated reasoning principles that exist for process calculi have not been demonstrated in hierarchical state machines. A key issue is that operational theories for process calculi do not behave like control systems, and thus, there is virtually no tool support for modeling control systems with such languages. For a control system designer, bringing the integrated, more scalable reasoning from the process calculi to state-machine languages would enable the specification of more complex systems and a more modular systems development process. Our insight is that we can recover many important results from the process calculi in hierarchical state machines with local scope. We employ a structural operational semantics, which is ubiquitous in process and 𝜆-calculi but uncommon in hierarchical statemachine formalizations, to enable inductive reasoning about behavior. Taking inspiration from the structure of process calculi metatheories, we define a calculus of refinement and equivalence that we prove sound with respect to local notion of (bi)simulation. Furthermore, we prove that the calculus preserves the behavioral properties of reactivity, observational determinism, traces, and linear temporal properties. Our results are mechanized in the Rocq proof assistant.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Characterizing quantum circuits with qubit functional configurations

Abstract We develop a systematic framework for characterizing all quantum circuits with qubit functional configurations. The qubit functional configuration is a mathematical structure that can classify the properties and behaviors of quantum circuits collectively. Major benefits of classifying quantum circuits in this way include: 1. All quantum circuits can be classified into corresponding types; 2. Each type characterizes important properties (such as circuit complexity) of the quantum circuits belonging to it; 3. Each type contains a huge collection of possible quantum circuits allowing systematic investigation of their common properties. We demonstrate the theory’s application to analyzing the hardware-efficient ansatzes of variational quantum algorithms. For potential applications, the functional configuration theory may allow systematic understanding and development of quantum algorithms based on their functional configuration types.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Topological Invariant of Manifolds in Slawianowski’s Field Theory [Slides]

Witten constructed topological invariants of manifolds by introducing actions depending only on smooth structures of the manifold without using a metric. He focused on an example of Chern-Simons’ theory on 3D manifolds. Slawianowski based his field theory on frame/coframe fields without a metric. A Witten-type topological invariant can be introduced in Slawianowski’s framework, using an integral over the reper fields. Such invariant behaves differently for group manifolds than for all others. It additionally distinguishes semi-simple Lie group manifolds from other group manifolds. Further study of this new invariant is needed, including possible generalizations to other field theories.

42 ENGINEERING↗
DOE OSTI2025

Nanoscale modulation of flat bands via controllable charge density wave defects in 4⁢𝐻⁡𝑏−Ta⁢S 2

Electron correlation is a main driver of exotic quantum phases and their interplay. The 4H b-TaS 2 system, possessing an intrinsic heterostructure of 1T- and 1H -TaS 2 monolayers, offers a unique opportunity to control electron correlation by distorting the atomic lattice or tuning interlayer coupling. Here, we investigated intrinsically deformed charge-density waves (CDWs) in the 1T layer of 4H b-TaS 2 to elucidate and control their effects on flat bands using scanning tunneling microscopy and spectroscopy (STM/S) combined with first-principles calculations. We identified two types of CDW defects: Type 1 has structural distortion and locally suppressed flat bands, while Type 2 features an increased flat band filling factor of intact CDW structure. Density functional theory calculations indicate that a sulfur vacancy in the 1T layer distorts the CDW structure and gives rise to a Type 1, whereas a sulfur vacancy in the 1H layer reduces the interlayer charge transfer and leads to a Type 2. Furthermore, we demonstrated creating and erasing individual CDW defects via STM manipulation. Here, our findings provide a pathway to not only tune flat bands but also selectively manipulate the interaction between CDW, the atomic lattice, and interlayer coupling in strongly correlated systems with atomic precision.

Charge density waves↗
DOE OSTI2021

Ultrafast hole transfer from monolayer ReS 2 to thin-film F 8 ZnPc

We report a combined experimental and computational study on the charge transfer properties of heterostructures formed by monolayer 1T’-ReS 2 and fluorinated zinc phthalocyanine, F 8 ZnPc. Two-dimensional (2D) ReS 2 monolayer flakes were exfoliated from bulk crystals, and a F 8 ZnPc film with a thickness of 4 nm was thermally deposited on ReS 2 . Density functional theory shows that the two materials form a type-II band alignment. In transient absorption measurements, photocarriers are selectively excited in ReS 2 and monitored in F 8 ZnPc. Here, we found that holes in ReS 2 can transfer to F 8 ZnPc on a time scale shorter than 0.35 ps. The transferred holes have a long lifetime in F 8 ZnPc on the order of 1 ns, confirming the lack of electron transfer. The efficient charge transfer from a 1T’ transition metal dichalcogenide monolayer to an organic semiconductor illustrates the feasibility of developing 2D/organic heterostructures with in-plane anisotropic electronic and optoelectronic properties.

2D materials↗
DOE OSTI2020

Systematizing the effective theory of self-interacting dark matter

If dark matter has strong self-interactions, future astrophysical and cosmological observations, together with a clearer understanding of baryonic feedback effects, might be used to extract the velocity dependence of the dark matter scattering rate. To interpret such data, we should understand what predictions for this quantity are made by various models of the underlying particle nature of dark matter. In this paper, we systematically compute this function for fermionic dark matter with light bosonic mediators of vector, scalar, axial vector, and pseudoscalar type. We do this by matching to the nonrelativistic effective theory of self-interacting dark matter and then computing the spin-averaged viscosity cross section nonperturbatively by solving the Schrödinger equation, thus accounting for any possible Sommerfeld enhancement of the low-velocity cross section. In the pseudoscalar case, this requires a coupled-channel analysis of different angular momentum modes. We find, contrary to some earlier analyses, that nonrelativistic effects only provide a significant enhancement for the cases of light scalar and vector mediators. Scattering from light pseudoscalar and axial vector mediators is well described by tree-level quantum field theory.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗