61 research outputs found
The characteristic polynomial of the Adams operators on graded connected Hopf algebras
The Adams operators on a Hopf algebra are the convolution powers
of the identity of . We study the Adams operators when is graded
connected. They are also called Hopf powers or Sweedler powers. The main result
is a complete description of the characteristic polynomial (both eigenvalues
and their multiplicities) for the action of the operator on each
homogeneous component of . The eigenvalues are powers of . The
multiplicities are independent of , and in fact only depend on the dimension
sequence of . These results apply in particular to the antipode of (the
case ). We obtain closed forms for the generating function of the
sequence of traces of the Adams operators. In the case of the antipode, the
generating function bears a particularly simple relationship to the one for the
dimension sequence. In case H is cofree, we give an alternative description for
the characteristic polynomial and the trace of the antipode in terms of certain
palindromic words. We discuss parallel results that hold for Hopf monoids in
species and -Hopf algebras.Comment: 36 pages; two appendice
Sturmian morphisms, the braid group B_4, Christoffel words and bases of F_2
We give a presentation by generators and relations of a certain monoid
generating a subgroup of index two in the group Aut(F_2) of automorphisms of
the rank two free group F_2 and show that it can be realized as a monoid in the
group B_4 of braids on four strings. In the second part we use Christoffel
words to construct an explicit basis of F_2 lifting any given basis of the free
abelian group Z^2. We further give an algorithm allowing to decide whether two
elements of F_2 form a basis or not. We also show that, under suitable
conditions, a basis has a unique conjugate consisting of two palindromes.Comment: 25 pages, 4 figure
Palindromic Length of Words with Many Periodic Palindromes
The palindromic length of a finite word is the minimal
number of palindromes whose concatenation is equal to . In 2013, Frid,
Puzynina, and Zamboni conjectured that: If is an infinite word and is
an integer such that for every factor of then
is ultimately periodic.
Suppose that is an infinite word and is an integer such
for every factor of . Let be the set
of all factors of that have more than
palindromic prefixes. We show that is an infinite set and we show
that for each positive integer there are palindromes and a word such that is a factor of and is nonempty. Note
that is a periodic word and is a palindrome for each . These results justify the following question: What is the palindromic
length of a concatenation of a suffix of and a periodic word with
"many" periodic palindromes?
It is known that ,
where and are nonempty words. The main result of our article shows that
if are palindromes, is nonempty, is a nonempty suffix of ,
is the minimal period of , and is a positive integer
with then
Sturmian numeration systems and decompositions to palindromes
We extend the classical Ostrowski numeration systems, closely related to
Sturmian words, by allowing a wider range of coefficients, so that possible
representations of a number better reflect the structure of the associated
Sturmian word. In particular, this extended numeration system helps to catch
occurrences of palindromes in a characteristic Sturmian word and thus to prove
for Sturmian words the following conjecture stated in 2013 by Puzynina, Zamboni
and the author: If a word is not periodic, then for every it has a prefix
which cannot be decomposed to a concatenation of at most palindromes.Comment: Submitted to European Journal of Combinatoric
On the almost-palindromic width of free groups
We answer a question of Bardakov (Kourovka Notebook, Problem 19.8) which asks
for the existence of a pair of natural numbers with the property that
every element in the free group on the two-element set can be
represented as a concatenation of , or fewer, -almost-palindromes in
letters . Here, an -almost-palindrome is a word which
can be obtained from a palindrome by changing at most letters. We show that
no such pair exists. In fact, we show that the analogous result holds
for all non-abelian free groups.Comment: 5 pages, no figure
Constructions of words rich in palindromes and pseudopalindromes
A narrow connection between infinite binary words rich in classical
palindromes and infinite binary words rich simultaneously in palindromes and
pseudopalindromes (the so-called -rich words) is demonstrated.
The correspondence between rich and -rich words is based on the operation
acting over words over the alphabet and defined by
, where .
The operation enables us to construct a new class of rich words and a new
class of -rich words.
Finally, the operation is considered on the multiliteral alphabet
as well and applied to the generalized Thue--Morse words. As a
byproduct, new binary rich and -rich words are obtained by application of
on the generalized Thue--Morse words over the alphabet .Comment: 26 page
- …