Showing 1–39 of 39 results for author: Currie, J

Low complexity binary words avoiding $(5/2)^+$-powers

Authors: Narad Rampersad, James Currie

Abstract: Rote words are infinite words that contain $2n$ factors of length $n$ for every $n \geq 1$. Shallit and Shur, as well as Ollinger and Shallit, showed that there are Rote words that avoid $(5/2)^+$-powers and that this is best possible. In this note we give a structure theorem for the Rote words that avoid $(5/2)^+$-powers, confirming a conjecture of Ollinger and Shallit. Rote words are infinite words that contain $2n$ factors of length $n$ for every $n \geq 1$. Shallit and Shur, as well as Ollinger and Shallit, showed that there are Rote words that avoid $(5/2)^+$-powers and that this is best possible. In this note we give a structure theorem for the Rote words that avoid $(5/2)^+$-powers, confirming a conjecture of Ollinger and Shallit. △ Less

Submitted 23 June, 2025; originally announced June 2025.

Comments: 7 pages

MSC Class: 68R15

The repetition threshold for ternary rich words

Authors: James D. Currie, Lucas Mol, Jarkko Peltomäki

Abstract: In 2017, Vesti proposed the problem of determining the repetition threshold for infinite rich words, i.e., for infinite words in which all factors of length $n$ contain $n$ distinct nonempty palindromic factors. In 2020, Currie, Mol, and Rampersad proved a conjecture of Baranwal and Shallit that the repetition threshold for binary rich words is $2 + \sqrt{2}/2$. In this paper, we prove a structure… ▽ More In 2017, Vesti proposed the problem of determining the repetition threshold for infinite rich words, i.e., for infinite words in which all factors of length $n$ contain $n$ distinct nonempty palindromic factors. In 2020, Currie, Mol, and Rampersad proved a conjecture of Baranwal and Shallit that the repetition threshold for binary rich words is $2 + \sqrt{2}/2$. In this paper, we prove a structure theorem for $16/7$-power-free ternary rich words. Using the structure theorem, we deduce that the repetition threshold for ternary rich words is $1 + 1/(3 - μ) \approx 2.25876324$, where $μ$ is the unique real root of the polynomial $x^3 - 2x^2 - 1$. △ Less

Submitted 30 May, 2025; v1 submitted 18 September, 2024; originally announced September 2024.

Comments: 59 pages

MSC Class: 68R15

A small morphism giving Abelian repetition threshold less than 2

Authors: James D. Currie, Narad Rampersad

Abstract: It is known that there are infinite words over finite alphabets with Abelian repetition threshold arbitrarily close to 1; however, the construction previously used involves huge alphabets. In this note we give a short cyclic morphism (length 13) over an 8-letter alphabet yielding an Abelian repetition threshold less than 1.8. It is known that there are infinite words over finite alphabets with Abelian repetition threshold arbitrarily close to 1; however, the construction previously used involves huge alphabets. In this note we give a short cyclic morphism (length 13) over an 8-letter alphabet yielding an Abelian repetition threshold less than 1.8. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 12 pages

MSC Class: 68R15

The analogue of overlap-freeness for the Fibonacci morphism

Authors: James D. Currie, Narad Rampersad

Abstract: A $4^-$-power is a non-empty word of the form $XXXX^-$, where $X^-$ is obtained from $X$ by erasing the last letter. A binary word is called {\em faux-bonacci} if it contains no $4^-$-powers, and no factor 11. We show that faux-bonacci words bear the same relationship to the Fibonacci morphism that overlap-free words bear to the Thue-Morse morphism. We prove the analogue of Fife's Theorem for faux… ▽ More A $4^-$-power is a non-empty word of the form $XXXX^-$, where $X^-$ is obtained from $X$ by erasing the last letter. A binary word is called {\em faux-bonacci} if it contains no $4^-$-powers, and no factor 11. We show that faux-bonacci words bear the same relationship to the Fibonacci morphism that overlap-free words bear to the Thue-Morse morphism. We prove the analogue of Fife's Theorem for faux-bonacci words, and characterize the lexicographically least and greatest infinite faux-bonacci words. △ Less

