Mathematical Foundations of the GraphBLAS

06/18/2016
by   Jeremy Kepner, et al.
0

The GraphBLAS standard (GraphBlas.org) is being developed to bring the potential of matrix based graph algorithms to the broadest possible audience. Mathematically the Graph- BLAS defines a core set of matrix-based graph operations that can be used to implement a wide class of graph algorithms in a wide range of programming environments. This paper provides an introduction to the mathematics of the GraphBLAS. Graphs represent connections between vertices with edges. Matrices can represent a wide range of graphs using adjacency matrices or incidence matrices. Adjacency matrices are often easier to analyze while incidence matrices are often better for representing data. Fortunately, the two are easily connected by matrix mul- tiplication. A key feature of matrix mathematics is that a very small number of matrix operations can be used to manipulate a very wide range of graphs. This composability of small number of operations is the foundation of the GraphBLAS. A standard such as the GraphBLAS can only be effective if it has low performance overhead. Performance measurements of prototype GraphBLAS implementations indicate that the overhead is low.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/01/2019

RedisGraph GraphBLAS Enabled Graph Database

RedisGraph is a Redis module developed by Redis Labs to add graph databa...
research
09/04/2023

Random Projections of Sparse Adjacency Matrices

We analyze a random projection method for adjacency matrices, studying i...
research
03/16/2020

When Can Matrix Query Languages Discern Matrices?

We investigate when two graphs, represented by their adjacency matrices,...
research
03/28/2021

Mathematics of Digital Hyperspace

Social media, e-commerce, streaming video, e-mail, cloud documents, web ...
research
04/24/2018

On the construction of sparse matrices from expander graphs

We revisit the asymptotic analysis of probabilistic construction of adja...
research
09/04/2019

Topological Coding and Topological Matrices Toward Network Overall Security

A mathematical topology with matrix is a natural representation of a cod...
research
09/11/2017

Coin-flipping, ball-dropping, and grass-hopping for generating random graphs from matrices of edge probabilities

Common models for random graphs, such as Erdős-Rényi and Kronecker graph...

Please sign up or login with your details

Forgot password? Click here to reset