The determinant and the permanent of a matrix are central characters in an endeavour to bring the powerful weapons of modern geometry to a battle in the epic war of computer science: the P vs. NP problem.
JM Landsberg has recently written a wonderful introduction to geometric complexity theory which is how the corresponding research field is called. This has inspired me to borrow some of it and write about the permanent and the determinant of a matrix.
In linear algebra, the determinant is a value associated to each square matrix. It has many particularly nice properties and interpretations. For example, it can help to decide whether a system of linear equations represented by the matrix has a unique solution and it computes the volume of the parallelepiped spanned by its rows. For an matrix with entries it can be defined by the following formula:
The sum is taken over all permutations of the set . denotes the symmetric group which comprises all these permutations and the sign of a permutation is +1 or -1 depending on whether the permutation has an even or odd number of transpositions.
At a first glance, the permanent looks like a simplification of the determinant because it is given by essentially the same formula without the sign function:
The permanent is very useful because it can be employed to find the answer to counting problems like finding the number of perfect matchings in a bipartite graph. However, where the determinant can be computed in polynomial time, e.g. by Gaussian elimination, computing the permanent is #P-hard.
Now, in the case of two by two matrices, the determinant can be used to compute the permanent:
For larger matrices, however, computing the permanent by a determinant of the same size whose entries are given by linear forms of the entries of the original matrix is not possible. Then how about using the determinant of a matrix of a larger size? We would like to find a way to do this using determinants which are not too much larger. But the hardness result on computing the permanent means that using determinants with a size polynomial in the size of the matrix is winning the battle. A much more humble question is to find a representation using exponential size.
Bruno Grenet shows how to do this with an determinant in his paper An Upper Bound for the Permanent Versus Determinant Problem. The solution is sufficiently simply and I will therefore conclude by explaining how to do it using the example of three by three matrices. Another question is why this is correct and you can get the answer by going through the four pages of the paper.
Let’s start with a three by three matrix:
In order to find a determinant representation for this permanent, we construct a graph from the subsets of the set (we would use the set for the general case).
This graph is constructed in a way such that the vertices (the subsets) are grouped by size such that all sets of the same cardinality form one layer of the graph. I will refer to the layer containing sets of cardinality as the -th layer. Now, edges are introduced between two vertices when inserting a single number into one of the respective sets yields the other. These edges are oriented from the smaller to the larger set and are labelled by if it ends in the -th layer and the larger set is obtained by inserting the number into the smaller set. For example, there is an edge labelled from the node to the node because the latter set is in layer 2 and was obtained by inserting 3. For each vertex representing a subset which is neither empty nor the whole set, we add an edge from this vertex to itself labelled by the number one. Finally, we identify the vertices representing the empty set and the whole set into one joint vertex (vertices 1 and 8 in the figure).
We can now order the vertices (for example as indicated by the red numbers in the figure) and represent the graph by its adjacency matrix:
This matrix has entry zero at position if there is no edge between the -th and the -th vertex in our ordering. If there is an edge then its label is given at position .
Now we can compute the determinant of this matrix and find that it is exactly the permanent of our matrix. You can use WolframAlpha to show that its determinant is indeed equal to the permanent. Why this is true is somewhat harder to see. It has to do with counting the number of cycle covers of the above graph. I invite you to have a look at the paper for more information.