Quantum Physics

It is known that finite fields with d elements exist only when d is a prime or a prime power. When the dimension d of a finite dimensional Hilbert space is a prime power, we can associate to each basis state of the Hilbert space an element of a finite or Galois field, and construct a finite group of unitary transformations, the generalised Pauli group or discrete Heisenberg-Weyl group. Its elements can be expressed, in terms of the elements of a Galois field. This group presents numerous applications in Quantum Information Science e.g. tomography, dense coding, teleportation, error correction and so on. The aim of our talk is to give a general survey of these properties and to present recently obtained results in connection with three problems: -the so-called ''Mean King's problem'' in prime power dimension, -discrete Wigner distributions, -and quantum tomography . Finally we shall discuss a limitation of the possible dimensions in which the so-called epistemic interpretation can be consistently formulated, in relation with the existence of finite affine planes, Euler's conjecture and the 36 officers problem.

One of the cool, frustrating things about quantum theory is how the once-innocuous concept of "measurement" gets really complicated. I'd like to understand how we find out about the universe around us, and how to reconcile (a) everyday experience, (b) experiments on quantum systems, and (c) our theory of quantum measurements. In this talk, I'll try to braid three [apparently] separate research projects into the beginnings of an answer. I'll begin from the premise that you make a measurement to find something out, then attack some specific questions: "How do we find out about quantum systems?", "What can we find out about quantum systems?", and finally "What do we actually know, afterward?" I'll give precise statements of these questions, then present [partial] answers.

In this talk we discuss how large classes of classical spin models, such as the Ising and Potts models on arbitrary lattices, can be mapped to the graph state formalism. In particular, we show how the partition function of a spin model can be written as the overlap between a graph state and a complete product state. Here the graph state encodes the interaction pattern of the spin model---i.e., the lattice on which the model is defined---whereas the product state depends only on the couplings of the model, i.e., the interaction strengths. As main examples, we find that the 1D Ising model corresponds to the 1D cluster state, the 2D Ising model without external field is mapped to Kitaev's toric code state, and the 2D Ising model with external field corresponds to the 2D cluster state---but the mappings are completely general in that arbitrary graphs, and also q-state models can be treated. These mappings allow one to make connections between concepts in (classical) statistical mechanics and quantum information theory and to obtain a cross-fertilization between both fields. As a main application, we will prove that the classical Ising model on a 2D square lattice (with external field) is a "complete model", in the sense that the partition function of any other spin model---i.e., for q-state spins on arbitrary lattices---can be obtained as a special instance of the (q=2) 2D Ising partition function with suitably tuned (complex) couplings. This result is obtained by invoking the above mappings from spin models to graph states, and the property that the 2D cluster states are universal resource states for one-way quantum computation. Joint work with Wolfgang Duer and Hans Briegel, see PRL/ 98 117207 (2007)/ and quant-ph/0708.2275. For related work, see also S. Bravyi and R. Raussendorf, quant-ph/0610162.