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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

New heavenly double copies

The double copy relates scattering amplitudes and classical solutions in Yang-Mills theory, gravity, and related field theories. Previous work has shown that this has an explicit realisation in self-dual YM theory, where the equation of motion can be written in a form that maps directly to Plebański’s heavenly equation for self-dual gravity. The self-dual YM equation involves an area-preserving diffeomorphism algebra, two copies of which appear in the heavenly equation. In this paper, we show that this construction is a special case of a wider family of heavenly-type examples, by (i) performing Moyal deformations, and (ii) replacing the area-preserving diffeomorphisms with a less restricted algebra. As a result, we obtain a double-copy interpretation for hyper-Hermitian manifolds, extending the previously known hyper-Kähler case. We also introduce a double-Moyal deformation of the heavenly equation. The examples where the construction of Lax pairs is possible are manifestly consistent with Ward’s conjecture, and suggest that the classical integrability of the gravity-type theory may be guaranteed in general by the integrability of at least one of two gauge-theory-type single copies.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Perfect spinfluid: A divergence-type approach

We present a new formulation of nondissipative relativistic spin hydrodynamics that incorporates spin degrees of freedom into the divergence-type theory framework. Due to the divergence-type structure, it is straightforward to enforce nonlinear causality and symmetric hyperbolicity of the equations of motion, ensuring local well-posedness of the initial-value problem and stability of the theory. Furthermore, in a specific realization based on spin kinetic theory, we prove that the equations of motion remain nonlinearly causal and symmetric-hyperbolic to all orders in the spin potential, provided a specific thermodynamic constraint is satisfied. Here, this framework can be applied for numerical simulations to study the dynamics of spin-polarized fluids, such as the quark-gluon plasma in heavy-ion collisions.

Chirality↗
DOE OSTI2023

Stress Tensor flows, birefringence in non-linear electrodynamics and supersymmetry

We identify the unique stress tensor deformation which preserves zero-birefringence conditions in non-linear electrodynamics, which is a 4d 4 d version of the T\overline{T} T T ¯ operator. We study the flows driven by this operator in the three Lagrangian theories without birefringence - Born-Infeld, Plebanski, and reverse Born-Infeld - all of which admit ModMax-like generalizations using a root- T\overline{T} T T ¯ -like flow that we analyse in our paper. We demonstrate one way of making this root- T\overline{T} T T ¯ -like flow manifestly supersymmetric by writing the deforming operator in \mathcal{N} = 1 𝒩 = 1 superspace and exhibit two examples of superspace flows. We present scalar analogues in d = 2 d = 2 with similar properties as these theories of electrodynamics in d = 4 d = 4 . Surprisingly, the Plebanski-type theories are fixed points of the classical T\overline{T} T T ¯ -like flows, while the Born-Infeld-type examples satisfy new flow equations driven by relevant operators constructed from the stress tensor. Finally, we prove that any theory obtained from a classical stress-tensor-squared deformation of a conformal field theory gives rise to a related “subtracted” theory for which the stress-tensor-squared operator is a constant.

Physics↗
DOE OSTI2022

Field Theories for type-II fractons

We derive an effective field theory for a type-II fracton starting from the Haah code on the lattice. The effective topological theory is not given exclusively in terms of an action; it must be supplemented with a condition that selects physical states. Without the constraint, the action only describes a type-I fracton. The constraint emerges from a condition that cube operators multiply to the identity, and it cannot be consistently implemented in the continuum theory at the operator level, but only in a weaker form, in terms of matrix elements of physical states. Informed by these studies and starting from the opposite end, i.e., the continuum, we discuss a Chern-Simons-like theory that does not need a constraint or projector, and yet has no mobile excitations. Whether this continuum theory admits a lattice counterpart remains unanswered.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Correlation matrix renormalization theory in multi-band lattice systems

An appropriate treatment of electronic correlation effects plays an important role in accurate descriptions of physical and chemical properties of real materials. The recently proposed correlation matrix renormalization theory with sum rule correction (CMR) for studying correlated-electron materials has shown good performance in molecular systems and a periodic hydrogen chain in comparison with various quantum chemistry and quantum Monte Carlo calculations. Additionally, this work gives a detailed formulation and computational code implementation of CMR in multi-band periodic lattice systems. This lattice CMR ab initio theory is highly efficient, has no material specific adjustable parameters, and has no double counting issues faced by the hybrid approaches like LDA + U, DFT + DMFT and DFT + GA type theories. Benchmark studies on materials with s and p orbitals in this study show that CMR in its current implementation consistently performs well for these systems as the electron correlation increases from the bonding region to the bond breaking region.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2026

