Expressive power of linear algebra query languages
Floris Geerts, Thomas Mu\~noz, Cristian Riveros, Domagoj Vrgo\v{c}

TL;DR
This paper extends the MATLANG query language with recursion to better express classical linear algebra algorithms, demonstrating its equivalence to arithmetic circuit families and linking sub-fragments to logical formalisms.
Contribution
It introduces recursion into MATLANG, enhancing its expressive power to encompass key linear algebra algorithms and connecting it to arithmetic circuits and logical formalisms.
Findings
Recursion in MATLANG captures classical linear algebra algorithms.
Language fragments correspond to logical formalisms on semiring relations.
Expressive power aligns with arithmetic circuit families.
Abstract
Linear algebra algorithms often require some sort of iteration or recursion as is illustrated by standard algorithms for Gaussian elimination, matrix inversion, and transitive closure. A key characteristic shared by these algorithms is that they allow looping for a number of steps that is bounded by the matrix dimension. In this paper we extend the matrix query language MATLANG with this type of recursion, and show that this suffices to express classical linear algebra algorithms. We study the expressive power of this language and show that it naturally corresponds to arithmetic circuit families, which are often said to capture linear algebra. Furthermore, we analyze several sub-fragments of our language, and show that their expressive power is closely tied to logical formalisms on semiring-annotated relations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
