In algebra, the hyperdeterminant is a generalization of the determinant. Whereas a determinant is a scalar valued function defined on an n × n square matrix, a hyperdeterminant is defined on a multidimensional array of numbers or tensor. Like a determinant, the hyperdeterminant is a homogeneous polynomial with integer coefficients in the components of the tensor. Many other properties of determinants generalize in some way to hyperdeterminants, but unlike a determinant, the hyperdeterminant does not have a simple geometric interpretation in terms of volumes. There are at least three definitions of hyperdeterminant. The first was discovered by Arthur Cayley in 1843 presented to the Cambridge Philosophical Society. It is in two parts and Cayley's first hyperdeterminant is covered in the second part. It is usually denoted by det0. The second Cayley hyperdeterminant originated in 1845 and is often denoted "Det". This definition is a discriminant for a singular point on a scalar valued multilinear map. Cayley's first hyperdeterminant is defined only for hypercubes having an even number of dimensions (although variations exist in odd dimensions). Cayley's second hyperdeterminant is defined for a restricted range of hypermatrix formats (including the hypercubes of any dimensions). The third hyperdeterminant, most recently defined by Glynn, occurs only for fields of prime characteristic p. It is denoted by detp and acts on all hypercubes over such a field. Only the first and third hyperdeterminants are "multiplicative," except for the second hyperdeterminant in the case of "boundary" formats. The first and third hyperdeterminants also have closed formulae as polynomials and therefore their degrees are known, whereas the second one does not appear to have a closed formula or degree in all cases that are known. The notation for determinants can be extended to hyperdeterminants without change or ambiguity. Hence the hyperdeterminant of a hypermatrix A may be written using the vertical bar notation as |A| or as det(A). A standard modern textbook on Cayley's second hyperdeterminant Det (as well as many other results) is "Discriminants, Resultants and Multidimensional Determinants" by Gel'fand, Kapranov and Zelevinsky. Their notation and terminology is followed in the next section.
Cayley's second hyperdeterminant Det In the special case of a 2 × 2 × 2 hypermatrix the hyperdeterminant is known as Cayley's hyperdeterminant after the British mathematician Arthur Cayley who discovered it. The quartic expression for the Cayley's hyperdeterminant of hypermatrix A with components aijk, i, j, k ∊ {0, 1} is given by
Det(A) = a0002a1112 + a0012a1102 + a0102a1012 + a1002a0112 − 2a000a001a110a111 − 2a000a010a101a111 − 2a000a011a100a111 − 2a001a010a101a110 − 2a001a011a110a100 − 2a010a011a101a100 + 4a000a011a101a110 + 4a001a010a100a111. This expression acts as a discriminant in the sense that it is zero if and only if there is a non-zero solution in six unknowns xi, yi, zi, (with superscript i = 0 or 1) of the following system of equations
a000x0y0 + a010x0y1 + a100x1y0 + a110x1y1 = 0 a001x0y0 + a011x0y1 + a101x1y0 + a111x1y1 = 0 a000x0z0 + a001x0z1 + a100x1z0 + a101x1z1 = 0 a010x0z0 + a011x0z1 + a110x1z0 + a111x1z1 = 0 a000y0z0 + a001y0z1 + a010y1z0 + a011y1z1 = 0 a100y0z0 + a101y0z1 + a110y1z0 + a111y1z1 = 0. The hyperdeterminant can be written in a more compact form using the Einstein convention for summing over indices and the Levi-Civita symbol which is an alternating tensor density with components εij specified by ε00 = ε11 = 0, ε01 = −ε10 = 1:
bkn = (1/2)εilεjmaijkalmn Det(A) = (1/2)εilεjmbijblm. Using the same conventions we can define a multilinear form
f(x,y,z) = aijk xiyjzk Then the hyperdeterminant is zero if and only if there is a non-trivial point where all partial derivatives of f vanish.
As a tensor expression The above determinant can be written in terms of a generalisation of the Levi-Civita symbol:
D e t ( A ) = f i j k l f n m o p f q r s t a i n q a j m r a k o s a l p t {\displaystyle \mathrm {Det} (A)=f^{ijkl}f^{nmop}f^{qrst}a_{inq}a_{jmr}a_{kos}a_{lpt}}
where f is a generalisation of the Levi-Civita symbol which allows two indices to be the same:
f 0011 = f 1100 = f 0110 = f 1001 = − 1 / 2 {\displaystyle f^{0011}=f^{1100}=f^{0110}=f^{1001}=-1/2}
f 0101 = f 1010 = 1 {\displaystyle f^{0101}=f^{1010}=1}
where the f satisfy:
… excerpt ends here. Continue reading the full article.
