Tripartite Entanglement versus Tripartite Nonlocality in Three-Qubit Greenberger-Horne-Zeilinger-Class States

We analyze the relationship between tripartite entanglement and genuine tripartite nonlocality for three-qubit pure states in the Greenberger-Horne-Zeilinger class. We consider a family of states known as the generalized Greenberger-Horne-Zeilinger states and derive an analytical expression relating the three-tangle, which quantifies tripartite entanglement, to the Svetlichny inequality, which is a Bell-type inequality that is violated only when all three qubits are nonlocally correlated. We show that states with three-tangle less than 1/2 do not violate the Svetlichny inequality. On the other hand, a set of states known as the maximal slice states does violate the Svetlichny inequality, and exactly analogous to the two-qubit case, the amount of violation is directly related to the degree of tripartite entanglement.We discuss further interesting properties of the generalized Greenberger-Horne-Zeilinger and maximal slice states

Creep fatigue of low-cobalt superalloys: Waspalloy, PM U 700 and wrought U 700

The influence of cobalt content on the high temperature creep fatigue crack initiation resistance of three primary alloys was evaluated. These were Waspalloy, Powder U 700, and Cast U 700, with cobalt contents ranging from 0 up to 17 percent. Waspalloy was studied at 538 C whereas the U 700 was studied at 760 C. Constraints of the program required investigation at a single strain range using diametral strain control. The approach was phenomenological, using standard low cycle fatigue tests involving continuous cycling tension hold cycling, compression hold cycling, and symmetric hold cycling. Cycling in the absence of or between holds was done at 0.5 Hz, whereas holds when introduced lasted 1 minute. The plan was to allocate two specimens to the continuous cycling, and one specimen to each of the hold time conditions. Data was taken to document the nature of the cracking process, the deformation response, and the resistance to cyclic loading to the formation of small cracks and to specimen separation. The influence of cobalt content on creep fatigue resistance was not judged to be very significant based on the results generated. Specific conclusions were that the hold time history dependence of the resistance is as significant as the influence of cobalt content and increased cobalt content does not produce increased creep fatigue resistance on a one to one basis

Quantum Random Walks do not need a Coin Toss

Classical randomized algorithms use a coin toss instruction to explore different evolutionary branches of a problem. Quantum algorithms, on the other hand, can explore multiple evolutionary branches by mere superposition of states. Discrete quantum random walks, studied in the literature, have nonetheless used both superposition and a quantum coin toss instruction. This is not necessary, and a discrete quantum random walk without a quantum coin toss instruction is defined and analyzed here. Our construction eliminates quantum entanglement from the algorithm, and the results match those obtained with a quantum coin toss instruction.Comment: 6 pages, 4 figures, RevTeX (v2) Expanded to include relation to quantum walk with a coin. Connection with Dirac equation pointed out. Version to be published in Phys. Rev.

A synergistic and extensible framework for multi-agent system verification

Recently there has been a proliferation of tools and languages for modeling multi-agent systems (MAS). Verification tools, correspondingly, have been developed to check properties of these systems. Most MAS verification tools, however, have their own input language and often specialize in one verification technology, or only support checking a specific type of property. In this work we present an extensible framework that leverages mainstream verification tools to successfully reason about various types of properties. We describe the verification of models specified in the Brahms agent modeling language to demonstrate the feasibility of our approach. We chose Brahms because it is used to model real instances of interactions between pilots, air-traffic controllers, and automated systems at NASA. Our framework takes as input a Brahms model along with a Java implementation of its semantics. We then use Java PathFinder to explore all possible behaviors of the model and, also, produce a generalized intermediate representation that encodes these behaviors. The intermediate representation is automatically transformed to the input language of mainstream model checkers, including PRISM, SPIN, and NuSMV allowing us to check different types of properties. We validate our approach on a model that contains key elements from the Air France Flight 447 acciden

Better bound on the exponent of the radius of the multipartite separable ball

We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2. For normalized m-qubit states, we get a separable ball of radius sqrt(3^(m+1)/(3^m+3)) * 2^{-(1 + \gamma)m}, i.e. sqrt{3^{m+1}/(3^m+3)}\times 6^{-m/2} (note that \kappa = \sqrt{3}), compared to the previous 2 * 2^{-3m/2}. This implies that with parameters realistic for current experiments, NMR with standard pseudopure-state preparation techniques can access only unentangled states if 36 qubits or fewer are used (compared to 23 qubits via our earlier results). We also obtain an improved exponent for m-partite systems of fixed local dimension d_0, although approaching our earlier exponent as d_0 approaches infinity.Comment: 30 pp doublespaced, latex/revtex, v2 added discussion of Szarek's upper bound, and reference to work of Vidal, v3 fixed some errors (no effect on results), v4 involves major changes leading to an improved constant, same exponent, and adds references to and discussion of Szarek's work showing that exponent is essentially optimal for qubit case, and Hildebrand's alternative derivation for qubit case. To appear in PR

Effective Quantum Dynamics of Interacting Systems with Inhomogeneous Coupling

We study the quantum dynamics of a single mode/particle interacting inhomogeneously with a large number of particles and introduce an effective approach to find the accessible Hilbert space where the dynamics takes place. Two relevant examples are given: the inhomogeneous Tavis-Cummings model (e.g., N atomic qubits coupled to a single cavity mode, or to a motional mode in trapped ions) and the inhomogeneous coupling of an electron spin to N nuclear spins in a quantum dot.Comment: 9 pages and 10 figures, new version, accepted in Physical Review

Lower Bound on Entanglement of Formation for the Qubit-Qudit System

Wootters [PRL 80, 2245 (1998)] has derived a closed formula for the entanglement of formation (EOF) of an arbitrary mixed state in a system of two qubits. There is no known closed form expression for the EOF of an arbitrary mixed state in any system more complicated than two qubits. This paper, via a relatively straightforward generalization of Wootters' original derivation, obtains a closed form lower bound on the EOF of an arbitary mixed state of a system composed of a qubit and a qudit (a d-level quantum system, with d greater than or equal to 3). The derivation of the lower bound is detailed for a system composed of a qubit and a qutrit (d = 3); the generalization to d greater than 3 then follows readily.Comment: 14 pages, 0 Figures, 0 Table

Effects of virtual acoustics on dynamic auditory distance perception

Sound propagation encompasses various acoustic phenomena including reverberation. Current virtual acoustic methods, ranging from parametric filters to physically-accurate solvers, can simulate reverberation with varying degrees of fidelity. We investigate the effects of reverberant sounds generated using different propagation algorithms on acoustic distance perception, i.e., how faraway humans perceive a sound source. In particular, we evaluate two classes of methods for real-time sound propagation in dynamic scenes based on parametric filters and ray tracing. Our study shows that the more accurate method shows less distance compression as compared to the approximate, filter-based method. This suggests that accurate reverberation in VR results in a better reproduction of acoustic distances. We also quantify the levels of distance compression introduced by different propagation methods in a virtual environment.Comment: 8 Pages, 7 figure

A separability criterion for density operators

We give a necessary and sufficient condition for a mixed quantum mechanical state to be separable. The criterion is formulated as a boundedness condition in terms of the greatest cross norm on the tensor product of trace class operators.Comment: REVTeX, 5 page

Two-Level Atom in an Optical Parametric Oscillator: Spectra of Transmitted and Fluorescent Fields in the Weak Driving Field Limit

We consider the interaction of a two-level atom inside an optical parametric oscillator. In the weak-driving-field limit, we essentially have an atom-cavity system driven by the occasional pair of correlated photons, or weakly squeezed light. We find that we may have holes, or dips, in the spectrum of the fluorescent and transmitted light. This occurs even in the strong-coupling limit when we find holes in the vacuum-Rabi doublet. Also, spectra with a subnatural linewidth may occur. These effects disappear for larger driving fields, unlike the spectral narrowing obtained in resonance fluorescence in a squeezed vacuum; here it is important that the squeezing parameter N tends to zero so that the system interacts with only one correlated pair of photons at a time. We show that a previous explanation for spectral narrowing and spectral holes for incoherent scattering is not applicable in the present case, and propose an alternative explanation. We attribute these anomalous effects to quantum interference in the two-photon scattering of the system