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

Non-supersymmetric $AdS_6$ and the swampland

We discuss infinite families of non-supersymmetric AdS 6 solutions in Type IIB string theory. They are siblings of supersymmetric solutions which are associated with (p,q) 5-brane webs and holographically dual to 5d SCFTs engineered by those brane webs. The non-supersymmetric backgrounds carry identical 5-brane charges and are connected to the supersymmetric ones by RG flows. We study the stability of the non-supersymmetric solutions, identifying perturbative and non-perturbative decay channels for all the backgrounds explicitly available. We also identify likely decay mechanisms for solutions that have not been constructed explicitly but may be expected to exist based on brane web considerations. Finally, we exclude scale separation by constructing universal spin 2 modes with masses comparable to the mass-scale of the cosmological constant.

supersymmetry breaking↗
DOE OSTI2022

134 billion intersecting brane models

The landscape of string vacua is very large, but generally expected to be finite in size. Enumerating the number and properties of the vacua is an important task for both the landscape and the swampland, in part to gain a deeper understanding of what is possible and “generic”. We obtain an exact counting of distinct intersecting brane vacua of type IIA string theory on the T 6 /Z 2 × Z 2 orientifold. Care is taken to only count gauge-inequivalent brane configurations. Leveraging the recursive nature by which branes may be added together one-by-one, we use dynamic programming to efficiently count the number of solutions of the tadpole, K-theory and supersymmetry consistency conditions. The distributions of 4D gauge group rank and complex structure moduli for the entire ensemble of intersecting brane vacua are presented. The methods we developed here may be useful in obtaining sharp upper and lower bounds on other corners of the landscape.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Controlled Formation of Stacked Si Quantum Dots in Vertical SiGe Nanowires

In this work, we demonstrate the ability to fabricate vertically stacked Si quantum dots (QDs) within SiGe nanowires with QD diameters down to 2 nm. These QDs are formed during high-temperature dry oxidation of Si/SiGe heterostructure pillars, during which Ge diffuses along the pillars’ sidewalls and encapsulates the Si layers. Continued oxidation results in QDs with sizes dependent on oxidation time. The formation of a Ge-rich shell that encapsulates the Si QDs is observed, a configuration which is confirmed to be thermodynamically favorable with molecular dynamics and density functional theory. The type-II band alignment of the Si dot/SiGe pillar suggests that charge trapping on the Si QDs is possible, and electron energy loss spectra show that a conduction band offset of at least 200 meV is maintained for even the smallest Si QDs. Our approach is compatible with current Si-based manufacturing processes, offering a new avenue for realizing Si QD devices.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2023

Semantic embedding for quantum algorithms

The study of classical algorithms is supported by an immense understructure, founded in logic, type, and category theory, that allows an algorithmist to reason about the sequential manipulation of data irrespective of a computation’s realizing dynamics. As quantum computing matures, a similar need has developed for an assurance of the correctness of high-level quantum algorithmic reasoning. Parallel to this need, many quantum algorithms have been unified and improved using quantum signal processing (QSP) and quantum singular value transformation (QSVT), which characterize the ability, by alternating circuit ansätze, to transform the singular values of sub-blocks of unitary matrices by polynomial functions. However, while the algebraic manipulation of polynomials is simple (e.g., compositions and products), the QSP/QSVT circuits realizing analogous manipulations of their embedded polynomials are non-obvious. This work constructs and characterizes the runtime and expressivity of QSP/QSVT protocols where circuit manipulation maps naturally to the algebraic manipulation of functional transforms (termed semantic embedding). In this way, QSP/QSVT can be treated and combined modularly, purely in terms of the functional transforms they embed, with key guarantees on the computability and modularity of the realizing circuits. We also identify existing quantum algorithms whose use of semantic embedding is implicit, spanning from distributed search to proofs of soundness in quantum cryptography. The methods used, based in category theory, establish a theory of semantically embeddable quantum algorithms, and provide a new role for QSP/QSVT in reducing sophisticated algorithmic problems to simpler algebraic ones.

Physics↗
DOE OSTI2020

The AdS 5 × S 5 superstring

