SEARCH · Search NASA

Results for “Category 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.

SourceResearch connectionFrom yearThrough year

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

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1961

Scatter Theories and Their Application to Lunar Radar Return

The research work being done under this NASA grant is divided into the following three categories: (1) An estimate of the radar return for the NASA Aerobee rocket shot at White Sands Missile Range. (WSMR) (2) Development of new scatter theories, modification and correlation of existing scatter theories, and application of the theories to moon-echo data for estimation of the surface features of the moon. (3) Acoustic modeling of the lunar surface and correlation of the theoretical with both full scale and acoustical experimental results.

Hayre, H. S.↗

NASA NTRS1985

Kantian epistemology as an alternative to heroic astronomy

Theoretical and observational methods in astronomy have advanced to a point where certain of their outcomes are difficult to comprehend with the traditional categories of human knowledge. The philosophical discipline of epistemology, the theory of knowledge, is used here to address four current problems in observational astronomy, exobiology, cosmology, and quantum mechanics. The problems are united by an epistemological content which, when unrecognized, has resulted in some heroic solutions of an ad hoc nature. Kant's critical philosophy is employed because his work is consistent with basic attitudes in present-day physics and biology.

Mclaughlin, W. I.↗

NASA NTRS2016

Are Ferroan Anorthosites Direct Products of the Lunar Magma Ocean?

According to Lunar Magma Ocean (LMO) theory, lunar samples that fall into the ferroan anorthosite (FAN) category represent the only samples we have of of the primordial crust of the Moon. Modeling indicates that plagioclase crystallizes after >70% LMO crystallization and formed a flotation crust, depending upon starting composition. The FAN group of highlands materials has been subdivided into mafic-magnesian, mafic-ferroan, anorthositic- sodic, and anorthositic-ferroan, although it is not clear how these subgroups are related. Recent radiogenic isotope work has suggested the range in FAN ages and isotopic systematics are inconsistent with formation of all FANs from the LMO. While an insulating lid could have theoretically extend the life of the LMO to explain the range of the published ages, are the FAN compositions consistent with crystallization from the LMO? As part of a funded Emerging Worlds proposal (NNX15AH76G), we examine this question through analysis of FAN samples. We compare the results with various LMO crystallization models, including those that incorporate the influence of garnet.

Neal, C. R.↗

DOE OSTI2020

Quantum Theory of Semiconductor Photo-Catalysis and Solar Water Splitting / Theory and Computation for Semiconductor Catalysis of Solar Water Splitting / Static and Dynamic Thermal Effects in Solids. Final Report

This is the final report. The finished research was published in 27 journal papers listed below. The topics fall roughly into seven categories: Photochemistry of water at the GaN ($10\bar{1}0$) surface; Quasiparticles: Band electrons and Anharmonic phonons; Quasiharmonic theory; Anharmonic lattice thermal conductivity; Water and Ice; Electron-phonon effects; and, Alloy theory.

36 MATERIALS SCIENCE↗

DOE OSTI2026

Mass of 101 Sn and Bayesian extrapolations to the proton drip line

The favorable energy configurations of nuclei at magic numbers of 𝑁 neutrons and 𝑍 protons are fundamental for understanding the evolution of nuclear structure. The 𝑍 = 50 (tin) isotopic chain is a frontier for such studies, with particular interest at and around the doubly magic 100 Sn isotope, for which the mass is a topic of debate. Precise mass values for neutron-deficient isotopes provide necessary anchor points for mass models to test extrapolations near the proton drip line, where experimental studies remain out of reach. In this work, we report a Penning trap mass measurement of 101 Sn . The determined mass excess of −59889.89⁢(96) keV for 101 Sn represents a factor-of-300 improvement over the current precision and indicates that 101 Sn is less bound than previously thought. Mass predictions from a recently developed Bayesian model combination framework employing statistical machine learning and nuclear masses computed within seven global models based on nuclear density functional theory agree within 1⁢𝜎 with experimental masses from the 48 ≤ 𝑍 ≤ 52 isotopic chains. The framework's resilience to new mass data gave confidence in the extrapolation of tin masses down to 𝑁 = 46. Our calculations suggest that 96 Sn is a two-proton drip line nucleus and predict a mass excess of −58090⁢(800) keV for 100 Sn , showing a preference within 1⁢𝜎 for the mass of 100 Sn derived from the 𝛽-delayed 𝑄 value measured at GSI.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

