On 2D Inverse Problems/Medial graphs
The following construction plays an important role in studying the graphs properly embedded into surfaces. One considers an embedded into a surface (2D manifold) finite graph w/vertices each w/exactly four neighbors. The union of edges of such graph is equal to a union of closed curves on the surface, called geodesics. The faces of the graph can be two-colored.
The corresponding graph G and its dual G* can be obtained by putting vertices in all faces of the same color and connecting two vertices by an edge if the corresponding faces of the medial graph M(G) have a common corner. Note that M(G)=M(G*).
One cam modify the construction accordingly for the case of an embedded graph w/boundary by allowing vertices of the medial graph to have one neighbor.
The following transformations of the geodesics of the medial graph M(G) are similar to the Reidemeister moves of the knot theory. They correspond to the Y-Δ transformations of the graph G and G*.
The following matrix consists of the distances (the smallest number of jumps across the geodesics or the edge distance in M*(G)) between boundary faces of the medial graph below.
Exercise (*). Prove that the distances between boundary faces of an embedded medial graph are invariant under the geodesics moves.
The geodesics of the medial graph form an arrangement of pseudo-lines if
- none of them intersect itself
- none of them is a closed curve
- no two of them intersect more than once
Exercise (***). Prove that (a) one can recover a planar medial graph M(G), up to the moves, from the distances between its boundary faces, (b) every planar medial graph M(G) can be moved into an arrangement of pseudo-lines without changing the distance matrix.
(Hint). Look for the pattern
in the matrix of boundary distances.
The following min-cut max-flow result was formulated w/help of Derek Jerina, a student of REU summer school on inverse problems at the University of Washington.
Exercise (**). Prove that the ranks of submatrices of the matrix of the Dirichlet-to-Neumann operator of a planar graph w/natural boundary determine the shortest distances between the boundary faces of its medial graph, and therefore determine the planar graph up to a finite sequence of Y-Δ transformations.
(Hint.) It follows from the determinant identity in the section Special matrices that the ranks of the submatrices count the numbers of disjoint paths connecting boundary nodes of the planar graph.
It was proved in [DeV1], [DeV2], [GDV] and [CIM] that if the medial graph of a planar network w/natural boundary is an arrangement of pseudo-lines then the conductivities of its edges are uniquely determined by its Dirichlet-to-Neumann operator and can be found by a layer stripping algorithm.