Quantum Physics

I will outline our recent approach to a theory of quantum networks, which we base on the graphical tensor calculus of Penrose. We aim to use this approach as a means to unite quantum computation, condensed matter physics and tensor network states with a long history of existing methods and techniques. I will sketch the status of our approach and focus on methods we have developed to reason and control the states created by specific networks of contracted tensors, as well as tensor contractions capturing the key properties of algebraic invariants of operators and states.

This is a very informal talk about some of the issues associated with the notion of "macroscopic realism" (MR) and its relation to quantum mechanics (QM). After a brief discussion of the motivation for attempts to modify QM at some point between the level of the atom and that of our own direct experience, and a survey of some candidate experimental systems, I will discuss attempts to quantify the notion of "macroscopic distinctness", the use of temporal Bell inequalities to discriminate between the predictions of QM and those of MR, the related concept of "noninvasive measurement" and existing and possible ways to implement it. I will also comment briefly on the relation between Bell-EPR experiments and those on MR.

Continuous-variable SICPOVMS seem unlikely to exist, for a variety of reasons. But that doesn't rule out the possibility of other 2-designs for the continuous-variable Hilbert space L2(R). In particular, it would be nice if the coherent states -- which form a rather nice 1-design -- could be generalized in some way to get a 2-design comprising *Gaussian* states. So the question is: "Can we build a 2-design out of Gaussian states?". The answer is "No, but in a very surprising way!" Like coherent states, Gaussian states have a natural transitive symmetry group. For coherent states, it's the Heisenberg group. For Gaussian states, it's the affine symplectic group -- the Heisenberg group plus squeezings and rotations. And this group acts irreducibly on the symmetric subspace of L2(R) x L2(R)... which, by Schur's Lemma, implies that the Gaussian states *should* be a 2-design. Yet a very simple explicit calculation shows that they are not! The resolution is fascinating -- it turns out that the "symplectic twirl" involves an integral that does not quite converge, and this provides a loophole out of Schur's Lemma. So, in the end, we: (1) Show that Gaussian 2-designs do not exist, (2) Demonstrate a major stumbling block to *any* symplectic-covariant 2-designs for L2(R), (3) Gain a pretty complete understanding of *one* of the [formerly] mysterious discrepancies between discrete and continuous Hilbert spaces.

This is a geometric tutorial about straight and twisted vectors and forms (ie, de Rham currents) leading to some wild thoughts about the EM field as a *thing*, ie with properties similar to a piece of matter; and to some even wilder thoughts about a metric-free GR.