Submitted 21 November, 2023; originally announced November 2023.

MSC Class: 68R15

The analogue of overlap-freeness for the period-doubling sequence

Authors: James D. Currie

Abstract: Good words are binary words avoiding factors 11 and 1001, and patterns 0000 and 00010100. We show that good words bear the same relationship to the period-doubling sequence that overlap-free words bear to the Thue-Morse sequence. We prove an analogue of Fife's Theorem for good words, exhibit the lexicographically least and greatest infinite good words, and determine the patterns avoided by the per… ▽ More Good words are binary words avoiding factors 11 and 1001, and patterns 0000 and 00010100. We show that good words bear the same relationship to the period-doubling sequence that overlap-free words bear to the Thue-Morse sequence. We prove an analogue of Fife's Theorem for good words, exhibit the lexicographically least and greatest infinite good words, and determine the patterns avoided by the period doubling word. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Comments: 34 pages, 2 figures

MSC Class: 68R15

Complement Avoidance in Binary Words

Authors: James Currie, L'ubomíra Dvořaková, Pascal Ochem, Daniela Opočenská, Narad Rampersad, Jeffrey Shallit

Abstract: The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of $\bf w$ then $\overline{x}$ is not a factor of $\bf w$. In particular, we classify such words according to their critical exponents. The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of $\bf w$ then $\overline{x}$ is not a factor of $\bf w$. In particular, we classify such words according to their critical exponents. △ Less

Submitted 12 March, 2023; v1 submitted 20 September, 2022; originally announced September 2022.

Antisquares and Critical Exponents

Authors: Aseem Baranwal, James Currie, Lucas Mol, Pascal Ochem, Narad Rampersad, Jeffrey Shallit

Abstract: The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing… ▽ More The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing exactly two distinct antisquares is $(5+\sqrt{5})/2$. We also study repetition thresholds for related classes, where "two" in the previous sentence is replaced by a larger number. We say a binary word is $\textit{good}$ if the only antisquares it contains are $01$ and $10$. We characterize the minimal antisquares, that is, those words that are antisquares but all proper factors are good. We determine the growth rate of the number of good words of length $n$ and determine the repetition threshold between polynomial and exponential growth for the number of good words. △ Less

Submitted 24 August, 2023; v1 submitted 19 September, 2022; originally announced September 2022.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (September 6, 2023) dmtcs:10063

Properties of a Ternary Infinite Word

Authors: James Currie, Pascal Ochem, Narad Rampersad, Jeffrey Shallit

Abstract: We study the properties of the ternary infinite word p = 012102101021012101021012 ... , that is, the fixed point of the map h:0->01, 1->21, 2->0. We determine its factor complexity, critical exponent, and prove that it is 2-balanced. We compute its abelian complexity and determine the lengths of its bispecial factors. Finally, we give a characterization of p in terms of avoided factors. We study the properties of the ternary infinite word p = 012102101021012101021012 ... , that is, the fixed point of the map h:0->01, 1->21, 2->0. We determine its factor complexity, critical exponent, and prove that it is 2-balanced. We compute its abelian complexity and determine the lengths of its bispecial factors. Finally, we give a characterization of p in terms of avoided factors. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Extending Dekking's construction of an infinite binary word avoiding abelian $4$-powers

Authors: James Currie, Lucas Mol, Narad Rampersad, Jeffrey Shallit

Abstract: We construct an infinite binary word with critical exponent 3 that avoids abelian 4-powers. Our method gives an algorithm to determine if certain types of morphic sequences avoid additive powers. We also show that there are $Ω(1.172^n)$ binary words of length $n$ that avoid abelian 4-powers, which improves on previous estimates. We construct an infinite binary word with critical exponent 3 that avoids abelian 4-powers. Our method gives an algorithm to determine if certain types of morphic sequences avoid additive powers. We also show that there are $Ω(1.172^n)$ binary words of length $n$ that avoid abelian 4-powers, which improves on previous estimates. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Comments: 11 pages

