Search NASA⌕ Search

SEARCH · Search NASA

Results for “Set 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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

A Theory for the Response of Tropical Moist Convection to Mechanical Orographic Forcing

Abstract Spatial patterns of tropical rainfall are strongly influenced by mountains. Although theories for precipitation induced by convectively stable upslope ascent exist for the midlatitudes, these do not represent the interaction of moist convection with orographic forcing. Here, we present a theory for convective precipitation produced by the mechanical interaction of a tropical ridge with a basic-state horizontal wind. Deviations from this basic state are represented as the sum of a “dry” perturbation, due to the stationary orographic gravity wave, and a “moist” perturbation that carries the convective response. The moist component dynamics are subject to the weak temperature gradient approximation; they are forced by the dry mode’s influence on lower-tropospheric moisture and temperature. Analytical solutions provide estimates of the precipitation distribution, including peak precipitation, upstream extent, and rain shadow extent. The theory can be used with several degrees of complexity depending on the technique used to compute the dry mode, which can be drawn from linear mountain wave theory or full numerical simulations. To evaluate the theory, we use a set of convection-permitting simulations with a flow-perpendicular ridge in a long channel. The theory makes a good prediction for the cross-slope precipitation profile, indicating that the organization of convective rain by orography can be quantitatively understood by considering the effect of stationary orographic gravity waves on a lower-tropospheric convective quasi-equilibrium state.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1992

A geometrically nonlinear theory of elastic plates

A set of kinematic and intrinsic equilibrium equations is derived for plates undergoing large deflection and rotation but with small strain. The large rotation is treated by the general finite rotation of a frame in which the material points that are originally along a normal line in the undeformed plate undergo only small displacements. Exact intrinsic virtual strain-displacement relations are derived; using a reduced 2-D strain energy function from which the warping has been systematically eliminated, a set of intrinsic equilibrium equations follows. It is demonstrated that only five equilibrium equations can be derived in this way, because the component of virtual rotation about the normal is not independent. These equations include terms which cannot be obtained without the use of a finite rotation vector which contains three nonzero components. These extra terms correspond to the difference of in-plane shear stress resultants in other theories.

Hodges, Dewey H.↗
DOE OSTI2021

Crossing Symmetric Dispersion Relations for Mellin Amplitudes

We consider manifestly crossing symmetric dispersion relations for Mellin amplitudes of scalar four point correlators in conformal field theories. This allows us to set up the nonperturbative Polyakov bootstrap for the conformal field theories in Mellin space on a firm foundation, thereby fixing the contact term ambiguities in the crossing symmetric blocks. Our new approach employs certain “locality” constraints replacing the requirement of crossing symmetry in the usual fixed-t dispersion relation. Using these constraints, we show that the sum rules based on the two channel dispersion relations and the present dispersion relations are identical. Our framework allows us to connect with the conceptually rich picture of the Polyakov blocks being identified with Witten diagrams in anti-de Sitter space. We also give two sided bounds for Wilson coefficients for effective field theories in anti-de Sitter space.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2021

“Thought I’d Share First” and Other Conspiracy Theory Tweets from the COVID-19 Infodemic: Exploratory Study

Background: The COVID-19 outbreak has left many people isolated within their homes; these people are turning to social media for news and social connection, which leaves them vulnerable to believing and sharing misinformation. Health-related misinformation threatens adherence to public health messaging, and monitoring its spread on social media is critical to understanding the evolution of ideas that have potentially negative public health impacts. Objective: The aim of this study is to use Twitter data to explore methods to characterize and classify four COVID-19 conspiracy theories and to provide context for each of these conspiracy theories through the first 5 months of the pandemic. Methods: We began with a corpus of COVID-19 tweets (approximately 120 million) spanning late January to early May 2020. We first filtered tweets using regular expressions (n=1.8 million) and used random forest classification models to identify tweets related to four conspiracy theories. Our classified data sets were then used in downstream sentiment analysis and dynamic topic modeling to characterize the linguistic features of COVID-19 conspiracy theories as they evolve over time. Results: Analysis using model-labeled data was beneficial for increasing the proportion of data matching misinformation indicators. Random forest classifier metrics varied across the four conspiracy theories considered (F1 scores between 0.347 and 0.857); this performance increased as the given conspiracy theory was more narrowly defined. We showed that misinformation tweets demonstrate more negative sentiment when compared to non-misinformation tweets and that theories evolve over time, incorporating details from unrelated conspiracy theories as well as real-world events. Conclusions: Although we focus here on health-related misinformation, this combination of approaches is not specific to public health and is valuable for characterizing misinformation in general, which is an important first step in creating targeted messaging to counteract its spread. Initial messaging should aim to preempt generalized misinformation before it becomes widespread, while later messaging will

