Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Spin model”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Kondo Lattice Model of Magic-Angle Twisted-Bilayer Graphene: Hund’s Rule, Local-Moment Fluctuations, and Low-Energy Effective Theory

For this work, we apply a generalized Schrieffer-Wolff transformation to the extended Anderson-like topological heavy fermion (THF) model for the magic-angle (θ=1.05°) twisted bilayer graphene (MATBLG) [Phys. Rev. Lett. 129, 047601 (2022)], to obtain its Kondo lattice limit. In this limit localized $\mathcal{f}$ electrons on a triangular lattice interact with topological conduction $\mathcal{c}$ electrons. By solving the exact limit of the THF model, we show that the integer fillings ν=0, ±1, ±2 are controlled by the heavy $\mathcal{f}$ electrons, while ν=±3 is at the border of a phase transition between two $\mathcal{f}$-electron fillings. For ν=0, ±1, ±2, we then calculate the Ruderman-Kittel-Kasuya-Yosida (RKKY) interactions between the $\mathcal{f}$ moments in the full model and analytically prove the SU(4) Hund’s rule for the ground state which maintains that two $\mathcal{f}$ electrons fill the same valley-spin flavor. Our (ferromagnetic interactions in the) spin model dramatically differ from the usual Heisenberg antiferromagnetic interactions expected at strong coupling. We show the ground state in some limits can be found exactly by employing a positive semidefinite “bond-operators” method. We then compute the excitation spectrum of the $\mathcal{f}$ moments in the ordered ground state, prove the stability of the ground state favored by RKKY interactions, and discuss the properties of the Goldstone modes, the (reason for the accidental) degeneracy of (some of) the excitation modes, and the physics of their phase stiffness. We develop a low-energy effective theory for the $\mathcal{f}$ moments and obtain analytic expressions for the dispersion of the collective modes. We discuss the relevance of our results to the spin-entropy experiments in TBG.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2003

The HiVy toolset

The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.

model checking statechart translation validation↗
DOE OSTI2023

Anisotropic Melting of Frustrated Ising Antiferromagnets

Magnetic frustrations and dimensionality play an important role in determining the nature of the magnetic long-range order and how it melts at temperatures above the ordering transition T N . In this Letter, we use large-scale Monte Carlo simulations to study these phenomena in a class of frustrated Ising spin models in two spatial dimensions. Here we find that the melting of the magnetic long-range order into an isotropic gaslike paramagnet proceeds via an intermediate stage where the classical spins remain anisotropically correlated. This correlated paramagnet exists in a temperature range T N < T < T * , whose width increases as magnetic frustrations grow. This intermediate phase is typically characterized by short-range correlations; however, the two-dimensional nature of the model allows for an additional exotic feature—formation of an incommensurate liquidlike phase with algebraically decaying spin correlations. The two-stage melting of magnetic order is generic and pertinent to many frustrated quasi-2D magnets with large (essentially classical) spins.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS1951

Pilot Escape from Spinning Airplanes as Determined from Free-spinning-tunnel Tests

Procedure for pilot escape from spinning airplanes has been determined by means of tests in which pilot escape was simulated from 21 airplane models spinning in the Langley 20-foot free-spinning tunnel. The results in general indicated that the pilot should bail out of the outboard side. Calculated centripetal accelerations acting on the pilot during a spin are presented.

SAFETY - PILOT ESCAPE TECHNIQUES↗
NASA NTRS2000

Formal Analysis of the Remote Agent Before and After Flight

This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers. The Java PathFinder tool which directly translates from Java to PROMELA was developed as part of this research, as well as automatic abstraction tools. In 1999 the flight software flew on a space mission, and a deadlock occurred in a sibling subsystem to the one which was the focus of the first verification effort. A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time. The error was isomorphic to one of the concurrency errors found during the first verification effort. The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy. Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.

Havelund, Klaus↗
NASA NTRS1973

A roll-pitch interaction simulator and a control position command encoder for remote piloting of spin-entry research models

The Langley Research Center uses radio-controlled, scaled aircraft models to study the spin-entry characteristics of aircraft. Recent spin-entry studies required the use of an electronic proportional-control system for manipulating model control surfaces. In order to meet control system requirements, a special-purpose analog computer was designed to simulate the coupling between roll and pitch controls. A digital encoder was designed to encode the voltage analogs of control-surface position into a special pulse format for transmission to the model. This paper describes the two special developments and their relationship to the functions of the overall control system.

Meissner, C. W., Jr.↗
DOE OSTI2022

Classical and quantum evolution in a simple coherent neutrino problem

The extraordinary neutrino flux produced in extreme astrophysical environments like the early Universe, core-collapse supernovae and neutron star mergers may produce coherent quantum neutrino oscillations on macroscopic length scales. The Hamiltonian describing this evolution can be mapped into quantum spin models with all-to-all couplings arising from neutrino-neutrino forward scattering. To date many studies of these oscillations have been performed in a mean-field limit where the neutrinos time evolve in a product state. In this paper we examine a simple two-beam model evolving from an initial product state and compare the mean-field and many-body evolution. The symmetries in this model allow us to solve the real-time evolution for the quantum many-body system for hundreds or thousands of spins, far beyond what would be possible in a more general case with an exponential number (2 N ) of quantum states. We compare mean-field and many-body solutions for different initial product states and ratios of one- and two-body couplings, and find that in all cases in the limit of infinite spins the mean-field (product state) and many-body solutions coincide for simple observables. This agreement can be understood as a consequence of the fact that the typical initial condition represents a very local but dense distribution about a mean energy in the spectrum of the Hamiltonian. We explore quantum information measures like entanglement entropy and purity of the many-body solutions, finding intriguing relationships between the quantum information measures and the dynamical behavior of simple physical observables.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Magnetic exchange interactions in the van der Waals layered antiferromagnet MnPSe 3

Two-dimensional van der Waals compounds with magnetic ions on a honeycomb lattice are hosts to a variety of exotic behavior. The magnetic interactions in one such compound, MnPSe 3 , are investigated with elastic and inelastic neutron scattering. Magnetic excitations are observed in the magnetically ordered regime and persist to temperatures well above the ordering temperature, T N =74K, consistent with low dimensional magnetic interactions. The inelastic neutron scattering results allow a model spin Hamiltonian to be presented that includes dominant intralayer interactions of J 1ab =0.45 meV, J 2ab =0.03 meV, J 3ab =0.19 meV, consistent with theoretical predictions. Furthermore, despite the quasi-2D behavior, appreciable interlayer interactions of J c =0.031(5) meV are required to model the data. No evidence for anisotropy in the form of a spin gap is observed in the data collected. The measurements on MnPSe 3 are contrasted with those on MnPS 3 and reveal a large increase in the interlayer exchange interaction in MnPSe 3 that may stabilize the similar ordering temperatures in the bulk compounds.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2002

Program Model Checking as a New Trend

This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

Havelund, Klaus↗
DOE OSTI2025

Probing the Kitaev honeycomb model on a neutral-atom quantum computer

Quantum simulations of many-body systems are among the most promising applications of quantum computers. In particular, models based on strongly correlated fermions are central to our understanding of quantum chemistry and materials problems, and can lead to exotic, topological phases of matter. However, owing to the non-local nature of fermions, such models are challenging to simulate with qubit devices. Here we realize a digital quantum simulation architecture for two-dimensional fermionic systems based on reconfigurable atom arrays. We utilize a fermion-to-qubit mapping based on Kitaev’s model on a honeycomb lattice, in which fermionic statistics are encoded using long-range entangled states. We prepare these states efficiently using measurement and feedforward, realize subsequent fermionic evolution through Floquet engineering with tunable entangling gates interspersed with atom rearrangement, and improve results with built-in error detection. Leveraging this fermion description of the Kitaev spin model, we efficiently prepare topological states across its complex phase diagram and verify the non-Abelian spin-liquid phase by evaluating an odd Chern number. We further explore this two-dimensional fermion system by realizing tunable dynamics and directly probing fermion exchange statistics. Finally, we simulate strong interactions and study the dynamics of the Fermi–Hubbard model on a square lattice. These results pave the way for digital quantum simulations of complex fermionic systems for materials science, chemistry and high-energy physics.

atomic and molecular physics↗
NASA NTRS1979

The effects of configuration changes on spin and recovery characteristics of a low-wing general aviation research airplane

A fully instrumented, low-wing, single-engine general aviation airplane has been spin tested. Several tail configurations, wing leading-edge modifications, fuselage modifications, moment-of-inertia variations, center-of-gravity positions, and control inputs have been tested to determine their effect on spinning and spin recovery. Results indicate that wing airfoil design can significantly influence airplane spin and recovery characteristics and can overpower the effects of tail design. Results also point out a need to determine limitations of such factors as Reynolds number in model spin test techniques and high angle-of-attack aerodynamics.

Stough, H. P., III↗
NASA NTRS2013

Mars Science Laboratory Orbit Determination Data Pre-Processing

The Mars Science Laboratory (MSL) was spin-stabilized during its cruise to Mars. We discuss the effects of spin on the radiometric data and how the orbit determination team dealt with them. Additionally, we will discuss the unplanned benefits of detailed spin modeling including attitude estimation and spacecraft clock correlation.

spin signature↗
DOE OSTI2020

Spin-1 Kitaev-Heisenberg model on a honeycomb lattice

We study the Kitaev-Heisenberg model with spin-1 local degree of freedom on a honeycomb lattice numerically by the infinite density matrix renormalization group method on a cylinder geometry. By tuning the relative value of the Kitaev and Heisenberg exchange couplings, we obtain the phase diagram with two spin liquid phases and four symmetry-broken phases. Here, we identify that the spin liquid phases are gapless by calculating the central charge at the pure Kitaev points without the Heisenberg interactions. Comparing to its spin-1/2 counterpart, the position and number of gapless modes of the spin-1 case are quite different. Due to the approximate Z 2 local conservations, the expectation value of the Wilson loop operator measuring the flux of each plaquette stays near to 1, and the static spin-spin correlations remain short range in the entire spin liquid phases.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2020

A multi-dimensional search for new heavy resonances decaying to boosted $\text{W}$ $\text{W}$, $\text{W}$ $\text{Z}$, or $\text{Z}$ $\text{Z}$ boson pairs in the dijet final state at 13 $\text {Te}\text{V}$

A search in an all-jet final state for new massive resonances decaying to $\text{ W }{}{}\text{ W }{}{}$, $\text{ W }{}{}\text{ Z }{}{}$, or $\text{ Z }{}{}\text{ Z }{}{}$ boson pairs using a novel analysis method is presented. The analysis is performed on data corresponding to an integrated luminosity of 77.3 $\,\text {fb}^{-1}$ recorded with the CMS experiment at the LHC at a centre-of-mass energy of 13 $\text {Te}\text {V}$. The search is focussed on potential narrow-width resonances with masses above 1.2 $\text {Te}\text {V}$, where the decay products of each $\text{ W }{}{}$ or $\text{ Z }{}{}$ boson are expected to be collimated into a single, large-radius jet. The signal is extracted using a three-dimensional maximum likelihood fit of the two jet masses and the dijet invariant mass, yielding an improvement in sensitivity of up to 30% relative to previous search methods. No excess is observed above the estimated standard model background. In a heavy vector triplet model, spin-1 ${\text {Z}}^{\prime }$ and ${\text {W}}^{\prime }$ resonances with masses below 3.5 and 3.8 $\text {Te}\text {V}$, respectively, are excluded at 95% confidence level. In a bulk graviton model, upper limits on cross sections are set between 27 and 0.2 $\,\text {fb}$ for resonance masses between 1.2 and 5.2 $\text {Te}\text {V}$, respectively. The limits presented in this paper are the best to date in the dijet final state.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Noise robust detection of quantum phase transitions

Quantum computing allows for the manipulation of highly correlated states whose properties quickly go beyond the capacity of any classical method to calculate. Thus one natural problem which could lend itself to quantum advantage is the study of ground-states of condensed matter models, and the transitions between them. However, current levels of hardware noise can require extensive application of error-mitigation techniques to achieve reliable computations. In this work, we use several IBM devices to explore a finite-size spin model with multiple “phaselike” regions characterized by distinct ground-state configurations. Using preoptimized Variational Quantum Eigensolver (VQE) solutions, we demonstrate that in contrast to calculating the energy, where zero-noise extrapolation is required in order to obtain qualitatively accurate yet still unreliable results, calculations of the energy derivative, two-site spin correlation functions, and the fidelity susceptibility yield accurate behavior across multiple regions, even with minimal or no application of error-mitigation approaches. Taken together, these sets of observables could be used to identify level crossings in a simple, noise-robust manner which is agnostic to the method of ground state preparation. This work shows promising potential for near-term application to identifying quantum phase transitions, including avoided crossings and nonadiabatic conical intersections in electronic structure calculations. Published by the American Physical Society 2024

Lively, Kevin (ORCID:0000000320981494)↗
DOE OSTI2021

SU(4) Chiral Spin Liquid, Exciton Supersolid, and Electric Detection in Moiré Bilayers

We propose a moiré bilayer as a platform where exotic quantum phases can be stabilized and electrically detected. Moiré bilayers consist of two separate moiré superlattice layers coupled through the interlayer Coulomb repulsion. In the small distance limit, an SU(4) spin can be formed by combining layer pseudospin and the real spin. As a concrete example, we study an SU(4) spin model on triangular lattice in the fundamental representation. By tuning a three-site ring exchange term K ~ ( t 3 /U 2 ), we find the SU(4) symmetric crystallized phase and an SU (4) 1 chiral spin liquid at the balanced filling. We also predict two different exciton supersolid phases with interlayer coherence at imbalanced filling under displacement field. Especially, the system can simulate an SU(2) Bose-Einstein condensation by injecting interlayer excitons into the magnetically ordered Mott insulator at the layer polarized limit. Smoking gun evidences of these phases can be obtained by measuring the pseudospin transport in the counterflow channel.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re- combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