MSC Class: 68R15

The undirected repetition threshold and undirected pattern avoidance

Authors: James D. Currie, Lucas Mol

Abstract: For a rational number $r$ such that $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where the word $x$ is nonempty, the word $x'$ is in $\{x,x^R\}$, and we have $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$ letters, denoted $\mbox{URT}(k)$, is the infimum of the set of all $r$ such that undirected $r$-powers are avoidable on $k$ letters. We first demonstrate that… ▽ More For a rational number $r$ such that $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where the word $x$ is nonempty, the word $x'$ is in $\{x,x^R\}$, and we have $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$ letters, denoted $\mbox{URT}(k)$, is the infimum of the set of all $r$ such that undirected $r$-powers are avoidable on $k$ letters. We first demonstrate that $\mbox{URT}(3)=\tfrac{7}{4}$. Then we show that $\mbox{URT}(k)\geq \tfrac{k-1}{k-2}$ for all $k\geq 4$. We conjecture that $\mbox{URT}(k)=\tfrac{k-1}{k-2}$ for all $k\geq 4$, and we confirm this conjecture for $k\in\{4,5,\ldots,21\}.$ We then consider related problems in pattern avoidance; in particular, we find the undirected avoidability index of every binary pattern. This is an extended version of a paper presented at WORDS 2019, and it contains new and improved results. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1904.10029

MSC Class: 68R15

Characterization of the lengths of binary circular words containing no squares other than 00, 11, and 0101

Authors: James D. Currie, Jesse T. Johnson

Abstract: We characterize exactly the lengths of binary circular words containing no squares other than 00, 11, and 0101. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences We characterize exactly the lengths of binary circular words containing no squares other than 00, 11, and 0101. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 12 pages, 4 tables. arXiv admin note: text overlap with arXiv:2005.06235

MSC Class: 68R15

There are level ternary circular square-free words of length $n$ for $n\ne 5,7,9,10,14,17.$

Authors: James D. Currie, Jesse T. Johnson

Abstract: A word is level if each letter appears in it the same number of times, plus or minus 1. We give a complete characterization of the lengths for which level ternary circular square-free words exist. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences A word is level if each letter appears in it the same number of times, plus or minus 1. We give a complete characterization of the lengths for which level ternary circular square-free words exist. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences △ Less

Submitted 19 May, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 24 pages, 4 figures, 3 tables

MSC Class: 68R15

The Number of Threshold Words on $n$ Letters Grows Exponentially for Every $n\geq 27$

Authors: James D. Currie, Lucas Mol, Narad Rampersad

Abstract: For every $n\geq 27$, we show that the number of $n/(n-1)^+$-free words (i.e., threshold words) of length $k$ on $n$ letters grows exponentially in $k$. This settles all but finitely many cases of a conjecture of Ochem. For every $n\geq 27$, we show that the number of $n/(n-1)^+$-free words (i.e., threshold words) of length $k$ on $n$ letters grows exponentially in $k$. This settles all but finitely many cases of a conjecture of Ochem. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Comments: 13 pages

MSC Class: 68R15

The repetition threshold for binary rich words

Authors: James D. Currie, Lucas Mol, Narad Rampersad

Abstract: A word of length $n$ is rich if it contains $n$ nonempty palindromic factors. An infinite word is rich if all of its finite factors are rich. Baranwal and Shallit produced an infinite binary rich word with critical exponent $2+\sqrt{2}/2$ ($\approx 2.707$) and conjectured that this was the least possible critical exponent for infinite binary rich words (i.e., that the repetition threshold for bina… ▽ More A word of length $n$ is rich if it contains $n$ nonempty palindromic factors. An infinite word is rich if all of its finite factors are rich. Baranwal and Shallit produced an infinite binary rich word with critical exponent $2+\sqrt{2}/2$ ($\approx 2.707$) and conjectured that this was the least possible critical exponent for infinite binary rich words (i.e., that the repetition threshold for binary rich words is $2+\sqrt{2}/2$). In this article, we give a structure theorem for infinite binary rich words that avoid $14/5$-powers (i.e., repetitions with exponent at least 2.8). As a consequence, we deduce that the repetition threshold for binary rich words is $2+\sqrt{2}/2$, as conjectured by Baranwal and Shallit. This resolves an open problem of Vesti for the binary alphabet; the problem remains open for larger alphabets. △ Less

Submitted 6 February, 2020; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 16 pages

MSC Class: 68R15

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Analysis of Algorithms (February 24, 2020) dmtcs:5791

The undirected repetition threshold

Authors: James D. Currie, Lucas Mol

Abstract: For rational $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where $x$ is nonempty, $x'\in\{x,x^\mathrm{R}\}$, and $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$ letters, denoted $\mathrm{URT}(k)$, is the infimum of the set of all $r$ such that undirected $r$-powers are avoidable on $k$ letters. We first demonstrate that $\mathrm{URT}(3)=\tfrac{7}{4}$. Then we show… ▽ More For rational $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where $x$ is nonempty, $x'\in\{x,x^\mathrm{R}\}$, and $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$ letters, denoted $\mathrm{URT}(k)$, is the infimum of the set of all $r$ such that undirected $r$-powers are avoidable on $k$ letters. We first demonstrate that $\mathrm{URT}(3)=\tfrac{7}{4}$. Then we show that $\mathrm{URT}(k)\geq \tfrac{k-1}{k-2}$ for all $k\geq 4$. We conjecture that $\mathrm{URT}(k)=\tfrac{k-1}{k-2}$ for all $k\geq 4$, and we confirm this conjecture for $k\in\{4,8,12\}.$ △ Less

Submitted 3 June, 2019; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: 16 pages. Accepted to the WORDS 2019 conference. This version includes minor changes suggested by the anonymous referees

MSC Class: 68R15

Some further results on squarefree arithmetic progressions in infinite words

Authors: James Currie, Tero Harju, Pascal Ochem, Narad Rampersad

Abstract: In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results. In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results. △ Less

Submitted 18 January, 2019; originally announced January 2019.

Comments: 13 pages, 2 figures

MSC Class: 68R15

On some problems of Harju concerning squarefree arithmetic progressions in infinite words

Authors: James Currie, Narad Rampersad

Abstract: In a recent paper, Harju posed three open problems concerning square-free arithmetic progressions in infinite words. In this note we solve two of them. In a recent paper, Harju posed three open problems concerning square-free arithmetic progressions in infinite words. In this note we solve two of them. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 4 pages

MSC Class: 68R15

Circular repetition thresholds on some small alphabets: Last cases of Gorbunova's conjecture

Authors: James D. Currie, Lucas Mol, Narad Rampersad

Abstract: A word is called $β$-free if it has no factors of exponent greater than or equal to $β$. The repetition threshold $\mathrm{RT}(k)$ is the infimum of the set of all $β$ such that there are arbitrarily long $k$-ary $β$-free words (or equivalently, there are $k$-ary $β$-free words of every sufficiently large length, or even every length). These three equivalent definitions of the repetition threshold… ▽ More A word is called $β$-free if it has no factors of exponent greater than or equal to $β$. The repetition threshold $\mathrm{RT}(k)$ is the infimum of the set of all $β$ such that there are arbitrarily long $k$-ary $β$-free words (or equivalently, there are $k$-ary $β$-free words of every sufficiently large length, or even every length). These three equivalent definitions of the repetition threshold give rise to three natural definitions of a repetition threshold for circular words. The infimum of the set of all $β$ such that - there are arbitrarily long $k$-ary $β$-free circular words is called the weak circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{W}}(k)$; - there are $k$-ary $β$-free circular words of every sufficiently large length is called the intermediate circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{I}}(k)$; - there are $k$-ary $β$-free circular words of every length is called the strong circular repetition threshold, denoted $\mathrm{CRT}_{\mathrm{S}}(k)$. We prove that $\mathrm{CRT}_{\mathrm{S}}(4)=\tfrac{3}{2}$ and $\mathrm{CRT}_{\mathrm{S}}(5)=\tfrac{4}{3}$, confirming a conjecture of Gorbunova and providing the last unknown values of the strong circular repetition threshold. We also prove that $\mathrm{CRT}_{\mathrm{I}}(3)=\mathrm{CRT}_{\mathrm{W}}(3)=\mathrm{RT}(3)=\tfrac{7}{4}$. △ Less

