Search NASA⌕ Search

SEARCH · Search NASA

Results for “inequality”

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 19 records

Griffiths' inequalities for Ashkin-Teller model

The two Griffiths' (1967) inequalities for the correlation functions of Ising ferromagnets with two-body interactions, and two other inequalities obtained by Kelly and Sherman (1968) and by Sherman (1969) are shown to hold not only for the Ashkin-Teller (1943) model but also for a generalized Ashkin-Teller model (Kihara et al., 1954) with many-body interactions involving arbitrary clusters of particles. A cluster of particles is understood to mean a collection of pairs of particles rather than a group of particles. The four generalized inequalities under consideration are presented in the form of theorems, and a new inequality is obtained.

Lee, C. T.↗

The strong Bell inequalities: A proposed experimental test

All previous experimental tests of Bell inequalities have required additional assumptions. The strong Bell inequalities (i.e. those requiring no additional assumptions) have never been tested. An experiment has been designed that can, for the first time, provide a definitive test of the strong Bell inequalities. Not only will the detector efficiency loophole be closed; but the locality condition will also be rigorously enforced. The experiment involves producing two Hg-199 atoms by a resonant Raman dissociation of a mercury dimer ((199)Hg2) that is in an electronic and nuclear spin singlet state. Bell inequalities can be tested by measuring angular momentum correlations between the spin one-half nuclei of the two Hg-199 atoms. The method used to make these latter measurements will be described.

Fry, Edward S.↗

Macroscopic Violation of Three Cauchy-Schwarz Inequalities Using Correlated Light Beams From an Infra-Red Emitting Semiconductor Diode Array

We briefly review quantum mechanical and semi-classical descriptions of experiments which demonstrate the macroscopic violation of the three Cauchy-Schwarz inequalities: g(sup 2)(sub 11)(0) greater than or equal to 1; g(sup 2)(sub 11)(0) greater than or equal to g(sup 2)(sub 11)(t), (t approaches infinity); (the absolute value of g(sup 2)(sub 11)(0))(exp 2) less than or equal to g(sup 2)(sub 11)(0) g(sup 2)(sub 11)(0). Our measurements demonstrate the violation, at macroscopic intensities, of each of these inequalities. We show that their violation, although weak, can be demonstrated through photodetector current covariance measurements on correlated sub-Poissonian Poissonian, and super Poissonian light beams. Such beams are readily generated by a tandem array of infrared-emitting semiconductor junction diodes. Our measurements utilize an electrically coupled array of one or more infrared-emitting diodes, optically coupled to a detector array. The emitting array is operated in such a way as to generate highly correlated beams of variable photon Fano Factor. Because the measurements are made on time scales long compared with the first order coherence time and with detector areas large compared with the corresponding coherence areas, first order interference effects are negligible. The first and second inequalities are violated, as expected, when a sub-Poissonian light beam is split and the intensity fluctuations of the two split beams are measured by two photodetectors and subsequently cross-correlated. The third inequality is violated by bunched (as well as anti-bunched) beams of equal intensity provided the measured cross correlation coefficient exceeds (F - 1)/F, where F is the measured Fano Factor of each beam. We also investigate the violation for the case of unequal beams.

Edwards, P. J.↗

An Evaluation of an Algorithm for Linear Inequalities and Its Applications

An algorithm is presented for obtaining a solution alpha to a set of inequalities (A alpha) 0 where A is an N x m-matrix and alpha is an m-vector. If the set of inequalities is consistant, then the algorithm is guaranteed to arrive at a solution in a finite number of steps. Also, if in the iteration, a negative vector is obtained, then the initial set of inequalities is inconsistant, and the iteration is terminated.

Jurgensen, J.↗

Violations of a new inequality for classical fields

Two entangled photons incident upon two distant interferometers can give a coincidence counting rate that depends nonlocally on the sum of the phases of the two interferometers. It has recently been shown that experiments of this kind may violate a simple inequality that must be satisfied by any classical or semi-classical field theory. The inequality provides a graphic illustration of the lack of objective realism of the electric field. The results of a recent experiment which violates this inequality and in which the optical path length between the two interferometers was greater than 100 m are briefly described.

Franson, J. D.↗

A Dissimilarity Measure for Clustering High- and Infinite Dimensional Data that Satisfies the Triangle Inequality

The cosine or correlation measures of similarity used to cluster high dimensional data are interpreted as projections, and the orthogonal components are used to define a complementary dissimilarity measure to form a similarity-dissimilarity measure pair. Using a geometrical approach, a number of properties of this pair is established. This approach is also extended to general inner-product spaces of any dimension. These properties include the triangle inequality for the defined dissimilarity measure, error estimates for the triangle inequality and bounds on both measures that can be obtained with a few floating-point operations from previously computed values of the measures. The bounds and error estimates for the similarity and dissimilarity measures can be used to reduce the computational complexity of clustering algorithms and enhance their scalability, and the triangle inequality allows the design of clustering algorithms for high dimensional distributed data.

Socolovsky, Eduardo A.↗

Effect of stratified inequality of blood flow on gas exchange in liquid-filled lungs.

This investigation set out to answer two questions: (1) are the distal alveoli in the terminal lung units less well perfused than the proximal alveoli, i.e., is there stratification of blood flow; and (2) if so, does this enhance gas exchange in the presence of stratified inequality of ventilation. Excised dog lungs were ventilated with saline and perfused with blood. Following single inspirations of xenon 133 in saline and various periods of breath holding, the expired xenon concentration against volume was measured and it confirmed marked stratified inequality of ventilation under these conditions. By measuring the rate of depletion of xenon from alveoli during a period of blood flow, we showed that the alveoli which emptied at the end of expiration had 16% less blood flow than those exhaling earlier. However, by measuring the xenon concentration in pulmonary venous blood, we found that about 10% less tracer was transferred from the alveoli into the blood when the inspired xenon was stratified within the respiratory zone. Thus while stratification of blood flow was confirmed, it was shown to impair rather than enhance the efficiency of gas transfer.

West, J. B.↗

A result on differential inequalities and its application to higher order trajectory derivatives

A result on differential inequalities is obtained by considering the adjoint differential equation of the variational equation of the right side of the inequality. The main theorem is proved using basic results on differentiability of solutions with respect to initial conditions. The result is then applied to the problem of determining solution behavior using comparison techniques.

Gunderson, R. W.↗

Inequalities for frequency-moment sum rules of electron liquids

The relations between the various frequency-moment sum rules of electron liquids, which include even-power moments, are systematically examined by using the Cauchy-Schwarz and Hoelder inequalities. A relation involving the isothermal sound velocity and the kinetic and potential energies is obtained from one of the inequalities in the long-wavelength limit, and is generalized to arbitrary spatial dimensions.

Iwamoto, N.↗

On Bernstein type inequalities and a weighted Chebyshev approximation problem on ellipses

A classical inequality due to Bernstein which estimates the norm of polynomials on any given ellipse in terms of their norm on any smaller ellipse with the same foci is examined. For the uniform and a certain weighted uniform norm, and for the case that the two ellipses are not too close, sharp estimates of this type were derived and the corresponding extremal polynomials were determined. These Bernstein type inequalities are closely connected with certain constrained Chebyshev approximation problems on ellipses. Some new results were also presented for a weighted approximation problem of this type.

Freund, Roland↗

Optimal control of singularly perturbed nonlinear systems with state-variable inequality constraints

The established necessary conditions for optimality in nonlinear control problems that involve state-variable inequality constraints are applied to a class of singularly perturbed systems. The distinguishing feature of this class of two-time-scale systems is a transformation of the state-variable inequality constraint, present in the full order problem, to a constraint involving states and controls in the reduced problem. It is shown that, when a state constraint is active in the reduced problem, the boundary layer problem can be of finite time in the stretched time variable. Thus, the usual requirement for asymptotic stability of the boundary layer system is not applicable, and cannot be used to construct approximate boundary layer solutions. Several alternative solution methods are explored and illustrated with simple examples.

Calise, A. J.↗

Einstein-Podolsky-Rosen-Bohm experiment and Bell inequality violation using Type 2 parametric down conversion

We report a new two-photon polarization correlation experiment for realizing the Einstein-Podolsky-Rosen-Bohm (EPRB) state and for testing Bell-type inequalities. We use the pair of orthogonally-polarized light quanta generated in Type 2 parametric down conversion. Using 1 nm interference filters in front of our detectors, we observe from the output of a 0.5mm beta - BaB2O4 (BBO) crystal the EPRB correlations in coincidence counts, and measure an associated Bell inequality violation of 22 standard deviations. The quantum state of the photon pair is a polarization analog of the spin-1/2 singlet state.

Kiess, Thomas E.↗

Kalman Filtering with Inequality Constraints for Turbofan Engine Health Estimation

Kalman filters are often used to estimate the state variables of a dynamic system. However, in the application of Kalman filters some known signal information is often either ignored or dealt with heuristically. For instance, state variable constraints (which may be based on physical considerations) are often neglected because they do not fit easily into the structure of the Kalman filter. This paper develops two analytic methods of incorporating state variable inequality constraints in the Kalman filter. The first method is a general technique of using hard constraints to enforce inequalities on the state variable estimates. The resultant filter is a combination of a standard Kalman filter and a quadratic programming problem. The second method uses soft constraints to estimate state variables that are known to vary slowly with time. (Soft constraints are constraints that are required to be approximately satisfied rather than exactly satisfied.) The incorporation of state variable constraints increases the computational effort of the filter but significantly improves its estimation accuracy. The improvement is proven theoretically and shown via simulation results. The use of the algorithm is demonstrated on a linearized simulation of a turbofan engine to estimate health parameters. The turbofan engine model contains 16 state variables, 12 measurements, and 8 component health parameters. It is shown that the new algorithms provide improved performance in this example over unconstrained Kalman filtering.

Simon, Dan↗

Observers for Systems with Nonlinearities Satisfying an Incremental Quadratic Inequality

We consider the problem of state estimation for nonlinear time-varying systems whose nonlinearities satisfy an incremental quadratic inequality. These observer results unifies earlier results in the literature; and extend it to some additional classes of nonlinearities. Observers are presented which guarantee that the state estimation error exponentially converges to zero. Observer design involves solving linear matrix inequalities for the observer gain matrices. Results are illustrated by application to a simple model of an underwater.

observers↗