When can matrix query languages discern matrices?

F Geerts - … Proceedings in Informatics.-Place of publication …, 2020 - repository.uantwerpen.be
LIPIcs: Leibniz International Proceedings in Informatics …, 2020repository.uantwerpen.be
We investigate when two graphs, represented by their adjacency matrices, can be
distinguished by means of sentences formed in MATLANG, a matrix query language which
supports a number of elementary linear algebra operators. When undirected graphs are
concerned, and hence the adjacency matrices are real and symmetric, precise
characterisations are in place when two graphs (ie, their adjacency matrices) can be
distinguished. Turning to directed graphs, one has to deal with asymmetric adjacency …
Abstract
We investigate when two graphs, represented by their adjacency matrices, can be distinguished by means of sentences formed in MATLANG, a matrix query language which supports a number of elementary linear algebra operators. When undirected graphs are concerned, and hence the adjacency matrices are real and symmetric, precise characterisations are in place when two graphs (ie, their adjacency matrices) can be distinguished. Turning to directed graphs, one has to deal with asymmetric adjacency matrices. This complicates matters. Indeed, it requires to understand the more general problem of when two arbitrary matrices can be distinguished in MATLANG. We provide characterisations of the distinguishing power of MATLANG on real and complex matrices, and on adjacency matrices of directed graphs in particular. The proof techniques are a combination of insights from the symmetric matrix case and results from linear algebra and linear control theory.
repository.uantwerpen.be
Showing the best result for this search. See all results