Outline bibliography, and KWIC index on mechanical theorem proving and its applications
Bibliography and KWIC index on mechanical theorem proving and its applications
Vanderbrug, G. J.↗
SEARCH · Engineering Papers
Results for “Index theorem”
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.
Topologically Protected Flatness in Chiral Moiré Heterostructures
The observation of delicate correlated phases in twisted heterostructures of graphene and transition metal dichalcogenides suggests that moiré flat bands are intrinsically resilient against certain types of disorder. Here, we investigate the robustness of moiré flat bands in the chiral limit of the Bistritzer-MacDonald model—applicable to both platforms in certain limits—and demonstrate drastic differences between the first magic angle and higher magic angles in response to chiral symmetric disorder that arise, for instance, from lattice relaxation. We understand these differences using a hidden constant of motion that permits the decomposition of the non-Abelian gauge field induced by interlayer tunnelings into two decoupled Abelian ones. At all magic angles, the resulting effective magnetic field splits into an anomalous contribution and a fluctuating part. The anomalous field maps the moiré flat bands onto a zeroth Dirac Landau level, whose flatness withstands any chiral symmetric perturbation such as nonuniform magnetic fields due to a topological index theorem—thereby underscoring a topological mechanism for band flatness. Only the first magic angle can fully harness this topological protection due to its weak fluctuating magnetic field. In higher magic angles, the amplitude of fluctuations largely exceeds the anomalous contribution, which we find results in a physically meaningless chiral operator and an extremely large sensitivity to microscopic details and an exponential collapse of the single-particle gap. Through numerical simulations, we further study various types of disorder and identify the scattering processes that are enhanced or suppressed in the chiral limit. Interestingly, we find that the topological suppression of disorder broadening persists away from the chiral limit and is further accentuated by isolating a single sublattice polarized flat band in energy. Our analysis suggests the Berry curvature hot spot at the top of the K and K ′ valence band in the transition metal dichalcogenide monolayers is essential for the stability of its moiré flat bands and their correlated states. Published by the American Physical Society 2025
Crépel, Valentin (ORCID:0000000302403412)↗
Protected fermionic zero modes in periodic gauge fields
It is well known that macroscopically normalizable zero-energy wave functions of spin-$\frac{1}{2}$ particles in a two-dimensional inhomogeneous magnetic field are spin-polarized and exactly calculable with degeneracy equaling the number of flux quanta linking the whole system. Here, extending this argument to massless Dirac fermions subjected to magnetic fields that have zero net flux but are doubly periodic in real space, we show that there exist only two Bloch-normalizable zero-energy eigenstates, one for each spin flavor. This result is immediately relevant to graphene multilayer systems subjected to doubly periodic strain fields, which at low energies enter the Hamiltonian as periodic pseudogauge vector potentials. Furthermore, we explore various related settings including nonlinearly dispersing band structure models and systems with singly periodic magnetic fields.
36 MATERIALS SCIENCE↗
Resilience Measurement Framework For Post-deployment Artificial Intelligence (ai) Integrated Systems
Resilience is largely defined as the ability to adapt or recover from adverse conditions, stresses, attacks, or compromises on systems that use or are enabled by digital resources. In Artificial Intelligence Management and Research for Advanced Networked Testbed Hub (AMARANTH), resilience is measured in the amount of time it took from the beginning of a testing period for the model to reach predictions outside of the original 95% confidence interval or using the Kullback-Leibler (KL) divergence theorem, the Population Stability Index (PSI), and traditional methods such as root mean squared error (RMSE) threshold. Artificial Intelligence (AI) model drift is of significant concern when deploying AI-integrated systems into critical and/or secure environments. Drift can impact resilience of the AI-integrated system post-deployment and requires consistent maintenance and upkeep to ensure the model is accurate and precise. To quantify model drift and predict the point when a model's drift becomes unacceptable, we describe using Kullback-Leibler (KL) divergence, Population Stability Index (PSI) and/or confidence interval width estimations to determine the point of failure and time to failure of a model post-deployment. Through simple code functions, the KL-divergence, PSI, confidence interval, and root mean squared (RMSE) point of failures can be used to derive when a model needs to be maintained as well as the impact of adversarial action through statistical means.
Yockey, Patience [Idaho National Laboratory (INL),↗
An algorithm for control system design via parameter optimization
An algorithm for design via parameter optimization has been developed for linear-time-invariant control systems based on the model reference adaptive control concept. A cost functional is defined to evaluate the system response relative to nominal, which involves in general the error between the system and nominal response, its derivatives and the control signals. A program for the practical implementation of this algorithm has been developed, with the computational scheme for the evaluation of the performance index based on Lyapunov's theorem for stability of linear invariant systems.
Sinha, P. K.↗
A linear-quadratic-Gaussian control problem with innovations-feedthrough solution
The structure of the separation-theorem solution to the standard linear-quadratic-Gaussian (LQG) control problem does not involve direct output feedback as a consequence of the form of the performance index. It is shown that the performance index may be generalized in a natural fashion so that the optimal control law involves output feedback or, equivalently, innovations feedthrough (IF). Applications where this formulation may be advantageous are indicated through an examination of properties of the IF control law.
Platzman, L. K.↗
Hamiltonian indices and rational spectral densities
Several (global) topological properties of various spaces of linear systems, particularly symmetric, lossless, and Hamiltonian systems, and multivariable spectral densities of fixed McMillan degree are announced. The study is motivated by a result asserting that on a connected but not simply connected manifold, it is not possible to find a vector field having a sink as its only critical point. In the scalar case, this is illustrated by showing that only on the space of McMillan degree = /Cauchy index/ = n, scalar transfer functions can one define a globally convergent vector field. This result holds both in discrete-time and for the nonautonomous case. With these motivations in mind, theorems of Bochner and Fogarty are used in showing that spaces of transfer functions defined by symmetry conditions are, in fact, smooth algebraic manifolds.
Byrnes, C. I.↗
Explanation of the computer listings of Faraday factors for INTASAT users
Using a simplified form of the Appleton-Hartree formula for the phase refractive index, a relationship was obtained between the Faraday rotation angle along the angular path and the total electron content along the vertical path, intersecting the angular at the height of maximum electron density. Using the second mean value theorem of integration, the function B cosine theta second chi was removed from under the integral sign and replaced by a 'mean' value. The mean value factors were printed on the computer listing for 39 stations receiving signals from the INTASAT satellite during the specified time period. The data is presented by station and date. Graphs are included to demonstrate the variation of the Faraday factor with local time and season, with magnetic latitude, elevation and azimuth angles. Other topics discussed include a description of the bent ionospheric model, the earth's magnetic field model, and the sample computer listing.
Nesterczuk, G.↗
Maneuvering strategies using CMGs
This paper considers control strategies for maneuvering spacecraft using Single-Gimbal Control Momentum Gyros (CMGs). A pyramid configuration using four gyros is utilized. Preferred initial gimbal angles for maximum utilization of CMG momentum are obtained for some known torque commands. Feedback control laws are derived from the stability point of view by using the Liapunov's Second Theorem. The gyro rates are obtained by the pseudo-inverse technique. The effect of gimbal rate bounds on controllability are studied for an example maneuver. Singularity avoidance is based on limiting the gyro rates depending on a singularity index.
Oh, H. S.↗
Do stars that lose mass expand or contract? A semianalytical approach
Semianalytic methods are used to determine whether a star of polytropic index n expands or contracts following an insentropic loss of mass. It is found that most stars shrink, including radiative stars which can be approximated by polytropes of index roughly three. However, stars that have a ratio of specific heats gamma only slightly larger than 1 + 1/n do expand if the perturbation of the core density is sufficiently large. For stars that shrink, the fractional change in the radius is not a linear function of the fractional change in mass. Using Lane's theorem, it is shown that a star with gamma = 4/3 cannot lose mass isentropically, although the radius increases if the core density is reduced.
Heisler, J.↗
Interface extinction and subsurface peaking of the radiation pattern of a line source
The radiation pattern of a line source lying along the plane interface of two dielectric half-spaces is calculated. It is found that the pattern at the interface has a null (interface extinction); that the pattern in the upper half-space, whose index of refraction is taken to be less than that of the lower half-space, has a single lobe with a maximum normal to the interface; and that the pattern in the lower half-space (subsurface region) has two maxima (peaks) straddling symmetrically a minimum. Interpretation of these results in terms of ray optics, Oseen's extinction theorem, and the Cerenkov effect are given.
Engheta, N.↗
X-ray emission from clusters of galaxies
Some X-ray spectral observations of approximately 30 clusters of galaxies from HEAO-1 are summarized. There exists strong correlations between X-ray luminosity, L(x), and temperature kT in the form L(x)alphaT to the 2.3 power. This result combined with the L(x) central galaxy density relation and the virial theorem indicates that the core dadius of the gas should be roughly independent of L(x) or KT and that more luminous clusters have a greater fraction of their virial mass in gas. The poor correlation of KT and optical velocity dispersion seems to indicate that clusters have a variety of equations of state. There is poor agreement between X-ray imaging observations and optical and X-ray spectral measures of the polytropic index. Most clusters show Fe emission lines with a strong indication that they all have roughly 1/2 solar abundance. The evidence for cooling in the cores of several clusters is discussed based on spectral observations with the Einstein solid state spectrometer.
Mushotzky, R. F.↗
X-ray emission from clusters of galaxies
Some X-ray spectral observations of approximately 30 clusters of galaxies from HEAO-1 are summarized. There exists strong correlation betwen X-ray luminosity, L(x), and temperature kT in the form L(x)alphaT to the 2.3 power. This result combined with the L(x) central galaxy density relation and the virial theorem indicates that the core dadius of the gas should be roughly independent of L(x) or Kt and that more luminous clusters have a greater fraction of their virial mass in gas. The poor correlation of KT and optical velocity dispersion seems to indicate that clusters have a variety of equations of state. There is poor agreement between X-ray imaging observations and optical and X-ray spectral measures of the polytropic index. Most clusters show Fe emission lines with a strong indication that they all have roughly 1/2 solar abundance. The evidence for cooling in the cores several clusters is discussed based on spectral observations with the Einstein solid state spectrometer.
Mushotzky, R. F.↗
Adaptive stochastic control for a class of linear systems.
The problem considered in this paper deals with the control of linear discrete-time stochastic systems with unknown (possibly time-varying and random) gain parameters. The philosophy of control is based on the use of an open-loop feedback optimal (OLFO) control using a quadratic index of performance. It is shown that the OLFO system consists of (1) an identifier that estimates the system state variables and gain parameters and (2) a controller described by an 'adaptive' gain and correction term. Several qualitative properties and asymptotic properties of the OLFO adaptive system are discussed. Simulation results dealing with the control of stable and unstable third-order plants are presented. The key quantitative result is the precise variation of the control system adaptive gains as a function of the future expected uncertainty of the parameters; thus, in this problem the ordinary 'separation theorem' does not hold.
Tse, E.↗