On a conjecture about the absence of an initial balanced pair for Pisot substitutions

Víctor F. Sirvent, Štěpán Starosta

Sellami and Sirvent conjectured that the balanced pair algorithm fails for the following pair of Pisot substitutions: \[ φ_0: \begin{array}{l} a \mapsto abc b \mapsto a c \mapsto a…