Highlights for the Virtual Institute of Quantum Information Theory

18th Oct 2011

Current attempts to probe general relativistic effects in quantum mechanics focus on precision measurements of phase shifts in matter–wave interferometry. Yet, phase shifts can always be explained as arising because of an Aharonov–Bohm effect, where a particle in a flat space–time is subject to an effective potential. Here we propose a quantum effect that cannot be explained without the general relativistic notion of proper time.


22nd Aug 2011

Bit commitment is a fundamental cryptographic primitive with numerous applications. Quantum information allows for bit commitment schemes in the information theoretic setting where no dishonest party can perfectly cheat. The previously best-known quantum protocol by Ambainis achieved a cheating probability of at most 3/4, while Kitaev showed that no quantum protocol can have cheating probability less than 1/sqrt{2}. Closing this gap has since been an important and open question. In this paper, the authors provide the optimal bound for quantum bit commitment.


2nd Aug 2011

According to quantum theory, measurements generate random outcomes, in stark contrast with classical mechanics. This raises the question of whether there could exist an extension of the theory that removes this indeterminism, as suspected by Einstein, Podolsky and Rosen. Although this has been shown to be impossible, existing results do not imply that the current theory is maximally informative. Here we ask the more general question of whether any improved predictions can be achieved by any extension of quantum theory.


7th Jul 2011

We propose a method to prepare and verify spatial quantum superpositions of a nanometer-sized object separated by distances of the order of its size. This method provides unprecedented bounds for objective collapse models of the wave function by merging techniques and insights from cavity quantum optomechanics and matter-wave interferometry. An analysis and simulation of the experiment is performed taking into account standard sources of decoherence. We provide an operational parameter regime using present-day and planned technology.


6th Jun 2011

The paper provides new evidence that quantum computers cannot be efficiently simulated by classical computers. In particular, the authors consider a model of computation in which identical photons are generated, sent through a linear-optical network, then nonadaptively measured to count the number in each mode. While this model is not known or believed to be universal for quantum computation, it is shown that the model is able to solve sampling problems and search problems that are classically intractable under plausible assumptions.


1st Jun 2011

The heat generated by computations is not only an obstacle to circuit miniaturization but also a fundamental aspect of the relationship between information theory and thermodynamics. In principle, reversible operations may be performed at no energy cost; given that irreversible computations can always be decomposed into reversible operations followed by the erasure of data, the problem of calculating their energy cost is reduced to the study of erasure. Landauer’s principle states that the erasure of data stored in a system has an inherent work cost and therefore dissipates heat.


1st Jun 2011

In the distrustful quantum cryptography model the parties have conflicting interests and do not trust one another. Nevertheless, they trust the quantum devices in their labs. The aim of the device-independent approach to cryptography is to do away with the latter assumption, and, consequently, significantly increase security. It is an open question whether the scope of this approach also extends to protocols in the distrustful cryptography model, thereby rendering them “fully” distrustful.


27th Mar 2011

The estimation of parameters characterizing dynamical processes is central to science and technology. The estimation error changes with the number N of resources employed in the experiment (which could quantify, for instance, the number of probes or the probing energy). Typically, it scales as . Quantum strategies may improve the precision, for noiseless processes, by an extra factor . For noisy processes, it is not known in general if and when this improvement can be achieved.


15th Mar 2011

Device-independent quantum key distribution (QKD) aims to provide key distribution schemes, the security of which is based on the laws of quantum physics, but which does not require any assumptions about the internal working of the devices used in the protocol. This strong form of security is possible only when using correlations that violate a Bell inequality. Here, we provide a general security proof for a large class of protocols in a model in which the raw key is generated by independent measurements.


2nd Mar 2011

Metropolis algorithm is the standard method for the simulation of interacting particles on classical computers. In this work, the authors demonstrate how to implement a quantum version of the Metropolis algorithm on a quantum computer. This algorithm permits to sample directly from the eigenstates of the Hamiltonian and thus evades the sign problem present in classical simulations. A small scale implementation of this algorithm can already be achieved with today's technology.


8th Feb 2011

The results of local measurements on some composite quantum systems cannot be reproduced classically. This impossibility, known as quantum nonlocality, represents a milestone in the foundations of quantum theory. Quantum nonlocality is also a valuable resource for information-processing tasks, for example, quantum communication, quantum key distribution, quantum state estimation or randomness extraction. Still, deciding whether a quantum state is nonlocal remains a challenging problem.


24th Jan 2011

We establish a link between unitary relaxation dynamics after a quench in closed many-body systems and the entanglement in the energy eigenbasis. We find that even if reduced states equilibrate, they can have memory on the initial conditions even in certain models that are far from integrable. We show that in such situations the equilibrium states are still described by a maximum entropy or generalized Gibbs ensemble, regardless of whether a model is integrable or not, thereby contributing to a recent debate.


10th Jan 2011

In this work, the authors study position-based cryptography in the quantum setting. On the negative side, they show that if adversaries are allowed to share an arbitrarily large entangled quantum state, no secure position-verification is possible at all. On the positive side, they show that if adversaries do not share any entangled quantum state but can compute arbitrary quantum operations, secure position-verification is achievable. In models where secure positioning is achievable, it has a number of interesting applications.


14th Nov 2010

We give new evidence that quantum computers -- moreover, rudimentary quantum computers built entirely out of linear-optical elements -- cannot be efficiently simulated by classical computers. In particular, we define a model of computation in which identical photons are generated, sent through a linear-optical network, then nonadaptively measured to count the number of photons in each mode. This model is not known or believed to be universal for quantum computation, and indeed, we discuss the prospects for realizing the model using current technology.


18th Oct 2010

A central problem in quantum computation is to understand which quantum circuits are useful for exponential speed-ups over classical computation. We address this question in the setting of query complexity and show that for almost any sufficiently long quantum circuit one can construct a black-box problem which is solved by the circuit with a constant number of quantum queries, but which requires exponentially many classical queries, even if the classical machine has the ability to postselect. We prove the result in two steps.