SEARCH · Search NASA

Results for “EXISTENCE 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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

DOE OSTI2024

Cone beam neutron interferometry: From modeling to applications

Phase-grating moiré interferometers (PGMIs) have emerged as promising candidates for the next generation of neutron interferometry, enabling the use of a polychromatic beam and manifesting interference patterns that can be directly imaged by existing neutron cameras. However, the modeling of the various PGMI configurations is limited to cumbersome numerical calculations and backward propagation models which often do not enable one to explore the setup parameters. Here we generalize the Fresnel scaling theorem to introduce a k -space model for PGMI setups illuminated by a cone beam, thus enabling an intuitive forward propagation model for a wide range of parameters and experimental setups. The interference manifested by a PGMI is shown to be a special case of the Talbot effect, and the optimal fringe visibility is shown to occur at the moiré location of the Talbot distances. We derive analytical expressions for the contrast and the propagating intensity profiles in various conditions and provide the first analysis of the PGMI dark-field imaging signal when considering sample characterization. The model's predictions are compared to experimental measurements and good agreement is found between them. Last, we propose and experimentally verify a method to recover contrast at typically inaccessible PGMI autocorrelation lengths. The presented work provides a toolbox for analyzing and understanding existing PGMI setups and their future applications, for example extensions to two-dimensional PGMIs and characterization of samples with nontrivial structures. Published by the American Physical Society 2024

Sarenac, D. (ORCID:0000000185753367)↗

DOE OSTI2022

GFINNs: GENERIC formalism informed neural networks for deterministic and stochastic dynamical systems

Here we propose the GENERIC formalism informed neural networks (GFINNs) that obey the symmetric degeneracy conditions of the GENERIC formalism. GFINNs comprise two modules, each of which contains two components. We model each component using a neural network whose architecture is designed to satisfy the required conditions. The component-wise architecture design provides flexible ways of leveraging available physics information into neural networks. We prove theoretically that GFINNs are sufficiently expressive to learn the underlying equations, hence establishing the universal approximation theorem. We demonstrate the performance of GFINNs in three simulation problems: gas containers exchanging heat and volume, thermoelastic double pendulum and the Langevin dynamics. In all the examples, GFINNs outperform existing methods, hence demonstrating good accuracy in predictions for both deterministic and stochastic systems.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

Topological modes and spectral flows in inhomogeneous PT-symmetric continuous media

In classical Hermitian continuous media, the spectral-flow index of topological modes is linked to the bulk topology via index theorem. However, the interface between two bulks is usually non-Hermitian due to the inhomogeneities of system parameters. We show that the connection between topological modes and bulk topology still exists despite the non-Hermiticity at the interface if the system is endowed with PT symmetry. The theoretical framework developed is applied to the Hall magnetohydrodynamic model to identify a topological mode called topological Alfvén sound wave in magnetized plasmas. Published by the American Physical Society 2024

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

NASA NTRS1994

Further evidence for the EPNT assumption

We recently proved a theorem extending the Greenberger-Horne-Zeilinger (GHZ) Theorem from multi-particle systems to two-particle systems. This proof depended upon an auxiliary assumption, the EPNT assumption (Emptiness of Paths Not Taken). According to this assumption, if there exists an Einstein-Rosen-Podolsky (EPR) element of reality that determines that a path is empty, then there can be no entity associated with the wave that travels this path (pilot-waves, empty waves, etc.) and reports information to the amplitude, when the paths recombine. We produce some further evidence in support of this assumption, which is certainly true in quantum theory. The alternative is that such a pilot-wave theory would have to violate EPR locality.

Greenberger, Daniel M.↗

DOE OSTI2021

Discreteness and integrality in Conformal Field Theory

Various observables in compact CFTs are required to obey positivity, discreteness, and integrality. Positivity forms the crux of the conformal bootstrap, but understanding of the abstract implications of discreteness and integrality for the space of CFTs is lacking. We systematically study these constraints in two-dimensional, non-holomorphic CFTs, making use of two main mathematical results. First, we prove a theorem constraining the behavior near the cusp of integral, vector-valued modular functions. Second, we explicitly construct non-factorizable, non-holomorphic cuspidal functions satisfying discreteness and integrality, and prove the non-existence of such functions once positivity is added. Application of these results yields several bootstrap-type bounds on OPE data of both rational and irrational CFTs, including some powerful bounds for theories with conformal manifolds, as well as insights into questions of spectral determinacy. We prove that in rational CFT, the spectrum of operator twists t ≥ c/12 is uniquely determined by its complement. Likewise, we argue that in generic CFTs, the spectrum of operator dimensions Δ > c–1/12 is uniquely determined by its complement, absent fine-tuning in a sense we articulate. Finally, we discuss implications for black hole physics and the (non-)uniqueness of a possible ensemble interpretation of AdS 3 gravity.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1973