The duality between the type IIB superstring theory in an AdS 5 × S 5 background with N units of five-form flux and N = 4 super Yang–Mills theory with a U ( N ) gauge group has been studied extensively. My version of the construction of the superstring world-sheet action is reviewed here.

Science & Technology - Other Topics↗
DOE OSTI2023

Finite-momentum instability of a dynamical axion insulator

Due to the chiral anomaly, Weyl semimetals can exhibit a signature topological magnetoelectric response known as an axion term which is determined by the microscopic band structure. In the presence of strong interactions Weyl fermions may form a chiral condensate, with the intrinsic dynamics and fluctuations of the associated condensate phase producing a dynamical contribution to the axion response. Here we show that an imbalance in the density of right- and left-handed electrons drives an instability of the chiral condensate towards finite momentum and leads to strong fluctuations in the axion response. We derive a long-wavelength theory of Lifschitz type governing the dynamics of the Goldstone mode and use this to characterize its associated spatial fluctuations, which manifest as an inhomogeneous anomalous Hall effect. In conclusion, we show that these fluctuations produce signatures in inelastic light-scattering experiments across a broad spectrum of frequencies, and can be used to determine the structure factor for the axionic collective mode.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Connecting flux vacua through scalar field excursions

We show how flux vacua that differ from each other in flux quanta can be seen as different vacua in a single scalar potential of an enlarged field space, which resolves the separation by thin domain walls. This observation, which is motivated by the anti–de Sitter distance conjecture, allows one to compute distances between different vacua using the usual field-space metric. We verify for explicit examples such as scale-separated IIA flux vacua and the IIB Freund-Rubin vacua that the distance conjecture (for scalar fields) is satisfied and that the asymptotic directions in the enlarged field space are indeed hyperbolic. This enlarged field space contains the tachyon fields on the unstable D ˜ p -branes of type II string theory, which can induce the brane charges of the stable D-branes. We suggest that requiring continuous interpolations refines the cobordism conjecture and postdicts the existence of unstable D ˜ p -branes. Published by the American Physical Society 2024

Astronomy & Astrophysics↗
DOE OSTI2025

Frozen generalized symmetries

M-theory frozen singularities are (locally) D - or E -type orbifold singularities with a background fractional C 3 -monodromy surrounding them. In this paper, we revisit such backgrounds and address several puzzling features of their physics. We first give a top-down derivation of how the D - or E -type 7D N = 1 gauge theory directly “freezes” to a lower-rank gauge theory due to the C 3 background. This relies on a Hanany-Witten effect of fractional M5 branes and the presence of a gauge anomaly of fractional D p probes in the circle reduction. Additionally, we compute defect groups and 8D symmetry topological field theories of the 7D frozen theories in several duality frames. We apply our results to understanding the evenness condition of strings ending on O 7 + planes, and calculating the global forms of supergravity gauge groups of M-theory compactified on T 4 / Γ with frozen singularities. We also revisit IIA A D E singularities with a C 1 -monodromy along a 1-cycle in the boundary lens space and show that this freezes the gauge degrees of freedom via confinement. Published by the American Physical Society 2025

Cvetič, Mirjam↗
DOE OSTI2022

Extension of the Generic Multi-Frequency Modelling Method for Type 3 Wind Turbines

Reflecting potential non-linearities of converter-based systems, especially frequency and sequence couplings, is an ongoing challenge for linearized multi-frequency models. Besides, design details are required to develop such models, which either are the intellectual property of manufacturers or require experimental tests. The generic multi-frequency modelling method has been proposed to fill this gap; however, it is only developed for converter-connected systems, e.g., Type 4 Wind Turbines (WT). This paper proposes to extend the application of the generic multi-frequency modelling method for Type 3 WTs. In this way, a theory for patterns of the couplings in Type 3 WTs is proposed. Accordingly, a group of emissions and couplings are Rotor-Speed-Dependent (RSD). The RSD emissions and couplings are particular characteristics of Type 3 WTs, which should be addressed in the generic multi-frequency models. Additionally, the proposed theory is verified by unique-worldwide experimental perturbation tests on a 2 MVA Type 3 WT using a 7 MVA grid emulator. Accordingly, a limited number of RSD couplings and emissions are observed in the test results, mainly in low frequencies (below 1 kHz). Therefore, addressing the RSD couplings is practical and important to extend the generic multi-frequency modelling for Type 3 WTs.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2025

