I was staring at a bonfire on a beach the other day and realized that I didn’t understand anything about fire and how it works. (For example: what determines its color?) So I looked up some stuff, and here’s what I learned.

## Archive for the ‘physics’ Category

## What’s a fire, and why does it – what’s the word – burn?

Posted in physics.quant-ph on May 26, 2016| 9 Comments »

## Maximum entropy from Bayes’ theorem

Posted in math.PR, physics.stat-mech, tagged partition functions on March 6, 2016| 4 Comments »

The principle of maximum entropy asserts that when trying to determine an unknown probability distribution (for example, the distribution of possible results that occur when you toss a possibly unfair die), you should pick the distribution with maximum entropy consistent with your knowledge.

The goal of this post is to derive the principle of maximum entropy in the special case of probability distributions over finite sets from

- Bayes’ theorem and
- the principle of indifference: assign probability to each of possible outcomes if you have no additional knowledge. (The slogan in statistical mechanics is “all microstates are equally likely.”)

We’ll do this by deriving an arguably more fundamental principle of maximum relative entropy using only Bayes’ theorem.

## Finite noncommutative probability, the Born rule, and wave function collapse

Posted in math.PR, math.RA, physics.quant-ph, physics.stat-mech, tagged partition functions on September 9, 2012| 6 Comments »

The previous post on noncommutative probability was too long to leave much room for examples of random algebras. In this post we will describe all finite-dimensional random algebras with faithful states and all states on them. This will lead, in particular, to a derivation of the Born rule from statistical mechanics. We will then give a mathematical description of wave function collapse as taking a conditional expectation.

## Noncommutative probability

Posted in math.PR, physics.class-ph, physics.quant-ph, tagged moments on August 18, 2012| 9 Comments »

The traditional mathematical axiomatization of probability, due to Kolmogorov, begins with a probability space and constructs random variables as certain functions . But start doing any probability and it becomes clear that the space is de-emphasized as much as possible; the real focus of probability theory is on the algebra of random variables. It would be nice to have an approach to probability theory that reflects this.

Moreover, in the traditional approach, random variables necessarily commute. However, in quantum mechanics, the random variables are self-adjoint operators on a Hilbert space , and these do not commute in general. For the purposes of doing quantum probability, it is therefore also natural to look for an approach to probability theory that begins with an algebra, not necessarily commutative, which encompasses both the classical and quantum cases.

Happily, **noncommutative probability** provides such an approach. Terence Tao’s notes on free probability develop a version of noncommutative probability approach geared towards applications to random matrices, but today I would like to take a more leisurely and somewhat scattered route geared towards getting a general feel for what this formalism is capable of talking about.

## Banach algebras, the Gelfand representation, and the commutative Gelfand-Naimark theorem

Posted in math.FA, physics.quant-ph on July 17, 2012| 4 Comments »

Banach algebras abstract the properties of closed algebras of operators on Banach spaces. Many basic properties of such operators have elegant proofs in the framework of Banach algebras, and Banach algebras also naturally appear in areas of mathematics like harmonic analysis, where one writes down Banach algebras generalizing the group algebra to study topological groups.

Today we will develop some of the basic theory of Banach algebras, our goal being to discuss the Gelfand representation of a commutative Banach algebra and the fact that, for commutative C*-algebras, this representation is an isometric isomorphism. This implies in particular a spectral theorem for self-adjoint operators on a Hilbert space.

This material can be found in many sources; I am working from Dales, Aiena, Eschmeier, Laursen and Willis’ *Introduction to Banach Algebras, Operators, and Harmonic Analysis*.

Below all vector spaces are over , all algebras are unital, and all algebra homomorphisms preserve units unless otherwise stated. In the context of Banach algebras, the last two assumptions are not standard, but in practice non-unital Banach algebras are studied by adjoining units first, so we do not lose much generality.

## Hilbert spaces (and dagger categories)

Posted in math.CT, math.FA, physics.quant-ph, tagged adjoint functors on June 25, 2012| 10 Comments »

Hilbert spaces are a particularly nice class of Banach spaces. They axiomatize ideas from Euclidean geometry such as orthogonality, projection, and the Pythagorean theorem, but the ideas apply to many infinite-dimensional spaces of functions of interest to various branches of mathematics. Hilbert spaces are also fundamental to quantum mechanics, as vectors in Hilbert spaces (up to phase) describe (pure) states of quantum systems.

Today we’ll develop and discuss some of the basic theory of Hilbert spaces. As with the theory of Banach spaces, there are (at least) two types of morphisms we might want to talk about (unitary operators and bounded operators), and we will discuss an elegant formalism that allows us to talk about both. Things written by John Baez will be cited excessively.

## Poisson algebras and the classical limit

Posted in math.QA, physics.class-ph, physics.quant-ph, tagged quantization on August 14, 2011| 1 Comment »

In the previous post we described the Heisenberg picture of quantum mechanics, which can be phrased quite generally as follows: given a noncommutative algebra (the algebra of observables of some quantum system) and a Hamiltonian , we obtain a derivation , which is (up to some scalar multiple) the infinitesimal generator of time evolution. This is a natural and general way to start with an algebra and an energy function and get a notion of time evolution which automatically satisfies conservation of energy.

However, if is commutative, all commutators are trivial, and yet classical mechanics somehow takes a Hamiltonian and produces a notion of time evolution. How does that work? It turns out that for algebras of observables of a classical system, we can think of as the *classical limit* of a family of noncommutative algebras. While is commutative, the noncommutativity of the family equips with the extra structure of a Poisson bracket, and it is this Poisson bracket which allows us to describe time evolution.

Today we’ll describe one way to formalize the notion of taking the classical limit using the deformation theory of algebras. We’ll see how Poisson brackets pop out along the way, as well as the relevance of the lower Hochschild cohomology groups.

## Update

Posted in physics.stat-mech, tagged zeta functions on July 21, 2011| 1 Comment »

I put up a post over at the StackOverflow blog describing a little of what I’ve been up to this summer.

Curiously enough, the Zipf distribution which shows up in that post is the same as the zeta distribution that shows up when trying to motivate the definition of the Riemann zeta function. I’m sure there is a conceptual explanation of this connection somewhere, probably coming from statistical mechanics, but I don’t know it. I suppose the approximate scale invariance of the zeta distribution is relevant to its appearance in many real-life statistics, as described in Terence Tao’s blog post on the subject here.

## The Heisenberg picture of quantum mechanics

Posted in physics.quant-ph on July 16, 2011| 9 Comments »

In an earlier post we introduced the Schrödinger picture of quantum mechanics, which can be summarized as follows: the state of a quantum system is described by a unit vector in some Hilbert space (up to multiplication by a constant), and time evolution is given by

where is a self-adjoint operator on called the Hamiltonian. Observables are given by other self-adjoint operators , and at least in the case when has discrete spectrum measurement can be described as follows: if is a unit eigenvector of with eigenvalue , then takes the value upon measurement with probability ; moreover, the state vector is projected onto .

The Heisenberg picture is an alternate way of understanding time evolution which de-emphasizes the role of the state vector. Instead of transforming the state vector, we transform observables, and this point of view allows us to talk about time evolution (independent of measurement) without mentioning state vectors at all: we can work entirely with the algebra of bounded operators. This point of view is attractive because, among other things, once we isolate what properties we need this algebra to have we can abstract them to a more general setting such as that of von Neumann algebras.

In order to get a feel for the kind of observables people actually care about, we won’t study a finite toy model in this post: instead we’ll work through some classical (!) one-dimensional examples.

## The representation theory of SU(2)

Posted in math.RT, physics.quant-ph on June 26, 2011| 8 Comments »

Today we will give four proofs of the classification of the (finite-dimensional complex continuous) irreducible representations of (which you’ll recall we assumed way back in this previous post). As a first step, it turns out that the finite-dimensional representation theory of compact groups looks a lot like the finite-dimensional representation theory of finite groups, and this will be a major boon to three of the proofs. The last proof will instead proceed by classifying irreducible representations of the Lie algebra .

At the end of the post we’ll briefly describe what we can conclude from all this about electrons orbiting a hydrogen atom.