Solvability of Matrix-Exponential Equations
@article{Ouaknine2016SolvabilityOM, title={Solvability of Matrix-Exponential Equations}, author={J. Ouaknine and A. Pouly and J. S. Pinto and J. Worrell}, journal={2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, year={2016}, pages={1-9} }
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\begin{equation*} \prod\limits_{i = 1}^k {\exp ({A_i}{t_i})} = C. \end{equation*}We show that this problem is undecidable in general, but decidable under the assumption… CONTINUE READING
Supplemental Presentations
Topics from this paper
2 Citations
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond
- Computer Science, Mathematics
- ArXiv
- 2019
- PDF
On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond
- Mathematics, Computer Science
- MFCS
- 2019
- 5
- PDF