Saved in:
Bibliographic Details
Main Author: Yang, Jason
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2411.14676
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915030934487040
author Yang, Jason
author_facet Yang, Jason
contents We present an $O^*\left(|\mathbb{F}|^{(R-n_*)\left(\sum_d n_d\right)+n_*}\right)$-time algorithm for determining whether a tensor of shape $n_0\times\dots\times n_{D-1}$ over a finite field $\mathbb{F}$ has rank $\le R$, where $n_*:=\max_d n_d$; we assume without loss of generality that $\forall d:n_d\le R$. We also extend this problem to its border rank analog, i.e., determining tensor rank over rings of the form $\mathbb{F}[x]/(x^H)$, and give an $O^*\left(|\mathbb{F}|^{H\sum_{1\le r\le R} \sum_d \min(r,n_d)}\right)$-time algorithm. Both of our algorithms use polynomial space.
format Preprint
id arxiv_https___arxiv_org_abs_2411_14676
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Depth-first search for tensor rank and border rank over finite fields
Yang, Jason
Computational Complexity
We present an $O^*\left(|\mathbb{F}|^{(R-n_*)\left(\sum_d n_d\right)+n_*}\right)$-time algorithm for determining whether a tensor of shape $n_0\times\dots\times n_{D-1}$ over a finite field $\mathbb{F}$ has rank $\le R$, where $n_*:=\max_d n_d$; we assume without loss of generality that $\forall d:n_d\le R$. We also extend this problem to its border rank analog, i.e., determining tensor rank over rings of the form $\mathbb{F}[x]/(x^H)$, and give an $O^*\left(|\mathbb{F}|^{H\sum_{1\le r\le R} \sum_d \min(r,n_d)}\right)$-time algorithm. Both of our algorithms use polynomial space.
title Depth-first search for tensor rank and border rank over finite fields
topic Computational Complexity
url https://arxiv.org/abs/2411.14676