In the realm of combinatorics on words, the concept of fractional powers and their avoidance has been a subject of extensive study, particularly when dealing with infinite alphabets. The problem of avoiding fractional powers extends beyond theoretical interest, with implications in various fields including formal language theory, pattern avoidance, and algorithm design.
A fractional power in stringology refers to a non-integer exponent of a word. For a word w and a real number r > 1, w^r denotes a fractional power if w^r consists of the prefix of w^r of length |w|r. For example, ababa can be viewed as (ab), representing a fractional power of 2.5.
Formally, let be an infinite alphabet, and let * denote the set of all finite words over . For a word w * and a real number r > 1, we say that a word x is a fractional r-th power of w if x = w^r = w^rw[1..(|w|(r-r))].
When working with infinite alphabets, the problem of avoiding fractional powers becomes significantly more nuanced. Unlike finite alphabets, where the pigeonhole principle often forces certain structures, infinite alphabets provide more freedom in constructing words that avoid specific patterns.
The key questions that emerge in this context include:
The study of power-free words originated with Thue's seminal work in the early 20th century. Thue demonstrated the existence of infinite words over a ternary alphabet that avoid cubes (words of the form xxx). This work laid the foundation for subsequent research on avoiding powers and fractional powers.
The extension to fractional powers was pioneered by researchers like Mignosi and Sbold, who established threshold values for different alphabets. The transition to infinite alphabets represents a natural evolution of this research direction.
Several theorems and results form the theoretical backbone of this field:
Theorem 1: For any infinite alphabet , there exists an infinite word over that avoids fractional r-powers for some r > 1.
Theorem 2: The supremum of exponents for which fractional powers can be avoided on infinite alphabets is 2.
These results establish that while some fractional powers can be avoided, there are limits to the exponents we can avoid, even with the flexibility offered by infinite alphabets.
Several methods have been developed for constructing words that avoid fractional powers on infinite alphabets:
The substitution method involves systematically replacing symbols with longer strings in a way that prevents the formation of fractional powers. For infinite alphabets, this can be extended by carefully managing symbol reuse.
Algorithmic approaches that build words character by character, always choosing a symbol that avoids creating fractional powers in the prefix, can be effective. With infinite alphabets, the greedy approach has more options at each step.
By defining morphisms on infinite alphabets with specific properties, researchers can generate infinite words that inherently avoid certain fractional powers. These morphisms must be carefully designed to maintain the avoidance property across iterations.
The study of avoiding fractional powers on infinite alphabets has several important applications:
Research in this area continues to evolve. Recent work has explored:
Despite the progress made, several intriguing open problems remain:
The study of avoiding fractional powers on infinite alphabets represents a rich intersection of combinatorics, formal languages, and algorithm design. While significant progress has been made in understanding the fundamental properties and developing construction techniques, the field continues to offer challenging problems that bridge theoretical and practical considerations.
As our understanding of these patterns deepens, we can expect to see new applications emerge across computer science and mathematics. The flexibility offered by infinite alphabets provides a unique perspective on power avoidance that continues to inspire innovative approaches and discoveries.
