Math 2.0

Linear and multilinear algebra; matrix theory Definition

Pfaffian

Builds on Skew-symmetric matrixPerfect matchingSign of a permutationCommutative ringDeterminant

Definition

Let KK be a commutative ring, let n≥1n \ge 1, and let A=(aij)A = (a_{ij}) be a 2n×2n2n \times 2n matrix over KK. Assume that AA is alternating: aji=−aija_{ji} = -a_{ij} and aii=0a_{ii} = 0 for all i,ji, j. Let Π\Pi be the set of perfect matchings of {1,…,2n}\set{1, \dots, 2n}, that is, partitions into nn pairs. Write M∈ΠM \in \Pi as {{i1,j1},…,{in,jn}}\set{\set{i_1, j_1}, \dots, \set{i_n, j_n}} with ik<jki_k < j_k, and let πM\pi_M be the permutation 1↦i1,2↦j1,…,2n−1↦in,2n↦jn1 \mapsto i_1, 2 \mapsto j_1, \dots, 2n-1 \mapsto i_n, 2n \mapsto j_n. The Pfaffian of AA is pf⁡(A)=∑M∈Πsgn⁡(πM)∏k=1naikjk,\operatorname{pf}(A) = \sum_{M \in \Pi} \sgn(\pi_M) \prod_{k=1}^{n} a_{i_k j_k}, where sgn⁡\sgn is the sign of a permutation.

Remarks

The term of MM does not depend on the order in which the pairs are listed, because exchanging two pairs is an even permutation. For an alternating matrix of odd size, the Pfaffian is set to 00.

Example: for n=2n = 2 there are three matchings, and pf⁡(A)=a12a34−a13a24+a14a23.\operatorname{pf}(A) = a_{12} a_{34} - a_{13} a_{24} + a_{14} a_{23}. For the matching {{1,3},{2,4}}\set{\set{1,3}, \set{2,4}}, the permutation πM\pi_M is 1↦1,2↦3,3↦2,4↦41 \mapsto 1, 2 \mapsto 3, 3 \mapsto 2, 4 \mapsto 4, a transposition, so its sign is −1-1.

Non-example: the symmetric matrix (0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} is not alternating, because a21≠−a12a_{21} \ne -a_{12} unless 2=02 = 0 in KK, so it has no Pfaffian in this sense.

The main facts are pf⁡(A)2=det⁡A\operatorname{pf}(A)^2 = \det A and pf⁡(BABT)=det⁡(B)pf⁡(A)\operatorname{pf}(B A B^T) = \det(B) \operatorname{pf}(A) for every 2n×2n2n \times 2n matrix BB, where det⁡\det is the determinant. Alternating matrices over a field are the same as skew-symmetric matrices when the characteristic is not 22.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Commutative ring concept
  2. Determinant concept
  3. Perfect matching concept
  4. Sign of a permutation concept
  5. Skew-symmetric matrix concept
  6. Pfaffian definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Pfaffian
About this page
TagC9JJD2AVJR
URIm2://C9JJD2AVJR
Kinddefinition
WritingW0 stub
MSC15A15
DefinesPfaffian
UsesSkew-symmetric matrix, Perfect matching, Sign of a permutation, Commutative ring, Determinant
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.