Pfaffian orientation

Left: The 3 cycles of the graph, shown red, along with a matching of the remaining graph after removing the cycle. The cycles are "even" because they have an even number of edges, and are "central" because a perfect matching is able to be created with the remaining graph (cycle 3 leaves no vertices, automatically filling this criterion).

Right: A Pfaffian Orientation of the graph on the left, where the edges of the 3 cycles from the right have an odd number going in each direction around the cycle. The red and blue arrows are clockwise and counter-clockwise respectively for all cycles, and the black arrow is counter-clockwise relative to cycle 1 and clockwise relative to cycle 2.

In graph theory, a Pfaffian orientation of an undirected graph assigns a direction to each edge, so that certain cycles (the "even central cycles") have an odd number of edges in each direction. When a graph has a Pfaffian orientation, the orientation can be used to count the perfect matchings of the graph. This is the main idea behind the FKT algorithm for counting perfect matchings in planar graphs, which always have Pfaffian orientations. More generally, every graph that does not have the utility graph K3,3 as a graph minor has a Pfaffian orientation, but K3,3 does not, nor do infinitely many other minimal non-Pfaffian graphs.

## Contents

* 1 Definitions
* 2 Application to counting matchings
* 3 Pfaffian graphs
* 4 References

## Definitions

A Pfaffian orientation of an undirected graph is an orientation in which every even central cycle is oddly oriented. The terms of this definition have the following meanings:

* An orientation assigns a direction to each edge of the graph.
* A cycle C is called even if it contains an even number of edges.
* A cycle C is central if the subgraph of G formed by removing all the vertices of C has a perfect matching; central cycles are also sometimes called alternating circuits.
* Cycle C is oddly oriented if each of the two orientations of C is consistent with an odd number of edges in the orientation.[1][2]

## Application to counting matchings

Pfaffian orientations have been studied in connection with the FKT algorithm for counting the number of perfect matchings in a given graph. In this algorithm, the orientations of the edges are used to assign the values ±1 to the variables in the Tutte matrix of the graph. Then, the Pfaffian of this matrix (the square root of its determinant) gives the number of perfect matchings. Each perfect matching contributes ±1 to the Pfaffian regardless of which orientation is used; the choice of a Pfaffian orientation ensures that these contributions all have the same sign as each other, so that none of them cancel. This result stands in contrast to the much higher computational complexity of counting matchings in arbitrary graphs.[2]

## Pfaffian graphs

A graph is said to be Pfaffian if it has a Pfaffian orientation. Every planar graph is Pfaffian.[3] An orientation in which each face of a planar graph has an odd number of clockwise-oriented edges is automatically Pfaffian. Such an orientation can be found by starting with an arbitrary orientation of a spanning tree of the graph. The remaining edges, not in this tree, form a spanning tree of the dual graph, and their orientations can be chosen according to a bottom-up traversal of the dual spanning tree in order to ensure that each face of the original graph has an odd number of clockwise edges.[4]

More generally, every K3,3-minor-free graph has a Pfaffian orientation. These are the graphs that do not have the utility graph K3,3 (which is not Pfaffian) as a graph minor. By Wagner's theorem, the K3,3-minor-free graphs are formed by gluing together copies of planar graphs and the complete graph K5 along shared edges. The same gluing structure can be used to obtain a Pfaffian orientation for these graphs.[4]

Along with K3,3, there are infinitely many minimal non-Pfaffian graphs.[1] For bipartite graphs, it is possible to determine whether a Pfaffian orientation exists, and if so find one, in polynomial time.[5]

## References

1. ↑ 1.0 1.1 Norine, Serguei (2008), "Minimally non-Pfaffian graphs", Journal of Combinatorial Theory, Series B 98 (5): 1038–1055, doi:10.1016/j.jctb.2007.12.005
2. ↑ 2.0 2.1 "A survey of Pfaffian orientations of graphs", International Congress of Mathematicians. Vol. III, 3, Zürich: Eur. Math. Soc., 2006, pp. 963–984, doi:10.4171/022-3/47, ISBN 978-3-98547-038-9, http://people.math.gatech.edu/~thomas/PAP/pfafsurv.pdf
3. ↑ "Graph theory and crystal physics", Graph Theory and Theoretical Physics, London: Academic Press, 1967, pp. 43–110
4. ↑ 4.0 4.1 Little, Charles H. C. (1974), "An extension of Kasteleyn's method of enumerating the 1-factors of planar graphs", Combinatorial Mathematics (Proc. Second Australian Conf., Univ. Melbourne, Melbourne, 1973), Lecture Notes in Mathematics (Springer, Berlin) 403: 63–72
5. ↑ "Permanents, Pfaffian orientations, and even directed circuits", Annals of Mathematics, Second Series 150 (3): 929–975, 1999, doi:10.2307/121059

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Pfaffian orientation. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Pfaffian_orientation&oldid=3985396"