10 research outputs found
Algebraic synchronization criterion and computing reset words
We refine a uniform algebraic approach for deriving upper bounds on reset
thresholds of synchronizing automata. We express the condition that an
automaton is synchronizing in terms of linear algebra, and obtain upper bounds
for the reset thresholds of automata with a short word of a small rank. The
results are applied to make several improvements in the area.
We improve the best general upper bound for reset thresholds of finite prefix
codes (Huffman codes): we show that an -state synchronizing decoder has a
reset word of length at most . In addition to that, we prove
that the expected reset threshold of a uniformly random synchronizing binary
-state decoder is at most . We also show that for any non-unary
alphabet there exist decoders whose reset threshold is in .
We prove the \v{C}ern\'{y} conjecture for -state automata with a letter of
rank at most . In another corollary, based on the recent
results of Nicaud, we show that the probability that the \v{C}ern\'y conjecture
does not hold for a random synchronizing binary automaton is exponentially
small in terms of the number of states, and also that the expected value of the
reset threshold of an -state random synchronizing binary automaton is at
most .
Moreover, reset words of lengths within all of our bounds are computable in
polynomial time. We present suitable algorithms for this task for various
classes of automata, such as (quasi-)one-cluster and (quasi-)Eulerian automata,
for which our results can be applied.Comment: 18 pages, 2 figure
Algebraic synchronization criterion and computing reset words
We refine results about relations between Markov chains and synchronizing automata. We express the condition that an automaton is synchronizing in terms of linear algebra, and obtain upper bounds for the reset thresholds of automata with a short word of a small rank. The results are applied to make several improvements in the area. We improve the best general upper bound for reset thresholds of finite prefix codes (Huffman codes): we show that an n-state synchronizing decoder has a reset word of length at most O(n log3 n). Also, we prove the Černý conjecture for n-state automata with a letter of rank at most 3√6n-6. In another corollary, based on the recent results of Nicaud, we show that the probability that the Čern conjecture does not hold for a random synchronizing binary automaton is exponentially small in terms of the number of states. It follows that the expected value of the reset threshold of an n-state random synchronizing binary automaton is at most n7/4+o(1). Moreover, reset words of the lengths within our bounds are computable in polynomial time. We present suitable algorithms for this task for various classes of automata for which our results can be applied. These include (quasi-)one-cluster and (quasi-)Eulerian automata. © Springer-Verlag Berlin Heidelberg 2015
Algebraic synchronization criterion and computing reset words
We refine a uniform algebraic approach for deriving upper bounds on reset thresholds of synchronizing automata. We express the condition that an automaton is synchronizing in terms of linear algebra, and obtain new upper bounds for automata with a short word of small rank. The results are applied to make several improvements in the area. In particular, we improve the upper bound for reset thresholds of finite prefix codes (Huffman codes): we show that an n-state synchronizing decoder has a reset word of length at most O(nlog3n). In addition to that, we prove that the expected reset threshold of a uniformly random synchronizing binary n-state decoder is at most O(nlog n). We prove the Černý conjecture for n-state automata with a letter of rank ≤6n−63. In another corollary, we show that the probability that the Černý conjecture does not hold for a random synchronizing binary automaton is exponentially small in terms of the number of states, and that the expected value of the reset threshold is at most n3/2+o(1). Moreover, all of our bounds are constructible. We present suitable polynomial algorithms for the task of finding a reset word of length within our bounds. © 201
Preimage problems for deterministic finite automata
Given a subset of states of a deterministic finite automaton and a word
, the preimage is the subset of all states mapped to a state in by the
action of . We study three natural problems concerning words giving certain
preimages. The first problem is whether, for a given subset, there exists a
word \emph{extending} the subset (giving a larger preimage). The second problem
is whether there exists a \emph{totally extending} word (giving the whole set
of states as a preimage)---equivalently, whether there exists an
\emph{avoiding} word for the complementary subset. The third problem is whether
there exists a \emph{resizing} word. We also consider variants where the length
of the word is upper bounded, where the size of the given subset is restricted,
and where the automaton is strongly connected, synchronizing, or binary. We
conclude with a summary of the complexities in all combinations of the cases