The Cullis' determinant as Pfaffian
Pith reviewed 2026-05-15 02:49 UTC · model grok-4.3
pith:MWBFHCDL Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{MWBFHCDL}
Prints a linked pith:MWBFHCDL badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
The pith
The Cullis determinant of a rectangular matrix equals the Pfaffian of a skew-symmetric matrix obtained from it by multiplication and transposition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Cullis determinant of a matrix X is equal to the Pfaffian of the matrix obtained from X by matrix multiplication and transposition.
What carries the argument
The skew-symmetric matrix constructed from rectangular matrix X by multiplication and transposition, whose Pfaffian recovers the alternating sum of maximal minors.
If this is right
- Cullis determinants of rectangular matrices can be evaluated in polynomial time by reduction to existing Pfaffian routines.
- Any algorithm or identity known for Pfaffians immediately transfers to the Cullis determinant.
- The construction supplies an explicit bridge between the theory of maximal minors and the linear-algebraic properties of skew-symmetric matrices.
Where Pith is reading between the lines
- The same reduction technique might apply to other alternating sums over rectangular arrays, such as certain hyperdeterminants.
- Numerical linear-algebra libraries could implement the Cullis determinant by calling their Pfaffian routines after the matrix construction step.
- The identity may shorten proofs that previously handled rectangular minors by direct expansion, by moving the argument to the skew-symmetric setting.
Load-bearing premise
The matrix produced by the multiplication-and-transposition construction is skew-symmetric and its Pfaffian exactly equals the alternating sum of maximal minors for every rectangular input.
What would settle it
Take any small rectangular matrix such as the 2-by-3 matrix with entries 1,2,3 in the first row and 4,5,6 in the second; compute the alternating sum of its 2-by-2 minors and the Pfaffian of the constructed matrix; the two values must match.
read the original abstract
The Cullis' determinant is a generalization of the ordinary determinant for rectangular matrices. It is defined as the alternating sum of maximal minors of given matrix. In this paper we express the Cullis' determinant of a matrix $X$ as the Pfaffian of the matrix obtained from $X$ by matrix multiplication and transposition. Relying on this result, we present an efficient polynomial-time algorithm for calculating the Cullis' determinant of given matrix.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the Cullis determinant of a rectangular matrix X—defined as the alternating sum of its maximal minors—equals the Pfaffian of a skew-symmetric matrix constructed from X by a specific multiplication-and-transposition operation. It then derives a polynomial-time algorithm for evaluating the Cullis determinant from this identity.
Significance. The explicit construction and direct proof supply a parameter-free identity that converts an alternating-sum quantity into a Pfaffian, immediately yielding an efficient algorithm via standard Pfaffian methods. This strengthens the link between generalized determinants and Pfaffian theory in combinatorial matrix algebra and provides a concrete computational payoff.
minor comments (2)
- [§3] §3, construction of the auxiliary matrix: the proof that the resulting block matrix is skew-symmetric for arbitrary rectangular dimensions is stated but would benefit from an explicit low-dimensional example (e.g., 2×3 case) to verify the sign pattern.
- [§5] §5, algorithm statement: the claimed polynomial-time bound relies on the O(n³) Pfaffian algorithm; a single sentence citing the reference for this complexity would make the overall runtime transparent.
Simulated Author's Rebuttal
We thank the referee for the positive summary of our manuscript and for highlighting the significance of the explicit identity linking the Cullis determinant to a Pfaffian. The recommendation for minor revision is noted; we will incorporate any editorial improvements to enhance clarity and presentation in the revised version.
Circularity Check
Derivation is self-contained from definitions with no circular steps
full rationale
The paper presents an explicit matrix construction (via multiplication and transposition of X) that yields a skew-symmetric matrix, followed by a direct proof that its Pfaffian equals the Cullis determinant (alternating sum of maximal minors). No load-bearing self-citations, no fitted parameters renamed as predictions, no self-definitional loops, and no ansatz smuggled via prior work. The identity is derived from the definitions of both quantities for arbitrary rectangular dimensions, making the derivation independent of its own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math The Pfaffian is defined for the skew-symmetric matrix produced by the stated construction from any rectangular X.
Reference graph
Works this paper leans on
- [1]
-
[2]
Emil Artin.Geometric Algebra. Dover Books on Mathematics. Dover Publications, Mineola, NY, 2016
work page 2016
-
[3]
C. E. Cullis.Matrices and Determinoids: Volume 1. Calcutta University Readership Lectures. Cambridge University Press, 1913
work page 1913
-
[4]
W. Fulton and P. Pragacz.Schubert Varieties and Degeneracy Loci. Springer Berlin Heidelberg, 1998
work page 1998
-
[5]
G. Galbiati and F. Maffioli. On the computation of pfaffians.Discrete Applied Mathe- matics, 51(3):269–275, 1994
work page 1994
-
[6]
A. Guterman and A. Yurkov. Linear maps preserving the Cullis determinant of (n+1)×n matrices.Sarajevo J. Math., 20(1):47–59, 2024
work page 2024
-
[7]
A. Guterman and A. Yurkov. Linear maps preserving the Cullis’ determinant. I, 2025. Submitted for publication,available athttps://arxiv.org/abs/2512.13437
-
[8]
Linear maps preserving the Cullis' determinant. II
A. Guterman and A. Yurkov. Linear maps preserving the Cullis’ determinant. II, 2025. Submitted for publication,available athttps://arxiv.org/abs/2512.13445
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[9]
A. Guterman and A. Yurkov. Linear maps preserving the Cullis’ determinant. III.Spec. matrices, 2025.(submitted for publication). 11
work page 2025
-
[10]
A. Guterman and A. Yurkov. Linear varieties, matroids and their applications to the Cullis’ determinant.J. Algebr. Comb., 2026.Submitted for publication,available at https://arxiv.org/abs/2512.21098
-
[11]
A. Makarewicz, W. Mozgawa, and P. Pikuta. Volumes of polyhedra in terms of determi- nants of rectangular matrices.Bull. Soc. Sci. Lett. Lodz Ser. Rech. Deform, 66(2):105– 117, 2016
work page 2016
-
[12]
A. Makarewicz and P. Pikuta. Cullis-Radi´ c determinant of a rectangular matrix which has a number of identical columns.Ann. Univ. Mariae Curie-Sk lodowska Sect. A, 74(2):41, 2020
work page 2020
-
[13]
A. Makarewicz, P. Pikuta, and D. Sza lkowski. Properties of the determinant of a rectangular matrix.Ann. Univ. Mariae Curie-Sk lodowska Sect. A, 68(1):31–41, 2014
work page 2014
-
[14]
H. Minc.Permanents. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1984
work page 1984
-
[15]
Y. Nakagami and H. Yanai. On Cullis’ determinant for rectangular matrices.Linear Algebra Appl., 422(2):422–441, 2007
work page 2007
-
[16]
M. Radi´ c. A definition of the determinant of a rectangular matrix.Glas. Mat. Ser. III, 1(21):17–22, 1966
work page 1966
-
[17]
M. Radi´ c. A generalization of the determinant of a square matrix and some of its applications in geometry.Mat. (Zagreb), 20(2):19–36, 1991
work page 1991
-
[18]
M. Radi´ c. About a determinant of rectangular 2×nmatrix and its geometric interpre- tation.Beitr. Algebra Geom., 46(2):321–349, 2005
work page 2005
-
[19]
M. Radi´ c. Areas of certain polygons in connection with determinants of rectangular matrices.Beitr. Algebra Geom., 49(1):71–96, 2008
work page 2008
-
[20]
Nonintersecting paths, pfaffians, and plane partitions.Advances in Mathematics, 83(1):96–131, 1990
John R Stembridge. Nonintersecting paths, pfaffians, and plane partitions.Advances in Mathematics, 83(1):96–131, 1990. 12
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.