Identity bases for finite cyclic semigroups
We provide explicit identity bases for finite cyclic semigroups.
Researcher profile
Mikhail V. Volkov
Mikhail V. Volkov contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - Emerging
10works
0followers
4topics
4close collaborators
Actions
Decide how to stay connected
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
10 published item(s)
preprint2026arXiv
List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
We survey results in the literature that establish the Černý conjecture for various classes of finite automata. We also list classes for which the conjecture remains open, but a quadratic (in the number of states) upper bound on the minimum length of reset words is known. The results presented reflect the state of the art as of January 13, 2026.
0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv
Catalan monoids inherently nonfinitely based relative to finite $\mathcal{R}$-trivial semigroups
We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite $\mathcal{R}$-trivial semigroup. This provides unified proofs for several known facts and leads to a bunch of new results on the Finite Basis Problem for finite $\mathcal{R}$- and $\mathcal{J}$-trivial semigroups.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Binary completely reachable automata
We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a polynomial-time algorithm for recognizing this class of automata.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Completely reachable automata: an interplay between automata, graphs, and trees
A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs and trees.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Identities of the stylic monoid
We observe that for each $n\ge 2$, the identities of the stylic monoid with $n$ generators coincide with the identities of $n$-generated monoids from other distinguished series of $\mathscr{J}$-trivial monoids studied in the literature, e.g., Catalan monoids and Kiselman monoids. This solves the Finite Basis Problem for stylic monoids.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Primitive digraphs with large exponents and slowly synchronizing automata
We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. All these automata are tightly related to primitive digraphs with large exponent.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Unary enhancements of inherently nonfinitely based semigroups
We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new examples of inherently nonfinitely based involutory semigroups. We also show that for finite regular semigroups, our condition is not only sufficient but also necessary for the property of being inherently nonfinitely based to persist. This leads to an algorithmic description of regular inherently nonfinitely based involutory semigroups.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A minimal nonfinitely based semigroup whose variety is polynomially recognizable
We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Slowly synchronizing automata and digraphs
We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. These automata are closely related to primitive digraphs with large exponent.
0 citations0 reviewsNo code linkedOpen access