Document Open Access Logo

On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials III: Actions by Classical Groups

Authors Zhili Chen , Joshua A. Grochow , Youming Qiao , Gang Tang , Chuanqi Zhang



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2024.31.pdf
  • Filesize: 0.9 MB
  • 23 pages

Document Identifiers

Author Details

Zhili Chen
  • Center for Quantum Software and Information, University of Technology Sydney, Australia
Joshua A. Grochow
  • Departments of Computer Science and Mathematics, University of Colorado Boulder, CO, USA
Youming Qiao
  • Center for Quantum Software and Information, University of Technology Sydney, Australia
Gang Tang
  • Center for Quantum Software and Information, University of Technology Sydney, Australia
Chuanqi Zhang
  • Center for Quantum Software and Information, University of Technology Sydney, Australia

Acknowledgements

We thank the anonymous reviewers for their careful reading and helpful suggestions.

Cite AsGet BibTex

Zhili Chen, Joshua A. Grochow, Youming Qiao, Gang Tang, and Chuanqi Zhang. On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials III: Actions by Classical Groups. In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 31:1-31:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ITCS.2024.31

Abstract

We study the complexity of isomorphism problems for d-way arrays, or tensors, under natural actions by classical groups such as orthogonal, unitary, and symplectic groups. These problems arise naturally in statistical data analysis and quantum information. We study two types of complexity-theoretic questions. First, for a fixed action type (isomorphism, conjugacy, etc.), we relate the complexity of the isomorphism problem over a classical group to that over the general linear group. Second, for a fixed group type (orthogonal, unitary, or symplectic), we compare the complexity of the isomorphism problems for different actions. Our main results are as follows. First, for orthogonal and symplectic groups acting on 3-way arrays, the isomorphism problems reduce to the corresponding problems over the general linear group. Second, for orthogonal and unitary groups, the isomorphism problems of five natural actions on 3-way arrays are polynomial-time equivalent, and the d-tensor isomorphism problem reduces to the 3-tensor isomorphism problem for any fixed d > 3. For unitary groups, the preceding result implies that LOCC classification of tripartite quantum states is at least as difficult as LOCC classification of d-partite quantum states for any d. Lastly, we also show that the graph isomorphism problem reduces to the tensor isomorphism problem over orthogonal and unitary groups.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algebraic complexity theory
Keywords
  • complexity class
  • tensor isomorphism
  • polynomial isomorphism
  • group isomorphism
  • local operations and classical communication

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Antonio Acín, Dagmar Bruß, Maciej Lewenstein, and Anna Sanpera. Classification of mixed three-qubit states. Physical Review Letters, 87(4):040401, 2001. URL: https://doi.org/10.1103/PhysRevLett.87.040401.
  2. Magali Bardet, Ayoub Otmani, and Mohamed Saeed-Taha. Permutation code equivalence is not harder than graph isomorphism when hulls are trivial. In 2019 IEEE International Symposium on Information Theory (ISIT), pages 2464-2468. IEEE, 2019. URL: https://doi.org/10.1109/ISIT.2019.8849855.
  3. Charles H Bennett, Sandu Popescu, Daniel Rohrlich, John A Smolin, and Ashish V Thapliyal. Exact and asymptotic measures of multipartite pure-state entanglement. Physical Review A, 63(1):012307, 2000. URL: https://doi.org/10.1103/PhysRevA.63.012307.
  4. W. Bosma, J. J. Cannon, and C. Playoust. The Magma algebra system I: the user language. J. Symb. Comput., pages 235-265, 1997. Google Scholar
  5. Zhili Chen, Joshua A. Grochow, Youming Qiao, Gang Tang, and Chuanqi Zhang. On the complexity of isomorphism problems for tensors, groups, and polynomials III: actions by classical groups, 2023. URL: https://arxiv.org/abs/2306.03135.
  6. Eric Chitambar, Debbie Leung, Laura Mančinska, Maris Ozols, and Andreas Winter. Everything you always wanted to know about LOCC (but were afraid to ask). Communications in Mathematical Physics, 328:303-326, 2014. URL: https://doi.org/10.1007/s00220-014-1953-9.
  7. Giuseppe D'Alconzo. Monomial isomorphism for tensors and applications to code equivalence problems. Cryptology ePrint Archive, Paper 2023/396, 2023. URL: https://eprint.iacr.org/2023/396.
  8. Lieven De Lathauwer, Bart De Moor, and Joos Vandewalle. A multilinear singular value decomposition. SIAM journal on Matrix Analysis and Applications, 21(4):1253-1278, 2000. URL: https://doi.org/10.1137/S0895479896305696.
  9. Vin De Silva and Lek-Heng Lim. Tensor rank and the ill-posedness of the best low-rank approximation problem. SIAM Journal on Matrix Analysis and Applications, 30(3):1084-1127, 2008. URL: https://doi.org/10.1137/06066518X.
  10. Carl Eckart and Gale Young. The approximation of one matrix by another of lower rank. Psychometrika, 1(3):211-218, 1936. URL: https://doi.org/10.1007/BF02288367.
  11. Jack Edmonds. Paths, trees, and flowers. Canadian Journal of mathematics, 17(3):449-467, 1965. URL: https://doi.org/10.4153/CJM-1965-045-4.
  12. Lance Fortnow and Joshua A. Grochow. Complexity classes of equivalence problems revisited. Inform. and Comput., 209(4):748-763, 2011. Also available as arXiv:0907.4775 [cs.CC]. URL: https://doi.org/10.1016/j.ic.2011.01.006.
  13. Vyacheslav Futorny, Joshua A. Grochow, and Vladimir V. Sergeichuk. Wildness for tensors. Linear Algebra and its Applications, 566:212-244, 2019. URL: https://doi.org/10.1016/j.laa.2018.12.022.
  14. Joshua A. Grochow and Youming Qiao. On p-group isomorphism: Search-to-decision, counting-to-decision, and nilpotency class reductions via tensors. In Valentine Kabanets, editor, 36th Computational Complexity Conference, CCC 2021, July 20-23, 2021, Toronto, Ontario, Canada (Virtual Conference), volume 200 of LIPIcs, pages 16:1-16:38. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.CCC.2021.16.
  15. Joshua A. Grochow and Youming Qiao. On the complexity of isomorphism problems for tensors, groups, and polynomials I: Tensor Isomorphism-completeness. SIAM J. Comput., 52:568-617, 2023. Part of the preprint arXiv:1907.00309 [cs.CC]. Preliminary version appeared at ITCS '21, DOI:10.4230/LIPIcs.ITCS.2021.31. URL: https://doi.org/10.1137/21M1441110.
  16. Joshua A. Grochow and Youming Qiao. On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications. CoRR, abs/2306.16317, 2023. URL: https://doi.org/10.48550/arXiv.2306.16317.
  17. Joshua A Grochow, Youming Qiao, and Gang Tang. Average-case algorithms for testing isomorphism of polynomials, algebras, and multilinear forms. journal of Groups, Complexity, Cryptology, 14, 2022. Extended abstract appeared in STACS '21 DOI:10.4230/LIPIcs.STACS.2021.38. URL: https://doi.org/10.46298/jgcc.2022.14.1.9431.
  18. Wolfgang Hackbusch and André Uschmajew. On the interconnection between the higher-order singular values of real tensors. Numerische Mathematik, 135:875-894, 2017. URL: https://doi.org/10.1007/s00211-016-0819-9.
  19. Xiaoyu He and Youming Qiao. On the Baer-Lovász-Tutte construction of groups from graphs: Isomorphism types and homomorphism notions. Eur. J. Comb., 98:103404, 2021. URL: https://doi.org/10.1016/j.ejc.2021.103404.
  20. Jim Humphreys. What are "classical groups"? URL: https://mathoverflow.net/questions/50610/what-are-classical-groups.
  21. Zhengfeng Ji, Youming Qiao, Fang Song, and Aaram Yun. General linear group action on tensors: A candidate for post-quantum cryptography. In Theory of Cryptography - 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I, pages 251-281, 2019. URL: https://doi.org/10.1007/978-3-030-36030-6_11.
  22. Johannes Köbler, Uwe Schöning, and Jacobo Torán. The graph isomorphism problem: its structural complexity. Birkhauser Verlag, Basel, Switzerland, Switzerland, 1993. URL: https://doi.org/10.1007/978-1-4612-0333-9.
  23. Yinan Li, Youming Qiao, Avi Wigderson, Yuval Wigderson, and Chuanqi Zhang. Connections between graphs and matrix spaces. Israel Journal of Mathematics, 256(2):513-580, 2023. Google Scholar
  24. Lek-Heng Lim. Tensors in computations. Acta Numerica, 30:555-764, 2021. URL: https://doi.org/10.1017/S0962492921000076.
  25. László Lovász. On determinants, matchings, and random algorithms. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979, pages 565-574. Akademie-Verlag, Berlin, 1979. Google Scholar
  26. M. Nielsen and I. Chuang. Quantum computation and quantum information. Cambridge University Press, 2000. URL: https://doi.org/10.1017/CBO9780511976667.
  27. Krijn Reijnders, Simona Samardjiska, and Monika Trimoska. Hardness estimates of the Code Equivalence Problem in the rank metric. In WCC 2022: The Twelfth International Workshop on Coding and Cryptography, 2022. Cryptology ePrint Archive, Paper 2022/276, URL: https://eprint.iacr.org/2022/276.
  28. Anna Seigal. Gram determinants of real binary tensors. Linear Algebra and its Applications, 544:350-369, 2018. URL: https://doi.org/10.1016/j.laa.2018.01.019.
  29. Vladimir V Sergeichuk. Unitary and Euclidean representations of a quiver. Linear Algebra and its Applications, 278(1-3):37-62, 1998. URL: https://doi.org/10.1016/S0024-3795(98)00006-8.
  30. Gang Tang, Dung Hoang Duong, Antoine Joux, Thomas Plantard, Youming Qiao, and Willy Susilo. Practical post-quantum signature schemes from isomorphism problems of trilinear forms. In Orr Dunkelman and Stefan Dziembowski, editors, Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part III, volume 13277 of Lecture Notes in Computer Science, pages 582-612. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-07082-2_21.
  31. George Frederick James Temple. Cartesian Tensors: an introduction. Courier Corporation, 2004. Google Scholar
  32. W. T. Tutte. The factorization of linear graphs. Journal of the London Mathematical Society, s1-22(2):107-111, 1947. URL: https://doi.org/10.1112/jlms/s1-22.2.107.
  33. Leslie G. Valiant. Completeness classes in algebra. In Michael J. Fischer, Richard A. DeMillo, Nancy A. Lynch, Walter A. Burkhard, and Alfred V. Aho, editors, Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA, pages 249-261. ACM, 1979. URL: https://doi.org/10.1145/800135.804419.
  34. H. Weyl. The classical groups: their invariants and representations, volume 1. Princeton University Press, 1946 (1997). URL: https://doi.org/10.2307/j.ctv3hh48t.
  35. SM Zangi, Jun-Li Li, and Cong-Feng Qiao. Quantum state concentration and classification of multipartite entanglement. Physical Review A, 97(1):012301, 2018. URL: https://doi.org/10.1103/PhysRevA.97.012301.
  36. V. N. Zemlyachenko, N. M. Korneenko, and R. I. Tyshkevich. Graph isomorphism problem. J. Soviet Math., 29(4):1426-1481, May 1985. URL: https://doi.org/10.1007/BF02104746.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail