The non-Abelian state-dependent gauge field in optics

The covariant formulation of the quantum dynamics in CP(1) should lead to the observable geometrodynamical effects for the local dynamical variable of the light polarization states.Comment: 8 pages, 3 figures, LaTe

Design, development and evaluation of Stanford/Ames Extra-Vehicular Activity (EVA) prehensors

A summary is given of progress to date on work proposed in 1983 and continued in 1985, including design iterations on three different types of manually powered prehensors, construction of functional mockups of each and culminating in detailed drawings and specifications for suit-compatible sealed units for testing under realistic conditions

Design, development and evaluation of Stanford/Ames EVA prehensors

Space Station operations and maintenance are expected to make unprecedented demands on astronaut EVA. With Space Station expected to operate with an 8 to 10 psi atmosphere (4 psi for Shuttle operations), the effectivness of pressurized gloves is called into doubt at the same time that EVA activity levels are to be increased. To address the need for more frequent and complex EVA missions and also to extend the dexterity, duration, and safety of EVA astronauts, NASA Ames and Stanford University have an ongoing cooperative agreement to explore and compare alternatives. This is the final Stanford/Ames report on manually powered Prehensors, each of which consists of a shroud forming a pressure enclosure around the astronaut's hand, and a linkage system to transfer the motions and forces of the hand to mechanical digits attached to the shroud. All prehensors are intended for attachment to a standard wrist coupling, as found on the AX-5 hard suit prototype, so that realistic tests can be performed under normal and reduced gravity as simulated by water flotation

Electric propulsion using C.sub.60 molecules

Fullerene propellants, which are stable carbon cage structures composed of even numbers of carbon atoms in the range of about 32 to 200 atoms, particularly a combination of conveniently obtainable C.sub.60 and C.sub.70, may be carried in solid form in a spacecraft, sublimated to produce the appropriate molecular propellant such as C.sub.60 or C.sub.70, which may then be ionized by DC discharge or RF radiation to efficiently produce specific impulses in the range above 1000 lbf -s/lbm

Optimal simulation of two-qubit Hamiltonians using general local operations

We consider the simulation of the dynamics of one nonlocal Hamiltonian by another, allowing arbitrary local resources but no entanglement nor classical communication. We characterize notions of simulation, and proceed to focus on deterministic simulation involving one copy of the system. More specifically, two otherwise isolated systems $A$ and $B$ interact by a nonlocal Hamiltonian $H \neq H_A+H_B$. We consider the achievable space of Hamiltonians $H'$ such that the evolution $e^{-iH't}$ can be simulated by the interaction $H$ interspersed with local operations. For any dimensions of $A$ and $B$, and any nonlocal Hamiltonians $H$ and $H'$, there exists a scale factor $s$ such that for all times $t$ the evolution $e^{-iH'st}$ can be simulated by $H$ acting for time $t$ interspersed with local operations. For 2-qubit Hamiltonians $H$ and $H'$, we calculate the optimal $s$ and give protocols achieving it. The optimal protocols do not require local ancillas, and can be understood geometrically in terms of a polyhedron defined by a partial order on the set of 2-qubit Hamiltonians.Comment: (1) References to related work, (2) protocol to simulate one two-qudit Hamiltonian with another, and (3) other related results added. Some proofs are simplifie

Measuring Polynomial Invariants of Multi-Party Quantum States

We present networks for directly estimating the polynomial invariants of multi-party quantum states under local transformations. The structure of these networks is closely related to the structure of the invariants themselves and this lends a physical interpretation to these otherwise abstract mathematical quantities. Specifically, our networks estimate the invariants under local unitary (LU) transformations and under stochastic local operations and classical communication (SLOCC). Our networks can estimate the LU invariants for multi-party states, where each party can have a Hilbert space of arbitrary dimension and the SLOCC invariants for multi-qubit states. We analyze the statistical efficiency of our networks compared to methods based on estimating the state coefficients and calculating the invariants.Comment: 8 pages, 4 figures, RevTex4, v2 references update

A generalized no-broadcasting theorem

We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.Comment: 4 page

Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Thermal decomposition of a fullerene mix

Experiments to characterize fullerene decomposition at temperatures above 973 K were conducted by spectroscopic analysis of samples heated in vacuo. The thermal decomposition can be described by first-order kinetics with an activation energy of 266±9 kJ/mol and a preexponential factor of 1.24×10^(9) s^-1. Though scanning electron micrographs display structures with a distinctly faceted appearance, x-ray diffraction, Raman spectroscopy, and transmission-electron microscopy all show that the material is composed of amorphous carbon and graphite, indicating that pyrolysis of the fullerite occurs without destroying crystal facets

Quantum Graphical Models and Belief Propagation

Belief Propagation algorithms acting on Graphical Models of classical probability distributions, such as Markov Networks, Factor Graphs and Bayesian Networks, are amongst the most powerful known methods for deriving probabilistic inferences amongst large numbers of random variables. This paper presents a generalization of these concepts and methods to the quantum case, based on the idea that quantum theory can be thought of as a noncommutative, operator-valued, generalization of classical probability theory. Some novel characterizations of quantum conditional independence are derived, and definitions of Quantum n-Bifactor Networks, Markov Networks, Factor Graphs and Bayesian Networks are proposed. The structure of Quantum Markov Networks is investigated and some partial characterization results are obtained, along the lines of the Hammersely-Clifford theorem. A Quantum Belief Propagation algorithm is presented and is shown to converge on 1-Bifactor Networks and Markov Networks when the underlying graph is a tree. The use of Quantum Belief Propagation as a heuristic algorithm in cases where it is not known to converge is discussed. Applications to decoding quantum error correcting codes and to the simulation of many-body quantum systems are described.Comment: 58 pages, 9 figure