ON THE COMPLEXITY OF ISOMORPHISM PROBLEMS FOR TENSORS, GROUPS, AND POLYNOMIALS I: TENSOR ISOMORPHISM-COMPLETENESS

被引:4
作者
Grochow, Joshua [1 ,2 ]
Qiao, Youming [3 ]
机构
[1] Univ Colorado, Dept Comp Sci, Boulder, CO 80309 USA
[2] Univ Colorado, Dept Math, Boulder, CO 80309 USA
[3] Univ Technol Sydney, Ctr Quantum Software & Informat, Ultimo, NSW 2007, Australia
基金
澳大利亚研究理事会;
关键词
isomorphism problems; tensor isomorphism; group isomorphism; polynomial isomorphism; complexity class; completeness; TESTING ISOMORPHISM; TIME ALGORITHMS; EQUIVALENCE; ALGEBRAS; PARAMETRIZATION; SIMILARITY; SIGNATURE; MATRICES;
D O I
10.1137/21M1441110
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the complexity of isomorphism problems for tensors, groups, and polynomials. These problems have been studied in multivariate cryptography, machine learning, quantum information, and computational group theory. We show that these problems are all polynomial-time equivalent, creating bridges between problems traditionally studied in myriad research areas. This prompts us to define the complexity class TI, namely problems that reduce to the tensor isomorphism problem in polynomial time. Our main technical result is a polynomial-time reduction from d-tensor isomorphism to 3-tensor isomorphism. In the context of quantum information, this result gives a multipartite-to-tripartite entanglement transformation procedure that preserves equivalence under stochastic local operations and classical communication.
引用
收藏
页码:568 / 617
页数:50
相关论文
共 107 条
  • [1] Brooksbank PA, 2019, Arxiv, DOI arXiv:1905.02518
  • [2] Agrawal M, 2006, LECT NOTES COMPUT SC, V3884, P115
  • [3] Agrawal M, 2005, LECT NOTES COMPUT SC, V3404, P1
  • [4] Zero knowledge and circuit minimization
    Allender, Eric
    Das, Bireswar
    [J]. INFORMATION AND COMPUTATION, 2017, 256 : 2 - 8
  • [5] [Anonymous], 1971, Graduate Texts in Mathematics
  • [6] Assem A+06 I., 2006, Techniques of Representation Theory, London Math. Soc. Student Texts, V65
  • [7] RANDOM GRAPH ISOMORPHISM
    BABAI, L
    ERDOS, P
    SELKOW, SM
    [J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (03) : 628 - 635
  • [8] Babai L., 2014, P 5 C INN THEOR COMP, P359, DOI [10.1145/2554797.2554830, DOI 10.1145/2554797.2554830]
  • [9] Babai L, 2015, arXiv
  • [10] Graph Isomorphism in Quasipolynomial Time [Extended Abstract]
    Babai, Laszlo
    [J]. STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2016, : 684 - 697