Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal analysis”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Solving the homogeneous Bethe-Salpeter equation with a quantum annealer

The homogeneous Bethe-Salpeter equation (hBSE), describing a bound system in a genuinely relativistic quantum-field theory framework, was solved for the first time by using a D-Wave quantum annealer. After applying standard techniques of discretization, the hBSE, in ladder approximation, can be formally transformed in a generalized eigenvalue problem (GEVP), with two square matrices: one symmetric and the other nonsymmetric. The latter matrix poses the challenge of obtaining a suitable formal approach for investigating the GEVP by means of a quantum annealer, i.e., to recast it as a quadratic unconstrained binary optimization problem. A broad numerical analysis of the proposed algorithms, applied to matrices of dimension up to 64, was carried out by using both the simulated-annealing package and the D-Wave . The numerical results very nicely compare with those obtained with standard classical algorithms, and also show interesting scalability features. Published by the American Physical Society 2024

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2021

Historical NTS digitizer file format

The historical NTS *.dig data formal is not widely known. I document the proper *.dig file format. I include the MATLAB code used to read *.dig files with the historical data analysis software, "eXreme Las Vegas".

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Analysis of Bose-Einstein condensation times for self-interacting scalar dark matter

We investigate the condensation time of self-interacting axionlike particles in a gravitational well, extending the prior work which showed that the Wigner formalism is a good analytic approach to describe a condensing scalar field. In the present work, we use this formalism to affirm that $\phi$4 self-interactions will take longer than necessary to support the time scales associated with structure formation, making gravity a necessary part of the process to bring axion dark matter into a solitonic form. Here we show that when the axions’ virial velocity is taken into account, the time scale associated with self-interactions will scale as λ2. This is consistent with recent numerical estimates, and it confirms that the Wigner formalism described in prior work is a helpful analytic framework to check computational work for potential numerical artifacts.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Extraction of the higher-twist parton distribution $e(x)$ from CLAS data

We present the first point-by-point extraction of a twist-3 PDF. The scalar PDF, e(x), is accessed through the analysis of the data for the sin φR-moment of the beam-spin asymmetry for dihadron production in semi-inclusive DIS off proton target at CLAS and CLAS12. The dihadron formalism allows for use of collinear framework, hence calling for a minimal set of approximations and hypotheses. The extracted PDF e(x) carries insights into the physics of the largely-unexplored quark-gluon correlations, and its first Mellin moment is related to the marginally known scalar charge of the nucleon. We show that the proton flavor combination of the scalar PDF is nonzero at more than 74% probability.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Revisiting the assignment of atomic charges in metal oxides based on core-level x-ray photoelectron spectra: The case of Ti in SrTiO3(001)

We demonstrate that assigning formal charges to transition metal (TM) cations based on core-level (CL) x-ray photoemission binding energies in oxides leads to physically inconsistent pictures of electronic structure. O 2p–TM 3d hybridization is well known to result in significant covalency in TM–O bonds, thereby reducing TM cation charges from their fully ionic values. However, the ionic bonding model remains the working paradigm for assigning TM CL features, and the resulting cation charges are often taken to be representative of the material under study. Here, we show that a more physically meaningful way to assign charges is to extract information about charge distributions utilizing Dirac–Hartree–Fock theory to calculate CL spectra from first principles and then use the resulting wave functions to determine charges based on orbital occupancies. TM cation charges can also be determined using density functional theory and Bader population analysis. We illustrate these two methods using the Ti 2p spectrum for SrTiO3(001) and show that the agreement between them is excellent. Significantly, the resulting Ti charge is considerably lower than the formal charge. The high degree of similarity between the Ti 2p spectrum for SrTiO3 and those for the rutile and anatase polymorphs of TiO2 suggests that the charge densities surrounding Ti in the latter materials are similar to that in SrTiO3. Taking a broader perspective, oxides containing other first-row transition metals also exhibit covalent character, leading to TM cation charges lower than the analogous fully ionic values in these materials as well.

Chambers, Scott A. (ORCID:000000025415043X)↗
DOE OSTI2025

Decoding Antenna Behavior in Metal—Organic Frameworks

