Scientific Series

Recently methods of integrability were shown to be useful for solving gauge theories in various dimensions. I will make an introduction into integrability in two dimensions and demonstrate how the integrability works also for some three and four dimensional gauge theories.

Researchers in quantum foundations claim (D'Ariano, Fuchs, ...): Quantum = probability theory + x and hence: x = Quantum - probability theory Guided by the metaphorical analogy: probability theory / x = flesh / bones we introduce a notion of quantum measurement within x, which, when flesing it with Hilbert spaces, provides orthodox quantum mechanical probability calculus.

A modified version of PQCD considered in previous works is further investigated in the case of a vanishing gluon condensate, by retaining only the quark one. In this case the Green functions generating functional is expressed in a simple form in which Dirac’s delta functions are now absent from the free propagators. The new expansion implements the dimensional transmutation effect through a single interaction vertex in addition to the standard ones in mass less QCD. The results of an ongoing two loop evaluation of the vacuum energy will be presented. The potential is parameterized as a function of the quark mass (defined by the pole of the first corrections to the quark propagator), the assumed finite zero momentum limit of the coupling constant g and the dimensional regularization parameter. The first condensate dependent corrections to the gluon and quark self-energies and propagators are evaluated. Assuming the possibility of fixing a minimum of the potential at the experimental value of the top quark mass =173 GeV, we evaluate the pole of the simplest correction to the propagator of the composite operator describing the quark condensate. Then, alter adopting the idea from the former top condensate models, in which the Higgs field corresponds to the quark condensate, the obtained pole gave a first rough estimate for the Higgs mass =168.2 GeV. Although being inside of the recently experimentally excluded region: 160-170 GeV, this mass value has the chance of being modified by a better approximation being currently considered for the gluon propagator entering its evaluation.

Solving linear systems of equations is a common problem that arises both on its own and as a subroutine in more complex problems: given a matrix A and a vector b, find a vector x such that Ax=b. Often, one does not need to know the solution x itself, but rather an approximation of the expectation value of some operator associated with x, e.g., x'Mx for some matrix M. In this case, when A is sparse and well-conditioned, with largest dimension N, the best known classical algorithms can find x and estimate x'Mx in O(N * poly(log(N))) time. In this talk I'll describe a quantum algorithm for solving linear sets of equations that runs in poly(log N) time, an exponential improvement over the best classical algorithm. This talk is based on my paper arXiv:0811.3171v2, which was written with Avinatan Hassidim and Seth Lloyd.

Yes, that's indeed where it happens. These pictures are not ordinary pictures but come with category-theoretic algebraic semantics, support automated reasoning and design of protocols, and match perfectly the developments in important areas of mathematics such as representation theory, proof theory, TQFT & GR, knot theory etc. More concretely, we report on the progress in a research program that aims to capture logical structures within quantum phenomena and quantum informatic tasks in purely diagrammatic terms. These picture calculi are faithful representations of certain kinds of monoidal categories, and structures therein. However, the goal of this program is partly to `release' these intuitive languages (or calculi) from their category-theoretic underpinning, and conceiving these pictures as mathematical entities in their own right. In this new language one is able to model and reason about things such a complementary observables, phase data, quantum circuits and algorithms, a variety of different quantum computational models, hidden-variable models, aspects of non-locality, and reason about all of these in terms of intuitive diagram transformations. Some recent benchmarks are the diagraamatic computation of quantum Fourier transform due to Duncan and myself, a purely diagrammatic proof of the no-cloning theorem due to Abramsky, and a categorical characterisation of GHZ-type non-locality due to Edwards, Spekkens and myself. For informal introductions we refer to: [1] Kindergarten quantum mechanics. http://arxiv.org/abs/quant-ph/0510032 [2] Introducing categories to the practicing physicist. http://arxiv.org/abs/0808.1032 For recent more advanced developments we suggest: [3] Selinger: Dagger compact closed categories and completely positive maps QPL\'05 http://www.mathstat.dal.ca/~selinger/papers.html#dagger [4] Coecke, Pavlovic, Vicary: A new description of orthogonal bases. http://arxiv.org/abs/0810.0812 [5] Coecke, Paquette, Perdrix: Bases in diagrammatic quantum protocols http://arxiv.org/abs/0808.1029 [6] Coecke, Duncan: Interacting quantum observables. ICALP\'08. http://www.springerlink.com/content/y443214116h76122/ [7] Coecke, Edwards: Toy quantum categories. QPL\'08. http://arxiv.org/abs/0808.1037

Integrability in gauge/string dualities will be reviewed in a broad perspective with a particular emphasis on the recently proposed equations describing the full planar spectrum of anomalous dimensions in AdS/CFT [N.Gromov, V.Kazakov, PV]. These are a concise version of Thermodynamic Bethe equations, called Y-system, which generalize the asymptotic Bethe equations of Beisert and Staudacher (which yield the full spectrum of N=4 SYM for asymptotically long local operators) and incorporate the 4-loop results for the shortest twist two operators obtained by Bajnok and Janik from the dual string sigma model (thus reproducing perturbative gauge theory computations with thousands of diagrams). On the way, we will explain some of the interesting open problems in the field.

Physicists are often so awestruck by the lofty achievements of the past, we end up thinking all the big stuff is done, which blinds us to the revolutions ahead. We are still firmly in the throes of the quantum revolution that began a hundred years ago. Quantum gravity, quantum computers, qu-bits and quantum phase transitions, are manifestations of this ongoing revolution. Nowhere is this more so, than in the evolution of our understanding of the collective properties of quantum matter. Fifty years ago, physicists were profoundly shaken by the discovery of universal power-law correlations at classical second-order phase transitions. Today, interest has shifted to Quantum Phase Transitions: phase transitions at absolute zero driven by the violent jigglings of quantum zero-point motion. Quantum, or Qu-transitions have been observed in ferromagnets, helium-3, ferro-electrics, heavy electron and high temperature superconductors. Unlike its classical counterpart, a quantum critical point is a kind of 'black hole' in the materials phase diagram: a singularity at absolute zero that profoundly influences wide swaths of the material phase diagram at finite temperature. I'll talk about some of the novel ideas in this field including 'avoided criticality' - the idea that high temperature superconductivity nucleates about quantum critical points - and the growing indications that electron quasiparticles break up at a quantum critical point.

Entanglement is one of the most fundamental and yet most elusive properties of quantum mechanics. Not only does entanglement play a central role in quantum information science, it also provides an increasingly prominent bridging notion across different subfields of Physics --- including quantum foundations, quantum gravity, quantum statistical mechanics, and beyond. Arguably, the property of a state being entangled or not is by no means unambiguously defined. Rather, it depends strongly on how we decide to regard the whole as composed of its part or, more generally, on the restricted ways in which we are able to observe and control the system at hand. Acknowledging the implications of such an operationally constrained point of view naturally has led to a notion of 'generalized entanglement,' which is directly based on quantum observables and offers added flexibility in a variety of contexts. In this talk, I will survey some of the main accomplishments of the generalized entanglement program to date, with an eye toward recent developments and open problems.

We know the mathematical laws of quantum mechanics, but as yet we are not so sure why those laws should be inevitable. In the simpler but related environment of classical inference, we also know the laws (of probability). With better understanding of quantum mechanics as the eventual goal, Kevin Knuth and I have been probing the foundations of inference. The world we wish to infer is a partially-ordered set ('poset') of states, which may as often supposed be exclusive, but need not be (e.g. A might be a requirement for B). In inference, a state of mind about the world degrades from perfect knowledge through logical OR, which allows for uncertain alternatives. We don't need AND, and we don't need NOT; we just need OR. This display of acceptable states of mind is [close to] a mathematical 'lattice'. We find that the OR structure by itself (!) forces the ordinary rules of probability calculus. No other rules are compatible with the structure of a lattice, so the ordinary rules are inevitable. The standard Shannon information/entropy is likewise inevitable. Taking this idea further, the OR of states of mind gives a lattice of 'Questions' that might be useful for automated learning. Disconcertingly, this lattice is very much larger (in class aleph-2), and the natural valuations on it exhibit large range. I will present this extension, and ask whether we can rationally foresee its use in practical application.

I comment on rather significant recent developments that are relevant for proposals I had presented in previous PI seminars. The Fermi/GLAST space telescope has reported observations that would naturally fit previous formalizations of Planck-scale-induced in-vacuo dispersion (but also quite a few other things). And the unexplained excess noise found at the GEO600 interferometer is just of the type that had been previously described in terms of phenomenological models of spacetime foam (but may well be caused by quite a few other things). On the pure-theory side I can finally keep my promise to show that spacetime noncommutativity is a valuable tool of exploration of nonclassicality of spacetime, allowing the derivation of discretized spectra of distance, area, volume, and also providing a completely new overall geometric picture, in which amusingly the number Pi looses some of its privileges.