Diverter Decision Aiding for In-Flight Diversions

It was determined that artificial intelligence technology can provide pilots with the help they need in making the complex decisions concerning en route changes in a flight plan. A diverter system should have the capability to take all of the available information and produce a recommendation to the pilot. Phase three illustrated that using Joshua to develop rules for an expert system and a Statice database provided additional flexibility by permitting the development of dynamic weighting of diversion relevant parameters. This increases the fidelity of the AI functions cited as useful in aiding the pilot to perform situational assessment, navigation rerouting, flight planning/replanning, and maneuver execution. Additionally, a prototype pilot-vehicle interface (PVI) was designed providing for the integration of both text and graphical based information. Advanced technologies were applied to PVI design, resulting in a hierarchical menu based architecture to increase the efficiency of information transfer while reducing expected workload. Additional efficiency was gained by integrating spatial and text displays into an integrated user interface

Vibrational state dependence of ionic rotational branching ratios in resonance enhanced multiphoton ionization of CH

We show that rapid evolution of a Rydberg orbital with internuclear distance in a resonance enhanced multiphoton ionization (REMPI) process can have a profound influence on the production of molecular ions in alternative rotational states. This is illustrated by calculations of ionic rotational branching ratios for (2+1′) REMPI via the O11 (20.5) branch of the E′ ^2Σ^+(3pσ) Rydberg state of CH. The rotational propensity rule for ionization changes from ΔN=odd (ΔN=N_+−N_i) at lower vibrational excitation, as expected from the ΔN+l=odd selection rule, to ΔN=even at higher vibrational levels. This effect is expected to be quite general and should be most readily observable in diatomic hydrides

Quantum lost property: a possible operational meaning for the Hilbert-Schmidt product

Minimum error state discrimination between two mixed states \rho and \sigma can be aided by the receipt of "classical side information" specifying which states from some convex decompositions of \rho and \sigma apply in each run. We quantify this phenomena by the average trace distance, and give lower and upper bounds on this quantity as functions of \rho and \sigma. The lower bound is simply the trace distance between \rho and \sigma, trivially seen to be tight. The upper bound is \sqrt{1 - tr(\rho\sigma)}, and we conjecture that this is also tight. We reformulate this conjecture in terms of the existence of a pair of "unbiased decompositions", which may be of independent interest, and prove it for a few special cases. Finally, we point towards a link with a notion of non-classicality known as preparation contextuality.Comment: 3 pages, 1 figure. v2: Less typos in text and less punctuation in titl

Experimental Quantum Process Discrimination

Discrimination between unknown processes chosen from a finite set is experimentally shown to be possible even in the case of non-orthogonal processes. We demonstrate unambiguous deterministic quantum process discrimination (QPD) of non-orthogonal processes using properties of entanglement, additional known unitaries, or higher dimensional systems. Single qubit measurement and unitary processes and multipartite unitaries (where the unitary acts non-separably across two distant locations) acting on photons are discriminated with a confidence of $\geq97$ in all cases.Comment: 4 pages, 3 figures, comments welcome. Revised version includes multi-partite QP

Further results on the cross norm criterion for separability

In the present paper the cross norm criterion for separability of density matrices is studied. In the first part of the paper we determine the value of the greatest cross norm for Werner states, for isotropic states and for Bell diagonal states. In the second part we show that the greatest cross norm criterion induces a novel computable separability criterion for bipartite systems. This new criterion is a necessary but in general not a sufficient criterion for separability. It is shown, however, that for all pure states, for Bell diagonal states, for Werner states in dimension d=2 and for isotropic states in arbitrary dimensions the new criterion is necessary and sufficient. Moreover, it is shown that for Werner states in higher dimensions (d greater than 2), the new criterion is only necessary.Comment: REVTeX, 19 page

Verifying continuous-variable entanglement in finite spaces

Starting from arbitrary Hilbert spaces, we reduce the problem to verify entanglement of any bipartite quantum state to finite dimensional subspaces. Hence, entanglement is a finite dimensional property. A generalization for multipartite quantum states is also given.Comment: 4 page

Gauge Orbit Types for Theories with Classical Compact Gauge Group

We determine the orbit types of the action of the group of local gauge transformations on the space of connections in a principal bundle with structure group O(n), SO(n) or $Sp(n)$ over a closed, simply connected manifold of dimension 4. Complemented with earlier results on U(n) and SU(n) this completes the classification of the orbit types for all classical compact gauge groups over such space-time manifolds. On the way we derive the classification of principal bundles with structure group SO(n) over these manifolds and the Howe subgroups of SO(n).Comment: 57 page

The Uniqueness Theorem for Entanglement Measures

We explore and develop the mathematics of the theory of entanglement measures. After a careful review and analysis of definitions, of preliminary results, and of connections between conditions on entanglement measures, we prove a sharpened version of a uniqueness theorem which gives necessary and sufficient conditions for an entanglement measure to coincide with the reduced von Neumann entropy on pure states. We also prove several versions of a theorem on extreme entanglement measures in the case of mixed states. We analyse properties of the asymptotic regularization of entanglement measures proving, for example, convexity for the entanglement cost and for the regularized relative entropy of entanglement.Comment: 22 pages, LaTeX, version accepted by J. Math. Phy