Conference item

### Solvability of matrix-exponential equations

Abstract:

We consider a continuous analogue of (Babai et al. 1996)’s and (Cai et al. 2000)’s problem of solving multiplicative matrix equations. Given k + 1 square matrices A1,..., Ak, C, all of the same dimension, whose entries are real algebraic, we examine the problem of deciding whether there exist non-negative reals t1,..., tk such that k/Π/i=1 exp(Ai ti) = C. We show that this problem is undecidable in general, but decidable under the assumption that the matrices A1, ..., Ak commute. Our results ...

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

### Access Document

Files:
• (pdf, 333.1kb)
Publisher copy:
10.1145/2933575.2934538

### Authors

More by this author
Department:
St Johns College
More by this author
Department:
Oxford, MPLS, Computer Science
More by this author
Department:
St Cross College
More by this author
Department:
Green Templeton College
More from this funder
Funding agency for:
Sousa Pinto, J
Publisher:
ACM/IEEE Symposium on Logic in Computer Science Publisher's website
Publication date:
2016-08-05
Acceptance date:
2016-04-04
DOI:
Pubs id:
pubs:619304
URN:
uri:b24e9e23-7fd3-418f-83bb-5820fa57f5d5
UUID:
b24e9e23-7fd3-418f-83bb-5820fa57f5d5
Local pid:
pubs:619304
Keywords: