Full counting statistics and conditional evolution in a nanoelectromechanical system

We study theoretically the full distribution of transferred charge in a tunnel junction (or quantum point contact) coupled to a nanomechanical oscillator, as well as the conditional evolution of the oscillator. Even if the oscillator is very weakly coupled to the tunnel junction, it can strongly affect the tunneling statistics and lead to a highly non-Gaussian distribution. Conversely, given a particular measurement history of the current, the oscillator energy distribution may be localized and highly non-thermal. We also discuss non-Gaussian correlations between the oscillator motion and tunneling electrons; these show that the tunneling back-action cannot be fully described as an effective thermal bath coupled to the oscillator.Comment: 7 pages; figure added; typos correcte

Entangled Mixed States and Local Purification

Linden, Massar and Popescu have recently given an optimization argument to show that a single two-qubit Werner state, or any other mixture of the maximally entangled Bell states, cannot be purified by local operations and classical communications. We generalise their result and give a simple explanation. In particular, we show that no purification scheme using local operations and classical communications can produce a pure singlet from any mixed state of two spin-1/2 particles. More generally, no such scheme can produce a maximally entangled state of any pair of finite-dimensional systems from a generic mixed state. We also show that the Werner states belong to a large class of states whose fidelity cannot be increased by such a scheme.Comment: 3 pages, Latex with Revtex. Small clarifications and reference adde

Scaling Laws for Non-Intercommuting Cosmic String Networks

We study the evolution of non-interacting and entangled cosmic string networks in the context of the velocity-dependent one-scale model. Such networks may be formed in several contexts, including brane inflation. We show that the frozen network solution $L\propto a$, although generic, is only a transient one, and that the asymptotic solution is still $L\propto t$ as in the case of ordinary (intercommuting) strings, although in the present context the universe will usually be string-dominated. Thus the behaviour of two strings when they cross does not seem to affect their scaling laws, but only their densities relative to the background.Comment: Phys. Rev. D (in press); v2: final published version (references added, typos corrected

An Ontology for Grounding Vague Geographic Terms

Many geographic terms, such as “river” and “lake”, are vague, with no clear boundaries of application. In particular, the spatial extent of such features is often vaguely carved out of a continuously varying observable domain. We present a means of defining vague terms using standpoint semantics, a refinement of the philosophical idea of supervaluation semantics. Such definitions can be grounded in actual data by geometric analysis and segmentation of the data set. The issues raised by this process with regard to the nature of boundaries and domains of logical quantification are discussed. We describe a prototype implementation of a system capable of segmenting attributed polygon data into geographically significant regions and evaluating queries involving vague geographic feature terms

Quantum cryptography protocols robust against photon number splitting attacks for weak laser pulses implementations

We introduce a new class of quantum quantum key distribution protocols, tailored to be robust against photon number splitting (PNS) attacks. We study one of these protocols, which differs from the BB84 only in the classical sifting procedure. This protocol is provably better than BB84 against PNS attacks at zero error.Comment: 4 pages, 2 figure

The Initial Value Problem For Maximally Non-Local Actions

We study the initial value problem for actions which contain non-trivial functions of integrals of local functions of the dynamical variable. In contrast to many other non-local actions, the classical solution set of these systems is at most discretely enlarged, and may even be restricted, with respect to that of a local theory. We show that the solutions are those of a local theory whose (spacetime constant) parameters vary with the initial value data according to algebraic equations. The various roots of these algebraic equations can be plausibly interpreted in quantum mechanics as different components of a multi-component wave function. It is also possible that the consistency of these algebraic equations imposes constraints upon the initial value data which appear miraculous from the context of a local theory.Comment: 8 pages, LaTeX 2 epsilo

Entanglement Swapping Chains for General Pure States

We consider entanglement swapping schemes with general (rather than maximally) entangled bipartite states of arbitary dimension shared pairwise between three or more parties in a chain. The intermediate parties perform generalised Bell measurements with the result that the two end parties end up sharing a entangled state which can be converted into maximally entangled states. We obtain an expression for the average amount of maximal entanglement concentrated in such a scheme and show that in a certain reasonably broad class of cases this scheme is provably optimal and that, in these cases, the amount of entanglement concentrated between the two ends is equal to that which could be concentrated from the weakest link in the chain.Comment: 18 pages, 5 figure

Quantum Cryptography with Coherent States

The safety of a quantum key distribution system relies on the fact that any eavesdropping attempt on the quantum channel creates errors in the transmission. For a given error rate, the amount of information that may have leaked to the eavesdropper depends on both the particular system and the eavesdropping strategy. In this work, we discuss quantum cryptographic protocols based on the transmission of weak coherent states and present a new system, based on a symbiosis of two existing ones, and for which the information available to the eavesdropper is significantly reduced. This system is therefore safer than the two previous ones. We also suggest a possible experimental implementation.Comment: 20 pp. Revtex, Figures available from the authors upon request, To be published in PRA (March 95

A Measure of Stregth of an Unextendible Product Basis

A notion of strength of an unextendible product basis is introduced and a quantitative measure for it is suggested with a view to providing an indirect measure for the bound entanglement of formation of the bound entangled mixed state associated with an unextendible product basis.Comment: 4 pages, Latex, 1 figure, remarks, criticisms welcom

Logic programming as quantum measurement

The emphasis is made on the juxtaposition of (quantum~theorem) proving versus quantum (theorem~proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of Zittereingang machine by a quantum system is suggested.Comment: 11 pages, latex, paper accepted for publication in the International Journal of Theoretical Physic