The solution of transcendental equations

Some of the existing methods to globally approximate the roots of transcendental equations namely, Graeffe's method, are studied. Summation of the reciprocated roots, Whittaker-Bernoulli method, and the extension of Bernoulli's method via Koenig's theorem are presented. The Aitken's delta squared process is used to accelerate the convergence. Finally, the suitability of these methods is discussed in various cases.

Agrawal, K. M.↗

NASA NTRS1982

Simultaneous stabilization and simultaneous pole placement by nonswitching dynamic compensation

The 'simultaneous stabilization problem' is defined and theorems are proposed for its solution. The problem consists in answering the question: given an r-tuple G sub 1(s), G sub r(s) of p x m proper transfer functions, does there exist a compensator K(s) such that the closed loop systems G sub 1(s) (I+K(s)G sub 1(s)) (-1), G sub r(s) (I+K(s) G sub r(s)) (-1) are (internally) stable. This question arises in reliability theory, where G sub 2(s), G sub r(s) represents a plant G sub 1(s) operating in various modes of failure and K(s) is a nonswitching stabilizing compensator. It is important in the stability analysis and design of a plant which can be switched into various operating modes. The simultaneous stabilization problem can also apply to the stabilization of a nonlinear system which is linearized at several equilibria. Conditions are defined for pole placement and the generalized Sylvestor matrix is discussed.

Ghosh, B. K.↗

NASA NTRS1983

Simultaneous stabilization and simultaneous pole-placement by nonswitching dynamic compensation

Ghosh, B. K.↗

NASA NTRS1972

A class of neutral functional differential equations.

Formulation and study of the initial value problem for neutral functional differential equations. The existence, uniqueness, and continuation of solutions to this problem are investigated, and an analysis is made of the dependence of the solutions on the initial conditions and parameters, resulting in the derivation of a continuous dependence theorem in which the fundamental mathematical principles underlying the continuous dependence problem for a very general system of nonlinear neutral functional differential equations are separated out.

Melvin, W. R.↗

NASA NTRS1976

The linear quadratic optimal control problem for infinite dimensional systems over an infinite horizon - Survey and examples

Available published results are surveyed for a special class of infinite-dimensional control systems whose evolution is characterized by a semigroup of operators of class C subscript zero. Emphasis is placed on an approach that clarifies the system-theoretic relationship among controllability, stabilizability, stability, and the existence of a solution to an associated operator equation of the Riccati type. Formulation of the optimal control problem is reviewed along with the asymptotic behavior of solutions to a general system of equations and several theorems concerning L2 stability. Examples are briefly discussed which involve second-order parabolic systems, first-order hyperbolic systems, and distributed boundary control.

Bensoussan, A.↗

NASA NTRS1983

Milgrom's revision of cosmic dynamics: Amending Newton's laws or Keplers?

Milgrom's recent revision of Newtonian dynamics was introduced to eliminate the inference that large quantities of invisible mass exist in galaxies. Simple examples show that a Milgrom acceleration, in the form presented so far, imply other far-reaching changes in dynamics. The momentum of an isolated system is not conserved, and the usual theorem for center-of-mass motion of any system does not hold. Naive applications require extreme caution. The model fails to provide a complete description of particle dynamics and should be thought of as a revision of Kepler's laws rather than Newton's. The Milgrom acceleration also implies fundamental changes in cosmology. A quasi-Newtonian calculation adapted from Newtonian cosmology suggests that a Milgrom universe will recollapse even if the classical closure parameter theta is less than 1. The solution, however, fails to satisfy the cosmological principle. Reasons for the breakdown of this calculation are examined. A theory of gravitation needed before the behavior of a Milgrom universe can be predicted.

Felten, J. E.↗

NASA NTRS1983

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.↗

