Julian D'Costa

activity

20202026

collaborators

Showing cs.LOShow all

3 papers · 1 filter

cs.LO2026

Eventual Nonnegativity of a Matrix Is in P

Julian D'Costa

Given a rational matrix $A$ , is every sufficiently large power $A^{n}$ entrywise nonnegative? We prove that this problem is decidable in deterministic polynomial time. This is in con…

cs.LO2023

Nonnegativity Problems for Matrix Semigroups

Julian D'Costa, Joel Ouaknine, James Worrell

The matrix semigroup membership problem asks, given square matrices $M, M_{1}, \dots, M_{k}$ of the same dimension, whether $M$ lies in the semigroup generated by $M_{1}, \dots, M_{k}$ . It is…

cs.LO2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems

Julian D'Costa, Toghrul Karimov, Rupak Majumdar +3

We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-rea…