Combinatorial Aspects of Clifford Algebra
Lars Svensson and Ambjörn Naeve
Dept. of Mathematics / Dept. of Numerical Analysis and Computing Science
Royal Institute of Technology
100 44 Stockholm
Sweden
[larss@math.kth.se / amb@nada.kth.se]
Abstract
In this paper we focus on some combinatorial aspects of Clifford algebra and show
how this algebra allows combinatorial theorems - like e.g. Sperner’s lemma - to be
“built into the algebraic background”, and become part of the structure of the algebra
itself. We also give an example of how cumbersome combinatorial proofs can be
“mechanized” and carried out in a purely computational manner.
Introduction
In his monumental and groundbreaking Ausdehnungslehre [4] from 1844, Herman
Grassmann set out to build an “algebra for everything” - an algebra which he illustrated by various geometric examples1. Being both far ahead of his time and on the
outside of the academic mathematical community, Grassmann’s ideas received little
attention during his own lifetime. However, during the last years of Grassmann’s life
(late 1870s), his ideas were taken up by William Clifford [2], [3], who developed the
algebra that today bears his name. In more recent times mathematicans and physicists
- notably Marcel Riesz [8], Gian-Carlo Rota [1], [9], and David Hestenes [5], [6], [7] have rediscovered and continued this development. Hestenes has focused on the geometric aspects of Clifford algebra - introducing the synonymous term geometric algebra - and shown how it provides a powerful geometric language that serves as a bridge
between mathematics and physics.
In this paper we aim to connect with Grassmann’s original ideas, and follow Rota [9]
by focusing on the purely combinatorial aspects of Clifford algebra.
Some notation and background
Since we are only interested in combinatorial and algebraic aspects of Clifford algebra, we will allow our scalars to lie in an arbitrary commutative ring R with unit element. We will also take a slightly different point of view regarding the Clifford
algebra and its interpretation.
Let X be a finite set which is totally ordered, i.e. X = { x 1, …, x n } , where
x 1 < x 2 < … < x n . We will identify the k-base-blades x 1' x 2' …x k' with the k-subsets
{ x 1', …, x k' } and denote the pseudoscalar x 1 x 2 …x n by X. The ring-unit 1 is identified with the empty set ∅ . We will view the Clifford algebra Cl(X) as the free R-module generated by the power-set ℘ ( X ) of all subsets of X, i.e. Cl ( X ) = ⊕ R .
℘(X)
Note that if X → Y is a bijection, then Cl(X) is isomorphic to Cl(Y).
1. For instance, the today familiar concept of vector is an example of what Grassmann termed
evolution. See [4], p. 46.
1
2
We will always assume that x = 1 , ∀x ∈ X . The set of k-vectors is denoted by
Clk(X). We observe that every bilinear map Cl ( X ) × Cl ( X ) → Cl ( X ) is uniquely
determined by its values on ℘ ( X ) × ℘ ( X ) . Moreover, if P is a proposition, we will
use (P) to denote 1 or 0 depending on whether P is true or false.
Let A ,B ∈ ℘ ( X ) . The following notation is used below:
Geometric product: AB = εA ∆B ,
where ε = ± 1 and ∆ denotes symmetric difference.
Outer product: A ∧ B = ( A ∩ B = ∅ ) AB .
Left inner product: A ∠ B = ( A ⊆ B )AB .
Scalar product: A * B = ( A=B )AB .
A
ε
Reverse: A† = ( – 1 ) A , where ε = .
2
~
–1
Complement: A = AX .
All of these definitions are extended to Cl(X) by linearity.
Below we will need the following simple
Lemma 1:
x ∠ ( y ∠ z) = ( x ∧ y ) ∠ z , ∀x, y, z ∈ Cl ( X ) .
Proof:
By linearity, it is enough to verify this for base-blades, i.e. for x = A ,
y = B, z = C where A, B, C ∈ ℘ ( X ) . This is a simple exercise (using e.g. Venn
diagrams), which we leave to the reader.
If Cl(X) and Cl(Y) are two Clifford algebras over the same ring, we call a linear and
grade preserving map T : Cl ( X ) → Cl ( Y ) an outermorphism if T ( 1 ) = 1 and
T ( x ∧ y ) = Tx ∧ Ty , ∀x, y ∈ Cl ( X ) . The obvious fact that an outermorphism on
Cl(X) is uniquely determined by its values on X will be implicitely used below in all
our definitions of various outermorphisms.
~
~
–1
The dual T of T is defined by T ( x ) = T ( xX )X .
We will also make use of the following fundamental theorem, due to David Hestenes1:
Prop. 1:
If T : Cl ( X ) → Cl ( Y ) is an outermorphism with adjoint T* , then
x ∠ Ty = T ( T*x ∠ y ) .
1. Hestenes & Sobczyk [7], p.69, (1.14).
2
Clifford algebras and graphs
Let G = ( V, E ) be a (undirected) graph with vertices V = { v 1, …, v n } and edges
E = { e 1, …, e m } . Choose a total ordering on V according to the given enumeration.
This induces a direction on G, by letting an edge e ∈ E that connects the vertices
v, v' ∈ V be directed from v to v' if v < v' .
2
2
We now form the two Clifford algebras Cl(V) and Cl(E) with v i = e j = 1 , and
for v, v' ∈ V , e ∈ E , we define the mapping g : ( V ∪ E ) × V → { – 1, 0, 1 } by
g ( v, v' ) = ( v and v' are neighbors ), and
g ( e, v ) = ( e ends at v ) - ( e starts from v ) .
Moreover, we define the following outermorphisms:
Cl(V)
v
Α
Cl(V)
Σ g(v, v′) v′ , for v∈V.
v′∈V
Cl(V)
v
Cl(E)
e
δ
Cl(V)
val(v) v , where val(v) is the valence of v.
∂
Cl(V)
Σ g(e, v) v , for e ∈E.
v∈V
Cl(V)
v
∂∗
Cl(E)
Σ g(e, v) e , for v ∈V.
e∈E
Since ( ∂e ) * v = Σ g( e, v' )v' * v = g ( e, v ) ,
v' ∈V
and e * ∂*( v ) = e * Σ g( e', v )e' = g ( e, v ) ,
e' ∈E
we see that ∂* is the adjoint of ∂.
The Laplacian of the graph G is defined as the outermorphism
∆ = ∂ ° ∂* : Cl ( V ) → Cl ( V ) .
We immediately obtain the following relation between ∆ , δ and A :
Prop. 2:
∆ = δ–A.
Proof:
A direct computation gives
∆ ( v ) = ∂ ° ∂*( v ) = ∂ Σ g( e, v )e = Σ Σ g ( e, v )g( e, v' )v' =
e ∈E
e ∈E v'∈V
3
= eΣ, v' ( g ( e, v )g ( e, v' ) = 1 ) v' _ eΣ, v' ( g ( e, v )g ( e, v' ) = – 1 ) v'
= val ( v )v – Σ g( v, v' )v'
v'
= δ(v) – A(v) .
One also easily shows the following1
Prop. 3:
tr A = 0 , tr ∧2 A = E , tr ∧3 A = ( – 2 ) ( # 3-cycles in G ) .
Moreover, there is the following useful
If the graph G = (V, E) contains a cycle, then ∂E = 0 .
Lemma 2:
Proof:
We identify E with e 1 e 2 …e m . Assume that G contains the cycle
v 1, v 2, …, v k, v 1 . But v k – v 1 = ( v k – v k – 1 ) + ( v k – 1 – v k – 2 ) + … + ( v 2 – v 1 ) .
Therefore ( v 2 – v 1 ) ∧ … ∧ ( v k – v k – 1 ) ∧ ( v k – v 1 ) = 0 , which means that
∂E = ∂ ( e 1 e 2 …e m ) = ∂ ( e 1 ∧ e 2 ∧ … ∧ e m ) contains a Λ-factor 0. Hence ∂E = 0 .
The converse of lemma 2 is contained in
Let G = (V, E) be a graph with V = n, E = m and write
V = v 1 v 2 …v n . If F is a (n-1)-subset of E such that the edges of F
Lemma 3:
form a tree (i.e. no cycles), then we have v ∧ ( ∂F ) = ± V , ∀v ∈ V ,
where the sign is independent of v.
Proof:
To show that v ∧ ( ∂F ) is independent of v, it is enough to show that
v' ∧ ( ∂F ) = v'' ∧ ( ∂F ) if v' and v'' are connected by an edge - say f - in F. But if
∂f = v'' – v' , it follows that ( v'' – v' ) ∧ ( ∂F ) = ( ∂f ) ∧ ( ∂F ) = ∂ ( f ∧ F ) = 0 .
Moreover, since F is a tree and F = n – 1 , F is a spanning tree for G and hence contains all the vertices of V. Let v have neighbors v', v'', … . Then we have
v ∧ ( v' – v ) ∧ ( v'' – v ) ∧ … = v ∧ v' ∧ v'' ∧ … and hence, by applying the same
argument to v', v'', … we get v ∧ ( ∂F ) = ± V , which finishes the proof.
We note in general that if F ⊆ E , then two vertices v' and v'' are in the same component of F if and only if ( v'' – v' ) ∧ ( ∂F ) = 0 .
We are now ready to prove a well-known and nice result about the number of spanning trees in a given graph. Our proof shows the computational power inherent in
applying Clifford algebra to graph theory.
Prop. 4:
If ∆ = ∂ ° ∂* : Cl(V) → Cl(V) is the Laplacian outermorphism, then
∆
adj
= Nℑ , where N is the number of spanning trees in G, and
ℑ : Cl ( V ) → Cl ( V ) is given by ℑ ( v ) = Σ v' = s , ∀v ∈ V .
v' ∈V
1. the proof of which is left to the reader.
4
From the definition of the adjoint, we have ∆
Proof:
∆
adj
(y) = Σ (x*(∆
x∈V
adj
adj
˜ = ∆˜ . Moreover,
= ∆*
y ) ) x , ∀y ∈ V . Hence we must show that x * ( ∆
adj
y) = N ,
∀x, y ∈ V .
Applying the definitions, we get
x*(∆
adj
y ) = x * ( ∆˜ y ) = x * ( ∆ ( yV )V† ) = 〈 x ( ∆ ( yV )V† )〉 0 . Now, since ∆ is grade-
preserving, x∆ ( yV ) is a pseudoscalar and thus commutes with V† . Hence we have
x * (∆
adj
y ) = 〈 x∆ ( yV )V†〉 0 = 〈 V† x∆ ( yV )〉 0 = ( V† x ) * ( ∆ ( yV ) )
= ( V† x ) * ∂ ( ∂*( yV ) ) = ∂*( V† x ) * ∂*( yV ) .
Now, V† x and yV are ( V – 1 ) -vectors in Cl(V), and since ∂ and ∂* are grade-preserving, ∂*( V† x ) and ∂*( yV ) are ( V – 1 ) -vectors in Cl(E). Expanding these vectors, and summing over all ( V – 1 ) -vectors F ⊆ E , we get
x*(∆
adj
y ) = ∂*( V† x ) * ∂*( yV ) = ( Σ ( ∂*( V† x ) *F ) F† ) * ( Σ ( ∂*( yV) *F† ) F )
F
F
= Σ ( ( V† x ) * ∂F ) ( ( yV) *∂F† ) = Σ ( ( xV ) * ∂F† ) ( ( yV) *∂F† )
F
F
= Σ ( ( xV ) * ∂F ) ( ( yV) *∂F ) = Σ ( ∂F ∠ ( x ∠ V ) ) ( ∂F ∠ ( y ∠V ) ) .
F
F
Applying lemma 1, we get
x*(∆
adj
y ) = Σ ( ∂F ∧ x )V ( ∂F ∧ y )V = V Σ ( x ∧ ∂F) ( y ∧ ∂F) .
2
F
F
Now, by lemma 2, ∂F = 0 unless F is a spanning tree, and, by lemma 3, in this case
we have x ∧ ∂F = y ∧ ∂F = ± V . Hence, remembering that N denotes the number of
spanning trees in G, we have x * ( ∆
adj
y ) = V Σ ( x ∧ ∂F)
2
F ∈ SpT
2
4
= V N = N , which
finishes the proof.
Combinatorial algebraic topology
Let V denote an arbitrary finite set, and let A = { a 1, …, a n } . Let Z be the ring of
scalars and consider the two Clifford algebras Cl(V) and Cl(A) over Z with
v 2 = 1, v ∈ V . and a 2i = 1, a i ∈ A .
A labeling of the elements of V by the elements of A is a mapping λ : V → A.
Any such labeling is naturally extended to an outermorphism λ: Cl(V) → Cl(A).
Define the outermorphisms ∂ V : Cl(V) → Cl(V) and ∂ A : Cl(A) → Cl(A) by
∂ V ( x ) = ( Σ v ) ∠ x and ∂ A ( y ) = ( Σ a ) ∠ y respectively.
v∈V
a∈A
5
We now define the content mapping Cont and the index mapping Ind by
Cln (V)
x
Cln(V)
x
Cont
Z
A * λ(x)
†
Ind
Z
α°λ° ∂ V (x)
where
Cl(A)
y
α
Note that α ( Cl
Prop. 5:
Proof:
Cl(A)
(an-1 ... a1) ∠ y .
n–1
( A ) ) ⊆ Z . We now have the following
Ind = α ° λ ° ∂ V = α ° ∂ A° λ = ( – 1 )
n–1
Cont .
Consider the n-blade x = v 1 v 2 …v n in Cl(V) and let vˆ denote deletion of
v . We now have
α ° λ ° ∂ V ( x ) = α ° λ ( ( v 1 + … + v n ) ∠ ( v 1 …v n ) ) = α ° λ ( Σ ( – 1 )
j
j–1
ˆ
= α ( Σ ( –1 ) λ ( v ) ∧ … ∧ λ ( v ) ∧ … ∧ λ ( v ) )
1
= Σ ( –1 )
j–1
j
j–1
v 1 …vˆj …v n )
n
( a n – 1 …a 1 ) ∠ ( λ ( v 1 ) ∧ … ∧ λ (ˆv j ) ∧ … ∧ λ ( v n ) ) .
Moreover, we have
α ° ∂ A ° λ ( x ) = ( a n – 1 …a 1 ) ∠ ( ( a 1 + … + a n ) ∠ ( λ ( v 1 ) ∧ … ∧ λ ( v n ) ) )
= ( ( a n – 1 …a 1 ) ∧ ( a 1 + … + a n ) ) ∠ ( λ ( v 1 ) ∧ … ∧ λ ( v n ) )
= ( a n – 1 …a 1 a n ) * λ ( x ) = ( – 1 )
n–1
Cont ( x ) .
We must consider the following two different possibilities:
1) If λ is injective on v 1, …, v n , we can WLOG1 assume that λ ( v i ) = a i , ∀i . We
then have
α ° λ ° ∂V ( x ) = Σ ( –1 )
= ( –1 )
Cont ( x ) = ( – 1 )
j–1
( a n – 1 …a 1 ) ∠ ( λ ( v 1 ) ∧ … ∧ λ (ˆv j ) ∧ … ∧ λ ( v n ) )
n–1
n–1
( a n – 1 …a 1 ) ∠ ( a 1 ∧ … ∧ a n – 1 ) = ( – 1 )
( a n a n – 1 …a 1 ) * ( a 1 …a n ) = ( – 1 )
n–1
n–1
,
.
2) If λ is not injective on v 1, …, v n , we can WLOG assume that λ ( v 1 ) = λ ( v 2 ) . In
this case we get
1. Without Loss Of Generality.
6
α ° λ ° ∂V ( x ) = Σ ( –1 )
j–1
( a n – 1 …a 1 ) ∠ ( λ ( v 1 ) ∧ … ∧ λ (ˆv j ) ∧ … ∧ λ ( v n ) )
= ( a n – 1 …a 1 ) ∠ ( λ ( v 2 ) ∧ λ ( v 3 ) ∧ … ∧ λ ( v n ) )
– ( a n – 1 …a 1 ) ∠ ( λ ( v 1 ) ∧ λ ( v 3 ) ∧ … ∧ λ ( v n ) )
= 0 ,
Cont ( x ) = ( a n …a 1 ) * ( λ ( v 1 ) ∧ λ ( v 2 ) ∧ … ∧ λ ( v n ) ) = 0 .
This proves the proposition.
Hence we have the following commutative diagram:
Cln (V)
Cont
Cln-1 (V)
λ
Cln (A)
Z
∂V
λ
α
Ind
∂A
Cln-1 (A)
Cln-1 (A)
α
Z
(-1)n-1id
Remark: From this index theorem there follows immediately several basic results in
combinatorial topology, notably the so called Sperner’s lemma.
Koszul complexes
We like to finish by presenting an example from algebra where we hope to illustrate
that it may sometimes be a good idea not to restrict the scalars of the Clifford algebra
to only R or C, but to allow them to lie in arbitrary commutative rings with unit.
Let I and J be two ideals in such a ring R generated by { x 1, …, x n } and { y 1, …, y m }
respectively. We also assume that J ⊆ I , i.e. that y j = Σ c ji x i for some c ji in R.
Below we are going to use Clifford algebra to define the famous Koszul complexes
K ( x 1, …, x n ) and K ( y 1, …, y m ) , which have a lot of applications in algebra and differential topology.
We will also give an almost trivial proof of the well-known fact that there exists a
chain-complex morphism K ( y 1, …, y m ) → K ( x 1, …, x n ) , which is an isomorphism
of chain-complexes if I = J .
We start by introducing sets E = { e 1, …, e n } and F = { f 1, …, f m } and their associated Clifford Algebras Cl(E) and Cl(F) over the ring R. We may assume that
2
2
e i = f j = 1 , ∀i, j .
Let T : Cl ( F ) → Cl ( E ) be the outermorphism defined by Tf j = Σ c ji e i , and denote
by T * : Cl ( E ) → Cl ( F ) the outermorphism defined by T*e i = Σ c ji f j .
Then we have T*e i * f j = c ji = e i * Tf j , so T * is the adjoint of T . Moreover, if
e = x 1 e 1 + …x n e n and f = y 1 f 1 + …y m f m , we obtain T * e = f .
7
Let us introduce the two “boundary” mappings d e : Cl ( E ) → Cl ( E ) and
d f : Cl ( F ) → Cl ( F ) by d e ( x ) = e ∠ x , ∀x ∈ Cl ( E ) respectively d f ( y ) = f ∠ y ,
∀y ∈ Cl ( F ) . Then we have d e ° d e ( x ) = e ∠ ( e ∠ x) = ( e ∧ e ) ∠ x = 0 and similarly
2
2
for d f ° d f ( y ) , which means that d e = d f = 0 .
Hence the pairs ( Cl ( E ), d e ) and ( Cl ( F ), d f ) become two chain-complexes, which by
definition are the Koszul complexes - usually denoted K ( x 1, …, x n ) respectively
K ( y 1, …, y m ) .
Finally, we prove that T is a morphism of chain-complexes. By definition this means
that the diagram below commutes.
Cl(F)
df
T
Cl(F)
T
Cl(E)
de
Cl(E)
But if y ∈ Cl ( F ) , we have by Hestenes’ theorem (proposition 1):
( d e ° T ) y = e ∠ Ty = T ( T *e ∠ y) = T ( f ∠ y ) = (T ° d f ) y , which shows the commutativity. Moreover, if det ( c ji ) is invertible in R, then T is an isomorphism of the
Koszul complexes.
Conclusions and future work
In this paper we have given some hints as to the many possibilities that are inherent in
using generalized versions of Clifford algebra outside of the conventional domains such as e.g. geometry - where this algebra is usually applied. We hope that our choice
of examples, although few and simple - have convinced the reader that it is a fruitful
idea to use the computational power of Clifford algebra also in fields like combinatorics and algebra. In future papers we hope to give more substantial results that will
prove the strength of this approach.
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
Barabei, M. & Brini, A. & Rota, G.-C., On the Exterior Calculus of Invariant
Theory, Journal of Algebra, Vol. 96, pp.120-160, 1985.
Clifford, W. K., Applications of Grassmann’s extensive algebra, American
Journal of Mathematics, Vol. I, pp. 350-358, 1878.
Clifford, W. K., Mathematical Papers, (ed. Tucker), Macmillan, London, 1882.
Grassmann, H., Die Lineale Ausdehnungslehre – ein neuer Zweig der
Mathematik, Leipzig, 1844. (Translated to English by Lloyd C. Kannenberg, A
New Branch of Mathematics, Open Court, 1995).
Hestenes, D., Space-Time Algebra, Gordon & Breach, New York, 1966.
Hestenes, D., New Foundations For Classical Mechanics, Kluwer Academic
Publishers, Dordrecht, The Netherlands, 1993 (1986).
Hestenes, D. & Sobczyk, G., Clifford Algebra to Geometric Calculus: A
Unified Language for Mathematics and Physics, D. Reidel Publishing
Company, Dordrecht, The Netherlands, 1992 (1984).
8
[8]
[9]
Riesz, M., Clifford Numbers and Spinors, Lecture Series No. 38, The Institute
for Fluid Dynamics and Applied Mathematics, University of Maryland, 1958.
Rota, G.-C. & Stein, J., Applications of Cayley algebras, Teorie Combinatoire,
Tomo II, p. 71, Accademia Nazionale Dei Lincei, Roma, 1976.
9
View publication stats