Scientific Research

An Academic Publisher

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

^{}

Keywords

Share and Cite:

*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 $\left|M\right|=\left|S\right|+\left|C\right|$ .

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

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

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

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

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

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

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

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

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

The calculation follows.

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

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

$\left|\begin{array}{cc}C& S\\ -S& -C\end{array}\right|={\left|M\right|}^{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.

[1] | 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. |

Copyright © 2020 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.