NASA NTRS1984

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.↗

NASA NTRS1976

On the nonexistence of plane-polarized large amplitude Alfven waves

A theorem is presented which shows that purely Alfvenic plane-polarized large-amplitude disturbances in the solar wind are not possible and will never be observed. The theorem establishes that there is no nontrivial plane-polarized magnetic-field configuration in which the parameter B-squared is constant throughout all space. It is noted, however, that more general nonplanar Alfvenic disturbances may well exist.

Barnes, A.↗

NASA NTRS1984

Milgrom's revision of Newton's laws - Dynamical and cosmological consequences

Milgrom's (1983) recent revision of Newtonian dynamics was introduced to eliminate the inference that large quantities of invisible mass exist in galaxies. It is shown by simple examples that a Milgrom acceleration, in the form presented so far, implies other far-reaching changes in dynamics. The momentum of an isolated system is not conserved, and the usual theorem for center-of-mass motion of any system does not hold. Naive applications require extreme caution. The model fails to provide a complete description of particle dynamics and should be thought of as a revision of Kepler's laws rather than Newton's. The Milgrom acceleration also implies fundamental changes in cosmology. A quasi-Newtonian calculation adapted from Newtonian cosmology suggests that a 'Milgrom universe' will recollapse even if the classical closure parameter Omega is much less than unity. The solution, however, fails to satisfy the cosmological principle. Reasons for the breakdown of this calculation are examined. A new theory of gravitation will be needed before the behavior of a Milgrom universe can be predicted.

Felten, J. E.↗

NASA NTRS1996

Development and Demonstration of an Ada Test Generation System

In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an important role in identifying testing requirements which are infeasible. This is especially true for data flow testing and modified condition/decision coverage. Our system uses in an essential way symbolic analysis and theorem proving technology, and we believe this work represents one of the few successful uses of a theorem prover working in a completely automatic fashion to solve a problem of practical interest. We believe this work anticipates an important trend away from purely syntactic-based methods for program analysis to semantic methods based on symbolic processing and inference technology. Other results demonstrating the practical use of automatic inference is being reported in hardware verification, although there are significant differences between the hardware work and ours. However, what is common and important is that general purpose theorem provers are being integrated with more special-purpose decision procedures to solve problems in analysis and verification. We are pursuina commercial opportunities for this work, and will use and extend the work in other projects we are engaged in. Ultimately we would like to rework the system to analyze C, C++, or Java as a key step toward commercialization.

Source record↗

DOE OSTI2021

Multi-spin soft bootstrap and scalar-vector Galileon

We use the amplitude soft bootstrap method to explore the space of effective field theories (EFT) of massless vectors and scalars. It is known that demanding vanishing soft limits fixes uniquely a special class of EFTs: non-linear sigma model, scalar Galileon and Born-Infeld theories. Based on the amplitudes analysis, we conjecture no-go theorems for higher-derivative vector theories and theories with coupled vectors and scalars. We then allow for more general soft theorems where the non-trivial part of the soft limit of the ( n +1)-pt amplitude is equal to a linear combination of n-pt amplitudes. We derive the form of these soft theorems for general power-counting and spins of particles and use it as an input into the soft bootstrap method in the case of Galileon power-counting and coupled scalar-vector theories. We show that this unifies the description of existing Galileon theories and leads us to the discovery of a new exceptional theory: Special scalar-vector Galileon.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

NASA NTRS1986

Dark matter near the sun

The amount of dark matter in the disk of the Galaxy at the solar position is determined by comparing the observed distributions of tracer stars with the predictions obtained from different assumptions of how the unseen matter is distributed. The major uncertainties, observational and theoretical, are estimated. For all the observed samples, typical models imply that about half of the mass in the solar vicinity must be in the form of unobserved matter. The volume density of unobserved material near the sun is about 0.1 solar mass/cu pc; the corresponding column density is about 30 solar masses/cu pc. This, so far unseen, material must be in a disk with an exponential scale height of less than 0.7 kpc. All the existing observations are consistent with the unseen disk material being in the form of stars not massive enough to burn hydrogen. It is suggested that the unseen material that is required to hold up the rotation curves of galaxies and to satisfy the virial theorem for clusters of galaxies might also be in the form of low-mass stars.

Bahcall, J. N.↗