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 We show that this problem is undecidable in general, but decidable under the assumption that the matrices A1, ..., Ak commute. Our results have applications to r...

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

### Access Document

Files:
• (pdf, 172.2KB)
Publisher copy:
10.1145/2933575.2934538

### Authors

More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
More by this author
Department:
Green Templeton College
Role:
Author
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2016-07-05
Acceptance date:
2016-04-04
DOI:
ISSN:
1043-6871
Pubs id:
pubs:593811
URN:
uri:81df8e97-aa74-4803-bb6c-c83c37ef9daf
UUID:
uuid:81df8e97-aa74-4803-bb6c-c83c37ef9daf
Local pid:
pubs:593811
Keywords: