In [1]:
import numpy as np
%matplotlib inline
import matplotlib.pyplot as plt
import seaborn as sns
In discrete mathematics a Graph is a set of vertices or nodes that are connected to each other by edges or lines. If those edges don't have directionality, the graph is said to be undirected. Graphs are used to model social and communications networks (Twitter, Facebook, Internet) as well as natural systems such as molecules.
A Complete Graph, $K_n$ on $n$ nodes has an edge that connects each node to every other node.
Here is $K_5$:
In [2]:
import networkx as nx
K_5=nx.complete_graph(5)
nx.draw(K_5)
The Laplacian Matrix is a matrix that is extremely important in graph theory and numerical analysis. It is defined as $L=D-A$. Where $D$ is the degree matrix and $A$ is the adjecency matrix. For the purpose of this problem you don't need to understand the details of these matrices, although their definitions are relatively simple.
The degree matrix for $K_n$ is an $n \times n$ diagonal matrix with the value $n-1$ along the diagonal and zeros everywhere else. Write a function to compute the degree matrix for $K_n$ using NumPy.
In [44]:
def complete_deg(n):
"""Return the integer valued degree matrix D for the complete graph K_n."""
f=np.zeros((n,n), dtype=int) #creates integer matrix of size nxn
t=np.diag(np.diag(f)+(n-1)) #makes the diagonal n-1 and zeros elsewhere
return t
In [45]:
D = complete_deg(5)
assert D.shape==(5,5)
assert D.dtype==np.dtype(int)
assert np.all(D.diagonal()==4*np.ones(5))
assert np.all(D-np.diag(D.diagonal())==np.zeros((5,5),dtype=int))
The adjacency matrix for $K_n$ is an $n \times n$ matrix with zeros along the diagonal and ones everywhere else. Write a function to compute the adjacency matrix for $K_n$ using NumPy.
In [64]:
def complete_adj(n):
"""Return the integer valued adjacency matrix A for the complete graph K_n."""
x=np.zeros((n,n), dtype=int) #creates integer matrix of size nxn
o=np.ones((n,n), dtype=int) #makes the diagonal 0 and ones elsewhere
return o+np.diag(np.diag(x)+-1)
In [65]:
A = complete_adj(5)
assert A.shape==(5,5)
assert A.dtype==np.dtype(int)
assert np.all(A+np.eye(5,dtype=int)==np.ones((5,5),dtype=int))
Use NumPy to explore the eigenvalues or spectrum of the Laplacian L of $K_n$. What patterns do you notice as $n$ changes? Create a conjecture about the general Laplace spectrum of $K_n$.
In [75]:
d=complete_deg(5) #calling function
a=complete_adj(5) #calling function
L=d-a #finding difference
np.linalg.eigvals(L) #eigenvalue answer
Out[75]:
As the value of n changes, there is a common theme of the value of n occurs n-1 times and there is one zero in the eigenvalue array.