Talks

The original motivation to build a quantum computer came from Feynman who envisaged a machine capable of simulating generic quantum mechanical systems, a task that is intractable for classical computers. Such a machine would have tremendous applications in all physical sciences, including condensed matter physics, chemistry, and high energy physics. Part of Feynman's challenge was met by Lloyd who showed how to approximately decompose the time-evolution operator of interacting quantum particles into a short sequence of elementary gates, suitable for operation on a quantum computer. However, this left open the more fundamental problem of how to simulate the equilibrium and static properties of quantum systems. This requires the preparation of ground and Gibb's states on a quantum computer. For classical systems, this problem is solved by the ubiquitous Metropolis algorithm, a method that basically acquired a monopoly for the simulation of interacting particles. In this talk, I will demonstrate that the corresponding quantum problem can be solved by a quantum Metropolis algorithm. This validates the quantum computer as a universal simulator, and proves that the so-called sign problem occurring in quantum Monte Carlo methods can be resolved with a quantum computer.

We investigate a simple theory where Baryon number (B) and Lepton number (L) are local gauge symmetries. In this theory B and L are on the same footing and the anomalies are cancelled by adding a single new fermionic generation. There is an interesting realization of the seesaw mechanism for neutrino masses. Furthermore there is a natural suppression of flavour violation in the quark and leptonic sectors since the gauge symmetries and particle content forbid tree level flavor changing neutral currents involving the quarks or charged leptons. Also one finds that the stability of a dark matter candidate is an automatic consequence of the gauge symmetry. Some constraints and signals at the Large Hadron Collider are briefly discussed.