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

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1145/2933575.2934538

Authors


More by this author
Institution:
University of Oxford
Oxford college:
St John's College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Oxford college:
St Cross College
Role:
Author
More by this author
Institution:
University of Oxford
Oxford college:
Green Templeton College
Role:
Author
More from this funder
Funding agency for:
Sousa Pinto, J
Expand funders...
Publisher:
ACM/IEEE Symposium on Logic in Computer Science Publisher's website
Journal:
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science Journal website
Host title:
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Publication date:
2016-08-01
Acceptance date:
2016-04-04
DOI:
Source identifiers:
619304
Keywords:
Pubs id:
pubs:619304
UUID:
uuid:b24e9e23-7fd3-418f-83bb-5820fa57f5d5
Local pid:
pubs:619304
Deposit date:
2016-08-11

Terms of use


Views and Downloads






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

TO TOP