SEARCH · Search NASA
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.
Summary reports of research projects covering solid state materials, semiconductors and devices, quantum electronics, plasmas, applied electromagnetics, electrical engineering systems to include control communication, computer and power systems, biomedical engineering and mathematical biosciences.
We give a definition of locality in quantum optics based upon Bell's work, and show that locality has been violated in no experiment performed up to now. We argue that the interpretation of the Wigner function as a probability density gives a very attractive local realistic picture of quantum optics provided that this function is nonnegative. We conjecture that this is the case for all states which can be realized in the laboratory. In particular, we believe that the usual representation of 'single photon states' by a Fock state of the Hilbert space is not correct and that a more physical, although less simple mathematically, representation involves density matrices. We study in some detail the experiment showing anticorrelation after a beam splitter and prove that it naturally involves a positive Wigner function. Our (quantum) predictions for this experiment disagree with the ones reported in the literature.
The concept of a two-photon coherent state is introduced for applications in quantum optics. It is a simple generalization of the well-known minimum-uncertainty wave packets. The detailed properties of two-photon coherent states are developed and distinguished from ordinary coherent states. These two-photon coherent states are mathematically generated from coherent states through unitary operators associated with quadratic Hamiltonians. Physically they are the radiation states of ideal two-photon lasers operating far above threshold, according to the self-consistent-field approximation. The mean-square quantum noise behavior of these states, which is basically the same as those of minimum-uncertainty states, leads to applications not obtainable from coherent states or one-photon lasers. The essential behavior of two-photon coherent states is unchanged by small losses in the system. The counting rates or distributions these states generate in photocount experiments also reveal their difference from coherent states.
The effect of Richard T. Cox's contribution to probability theory was to generalize Boolean implication among logical statements to degrees of implication, which are manipulated using rules derived from consistency with Boolean algebra. These rules are known as the sum rule, the product rule and Bayes Theorem, and the measure resulting from this generalization is probability. In this paper, I will describe how Cox s technique can be further generalized to include other algebras and hence other problems in science and mathematics. The result is a methodology that can be used to generalize an algebra to a calculus by relying on consistency with order theory to derive the laws of the calculus. My goals are to clear up the mysteries as to why the same basic structure found in probability theory appears in other contexts, to better understand the foundations of probability theory, and to extend these ideas to other areas by developing new mathematics and new physics. The relevance of this methodology will be demonstrated using examples from probability theory, number theory, geometry, information theory, and quantum mechanics.
The Second International Workshop on Harmonic Oscillators was held at the Hotel Hacienda Cocoyoc from March 23 to 25, 1994. The Workshop gathered 67 participants; there were 10 invited lecturers, 30 plenary oral presentations, 15 posters, and plenty of discussion divided into the five sessions of this volume. The Organizing Committee was asked by the chairman of several Mexican funding agencies what exactly was meant by harmonic oscillators, and for what purpose the new research could be useful. Harmonic oscillators - as we explained - is a code name for a family of mathematical models based on the theory of Lie algebras and groups, with applications in a growing range of physical theories and technologies: molecular, atomic, nuclear and particle physics; quantum optics and communication theory.
A logical connection between the survivability of living systems and the complexity of their behavior (equivalently, mental complexity) has been established. This connection is an important intermediate result of continuing research on mathematical models that could constitute a unified representation of the evolution of both living and non-living systems. Earlier results of this research were reported in several prior NASA Tech Briefs articles, the two most relevant being Characteristics of Dynamics of Intelligent Systems (NPO- 21037), NASA Tech Briefs, Vol. 26, No. 12 (December 2002), page 48; and Self-Supervised Dynamical Systems (NPO- 30634) NASA Tech Briefs, Vol. 27, No. 3 (March 2003), page 72. As used here, living systems is synonymous with active systems and intelligent systems. The quoted terms can signify artificial agents (e.g., suitably programmed computers) or natural biological systems ranging from single-cell organisms at one extreme to the whole of human society at the other extreme. One of the requirements that must be satisfied in mathematical modeling of living systems is reconciliation of evolution of life with the second law of thermodynamics. In the approach followed in this research, this reconciliation is effected by means of a model, inspired partly by quantum mechanics, in which the quantum potential is replaced with an information potential. The model captures the most fundamental property of life - the ability to evolve from disorder to order without any external interference. The model incorporates the equations of classical dynamics, including Newton s equations of motion and equations for random components caused by uncertainties in initial conditions and by Langevin forces. The equations of classical dynamics are coupled with corresponding Liouville or Fokker-Planck equations that describe the evolutions of probability densities that represent the uncertainties. The coupling is effected by fictitious information-based forces that are gradients of the information potential, which, in turn, is a function of the probability densities. The probability densities are associated with mental images both self-image and nonself images (images of external objects that can include other agents). The evolution of the probability densities represents mental dynamics. Then the interaction between the physical and metal aspects of behavior is implemented by feedback from mental to motor dynamics, as represented by the aforementioned fictitious forces. The interaction of a system with its self and nonself images affords unlimited capacity for increase of complexity. There is a biological basis for this model of mental dynamics in the discovery of mirror neurons that learn by imitation. The levels of complexity attained by use of this model match those observed in living systems. To establish a mechanism for increasing the complexity of dynamics of an active system, the model enables exploitation of a chain of reflections exemplified by questions of the form, "What do you think that I think that you think...?" Mathematically, each level of reflection is represented in the form of an attractor performing the corresponding level of abstraction with more details removed from higher levels. The model can be used to describe the behaviors, not only of biological systems, but also of ecological, social, and economics ones.
A concept for an ultra-broad-band optical parametric amplifier or oscillator has emerged as a by-product of a theoretical study in fundamental quantum optics. The study was originally intended to address the question of whether the two-photon temporal correlation function of light [in particular, light produced by spontaneous parametric down conversion (SPDC)] can be considerably narrower than the inverse of the spectral width (bandwidth) of the light. The answer to the question was found to be negative. More specifically, on the basis of the universal integral relations between the quantum two-photon temporal correlation and the classical spectrum of light, it was found that the lower limit of two-photon correlation time is set approximately by the inverse of the bandwidth. The mathematical solution for the minimum two-photon correlation time also provides the minimum relative frequency dispersion of the down-converted light components; in turn, the minimum relative frequency dispersion translates to the maximum bandwidth, which is important for the design of an ultra-broad-band optical parametric oscillator or amplifier. In the study, results of an analysis of the general integral relations were applied in the case of an optically nonlinear, frequency-dispersive crystal in which SPDC produces collinear photons. Equations were found for the crystal orientation and pump wavelength, specific for each parametric-down-converting crystal, that eliminate the relative frequency dispersion of collinear degenerate (equal-frequency) signal and idler components up to the fourth order in the frequency-detuning parameter
This innovation proposes the reconciliation of the evolution of life with the second law of thermodynamics via the introduction of the First Principle for modeling behavior of living systems. The structure of the model is quantum-inspired: it acquires the topology of the Madelung equation in which the quantum potential is replaced with the information potential. As a result, the model captures the most fundamental property of life: the progressive evolution; i.e. the ability to evolve from disorder to order without any external interference. The mathematical structure of the model can be obtained from the Newtonian equations of motion (representing the motor dynamics) coupled with the corresponding Liouville equation (representing the mental dynamics) via information forces. All these specific non-Newtonian properties equip the model with the levels of complexity that matches the complexity of life, and that makes the model applicable for description of behaviors of ecological, social, and economical systems. Rather than addressing the six aspects of life (organization, metabolism, growth, adaptation, response to stimuli, and reproduction), this work focuses only on biosignature ; i.e. the mechanical invariants of life, and in particular, the geometry and kinematics of behavior of living things. Living things obey the First Principles of Newtonian mechanics. One main objective of this model is to extend the First Principles of classical physics to include phenomenological behavior on living systems; to develop a new mathematical formalism within the framework of classical dynamics that would allow one to capture the specific properties of natural or artificial living systems such as formation of the collective mind based upon abstract images of the selves and non-selves; exploitation of this collective mind for communications and predictions of future expected characteristics of evolution; and for making decisions and implementing the corresponding corrections if the expected scenario is different from the originally planned one. This approach postulates that even a primitive living species possesses additional, non-Newtonian properties that are not included in the laws of Newtonian or statistical mechanics. These properties follow from a privileged ability of living systems to possess a self-image (a concept introduced in psychology) and to interact with it. The proposed mathematical system is based on the coupling of the classical dynamical system representing the motor dynamics with the corresponding Liouville equation describing the evolution of initial uncertainties in terms of the probability density and representing the mental dynamics. The coupling is implemented by the information-based supervising forces that can be associated with self-awareness. These forces fundamentally change the pattern of the probability evolution, and therefore, lead to a major departure of the behavior of living systems from the patterns of both Newtonian and statistical mechanics. This innovation is meant to capture the signature of life based only on observable behavior, not on any biochemistry. This will not prevent the use of this model for developing artificial living systems, as well as for studying some general properties of behavior of natural, living systems.
Quantum mechanical optical model methods for calculating isotope production cross sections from the spallation of heavy nuclei by high-energy protons are developed from a modified abrasion-ablation collision formalism. The abrasion step is treated quantum-mechanically as a knockout process which leaves the residual prefragment nucleus in an excited state. In ablation the prefragment deexcites to produce the final fragment. The excitation energies of the prefragments are estimated from a combination of liquid drop and frictional-spectator interaction considerations. Estimates of elemental and isotopic production cross sections are in good agreement with recently published cross section measurements.
Resistive tearing in a primary candidate for flares occurring in stressed magnetic fields. Its possible application to the strongly magnetized environments (Hz about 10 to the 12th G) near the surface of neutron stars, particularly as a mechanism for generating the plasma heating and particle acceleration leading to gamma-ray bursts, has motivated a quantum treatment of this process, which requires knowledge of the electrical conductivity sigma of a relativistic gas in a new domain (i.e., that of a low-density n/e/) plasma in oblique electric and magnetic fields. This paper discusses the mathematical formalism for calculating sigma and present numerical results for a wide range of parameter values. The results indicate that sigma depends very strongly on both the applied electric and magnetic fields.
Many sophisticated mathematical control techniques for flexible structures have been devised. The basic problem is that most of them require a relatively accurate mathematical model of the system under control including the dynamics of both the structure and the control system components. Obtaining such a model for either subsystem traditionally has required great effort including a significant validation step based on test data. Because of the quantum increase in complexity over proven methods, promising techniques for the control of flexible structures must be validated in actual hardware experiments before committing to their use in actual spacecraft missions. The Mast experiment system serves as a focus for such validation. It is the first in a series of experiments under the Control of Flexible Structures (COFS) Program at the NASA Langley Research Center. The Mast experiment is a combination of ground tests, orbital flight test, and analysis of a deployable beam under the COFS program. It provides a vehicle for research in structures, structural dynamics, and control issues.
A measurement on a quantum system is said to cause the "collapse" of the quantum state vector or density matrix. An analogous collapse occurs with measurements on a classical stochastic process. This paper addresses the question of describing the response of a classical stochastic process when there is feedback from the output of a measurement to the input, and is intended to give a model for quantum-mechanical processes that occur along a space-like reaction coordinate. The classical system can be thought of in physical terms as two counterflowing probability streams, which stochastically exchange probability currents in a way that the net probability current, and hence the overall probability, suitably interpreted, is conserved. The proposed formalism extends the . mathematics of those stochastic processes describable with linear, single-step, unidirectional transition probabilities, known as Markov chains and stochastic matrices. It is shown that a certain rearrangement and combination of the input and output of two stochastic matrices of the same order yields another matrix of the same type. Each measurement causes the partial collapse of the probability current distribution in the midst of such a process, giving rise to calculable, but non-Markov, values for the ensuing modification of the system's output probability distribution. The paper concludes with an analysis of a classical probabilistic version of the so-called grandfather paradox.
Multidisciplinary design optimization (MDO) is presented as a rapidly growing body of methods, algorithms, and techniques that will provide a quantum jump in the effectiveness and efficiency of the quantitative side of design, and will turn that side into an environment in which the qualitative side can thrive. MDO borrows from CAD/CAM for graphic visualization of geometrical and numerical data, data base technology, and in computer software and hardware. Expected benefits from this methodology are a rational, mathematically consistent approach to hypersonic aircraft designs, designs pushed closer to the optimum, and a design process either shortened or leaving time available for different concepts to be explored.
A proposed method of detecting moving targets in scenes that include cluttered or noisy backgrounds is based on a soliton-resonance mathematical model. The model is derived from asymptotic solutions of the cubic Schroedinger equation for a one-dimensional system excited by a position-and-time-dependent externally applied potential. The cubic Schroedinger equation has general significance for time-dependent dispersive waves. It has been used to approximate several phenomena in classical as well as quantum physics, including modulated beams in nonlinear optics, and superfluids (in particular, Bose-Einstein condensates). In the proposed method, one would take advantage of resonant interactions between (1) a soliton excited by the position-and-time-dependent potential associated with a moving target and (2) eigen-solitons, which represent dispersive waves and are solutions of the cubic Schroedinger equation for a time-independent potential.
The following point is stated throughout the paper: dynamic systems are usually subject to uncertainty, be it the unavoidable quantic uncertainty when working with sufficiently small scales or when working in large scales uncertainty can be allowed by the researcher in order to simplify the problem, or it can be introduced by nonlinear interactions. Even though non-quantic uncertainty can generally be dealt with by using the ordinary probability formalisms, it can also be studied with the proposed non-scalar formalism. Thus, non-scalar uncertainty is a more general theoretical framework giving insight into the nature of uncertainty and providing a practical tool in those cases in which scalar uncertainty is not enough, such as when studying highly nonlinear dynamic systems. This paper's specific contribution is the general concept of non-scalar uncertainty and a first proposal for a methodology. Applications should be based upon this methodology. The advantage of this approach is to provide simpler mathematical models for prediction of the system states. Present conventional tools for dealing with uncertainty prove insufficient for an effective description of some dynamic systems. The main limitations are overcome abandoning ordinary scalar algebra in the real interval (0, 1) in favor of a tensor field with a much richer structure and generality. This approach gives insight into the interpretation of Quantum Mechanics and will have its most profound consequences in the fields of elementary particle physics and nonlinear dynamic systems. Concepts like 'interfering alternatives' and 'discrete states' have an elegant explanation in this framework in terms of properties of dynamic systems such as strange attractors and chaos. The tensor formalism proves especially useful to describe the mechanics of representing dynamic systems with models that are closer to reality and have relatively much simpler solutions. It was found to be wise to get an approximate solution to an accurate model than to get a precise solution to a model constrained by simplifying assumptions. Precision has a very heavy cost in present physical models, but this formalism allows the trade between uncertainty and simplicity. It was found that modeling reality sometimes requires that state transition probabilities should be manipulated as nonscalar quantities, finding at the end that there is always a transformation to get back to scalar probability.
Lippincott's delta-function model for atomic interactions is analyzed, both physically and mathematically, and extended, by differentiation between K- and L-shell electrons and the introduction of a variable parameter in the expression for the delta-function strength, to cover homonuclear molecules more complex than hydrogen. In addition, modifications are made which allow treatments of diatomic, heteronuclear molecules. This theory, in conjunction with a reasonably extensive study of resonance, dispersion, and configuration interaction phenomena, as well as the use of simple quantum mechanical arguments, is then applied to the N2-N2, N2-O2, and O2-O2 interactions.
Topics covered include: Cryogenic Temperature-Gradient Foam/Substrate Tensile Tester; Flight Test of an Intelligent Flight-Control System; Slat Heater Boxes for Thermal Vacuum Testing; System for Testing Thermal Insulation of Pipes; Electrical-Impedance-Based Ice-Thickness Gauges; Simulation System for Training in Laparoscopic Surgery; Flasher Powered by Photovoltaic Cells and Ultracapacitors; Improved Autoassociative Neural Networks; Toroidal-Core Microinductors Biased by Permanent Magnets; Using Correlated Photons to Suppress Background Noise; Atmospheric-Fade-Tolerant Tracking and Pointing in Wireless Optical Communication; Curved Focal-Plane Arrays Using Back-Illuminated High-Purity Photodetectors; Software for Displaying Data from Planetary Rovers; Software for Refining or Coarsening Computational Grids; Software for Diagnosis of Multiple Coordinated Spacecraft; Software Helps Retrieve Information Relevant to the User; Software for Simulating a Complex Robot; Software for Planning Scientific Activities on Mars; Software for Training in Pre-College Mathematics; Switching and Rectification in Carbon-Nanotube Junctions; Scandia-and-Yttria-Stabilized Zirconia for Thermal Barriers; Environmentally Safer, Less Toxic Fire-Extinguishing Agents; Multiaxial Temperature- and Time-Dependent Failure Model; Cloverleaf Vibratory Microgyroscope with Integrated Post; Single-Vector Calibration of Wind-Tunnel Force Balances; Microgyroscope with Vibrating Post as Rotation Transducer; Continuous Tuning and Calibration of Vibratory Gyroscopes; Compact, Pneumatically Actuated Filter Shuttle; Improved Bearingless Switched-Reluctance Motor; Fluorescent Quantum Dots for Biological Labeling; Growing Three-Dimensional Corneal Tissue in a Bioreactor; Scanning Tunneling Optical Resonance Microscopy; The Micro-Arcsecond Metrology Testbed; Detecting Moving Targets by Use of Soliton Resonances; and Finite-Element Methods for Real-Time Simulation of Surgery.
One of the major sources of noise in a direct detection optical communication receiver is the shot noise due to the quantum nature of the photodetector. The shot noise is signal dependent and is neither Gaussian nor wide sense stationary. When a photomultiplier tube (PMT) or an avalanche photodiode (APD) is used, there is also a multiplicative excess noise due to the randomness of the internal photodetector gain. Generally speaking, the radio frequency (RF) communication theory cannot be applied to direct detection optical communication systems because noise in RF communication systems is usually additive and Gaussian. A receiver structure which is mathematically optimal for signal dependent shot noise is derived. Several suboptimal receiver structures are discussed and compared with the optimal receiver. The objective is to find a receiver structure which is easy to implement and gives close to optimal performance.