Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “type 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 91 records · Page 5

Generalising G 2 geometry: involutivity, moment maps and moduli

We analyse the geometry of generic Minkowski N = 1, D = 4 flux compactifications in string theory, the default backgrounds for string model building. In M-theory they are the natural string theoretic extensions of G2 holonomy manifolds. In type II theories, they extend the notion of Calabi-Yau geometry and include the class of flux backgrounds based on generalised complex structures first considered by Graña et al. (GMPT). Using E 7(7) × $\mathbb{R}$ + generalised geometry we show that these compactifications are characterised by an SU(7) ⊂ E 7(7) structure defining an involutive subbundle of the generalised tangent space, and with a vanishing moment map, corresponding to the action of the diffeomorphism and gauge symmetries of the theory. The Kähler potential on the space of structures defines a natural extension of Hitchin’s G 2 functional. Using this framework we are able to count, for the first time, the massless scalar moduli of GMPT solutions in terms of generalised geometry cohomology groups. It also provides an intriguing new perspective on the existence of G 2 manifolds, suggesting possible connections to Geometrical Invariant Theory and stability.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Soft CP violation and the global matter-antimatter symmetry of the universe

Scenarios for baryon production are considered within the context of SU(5) and SO(10) grand unified theories where CP violation arises spontaneously. The spontaneous CP symmetry breaking then results in a matter-antimatter domain structure in the universe. Two possible, distinct types of theories of soft CP violation are defined. In the first type the CP nonconservation originates only from the breaking of SU(2) sub L X U(1) symmetry, and in the second type, even at the unification temperature scale, CP violation can emerge as a result of symmetry breaking by the vacuum expectation values of the superheavy Higgs sector scalars.

Senjanovic, G.↗

Infinitely many 4D N = 1 SCFTs with a = c

Here, we study a rich set of four-dimensional N = 1 superconformal field theories (SCFTs) with both central charges identical: a = c. We construct them via the diagonal N = 1 gauging of the flavor symmetry G of a collection of N = 2 Argyres–Douglas theories of type D p (G), with or without additional adjoint chiral multiplets. In this way, we construct infinitely many theories that flow to interacting SCFTs with a = c in the infrared. Lastly, we briefly highlight the features of the SCFTs without a = c that arise from generalizing this construction.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Ion Acoustic Wave Frequencies and Onset Times During Type 3 Solar Radio Bursts

Conflicting interpretations exist for the low-frequency ion acoustic (S) waves often observed by ISEE 3 in association with intense Langmuir (L) waves in the source regions of type III solar radio bursts near 1 AU. Two indirect lines of observational evidence, as well as plasma theory, suggest they are produced by the electrostatic (ES) decay L yields L(PRIME) + S. However, contrary to theoretical predictions, an existing analysis of the wave frequencies instead favors the electromagnetic (EM) decays L yields T + S, where T denotes an EM wave near the plasma frequency. This conflict is addressed here by comparing the observed wave frequencies and onset times with theoretical predictions for the ES and EM decays, calculated using the time-variable electron beam and magnetic field orientation data, rather than the nominal values used previously. Field orientation effects and beam speed variations are shown analytically to produce factor-of-three effects, greater than the difference in wave frequencies predicted for the ES and EM decays; effects of similar magnitude occur in the events analyzed here. The S-wave signals are extracted by hand from a sawtooth noise background, greatly improving the association between S waves and intense L waves. Very good agreement exists between the time-varying predictions for the ES decay and the frequencies of most (but not all) wave bursts. The waves occur only after the ES decay becomes kinematically allowed, which is consistent with the ES decay proceeding and producing most of the observed signals. Good agreement exists between the EM decay's predictions and a significant fraction of the S-wave observations while the EM decay is kinematically allowed. The wave data are not consistent, however, with the EM decay being the dominant nonlinear process. Often the observed waves are sufficiently broadband to overlap simultaneously the frequency ranges predicted for the ES and EM decays. Coupling the dominance of the ES decay with this frequency overlap provides support for a previous suggestion that fundamental emission occurs when the EM decay is stimulated by the ES decay product waves. The periods in which the ES and EM decays produce observable S waves are consistent with the observed and (independently) predicted times of fundamental and harmonic radio emission. This supports interpretation of fundamental emission as stimulated EM decay and harmonic emission as the coalescence L + L(prime) yields T of beam-generated L waves and L(prime) waves produced by the ES decay, where T denotes an electromagnetic wave at twice the plasma frequency. Analysis of the electron beam data reveals that the time-varying beam speed is consistent with ballistic beam propagation with minimal energy loss, implying that the beam propagates in a state close to time- and volume-averaged marginal stability. This confirms a central tenet of the stochastic growth theory for type III bursts.