5g↗
DOE OSTI2020

New opportunities at the next-generation neutrino experiments I: BSM neutrino physics and dark matter

The combination of the high intensity proton beam facilities and massive detectors for precision measurements of neutrino oscillation parameters including the charge-parity violating (CPV) phase will open the door to help make beyond the standard model (BSM) physics reachable even in low energy regimes in the accelerator-based experiments. Large-mass detectors with highly precise tracking and energy measurements, excellent timing resolution, and low energy thresholds will enable the searches for BSM phenomena from cosmogenic origin, as well. Therefore, it is also conceivable that BSM topics in the next-generation neutrino experiments could be the dominant physics topics in the foreseeable future, as the precision of the neutrino oscillation parameter and CPV measurements continue to improve. This paper reviews the current landscape of BSM theory in neutrino experiments in two selected areas of the BSM topics-dark matter and neutrino related BSM-and summarizes the current results from existing neutrino experiments to set benchmarks for both theory and experiment. This paper then provides a review of upcoming neutrino experiments throughout the next 10 to 15 year time scale and their capabilities to set the foundation for potential reach in BSM physics in the two aforementioned themes. An important outcome of this paper is to ensure theoretical and simulation tools exist to carry out studies of these new areas of physics, from the first day of the experiments, such as Deep Underground Neutrino Experiment in the U.S. and Hyper-Kamiokande Experiment in Japan.

dark sector↗
DOE OSTI2020

Interfaces and the extended Hilbert space of Chern-Simons theory

The low energy effective field theories of (2 + 1) dimensional topological phases of matter provide powerful avenues for investigating entanglement in their ground states. In [1] the entanglement between distinct Abelian topological phases was investigated through Abelian Chern-Simons theories equipped with a set of topological boundary conditions (TBCs). In the present paper we extend the notion of a TBC to non-Abelian Chern-Simons theories, providing an effective description for a class of gapped interfaces across non-Abelian topological phases. These boundary conditions furnish a defining relation for the extended Hilbert space of the quantum theory and allow the calculation of entanglement directly in the gauge theory. Because we allow for trivial interfaces, this includes a generic construction of the extended Hilbert space in any (compact) Chern-Simons theory quantized on a Riemann surface. Additionally, this provides a constructive and principled definition for the Hilbert space of effective ground states of gapped phases of matter glued along gapped interfaces. Lastly, we describe a generalized notion of surgery, adding a powerful tool from topological field theory to the gapped interface toolbox.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Navigating collinear superspace

We introduce a new set of effective field theory rules for constructing Lagrangians with \( \mathcal{N} \) = 1 supersymmetry in collinear superspace. In the standard superspace treatment, superfields are functions of the coordinates \( \left({x}^{\mu },{\theta}^{\alpha },{\theta}^{\dagger \overset{\cdot }{\alpha }}\right) \) , and supersymmetry preservation is manifest at the Lagrangian level in part due to the inclusion of auxiliary F - and D -term components. By contrast, collinear superspace depends on a smaller set of coordinates ( x μ , η , η † ), where η is a complex Grassmann number without a spinor index. This provides a formulation of supersymmetric theories that depends exclusively on propagating degrees of freedom, at the expense of obscuring Lorentz invariance and introducing inverse momentum scales. After establishing the general framework, we construct collinear superspace Lagrangians for free chiral matter and non-Abelian gauge fields. For the latter construction, an important ingredient is a superfield representation that is simultaneously chiral, anti-chiral, and real; this novel object encodes residual gauge transformations on the light cone. Additionally, we discuss a fundamental obstruction to constructing inter- acting theories with chiral matter; overcoming these issues is the subject of our companion paper, where we introduce a larger set of superfields to realize the full range of interactions compatible with \( \mathcal{N} \) = 1. Along the way, we provide a novel framing of reparametrization invariance using a spinor decomposition, which provides insight into this important light-cone symmetry.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1992

Maximum likelihood techniques applied to quasi-elastic light scattering

There is a necessity of having an automatic procedure for reliable estimation of the quality of the measurement of particle size from QELS (Quasi-Elastic Light Scattering). Getting the measurement itself, before any error estimates can be made, is a problem because it is obtained by a very indirect measurement of a signal derived from the motion of particles in the system and requires the solution of an inverse problem. The eigenvalue structure of the transform that generates the signal is such that an arbitrarily small amount of noise can obliterate parts of any practical inversion spectrum. This project uses the Maximum Likelihood Estimation (MLE) as a framework to generate a theory and a functioning set of software to oversee the measurement process and extract the particle size information, while at the same time providing error estimates for those measurements. The theory involved verifying a correct form of the covariance matrix for the noise on the measurement and then estimating particle size parameters using a modified histogram approach.

