A Note on a Natural Correspondence of a Determinant and Pfaffian (Technical Notes)

Abstract

A familiar and natural decomposition of square matrices leads to the construction of a Pfaffian with the same value as the determinant of the square matrix.

Keywords

Share and Cite:

Miller, G. (2017) A Note on a Natural Correspondence of a Determinant and Pfaffian. Open Journal of Discrete Mathematics, 7, 1-2. doi: 10.4236/ojdm.2016.71001.

A square matrix is the sum of its symmetric and skew symmetric parts, S and C respectively:

$M=S+C$ .

For a 2 by 2 matrix it happens that the determinant is $|M|=|S|+|C|$ .

But this is not true in general. However, in block matrix form, of any size, we do have

$|\begin{array}{cc}C& S\\ -S& -C\end{array}|={|M|}^{2}$ .

This follows from the properties of determinants according to the sequence of equalities:

$|\begin{array}{cc}C& S\\ -S& -C\end{array}|=|\begin{array}{cc}S+C& S\\ -S-C& -C\end{array}|=|\begin{array}{cc}S+C& S\\ 0& S-C\end{array}|={|M|}^{2}$

Since $|S-C|=|{\left(S-C\right)}^{\text{T}}|=|{S}^{\text{T}}-{C}^{\text{T}}|=|S+C|=|M|$ .

Next, define $B=SJ$ . The matrix J has zero entries except for all ones on the secondary diagonal (NE to SW). The matrix B is just S with the order of columns reversed.

Form the skew matrix in block form $\left(\begin{array}{cc}C& B\\ -{B}^{\text{T}}& {}^{\text{T}}C\end{array}\right)$ .

We have indicated the transpose across the secondary diagonal by ${}^{\text{T}}C$ . (In general, ${}^{\text{T}}A=J{A}^{\text{T}}J$ )

Then, we claim that the Pfaffian formed by the triangular array above the main diagonal in this matrix has the same value as the determinant of the original matrix M.

For example, $\left(\begin{array}{cc}3& -3\\ 7& 4\end{array}\right)=\left(\begin{array}{cc}3& 2\\ 2& 4\end{array}\right)+\left(\begin{array}{cc}0& -5\\ 5& 0\end{array}\right)$ and the determinant is 33.

We calculate the equivalent Pfaffian as

$‖\begin{array}{ccc}-5& 2& 3\\ & 4& 2\\ & & -5\end{array}‖=25-4+12=33$

using the “cofactor” expansion of a Pfaffian. For the cofactor expansion see  .

First, we show that $|\begin{array}{cc}C& B\\ -{B}^{\text{T}}& {}^{\text{T}}C\end{array}|={|M|}^{2}$ .

The calculation follows.

$|\begin{array}{cc}C& B\\ -{B}^{\text{T}}& {}^{\text{T}}C\end{array}|=|\begin{array}{cc}C& SJ\\ -JS& -JCJ\end{array}|=|\begin{array}{cc}I& 0\\ 0& J\end{array}||\begin{array}{cc}C& S\\ -S& -C\end{array}||\begin{array}{cc}I& 0\\ 0& J\end{array}|=|\begin{array}{cc}C& S\\ -S& -C\end{array}|$ .

The last equation follows by taking the determinant of the three factors. And as mentioned above,

$|\begin{array}{cc}C& S\\ -S& -C\end{array}|={|M|}^{2}.$

So the construction of the Pfaffian array delivers the value of the original determinant, up to sign.

It is easy enough to verify by calculation that the correct sign is given in the case of a two by two matrix rewritten as a Pfaffian array. In general the expansion of the determinant will contain a term which is a product of the diagonal elements of the matrix regardless of the other entries. In the same way, the expansion of the Pfaffian will contain this same term, independent of all other entries. So the sign of the Pfaffian is correct.

Acknowledgements

The author thanks the Petroleum Institute for continued financial support.

Conflicts of Interest

The authors declare no conflicts of interest.

  Ishikawa, M. and Wakayama, M. (2006) Applications of the Minor Summation Formula III: Plucker Relations, Lattice Paths and Pfaffians. Journal of Combinatorial Theory, Series A, 113, 113-155.     customer@scirp.org +86 18163351462(WhatsApp) 1655362766  Paper Publishing WeChat 