We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Tensor network complexity of multilinear maps

Abstract: We study tensor networks as a model of arithmetic computation for evaluating multilinear maps. These capture any algorithm based on low border rank tensor decompositions, such as $O(n^{\omega+\epsilon})$ time matrix multiplication, and in addition many other algorithms such as $O(n \log n)$ time discrete Fourier transform and $O^*(2^n)$ time for computing the permanent of a matrix. However tensor networks sometimes yield faster algorithms than those that follow from low-rank decompositions. For instance the fastest known $O(n^{(\omega +\epsilon)t})$ time algorithms for counting $3t$-cliques can be implemented with tensor networks, even though the underlying tensor has border rank $n^{3t}$ for all $t \ge 2$. For counting homomorphisms of a general pattern graph $P$ into a host graph on $n$ vertices we obtain an upper bound of $O(n^{(\omega+\epsilon)\operatorname{bw}(P)/2})$ where $\operatorname{bw}(P)$ is the branchwidth of $P$. This essentially matches the bound for counting cliques, and yields small improvements over previous algorithms for many choices of $P$.
While powerful, the model still has limitations, and we are able to show a number of unconditional lower bounds for various multilinear maps, including:
(a) an $\Omega(n^{\operatorname{bw}(P)})$ time lower bound for counting homomorphisms from $P$ to an $n$-vertex graph, matching the upper bound if $\omega = 2$. In particular for $P$ a $v$-clique this yields an $\Omega(n^{\lceil 2v/3 \rceil})$ time lower bound for counting $v$-cliques, and for $P$ a $k$-uniform $v$-hyperclique we obtain an $\Omega(n^v)$ time lower bound for $k \ge 3$, ruling out tensor networks as an approach to obtaining non-trivial algorithms for hyperclique counting and the Max-$3$-CSP problem.
(b) an $\Omega(2^{0.918n})$ time lower bound for the permanent of an $n \times n$ matrix.
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
Cite as: arXiv:1712.09630 [cs.CC]
  (or arXiv:1712.09630v3 [cs.CC] for this version)

Submission history

From: Per Austrin [view email]
[v1] Wed, 27 Dec 2017 17:03:56 GMT (151kb,D)
[v2] Sat, 7 Apr 2018 11:24:27 GMT (324kb,D)
[v3] Thu, 15 Nov 2018 12:36:55 GMT (343kb,D)

Link back to: arXiv, form interface, contact.