Document Open Access Logo

An Optimal Error-Correcting Reduction for Matrix Multiplication

Authors Shuichi Hirahara , Nobutaka Shimizu

PDF

File

Thumbnail PDF
PDF
LIPIcs.ICALP.2025.97.pdf
  • Filesize: 1.01 MB
  • 17 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Problems, reductions and completeness
Keywords
  • Matrix Multiplication
  • Error-Correcting Reduction
  • Average-Case Complexity

Metrics

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

Abstract

We present an optimal "worst-case exact to average-case approximate" reduction for matrix multiplication over a finite field of prime order p. Any efficient algorithm that correctly computes, in expectation, at least (1/p + ε)-fraction of entries of the multiplication A ⋅ B of a pair (A, B) of uniformly random matrices over the finite field of order p for a positive constant ε can be transformed into an efficient randomized algorithm that computes A ⋅ B for all the pairs (A, B) of matrices with high probability. Previously, such reductions were known only in a low-error regime (Gola, Shinkar and Singh; RANDOM 2024) or under non-uniform reductions (Hirahara and Shimizu; STOC 2025).

Cite As Get BibTex

Shuichi Hirahara and Nobutaka Shimizu. An Optimal Error-Correcting Reduction for Matrix Multiplication. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 97:1-97:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ICALP.2025.97

Author Details

Shuichi Hirahara
  • National Institute of Informatics, Tokyo, Japan
Nobutaka Shimizu
  • Institute of Science Tokyo, Japan

Funding

  • Hirahara, Shuichi: Shuichi Hirahara was supported by JST FOREST Program, Grant Number JPMJFR226Y, Japan.
  • Shimizu, Nobutaka: Nobutaka Shimizu was supported by JSPS KAKENHI Grant Number 23K16837, 23K18460, and 24K21317, Japan.

Acknowledgements

We thank anonymous reviewers for their helpful comments.