Submitted 29 May, 2018; v1 submitted 21 March, 2018; originally announced March 2018.

Comments: 27 pages (including a 6 page appendix). As promised in an earlier version, we have added a proof that the strong circular repetition threshold for five letters is 4/3, completing the last case of Gorbunova's conjecture

MSC Class: 68R15

Avoidance bases for formulas with reversal

Authors: James Currie, Lucas Mol, Narad Rampersad

Abstract: In the interest of studying formulas with reversal of high avoidability index, we find $n$-avoidance bases for formulas with reversal for $n\in\{1,2,3\}$. We demonstrate that there is a unique formula with reversal in each of these three bases of highest avoidability index $n+2$; these formulas are $xx$, $xyx\cdot y^R$, and $xyzx\cdot y^R\cdot z^R$, which belong to an infinite family of formulas w… ▽ More In the interest of studying formulas with reversal of high avoidability index, we find $n$-avoidance bases for formulas with reversal for $n\in\{1,2,3\}$. We demonstrate that there is a unique formula with reversal in each of these three bases of highest avoidability index $n+2$; these formulas are $xx$, $xyx\cdot y^R$, and $xyzx\cdot y^R\cdot z^R$, which belong to an infinite family of formulas with reversal that has been the subject of recent study by the authors. △ Less

Submitted 12 April, 2018; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: 23 pages, version 2 contains minor revisions suggested by reviewers

MSC Class: 68R15

On avoidability of formulas with reversal

Authors: James Daniel Currie, Lucas Mol, Narad Rampersad

Abstract: While a characterization of unavoidable formulas (without reversal) is well-known, little is known about the avoidability of formulas with reversal in general. In this article, we characterize the unavoidable formulas with reversal that have at most two one-way variables ($x$ is a one-way variable in formula with reversal $φ$ if exactly one of $x$ and $x^R$ appears in $φ$). While a characterization of unavoidable formulas (without reversal) is well-known, little is known about the avoidability of formulas with reversal in general. In this article, we characterize the unavoidable formulas with reversal that have at most two one-way variables ($x$ is a one-way variable in formula with reversal $φ$ if exactly one of $x$ and $x^R$ appears in $φ$). △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 14 pages

MSC Class: 68R15

Journal ref: RAIRO - Theor. Inform. Appl., online first, 2018

A family of formulas with reversal of high avoidability index

Authors: James Currie, Lucas Mol, Narad Rampersad

Abstract: We present an infinite family of formulas with reversal whose avoidability index is bounded between 4 and 5, and we show that several members of the family have avoidability index 5. This family is particularly interesting due to its size and the simple structure of its members. For each $k\in\{4,5\}$, there are several previously known avoidable formulas (without reversal) of avoidability index… ▽ More We present an infinite family of formulas with reversal whose avoidability index is bounded between 4 and 5, and we show that several members of the family have avoidability index 5. This family is particularly interesting due to its size and the simple structure of its members. For each $k\in\{4,5\}$, there are several previously known avoidable formulas (without reversal) of avoidability index $k$, but they are small in number and they all have rather complex structure. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 19 pages

MSC Class: 68R15

Journal ref: Internat. J. Algebra Comput. 27(5): 477-494 (2017)