Cairns, Iver H.↗

Accuracy of Tilt Rotor Hover Performance Predictions

The accuracy of various methods used to predict tilt rotor hover performance was established by comparing predictions with large-scale experimental data. A wide range of analytical approaches were examined. Blade lift was predicted with a lifting line analysis, two lifting surface analyses, and by a finite-difference solution of the full potential equation. Blade profile drag was predicted with two different types of airfoil tables and an integral boundary layer analysis. The inflow at the rotor was predicted using momentum theory, two types of prescribed wakes, and two free wake analyses. All of the analyses were accurate at moderate thrust coefficients. The accuracy of the analyses at high thrust coefficients was dependent upon their treatment of high sectional angles of attack on the inboard sections of the rotor blade. The analyses which allowed sectional lift coefficients on the inboard stations of the blade to exceed the maximum observed in two-dimensional wind tunnel tests provided better accuracy at high thrust coefficients than those which limited lift to the maximum two-dimensional value. These results provide tilt rotor aircraft designers guidance on which analytical approaches provide the best results, and the level of accuracy which can be expected from the best analyses.

Felker, Fort F.↗

Matter couplings and equivalence principles for soft scalars

Scalar effective field theories with enhanced soft limits behave in many ways like gauge theories and gravity. In particular, symmetries fix the structure of interactions and the tree-level S-matrix in both types of theories. We explore how this analogy persists in the presence of matter by considering theories with additional fields coupled to the Dirac-Born-Infeld (DBI) scalar or the special galileon in a way that is consistent with their symmetries. Using purely on-shell arguments, we show that these theories obey analogues of the S-matrix equivalence principle whereby all matter fields must couple to the DBI scalar or the special galileon through a particular quartic vertex with a universal coupling. These equivalence principles imply the universality of the leading double soft theorems in these theories, which are scalar analogues of Weinberg’s gravitational soft theorem, and can be used to rule out interactions with massless higher-spin fields when combined with analogues of the generalized Weinberg-Witten theorem. We verify in several examples that amplitudes with external matter fields nontrivially exhibit enhanced single soft limits and we show that such amplitudes can be constructed using soft recursion relations when they have sufficiently many external DBI or special galileon legs, including amplitudes with massive higher-spin fields. As part of our analysis we construct a recently conjectured special galileon-vector effective field theory.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Semiclassical theory of electronically nonadiabatic transitions in molecular collision processes

An introductory account of the semiclassical theory of the S-matrix for molecular collision processes is presented, with special emphasis on electronically nonadiabatic transitions. This theory is based on the incorporation of classical mechanics with quantum superposition, and in practice makes use of the analytic continuation of classical mechanics into the complex space of time domain. The relevant concepts of molecular scattering theory and related dynamical models are described and the formalism is developed and illustrated with simple examples - collinear collision of the A+BC type. The theory is then extended to include the effects of laser-induced nonadiabatic transitions. Two bound continuum processes collisional ionization and collision-induced emission also amenable to the same general semiclassical treatment are discussed.

Lam, K. S.↗

Local order of orthorhombic weberite-type Y 3 TaO 7 as determined by neutron total scattering and density functional theory calculations

