Seminar series
Date
Thu, 12 Feb 2015
11:00
Location
C5
Speaker
Chris Heunen
Organisation
Oxford

Everything measurable about a quantum system, as modelled by a noncommutative operator algebra, is captured by its commutative subalgebras. We briefly survey this programme, and zoom in one specific incarnation: any bilinear associative function on the set of n-by-n matrices over a field of characteristic not two, that makes the same vectors orthogonal as ordinary matrix multiplication and gives the same trace as ordinary matrix multiplication, must in fact be ordinary matrix multiplication (or its opposite). Model-theoretic questions about the hypotheses and scope of this theorem are raised.

Last updated on 6 May 2025, 2:04pm. Please contact us with feedback and comments about this page.