Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “formal”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Thermodynamically consistent Cahn–Hilliard–Navier–Stokes equations using the metriplectic dynamics formalism

Cahn–Hilliard–Navier–Stokes (CHNS) systems describe flows with two-phases, e.g., a liquid with bubbles. Obtaining constitutive relations for general dissipative processes for such systems, which are thermodynamically consistent, can be a challenge. We show how the metriplectic 4-bracket formalism (Morrison and Updike, 2024) achieves this in a straightforward, in fact algorithmic, manner. First, from the noncanonical Hamiltonian formulation for the ideal part of a CHNS system we obtain an appropriate Casimir to serve as the entropy in the metriplectic formalism that describes the dissipation (e.g. viscosity, heat conductivity and diffusion effects). General thermodynamics with the concentration variable and its thermodynamics conjugate, the chemical potential, are included. Having expressions for the Hamiltonian (energy), entropy, and Poisson bracket, we describe a procedure for obtaining a metriplectic 4-bracket that describes thermodynamically consistent dissipative effects. The 4-bracket formalism leads naturally to a general CHNS system that allows for anisotropic surface energy effects. Furthermore, this general CHNS system reduces to cases in the literature, to which we can compare.

Cahn–Hilliard↗
DOE OSTI2022

Variational approach to quantum state tomography based on maximal entropy formalism

Quantum state tomography is an integral part of quantum computation and offers the starting point for the validation of various quantum devices. One of the central tasks in the field of state tomography is to reconstruct, with high fidelity, the quantum states of a quantum system. From an experiment on a real quantum device, one can obtain the mean measurement values of different operators. With such data as input, in this report we employ the maximal entropy formalism to construct the least biased mixed quantum state that is consistent with the given set of expectation values. Even though, in principle, the reported formalism is quite general and should work for an arbitrary set of observables, in practice we shall demonstrate the efficacy of the algorithm on an informationally complete (IC) set of Hermitian operators. Such a set possesses the advantage of uniquely specifying a single quantum state from which the experimental measurements have been sampled and hence renders the rare opportunity not only to construct a least-biased quantum state but even replicate the exact state prepared experimentally within a preset tolerance. Here, the primary workhorse of the algorithm is reconstructing an energy function which we designate as the effective Hamiltonian of the system, and parameterizing it with Lagrange multipliers, according to the formalism of maximal entropy. These parameters are thereafter optimized variationally so that the reconstructed quantum state of the system converges to the true quantum state within an error threshold. To this end, we employ a parameterized quantum circuit and a hybrid quantum-classical variational algorithm to obtain such a target state, making our recipe easily implementable on a near-term quantum device.

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

Scrutinizing formally Ni IV centers through the lenses of core spectroscopy, molecular orbital theory, and valence bond theory

Nickel K- and L 2,3 -edge X-ray absorption spectra (XAS) are discussed for 16 complexes and complex ions with nickel centers spanning a range of formal oxidation states from II to IV. K-edge XAS alone is shown to be an ambiguous metric of physical oxidation state for these Ni complexes. Meanwhile, L 2,3 -edge XAS reveals that the physical d-counts of the formally Ni IV compounds measured lie well above the d 6 count implied by the oxidation state formalism. The generality of this phenomenon is explored computationally by scrutinizing 8 additional complexes. The extreme case of NiF 6 2- is considered using high-level molecular orbital approaches as well as advanced valence bond methods. The emergent electronic structure picture reveals that even highly electronegative F-donors are incapable of supporting a physical d 6 Ni IV center. The reactivity of Ni IV complexes is then discussed, highlighting the dominant role of the ligands in this chemistry over that of the metal centers.

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

Efficient real space formalism for hybrid density functionals