Chromatic properties of the Euclidean plane

Authors: James D. Currie, Roger B. Eggleton

Abstract: Let $G$ be the unit distance graph in the plane. A well-known problem in combinatorial geometry is that of determining the chromatic number of $G$. It is known that $4\le χ(G)\le 7$. The upper bound of 7 is obtained using tilings of the plane. The present paper studies two problems where we seek proper colourings of $G$, adding restrictions inspired by tilings: Let $H(ε)$ be the graph whose vert… ▽ More Let $G$ be the unit distance graph in the plane. A well-known problem in combinatorial geometry is that of determining the chromatic number of $G$. It is known that $4\le χ(G)\le 7$. The upper bound of 7 is obtained using tilings of the plane. The present paper studies two problems where we seek proper colourings of $G$, adding restrictions inspired by tilings: Let $H(ε)$ be the graph whose vertices are the points of ${\mathbb R}^2$, with an edge between two points if their distance lies in the interval $[1,1+ε]$. We show that for small $ε$, $0<ε\le \frac{3\sqrt{2}}{4}-1$, we have $6\le χ(H(ε))\le 7$. This improves the result of Exoo and Grytczuk et al. that $5\le χ(H(ε))$ for small $ε$. Suppose that $G$ is properly coloured, but so that two solidly coloured regions meet along a straight line in some neighbourhood. Then at least 5 colours must be used. △ Less

Submitted 24 March, 2016; v1 submitted 11 September, 2015; originally announced September 2015.

Comments: 11 pages, 6 figures. Reference to Grytczuk et al. added, March 22, 2016

Binary words avoiding xx^Rx and strongly unimodal sequences

Authors: James D. Currie, Narad Rampersad

Abstract: In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between… ▽ More In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between the set of binary words avoiding xx^Rx and a class of sequences closely related to the class of "strongly unimodal sequences." △ Less

Submitted 12 August, 2015; originally announced August 2015.

Comments: 4 pages

MSC Class: 68R15

Avoidability index for binary patterns with reversal

Authors: James D. Currie, Philip Lafrance

Abstract: For every pattern $p$ over the alphabet $\{x,y,x^R,y^R\}$, we specify the least $k$ such that $p$ is $k$-avoidable. For every pattern $p$ over the alphabet $\{x,y,x^R,y^R\}$, we specify the least $k$ such that $p$ is $k$-avoidable. △ Less

Submitted 21 August, 2015; v1 submitted 9 August, 2015; originally announced August 2015.

Comments: 15 pages, 1 figure

MSC Class: 68R15

Suffix conjugates for a class of morphic subshifts

Authors: James D. Currie, Narad Rampersad, Kalle Saari

Abstract: Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^ω(α), where α is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^ω(α) and T: X --> X is the shift map. Let S be a finite alphabet that is in bijective correspondence via a mapping c with the set of nonempty suffixes of the images f(a) for a in A. Let calS be a subset S^N be the s… ▽ More Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^ω(α), where α is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^ω(α) and T: X --> X is the shift map. Let S be a finite alphabet that is in bijective correspondence via a mapping c with the set of nonempty suffixes of the images f(a) for a in A. Let calS be a subset S^N be the set of infinite words s = (s_n)_{n\geq 0} such that π(s):= c(s_0)f(c(s_1)) f^2(c(s_2))... is in X. We show that if f is primitive and f(A) is a suffix code, then there exists a mapping H: calS --> calS such that (calS, H) is a topological dynamical system and π: (calS, H) --> (X, T) is a conjugacy; we call (calS, H) the suffix conjugate of (X, T). In the special case when f is the Fibonacci or the Thue-Morse morphism, we show that the subshift (calS, T) is sofic, that is, the language of calS is regular. △ Less

Submitted 19 July, 2013; originally announced July 2013.

Journal ref: Ergod. Th. Dynam. Sys. 35 (2014) 1767-1782

Extremal words in morphic subshifts

Authors: James D. Currie, Narad Rampersad, Kalle Saari, Luca Q. Zamboni

Abstract: Given an infinite word X over an alphabet A a letter b occurring in X, and a total order σon A, we call the smallest word with respect to σstarting with b in the shift orbit closure of X an extremal word of X. In this paper we consider the extremal words of morphic words. If X = g(f^ω(a)) for some morphisms f and g, we give two simple conditions on f and g that guarantees that all extremal words a… ▽ More Given an infinite word X over an alphabet A a letter b occurring in X, and a total order σon A, we call the smallest word with respect to σstarting with b in the shift orbit closure of X an extremal word of X. In this paper we consider the extremal words of morphic words. If X = g(f^ω(a)) for some morphisms f and g, we give two simple conditions on f and g that guarantees that all extremal words are morphic. This happens, in particular, when X is a primitive morphic or a binary pure morphic word. Our techniques provide characterizations of the extremal words of the Period-doubling word and the Chacon word and give a new proof of the form of the lexicographically least word in the shift orbit closure of the Rudin-Shapiro word. △ Less

Submitted 19 July, 2013; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: Replaces a previous version entitled "Extremal words in the shift orbit closure of a morphic sequence" with an added result on primitive morphic sequences. Submitted

Infinite ternary square-free words concatenated from permutations of a single word

Authors: James D. Currie

Abstract: We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad. We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad. △ Less

Submitted 19 July, 2012; v1 submitted 14 July, 2012; originally announced July 2012.

MSC Class: 68R15

Avoiding Three Consecutive Blocks of the Same Size and Same Sum

Authors: Julien Cassaigne, James D. Currie, Luke Schaeffer, Jeffrey Shallit

Abstract: We show that there exists an infinite word over the alphabet {0, 1, 3, 4} containing no three consecutive blocks of the same size and the same sum. This answers an open problem of Pirillo and Varricchio from 1994. We show that there exists an infinite word over the alphabet {0, 1, 3, 4} containing no three consecutive blocks of the same size and the same sum. This answers an open problem of Pirillo and Varricchio from 1994. △ Less

Submitted 9 August, 2011; v1 submitted 26 June, 2011; originally announced June 2011.

Fixed points avoiding Abelian $k$-powers

Authors: James D. Currie, Narad Rampersad

Abstract: We show that the problem of whether the fixed point of a morphism avoids Abelian $k$-powers is decidable under rather general conditions We show that the problem of whether the fixed point of a morphism avoids Abelian $k$-powers is decidable under rather general conditions △ Less

Submitted 4 July, 2011; v1 submitted 9 June, 2011; originally announced June 2011.

MSC Class: 68R15

Recurrent words with constant Abelian complexity

Authors: James Currie, Narad Rampersad

Abstract: We prove the non-existence of recurrent words with constant Abelian complexity containing 4 or more distinct letters. This answers a question of Richomme et al. We prove the non-existence of recurrent words with constant Abelian complexity containing 4 or more distinct letters. This answers a question of Richomme et al. △ Less

Submitted 26 November, 2009; originally announced November 2009.

MSC Class: 68R15

Lexicographically least words in the orbit closure of the Rudin-Shapiro word

Authors: James D. Currie

Abstract: We give an effective characterization of the lexicographically least word in the orbit closure of the Rudin-Shapiro word w having a specified prefix. In particular, the lexicographically least word in the orbit closure of the Rudin-Shapiro word is 0w. This answers a question Allouche et al. We give an effective characterization of the lexicographically least word in the orbit closure of the Rudin-Shapiro word w having a specified prefix. In particular, the lexicographically least word in the orbit closure of the Rudin-Shapiro word is 0w. This answers a question Allouche et al. △ Less

Submitted 4 October, 2010; v1 submitted 29 May, 2009; originally announced May 2009.

Comments: 9 pages

A proof of Dejean's conjecture

Authors: James Currie, Narad Rampersad

