P. Semukhin

activity

20162026

most citedOn Reachability Problems for Low-Dimensional Matrix Semigroups

5 citations · 8 across the 3 of their papers we have counts for

collaborators

Showing cs.DMShow all

3 papers · 1 filter

cs.DM2023

On the Identity and Group Problems for Complex Heisenberg Matrices

Paul C. Bell, Reino Niskanen, Igor Potapov +1

We study the Identity Problem, the problem of determining if a finitely generated semigroup of matrices contains the identity matrix; see Problem 3 (Chapter 10.3) in ``Unsolved Pro…

cs.DM2019★ 3 cited

On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond

Paul C. Bell, Igor Potapov, Pavel Semukhin

We consider the following variant of the Mortality Problem: given $k \times k$ matrices $A_{1}, A_{2}, \dots, A_{t}$ , does there exist nonnegative integers $m_{1}, m_{2}, \dots, m_{t}$ such tha…

cs.DM2016

Decidability of the Membership Problem for $2 \times 2$ integer matrices

Igor Potapov, Pavel Semukhin

The main result of this paper is the decidability of the membership problem for $2 \times 2$ nonsingular integer matrices. Namely, we will construct the first algorithm that for any…

On the Identity and Group Problems for Complex Heisenberg Matrices

On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond

Decidability of the Membership Problem for 2×2 integer matrices

Decidability of the Membership Problem for $2 \times 2$ integer matrices