Unforgeable Noise-Tolerant Quantum Tokens

The realization of devices which harness the laws of quantum mechanics represents an exciting challenge at the interface of modern technology and fundamental science. An exemplary paragon of the power of such quantum primitives is the concept of "quantum money". A dishonest holder of a quantum bank-note will invariably fail in any forging attempts; indeed, under assumptions of ideal measurements and decoherence-free memories such security is guaranteed by the no-cloning theorem. In any practical situation, however, noise, decoherence and operational imperfections abound. Thus, the development of secure "quantum money"-type primitives capable of tolerating realistic infidelities is of both practical and fundamental importance. Here, we propose a novel class of such protocols and demonstrate their tolerance to noise; moreover, we prove their rigorous security by determining tight fidelity thresholds. Our proposed protocols require only the ability to prepare, store and measure single qubit quantum memories, making their experimental realization accessible with current technologies.Comment: 18 pages, 5 figure

Quantum turbulence at finite temperature: the two-fluids cascade

To model isotropic homogeneous quantum turbulence in superfluid helium, we have performed Direct Numerical Simulations (DNS) of two fluids (the normal fluid and the superfluid) coupled by mutual friction. We have found evidence of strong locking of superfluid and normal fluid along the turbulent cascade, from the large scale structures where only one fluid is forced down to the vorticity structures at small scales. We have determined the residual slip velocity between the two fluids, and, for each fluid, the relative balance of inertial, viscous and friction forces along the scales. Our calculations show that the classical relation between energy injection and dissipation scale is not valid in quantum turbulence, but we have been able to derive a temperature--dependent superfluid analogous relation. Finally, we discuss our DNS results in terms of the current understanding of quantum turbulence, including the value of the effective kinematic viscosity

Linking Classical and Quantum Key Agreement: Is There "Bound Information"?

After carrying out a protocol for quantum key agreement over a noisy quantum channel, the parties Alice and Bob must process the raw key in order to end up with identical keys about which the adversary has virtually no information. In principle, both classical and quantum protocols can be used for this processing. It is a natural question which type of protocols is more powerful. We prove for general states but under the assumption of incoherent eavesdropping that Alice and Bob share some so-called intrinsic information in their classical random variables, resulting from optimal measurements, if and only if the parties' quantum systems are entangled. In addition, we provide evidence that the potentials of classical and of quantum protocols are equal in every situation. Consequently, many techniques and results from quantum information theory directly apply to problems in classical information theory, and vice versa. For instance, it was previously believed that two parties can carry out unconditionally secure key agreement as long as they share some intrinsic information in the adversary's view. The analysis of this purely classical problem from the quantum information-theoretic viewpoint shows that this is true in the binary case, but false in general. More explicitly, bound entanglement, i.e., entanglement that cannot be purified by any quantum protocol, has a classical counterpart. This "bound intrinsic information" cannot be distilled to a secret key by any classical protocol. As another application we propose a measure for entanglement based on classical information-theoretic quantities.Comment: Accepted for Crypto 2000. 17 page

Printing Without Paper?

More and more information is being read from cathode ray tube (CRT) screens. Despite improvements in many areas -- display technology, readability of character sets, usable amount of information on a frame, software for handling pages -- a glaring fact remains: reading and browsing through information is still more pleasant using a stack of sheets of paper than using a display screen and electronically stored information. Yet, the preparation of hard-copy pages for once-only (or never) reading seems expensive and wasteful. It is the authors' contention that this need not be the case if new concepts, such as printing on demand, and a concept we shall call multi-time paper (M-paper, for short) are used

Pruning Algorithms for Pretropisms of Newton Polytopes

Pretropisms are candidates for the leading exponents of Puiseux series that represent solutions of polynomial systems. To find pretropisms, we propose an exact gift wrapping algorithm to prune the tree of edges of a tuple of Newton polytopes. We prefer exact arithmetic not only because of the exact input and the degrees of the output, but because of the often unpredictable growth of the coordinates in the face normals, even for polytopes in generic position. We provide experimental results with our preliminary implementation in Sage that compare favorably with the pruning method that relies only on cone intersections.Comment: exact, gift wrapping, Newton polytope, pretropism, tree pruning, accepted for presentation at Computer Algebra in Scientific Computing, CASC 201

A predictive processing theory of sensorimotor contingencies: explaining the puzzle of perceptual presence and its absence in synesthesia

Normal perception involves experiencing objects within perceptual scenes as real, as existing in the world. This property of “perceptual presence” has motivated “sensorimotor theories” which understand perception to involve the mastery of sensorimotor contingencies. However, the mechanistic basis of sensorimotor contingencies and their mastery has remained unclear. Sensorimotor theory also struggles to explain instances of perception, such as synesthesia, that appear to lack perceptual presence and for which relevant sensorimotor contingencies are difficult to identify. On alternative “predictive processing” theories, perceptual content emerges from probabilistic inference on the external causes of sensory signals, however, this view has addressed neither the problem of perceptual presence nor synesthesia. Here, I describe a theory of predictive perception of sensorimotor contingencies which (1) accounts for perceptual presence in normal perception, as well as its absence in synesthesia, and (2) operationalizes the notion of sensorimotor contingencies and their mastery. The core idea is that generative models underlying perception incorporate explicitly counterfactual elements related to how sensory inputs would change on the basis of a broad repertoire of possible actions, even if those actions are not performed. These “counterfactually-rich” generative models encode sensorimotor contingencies related to repertoires of sensorimotor dependencies, with counterfactual richness determining the degree of perceptual presence associated with a stimulus. While the generative models underlying normal perception are typically counterfactually rich (reflecting a large repertoire of possible sensorimotor dependencies), those underlying synesthetic concurrents are hypothesized to be counterfactually poor. In addition to accounting for the phenomenology of synesthesia, the theory naturally accommodates phenomenological differences between a range of experiential states including dreaming, hallucination, and the like. It may also lead to a new view of the (in)determinacy of normal perception

Ultrafocused electromagnetic field pulses with a hollow cylindrical waveguide

We theoretically show that a dipole externally driven by a pulse with a lower-bounded temporal width, and placed inside a cylindrical hollow waveguide, can generate a train of arbitrarily short and focused electromagnetic pulses. The waveguide encloses vacuum with perfect electric conducting walls. A dipole driven by a single short pulse, which is properly engineered to exploit the linear spectral filtering of the cylindrical hollow waveguide, excites longitudinal waveguide modes that are coherently refocused at some particular instances of time, thereby producing arbitrarily short and focused electromagnetic pulses. We numerically show that such ultrafocused pulses persist outside the cylindrical waveguide at distances comparable to its radius