Abstract: We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26. We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26. △ Less

Submitted 22 May, 2009; v1 submitted 7 May, 2009; originally announced May 2009.

Comments: proof details added

MSC Class: 68R15

Dejean's conjecture holds for n>=27

Authors: James Currie, Narad Rampersad

Abstract: We show that Dejean's conjecture holds for n>=27. This brings the final resolution of the conjecture by the approach of Moulin Ollagnier within range of the computationally feasible. We show that Dejean's conjecture holds for n>=27. This brings the final resolution of the conjecture by the approach of Moulin Ollagnier within range of the computationally feasible. △ Less

Submitted 9 July, 2009; v1 submitted 21 January, 2009; originally announced January 2009.

Comments: minor revisions

MSC Class: 68R15

There are k-uniform cubefree binary morphisms for all k >= 0

Authors: James Currie, Narad Rampersad

Abstract: A word is cubefree if it contains no non-empty subword of the form xxx. A morphism h : Sigma^* -> Sigma^* is k-uniform if h(a) has length k for all a in Sigma. A morphism is cubefree if it maps cubefree words to cubefree words. We show that for all k >= 0 there exists a k-uniform cubefree binary morphism. A word is cubefree if it contains no non-empty subword of the form xxx. A morphism h : Sigma^* -> Sigma^* is k-uniform if h(a) has length k for all a in Sigma. A morphism is cubefree if it maps cubefree words to cubefree words. We show that for all k >= 0 there exists a k-uniform cubefree binary morphism. △ Less

Submitted 23 December, 2008; originally announced December 2008.

Comments: 5 pages

MSC Class: 68R15

Cubefree words with many squares

Authors: James Currie, Narad Rampersad

Abstract: We construct infinite cubefree binary words containing exponentially many distinct squares of length n. We also show that for every positive integer n, there is a cubefree binary square of length 2n. We construct infinite cubefree binary words containing exponentially many distinct squares of length n. We also show that for every positive integer n, there is a cubefree binary square of length 2n. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 6 pages

MSC Class: 68R15

Dejean's conjecture holds for n >= 30

Authors: James Currie, Narad Rampersad

Abstract: We extend Carpi's results by showing that Dejean's conjecture holds for n >= 30. We extend Carpi's results by showing that Dejean's conjecture holds for n >= 30. △ Less

Submitted 6 January, 2009; v1 submitted 30 May, 2008; originally announced June 2008.

Comments: introductory material added, minor corrections, 6 pages

MSC Class: 68R15

Infinite words containing squares at every position

Authors: James D. Currie, Narad Rampersad

Abstract: Richomme asked the following question: what is the infimum of the real numbers $α$ > 2 such that there exists an infinite word that avoids $α$-powers but contains arbitrarily large squares beginning at every position? We resolve this question in the case of a binary alphabet by showing that the answer is $α$ = 7/3. Richomme asked the following question: what is the infimum of the real numbers $α$ > 2 such that there exists an infinite word that avoids $α$-powers but contains arbitrarily large squares beginning at every position? We resolve this question in the case of a binary alphabet by showing that the answer is $α$ = 7/3. △ Less

Submitted 4 April, 2008; v1 submitted 7 March, 2008; originally announced March 2008.

Comments: 12 pages; minor revisions and clarifications

MSC Class: 68R15

For each $α$ > 2 there is an infinite binary word with critical exponent $α$

Authors: James D. Currie, Narad Rampersad

Abstract: For each $α> 2$ there is a binary word with critical exponent $α$. For each $α> 2$ there is a binary word with critical exponent $α$. △ Less

Submitted 27 February, 2008; originally announced February 2008.

Comments: 5 pages

MSC Class: 68R15

Binary words containing infinitely many overlaps

Authors: James Currie, Narad Rampersad, Jeffrey Shallit

Abstract: We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps. We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps. △ Less

Submitted 16 November, 2005; originally announced November 2005.

Comments: 9 pages

MSC Class: 68R15