The gravitational index of 5d black holes and black strings

The supersymmetric index of 5d black strings and spinning black holes in M-theory is related to that of 4d black holes in type IIA supergravity when both theories are compactified on the same Calabi-Yau threefold. We find the finite-temperature saddles for the 5d gravitational supersymmetric index by uplifting the recently found attractor saddles of the corresponding 4d index. We study uplifts for two types of geometries: 5d black holes and 5d black strings. For 5d black holes, the uplift guarantees that the index of 4d and 5d black holes match. For 5d black strings, the saddle reproduces the microscopic index at leading order in G N , even without the conventional decoupling limit taken in AdS/CFT. In particular, when the temperature is set to be finite in the 5d flat space region, the black string index is computed from an asymptotically flat solution where the AdS throat is absent. Further, as the temperature is lowered and eventually becomes infinitesimally small in the flat space region, the solution admits a novel decoupling limit in which the AdS 3 throat takes the form of a finite-temperature BTZ black hole that is known to compute the index in AdS 3 /CFT 2 . This represents the first step towards understanding holography for supersymmetric observables in flat space, away from the decoupling limit.

AdS-CFT correspondence↗
DOE OSTI2022

Dancoff-based Wigner-Seitz approximation for the subgroup resonance self-shielding in the VERA neutronic simulator MPACT

The MPACT neutronics module of the Virtual Environment for Reactor Analysis (VERA) has used the subgroup method for resonance self-shielding calculation, for which two-dimensional (2D) fixed-source transport calculations are performed using the method of characteristics for resonance energy groups. When considering thermal feedbacks, the subgroup calculation must be performed at each outer iteration. Therefore, the computing time for cross section processing is a significant burden for computational efficiency. The Dancoff-based Wigner-Seitz approximation (DWA) capability has been implemented into MPACT in conjunction with the subgroup method, which has been used in SCALE/XSProc since SCALE version 6.0 and has recently been called an equivalent Dancoff-factor cell (EDC) method. The issue of relatively large reactivity bias in DWA for the gadolinia rods was resolved by introducing multiple Dancoff factors. Benchmark results for the VERA pressurized and boiling water reactor benchmark suites show that the DWA capability would significantly enhance computational efficiency with comparable accuracy. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2022

Spectroscopic fingerprints of gapless type-II fracton phases

Fracton phases feature elementary excitations with fractionalized mobility and are exciting interest from multiple areas of theoretical physics. However, the most exotic type-II fracton phases, like the Haah codes, currently have no known experimental diagnostics. Here, we explain how type-II fracton phases with gapless gauge modes, such as the U(1) Haah code, may be identified experimentally. Our analysis makes use of the multipole gauge theory description of type-II fracton phases, which exhibits ultraviolet-infrared (UV-IR) mixing. We show that neutron scattering experiments on gapless type-II fracton phases should generically exhibit exotic pinch points in the structure factor, with distinctive anisotropic contours as a direct consequence of UV-IR mixing. Furthermore, this characteristic pinch point structure provides a clean diagnostic of type-II fracton phases. We also identify distinctive signatures of the (3 + 1)-D U(1) Haah code in the low-temperature specific heat.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2021

Internal Conversion between Bright (1 1 B $^+_u$) and Dark (21 A $^-_g$) States in s- trans -Butadiene and s- trans -Hexatriene