Edwards, Robert V.↗
NASA NTRS1992

Towards an Effective Theory of Reformulation: Semantics - Part 1

This paper describes an investigation into the structure of representations of sets of actions, utilizing semigroup theory. The goals of this project are twofold: to shed light on the relationship between tasks and representations, leading to a classification of tasks according to the representations they admit; and to develop techniques for automatically transforming representations so as to improve problem-solving performance. A method is demonstrated for automatically generating serial algorithms for representations whose actions form a finite group. This method is then extended to representations whose actions form a finite inverse semigroup.

Benjamin, D. Paul↗
DOE OSTI2021

Scattering amplitudes for all masses and spins

We introduce a formalism for describing four-dimensional scattering amplitudes for particles of any mass and spin. This naturally extends the familiar spinor-helicity formalism for massless particles to one where these variables carry an extra SU(2) little group index for massive particles, with the amplitudes for spin Sparticles transforming as symmetric rank 2S tensors. We systematically characterise all possible three particle amplitudes compatible with Poincare symmetry. Unitarity, in the form of consistent factorization, imposes algebraic conditions that can be used to construct all possible four-particle tree amplitudes. This also gives us a convenient basis in which to expand all possible four-particle amplitudes in terms of what can be called “spinning polynomials”. Many general results of quantum field theory follow the analysis of four-particle scattering, ranging from the set of all possible consistent theories for massless particles, to spin-statistics, and the Weinberg-Witten theorem. We also find a transparent understanding for why massive particles of sufficiently high spin cannot be “elementary”. The Higgs and Super-Higgs mechanisms are naturally discovered as an infrared unification of many disparate helicity amplitudes into a smaller number of massive amplitudes, with a simple understanding for why this can’t be extended to Higgsing for gravitons. We illustrate a number of applications of the formalism at one-loop, giving few-line computations of the electron (g - 2) as well as the beta function and rational terms in QCD. “Off-shell” observables like correlation functions and form-factors can be thought of as scattering amplitudes with external “probe” particles of general mass and spin, so all these objects — amplitudes, form factors and correlators, can be studied from a common on-shell perspective.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1971

On a programming language for graph algorithms

An algorithmic language, GRAAL, is presented for describing and implementing graph algorithms of the type primarily arising in applications. The language is based on a set algebraic model of graph theory which defines the graph structure in terms of morphisms between certain set algebraic structures over the node set and arc set. GRAAL is modular in the sense that the user specifies which of these mappings are available with any graph. This allows flexibility in the selection of the storage representation for different graph structures. In line with its set theoretic foundation, the language introduces sets as a basic data type and provides for the efficient execution of all set and graph operators. At present, GRAAL is defined as an extension of ALGOL 60 (revised) and its formal description is given as a supplement to the syntactic and semantic definition of ALGOL. Several typical graph algorithms are written in GRAAL to illustrate various features of the language and to show its applicability.

Rheinboldt, W. C.↗
DOE OSTI2023

Perturbation theory for the logarithm of a positive operator

In various contexts in mathematical physics, such as out-of-equilibrium physics and the asymptotic information theory of many-body quantum systems, one needs to compute the logarithm of a positive unbounded operator. Examples include the von Neumann entropy of a density matrix and the flow of operators with the modular Hamiltonian in the Tomita-Takesaki theory. Often, one encounters the situation where the operator under consideration, which we denote by ∆, can be related by a perturbative series to another operator ∆ 0 , whose logarithm is known. We set up a perturbation theory for the logarithm log ∆. It turns out that the terms in the series possess a remarkable algebraic structure, which enables us to write them in the form of nested commutators plus some “contact terms”.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

A chemical kinetics theory for interpreting the non-monotonic temperature dependence of enzymatic reactions

