247,990 research outputs found
A Coloring Problem for Infinite Words
In this paper we consider the following question in the spirit of Ramsey
theory: Given where is a finite non-empty set, does there
exist a finite coloring of the non-empty factors of with the property that
no factorization of is monochromatic? We prove that this question has a
positive answer using two colors for almost all words relative to the standard
Bernoulli measure on We also show that it has a positive answer for
various classes of uniformly recurrent words, including all aperiodic balanced
words, and all words satisfying
for all sufficiently large, where denotes the number of
distinct factors of of length Comment: arXiv admin note: incorporates 1301.526
Deep Captioning with Multimodal Recurrent Neural Networks (m-RNN)
In this paper, we present a multimodal Recurrent Neural Network (m-RNN) model
for generating novel image captions. It directly models the probability
distribution of generating a word given previous words and an image. Image
captions are generated by sampling from this distribution. The model consists
of two sub-networks: a deep recurrent neural network for sentences and a deep
convolutional network for images. These two sub-networks interact with each
other in a multimodal layer to form the whole m-RNN model. The effectiveness of
our model is validated on four benchmark datasets (IAPR TC-12, Flickr 8K,
Flickr 30K and MS COCO). Our model outperforms the state-of-the-art methods. In
addition, we apply the m-RNN model to retrieval tasks for retrieving images or
sentences, and achieves significant performance improvement over the
state-of-the-art methods which directly optimize the ranking objective function
for retrieval. The project page of this work is:
www.stat.ucla.edu/~junhua.mao/m-RNN.html .Comment: Add a simple strategy to boost the performance of image captioning
task significantly. More details are shown in Section 8 of the paper. The
code and related data are available at https://github.com/mjhucla/mRNN-CR ;.
arXiv admin note: substantial text overlap with arXiv:1410.109
Extremal properties of (epi)Sturmian sequences and distribution modulo 1
Starting from a study of Y. Bugeaud and A. Dubickas (2005) on a question in
distribution of real numbers modulo 1 via combinatorics on words, we survey
some combinatorial properties of (epi)Sturmian sequences and distribution
modulo 1 in connection to their work. In particular we focus on extremal
properties of (epi)Sturmian sequences, some of which have been rediscovered
several times
Infinite and Bi-infinite Words with Decidable Monadic Theories
We study word structures of the form where is either
or , is the natural linear ordering on and
is a predicate on . In particular we show:
(a) The set of recursive -words with decidable monadic second order
theories is -complete.
(b) Known characterisations of the -words with decidable monadic
second order theories are transfered to the corresponding question for
bi-infinite words.
(c) We show that such "tame" predicates exist in every Turing degree.
(d) We determine, for , the number of predicates
such that and
are indistinguishable.
Through these results we demonstrate similarities and differences between
logical properties of infinite and bi-infinite words
Deciding the value 1 problem for probabilistic leaktight automata
The value 1 problem is a decision problem for probabilistic automata over
finite words: given a probabilistic automaton, are there words accepted with
probability arbitrarily close to 1? This problem was proved undecidable
recently; to overcome this, several classes of probabilistic automata of
different nature were proposed, for which the value 1 problem has been shown
decidable. In this paper, we introduce yet another class of probabilistic
automata, called leaktight automata, which strictly subsumes all classes of
probabilistic automata whose value 1 problem is known to be decidable. We prove
that for leaktight automata, the value 1 problem is decidable (in fact,
PSPACE-complete) by constructing a saturation algorithm based on the
computation of a monoid abstracting the behaviours of the automaton. We rely on
algebraic techniques developed by Simon to prove that this abstraction is
complete. Furthermore, we adapt this saturation algorithm to decide whether an
automaton is leaktight. Finally, we show a reduction allowing to extend our
decidability results from finite words to infinite ones, implying that the
value 1 problem for probabilistic leaktight parity automata is decidable
Anti-Powers in Infinite Words
In combinatorics of words, a concatenation of consecutive equal blocks is
called a power of order . In this paper we take a different point of view
and define an anti-power of order as a concatenation of consecutive
pairwise distinct blocks of the same length. As a main result, we show that
every infinite word contains powers of any order or anti-powers of any order.
That is, the existence of powers or anti-powers is an unavoidable regularity.
Indeed, we prove a stronger result, which relates the density of anti-powers to
the existence of a factor that occurs with arbitrary exponent. As a
consequence, we show that in every aperiodic uniformly recurrent word,
anti-powers of every order begin at every position. We further show that every
infinite word avoiding anti-powers of order is ultimately periodic, while
there exist aperiodic words avoiding anti-powers of order . We also show
that there exist aperiodic recurrent words avoiding anti-powers of order .Comment: Revision submitted to Journal of Combinatorial Theory Series
Specular sets
We introduce the notion of specular sets which are subsets of groups called
here specular and which form a natural generalization of free groups. These
sets are an abstract generalization of the natural codings of linear
involutions. We prove several results concerning the subgroups generated by
return words and by maximal bifix codes in these sets.Comment: arXiv admin note: substantial text overlap with arXiv:1405.352
- …