Real subrank of order-three tensors

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Biaggi, Benjamin, Draisma, Jan, Eggleston, Sarah
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866915208310554624
author Biaggi, Benjamin
Draisma, Jan
Eggleston, Sarah
author_facet Biaggi, Benjamin
Draisma, Jan
Eggleston, Sarah
contents We study the subrank of real order-three tensors and give an upper bound to the subrank of a real tensor given its complex subrank. Using similar arguments to those used by Bernardi-Blekherman-Ottaviani, we show that all subranks between the minimal typical subrank and the maximal typical subrank, which equals the generic subrank, are also typical. We then study small tensor formats with more than one typical subrank. In particular, we construct a $3 \times 3 \times 5$-tensor with subrank $2$ and show that the subrank of the $4 \times 4 \times 4$-quaternion multiplication tensor is $2$. Finally, we consider the tensor associated to componentwise complex multiplication in $\mathbb{C}^n$ and show that this tensor has real subrank $n$ - informally, no more than $n$ real scalar multiplications can be carried out using a device that does $n$ complex scalar multiplications. We also prove a version of this result for other real division algebras.
format Preprint
id arxiv_https___arxiv_org_abs_2503_17273
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Real subrank of order-three tensors
Biaggi, Benjamin
Draisma, Jan
Eggleston, Sarah
Algebraic Geometry
15A69, 14P10, 17A35, 14N07
We study the subrank of real order-three tensors and give an upper bound to the subrank of a real tensor given its complex subrank. Using similar arguments to those used by Bernardi-Blekherman-Ottaviani, we show that all subranks between the minimal typical subrank and the maximal typical subrank, which equals the generic subrank, are also typical. We then study small tensor formats with more than one typical subrank. In particular, we construct a $3 \times 3 \times 5$-tensor with subrank $2$ and show that the subrank of the $4 \times 4 \times 4$-quaternion multiplication tensor is $2$. Finally, we consider the tensor associated to componentwise complex multiplication in $\mathbb{C}^n$ and show that this tensor has real subrank $n$ - informally, no more than $n$ real scalar multiplications can be carried out using a device that does $n$ complex scalar multiplications. We also prove a version of this result for other real division algebras.
title Real subrank of order-three tensors
topic Algebraic Geometry
15A69, 14P10, 17A35, 14N07
url https://arxiv.org/abs/2503.17273