Abstract. One notable observation of enzymatic chemical reactions is that, for a given abundance of enzymes and substrates, temperature increases cause reaction rates to first increase consistent with the Arrhenius relationship, then plateau, and finally fall off quickly to zero at high temperatures. While many mathematical functions have been used to describe this pattern, we here propose a chemical kinetics theory which successfully replicates this observation and provides insights into the processes responsible for these dynamics. The chemical kinetics theory combines the law of mass action, von Smoluchowski's diffusion-limited chemical reaction theory, and Eyring's transition state theory. This new theory reveals that the thermally reversible enzyme denaturation ensured by the ceaseless thermal motion of molecules and ions in an enzyme solution explains the plateau and subsequent decrease in chemical reaction rates with increasing temperature. The temperature-dependent affinity parameter (K) that relates enzymes and substrates through their binding also affects the shape of the emergent temperature response. We demonstrate that with an increase in substrate availability, K shifts the optimal temperature, where reaction rates plateau, towards higher values. Further, we show that the chemical kinetics theory accurately represents 12 sets of published enzyme assay data and includes the popular mechanistic model by Ratkowsky et al. (2005) as a special case. Given its good performance and solid theoretical underpinning, we believe this new theory will facilitate the construction of more mechanistic-based environmental biogeochemical models.

Tang, Jinyun↗
NASA NTRS1985

Reassessment of the theory of stimulated Raman scattering

A modification of the standard theory of stimulated Raman scattering (SRS) first proposed by Sparks (1974, 1975) is analyzed and shown to incorporate a possibly important physical effect; however, its original formulation is incorrect. The analysis is based on an exact numerical integration of the coupled equations of the modified theory, the results of which are compared with both the conventional theory of SRS and with one set of experimental data. A reformulation of the modified theory is suggested that leads to a gain which is in somewhat better agreement with the data than is the conventional theory.

Fralick, G. C.↗
DOE OSTI2025

ReaxFF Parameter Set for Boron Clusters and Icosahedral Boron Crystals: Comparison with Density Functional Theory and Machine-Learning Potentials

Icosahedral boron materials, which include regular icosahedra of 12 boron atoms have gained increasing attention due to their potential applications as superhard materials, semiconductors, and energy storage media. However, the synthesis of high quality crystals of these materials has been a major barrier to the development of these applications. To enable computational prediction of synthesis conditions yielding high-quality icosahedral boron crystals, herein we tested and refined a set of ReaxFF parameters for the nucleation and growth of such crystals. We focused on matching the relative energies of small boron clusters obtained by density functional theory since such small clusters and similar motifs are likely present in crystal nuclei and at the interface of growing crystals. Using a training set of B 80 clusters, including a low-energy core–shell structure containing a B 12 icosahedron core and a high-energy single-shell structure produced in preliminary ReaxFF simulations, the ReaxFF parameter set was refined to better reproduce energies calculated by density functional theory (DFT). Among existing ReaxFF parameter sets and the machine-learning interatomic potentials MACE-MP-0, MACE-MP-0b3, MACE-MPA-0, PFP v7.0.0, and SevenNet-MF-ompa, only our new parameter set and PFP v7.0.0 correctly ranked these B 80 clusters. This refinement led to improved agreement with DFT for a test set of 58 clusters consisting of 8–103 boron atoms. Furthermore, our refined parameter set yielded greater local icosahedral structure than the previously existing ReaxFF parameter set for larger scale simulations of crystallization from supercooled liquid boron. Additionally, simulations of solid boron in contact with molten nickel using our refined ReaxFF parameters yielded a boron solubility value that agrees moderately well with experimental expectations, while the previous boron parameters gave a value that was much too low.

boron↗
NASA NTRS1986

Probabilistic versus fuzzy reasoning

This paper shows how to solve problems using probability theory that the fuzzy approaches claim probability cannot solve. By using the view that probabilities are a measure of belief in a proposition in a particular context, limitations imposed by the frequncy interpretations of probability are avoided. The various fuzzy approaches (fuzzy sets, fuzzy logic, possibility theory and higher order generalizations) seem to fill the gap caused by the restricted frequency interpretation. Close examination shows that the fuzzy approaches have exactly the same representation as the corresponding probabilistc approach and include similar calculi. The probabilistic approach assumes less information when the calculi differ.

Cheeseman, Peter↗
DOE OSTI2021

Measurement and Theory of Gas-Phase Ion Mobility Shifts Resulting from Isotopomer Mass Distribution Changes

The unanticipated discovery of recent ultra-high-resolution ion mobility spectrometry (IMS) measurements revealing that isotopomers-compounds that differ only in the isotopic substitution sites-can be separated has raised questions as to the physical basis for their separation. A study comparing IMS separations for two isotopomer sets in conjunction with theory and simulations accounting for ion rotational effects provides the first-ever prediction of rotation-mediated shifts. The simulations produce observable mobility shifts due to differences in gas–ion collision frequency and translational-to-rotational energy transfer. These differences can be attributed to distinct changes in the moment of inertia and center of mass between isotopomers. The simulations are in broad agreement with the observed experiments and consistent with relative mobility differences between isotopomers. These results provide a basis for refining IMS theory and a new foundation to obtain additional structural insights through IMS.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