A new effective theory for stochastic relativistic hydrodynamics

Thermal fluctuations are a fundamental feature of dissipative systems that are essential for understanding physics near the expected critical point of QCD and in small systems. When such fluctuations are modeled naively in relativistic systems, strange features can appear such as negative self-correlation functions. We construct an effective theory for nonlinear stochastic relativistic hydrodynamics that ensure a well-posed mathematical formulation. Using Crooks fluctuation theorem, we derive a symmetry of the effective action that incorporates fluctuations through a suitable free energy functional. For divergence type theories, the action can then be fully specified using a single vector generating current. The equations of motion obtained using this procedure are guaranteed to be flux conservative and symmetric hyperbolic when the dynamics is causal. This ensures that these equations are well-posed (for suitable initial data) and are in a form that can easily be simulated, including with Metropolis techniques.

Mullins, Nicki [University of Illinois at Urbana-C↗
DOE OSTI2023

The S-matrix of 2D type 0B string theory. Part I. Perturbation theory revisited

We study the perturbative S-matrix of closed strings in the two-dimensional type 0B string theory from the worldsheet perspective, by directly integrating correlation functions of N = 1 Liouville theory. The latter is computed numerically using recurrence relations for super-Virasoro conformal blocks. We show that the tree level 3- and 4-point amplitudes are in agreement with the proposed dual matrix quantum mechanics. The non-perturbative aspects of the duality will be analyzed in a companion paper.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Metal dissolution from first principles: Potential-dependent kinetics and charge transfer

Metal dissolution and its inverse process are integral to both corrosion and electrodeposition; however, many mechanistic details regarding the dissolution process are challenging to decipher. These include how ion dissolution kinetics and charge transfer are influenced by the competition between metal and solvent interactions under an electrode potential. Here, in this work, we introduce a computational framework based on density functional theory with grand-canonical treatment of electrons to directly predict the potential energy landscape for metal dissolution at a constant potential. Using aluminum as an example, we demonstrate that dissolution kinetics is governed by competing kinetics between two physical processes associated with metal–metal bond breaking and ion-migration within the electrical double layer, respectively. We identify a kinetic transition between regimes dominated by each of these processes and show that this transition depends on the operating electrode potential, among other key factors. It is further found that kinetics and thermodynamics of these processes can be described with a simple, one-parameter Marcus-theory-type model. Beyond offering new understanding of charge transfer during dissolution, our simulation protocol provides a recipe for directly predicting other important quantities in electrochemical reactions from first principles that are difficult to measure, such as the symmetry factor.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Flexoinduced ferroelectricity in low-dimensional transition metal dichalcogenides

We developed a Landau-type theory for the description of polar phenomena in low-dimensional transition metal dichalcogenides (TMDs), specifically exploring the flexoelectric origin of the polarization induced by a spontaneous bending and by inversion symmetry breaking due to the interactions with substrate. We consider the appearance of the spontaneous out-of-plane polarization due to the flexoelectric coupling with the strain gradient of the spontaneous surface rippling and surface-induced piezoelectricity. Additionally, performed calculations proved that the out-of-plane spontaneous polarization, originating from the flexoelectric effect in a rippled TMD, is bistable and reversible by a nonuniform electric field. In contrast, the spontaneous polarization induced by a misfit strain and symmetry-sensitive surface-induced piezoelectric coupling, cannot be reversed by an external electric field. Special attention is paid to the spectral analysis of the linear dielectric susceptibility and gain factor, which enhancement is critically important for the observation of the polar phenomena in low-dimensional TMDs by the surface-enhanced vibrational spectroscopy.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

KLOKKOS: Automated test generation for performance-portable programs

SAND2024-13830O The KLOKKOS project provides a suite of test generation and validation tools to increase maintainability and portability of Kokkos programs. KLOKKOS, a portmanteau of Klee and Kokkos, is developing an automated test generation for performance-portable programs using Clang/low-level virtual machine (LLVM) and formal methods. KLOKKOS is based on several topics in computer science: the development of symbolic and concolic analysis of LLVM and C++ codes, formal semantics and type theory, C++ templates and language features, LLVM compiler infrastructure, and data parallel primitives. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525

SciDAC↗
DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

The S-matrix of 2D type 0B string theory. Part II. D-instanton effects

We study the effect of D-instantons on closed string scattering amplitudes in the two-dimensional type 0B string theory from the worldsheet perspective. We find that the contribution from a pair of D-instanton and anti-D-instanton to the closed string reflection amplitude, with a suitable contour prescription for the integration over the D-instanton moduli space, agrees with the corresponding leading non-perturbative corrections in the proposed dual matrix quantum mechanics. This analysis is further extended to thermal observables defined at finite temperature. The infrared divergence in charged processes is understood through the measure factor for charged D-instantons, and can be treated with spacetime dimensional regularization.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Normalization of ZZ instanton amplitudes in type 0B minimal superstring theory

Abstract We study ZZ instanton corrections in the (2,4k)$$ \mathcal{N} $$ N = 1 minimal superstring theory with the type 0B GSO projection, which becomes the type 0B$$ \mathcal{N} $$ N = 1 super-JT gravity in thek→ ∞ limit. Each member of the (2,4k) family of theories has two phases distinguished by the sign of the Liouville bulk cosmological constant. The worldsheet method for computing the one-loop normalization constant multiplying the instanton corrections gives an ill-defined answer in both phases. We fix these divergences using insights from string field theory and find finite, unambiguous results. Each member of the (2,4k) family of theories is dual to a double-scaled one-matrix integral, where the double-scaling limit can be obtained starting either from a unitary matrix integral with a leading one-cut saddle point, or from a hermitian matrix integral with a leading two-cut saddle point. The matrix integral exhibits a gap-closing transition, which is the same as the double-scaled Gross-Witten-Wadia transition whenk= 1. We also compute instanton corrections in the double-scaled matrix integral for allkand in both phases, and find perfect agreement with the string theory results.

Physics↗
DOE OSTI2020

Near conformal perturbation theory in SYK type models

We present a systematic procedure to extract the dynamics of the low energy soft mode in SYK type models with a single energy scale J and emergent reparametrization symmetry in the IR. This is given in the framework of the perturbative scheme of arXiv:1608.07567 based on a specific (off-shell) breaking of conformal invariance in the UV, adjusted to yield the exact large-N saddle point. While this breaking term formally vanishes on-shell, it has a non-trivial effect on correlation functions and the effective action. In particular, it leads to the Schwarzian action with a specific coupling to bi-local matter. The method is applied to the evaluation of O(1) corrections to the correlation function of bi-locals. As a byproduct we confirm precise agreement with the explicit, symmetry breaking procedure. We provide a verification in the large q limit (Liouville theory), where the correlators can be calculated exactly at all length scales. In this case, our scheme illuminates how the enhanced O(J) and the subleading O(1) contributions originate from the Schwarzian dynamics of the soft mode and its interaction with h = 2 (bi-local) matter.

1/N expansion↗
DOE OSTI2022

The quantum $\mathrm{UV}$-$\mathrm{IR}$ map for line defects in $$ \mathfrak{gl} $$(3)-type class $\mathcal{S}$ theories

We consider the quantum UV-IR map for line defects in class S theories of $\mathfrak{gl}$(3)-type. This map computes the protected spin character which counts framed BPS states with spin for the bulk-defect system. We give a geometric method of computing this map motivated by the physics of five-dimensional $\mathcal{N}$ = 2 supersymmetric Yang-Mills theory, and compute it explicitly in various examples. As a spin-off we propose a new way of computing a certain specialization of the HOMFLY polynomial for links in $\mathbb{R}^3$, as a sum over BPS webs attached to the link.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Warped Disk Galaxies. I. Linking U-type Warps in Groups/Clusters to Jellyfish Galaxies

Warped disk galaxies are classified into two morphologies: S and U types. Conventional theories routinely attribute both types to galactic tidal interaction and/or gas accretion, but reproducing U types in simulations is extremely challenging. Here we investigate whether both types are governed by the same mechanisms using the most extensive sample of ~8000 nearby (0.02 < z < 0.06) massive (M*/M ⊙ > 10 9 ) edge-on disks from the Sloan Digital Sky Survey. We find that U types show on average bluer optical colors and a higher specific star formation rate (sSFR) than S types, with more strongly warped U types having a higher sSFR. We also find that while the S-type warp properties correlate with the tidal force by the nearest neighbor regardless of the environment, there is no such correlation for U types in groups/clusters, suggesting a nontidal mechanism could be at play for U types, such as ram pressure stripping (RPS). Indeed, U types are more common in groups/clusters than in fields and they have stellar mass, gas fraction, sSFR enhancement, and phase-space distribution closely analogous to RPS-induced jellyfish galaxies in clusters. We furthermore show that the stellar disks of most RPS galaxies in the IllustrisTNG simulation are warped in a U shape and bent in the opposite direction of stripped gas tails, satisfying theoretical expectations for stellar warps embedded in jellyfishes. We therefore suggest that despite the majority of U types that live in fields being still less explained, RPS can be an alternative origin for those in groups/clusters.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

Interlayer spacing in pillared and grafted MCM-22 type silicas: density functional theory analysis versus experiment

Pillaring of synthetic layered crystalline silicates and aluminosilicates provides a strategy to enhance their adsorption and separation performance, and can facilitate the understanding of such behavior in more complex natural clays. In this study, we perform the first-principles density functional theory calculations for the pillaring of the pure silica polymorph of an MCM-22 type molecular sieve. Starting with a precursor material MCM-22P with fully hydroxylated layers, a pillaring agent, (EtO) 3 SiR, can react with hydroxyl groups (–OH) on adjacent internal surfaces, 2(–OH) + (EtO) 3 SiR + H 2 O → (–O) 2 SiOHR + 3EtOH, to form a pillar bridging these surfaces, or with a single hydroxyl, –OH + (EtO) 3 SiR + 2H 2 O → (–O)Si(OH) 2 R + 3EtOH, grafting to one surface. For computational efficiency, we replace the experimental organic ligand, R, by a methyl group. We find that the interlayer spacing in MCM-22 is reduced by 2.66 Å relative to weakly bound layers in the precursor MCM-22P. Including (–O) 2 SiR bridges for 50% (100%) of the hydroxyl sites in MCM-22P increases the interlayer spacing relative to MCM-22 by 2.52 Å (2.46 Å). For comparison, we also analyze the system where all –OH groups in MCM-22P are replaced by non-bridging grafted (–O)Si(OH) 2 R which results in a smaller interlayer spacing expansion of 2.17 Å relative to MCM-22. Our results for the interlayer spacing in the pillared materials are compatible with experimental observations for a similar MCM-22 type material with low Al content (Si : Al = 51 : 1) of an expansion relative to MCM-22 of roughly 2.8 Å and 2.5 Å from our x-ray diffraction and scanning transmission electron microscopy analyses, respectively. The latter analysis reveals significant variation in individual layer spacings.

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

q-nonabelianization for line defects

We consider the q-nonabelianization map, which maps links L in a 3-manifold M to combinations of links $\tilde{L}$ in a branched N -fold cover $\tilde{M}$. In quantum field theory terms, q-nonabelianization is the UV-IR map relating two different sorts of defect: in the UV we have the six-dimensional (2, 0) superconformal field theory of type gl(N ) on M × R 2,1 , and we consider surface defects placed on L × {x 4 = x 5 = 0}; in the IR we have the (2, 0) theory of type gl (1) on $\tilde{M}$ × R 2,1 , and put the defects on $\tilde{L}$ × {x 4 = x 5 = 0}. In the case M = R 3 , q-nonabelianization computes the Jones polynomial of a link, or its analogue associated to the group U(N ). In the case M = C × R, when the projection of L to C is a simple non-contractible loop, q-nonabelianization computes the protected spin character for framed BPS states in 4d N = 2 theories of class S. In the case N = 2 and M = C × R, we give a concrete construction of the q-nonabelianization map. The construction uses the data of the WKB foliations associated to a holomorphic covering $\tilde{C}$ →C.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