Consider a matrix chosen uniformly at random from the group . (Precisely, is a random variable distributed according to Haar measure.) The expected value of is zero, because is a measure preserving symmetry of . The expected value of is . (A nice exercise.) In general, the expected value of is zero, and the expected value of is the Catalan number . This is the sequence that starts , , , , , , …, where that first is the expected value of .

I learned that fact from Hyperelliptic curves, -polynomials, and random matrices, a very interesting

paper whose main substance I will completely ignore. That paper also discusses what happens when you replace with . The case is so easy we can work it out in detail: must be of the form , and is chosen uniformly at random from the interval . So and the expected value of is

Now, combinatorialists know that the Catalan numbers are closely related to properties of the symmetric groups . And the sequence is known to play the same role for the symmetry groups of the hypercubes. In fact, we call the symmetric groups the “Coxeter groups of type ” and the symmetry groups of the hypercubes the “Coxeter groups of type “. There is a growing philosophy that the sequence should be thought of as the Catalan numbers of type .

Now, there is one more infinite sequence of Coxeter groups — the groups of type . The Catalan numbers of type are ; the first few are , , , , …. Is there some random variable such that and ? And, if so, can we view

as the pushforward of some kind of Haar measure?

**UPDATE:** I think I lose. Let’s write . Then

.

I think that should implies that , with probability .

But then, if we want the expected value of to be , then we need to have with probability . And that implies .

**UPDATE: **Well, this idea seems dead for now (although I’d be curious to here if anyone can revive it.) I encourage readers to check out the comments, though: Greg Kuperberg and Michael Lugo both bring interesting perspectives.

### Like this:

Like Loading...

*Related*

That should be 1,4,14,50.

Thanks!

The expression for the Catalan numbers of type D blows up for . Perhaps you mean: ?

Your equation is, indeed, what I want the guess to be.

I’ve been being sloppy about indexing because these things tend to work themselves out in my experience. But, for the record:

is the Catalan number of type $A_{n}$, and is .

is the Catalan number of type , and is .

is the Catalan number of type , and is what I had hoped would be .

So

There is a possible salvage for both the update and Lior’s question. The update uses Lior’s suggested numbering and concludes that the construction is impossible. But with a different definition, you can use the original numbering. Let d_n be the terms of the sequence with the recurrence relation

d_{n+1}/d_n = 2(3n+1)(2n-1)/(3n-2)/(n+1).

Then you can let d_0 = 1 and instead d_{-1} is undefined. You come to the same conclusion if you express David’s formula in terms of the Gamma function, because the poles at 0 cancel.

The type A and type B sequences are not just moments of random variables. They are also dimensions of invariant spaces of V^{tensor n} for some representation V of some compact group G. In all three cases, V has to be two-dimensional. So the question is whether you can find a subgroup G of U(2) to make it work in the D case. This would be an even stricter generalization than what David was asking for. But I think that the group G does not exist in this case. It cannot be a finite group, because then d_n would grow as Theta(2^n), instead of as Theta(2^n/sqrt(n)). But the only other choice is O(2) or the normalizer of the Cartan circle in SU(2), which give the same numbers as O(2) and I don’t think that they are the right numbers.

That does not show that the random variable alone does not exist, nor even the Haar measure interpretation, just that the character interpretation does not exist. On the other hand having a Haar measure interpretation without some relation to characters is superficial, because Haar measure by itself is measure-o-morphic to uniform measure on an interval.

There is fourth infinite family of Coxeter groups, but most dihedral groups don’t come from lattices.

I’ll give an alternative proof that there’s no such random variable, which doesn’t seem all that enlightening to me but might trip something in somebody’s brain. I’ll show that there’s no random variable with zeroth through fourth moments equal to 1, 0, 4, 0, 14. A sequence of numbers a_0, a_1, a_2, … is a sequence of moments of some random variable if and only if the Hankel matrices of that sequence, which have the (i, j)th entry equal to a_{i+j}, are all positive semidefinite. (This is the problem of moments.) But the 3-by-3 Hankel matrix

1 0 4

0 4 0

4 0 14

has determinant -8, so is not positive semidefinite.

Michael’s argument can be made more efficiently by pointing out that should be less than by Cauchy-Schwartz (or the power mean inequality.) Notice that the determinant is block diagonal, with one block and the other . So the important comparison is between and .

I thought I checked that, but I must have gotten the inequality backward. So thanks!

And that also rules out Greg Kuperberg’s fix. The Cauchy-Schwartz inequality shows that , so we can’t have , and .

More generally, does the sequence of nonzero moments of a random variable have to be log-convex?

If the variable is positive valued, yes. Let . Then Cauchy-Schwartz gives . So is an increasing sequence. Since is increasing, is convex.

Since the moment model does not validate either form of the type D_n Catalan sequence, which numbering is the correct one?