NASA NTRS2000

Conceptual Coordination Bridges Information Processing and Neurophysiology

Information processing theories of memory and skills can be reformulated in terms of how categories are physically and temporally related, a process called conceptual coordination. Dreaming can then be understood as a story understanding process in which two mechanisms found in everyday comprehension are missing: conceiving sequences (chunking categories in time as a categorization) and coordinating across modalities (e.g., relating the sound of a word and the image of its meaning). On this basis, we can readily identify isomorphisms between dream phenomenology and neurophysiology, and explain the function of dreaming as facilitating future coordination of sequential, cross-modal categorization (i.e., REM sleep lowers activation thresholds, "unlearning").

Clancey, William J.↗

DOE OSTI2022

Topological field theory with Haagerup symmetry

Here, we construct a (1 + 1)d topological field theory (TFT) whose topological defect lines (TDLs) realize the transparent Haagerup $\mathscr{H}$ 3 fusion category. This TFT has six vacua, and each of the three non-invertible simple TDLs hosts three defect operators, giving rise to a total of 15 point-like operators. The TFT data, including the three-point coefficients and lasso diagrams, are determined by solving all the sphere four-point crossing equations and torus one-point modular invariance equations. We further verify that the Cardy states furnish a non-negative integer matrix representation under TDL fusion. While many of the constraints we derive are not limited to this particular TFT with six vacua, we leave open the construction of TFTs with two or four vacua. Finally, TFTs realizing the Haagerup $\mathscr{H}$ 1 and $\mathscr{H}$ 2 fusion categories can be obtained by gauging algebra objects. This article makes a modest offering in our pursuit of exotica and the quest for their eventual conformity.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Branches, quivers, and ideals for knot complements

We generalize the F K invariant, i.e. Z^ for the complement of a knot K in the 3-sphere, the knots-quivers correspondence, and A-polynomials of knots, and find several interconnections between them. We associate an F K invariant to any branch of the A-polynomial of K and we work out explicit expressions for several simple knots. We show that these F K invariants can be written in the form of a quiver generating series, in analogy with the knots-quivers correspondence. We discuss various methods to obtain such quiver representations, among others using R-matrices. We generalize the quantum a-deformed A-polynomial to an ideal that contains the recursion relation in the group rank, i.e. in the parameter a, and describe its classical limit in terms of the Coulomb branch of a 3d-5d theory. We also provide t-deformed versions. Furthermore, we study how the quiver formulation for closed 3-manifolds obtained by surgery leads to the superpotential of 3d N = 2 theory T[M 3 ] and to the data of the associated modular tensor category MTC[M 3 ].

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1987

Dynamical constraints on the origin of the moon

Six different categories of models for the formation of the moon within the context of the general theory of terrestial planet formation by the accumulation of protoplanets are discussed. These catagories are: (1) rotational fission; (2) precipitation fission; (3) intact capture; (4) disintegrative capture; (5) binary accretion; and (6) giant impact accretion. It appears that the only plausable mechanism proposed thus far involves the formation of the Moon following a giant impact that ejects portions of the differentiated Earth's mantle and parts of the impacting body into circumterrestrial orbit.

Boss, A. P.↗

NASA NTRS2005

Waves and Turbulence in Stellar Winds across the H-R Diagram

During the first year of this project, the PI began work in several areas that are expected to yield a substantial increase in our understanding of how and why stars form winds and disks. The approach outlined in the original proposal comprised four complementary pieces (cool and hot stars; observations and theory for each), and the accomplishments in this report are thus divided into these four categories.

Cranmer, Steven R.↗

NASA NTRS2012

