English
Related papers

Related papers: Non-existence of a short algorithm for multiplicat…

200 papers

We revisit the fundamental Boolean Matrix Multiplication (BMM) problem. With the invention of algebraic fast matrix multiplication over 50 years ago, it also became known that BMM can be solved in truly subcubic $O(n^\omega)$ time, where…

Data Structures and Algorithms · Computer Science 2024-05-28 Amir Abboud , Nick Fischer , Zander Kelley , Shachar Lovett , Raghu Meka

It is known since the 1970s that no more than 23 multiplications are required for computing the product of two 3 x 3-matrices. It is not known whether this can also be done with fewer multiplications. However, there are several mutually…

Symbolic Computation · Computer Science 2019-05-27 Marijn J. H. Heule , Manuel Kauers , Martina Seidl

In the classical transformer attention scheme, we are given three $n \times d$ size matrices $Q, K, V$ (the query, key, and value tokens), and the goal is to compute a new $n \times d$ size matrix $D^{-1} \exp(QK^\top) V$ where $D =…

Data Structures and Algorithms · Computer Science 2023-10-09 Josh Alman , Zhao Song

We will use commutators to provide decompositions of $3\times 3$ matrices as sums whose terms satisfy some polynomial identities, and we apply them to bounded linear operators and endomorphisms of free modules of infinite rank. In…

Rings and Algebras · Mathematics 2022-09-08 Simion Breaz , Cristian Rafiliu

In this paper, the canonical polyadic (CP) decomposition of tensors that corresponds to matrix multiplications is studied. Finding the rank of these tensors and computing the decompositions is a fundamental problem of algebraic complexity…

Computational Complexity · Computer Science 2021-04-13 Petr Tichavsky

When a group acts on a set, it naturally partitions it into orbits, giving rise to orbit problems. These are natural algorithmic problems, as symmetries are central in numerous questions and structures in physics, mathematics, computer…

Computational Complexity · Computer Science 2025-10-14 Peter Bürgisser , Mahmut Levent Doğan , Visu Makam , Michael Walter , Avi Wigderson

Unlike common devices based on ring resonators, the structure in Fig. 1.a involves not only 2$\times$2 couplers but also a 3$\times$3 coupler, which means that a 3$\times$3 transfer matrix approach is required to model the system. To the…

Optics · Physics 2022-02-01 Matteo Cherchi

Matrix multiplication (hereafter we use the acronym MM) is among the most fundamental operations of modern computations. The efficiency of its performance depends on various factors, in particular vectorization, data movement and arithmetic…

Data Structures and Algorithms · Computer Science 2015-02-09 Victor Y. Pan

We present new algorithms to detect and correct errors in the product of two matrices, or the inverse of a matrix, over an arbitrary field. Our algorithms do not require any additional information or encoding other than the original inputs…

Symbolic Computation · Computer Science 2018-02-08 Daniel S. Roche

Computing the simulation preorder of a given Kripke structure (i.e., a directed graph with $n$ labeled vertices) has crucial applications in model checking of temporal logic. It amounts to solving a specific two-players reachability game,…

Computational Complexity · Computer Science 2016-08-31 Massimo Cairo , Romeo Rizzi

We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup…

Group Theory · Mathematics 2015-08-12 Alexei Myasnikov , Andrey Nikolaev , Alexander Ushakov

We propose a more accurate variant of an algorithm for multiplying 4x4 matrices using 48 multiplications over any ring containing an inverse of 2. This algorithm has an error bound exponent of only log 4 $\gamma$$\infty$,2 $\approx$ 2.386.…

Data Structures and Algorithms · Computer Science 2026-03-20 Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic

For vertices $u$ and $v$ of an $n$-vertex graph $G$, a $uv$-trail of $G$ is an induced $uv$-path of $G$ that is not a shortest $uv$-path of $G$. Berger, Seymour, and Spirkl [Discrete Mathematics 2021] gave the previously only known…

Data Structures and Algorithms · Computer Science 2024-10-02 Yung-Chung Chiu , Hsueh-I Lu

Until a few years ago, the fastest known matrix multiplication algorithm, due to Coppersmith and Winograd (1990), ran in time $O(n^{2.3755})$. Recently, a surge of activity by Stothers, Vassilevska-Williams, and Le Gall has led to an…

Computational Complexity · Computer Science 2021-10-05 Andris Ambainis , Yuval Filmus , François Le Gall

There have been several algorithms designed to optimise matrix multiplication. From schoolbook method with complexity $O(n^3)$ to advanced tensor-based tools with time complexity $O(n^{2.3728639})$ (lowest possible bound achieved), a lot of…

Data Structures and Algorithms · Computer Science 2019-01-30 Shrohan Mohapatra

We consider the techniques behind the current best algorithms for matrix multiplication. Our results are threefold. (1) We provide a unifying framework, showing that all known matrix multiplication running times since 1986 can be achieved…

Computational Complexity · Computer Science 2017-12-21 Josh Alman , Virginia Vassilevska Williams

The multiplication of matrices is an important arithmetic operation in computational mathematics. In the context of hierarchical matrices, this operation can be realized by the multiplication of structured block-wise low-rank matrices,…

Numerical Analysis · Mathematics 2018-05-24 Jürgen Dölz , Helmut Harbrecht , Michael D. Multerer

Multiplicities of periodic orbit lengths for non-arithmetic Hecke triangle groups are discussed. It is demonstrated both numerically and analytically that at least for certain groups the mean multiplicity of periodic orbits with exactly the…

Chaotic Dynamics · Physics 2009-11-10 Eugene Bogomolny , Charles Schmit

We present an algorithm for the following problem. Given a triangulated 3-manifold M and a (possibly non-simple) closed curve on the boundary of M, decide whether this curve is contractible in M. Our algorithm runs in space polynomial in…

Computational Geometry · Computer Science 2020-01-15 Éric Colin de Verdière , Salman Parsa

In this article, we investigate short topological decompositions of non-orientable surfaces and provide algorithms to compute them. Our main result is a polynomial-time algorithm that for any graph embedded in a non-orientable surface…

Computational Geometry · Computer Science 2022-03-15 Niloufar Fuladi , Alfredo Hubard , Arnaud de Mesmay