CS359G Lecture 5: Characters of Abelian Groups

In which we introduce the theory of characters of finite abelian groups, which we will use to compute eigenvalues and eigenvectors of graphs such as the cycle and the hypercube

In the past lectures we have established the Cheeger inequalities

$\displaystyle \frac{1-\lambda_2}{2} \leq h(G) \leq \sqrt{2 \cdot (1-\lambda_2)}$

and the fact that the SpectralPartitioning algorithm, when given an eigenvector of ${\lambda_2}$ , finds a cut ${(S,V-S)}$ such that ${h(S) \leq 2\sqrt{h(G)}}$ . In the next lecture we will show that all such results are tight, up to constants, by proving that

The dimension- ${d}$ hypercube ${H_d}$ has ${\lambda_2 = 1- \frac 2d}$ and ${h(H_d) = \frac 1d}$ , giving an infinite family of graphs for which ${\frac{1-\lambda_2}{2} = h(G)}$ , showing that the first Cheeger inequality is exactly tight.
The ${n}$ -cycle ${C_n}$ has ${\lambda_2 = 1 - O(n^{-2})}$ , and ${h(C_n) = \frac 2n}$ , giving an infinite family of graphs for which ${h(G) = \Omega(\sqrt{1-\lambda_2})}$ , showing that the second Cheeger inequality is tight up to a constant.
There is an eigenvector of the 2nd eigenvalue of the hypercube ${H_d}$ , such that the SpectralPartitioning algorithm, given such a vector, outputs a cut ${(S,V-S)}$ of expansion ${h(S) = \Omega(1/\sqrt{d})}$ , showing that the analysis of the SpectralPartitioning algorithm is tight up to a constant.

In this lecture we will develop some theoretical machinery to find the eigenvalues and eigenvectors of Cayley graphs of finite Abelian groups, a class of graphs that includes the cycle and the hypercube, among several other interesting examples. This theory will also be useful later, as a starting point to talk about algebraic constructions of expanders.

For readers familiar with the Fourier analysis of Boolean functions, or the discrete Fourier analysis of functions ${f: {\mathbb Z}/N{\mathbb Z} \rightarrow {\mathbb C}}$ , or the standard Fourier analysis of periodic real functions, this theory will give a more general, and hopefully interesting, way to look at what they already know.

1. Characters

We will use additive notation for groups, so, if ${\Gamma}$ is a group, its unit will be denoted by ${0}$ , its group operation by ${+}$ , and the inverse of element ${a}$ by ${-a}$ . Unless, noted otherwise, however, the definitions and results apply to non-abelian groups as well.

Definition 1 (Character) Let ${\Gamma}$ be a group (we will also use ${\Gamma}$ to refer to the set of group elements). A function ${f: \Gamma \rightarrow {\mathbb C}}$ is a character of ${\Gamma}$ if

${f}$ is a group homomorphism of ${\Gamma}$ into the multiplicative group ${{\mathbb C} - \{0\}}$ .
for every ${x\in \Gamma}$ , ${|f(x)|=1}$

Though this definition might seem to not bear the slightest connection to our goals, the reader should hang on because we will see next time that finding the eigenvectors and eigenvalues of the cycle ${C_n}$ is immediate once we know the characters of the group ${{\mathbb Z} / n{\mathbb Z}}$ , and finding the eigenvectors and eigenvalues of the hypercube ${H_d}$ is immediate once we know the characters of the group ${({\mathbb Z}/2{\mathbb Z})^d}$ .

Remark 1 (About the Boundedness Condition) If ${\Gamma}$ is a finite group, and ${a}$ is any element, then

$\displaystyle \underbrace{a+\cdots+a}_{|\Gamma|\ {\rm times}}=0$

and so if ${f:\Gamma \rightarrow {\mathbb C}}$ is a group homomorphism then

$\displaystyle 1 = f(0) = f( \underbrace{a+\cdots+a}_{|\Gamma|\ {\rm times}} ) = f(a)^{|\Gamma|}$

and so ${f(a)}$ is a root of unity and, in particular, ${|f(a)|=1}$ . This means that, for finite groups, the second condition in the definition of character is redundant. In certain infinite groups, however, the second condition does not follow from the first, for example ${f: {\mathbb Z} \rightarrow {\mathbb C}}$ defined as ${f(n) = e^{n}}$ is a group homomorphism of ${({\mathbb Z}, +)}$ into ${({\mathbb C}-\{ 0\}, \cdot)}$ but it is not a character.

Just by looking at the definition, it might look like a finite group might have an infinite number of characters; the above remark, however, shows that a character of a finite group ${\Gamma}$ must map into ${|\Gamma|}$ -th roots of unity, of which there are only ${|\Gamma|}$ , showing a finite ${|\Gamma|^{|\Gamma|}}$ upper bound to the number of characters. Indeed, a much stronger upper bound holds, as we will prove next, after some preliminaries.

Lemma 2 If ${\Gamma}$ is finite and ${\chi}$ is a character that is not identically equal to 1, then ${\sum_{a\in \Gamma} \chi(a) = 0}$

Proof: Let ${b}$ be such that ${\chi(b)\neq 1}$ . Note that

$\displaystyle \chi(b) \cdot \sum_{a\in \Gamma} \chi(a) = \sum_{a\in \Gamma} \chi(b+a) = \sum_{a\in \Gamma} \chi(a)$

where we used the fact that the mapping ${a\rightarrow b+a}$ is a permutation. (We emphasize that even though we are using additive notation, the argument applies to non-abelian groups.) So we have

$\displaystyle (\chi(b) - 1) \cdot \sum_{a\in \Gamma} \chi(a) = 0$

and since we assumed ${\chi(b)\neq 1}$ , it must be ${\sum_{a\in \Gamma} \chi(a)=0}$ . $\Box$

If ${\Gamma}$ is finite, given two functions ${f,g : \Gamma \rightarrow {\mathbb C}}$ , define the inner product

$\displaystyle \langle f,g \rangle := \sum_{a\in \Gamma} f(a)g^*(a)$

Lemma 3 If ${\chi_1,\chi_2: \Gamma \rightarrow {\mathbb C}}$ are two different characters of a finite group ${\Gamma}$ , then

$\displaystyle \langle \chi_1,\chi_2 \rangle = 0$

We will prove Lemma 3 shortly, but before doing so we note that, for a finite group ${\Gamma}$ , the set of functions ${f: \Gamma \rightarrow {\mathbb C}}$ is a ${|\Gamma|}$ -dimensional vector space, and that Lemma 3 implies that characters are orthogonal with respect to an inner product, and so they are linearly independent. In particular, we have established the following fact:

Corollary 4 If ${\Gamma}$ is a finite group, then it has at most ${|\Gamma|}$ characters.

It remains to prove Lemma 3, which follows from the next two statements, whose proof is immediate from the definitions.

Fact 5 If ${\chi_1,\chi_2}$ are characters of a group ${\Gamma}$ , then the mapping ${x \rightarrow \chi_1(x) \cdot \chi_2(x)}$ is also a character.

Fact 6 If ${\chi}$ is a character of a group ${\Gamma}$ , then the mapping ${x \rightarrow \chi^*(x)}$ is also a character, and, for every ${x}$ , we have ${\chi(x) \cdot \chi^*(x) = 1}$ .

To complete the proof of Lemma 3, observe that:

the function ${\chi(x):= \chi_1(x)\cdot \chi_2^*(x)}$ is a character;
the assumption of the lemma is that there is an ${a}$ such that ${\chi_1(a)\neq \chi_2(a)}$ , and so, for the same element ${a}$ , ${\chi(a)= \chi_1(a) \cdot \chi^*_2(a) \neq \chi_2(a)\cdot \chi^*_2(a)=1}$
thus ${\chi}$ is a character that is not identically equal to 1, and so
$\displaystyle 0 = \sum_a \chi(a) = \langle \chi_1,\chi_2 \rangle$

Notice that, along the way, we have also proved the following fact:

Fact 7 If ${\Gamma}$ is a group, then the set of characters of ${\Gamma}$ is also a group, with respect to the group operation of pointwise multiplication. The unit of the group is the character mapping every element to 1, and the inverse of a character is the pointwise conjugate of the character.

The group of characters is called the Pontryagin dual of ${\Gamma}$ , and it is denoted by ${\hat \Gamma}$ .

We now come to the punchline of this discussion.

Theorem 8 If ${\Gamma}$ is a finite abelian group, then it has exactly ${|\Gamma|}$ characters.

Proof: We give a constructive proof. We know that every finite abelian group is isomorphic to a product of cyclic groups

$\displaystyle ({\mathbb Z} / n_1 {\mathbb Z}) \times ({\mathbb Z} / n_2 {\mathbb Z}) \times \cdots \times ({\mathbb Z} / n_k {\mathbb Z})$

so it will be enough to prove that

the cyclic group ${{\mathbb Z}/ n{\mathbb Z}}$ has ${n}$ characters;
if ${\Gamma_1}$ and ${\Gamma_2}$ are finite abelian groups with ${|\Gamma_1|}$ and ${|\Gamma_2|}$ characters, respectively, then their product has ${|\Gamma_1| \cdot |\Gamma_2|}$ characters.

For the first claim, consider, for every ${r\in \{ 0,\ldots,n-1\}}$ , the function

$\displaystyle \chi_r (x) := e^{2\pi i r x /n}$

Each such function is clearly a character ( ${0}$ maps to 1, ${\chi_r(-x)}$ is the multiplicative inverse of ${\chi_r(x)}$ , and, recalling that ${e^{2\pi i k } =1}$ for every integer ${k}$ , we also have ${\chi_r(a + b \bmod n) = e^{2\pi i r a /n} \cdot e^{2\pi i r b/n}}$ ), and the values of ${\chi_r(1)}$ are different for different values of ${r}$ , so we get ${n}$ distinct characters. This shows that ${{\mathbb Z} / n{\mathbb Z}}$ has at least ${n}$ characters, and we already established that it can have at most ${n}$ characters.

For the second claim, note that if ${\chi_1}$ is a character of ${\Gamma_1}$ and ${\chi_2}$ is a character of ${\Gamma_2}$ , then it is easy to verify that the mapping ${(x,y) \rightarrow \chi_1(x) \cdot \chi_2(y)}$ is a character of ${\Gamma_1 \times \Gamma_2}$ . Furthermore, if ${(\chi_1,\chi_2)}$ and ${(\chi'_1,\chi'_2)}$ are two distinct pairs of characters, then the mappings ${\chi(x,y):= \chi_1(x)\cdot \chi_2(y)}$ and ${\chi'(x,y):= \chi'_1(x)\cdot \chi'_2(y)}$ are two distinct characters of ${\Gamma_1\times \Gamma_2}$ , because we either have an ${a}$ such that ${\chi_1(a) \neq \chi'_1(a)}$ , in which case ${\chi(a,0) \neq \chi'(a,0)}$ , or we have a ${b}$ such that ${\chi_2(b) \neq \chi'_2(b)}$ , in which case ${\chi(0,b) \neq \chi'(0,b)}$ . This shows that ${\Gamma_1\times \Gamma_2}$ has at least ${|\Gamma_1| \cdot |\Gamma_2|}$ characters, and we have already established that it can have at most that many $\Box$

This means that the characters of a finite abelian group ${\Gamma}$ form an orthogonal basis for the set of all functions ${f: \Gamma \rightarrow {\mathbb C}}$ , so that any such function can be written as a linear combination

$\displaystyle f(x) = \sum_{\chi} \hat f(\chi) \cdot \chi(x)$

For every character ${\chi}$ , ${\langle \chi,\chi \rangle = |\Gamma|}$ , and so the characters are actually a scaled-up orthonormal basis, and the coefficients can be computed as

$\displaystyle \hat f(\chi) = \frac {1}{|\Gamma|} \sum_x f(x) \chi^*(x)$

Example 1 (The Boolean Cube) Consider the case ${\Gamma = ({\mathbb Z}/ 2{\mathbb Z})^n}$ , that is the group elements are ${\{ 0,1 \}^n}$ , and the operation is bitwise xor. Then there is a character for every bit-vector ${(r_1,\ldots,r_n)}$ , which is the function

$\displaystyle \chi_{r_1,\ldots,r_n} (x_1,\ldots,x_n) := (-1)^{r_1x_1 + \cdots r_nx_n}$

Every boolean function ${f: \{ 0,1 \}^n \rightarrow {\mathbb C}}$ can thus be written as

$\displaystyle f(x) = \sum_{r\in \{ 0,1 \}^n} \hat f(r) \cdot (-1)^{\sum_i r_i x_i}$

where

$\displaystyle \hat f(r) = \frac 1 {2^n} \sum_{x\in \{ 0,1 \}^n} f(x) \cdot (-1)^{\sum_i r_i x_i}$

which is the boolean Fourier transform.

Example 2 (The Cyclic Group) To work out another example, consider the case ${\Gamma = {\mathbb Z}/N{\mathbb Z}}$ . Then every function ${f: \{ 0,\ldots,N-1\} \rightarrow {\mathbb C}}$ can be written as

$\displaystyle f(x) = \sum_{r\in \{0,\ldots,N-1 \}} \hat f(r) e^{2\pi i r x / n}$

where

$\displaystyle \hat f(x) = \frac 1 N \sum_x f(x) e^{-2\pi i r x /n }$

which is the discrete Fourier transform.

2. A Look Beyond

Why is the term ”Fourier transform” used in this context? We will sketch an answer to this question, although what we say from this point on is not needed for our goal of finding the eigenvalues and eigenvectors of the cycle and the hypercube.

The point is that it is possible to set up a definitional framework that unifies both what we did in the previous section with finite Abelian groups, and the Fourier series and Fourier transforms of real and complex functions.

In the discussion of the previous section, we started to restrict ourselves to finite groups ${\Gamma}$ when we defined an inner product among functions ${f: \Gamma \rightarrow {\mathbb C}}$ .

If ${\Gamma}$ is an infinite abelian group, we can still define an inner product among functions ${f: \Gamma \rightarrow {\mathbb C}}$ , but we will need to define a measure over ${\Gamma}$ and restrict ourselves in the choice of functions. A measure ${\mu}$ over (a sigma-algebra of subsets of) ${\Gamma}$ is a Haar measure if, for every measurable subset ${A}$ and element ${a}$ we have ${\mu(a+A) = \mu(A)}$ , where ${a+A= \{ a+b : b\in A \}}$ . For example, if ${\Gamma}$ is finite, ${\mu(A) = |A|}$ is a Haar measure. If ${\Gamma = ({\mathbb Z},+)}$ , then ${\mu(A) = |A|}$ is also a Haar measure (it is ok for a measure to be infinite for some sets), and if ${\Gamma = ({\mathbb R},+)}$ then the Lebesgue measure is a Haar measure. When a Haar measure exists, it is more or less unique up to multiplicative scaling. All locally compact topological abelian groups have a Haar measure, a very large class of abelian groups, that include all finite ones, ${({\mathbb Z},+)}$ , ${({\mathbb R},+)}$ , and so on.

Once we have a Haar measure ${\mu}$ over ${\Gamma}$ , and we have defined an integral for functions ${f: \Gamma \rightarrow {\mathbb C}}$ , we say that a function is an element of ${L^2(\Gamma)}$ if

$\displaystyle \int_{\Gamma} |f(x)|^2 d\mu(x) < \infty$

For example, if ${\Gamma}$ is finite, then all functions ${f:\Gamma \rightarrow {\mathbb C}}$ are in ${L^2(\Gamma)}$ , and a function ${f: {\mathbb Z} \rightarrow {\mathbb C}}$ is in ${L^2({\mathbb Z})}$ if the series ${\sum_{n\in {\mathbb Z}} |f(n)|^2}$ converges.

If ${f,g \in L^2(\Gamma)}$ , we can define their inner product

$\displaystyle \langle f,g \rangle := \int_{\Gamma} f(x)g^*(x) d\mu(x)$

and use Cauchy-Schwarz to see that ${|\langle f,g \rangle | < \infty}$ .

Now we can repeat the proof of Lemma 3 that ${\langle \chi_1,\chi_2 \rangle = 0}$ for two different characters, and the only step of the proof that we need to verify for infinite groups is an analog of Lemma 2, that is we need to prove that if ${\chi}$ is a character that is not always equal to 1, then

$\displaystyle \int_{\Gamma} \chi(x) d\mu(x) = 0$

and the same proof as in Lemma 2 works, with the key step being that, for every group element ${a}$ ,

$\displaystyle \int_{\Gamma} \chi(x+a) d\mu(x)=\int_{\Gamma} \chi(x) d\mu(x)$

because of the property of ${\mu}$ being a Haar measure.

We don’t have an analogous result to Theorem 8 showing that ${\Gamma}$ and ${\hat \Gamma}$ are isomorphic, however it is possible to show that ${\hat \Gamma}$ itself has a Haar measure ${\hat \mu}$ , that the dual of ${\hat \Gamma}$ is isomorphic to ${\Gamma}$ , and that if ${f: \Gamma \rightarrow {\mathbb C}}$ is continuous, then it can be written as the “linear combination”

$\displaystyle f(x) = \int_{\hat \Gamma} \hat f(\chi) \chi(x) d\hat \mu (x)$

where

$\displaystyle \hat f(\chi) = \int_{\Gamma} f(x) \chi^*(x) d \mu(x)$

In the finite case, the examples that we developed before correspond to setting ${\mu(A) := |A|/|\Gamma|}$ and ${\hat\mu(A) = |A|}$ .

Example 3 (Fourier Series) The set of characters of the group ${[0,1)}$ with the operation of addition modulo 1 is isomorphic to ${{\mathbb Z}}$ , because for every integer ${n}$ we can define the function ${\chi_n: [0,1) \rightarrow {\mathbb C}}$

$\displaystyle \chi_n(x) := e^{2\pi i x n}$

and it can be shown that there are no other characters. We thus have the Fourier series for continuous functions ${f: [0,1) \rightarrow {\mathbb C}}$ ,

$\displaystyle f(x) = \sum_{n \in {\mathbb Z}} \hat f(n) e^{2\pi i xn }$

where

$\displaystyle \hat f(n) = \int_0^1 f(x) e^{-2\pi i xn } dx$

6 thoughts on “CS359G Lecture 5: Characters of Abelian Groups”

Pingback: Tweets that mention CS359G Lecture 5: Characters of Abelian Groups « in theory -- Topsy.com
Tyson Williams on January 28, 2011 at 6:15 am said:

At the end of the proof of Lemma 2, you are missing “= 0”.
Marco on January 29, 2011 at 1:17 pm said:

Thank you for the notes Prof. Trevisan! A couple of typo corrections:
– Corollary 2 “it as” -> “it has”
– In the proof of Lemma 3 the definition of X is missing an “(x)” at the end
– In property two 2 of the proof of Thm 8 there is a bar missing in |\Gamma_2|
luca on January 29, 2011 at 1:38 pm said:

thanks for the corrections!
Pingback: Answering my own question on the Fourier Series | cartesian product
Pingback: The expansion of the Payley graph | in theory

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Cancel

Connecting to %s

in theory

"Marge, I agree with you – in theory. In theory, communism works. In theory." — Homer Simpson

CS359G Lecture 5: Characters of Abelian Groups

6 thoughts on “CS359G Lecture 5: Characters of Abelian Groups”

Leave a Reply

Share this:

Like this:

Related

6 thoughts on “CS359G Lecture 5: Characters of Abelian Groups”

Leave a Reply