Airships 101: Rediscovering the Potential of Lighter-Than-Air (LTA)

An overview of airships past, present, and future is provided in a Powerpoint-formatted presentation. This presentation was requested for transfer to the British MOD by Paul Espinosa of NASA Ames, Code PX. The presentation provides general information about airships divided into four main categories: the legacy of NASA Ames in LTA (Lighter-Than-Air), LTA taxonomy and theory, LTA revival and missions, and LTA research and technology.

Melton, John E.↗

NASA NTRS1982

Active control of space structures: Proof of concept experiment

Modern control theory easily works with multiple input/multiple output systems. Two types of systems which fall into this category are flexible systems, where many measurements and several actuators are necessary to provide control over bending behavior, and articulated systems which consist of several rigid bodies connected together by pivoting connections. In this latter case, multiple controls are implemented as torquers at the joints.

Breakwell, J. A.↗

NASA NTRS2001

Physical and Electronic Isolation of Carbon Nanotube Conductors

Multi-walled nanotubes are proposed as a method to electrically and physically isolate nanoscale conductors from their surroundings. We use tight binding (TB) and density functional theory (DFT) to simulate the effects of an external electric field on multi-wall nanotubes. Two categories of multi-wall nanotube are investigated, those with metallic and semiconducting outer shells. In the metallic case, simulations show that the outer wall effectively screens the inner core from an applied electric field. This offers the ability to reduce crosstalk between nanotube conductors. A semiconducting outer shell is found not to perturb an electric field incident on the inner core, thereby providing physical isolation while allowing the tube to remain electrically coupled to its surroundings.

OKeeffe, James↗

DOE OSTI2022

Variant selection in laser powder bed fusion of non-spherical Ti-6Al-4V powder

The presence of α/α' on prior β/β grain boundaries directly impacts the final mechanical properties of the titanium alloys. The β/β grain boundary variant selection of titanium alloys has been assumed to be unlikely owing to the high cooling rates in laser powder bed fusion (L-PBF). However, we hypothesize that powder characteristics such as morphology (non-spherical) and particle size (50–120 µm) could affect the initial variant selection in L-PBF processed Ti-6Al-4V alloy by locally altering the cooling rates. Despite the high cooling rate found in L-PBF, the results showed the presence of β/β grain boundary α' lath growth inside two adjacent prior β grains. Electron backscatter diffraction micrographs confirmed the presence of β/β grain boundary variant selection, and synchrotron X-ray high-speed imaging observation revealed the role of the “shadowing effect” on the locally decreased cooling rate because of keyhole depth reduction and the consequent β/β grain boundary α' lath growth. The self-accommodation mechanism was the main variant selection driving force, and the most abundant α/α boundary variant was type 4 (63.26°//[ $\bar{10}$ 5 5 $\bar{3}$ ]). The dominance of Category II α lath clusters associated with the type 4 α/α boundary variant was validated using the phenomenological theory of martensite transformations and analytical calculations, from which the stress needed for the β→α' transformation was calculated.

36 MATERIALS SCIENCE↗

DOE OSTI2026

Microscopic constraints for the equation of state and structure of neutron stars: A Bayesian model mixing framework

Bayesian model mixing (BMM) is a statistical technique that can combine constraints from different regions of an input space in a principled way. Here we extend our BMM framework for the equation of state (EOS) of strongly interacting matter from symmetric nuclear matter to asymmetric matter, specifically focusing on zero-temperature, charge-neutral, 𝛽-equilibrated matter. We use Gaussian processes (GPs) to infer constraints on the neutron-star matter EOS at intermediate densities from two different microscopic theories: chiral effective-field theory (𝜒⁢EFT) at baryon densities around nuclear saturation, 𝑛 𝐵 ∼ 𝑛 0 , and perturbative QCD at asymptotically high baryon densities, 𝑛 𝐵 ⩾ 20⁢𝑛 0 . The uncertainties of the 𝜒⁢EFT and pQCD EOSs are obtained using the BUQEYE truncation error model. We demonstrate the flexibility of our framework through the use of two categories of GP kernels: conventional stationary kernels and a nonstationary changepoint kernel. We use the latter to explore potential constraints on the dense matter EOS by including exogenous data representing theory predictions and heavy-ion collision measurements at densities ⩾ 2⁢𝑛 0 . We also use our EOSs to obtain neutron-star mass-radius relations and their uncertainties. Finally, our framework, whose implementation will be available through a GitHub repository, provides a prior distribution for the EOS that can be used in large-scale neutron-star inference frameworks.

Bayesian methods↗

NASA NTRS1993

Next generation initiation techniques

Four-dimensional data assimilation strategies can generally be classified as either current or next generation, depending upon whether they are used operationally or not. Current-generation data-assimilation techniques are those that are presently used routinely in operational-forecasting or research applications. They can be classified into the following categories: intermittent assimilation, Newtonian relaxation, and physical initialization. It should be noted that these techniques are the subject of continued research, and their improvement will parallel the development of next generation techniques described by the other speakers. Next generation assimilation techniques are those that are under development but are not yet used operationally. Most of these procedures are derived from control theory or variational methods and primarily represent continuous assimilation approaches, in which the data and model dynamics are 'fitted' to each other in an optimal way. Another 'next generation' category is the initialization of convective-scale models. Intermittent assimilation systems use an objective analysis to combine all observations within a time window that is centered on the analysis time. Continuous first-generation assimilation systems are usually based on the Newtonian-relaxation or 'nudging' techniques. Physical initialization procedures generally involve the use of standard or nonstandard data to force some physical process in the model during an assimilation period. Under the topic of next-generation assimilation techniques, variational approaches are currently being actively developed. Variational approaches seek to minimize a cost or penalty function which measures a model's fit to observations, background fields and other imposed constraints. Alternatively, the Kalman filter technique, which is also under investigation as a data assimilation procedure for numerical weather prediction, can yield acceptable initial conditions for mesoscale models. The third kind of next-generation technique involves strategies to initialize convective scale (non-hydrostatic) models.

Warner, Tom↗

DOE OSTI2023

Theory of electric, magnetic, and toroidal polarizations in crystalline solids with applications to hexagonal lonsdaleite and cubic diamond

Multipolar order in bulk crystalline solids is characterized by multipole densities-denoted as polarizations in this work-that cannot be cleanly defined using the concepts of classical electromagnetism. Here we use group theory to overcome this difficulty and present a systematic study of electric, magnetic, and toroidal multipolar order in crystalline solids. Based on our symmetry analysis, we identify five categories of polarized matter, each of which is characterized by distinct features in the electronic band structure. For example, Rashba spin splitting in electropolar bulk materials like wurtzite represents the electric dipolarization in these materials. We also develop a general formalism of indicators for individual multipole densities that provide a physical interpretation and quantification of multipolar order. Our work clarifies the relation between patterns of localized multipoles and macroscopic multipole densities they give rise to. To illustrate the general theory, we discuss its application to polarized variants of hexagonal lonsdaleite and cubic diamond structures. In conclusion, our work provides a general framework for classifying and expanding current understanding of multipolar order in complex materials.

36 MATERIALS SCIENCE↗

DOE OSTI2023

Weak gravity conjecture

The weak gravity conjecture holds that in a theory of quantum gravity any gauge force must mediate interactions stronger than gravity for some particles. This statement has surprisingly deep and extensive connections to many different areas of physics and mathematics. Several variations on the basic conjecture have been proposed, including statements that are much stronger but are nonetheless satisfied by all known consistent quantum gravity theories. These related conjectures and the evidence for their validity in the string theory landscape are reviewed. Also reviewed here are a variety of arguments for these conjectures, which tend to fall into two categories: qualitative arguments that claim the conjecture is plausible based on general principles and quantitative arguments for various special cases or analogs of the conjecture. The implications of these conjectures for particle physics, cosmology, general relativity, and mathematics are also outlined. Finally, important directions for future research are highlighted.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