Source author record

Pavel Semukhin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Formal Languages and Automata Theory Computation and Language Computational Complexity Discrete Mathematics

Catalog footprint

Research overview

3works

4topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

We show the surprising result that the cutpoint isolation problem is decidable for Probabilistic Finite Automata (PFA) where input words are taken from a letter-bounded context-free language. A context-free language $\mathcal{L}$ is letter-bounded when $\mathcal{L} \subseteq a_1^*a_2^* \cdots a_\ell^*$ for some finite $\ell > 0$ where each letter is distinct. A cutpoint is isolated when it cannot be approached arbitrarily closely. The decidability of this problem is in marked contrast to the situation for the (strict) emptiness problem for PFA which is undecidable under the even more severe restrictions of PFA with polynomial ambiguity, commutative matrices and input over a letter-bounded language as well as to the injectivity problem which is undecidable for PFA over letter-bounded languages. We provide a constructive nondeterministic algorithm to solve the cutpoint isolation problem, which holds even when the PFA is exponentially ambiguous. We also show that the problem is at least NP-hard and use our decision procedure to solve several related problems.

preprint2016arXiv

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

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 nonsingular $2\times 2$ integer matrices $M_1,\dots,M_n$ and $M$ decides whether $M$ belongs to the semigroup generated by $\{M_1,\dots,M_n\}$ . Our algorithm relies on a translation of the numerical problem on matrices into combinatorial problems on words. It also makes use of some algebraical properties of well-known subgroups of $\mathrm{GL}(2,\mathbb{Z})$ and various new techniques and constructions that help to limit an infinite number of possibilities by reducing them to the membership problem for regular languages.

preprint2016arXiv

Vector Reachability Problem in $\mathrm{SL}(2,\mathbb{Z})$

The decision problems on matrices were intensively studied for many decades as matrix products play an essential role in the representation of various computational processes. However, many computational problems for matrix semigroups are inherently difficult to solve even for problems in low dimensions and most matrix semigroup problems become undecidable in general starting from dimension three or four. This paper solves two open problems about the decidability of the vector reachability problem over a finitely generated semigroup of matrices from $\mathrm{SL}(2,\mathbb{Z})$ and the point to point reachability (over rational numbers) for fractional linear transformations, where associated matrices are from $\mathrm{SL}(2,\mathbb{Z})$ . The approach to solving reachability problems is based on the characterization of reachability paths between points which is followed by the translation of numerical problems on matrices into computational and combinatorial problems on words and formal languages. We also give a geometric interpretation of reachability paths and extend the decidability results to matrix products represented by arbitrary labelled directed graphs. Finally, we will use this technique to prove that a special case of the scalar reachability problem is decidable.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pavel Semukhin

Research overview

Is this your work?

3 publications

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

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

Vector Reachability Problem in $\mathrm{SL}(2,\mathbb{Z})$

See the researcher in context

Building this map preview

Pavel Semukhin

Research overview

Is this your work?

3 publications

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

Decidability of the Membership Problem for 2×22\times 22×2 integer matrices

Vector Reachability Problem in SL(2,Z)\mathrm{SL}(2,\mathbb{Z})SL(2,Z)

See the researcher in context

Building this map preview

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

Vector Reachability Problem in $\mathrm{SL}(2,\mathbb{Z})$