References

  1. Josh Alman, Ran Duan, Virginia Vassilevska Williams, Yinzhan Xu, Zixuan Xu, and Renfei Zhou. More asymmetry yields faster matrix multiplication, pages 2005-2039. Society for Industrial and Applied Mathematics, 2025. URL: https://doi.org/10.1137/1.9781611978322.63.
  2. Vahid R. Asadi, Alexander Golovnev, Tom Gur, and Igor Shinkar. Worst-case to average-case reductions via additive combinatorics. In Proceedings of the Symposium on Theory of Computing (STOC), pages 1566-1574, 2022. URL: https://doi.org/10.1145/3519935.3520041.
  3. Manuel Blum, Michael Luby, and Ronitt Rubinfeld. Self-Testing/Correcting with Applications to Numerical Problems. J. Comput. Syst. Sci., 47(3):549-595, 1993. URL: https://doi.org/10.1016/0022-0000(93)90044-W.
  4. Charles Bordenave. A new proof of friedman’s second eigenvalue theorem and its extension to random lifts. CoRR, 2015. URL: https://arxiv.org/abs/1502.04482.
  5. Patrick J. Coles, Maxwell Aifer, Kaelan Donatella, Denis Melanson, Max Hunter Gordon, Thomas Dybdahl Ahle, Daniel Simpson, Gavin Crooks, Antonio J Martinez, and Faris Mouti Sbahi. Thermodynamic AI and thermodynamic linear algebra. In Machine Learning with New Compute Paradigms, 2023. Google Scholar
  6. Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, and Amnon Ta-Shma. List-decoding with double samplers. SIAM J. Comput., 50:301-349, 2021. URL: https://doi.org/10.1137/19M1276650.
  7. Ran Duan, Hongxun Wu, and Renfei Zhou. Faster Matrix Multiplication via Asymmetric Hashing. In Proceedings of the Symposium on Foundations of Computer Science (FOCS), pages 2129-2138, 2023. URL: https://doi.org/10.1109/FOCS57990.2023.00130.
  8. Joel Friedman. A proof of alon’s second eigenvalue conjecture. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, STOC '03, pages 720-724. Association for Computing Machinery, 2003. URL: https://doi.org/10.1145/780542.780646.
  9. Ashish Gola, Igor Shinkar, and Harsimran Singh. Matrix Multiplication Reductions. In Proceedings of the Approximation, Randomization, and Combinatorial Optimization (APPROX/RANDOM), pages 34:1-34:15, 2024. URL: https://doi.org/10.4230/LIPICS.APPROX/RANDOM.2024.34.
  10. Parikshit Gopalan, Venkatesan Guruswami, and Prasad Raghavendra. List Decoding Tensor Products and Interleaved Codes. SIAM J. Comput., 40(5):1432-1462, 2011. URL: https://doi.org/10.1137/090778274.
  11. Shuichi Hirahara and Nobutaka Shimizu. Hardness Self-Amplification: Simplified, Optimized, and Unified. In Proceedings of the Symposium on Theory of Computing (STOC), pages 70-83, 2023. URL: https://doi.org/10.1145/3564246.3585189.
  12. Shuichi Hirahara and Nobutaka Shimizu. Planted Clique Conjectures Are Equivalent. In Proceedings of the Symposium on Theory of Computing (STOC), pages 358-366, 2024. URL: https://doi.org/10.1145/3618260.3649751.
  13. Shuichi Hirahara and Nobutaka Shimizu. Error-correction of matrix multiplication algorithms. In Proceedings of the Annual ACM SIGACT Symposium on Theory of Computing (STOC 2025), 2025. Google Scholar
  14. Roger A Horn and Charles R Johnson. Topics in Matrix Analysis. Cambridge University Press, 1991. URL: https://doi.org/10.1017/CBO9780511840371.
  15. Russell Impagliazzo, Ragesh Jaiswal, and Valentine Kabanets. Chernoff-Type Direct Product Theorems. J. Cryptol., 22(1):75-92, 2009. URL: https://doi.org/10.1007/s00145-008-9029-7.
  16. Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets, and Avi Wigderson. Uniform Direct Product Theorems: Simplified, Optimized, and Derandomized. SIAM J. Comput., 39(4):1637-1665, 2010. URL: https://doi.org/10.1137/080734030.
  17. Fernando G. Jeronimo. Fast decoding of explicit almost optimal ε-balanced q-ary codes and fast approximation of expanding k-CSPs. URL: https://doi.org/10.4230/LIPICS.APPROX/RANDOM.2023.60.
  18. Fernando G. Jeronimo, Shashank Srivastava, and Madhur Tulsiani. Near-linear time decoding of ta-shma’s codes via splittable regularity. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021, pages 1527-1536. Association for Computing Machinery, 2021. URL: https://doi.org/10.1145/3406325.3451126.
  19. Brendan D. McKay, Nicholas C. Wormald, and Beata Wysocka. Short cycles in random regular graphs. Electron. J. Comb., 11:R66, 2004. URL: https://doi.org/10.37236/1819.
  20. Volker Strassen. Gaussian elimination is not optimal. Numerische mathematik, 13(4):354-356, 1969. URL: https://doi.org/10.1007/BF02165411.
  21. Amnon Ta-Shma. Explicit, almost optimal, epsilon-balanced codes. In Proceedings of Symposium on Theory of Computing (STOC), STOC 2017, pages 238-251. Association for Computing Machinery, 2017. URL: https://doi.org/10.1145/3055399.3055408.
  22. Gregory Valiant. Matrix Multiplication in Quadratic Time and Energy? Towards a Fine-Grained Energy-Centric Church-Turing Thesis. In Proceedings of the Innovations in Theoretical Computer Science Conference (ITCS), pages 96:1-96:13, 2024. URL: https://doi.org/10.4230/LIPICS.ITCS.2024.96.
  23. Virginia Vassilevska Williams, Yinzhan Xu, Zixuan Xu, and Renfei Zhou. New Bounds for Matrix Multiplication: from Alpha to Omega. In Proceedings of the Symposium on Discrete Algorithms (SODA), pages 3792-3835, 2024. URL: https://doi.org/10.1137/1.9781611977912.134.
  24. Vasily Volkov and James Demmel. Benchmarking GPUs to tune dense linear algebra. In Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2008, November 15-21, 2008, Austin, Texas, USA, page 31, 2008. URL: https://doi.org/10.1109/SC.2008.5214359.
  25. Nicholas C. Wormald. Models of random regular graphs. Surveys in Combinatorics, 1999, pages 239-298, 1999. URL: https://doi.org/10.1017/CBO9780511721335.010.
  26. Hailong Zhou, Jianji Dong, Junwei Cheng, Wenchan Dong, Chaoran Huang, Yichen Shen, Qiming Zhang, Min Gu, Chao Qian, Hongsheng Chen, Zhichao Ruan, and Xinliang Zhang. Photonic matrix multiplication lights up photonic accelerator and beyond. Light, science & applications, 11:30, 2022. URL: https://doi.org/10.1038/s41377-022-00717-8.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact