Abstract
This paper contains the classification of the orbits of elements of the tensor product spaces \({{\mathbb{F}}^2\otimes{\mathbb{F}}^3 \otimes {\mathbb{F}}^r}\), \({r\geq 1}\), under the action of two natural groups, for all finite; real; and algebraically closed fields. For each of the orbits we determine: a canonical form; the tensor rank; the rank distribution of the contraction spaces; and a geometric description. The proof is based on the study of the contraction spaces in \({{\mathrm{PG}}({\mathbb{F}}^2\otimes {\mathbb{F}}^3)}\) and is geometric in nature. Although the main focus is on finite fields, the techniques are mostly field independent.
Similar content being viewed by others
References
Bläser, M.: A complete characterization of the algebras of minimal bilinear complexity. SIAM J. Comput. 34, 277–298 (2004/05)
Bremner, M.R., Hu, J.: Canonical forms of small tensors over \({\mathbb{F}_2}\). arXiv:1206.5179v1
Bremner, M.R., Stavrou, S.G.: Canonical forms of \({2 \times 2 \times 2}\) and \({2 \times 2 \times 2 \times 2}\) arrays over \({\mathbb{F}_2}\) and \({\mathbb{F}_3}\). Linear Multilinear Algebra 61, 986–997 (2013)
Burgisser P., Clausen M., Shokrollahi M.A.: Algebraic Complexity Theory. Springer, New York (1997)
Bamberg, J., Betten, A., Cara, Ph., De Beule, J., Lavrauw, M., Neunhöffer, M.: Finite Incidence Geometry. FinInG–A GAP Package, 1.0 (2014)
Gantmacher, F.R.: The Theory of Matrices, vol. 1, 2. Translated by K.A. Hirsch. Chelsea, New York (1959)
Glynn, D.G., Gulliver, T.A., Maks, J.G., Gupta, M.K.: The Geometry of Additive Quantum Codes. http://www.maths.adelaide.edu.au/rey.casse/DavidGlynn/QMonoDraft
Gurvits L.: Classical complexity and quantum entanglement. J. Comput. Syst. Sci. 69, 448–484 (2004)
Havlicek, H., Odehnal, B., Saniga, M.: On invariant notions of Segre varieties in binary projective spaces. Des. Codes Cryptogr. 62, 343–356 (2012)
Heydari, H.: Geometrical structure of entangled states and the secant variety. Quantum Inf. Process. 7, 43–50 (2008)
Ja’Ja’, J.: Optimal evaluation of pairs of bilinear forms. SIAM J. Comput. 8, 443–462 (1979)
Landsberg, J.M.: Tensors: Geometry and Applications. In: Graduate Studies in Mathematics, vol. 128, pp. xx+439. American Mathematical Society, Providence (2012) (ISBN 978-0-8218-6907-9)
Landsberg, J.M., Qi, Y., Ye, K.: On the geometry of tensor network states. Quant. Inf. Comput. 12, 346–354 (2012)
Lavrauw M.: Finite semifields and nonsingular tensors. Des. Codes Cryptogr. 68, 205–227 (2013)
Lavrauw, M., Pavan, A., Zanella, C.: On the rank of \({3\times 3\times 3}\)-tensors. Linear Multilinear Algebra 61, 648–652 (2013)
Lavrauw, M., Sheekey, J.: Orbits of the stabiliser group of the Segre variety product of three projective lines. Finite Fields Appl. 26, 1–6 (2014)
Lavrauw, M., Sheekey, J.: Aspects of tensor products over finite fields and Galois geometries. In: Nikova, S., Preneel, B., Storme, L. (eds.) Proceedings of the Academy Contact Forum Galois Geometries and Applications at the Royal Flemish Academy of Belgium for Science and the Arts, pp. 95–102, 5 October 2012 (2014)
Lavrauw, M., Sheekey, J.: Canonical forms of \({2 \times 3 \times 3}\) tensors over the real field, algebraically closed fields, and finite fields. Linear Algebra Appl. (to appear)
Lavrauw, M., Van de Voorde, G.: Field reduction and linear sets in finite geometry. In: Kyureghyan, G. et al. (eds.) Topics in Finite Fields. AMS Contemp. Math. 632, 271–293 (2015)
Lavrauw, M., Zanella, C.: Subspaces intersecting each element of a regulus in one point. In: André–Bruck–Bose Representation and Clubs. arXiv:1409.1081
Nurmiev, A.G.: Orbits and invariants of third-order matrices. Mat. Sb. 191, 101–108 (2000)
Shaw, R., Gordon, N., Havlicek, H.: Aspects of the Segre variety S 1,1,1(2). Des. Codes Cryptogr. 62(2), 225–239 (2012)
Stavrou, S.G.: Canonical forms of \({2 \times 2 \times 2}\) and \({2 \times 2 \times 2 \times 2}\) symmetric tensors over prime fields. Linear Multilinear Algebra (online first) (2013)
The GAP Group: GAP—Groups, Algorithms, and Programming, Version 4.6.2 (2013). http://www.gap-system.org
Thrall, R.M., Chanler, J.H.: Ternary trilinear forms in the field of complex numbers. Duke Math. J. 4, 678–690 (1938)
Thrall R.M.: Metabelian groups and trilinear forms. Am. J. Math. 60, 383–415 (1938)
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of the M. Lavrauw was supported by the Fund for Scientific Research—Flanders (FWO) and by a Progetto di Ateneo from Università di Padova (CPDA113797/11).
J. Sheekey acknowledges the support of the Fund for Scientific Research—Flanders (FWO).
Rights and permissions
About this article
Cite this article
Lavrauw, M., Sheekey, J. Classification of subspaces in \({{\mathbb{F}}^2\otimes {\mathbb{F}}^3}\) and orbits in \({{\mathbb{F}}^2\otimes{\mathbb{F}}^3 \otimes {\mathbb{F}}^r}\) . J. Geom. 108, 5–23 (2017). https://doi.org/10.1007/s00022-016-0316-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00022-016-0316-4