Two-way unary automata versus logarithmic space

We show that each n-state unary 2nfa (a two-way nondeterministic finite automaton) can be simulated by an equivalent 2ufa (an unambiguous 2nfa) with a polynomial number of states. Moreover, if L = NL (the classical logarithmic space classes), then each unary 2nfa can be converted into an equivalent 2dfa (a deterministic two-way automaton), still keeping polynomial the number of states. This shows a connection between the standard logarithmic space complexity and the state complexity of two-way unary automata: it indicates that L could be separated from NL by proving a superpolynomial gap, in the number of states, for the conversion from unary 2NFAs to 2DFAs.