Metal–organic frameworks (MOFs) define a solid-state platform for developing artificial photosystems. Efficient anisotropic exciton migrations in these frameworks entail “antenna behavior” that can power up the distal interior reaction centers (RC), driving charge separation between donor-acceptor pairs. Reminiscent of the natural light-harvesting complex, such processes can achieve high quantum yield by exploiting the vast interior surface of the porous crystallites. It is important to understand the optimum positioning of the RC site relative to the anisotropic exciton migration path within these frameworks. The efficiency of such antenna behavior is probed here through Stern–Volmer (SV) type analysis with a series of node-anchored redox quenchers, ferrocene-carboxylate, ferrocene acetate, and dinitrobenzoate. Decoding various intrinsic processes, this work constructs a revised SV formalism in solid assembly that hosts ultrafast anisotropic exciton migration to account for the intrinsic exciton hopping rate from the extrinsic electron transfer rate, and the dimension of effective quenching. In conclusion, this transformative understanding can be applied to other relevant solid-state assemblies.

Saha, Bapan [Southern Illinois University, Carbond↗
DOE OSTI2025

Molecular Design of Al(II) Intermediates for Small Molecule Activation

Promoting societally important small molecule activation processes with earth-abundant metals is foundational for a sustainable chemistry future. In this context, mapping new reaction pathways that would enable abundant main-group elements to mimic the behaviors of d- and f-block elements is facilitated by exploring unusual oxidation states. The most abundant metal on earth, aluminum, has been well studied in the Lewis acidic +III and Lewis basic +I oxidation states but rarely in the potentially biphilic +II oxidation state until recently, when a renaissance of Al(II) chemistry emerged from a range of research groups. In this Perspective, we review the chemistry of mononuclear Al radicals, including both Al-centered radicals (i.e., Al(II) compounds) and redox non-innocent systems (i.e., formally Al(II) species that are physically Al(III) with ligand-centered radicals), with an emphasis on small molecule reactivity. We also provide a meta-analysis of the Al(II) literature to summarize how different design strategies (e.g., redox non-innocence, strained coordination geometries) have been shown to impart biphilic character to Al radicals and tune their behavior, thus allowing Al radicals to mimic the chemistry of certain d- and f-block metal ions such as Ti(III) and Sm(II). We expect these molecular design concepts to inform future Al(II) studies as the chemistry of this unusual oxidation state of Al continues to grow.

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

Quantitative assessment of fitting errors associated with streak camera noise in Thomson scattering data analysis

Thomson scattering measurements in high energy density experiments are often recorded using optical streak cameras. In the low-signal regime, noise introduced by the streak camera can become an important and sometimes the dominant source of measurement uncertainty. In this paper, we present a formal method of accounting for the presence of streak camera noise in our measurements. We present a phenomenological description of the noise generation mechanisms and present a statistical model that may be used to construct the covariance matrix associated with a given measurement. This model is benchmarked against simulations of streak camera images. We demonstrate how this covariance may then be used to weight fitting of the data and provide quantitative assessments of the uncertainty in the fitting parameters determined by the best fit to the data and build confidence in the ability to make statistically significant measurements in the low-signal regime, where spatial correlations in the noise become apparent. These methods will have general applicability to other measurements made using optical streak cameras.

47 OTHER INSTRUMENTATION↗
DOE OSTI2021

Air separation via a two-step solar thermochemical cycle based on (Ba,La) x Sr 1-x FeO 3-δ : Thermodynamic analysis

A two-step solar thermochemical cycle was considered for air separation to produce N2 based on (Ba,La) x Sr 1-x FeO 3-δ perovskite reduction/oxidation (redox) reactions for A-site fractions of 0 ≤ x ≤ 0.2. The cycle steps encompassed (1) thermal reduction and O 2 release via concentrated solar input and (2) re-oxidation with air to uptake O 2 and produce high-purity N 2 . Thermogravimetry at temperatures between 400 and 1100 °C in atmospheres of 0.005 to 90% O 2 /Ar at 1 bar was performed to measure equilibrium nonstoichiometries. The compound energy formalism was applied to model redox thermodynamics for both Ba 2+ and La 3+ substitution. Non-linear regression was used to determine the empirical parameters based on the thermogravimetric measurements. The model was used to define partial molar reaction enthalpies and entropies and predicted equilibrium oxygen nonstoichiometry as functions of oxide stoichiometry, site fraction, temperature, and O 2 partial pressure. The thermodynamic analysis showed the materials are appealing for air separation at temperatures below 800 °C.

42 ENGINEERING↗
DOE OSTI2026

Theoretical framework for soft X-ray Fourier transform spectroscopy using the Wigner function

This work presents a theoretical framework for the propagation of partially coherent Gaussian radiation in a modified Mach–Zehnder interferometer designed for Fourier transform spectroscopy (FTS) applications. Using the Wigner function formalism, we analytically propagate the radiation through the system and benchmark our approach by comparing the resulting interference pattern and interferogram with previous works in the diffraction limit. Our analysis reveals that the transverse coherence length requirement of the incident light field for detectable modulation is less stringent than previously assumed. Additionally, we provide theoretical demonstrations of FTS performance across various wavelengths using the proposed setup. These findings underscore the potential of this interferometer to achieve high-resolution FTS in the soft X-ray regime.

Fourier transform spectroscopy↗
DOE OSTI2021

COMPASO : A new halo finder for competitive assignment to spherical overdensities

We describe a new method (compaso) for identifying groups of particles in cosmological N-body simulations. compaso builds upon existing spherical overdensity (SO) algorithms by taking into consideration the tidal radius around a smaller halo before competitively assigning halo membership to the particles. In this way, the compaso finder allows for more effective deblending of haloes in close proximity as well as the formation of new haloes on the outskirts of larger ones. This halo-finding algorithm is used in the abacussummit suite of N-body simulations, designed to meet the cosmological simulation requirements of the Dark Energy Spectroscopic Instrument (DESI) survey. compaso is developed as a highly efficient on-the-fly group finder, which is crucial for enabling good load-balancing between the GPU and CPU and the creation of high-resolution merger trees. In this paper, we describe the halo-finding procedure and its particular implementation in abacus, accompanying it with a qualitative analysis of the finder. We test the robustness of the compaso catalogues before and after applying the cleaning method described in an accompanying paper and demonstrate its effectiveness by comparing it with other validation techniques. We then visualize the haloes and their density profiles, finding that they are well fit by the NFW formalism. Finally, we compare other properties such as radius–mass relationships and two-point correlation functions with that of another widely used halo finder, rockstar.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Imaginary-time correlation function thermometry: A new, high-accuracy and model-free temperature analysis technique for x-ray Thomson scattering data

The accurate interpretation of experiments with matter at extreme densities and pressures is a notoriously difficult challenge. In a recent work [Dornheim et al., Nat. Commun. 13, 7911 (2022)], we have introduced a formally exact methodology that allows extracting the temperature of arbitrary complex materials without any model assumptions or simulations. Here, we provide a more detailed introduction to this approach and analyze the impact of experimental noise on the extracted temperatures. In particular, we extensively apply our method both to synthetic scattering data and to previous experimental measurements over a broad range of temperatures and wave numbers. We expect that our approach will be of high interest to a gamut of applications, including inertial confinement fusion, laboratory astrophysics, and the compilation of highly accurate equation-of-state databases.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2024

Nonlinear susceptibilities for weakly turbulent magnetized plasma: Electromagnetic formalism

This is a companion paper to the previous work [P. H. Yoon, Phys. Plasmas 31, 032309 (2024)] in which the nonlinear susceptibilities of weakly turbulent magnetized plasma are derived under a simplifying assumption of electrostatic interaction. The present paper extends the analysis to a general situation of electromagnetic interaction. The main novelty of the previous and present papers is that by employing the Bessel function addition theorem, the mathematical definitions for the susceptibilities are substantially simplified, a procedure that has not been discussed in the existing literature. In the present paper, a full set of Maxwell’s equations are considered in conjunction with the nonlinear Vlasov equation, which is solved by a perturbative method. The result is a fully general nonlinear susceptibility, given in tensorial form, which is applicable for weakly turbulent magnetized plasmas.

Materials Science↗
DOE OSTI2021

Data-Driven Learning for the Mori--Zwanzig Formalism: A Generalization of the Koopman Learning Framework

A theoretical framework which unifies the conventional Mori--Zwanzig formalism and the approximate Koopman learning of deterministic dynamical systems from noiseless observation is presented. In this framework, the Mori--Zwanzig formalism, developed in statistical mechanics to tackle the hard problem of construction of reduced-order dynamics for high-dimensional dynamical systems, can be considered as a natural generalization of the Koopman description of the dynamical system. We next show that, similar to the approximate Koopman learning methods, data-driven methods can be developed for the Mori--Zwanzig formalism with Mori's linear projection operator. We have developed two algorithms to extract the key operators, the Markov and the memory kernel, using time series of a reduced set of observables in a dynamical system. We have adopted the Lorenz `96 system as a test problem and solved for the above operators. These operators exhibit complex behaviors, which are unlikely to be captured by traditional modeling approaches in Mori--Zwanzig analysis. The nontrivial generalized fluctuation-dissipation relationship, which relates the memory kernel with the two-time correlation statistics of the orthogonal dynamics, was numerically verified as a validation of the solved operators. Here we present numerical evidence that the generalized Langevin equation, a key construct in the Mori--Zwanzig formalism, is more advantageous in predicting the evolution of the reduced set of observables than the conventional approximate Koopman operators.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Isospin-breaking effects in the three-pion contribution to hadronic vacuum polarization

Isospin-breaking (IB) effects are required for an evaluation of hadronic vacuum polarization at subpercent precision. While the dominant contributions arise from the e + e - → π + π - channel, also IB in the subleading channels can become relevant for a detailed understanding, e.g., of the comparison to lattice QCD. Here, we provide such an analysis for e + e - → 3π by extending our dispersive description of the process, including estimates of final-state radiation (FSR) and ρ–ω mixing. In particular, we develop a formalism to capture the leading infrared-enhanced effects in terms of a correction factor η3π that generalizes the analog treatment of virtual and final-state photons in the 2π case. The global fit to the e+e- → 3π data base, subject to constraints from analyticity, unitarity, and the chiral anomaly, gives for the total 3π contribution to the anomalous magnetic moment of the muon, of which ${a}^{FSR}_\mu [3\pi]$ = 0.51(1) x 10 -10 and ${a}^{\rho - \omega}_\mu [3\pi]$ = -2.68(70) x 10 -10 can be ascribed to IB. We argue that the resulting cancellation with ρ–ω mixing in e + e - → 2π can be understood from a narrow-resonance picture, and provide updated values for the vacuum-polarization-subtracted vector-meson parameters M ω = 782.70(3) MeV, M Φ = 1019.21(2) MeV, Γ ω = 8.71(3) MeV, and Γ Φ = 4.27(1) MeV.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Analytical continuation of matrix-valued functions: Carathéodory formalism

Finite-temperature quantum field theories are formulated in terms of Green's functions and self-energies on the Matsubara axis. In multiorbital systems, these quantities are related to positive semidefinite matrix-valued functions of the Carathéodory and Schur class. Analysis, interpretation, and evaluation of derived quantities such as real-frequency response functions requires analytic continuation of the off-diagonal elements to the real axis. Here we derive the criteria under which such functions exist for given Matsubara data and present an interpolation algorithm that intrinsically respects their mathematical properties. For small systems with precise Matsubara data, we find that the continuation exactly recovers all off-diagonal and diagonal elements. In real-materials systems, we show that the precision of the continuation is sufficient for the analytic continuation to commute with the Dyson equation, and we show that the truncation of the off-diagonal self-energy elements leads to considerable approximation artifacts.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2025

Stability of superconducting strings

We investigate the stability of superconducting strings as bound states of strings and fermion zero modes at both the classical and quantum levels. The dynamics of these superconducting strings can result in a stable configuration, known as a vorton . We mainly focus on global strings, but the majority of the discussion can be applied to local strings. Using lattice simulations, we study the classical dynamics of superconducting strings and confirm that they relax to the vorton configuration through Nambu-Goldstone boson radiation, with no evidence of over-shooting that would destabilize the vorton. We explore the tunneling of fermion zero modes out of the strings. Both our classical analysis and quantum calculations yield consistent results: the maximum energy of the zero mode significantly exceeds the fermion mass, in contrast to previous literature. Additionally, we introduce a world-sheet formalism to evaluate the decay rate of zero modes into other particles, which constitute the dominant decay channel. We also identify additional processes that trigger zero-mode decay due to non-adiabatic changes of the string configuration. In these decay processes, the rates are suppressed by the curvature of string loops, with exponential suppression for large masses of the final states. We further study the scattering with light charged particles surrounding the string core produced by the zero-mode current and find that a wide zero-mode wavefunction can enhance vorton stability.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2023

Exploring temporal community evolution: algorithmic approaches and parallel optimization for dynamic community detection

Abstract Dynamic (temporal) graphs are a convenient mathematical abstraction for many practical complex systems including social contacts, business transactions, and computer communications. Community discovery is an extensively used graph analysis kernel with rich literature for static graphs. However, community discovery in a dynamic setting is challenging for two specific reasons. Firstly, the notion of temporal community lacks a widely accepted formalization, and only limited work exists on understanding how communities emerge over time. Secondly, the added temporal dimension along with the sheer size of modern graph data necessitates new scalable algorithms. In this paper, we investigate how communities evolve over time based on several graph metrics under a temporal formalization. We compare six different algorithmic approaches for dynamic community detection for their quality and runtime. We identify that a vertex-centric (local) optimization method works as efficiently as the classical modularity-based methods. To its advantage, such local computation allows for the efficient design of parallel algorithms without incurring a significant parallel overhead. Based on this insight, we design a shared-memory parallel algorithm DyComPar , which demonstrates between 4 and 18 fold speed-up on a multi-core machine with 20 threads, for several real-world and synthetic graphs from different domains.

97 MATHEMATICS AND COMPUTING↗