Loading…

The Billaud Conjecture for |Σ| = 4, and beyond

The Billaud Conjecture, first stated in 1993, is a fundamental problem on finite words and their heirs, i.e., the words obtained by a projection deleting a single letter. The conjecture states that every morphically primitive word, i.e., a word which is not a fixed point of any non-identity morphism...

Full description

Saved in:
Bibliographic Details
Main Authors: Szymon Lopaciuk, Daniel Reidenbach
Format: Default Conference proceeding
Published: 2022
Subjects:
Online Access:https://hdl.handle.net/2134/19907065.v1
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1818165949802479616
author Szymon Lopaciuk
Daniel Reidenbach
author_facet Szymon Lopaciuk
Daniel Reidenbach
author_sort Szymon Lopaciuk (7050638)
collection Figshare
description The Billaud Conjecture, first stated in 1993, is a fundamental problem on finite words and their heirs, i.e., the words obtained by a projection deleting a single letter. The conjecture states that every morphically primitive word, i.e., a word which is not a fixed point of any non-identity morphism, has at least one morphically primitive heir. In this paper we give the proof of the Conjecture for alphabet size 4, and discuss the potential for generalising our reasoning to larger alphabets. We briefly discuss how other language-theoretic tools relate to the Conjecture, and their suitability for potential generalisations.
format Default
Conference proceeding
id rr-article-19907065
institution Loughborough University
publishDate 2022
record_format Figshare
spelling rr-article-199070652022-05-06T00:00:00Z The Billaud Conjecture for |Σ| = 4, and beyond Szymon Lopaciuk (7050638) Daniel Reidenbach (1256598) Billaud Conjecture Morphic primitivity Fixed point <p>The Billaud Conjecture, first stated in 1993, is a fundamental problem on finite words and their heirs, i.e., the words obtained by a projection deleting a single letter. The conjecture states that every morphically primitive word, i.e., a word which is not a fixed point of any non-identity morphism, has at least one morphically primitive heir. In this paper we give the proof of the Conjecture for alphabet size 4, and discuss the potential for generalising our reasoning to larger alphabets. We briefly discuss how other language-theoretic tools relate to the Conjecture, and their suitability for potential generalisations.</p> 2022-05-06T00:00:00Z Text Conference contribution 2134/19907065.v1 https://figshare.com/articles/conference_contribution/The_Billaud_Conjecture_for_4_and_beyond/19907065 All Rights Reserved
spellingShingle Billaud Conjecture
Morphic primitivity
Fixed point
Szymon Lopaciuk
Daniel Reidenbach
The Billaud Conjecture for |Σ| = 4, and beyond
title The Billaud Conjecture for |Σ| = 4, and beyond
title_full The Billaud Conjecture for |Σ| = 4, and beyond
title_fullStr The Billaud Conjecture for |Σ| = 4, and beyond
title_full_unstemmed The Billaud Conjecture for |Σ| = 4, and beyond
title_short The Billaud Conjecture for |Σ| = 4, and beyond
title_sort billaud conjecture for |σ| = 4, and beyond
topic Billaud Conjecture
Morphic primitivity
Fixed point
url https://hdl.handle.net/2134/19907065.v1