Weberite-type oxides are a family of oxides with A 3 BO 7 stoichiometry that can adopt different space groups depending on chemical composition. There is a discrepancy in previous studies as to whether Y 3 TaO 7 is the orthorhombic C222 1 or the Ccmm space group. Here, we describe the short- and long-range structural properties of weberite-type Y 3 TaO 7 using neutron total scattering data, which has a high sensitivity to the oxygen sublattice. Simultaneous analysis of both short- and long-range structural data via conventional Rietveld and small box modelling demonstrates that Y 3 TaO 7 is best modeled as C222 1 . While the Ccmm describes equally well the long-range structure, pair distribution function analysis revealed that the local atomic configuration can be best modelled as C222 1 . This is corroborated by first-principles calculations that confirm the energetic preference of the C222 1 over Ccmm. Further, neutron total scattering data are reported for the first time for the Y 3 TaO 7 weberite-type ceramics.

36 MATERIALS SCIENCE↗

Factorized class $\mathrm{S}$ theories and surface defects

It is known that some theories of class S are actually factorized into multiple decoupled nontrivial four-dimensional $\mathcal{N}$ = 2 It is known that some theories of class S are actually factorized into multiple decoupled nontrivial four-dimensional $\mathcal{N}$ = 2 superconformal SU(2) QCD, describing this factorized theory as a class S theory of type A 3 on a five-punctured sphere with a twist line. Separately, we also present explicit checks that the Coulomb branch of a putative factorized class S theory has the expected product structure, in two examples.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Double holography in string theory

We develop the notion of double holography in Type IIB string theory realizations of braneworld models. The Type IIB setups are based on the holographic duals of 4d BCFTs comprising 4d N = 4 SYM on a half space coupled to 3d N = 4 SCFTs on the boundary. Based on the concrete BCFTs and their brane construction, we provide microscopic realizations of the intermediate holographic description, obtained by dualizing only the 3d degrees of freedom. Triggered by recent observations in bottom-up models, we discuss the causal structures in the full BCFT duals and intermediate descriptions. This confirms qualitative features found in the bottom-up models but suggests a refinement of their interpretation.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Integrating the full four-loop negative geometries and all-loop ladder-type negative geometries in ABJM theory

The decomposition of the four-point ABJM amplituhedron into negative geometries produces compact integrands of logarithmic of amplitudes such that the infrared divergence only comes from the last loop integration, from which we can compute the cusp anomalous dimension of the ABJM theory. In this note, we integrate L – 1 loop momenta of the L-loop negative geometries for all four-loop negative geometries and a special class of all-loop ladder-type negative geometries by a method based on Mellin transformation, and from these finite quantities we extract the corresponding contribution to the cusp anomalous dimension. We find that the infrared divergence of a box-type negative geometry at L = 4 is weaker than other negative geometries, then only tree-type negative geometries contribute to the cusp anomalous dimension at L = 4. For the all-loop ladder-type negative geometries, we prove and conjecture some recursive structures as integral equations in Mellin space and find that they cannot contribute zeta values like ζ 3 , ζ 5 to the cusp anomalous dimension.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Deep anistropic shell program for tire analysis

A finite element program was constructed to model the mechanical response of a tire, treated as a deep anisotropic shell, to specified static loads. The program is based on a Sanders Budiansky type shell theory with the effects of transverse shear deformation and bending-extensional coupling included. A displacement formulation is used together with a total Lagrangian description of the deformation. Sixteen-node quadrilateral elements with bicubic shape functions are employed. The Noor basis reduction technique and various type of symmetry considerations serve to improve the computational efficiency.

Andersen, C. M.↗

Synthesis of robust nonlinear autopilots using differential game theory

A synthesis technique for handling unmodeled disturbances in nonlinear control law synthesis was advanced using differential game theory. Two types of modeling inaccuracies can be included in the formulation. The first is a bias-type error, while the second is the scale-factor-type error in the control variables. The disturbances were assumed to satisfy an integral inequality constraint. Additionally, it was assumed that they act in such a way as to maximize a quadratic performance index. Expressions for optimal control and worst-case disturbance were then obtained using optimal control theory.

Menon, P. K. A.↗

Adaptive fuzzy system for 3-D vision

An adaptive fuzzy system using the concept of the Adaptive Resonance Theory (ART) type neural network architecture and incorporating fuzzy c-means (FCM) system equations for reclassification of cluster centers was developed. The Adaptive Fuzzy Leader Clustering (AFLC) architecture is a hybrid neural-fuzzy system which learns on-line in a stable and efficient manner. The system uses a control structure similar to that found in the Adaptive Resonance Theory (ART-1) network to identify the cluster centers initially. The initial classification of an input takes place in a two stage process; a simple competitive stage and a distance metric comparison stage. The cluster prototypes are then incrementally updated by relocating the centroid positions from Fuzzy c-Means (FCM) system equations for the centroids and the membership values. The operational characteristics of AFLC and the critical parameters involved in its operation are discussed. The performance of the AFLC algorithm is presented through application of the algorithm to the Anderson Iris data, and laser-luminescent fingerprint image data. The AFLC algorithm successfully classifies features extracted from real data, discrete or continuous, indicating the potential strength of this new clustering algorithm in analyzing complex data sets. The hybrid neuro-fuzzy AFLC algorithm will enhance analysis of a number of difficult recognition and control problems involved with Tethered Satellite Systems and on-orbit space shuttle attitude controller.

Mitra, Sunanda↗

On spurious behavior of CFD simulations

Spurious behavior in underresolved grids and/or semi-implicit temporal discretizations for four computational fluid dynamics (CFD) simulations are studied. The numerical simulations consist of (a) a 1-D chemically relaxed nonequilibrium model, (b) the direct numerical simulation (DNS) of 2-D incompressible flow over a backward facing step, (c) a loosely-coupled approach for a 2-D fluid-structure interaction, and (d) a 3-D compressible unsteady flow simulation of vortex breakdown in delta wings. Using knowledge from dynamical systems theory, various types of spurious behaviors that are numerical artifacts were systematically identified. These studies revealed the various possible dangers of misinterpreting numerical simulation of realistic complex flows that are constrained by the available computing power. In large scale computations underresolved grids, semi-implicit procedures, loosely-coupled implicit procedures, and insufficiently long time integration in DNS are most often unavoidable. Consequently, care must be taken in both computation and in interpretation of the numerical data. The results presented confirm the important role that dynamical systems theory can play in the understanding of the nonlinear behavior of numerical algorithms and in aiding the identification of the sources of numerical uncertainties in CFD.

Numerical Solution↗

Continuum-mediated self-interacting dark matter

Dark matter may self-interact through a continuum of low-mass states. This happens if dark matter couples to a strongly-coupled nearly-conformal hidden sector. This type of theory is holographically described by brane-localized dark matter interacting with bulk fields in a slice of 5D anti-de Sitter space. The long-range potential in this scenario depends on a non-integer power of the spatial separation, in contrast to the Yukawa potential generated by the exchange of a single 4D mediator. The resulting self-interaction cross section scales like a non-integer power of velocity. We identify the Born, classical and resonant regimes and investigate them using state-of-the-art numerical methods. We demonstrate the viability of our continuum-mediated framework to address the astrophysical small-scale structure anomalies. Investigating the continuum-mediated Sommerfeld enhancement, we demonstrate that a pattern of resonances can occur depending on the non-integer power. We conclude that continuum mediators introduce novel power-law scalings which open new possibilities for dark matter self-interaction phenomenology.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Mott vs Kondo: Influence of various density functional based methods on the Ce isostructural phase transition mechanism

The cerium iso-structural phase transition (γ–α) is dominated by f-electron localization changes that results in a magnetic ordering change and a volume collapse. Generally, these physics are difficult to capture with ab initio and first principles methods. However, previous works have shown various methods to be successful in predicting at least some of the physics of the γ to α phase transition. Therefore, here, we perform a broad survey of density functional based methods across three levels of theory and types of functions [GGA (generalized gradient approximation), MetaGGA, and hybrid functionals] and compare the results, focusing on hydrostatic compression across the phase boundary at zero kelvin. For the methods that best reproduce experimental results, we directly probe the predicted mechanisms and frame the results in the Mott/Kondo debate, assessing how the underlying methods and assumptions of different functionals can assess the physical drivers in the phase transition, providing insight into the governing processes of this unique phase transition.

36 MATERIALS SCIENCE↗