Abstract
As a first step in the classification of nonsingular 2×2×2×2 hypercubes up to equivalence, we resolve the case where the base field is finite and the hypercubes can be written as a product of two 2×2×2 hypercubes. (Nonsingular hypercubes were introduced by D. Knuth in the context of semifields. Where semifields are related to hypercubes of dimension 3, this paper considers the next case, i.e., hypercubes of dimension 4.) We define the notion of ij-rank (with 1 ≤ i < j ≤ 4) and prove that a hypercube is the product of two 2×2×2 hypercubes if and only if its 12-rank is at most 2. We derive a ‘standard form’ for nonsingular 2×2×2×2 hypercubes of 12-rank less than 4 as a first step in the classification of such hypercubes up to equivalence. Our main result states that the equivalence class of a nonsingular 2×2×2×2 hypercube M of 12-rank 2 depends only on the value of an invariant δ 0(M) which derives in a natural way from the Cayley hyperdeterminant det0 M and another polynomial invariant det M of degree 4. As a corollary we prove that the number of equivalence classes is (q + 1)/2 or q/2 depending on whether the order q of the field is odd or even.
Similar content being viewed by others
References
Briand E., Luque J.-G., Thibon J.-Y.: A complete set of covariants of the four qubit system. J. Phys. A 36(38), 9915–9927 (2003)
Cayley A.: On the theory of determinants. Trans. Camb. Philos. Soc. 8, 1–16 (1843)
Cayley A.: On the theory of linear transformations. Camb. Math. J. 4, 193–209 (1845)
Gel’fand I.M., Kapranov M.M., Zelevinsky A.V.: Discriminants, resultants, and multidimensional determinants. Mathematics: Theory & Applications. Birkhäuser Boston Inc., Boston (1994)
Glynn D., Gulliver T., Maks J., Gupta M.: The geometry of additive quantum codes. Springer, Berlin (in preparation).
Kantor W.M.: Finite semifields. In: Hulpke, A., Liebler, R., Penttila, T., Seress, Á. (eds.) Finite Geometries, Groups, and Computation., pp. 103–114. Walter de Gruyter GmbH & Co. KG, Berlin (2006)
Knuth D.E.: Finite semifields and projective planes. J. Algebra 2, 182–217 (1965)
Lavrauw M.: Finite semifields and nonsingular tensors. Des. Codes Cryptogr. (2012). doi:10.1007/s10623-012-9710-6.
Lavrauw M., Polverino O.: Finite semifields. In: De Beule J., Storme, L. (eds.) Current Research Topics in Galois Geometry. Nova Science Publishers Inc., Hauppauge (2012)
Liebler R.A.: On nonsingular tensors and related projective planes. Geom. Dedicata 11(4), 455–464 (1981)
Luque J.-G., Thibon J.-Y.: Polynomial invariants of four qubits. Phys. Rev. A 67, 042303 (2003)
Verstraete F., Dehaene J., De Moor B., Verschelde H.: Four qubits can be entangled in nine different ways. Phys. Rev. A 65, 052112 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
This is one of several papers published in Designs, Codes and Cryptography comprising the “Special Issue on Finite Geometries”.
Rights and permissions
About this article
Cite this article
Coolsaet, K. On the classification of nonsingular 2×2×2×2 hypercubes. Des. Codes Cryptogr. 68, 179–194 (2013). https://doi.org/10.1007/s10623-012-9737-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-012-9737-8