SEARCH · Engineering Papers
Results for “symbolic”
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.
Computer-aided design. III.
Digital computer-aided circuit sensitivity analysis using symbols, with example of band pass filter analysis
On the Probabilistic Analysis of Neural Networks
Neural networks are powerful tools for automated decision-making,seeing increased application in safety-critical domains, such as autonomous driving. Due to their black-box nature and large scale,reasoning about their behavior is challenging. Statistical analysis is often used to infer probabilistic properties of a network, such as its robustness to noise and inaccurate inputs. While scalable, statistical methods can only provide probabilistic guarantees on the quality of their results and may underestimate the impact of low probability inputs leading to undesired behavior of the network.We investigate here the use of symbolic analysis and constraint solution space quantification to precisely quantify probabilistic properties in neural networks. We demonstrate the potential of the proposed technique in a case study involving the analysis of ACAS-Xu, a collision avoidance system for unmanned aircraft control.
Application of a Bayesian Framework for Plasticity Model Selection
Interpretable Machine Learning (IML) has performed well when tasked with deriving constitutive material models. However, IML has been shown to prefer models that overfit noise in data, which tends to lead to bloat and a decrease in interpretability. Due to these issues, the ability of IML to reliably derive models that fit the data and are both interpretable and generalizable is limited. A method developed recently has shown promise to improve upon traditional IML by using a Bayesian fitness definition for the evolution of free-form models with non-deterministic parameters. This framework was developed for genetic-programming-based symbolic regression(GPSR) and involves model parameter estimation using Sequential Monte Carlo sampling (SMC).The method has demonstrated a reduction in bloat when dealing with noisy data in comparison to conventional GPSR. The results of this framework applied to stress-strain data for copper show models that more effectively predict the experimental data better than was previously shown with GPSR.
Learning and Controlling Silicon Dopant Transitions in Graphene Using Scanning Transmission Electron Microscopy
A machine learning approach is introduced to determine the transition dynamics of silicon atoms on a single layer of carbon atoms, when stimulated by the electron beam of a scanning transmission electron microscope (STEM). This method is data-centric, leveraging data collected on a STEM. The data samples are processed and filtered to produce symbolic representations, which is used to train a neural network to predict transition probabilities. These learned transition dynamics are then leveraged to guide a single silicon atom throughout the lattice to pre-determined target destinations. Empirical analyses are presented that demonstrate the efficacy and generality of the approach.
Significant Roles of Surface Hydrides in Enhancing the Performance of Cu/BaTiO 2.8 H 0.2 Catalyst for CO 2 Hydrogenation to Methanol
A BaTiO 3 lattice is shown in the background of the cover picture, with the stack of orange balls symbolizing Cu nanoparticles. Pipes delivering the reactants and products have the shapes of H — and e — indicating they are involved in the catalytic hydrogenation of CO 2 . Lattice O is replaced with hydrides for the enhanced performance in CO 2 hydrogenation to methanol, as demonstrated by Zili Wu et al. in their Research Article (e202313389).
ReactionMechanismSimulator.jl: A modern approach to chemical kinetic mechanism simulation and analysis
Abstract We present ReactionMechanismSimulator.jl (RMS), a modern differentiable software for the simulation and analysis of chemical kinetic mechanisms, including multiphase systems. RMS has already been applied to problems in combustion, pyrolysis, polymers, pharmaceuticals, catalysis, and electrocatalysis. RMS is written in Julia, making it easy to develop and allowing it to take advantage of Julia's extensive numerical computing ecosystem. In addition to its extensive library of optimized analytic Jacobians, RMS can generate and use Jacobians computed using automatic differentiation and symbolically generated analytic Jacobians. RMS is demonstrated to be faster than Cantera and Chemkin in several benchmarks. RMS also implements an extensive set of features for analyzing chemical mechanisms, including a library of easy‐to‐call plotting functions, molecular structure resolved flux diagram generation, crash analysis, traditional sensitivity analysis, transitory sensitivity analysis, and an automatic mechanism analysis toolkit. RMS implements efficient adjoint and parallel forward sensitivity analyses. We also demonstrate the ease of adding new features to RMS.
The use and abuse of cinnabar in Late Neolithic and Copper Age Iberia
Abstract In this study, total mercury (THg) was analyzed in archaeological human bone from 23 sites dating to between the Middle Neolithic and the Antiquity. A total of 370 individuals from individual or collective burials was sampled, mostly using cortical bone from the humerus. These individuals were recovered from over 50 different funerary structures ranging from tholoi, pits, caves, and hypogea. Although cinnabar (HgS) is a likely cause of mercury poisoning and toxicity for people exposed to this mineral from mining or use as a paint or pigment, not all sites investigated here had cinnabar associated with the burials or other excavated areas. We found unusual levels of THg in many of the sampled individuals that we assume were caused by exposure to cinnabar in life, and not by diagenetic processes or other exposures to mercury such as through diet, which would only cause negligible accumulation of THg in bone. Our data, based on the largest sampling ever undertaken on contamination of human bone through archaeological evidence, provide a baseline for additional research on cinnabar and its use in Prehistory. Moderate to high levels of THg in human bone are mainly associated with societies dating from the second half of the 4th to late 3rd millennia B.C. (Late Neolithic to Middle Chalcolithic) in southern Iberia. By the Late Chalcolithic and Early Bronze Age, the use of cinnabar decreased significantly and became minimal or absent. The use and abuse of cinnabar appears to have been pervasive throughout the above‐mentioned period and particularly between c. 2900–2300 B.C. This occurred in connection with the high symbolic and probably sacred value of the substance, which was sought after, traded, and extensively used in a variety of rituals and social practices.
The Table of Standard Atomic Weights—an exercise in consensus
The present Table of Standard Atomic Weights (TSAW) of the elements is perhaps one of the most familiar datasets in science. Unlike most parameters in physical science whose values and uncertainties are evaluated using the “Guidelines for Uncertainty in Measurement” (GUM), the majority of standard atomic-weight values and their uncertainties are consensus values, not GUM-evaluated values. The Commission on Isotopic Abundances and Atomic Weights of the International Union of Pure and Applied Chemistry (IUPAC) regularly evaluates the literature for new isotopic-abundance measurements that can lead to revised standard atomic-weight values, A r (E) for element E. The Commission strives to provide utmost clarity in products it disseminates, namely the TSAW and the Table of Isotopic Compositions of the Elements (TICE). In 2016, it was recognized by the Commission that a guideline recommending expression of uncertainty listed in parentheses following the standard atomic-weight value, e.g. A r (Se) = 78.971(8), is not in accord with the GUM, which suggests that this parenthetic notation be reserved to express standard uncertainty, not the expanded uncertainty used in the TSAW and TICE. In 2017, to eliminate this noncompliance with the GUM, a new format was adopted in which the uncertainty value is specified by the plus-minus symbol, e.g. A r (Se) = 78.971 ± 0.008. To clarify the definition of uncertainty, a new footnote has been added to the TSAW. This footnote emphasizes that an atomic-weight uncertainty is a consensus (decisional) uncertainty. Not only has the Commission shielded users of the TSAW and TICE from unreliable measurements that appear in the literature as a result of unduly small uncertainties, but the aim of IUPAC has been fulfilled by which any scientist, taking any natural sample from commerce or research, can expect their sample atomic weight to lie within A r (E) ± its uncertainty almost all of the time.
What is the iε for the S-matrix?
Can the S-matrix be complexified in a way consistent with causality? Since the 1960's, the affirmative answer to this question has been well-understood for 2→2 scattering of the lightest particle in theories with a mass gap at low momentum transfer, where the S-matrix is analytic everywhere except at normal-threshold branch cuts. We ask whether an analogous picture extends to realistic theories, such as the Standard Model, that include massless fields, UV/IR divergences, and unstable particles. Especially in the presence of light states running in the loops, the traditional iε prescription for approaching physical regions might break down, because causality requirements for the individual Feynman diagrams can be mutually incompatible. We demonstrate that such analyticity problems are not in contradiction with unitarity. Instead, they should be thought of as finite-width effects that disappear in the idealized 2→2 scattering amplitudes with no unstable particles, but might persist at higher multiplicity. To fix these issues, we propose an iε -like prescription for deforming branch cuts in the space of Mandelstam invariants without modifying the analytic properties. This procedure results in a complex strip around the real part of the kinematic space, where the S-matrix remains causal. In addition to giving a pedagogical introduction to the analytic properties of the perturbative S-matrix from a modern point of view, we illustrate all the points on explicit examples, both symbolically and numerically. Furthermore, to help with the investigation of related questions, we introduce a number of tools, including holomorphic cutting rules, new approaches to dispersion relations, as well as formulae for local behavior of Feynman integrals near branch points.
A note on one-loop cluster adjacency in N = 4 SYM
We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency properties of Plücker coordinates, quadratic cluster variables, and NMHV Yangian invariants that generalize the notion of weak separation.
Landau singularities of the 7-point ziggurat. Part II
We solve the Landau equations to find the singularities of nine three-loop 7-point graphs that arise as relaxations of the graph studied in [22]. Along the way we establish that Y – Δ equivalence fails for certain branches of solutions to the Landau equations. We find two graphs with singularities outside the heptagon symbol alphabet; in particular they are not cluster variables of Gr(4, 7). We compare maximal residues of scalar graphs exhibiting these singularities to those in $\mathcal{N}$ = 4 super-Yang-Mills theory in order to probe their cancellation from its amplitudes.
A three-point form factor through five loops
We bootstrap the three-point form factor of the chiral part of the stresstensor supermultiplet in planar $\mathcal{N}$ = 4 super-Yang-Mills theory, obtaining new results at three, four, and five loops. Our construction employs known conditions on the first, second, and final entries of the symbol, combined with new multiple-final-entry conditions, “extended-Steinmann-like” conditions, and near-collinear data from the recently-developed form factor operator product expansion. Our results are expected to give the maximally transcendental parts of the gg → Hg and H → ggg amplitudes in the heavy-top limit of QCD. At two loops, the extended-Steinmann-like space of functions we describe contains all transcendental functions required for four-point amplitudes with one massive and three massless external legs, and all massless internal lines, including processes such as gg → Hg and γ * → $q\overline{q}g$. We expect the extended-Steinmann-like space to contain these amplitudes at higher loops as well, although not to arbitrarily high loop order. We present evidence that the planar $\mathcal{N}$ = 4 three-point form factor can be placed in an even smaller space of functions, with no independent ζ values at weights two and three.
Soft gluon emission at two loops in full color
The soft emission factor is a central ingredient in the factorization of generic n-particle gauge theory amplitudes with one soft gluon in the external state. We present the complete two-loop soft factor, capturing the leading power behavior in the soft-gluon momentum. At two loops, the color structure and the kinematic dependence of the soft factor become nontrivial as the soft gluon can couple to three hard partons for the first time (tripole terms). The nontrivial kinematic dependence of the tripole terms is of uniform, maximal transcendental weight, and can be expressed (in a “Euclidean” region) in terms of single-valued harmonic polylogarithms. Our results are consistent with the behavior of the recently computed symbol of the two-loop five-particle amplitude in $Ν$ = 4 super-Yang-Mills theory. In the limit where the outgoing soft gluon is also collinear with an incoming hard parton, potentially dangerous factorization-violating terms can arise.
Split-helicity tree amplitudes and flag cluster algebras
Recent work has uncovered a connection between the symbol letters of general massless scattering and (permutations of) cluster variables of partial flag varieties. In this paper we explore the cluster adjacency of tree-level gluon amplitudes, specifically focusing on split-helicity amplitudes which can be written in closed form in terms of zigzag diagrams. We check in several cases, and conjecture in general, that the poles in each term satisfy cluster adjacency under a set of permutations that is built from arc permutations of the corresponding zigzag.
Vector boson pair production at one loop: analytic results for the process $q\bar{q}$$ℓ\bar{ℓ}$$ℓ'\bar{ℓ}'g$
We present compact analytic results for the one-loop amplitude for the process 0 → $q\bar{q}$$ℓ\bar{ℓ}$$ℓ'\bar{ℓ}'g$, relevant for both the production of a pair of Z and W-bosons in association with a jet. We focus on the gauge-invariant contribution mediated by a loop of quarks. We explicitly include all effects of the loop-quark mass m, appropriate for the production of a pair of Z-bosons. In the limit m → 0, our results are also applicable to the production of W-boson pairs, mediated by a loop of massless quarks. Implemented in a numerical code, the results are fast. The calculation uses novel advancements in spinor-helicity simplification techniques, for the first time applied beyond five-point massless kinematics. We make use of primary decompositions from algebraic-geometry, which now involve non-radical ideals, and p-adic numbers from number theory. We show how to infer whether numerator polynomials belong to symbolic powers of non-radical ideals through numerical evaluations.
Bootstrapping a stress-tensor form factor through eight loops
We bootstrap the three-point form factor of the chiral stress-tensor multiplet in planar $\mathcal{N}$ = 4 supersymmetric Yang-Mills theory at six, seven, and eight loops, using boundary data from the form factor operator product expansion. This may represent the highest perturbative order to which multi-variate quantities in a unitary four-dimensional quantum field theory have been computed. In computing this form factor, we observe and employ new restrictions on pairs and triples of adjacent letters in the symbol. We provide details about the function space required to describe the form factor through eight loops. Plotting the results on various lines provides striking numerical evidence for a finite radius of convergence of perturbation theory. By the principle of maximal transcendentality, our results are expected to give the highest weight part of the gg → Hg and H → ggg amplitudes in the heavy-top limit of QCD through eight loops. These results were also recently used to discover a new antipodal duality between this form factor and a six-point amplitude in the same theory.
Approximate CFTs and random tensor models
Abstract A key issue in both the field of quantum chaos and quantum gravity is an effective description of chaotic conformal field theories (CFTs), that is CFTs that have a quantum ergodic limit. We develop a framework incorporating the constraints of conformal symmetry and locality, allowing the definition of ensembles of ‘CFT data’. These ensembles take on the same role as the ensembles of random Hamiltonians in more conventional quantum ergodic phases of many-body quantum systems. To describe individual members of the ensembles, we introduce the notion of approximate CFT, defined as a collection of ‘CFT data’ satisfying the usual CFT constraints approximately, i.e. up to small deviations. We show that they generically exist by providing concrete examples. Ensembles of approximate CFTs are very natural in holography, as every member of the ensemble is indistinguishable from a true CFT for low-energy probes that only have access to information from semi-classical gravity. To specify these ensembles, we impose successively higher moments of the CFT constraints. Lastly, we propose a theory of pure gravity in AdS 3 as a random matrix/tensor model implementing approximate CFT constraints. This tensor model is the maximum ignorance ensemble compatible with conformal symmetry, crossing invariance, and a primary gap to the black-hole threshold. The resulting theory is a random matrix/tensor model governed by the Virasoro 6j-symbol.