You are currently browsing the category archive for the ‘arXiv’ category.

*This post follows on from this one. The purpose of posts in this category is for me to learn more about the research being done in quantum groups. This post looks at this paper of Schmidt.*

# Preliminaries

## Compact Matrix Quantum Groups

The author gives the definition and gives the definition of a (left, quantum) group action.

### Definition 1.2

Let be a compact matrix quantum group and let be a . An (left) *action *of on is a unital *-homomorphism that satisfies the analogue of , and the Podlés density condition:

.

## Quantum Automorphism Groups of Finite Graphs

Schmidt in this earlier paper gives a slightly different presentation of . The definition given here I understand:

### Definition 1.3

The *quantum automorphism group* of a finite graph with adjacency matrix is given by the universal -algebra generated by such that the rows and columns of are partitions of unity and:

.

_______________________________________

The difference between this definition and the one given in the subsequent paper is that in the subsequent paper the quantum automorphism group is given as a quotient of by the ideal given by … ah but this is more or less the definition of universal -algebras given by generators and relations :

where presumably all works out OK, and it can be shown that is a suitable ideal, a Hopf ideal. I don’t know how it took me so long to figure that out… Presumably the point of quotienting by (a presumably Hopf) ideal is so that the quotient gives a subgroup, in this case via the surjective *-homomorphism:

.

_______________________________________

## Compact Matrix Quantum Groups acting on Graphs

### Definition 1.6

Let be a finite graph and a compact matrix quantum group. An action of on is an action of on (coaction of on ) such that the associated magic unitary , given by:

,

commutes with the adjacency matrix, .

By the universal property, we have via the surjective *-homomorphism:

, .

## Theorem 1.8 (Banica)

Let , and , be an action, and let be a linear subspace given by a subset . The matrix commutes with the projection onto if and only if

### Corollary 1.9

The action preserves the eigenspaces of :

*Proof: *Spectral decomposition yields that each , or rather the projection onto it, satisfies a polynomial in :

,

as commutes with powers of

# A Criterion for a Graph to have Quantum Symmetry

### Definition 2.1

Let . Permutations are *disjoint *if , and vice versa, for all .

In other words, we don’t have and permuting any vertex.

### Theorem 2.2

Let be a finite graph. If there exists two non-trivial, disjoint automorphisms , such that and , then we get a surjective *-homomorphism . In this case, we have the quantum group , and so has quantum symmetry.

Some notes on this paper.

### 1. Introduction and Main Results

A tree *has no symmetry* if its automorphism group is trivial. Erdos and Rényi showed that the probability that a random tree on vertices *has no symmetry *goes to zero as .

Banica (after Bichon) wrote down with clarity the quantum automorphism group of a graph. It contains the usual automorphism group. When it is larger, the graph is said to have *quantum symmetry*.

Lupini, Mancinska, and Roberson show that almost all graphs are quantum antisymmetric. I am fairly sure this means that almost all graphs have no quantum symmetry, and furthermore for almost all (as ) graphs the automorphism group is trivial.

The paper in question hopes to show that almost all trees have quantum symmetry — but at this point I am not sure if this is saying that the quantum automorphism group is larger than the classical.

## 2. Preliminaries

### 2.1 Graphs and Trees

Standard definitions. No multi-edges. *Undirected* if the edge relation is symmetric. As it is dealing with trees, this paper is concerned with undirected graphs without loops, and identify . A *path *is a sequence of edges. We will not see *cycles *if we are discussing trees. Neither will we talk about *disconnected* graphs: a *tree *is a connected graph without cycles (this throws out loops actually.

The *adjacency matrix *of a graph is a matrix with iff there is an edge connected and . The adjacency matrix is symmetric.

### 2.2 Symmetries of Graphs

An *automorphism *of a graph is a permutation of that preserves adjacency and non-adjacency. The set of all such automorphisms, , is a group where the group law is composition. It is a subgroup of , and itself can be embedded as permutation matrices in . We then have

.

If , it is asymmetric. Otherwise it is or rather has symmetry.

### 2.3 Compact Matrix Quantum Groups

A *compact matrix quantum group *is a pair , where is a unital -algebra, and is such that:

- is generated by the ,
- There exists a morphism , such that
- and are invertible (Timmermann only asks that be invertible)

The classic example (indeed commutative examples all take this form) is a compact matrix group and the coordinates of .

#### Example 2.3

The algebra of continuous functions on the quantum permutation group is generated by projections such that the row sums and column sums of both equal .

The map , is a surjective morphism that is an isomorphism for , so that the sets have no quantum symmetries.

### 2.4 Quantum Symmetries of Graphs

#### Definition 2.4 (Banica after Bichon)

Let be a graph on vertices without multiple edges not loops, and let be its adjacency matrix. The *quantum automorphism group* is defined as the compact matrix group with -algebra:

For me, not the authors, this requires some work. Banica says that is a *Hopf ideal*.

A *Hopf ideal *is a closed *-ideal such that

.

Classically, the set of functions vanishing on a distinguished subgroup. The quotient map is , and if their difference is in , that is if they agree on the subgroup.

The classical version of ends up as … the group in question the classical . In that sense perhaps might be better given as .

Easiest thing first, is it a *-ideal? Well, take the adjoint of and so is *closed. Suppose and … I cannot prove that this is an ideal! But time to move on.

### 3. The Existence of Two Cherries

In this section the authors will show that almost all trees have two cherries. Definition 3.4 says with clarity what a *cherry *is, here I use an image [credit: www-math.ucdenver.edu]:

*(3,5,4) and (7,9,8) are cherries*

#### Remark 3.2

If a graph admits a cherry , the transposition is a non-trivial automorphism.

#### Theorem 3.3 (Erdos, Réyni)

*Almost all trees contains at least one cherry in the sense that*

,

*where is #cherries in a (uniformly chosen) random tree on vertices.*

#### Corollary 4.3

*Almost all trees have symmetry. *

The paper claims in fact that almost all trees have at least two cherries. This will allow some action to take place. This can be seen in this paper which is the next point of interest.

## Recent Comments