Graphical Quadratic Algebra
Logic in Computer Science
2025-09-04 v3 Category Theory
Optimization and Control
Abstract
Convex analysis and Gaussian probability are tightly connected, as mostly evident in the theory of linear regression. Our work introduces an algebraic perspective on such relationship, in the form of a diagrammatic calculus of string diagrams, called Graphical Quadratic Algebra (GQA). We show that GQA is a complete axiomatisation for the category of quadratic relations, a compositional formulation of quadratic problems. Moreover, we identify a sub-theory of GQA which is complete for the category of Gaussian probabilistic processes. We show how GQA may be used to study linear regression and probabilistic programming.
Cite
@article{arxiv.2403.02284,
title = {Graphical Quadratic Algebra},
author = {Dario Stein and Fabio Zanasi and Robin Piedeleu and Richard Samuelson},
journal= {arXiv preprint arXiv:2403.02284},
year = {2025}
}