We present an efficient real space formalism for hybrid exchange-correlation functionals in generalized Kohn–Sham density functional theory (DFT). In particular, we develop an efficient representation for any function of the real space finite-difference Laplacian matrix by leveraging its Kronecker product structure, thereby enabling the time to solution of associated linear systems to be highly competitive with the fast Fourier transform scheme while not imposing any restrictions on the boundary conditions. We implement this formalism for both the unscreened and range-separated variants of hybrid functionals. We verify its accuracy and efficiency through comparisons with established planewave codes for isolated as well as bulk systems. In particular, we demonstrate up to an order-of-magnitude speedup in time to solution for the real space method. We also apply the framework to study the structure of liquid water using ab initio molecular dynamics, where we find good agreement with the literature. Overall, the current formalism provides an avenue for efficient real-space DFT calculations with hybrid density functionals.

Chemistry↗
DOE OSTI2022

Comparison of the canonical transformation and energy functional formalisms for ab initio calculations of self-localized polarons

In materials with strong electron-phonon (e-ph) interactions, charge carriers can distort the surrounding lattice and become trapped, forming self-localized (small) polarons. We recently developed an ab initio approach based on canonical transformations to efficiently compute the formation and energetics of small polarons A different approach based on a Landau-Pekar energy functional has been proposed in the recent literature. Here in this work, we analyze and compare these two methods in detail. We show that the small polaron energy is identical in the two formalisms when using the same polaron wave function. We also show that our canonical transformation formalism can predict polaron band structures and can properly treat zero- and finite-temperature lattice vibration effects, although at present using a fixed polaron wave function. Conversely, the energy functional approach can compute the polaron wave function, but as we show here, it neglects lattice vibrations and cannot address polaron self-localization and thermal band narrowing. Taken together, this work relates two different methods developed recently to study polarons from first-principles, highlighting their merits and shortcomings and discussing them both in a unified formalism.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Correspondence between Color Glass Condensate and High-Twist Formalism

The color glass condensate (CGC) effective theory and the collinear factorization at high twist (HT) are two well-known frameworks describing perturbative QCD multiple scatterings in nuclear media. It has long been recognized that these two formalisms have their own domain of validity in different kinematic regions. Taking direct photon production in proton-nucleus collisions as an example, we clarify for the first time the relation between CGC and HT at the level of a physical observable. We show that the CGC formalism beyond shock-wave approximation, and with the Landau-Pomeranchuk-Migdal interference effect is consistent with the HT formalism in the transition region where they overlap. Such a unified picture paves the way for mapping out the phase diagram of parton density in nuclear medium from dilute to dense region.

Parton distribution functions↗
DOE OSTI2024

Multi-Rigor Agile Verification and Rapid Prototyping for Formally Verified Software

We propose a novel approach to developing formally verified systems through Multi-rigor Agile Verification. Multi-rigor Agile Verification is rooted in the hypothesis of Rigor Independence, that a system’s specification and verification architecture depend primarily on the system requirements to be verified, and they depend very little on the rigor level of the methods used to verify those requirements. Due to its iterative nature, Multi-rigor Agile Verification promises to mitigate many of the high upfront design costs experienced by formally verified systems and to deliver a better-architected, and thus better-trusted, system in the end. We then discuss the tooling needed to perform Multi-rigor Agile Verification and go in depth to build one of those tools, which directly generates executable prototype code from declarative formal specifications using the Maude rewrite-logic framework.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

GFINNs: GENERIC formalism informed neural networks for deterministic and stochastic dynamical systems

Here we propose the GENERIC formalism informed neural networks (GFINNs) that obey the symmetric degeneracy conditions of the GENERIC formalism. GFINNs comprise two modules, each of which contains two components. We model each component using a neural network whose architecture is designed to satisfy the required conditions. The component-wise architecture design provides flexible ways of leveraging available physics information into neural networks. We prove theoretically that GFINNs are sufficiently expressive to learn the underlying equations, hence establishing the universal approximation theorem. We demonstrate the performance of GFINNs in three simulation problems: gas containers exchanging heat and volume, thermoelastic double pendulum and the Langevin dynamics. In all the examples, GFINNs outperform existing methods, hence demonstrating good accuracy in predictions for both deterministic and stochastic systems.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Formal Methods for Provably Secure Software and Firmware

This project addresses a gap observed in verifying the programming in embedded devices used in international arms control: namely verifying that embedded programming in an arms control device does exactly what it is supposed to do, no more and no less, every time without fail, and without disclosing unauthorized information accidentally or intentionally. In critical military, aerospace, and industrial safety systems this problem is sometimes addressed using formal methods (FM). This multi-year project seeks to identify formal methods toolsets useable in arms control regimes, with emphasis on applicability, ease of use, long term availability, and support.

formal methods, Arms Control Verification↗
DOE OSTI2023

Spinor-helicity formalism for massive and massless amplitudes in five dimensions

Five-dimensional gauge and gravity theories are known to exhibit striking properties. D = 5 is the lowest dimension where massive tensor states appear naturally, providing a testing ground for perturbative insights into six-dimensional tensor theories. Five-dimensional supergravities are highly constrained and admit elegant geometric and algebraic formulations, with global symmetries manifest at the Lagrangian level. In this paper, we take a step towards the systematic investigation of amplitudes in five dimensions, and present a five-dimensional version of the spinor-helicity formalism, applicable to massless, massive and supersymmetric states. We give explicit representations for on-shell spinor and polarization variables such that the little-group symmetry and gauge redundancy are manifest. Massive self-dual tensor states are discussed in some detail, as well as all the on-shell supermultiplets that can appear in matter-coupled gauge and supergravity theories. As a byproduct of considering supersymmetry in the presence of central charge, we obtain massless ten-dimensional Majorana-Weyl spinors as products of five-dimensional massive spinors. We present compact expressions for superamplitudes at multiplicity three and four, including several novel superamplitudes that either do not straightforwardly uplift to six dimensions, or have not appeared in the six-dimensional literature. We discuss several examples of five-dimensional double-copy constructions in the context of gravitational theories with massive vectors and tensors, illustrating that the formalism we construct can also be used to considerably streamline the double-copy construction of $\mathcal{N}$ = 2 Maxwell-Einstein supergravities.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2026

Implementing the finite-volume three-pion scattering formalism across all non-maximal isospins

We present a numerical exploration of the relativistic-field-theory (RFT) formalism for three pions with all possible values of non-maximal isospin, I πππ = 2, 1 and 0. Using the generic-isospin extension of the RFT formalism [1] and applying our open-source Python library to implement the framework, we predict a range of three-pion energies for illustrative values of the two-to-two scattering amplitudes for various finite-volume irreps also with non-zero total momentum P in the finite-volume frame. The results restrict attention to the case of a vanishing intrinsic three-body interaction so that the spectra can be understood as a baseline. In future lattice QCD calculations, deviations from these values will be translated into evidence for intrinsic three-body effects in the various scattering channels.

hadronic spectroscopy↗
DOE OSTI2020

Scattering Observables from One- and Two-body Densities: Formalism and Application to $\pmb \gamma $ ${}^3\hbox {He}$ Scattering

We introduce the transition-density formalism, an efficient and general method for calculating the interaction of external probes with light nuclei. One- and two-body transition densities that encode the nuclear structure of the target are evaluated once and stored. They are then convoluted with an interaction kernel to produce amplitudes, and hence observables. Here, by choosing different kernels, the same densities can be used for any reaction in which a probe interacts perturbatively with the target. The method therefore exploits the factorisation between nuclear structure and interaction kernel that occurs in such processes. We study in detail the convergence in the number of partial waves for matrix elements relevant in elastic Compton scattering on 3 He. The results are fully consistent with our previous calculations in Chiral Effective Field Theory. But the new approach is markedly more computationally efficient, which facilitates the inclusion of more partial-wave channels in the calculation. We also discuss the usefulness of the transition-density method for other nuclei and reactions. Calculations of elastic Compton scattering on heavier targets like 4 He are straightforward extensions of this study, since the same interaction kernels are used. And the generality of the formalism means that our 3 He densities can be used to evaluate any 3 He elastic-scattering observable with contributions from one- and two-body operators.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

A generalized and adaptable tensor-contraction-based cluster expansion formalism for multicomponent solids

Density functional theory (DFT)-based simulations of materials have first-principles accuracy, but are very computationally expensive. For simulating various properties of multi-component alloys, the cluster expansion (CE) technique has served as the standard workaround to improve computational efficiency. However, the standard CE technique is difficult to extend to exotic and/or low-symmetry lattices, often implemented via iteration over particular cluster types, which must be enumerated per lattice structure. In this work, we introduce the tensor cluster expansion (TCE), implemented in the open-source code tce-lib, which maps correlation functions to mixed tensor contractions, eliminating the need to iterate over cluster types and additionally making the calculation of correlation functions well-suited for massively parallel architectures like GPUs. We show that local interaction energies are an immediate consequence of the TCE formalism, yielding nearly $\mathcal{O}$(1) energy difference calculations. We then use this formalism to fit CE models for the TaW and CoNiCrFeMn systems, and use these models to respectively compute the enthalpy of mixing curve and Cowley short-range order parameters, showing excellent agreement with ground truth data.

Cluster expansion↗
DOE OSTI2025

Synthesis, Structure, and Redox Reactivity of Ni Complexes Bearing a Redox and Acid–Base Non-innocent Ligand with Ni II , Ni III , and Ni IV Formal Oxidation States

Here, a series of Ni complexes bearing a redox and acid–base noninnocent tetraamido macrocyclic ligand, H 4 -(TAML-4) {H 4 -(TAML-4) = 15,15-dimethyl-5,8,13,17-tetrahydro-5,8,13,17-tetraaza-dibenzo[a,g]cyclotridecene-6,7,14,16-tetraone}, with formal oxidation states of Ni II , Ni III , and Ni IV were synthesized and characterized structurally and spectroscopically. The X-ray crystallographic analysis of the Ni complexes revealed a square planar geometry, and the [Ni(TAML-4)] complex with the formal oxidation state of Ni IV was characterized to be [Ni III (TAML-4 •+ )] with the oxidation state of the Ni III ion and the one-electron oxidized TAML-4 ligand, TAML-4 •+ . The Ni III oxidation state and the TAML-4 radical cation ligand, TAML-4 •+ , were supported by X-ray absorption spectroscopy and density functional theory calculations. The reversible interconversions between [Ni II (TAML-4)] 2– and [Ni III (TAML-4)] − and between [Ni III (TAML-4)] − and [Ni III (TAML-4 •+ )] were demonstrated in spectroelectrochemical measurements as well as in chemical oxidation and reduction reactions. The reactivities of [Ni III (TAML-4)] − and [Ni III (TAML-4 •+ )] were then investigated in hydride transfer reactions using NADH analogs. Hydride transfer from 9,10-dihydro-10-methylacridine (AcrH 2 ) to [Ni III (TAML-4 •+ )] was found to proceed via electron transfer (ET) from AcrH 2 to [Ni III (TAML-4 •+ )] with no deuterium kinetic isotope effect (k H /k D = 1.0(2)). In contrast, hydride transfer from AcrH 2 to [NiIII(TAML-4)] − proceeded much more slowly via a concerted proton-coupled electron transfer (PCET) process with k H /k D = 7.0(5). In the latter reaction, an electron and a proton were transferred to the Ni III center and the TAML-4 ligand, respectively. The mechanisms of the ET by [Ni III (TAML-4 •+ )] and the concerted PCET by [Ni III (TAML-4)] − were ascribed to the different redox potentials of the Ni complexes.

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

A formal Fe III/V redox couple in an intercalation electrode

Iron redox cycling between low-valent oxidation states of Fe II and Fe III drives crucial processes in nature. The Fe II/III redox couple charge compensates the cycling of lithium iron phosphate, a positive electrode (cathode) for lithium-ion batteries. High-valent iron redox couples, involving formal oxidation higher than Fe III , could deliver higher electrochemical potentials and energy densities. However, because of the instability of high-valent Fe electrodes, they have proven difficult to probe and exploit in intercalation systems. Here, in this study, we report and characterize a formal Fe III/V redox couple by revisiting the charge compensation mechanism of (de)lithiation in Li 4 FeSbO 6 . Valence-sensitive experimental and computational core-level spectroscopy reveal a direct transition from Fe III (3d 5 ) to a negative-charge-transfer FeV (3d 5 L 2 ) ground state on delithiation, without forming Fe IV , or oxygen dimers. We identify that the cation ordering in Li 4 FeSbO 6 drives a templated phase transition to stabilize the unique Fe V species and demonstrate that disrupting cation ordering suppresses the Fe III/V redox couple. Exhibiting resistance to calendar aging, high operating potential and low voltage hysteresis, the Fe III/V redox couple in Li 4 FeSbO 6 provides a framework for developing sustainable, Fe-based intercalation cathodes for high-voltage applications.

Ramachandran, Hari [Stanford Univ., CA (United Sta↗
DOE OSTI2023

Aromatic and aliphatic hydrocarbon hydroxylation via a formally Ni IV =O oxidant

The reaction of (NMe 4 ) 2 [Ni II (L Ph )(OAc)] (1[OAc], L Ph = 2,2',2''-nitrilo-tris-(N-phenylacetamide); OAc = acetate) with 3-chloroperoxybenzoic acid (m-CPBA) resulted in the formation of a self-hydroxylated Ni III -phenolate complex, 2, where one of the phenyl groups of L Ph underwent hydroxylation. 2 was characterised by UV-Vis, EPR, and XAS spectroscopies and ESI-MS. 2 decayed to yield a previously characterised Ni II -phenolate complex, 3. We postulate that self-hydroxylation was mediated by a formally Ni IV =O oxidant, formed from the reaction of 1[OAc] with m-CPBA, which undergoes electrophilic aromatic substitution to yield 2. This is supported by an analysis of the kinetic and thermodynamic properties of the reaction of 1[OAc] with m-CPBA. Addition of exogenous hydrocarbon substrates intercepted the self-hydroxylation process, producing hydroxylated products, providing further support for the formally Ni IV =O entity. This study demonstrates that the reaction between Ni II salts and m-CPBA can lead to potent metal-based oxidants, in contrast to recent studies demonstrating carboxyl radical is a radical free-chain reaction initiator in Ni II /m-CPBA hydrocarbon oxidation catalysis.

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

Relativistic self-consistent G W : Exact two-component formalism with one-electron approximation for solids

We present a formulation of relativistic self-consistent GW for solids based on the exact two-component formalism with one-electron approximation (X2C1e) and nonrelativistic Coulomb interactions. Our theory allows us to study scalar relativistic effects, spin-orbit coupling, and the interplay of relativistic effects with electron correlation without adjustable parameters. Our all-electron implementation is fully ab initio and does not require a pseudopotential constructed from atomic calculations. We examine the effect of the X2C1e approximation by comparison to the established four-component formalism and reach an excellent agreement. The simplicity of X2C1e enables the construction of higher order theories, such as embedding theories, on top of perturbative calculations.

36 MATERIALS SCIENCE↗
DOE OSTI2022

Self-consistency in GWΓ formalism leading to quasiparticle-quasiparticle couplings

Within many-body perturbation theory, Hedin's formalism offers a systematic way to iteratively compute the self-energy Σ of any dynamically correlated interacting system, provided one can evaluate the interaction vertex Γ exactly. This is, however, impossible, in general, for it involves the functional derivative of Σ with respect to the Green's function. Here, we analyze the structure of this derivative, splitting it into four contributions and outlining the type of quasiparticle interactions that each of them generate. Moreover, we show how, in the implementation of self-consistency, the action of these contributions can be classified into two: A quantitative renormalization of previously included interaction terms and the inclusion of qualitatively distinct interaction terms through successive functional derivatives of Γ itself. Implementing this latter type of self-consistency can extend the validity of perturbative approximations based on Hedin's equations toward the high interaction limit, as we show in the example of the Hubbard dimer. Furthermore, our analysis also provides a unifying perspective on the perturbation theory landscape, showing how the T-matrix approach is completely contained in Hedin's formalism.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