Search NASA⌕ Search

SEARCH · Search NASA

Results for “general relativity formalism”

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
NASA NTRS1989

Corrections to the thin wall approximation in general relativity

The question is considered whether the thin wall formalism of Israel applies to the gravitating domain walls of a lambda phi(exp 4) theory. The coupled Einstein-scalar equations that describe the thick gravitating wall are expanded in powers of the thickness of the wall. The solutions of the zeroth order equations reproduce the results of the usual Israel thin wall approximation for domain walls. The solutions of the first order equations provide corrections to the expressions for the stress-energy of the wall and to the Israel thin wall equations. The modified thin wall equations are then used to treat the motion of spherical and planar domain walls.

Garfinkle, David↗
DOE OSTI2021

Radiative classical gravitational observables at $ \mathcal{O} $(G 3 ) from scattering amplitudes

We compute classical gravitational observables for the scattering of two spinless black holes in general relativity and N =8 supergravity in the formalism of Kosower, Maybee, and O’Connell (KMOC). We focus on the gravitational impulse with radiation reaction and the radiated momentum in black hole scattering at $ \mathcal{O} $(G 3 ) to all orders in the velocity. These classical observables require the construction and evaluation of certain loop-level quantities which are greatly simplified by harnessing recent advances from scattering amplitudes and collider physics. In particular, we make use of generalized unitarity to construct the relevant loop integrands, employ reverse unitarity, the method of regions, integration-by-parts (IBP), and (canonical) differential equations to simplify and evaluate all loop and phase-space integrals to obtain the classical gravitational observables of interest to two-loop order. The KMOC formalism naturally incorporates radiation effects which enables us to explore these classical quantities beyond the conservative two-body dynamics. From the impulse and the radiated momentum, we extract the scattering angle and the radiated energy. Finally, we discuss universality of the impulse in the high-energy limit and the relation to the eikonal phase.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Polarization and properties of low-frequency waves in warm magnetized two-fluid plasma

This paper presents the derivation of a general wave dispersion relation for warm magnetized plasma under the two-fluid formalism. The discussion is quite general except for the assumption of low frequency and slow phase speed, for which the displacement current is negligible, under the implicit assumption that the plasma is sufficiently dense to satisfy the condition ωpe>ωce, where ωpe and ωce denote the plasma oscillation frequency and electron gyro frequency, respectively. The present discussion does not invoke charge neutrality associated with the fluctuations although it is implicitly satisfied. The resulting dispersion relation that includes the fluid thermal effects shows that there are three eigen modes, which include those corresponding to ideal MHD, namely, fast, slow, and kinetic Alfvén waves, as well as higher-frequency modes including the ion and electron cyclotron and lower-hybrid resonances. The fluid effects in the ideal MHD wave branches are influenced by the finite Larmor radius scales, and when the wave number in the cross field direction is comparable to these values, the fluid effects become significant. It is found that the Larmor radius should be interpreted in the sense as ion-acoustic gyro-radius instead of ion thermal gyro radius only. That is, it is found that the electrons also contribute to the non-ideal effect associated with the kinetic Alfvén wave. A comprehensive explanation of the polarization of each mode is also presented. The present findings indicate that the polarity may change its sign only for the kinetic Alfvén mode branch and that such a transition is based on the propagation angle. When such a change does take place, it is found that the kinetic Alfvén wave transits to an ion-acoustic mode. For each branch, it is also found that the electric field along the ambient magnetic field is purely transverse.

Physics↗
NASA NTRS1982

Dipole-field sums and Lorentz factors for orthorhombic lattices, and implications for polarizable molecules

A method for computing the Lorentz tensor components in single crystals via rapidly convergent sums of Bessels functions is developed using the relationship between dipole-field sums and the tensor components. The Lorentz factors for simple, body-centered, and base-centered orthorhombic lattices are computed using this method, and the derivative Lorentz factors for simple orthorhombic lattices are also determined. Both the Lorentz factors and their derivatives are shown to be very sensitive to a lattice structure. The equivalent of the Clausius-Mossotti relation for general orthorhombic lattices is derived using the Lorentz-factor formalism, and the permanent molecular dipole moment is related to crystal polarization for the case of a ferroelectric of polarizable point dipoles. It is concluded that the polarization enhancement due to self-polarization familiar from classical theory may actually be a reduction in consequences of negative Lorentz factors in one or two lattice directions for noncubic crystals.

Purvis, C. K.↗
NASA NTRS1996

Applications of Formal Methods to Specification and Safety of Avionics Software

This report treats several topics in applications of formal methods to avionics software development. Most of these topics concern decision tables, an orderly, easy-to-understand format for formally specifying complex choices among alternative courses of action. The topics relating to decision tables include: generalizations fo decision tables that are more concise and support the use of decision tables in a refinement-based formal software development process; a formalism for systems of decision tables with behaviors; an exposition of Parnas tables for users of decision tables; and test coverage criteria and decision tables. We outline features of a revised version of ORA's decision table tool, Tablewise, which will support many of the new ideas described in this report. We also survey formal safety analysis of specifications and software.

Hoover, D. N.↗
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 OSTI2024

Learning new physics from data: A symmetrized approach

Thousands of person years have been invested in searches for new physics (NP), the majority of them motivated by theoretical considerations. Yet, no evidence of beyond the Standard Model physics has been found. This suggests that model-agnostic searches might be an important key to explore NP, and help discover unexpected phenomena which can inspire future theoretical developments. A possible strategy for such searches is identifying asymmetries between data samples that are expected to be symmetric within the Standard Model. We propose exploiting neural networks (NNs) to quickly fit and statistically test the differences between two samples. Our method is based on an earlier work, originally designed for inferring the deviations of an observed dataset from that of a much larger reference dataset. We present a symmetric formalism, generalizing the original one, avoiding fine-tuning of the NN parameters and any constraints on the relative sizes of the samples. Our formalism could be used to detect small symmetry violations, extending the discovery potential of current and future particle physics experiments.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

First Look at Quartic-in-Spin Binary Dynamics at Third Post-Minkowskian Order

We compute the conservative and radiation-reaction contributions to classical observables in the gravitational scattering between a spinning and a spinless black hole to the fourth order in spin and third order in the gravitational constant. The conservative results are obtained from two-loop amplitudes for the scattering process of a massive scalar with a massive spin-𝑠 field (𝑠=0, 1, 2) minimally coupled to gravity, employing the recently introduced spin interpolation method to resolve all spin-Casimir terms. The two-loop amplitude exhibits a spin-shift symmetry in both probe limits, which we conjecture to be a sign of yet unknown integrability of Kerr orbits through the quartic order in spin and to all orders in the gravitational constant. We obtain the radial action from the finite part of the amplitude and use it to compute classical observables, including the impulse and spin kick. This is done using the recently introduced covariant Dirac brackets, which allow for the computation of classical scattering observables for general (nonaligned) spin configurations. Finally, employing the radiation-reaction amplitude proposed by Alessio and Di Vecchia, together with the Dirac brackets, we obtain radiation-reaction contributions to observables at all orders in spin and beyond the aligned-spin limit. We find agreement with known results up to the quadratic order in spin for both conservative and radiation-reaction contributions. Our results advance the state of the art in the understanding of spinning binary dynamics in general relativity and demonstrate the power and simplicity of the Dirac bracket formalism for relating scattering amplitudes to classical observables.

general relativity↗
NASA NTRS1982

Sonic boom measurement test plan for Space Shuttle STS-4 reentry

Formal documentation for measurement procedures and system specifications, and general information relating to the Space Shuttle STS-4 Sonic Boom Measurement Program are supplied. This test plan is designed to provide information, guidance, and assignment of responsibilities for the acquisition of sonic boom and atmospheric measurements, timing correlation, communications and other necessary supporting tasks. Specifically included are details such as mobile data acquisition station locations, measurement systems calibration levels, predicted sonic boom overpressure levels, overpressure level assignment for each data acquisition station, data recording times on and off, universal coordinated time, and measurement system descriptions.

Henderson, H. R.↗
DOE OSTI2024

A generalized Selberg zeta function for flat space cosmologies

Flat space cosmologies (FSCs) are time dependent solutions of three-dimensional (3D) gravity with a vanishing cosmological constant. They can be constructed from a discrete quotient of empty 3D flat spacetime and are also called shifted-boost orbifolds. Using this quotient structure, we build a new and generalized Selberg zeta function for FSCs, and show that it is directly related to the scalar 1-loop partition function. We then propose an extension of this formalism applicable to more general quotient manifolds $\mathcal{M}$/ℤ, based on representation theory of fields propagating on this background. Our prescription constitutes a novel and expedient method for calculating regularized 1-loop determinants, without resorting to the heat kernel. We compute quasinormal modes in the FSC using the zeroes of a Selberg zeta function, and match them to known results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1995

Noisy bases in Hilbert space: A new class of thermal coherent states and their properties

Coherent mixed states (or thermal coherent states) associated with the displaced harmonic oscillator at finite temperature, are introduced as a 'random' (or 'thermal' or 'noisy') basis in Hilbert space. A resolution of the identity for these states is proved and used to generalize the usual coherent state formalism for the finite temperature case. The Bargmann representation of an operator is introduced and its relation to the P and Q representations is studied. Generalized P and Q representations for the finite temperature case are also considered and several interesting relations among them are derived.

Vourdas, A.↗
DOE OSTI2023

Nuclear short-range correlations and the zero-energy eigenstates of the Schrödinger equation

Here, we present a systematic analysis of the nuclear two- and three-body short-range correlations and their relations to the zero-energy eigenstates of the Schrödinger equation. To this end we analyze the doublet and triplet coupled-cluster amplitudes in the high momentum limit, and show that they obey universal equations independent of the number of nucleons and their state. Furthermore, we find that these coupled-cluster amplitudes coincide with the zero-energy Bloch-Horowitz operator. These results illuminate the relations between the nuclear many-body theory and the generalized contact formalism, introduced to describe the nuclear two-body short range correlations, and they might also be helpful for general coupled-cluster computations as the asymptotic part of the amplitudes is given and shown to be universal.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1981

Sonic boom measurement test plan for Space Shuttle STS-1 reentry

Formal documentation for measurement procedures and system specifications, and general information are relating to the Space Shuttle STS-1 Sonic Boom Measurement Program are supplied. This test plan is designed to provide information, guidance, and assignment of responsibilities for the acquisition of sonic boom and atmospheric measurements, timing correlation, communications and other necessary supporting tasks. Specifically included are details such as mobile data acquisition station locations, measurement systems calibration levels, predicted sonic boom overpressure levels, overpressure level assignment for each data acquisition station, data recording times on and off, universal coordinated time, and measurement system descriptions.

Henderson, H. R.↗
DOE OSTI2025

Towards satellite tests combining general relativity and quantum mechanics through quantum optical interferometry: progress on the deep space quantum link

The Deep Space Quantum Link (DSQL) is a space-mission concept that aims to explore the interplay between general relativity and quantum mechanics using quantum optical interferometry. This mission concept was formally presented to the United States National Academy of Science Decadal Survey as a research campaign for Fundamental Physics in 2022. Since then, advances have been made in the space-based quantum optical technologies required to conduct a DSQL-type mission. In addition, other research efforts have defined alternative measurement concepts to explore the same scientific questions motivating the DSQL mission. This paper serves as an update to the community on the status of the DSQL mission concept and related research and technology development efforts.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Notes on the complex Sachdev-Ye-Kitaev model

We describe numerous properties of the Sachdev-Ye-Kitaev model for complex fermions with N $\gg$ 1 flavors and a global U(1) charge. We provide a general definition of the charge in the ( G, Σ) formalism, and compute its universal relation to the infrared asymmetry of the Green function. The same relation is obtained by a renormalization theory. The conserved charge contributes a compact scalar field to the effective action, from which we derive the many-body density of states and extract the charge compressibility. We compute the latter via three distinct numerical methods and obtain consistent results. Finally, we present a two dimensional bulk picture with free Dirac fermions for the zero temperature entropy.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1976

Kinetic theory of turbulent compressible flows and comparison with classical theory

A complete set of turbulent correlations is given in terms of expansion coefficients in a double series of Hermite polynomials of a two-particle correlation in phase space. Only two of these coefficients, corresponding to Reynolds stress and turbulent heat flux, are shown to appear in gasdynamic equations of turbulence. This is accomplished by incorporating the phase-space correlation in the collision integral of Boltzmann's equation and by deriving generalized Navier-Stokes and Fourier transport relations. In contrast to the classical formalism, the simple expression remains invariant in form whether the flow is compressible or not. Nevertheless, a bilinear transformation of fluctuating quantities shows that the two formalisms are identical with regard to terms of double correlations. The kinetic theory justifies nonexistence of the higher-order correlations characteristic of compressible-turbulence equations in the classical regime.

Tsuge, S.↗
NASA NTRS1992

The application of the principles of invariance to the radiative transfer equation in plant canopies

Solutions of the radiative transfer equation describing photon interactions with vegetation canopies are important in remote sensing since they provide the canopy reflectance distribution required in the interpretation of satellite acquired information. The general one-dimensional two-angle transport problem for a finite copy of arbitrary leaf angle distribution is considered. Analytical solutions are obtained in terms of generalized Chandrasekhar's X- and Y-functions by invoking the principles of invariance. A critical step in the formulation involves the decomposition of the integral of the scattering phase function into a product of known functions of the incident and scattered photon directions. Several simplified cases previously considered in the literature are derived from the generalized solution. Various symmetries obeyed by the scattering operator and reciprocity relations are formally proved.

Ganapol, B. D.↗