Back before Christmas I felt I was within a week of proving the following:
Ergodic Theorem for Random Walks on Finite Quantum Groups
A random walk on a finite quantum group
is ergodic if and only if
is not concentrated on a proper quasi-subgroup, nor the coset of a ?normal ?-subgroup.
The first part of this conjecture says that if is concentrated on a quasi-subgroup, then it stays concentrated there. Furthermore, we can show that if the random walk is reducible that the Césaro limit gives a quasi-subgroup on which
is concentrated.
The other side of the ergodicity coin is periodicity. In the classical case, it is easy to show that if the driving probability is concentrated on the coset of a proper normal subgroup , that the convolution powers jump around a cyclic subgroup of
.
One would imagine that in the quantum case this might be easy to show but alas this is not proving so easy.
I am however pushing hard against the other side. Namely, that if the random walk is periodic and irreducible, that the driving probability in concentrated on some quasi-normal quasi-subgroup!
The progress I have made depends on work of Fagnola and Pellicer. They show that if the random walk is irreducible and periodic that there exists a partition of unity such that
is concentrated on
.
This cyclic nature suggests that might be equal to
for some
and perhaps:
and perhaps there is an isomorphism . Unfortunately I have been unable to progress this.
What is clear is that the ‘supports’ of the behave very much like the cosets of proper normal subgroup
.
As the random walk is assumed irreducible, we know that for any projection , there exists a
such that
.
Playing this game with the Haar element, , note there exists a
such that
.
Let . I have proven that if
, then the convolution powers of
converge. Convergence is to an idempotent. This means that
converges to an idempotent
, and so we have a quasi-subgroup corresponding to it, say
.
The question is… does coincide with
?
If yes, is there any quotient structure by a quasi-subgroup? Is there a normal quasi-subgroup that allows such a structure?
Is a subgroup? Could it be a normal subgroup?
As nice as it was to invoke the result that if is in the support of
, then the convolution powers of
converge, by looking at those papers which cite Fagnola and Pellicer we see a paper that gives the same result without this neat little lemma.
This paper by Carbone and Pautrat contains the following result, which basically achieves the same as above — except not just on — but in each
:
Consider an irreducible random walk with cyclic projections
.
Then the restriction of
to
is irreducible and aperiodic, and
The explicit state is not a state I note… now I note something far more interesting. I don’t believe that the invariant state above is a state at all but what we (will) see is that:
.
This is a game changer. This paper, in the language that I am using, refer not to an element of the dual as a state, but rather the density of a state,
.
There is a paper of Skalski and Franz that basically says that if the cyclic projections are in the centre of , we have something like
is associated with an actual subgroup.
Fagnola and Pellicer (and my PhD supervisor Stephen Wills) put great importance on the fact that is completely positive. This allows us to write, for functions
,
.
What would be great is if we could decompose:
.
This does not seem automatic in the quantum case. However by pre- and post-multiplying by we can write
,
and the action of on these ‘factors’ is straightforward. Fagnola and Pellicer show that
. The following calculation is stated without proof by Carbone and Pautrat.
We know that is ergodic for
… my issue is that, in my head, this invariant state should be
…
Let us look in a paper, or rather series of papers, of Franz and Skalski. Perhaps also at the end we might summarise some things that did not work.
An idempotent state has a support projection
. In the commutative case,
is a subgroup
, but in the quantum case
need not be a subgroup and we call
a quasi-subgroup.
We can construct on object that looks like the algebra of functions. Let us list some properties of . It is a projection. It contains the identity and is closed under inverses. It satisfies:
.
Consider and, for
.
Why is this thing not a subgroup? As the nullspace of need not be self-adjoint. Do I understand the importance of this? Not necessarily! Presumably if we rather look at the support of the state we do not have that it is self-adjoint.
Here is the big result I am looking at:
If
is in the centre of
, then
is a quantum subgroup.
If I could show this for (from above), then possibilities open.
Unfortunately the decomposition provides little help.
Franz and Skalski prove the following:
Let
be a quasi-subgroup. TFAE
is a subgroup
is a two-sided or self-adjoint or
invariant ideal of
We are getting nothing for nothing here!
Here is a different thought. How about we use duality. Hear myself out.
We know that the random walk is irreducible. Can we say that the initial “dual” story with the random walk is that is begins at
,
i.e. (normalised) , say
.
Now we know that and so:
,
and because the random walk is irreducible, every projection must be in one of the
(well, this is clearly wrong! Maybe we want it never to be in
). We know that, by the by, because of finiteness,
is equal to the span of its projections.
Well anyway, this gives us, in fact, that
,
and now we know that gives a subgroup because:
.
Bingo bango, jobs a good un.
But is this duality argument valid? Note that
.
This implies that for all , there exists
such that:
.
Hmmm… well, no time to go back on the stuff that did not work.
Leave a comment
Comments feed for this article