Internal conversion (IC) between the two lowest singlet excited states, 1 1 B$_u^+$ and 2 1 A$_g^–$, of s-trans-butadiene and s-trans-hexatriene is investigated using a series of single- and multi- reference wave function and density functional theory (DFT) methodologies. Three independent types of the equation-of-motion coupled-cluster (EOMCC) theory capable of providing an accurate and balanced description of one- as well as two-electron transitions, abbreviated as δ-CR-EOMCC(2,3), DIP-EOMCC(4h2p){N o }, and DEA-EOMCC(4p2h){N u } or DEA-EOMCC(3p1h,4p2h){N u }, consistently predict that the 1 1 B$_u^+$/2 1 A$_g^–$ crossing in both molecules occurs along the bond length alternation coordinate. However, the analogous 1 1 B$_u^+$ and 2 1 A$_g^–$ potentials obtained with some multireference approaches, such as CASSCF and MRCIS(D), as well as with the linear-response formulation of time-dependent DFT (TDDFT), do not cross. Hence, caution needs to be exercised when studying the low-lying singlet excited states of polyenes with conventional multiconfigurational methods and TDDFT. The multistate many-body perturbation theory methods, such as XMCQDPT 2 , do correctly reproduce the curve crossing. Among the simplest and least expensive computational methodologies, the DFT approaches that incorporate the contributions of doubly excited configurations, abbreviated as MRSF (mixed reference spin-flip) TDDFT and SSR( 4,4 ), accurately reproduce our best EOMCC results. This is highly promising for nonadiabatic molecular dynamics simulations in larger systems.

36 MATERIALS SCIENCE↗
DOE OSTI2022

Superconducting dome in ferroelectric-type materials from soft mode instability

Here we present a minimal theory of superconductivity enhancement in ferroelectric-type materials. Simple expressions for the optical mode responsible for the soft mode transition are assumed. A key role is played by the anharmonic phonon damping which is modulated by an external control parameter (electron doping or mechanical strain) causing the appearance of the soft mode. It is shown that the enhancement in the superconducting critical temperature T c upon approaching the ferroelectric transition from either side is due to the Stokes electron-phonon scattering processes promoted by strong phonon damping effects.

36 MATERIALS SCIENCE↗
DOE OSTI2024

When do waves drive plasma flows?

Flows and rotation, particularly E×B rotation, are critical to improving plasma performance, and waves are a primary tool of plasma control. Thus, it is paramount to understand under what conditions waves can drive E×B flows in plasmas. In this didactic review, an invited paper accompanying the 2023 Marshall N. Rosenbluth Doctoral Thesis Award, this question is answered in the context of momentum-conserving quasilinear theory. There are two primary frameworks for momentum-conserving quasilinear theories that can handle both resonant and nonresonant particles: Eulerian averaging theories and oscillation-center Hamiltonian theories. There are also two different paradigmatic wave problems: plane-wave initial value problems, and steady-state boundary value problems. Here, it is shown that each of these frameworks “naturally” works better with a different problem type. By using these theories, one finds a great difference in the behavior of time- vs space-dependent waves. A time-evolving plane wave can only drive flow if the electromagnetic momentum of the wave, given by the Poynting flux, changes. This result precludes flow drive by any planar electrostatic wave. In contrast, a steady-state spatially evolving wave can drive flow whenever there is divergence in the flux of Minkowski momentum, a completely different physical quantity. This review aims to provide a high-level, intuitive understanding of the very different behaviors observed for these two types of problem.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2026

Operationally induced preferred basis in unitary quantum mechanics

The preferred-basis problem and the definite-outcome aspect of the measurement problem persist even if the detector is modeled unitarily, because experimental data are necessarily represented in a Boolean event algebra of mutually exclusive records whereas the theoretical description is naturally formulated in a noncommutative operator algebra with continuous unitary symmetry. This change of mathematical type constitutes the core of the 'cut': a structurally necessary interface from group-based kinematics to set-based counting. In the presented view the basis relevant for recorded outcomes is not determined by the system Hamiltonian alone; it is induced by the measurement mapping, i.e., by the detector channel together with the coarse-grained readout that defines an instrument. The probabilistic mapping is anchored in symmetry and measure theory: by Gleason-type uniqueness (Gleason for projections in $d>2$ and Busch's extension for Positive Operator-Valued Measures (POVMs) including $d=2$), the trace rule is the unique probability measure consistent with additivity over exclusive events and basis-independence of the unitary sector. A compact qubit--pointer model yields an induced unsharp POVM $E_\pm=\tfrac12(\id\pm η\,σ_z)$ with $η$ fixed by pointer resolution, displaying explicitly how the detector induces the relevant basis. Finally, nested-observer paradoxes are tightened into a non-composability lemma: joint assignment of outcome propositions is obstructed unless a joint instrument exists. This relocates the origin of randomness to the stochasticity of the transition rules.

Pronskikh, Vitaly [Fermilab] (ORCID:00000002518174↗