When I was working on my PhD dissertation, I came across a physical situation involving nodes and flows between them. It turned out that I was working with a complete oriented graph $K\_n$ (all nodes are connected to each other), and I needed to calculate the pseudoinverse of its incidence matrix T, i.e. the rectangular matrix N(V) x N(E) where N(E) = n is the number of edges and N(V) is the number of vertices, with matrix element 1 if the edge enters the vertex, -1 if the edge leaves the vertex, and 0 otherwise.


To my surprise the pseudoinverse turns out to be proportional to the transpose of the incidence matrix! Specifically


$T^{+} (K\\_n) = \frac{1}{n} T^{\prime} (K\\_n)$


where the prime denotes transposition.




---


My question is:


A) What other graphs $G$, if any, have this property, i.e. that


$T^+(G) \propto T^\prime(G)$,


or some suitable generalization thereof, and


B) How can I show that this result is invariant of orientation? (I determined empirically is certainly true for all possible orientations of the small complete graphs, and I haven't been able to find a counterexample, but I don't have a proof of this statement yet)


I'm not a professional mathematician, so any thoughts would be welcome.




---


One class of generalizations that is possible (but not so interesting IMO) are disconnected graphs where each subgraph is a complete graph, i.e.


$G = K\_{n\_1} \oplus K\_{n\_2} \oplus \dots \oplus K\_{n\_m}$


In this case one gets


$T^+(G) = \frac{1}{n\_1} T^\prime(K\_{n\_1}) \oplus \frac{1}{n\_2} T^\prime(K\_{n\_2}) \oplus \dots \oplus \frac{1}{n\_m} T^\prime(K\_{n\_m})$


which is not really that exciting, but perhaps could point the way to a more interesting generalization.




---


P.S. There is a short proof of the first fact, which relies on the fact that the complete graph has a Laplacian of the form


$\Delta = n \mathbf{I} - \mathbf{1} \mathbf{1}^\prime$


where $\mathbf{I}$ is the n x n identity matrix and $\mathbf{1}$ is a column vector of ones.


With this fact, together with knowing that the column sums of $T$ are all zero, it is straightforward to show that $T^\prime(K\_n)/n$ satifies all the Moore-Penrose conditions for the pseudoinverse.




---


P.P.S. If anyone is interested in the physical context, [here](http://link.aip.org/link/?JCPSA6/129/214113/1) is where it came from.



Graphs with incidence matrices whose pseudoinverses are proportional to their transposes
Let the vertices be numbered $1,\ldots,n$. For a vertex $i$, let $\mathrm{deg}(i)$ be the total number of (unsigned) edges incident to $i$. If $A$ is the incidence matrix, consider $AA^TA$. An entry of $AA^TA$ is indexed by a vertex $i$ and an edge $e=(j,k)$. If I did this correctly, it's straightforward to show that $[AA^TA]\_{i,(j,k)}$ is: 


* $-\mathrm{deg}(i)$ if $i=j$,
* $\mathrm{deg}(i)$ if $i=k$,
* the number of undirected edges $(i,k)$ minus the number of undirected edges $(i,j)$ otherwise.


If $A^T$ is a scalar multiple of the pseudoinverse of $A$, then $AA^TA$ must be a scalar multiple of $A$. It's easy to see from the above that this is equivalent to requiring that each connected component of the graph is complete, each vertex has the same (undirected) degree, and within each component, all edges have the same (undirected) multiplicity. (For example, I think you could have two components $K\\_3$ and $K\\_5$, where there are two edges between each pair of vertices in the $K\\_3$ component and one edge between each pair in the $K\\_5$ component.) None of this depends on the orientations of the edges: flipping an edge of the graph is equivalent to negating a column of $A$, and if $AA^TA$ was a scalar multiple of $A$ before, then it still is now. Since $(AA^TA)^T = A^TAA^T$, if $AA^TA = cA$, then $A^TAA^T = cA^T$, so $(1/c)A^T$ is the Moore-Penrose pseudoinverse of $A$. ($AA^T$ and $A^TA$ are obviously symmetric.) This completely characterizes graphs with your property. 


