Search Talks

I will survey recent feasibility results on building multi-party cryptographic protocols which manipulate quantum data or are secure against quantum adversaries. The focus will be protocols for secure evaluation of quantum circuits. Along the way, I'll discuss how quantum machines can (and can't) prove knowledge of a secret to a distrustful partner. The talk is based on recent unpublished results, as well as older joint work with subsets of Michael Ben-Or, Claude Crepeau, Daniel Gottesman, and Avinatan Hasidim (STOC '02, FOCS '02, Eurocrypt '05, FOCS '06).

Inelastic collisions occur in Bose-Einstein condensates, in some cases, producing particle loss in the system. Nevertheless, these processes have not been studied in the case when particles do not escape the trap. We show that such inelastic processes are relevant in quantum properties of the system such as the evolution of the relative population and entanglement. Moreover, including inelastic terms in the models of multimode condensates allows for an exact analytical solution. 

Consider a discrete quantum system with a d-dimensional state space. For certain values of d, there is an elegant information-theoretic uncertainty principle expressing the limitation on one's ability to simultaneously predict the outcome of each of d+1 mutually unbiased--or mutually conjugate--orthogonal measurements. (The allowed values of d include all powers of primes, and at present it is not known whether any value of d is excluded.) In this talk I show how states that minimize uncertainty in this sense can be generated via a discrete phase space based on finite fields. I also discuss some numerically observed features of these minimum-uncertainty states as the dimension d gets very large.

We give a communication problem between two players, Alice and Bob, that can be solved by Alice sending a quantum message to Bob, for which any classical interactive protocol requires exponentially more communication.

We show that singlets composed of multiple multi-level quantum systems can naturally arise as the ground state of a physically-motivated Hamiltonian. The Hamiltonian needs to be one which simply exchanges the states of nearest neighbours in any graph of interacting d-level quantum systems (qudits) as long as the graph also has d sites. We point out that local measurements on some of these qudits, with the freedom of choosing a distinct measurement basis at each qudit randomly from an infinite set of bases, project the remainder onto a singlet state. One implication of this is that the entanglement in these states is very robust (persistent), while an application is in establishing an arbitrary amount of entanglement between well-separated parties (for subsequent use as a communication resource) by local measurements on an appropriate graph. Based on quant-ph/0602139.

We propose an extended quantum theory, in which the number of degrees of freedom K behaves as FOURTH power the number N of distinguishable states. As the simplex of classical N--point probability distributions can be embedded inside a higher dimensional convex body of mixed quantum states, one can further increase the dimensionality constructing the set of extended quantum states. The embedding proposed corresponds to an assumption that the physical system described in N dimensional Hilbert space is coupled with an auxiliary subsystem of the same dimensionality. The extended theory is shown to be a non-trivial generalisation of the standard quantum theory for which K=N^2. Imposing certain restrictions on initial conditions and dynamics allowed in the quartic theory one obtains quadratic theory as a special case. We discuss the question, how the theory of information processing looks like in the framework of the generalised quantum theory. In particular we propose a scheme of extended dense coding, in which one transmits two qubits by sending one extended bit, provided it was initially entangled with the extended bit of the receiver.

If a large quantum computer (QC) existed today, what type of physical problems could we efficiently simulate on it that we could not simulate on a conventional computer? In this talk, I argue that a QC could solve some relevant physical "questions" more efficiently. First, I will focus on the quantum simulation of quantum systems satisfying different particle statistics (e.g., anyons), using a QC made of two-level physical systems or qubits. The existence of one-to-one mappings between different algebras of observables or between different Hilbert spaces allow us to represent and imitate any physical system by any other one (e.g., a bosonic system by a spin-1/2 system). We explain how these mappings can be performed showing quantum networks useful for the efficient evaluation of some physical properties, such as correlation functions and energy spectra. Second, I will focus on the quantum simulation of classical systems. Interestingly, the thermodynamic properties of any d-dimensional classical system can be obtained by studying the zero-temperature properties of an associated d-dimensional quantum system. This classical-quantum correspondence allows us to understand classical annealing procedures as slow (adiabatic) evolutions of the lowest-energy state of the corresponding quantum system. Since many of these problems are NP-hard and therefore difficult to solve, is worth investigating if a QC would be a better device to find the corresponding solutions.

The mathematical formalism of quantum theory has many features whose physical origin remains obscure. In this paper, we attempt to systematically investigate the possibility that the concept of information may play a key role in understanding some of these features. We formulate a set of assumptions, based on generalizations of experimental facts that are representative of quantum phenomena and physically comprehensible theoretical ideas and principles, and show that it is possible to deduce the finite-dimensional quantum formalism from these assumptions. The concept of information, via an information-theoretic invariance principle, plays a central role in the derivation, and gives rise to some of the central structural features of the quantum formalism.

A multi-partite entanglement measure is constructed via the distance or angle of the pure state to its nearest unentangled state. The extention to mixed states is made via the convex-hull construction, as is done in the case of entanglement of formation. This geometric measure is shown to be a monotone. It can be calculated for various states, including arbitrary two-qubit states, generalized Werner and isotropic states in bi-partite systems. It is also calculated for various multi-partite pure and mixed states, including ground states of some physical models and states generated from quantum alogrithms, such as Grover's. A specific application to a spin model with quantum phase transistions will be presented in detail.The connection of the geometric measure to other entanglement properties will also be discussed.

If spacetime is "quantized" (discrete), then any equation of motion compatible with the Lorentz transformations is necessarily non-local. I will present evidence that this sort of nonlocality survives on length scales much greater than Planckian, yielding for example a nonlocal effective wave-equation for a scalar field propagating on an underlying causal set. Nonlocality of our effective field theories may thus provide a characteristic signature of quantum gravity.