Conference item icon

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...

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

Actions


Access Document


Files:
Publisher copy:
10.1145/2933575.2934538

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Sousa-Pinto, J More by this author
More by this author
Department:
Green Templeton College
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

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP