Quantum Physics

In nearly every quantum algorithm which exponentially outperforms the best classical algorithm the quantum Fourier transform plays a central role. Recently, however, cracks in the quantum Fourier transform paradigm have begun to emerge. In this talk I will discuss one such development which arises in a new efficient quantum algorithm for the Heisenberg hidden subgroup problem. In particular I will show how considerations of symmetry for this hidden subgroup problem lead naturally to a different transform than the quantum Fourier transform, the Clebsch-Gordan transform over the Heisenberg group. Clebsch-Gordan transforms over finite groups thus appear to be an important new tool for those attempting to find new quantum algorithms. [Part of this work was done in collaboration with Andrew Childs (Caltech) and Wim van Dam (UCSB)]

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.