\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand*\HyPL@Entry[1]{}
\citation{T:thue-morse}
\citation{OEIS}
\citation{F:book}
\HyPL@Entry{0<</S/D>>}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\citation{CH:codim-one-attractors}
\citation{S:book}
\citation{BS:beta-numerations}
\citation{BG:book}
\citation{L:comp-sci-book}
\citation{BHZ:gap-labeling}
\citation{T:virology-tilings}
\citation{B:undecidability}
\citation{P:pentaplexity}
\citation{S:nobel}
\citation{AP}
\citation{ABBL:pisot}
\citation{F:book}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{3}{section.2}}
\newlabel{SEC:background}{{2}{3}{Background}{section.2}{}}
\citation{F:book}
\citation{P:thue-morse}
\citation{SW:bi-infinite}
\newlabel{EX:fibonacci}{{3}{4}{}{theorem.3}{}}
\newlabel{EX:thue-morse}{{4}{4}{}{theorem.4}{}}
\citation{D:period-doubling}
\citation{C:chacon-sub}
\newlabel{EX:period-doubling}{{6}{5}{}{theorem.6}{}}
\newlabel{EX:chacon}{{8}{5}{}{theorem.8}{}}
\citation{F:chacon}
\citation{MR:non-primitive}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The subshift and tiling space}{6}{subsection.2.1}}
\citation{F:book}
\newlabel{PROP:minimal}{{10}{7}{}{theorem.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A portion of the tiling associated with a Thue-Morse sequence.}}{7}{figure.1}}
\newlabel{FIG:tiling}{{1}{7}{A portion of the tiling associated with a Thue-Morse sequence}{figure.1}{}}
\citation{S:frequency}
\citation{LM:introduction-to-symbolic}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces The input of the substitution $a \DOTSB \mapstochar \rightarrow b, b \DOTSB \mapstochar \rightarrow ba$ into Grout.}}{8}{figure.2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Combinatorics and geometry}{8}{section.3}}
\newlabel{SEC:main}{{3}{8}{Combinatorics and geometry}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Substitution matrices and their properties}{8}{subsection.3.1}}
\newlabel{SEC:matrix}{{3.1}{8}{Substitution matrices and their properties}{subsection.3.1}{}}
\citation{BG:book}
\citation{R:rudin-shapiro}
\newlabel{EX:rudin-shapiro}{{16}{9}{}{theorem.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Enumerating $n$-letter words}{9}{subsection.3.2}}
\citation{MH:complexity}
\citation{F:book}
\citation{F:complexity}
\citation{J:complexity}
\citation{F:complexity2}
\citation{GSS:subword-complexity}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces The results of matrix calculations in Grout for the substitution $a \DOTSB \mapstochar \rightarrow b, b\DOTSB \mapstochar \rightarrow ba$.}}{10}{figure.3}}
\newlabel{FIG:matrix}{{3}{10}{The results of matrix calculations in Grout for the substitution $a \mapsto b, b\mapsto ba$}{figure.3}{}}
\citation{BD}
\citation{BG:book}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces The words results for the substitution $a \DOTSB \mapstochar \rightarrow b, b\DOTSB \mapstochar \rightarrow ba$ displayed in Grout.}}{11}{figure.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Barge-Diamond and Anderson-Putnam complexes}{11}{subsection.3.3}}
\newlabel{SEC:complexes}{{3.3}{11}{Barge-Diamond and Anderson-Putnam complexes}{subsection.3.3}{}}
\newlabel{EX:platinum}{{21}{11}{}{theorem.21}{}}
\citation{AP}
\citation{GM:multi-one-d}
\citation{R:rauzy-graphs}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces The Barge-Diamond complex for the platinum mean substitution.}}{12}{figure.5}}
\newlabel{FIG:BD}{{5}{12}{The Barge-Diamond complex for the platinum mean substitution}{figure.5}{}}
\newlabel{DEF:ap-complex}{{22}{12}{}{theorem.22}{}}
\citation{GM:multi-one-d}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces The Anderson-Putnam complex for the platinum mean substitution.}}{13}{figure.6}}
\newlabel{FIG:AP}{{6}{13}{The Anderson-Putnam complex for the platinum mean substitution}{figure.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Recognizability}{13}{subsection.3.4}}
\newlabel{SEC:recog}{{3.4}{13}{Recognizability}{subsection.3.4}{}}
\citation{M:aperiodic}
\citation{S:aperiodic}
\citation{D:derived-seqs}
\citation{HL:periodicity}
\citation{C:iterates-of-words}
\citation{ER:iterates-of-words}
\citation{S:book}
\citation{CE:book}
\newlabel{COR:recog}{{31}{15}{}{theorem.31}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces The recognizability results in Grout for the substitution $a \DOTSB \mapstochar \rightarrow b, b \DOTSB \mapstochar \rightarrow ba$.}}{15}{figure.7}}
\newlabel{EX:TM-return}{{32}{15}{}{theorem.32}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Cohomology of tiling spaces}{15}{section.4}}
\newlabel{SEC:cohomology}{{4}{15}{Cohomology of tiling spaces}{section.4}{}}
\citation{CE:book}
\citation{D:decomposable}
\newlabel{EX:TM-direct-limit}{{41}{17}{}{theorem.41}{}}
\citation{BH:shift-equivalence}
\citation{B:bott-tu}
\citation{BGG:substitutions}
\citation{BBJS:homological-pisot}
\citation{CS:shape}
\citation{BD}
\citation{AP}
\citation{DHS:return-words}
\citation{BD}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Via Barge-Diamond}{19}{subsection.4.1}}
\newlabel{COR:BD}{{44}{20}{}{theorem.44}{}}
\newlabel{EX:TM-BD}{{45}{20}{}{theorem.45}{}}
\citation{H:book}
\citation{AP}
\citation{GM:multi-one-d}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces The Barge-Diamond complex for the Thue-Morse substitution.}}{21}{figure.8}}
\newlabel{FIG:BD-TM}{{8}{21}{The Barge-Diamond complex for the Thue-Morse substitution}{figure.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Via Anderson-Putnam}{21}{subsection.4.2}}
\newlabel{SEC:ap-cohomology}{{4.2}{21}{Via Anderson-Putnam}{subsection.4.2}{}}
\citation{GM:multi-one-d}
\citation{AP}
\newlabel{THM:AP}{{47}{22}{}{theorem.47}{}}
\newlabel{EX:TM-AP}{{48}{23}{}{theorem.48}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces The AP complex for the Thue-Morse substitution.}}{23}{figure.9}}
\newlabel{FIG:AP-TM}{{9}{23}{The AP complex for the Thue-Morse substitution}{figure.9}{}}
\citation{DHS:return-words}
\citation{S:book}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Via properization}{24}{subsection.4.3}}
\newlabel{SEC:proper}{{4.3}{24}{Via properization}{subsection.4.3}{}}
\citation{DHS:return-words}
\citation{DL:properisation}
\citation{DHS:return-words}
\newlabel{COR:pre-left}{{52}{25}{}{theorem.52}{}}
\citation{D:derived-seqs}
\citation{ABBL:pisot}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces The properization results for the substitution $a \DOTSB \mapstochar \rightarrow b, b\DOTSB \mapstochar \rightarrow ba$ in Grout.}}{26}{figure.10}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces The cohomology results for the substitution $a \DOTSB \mapstochar \rightarrow b, b\DOTSB \mapstochar \rightarrow ba$ in Grout.}}{26}{figure.11}}
\newlabel{EX:TM-proper}{{54}{26}{}{theorem.54}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Pisot substitutions}{26}{section.5}}
\newlabel{SEC:pisot}{{5}{26}{Pisot substitutions}{section.5}{}}
\citation{BG:book}
\citation{R:rauzy-fractals}
\citation{S:flipped-tribonacci}
\citation{S:flipped-tribonacci}
\citation{BG:book}
\citation{BSW:pds}
\citation{CS:shape}
\citation{BSW:pds}
\newlabel{EX:Fib-coin}{{61}{28}{}{theorem.61}{}}
\citation{BD:pisot-coincidence}
\citation{S:pisot}
\citation{HS:pisot}
\citation{BD:pisot-coincidence}
\citation{B:pisot-beta-subs}
\citation{AGL:pisot}
\citation{BJS:arnoux-rauzy}
\citation{B:proper-bijective}
\citation{BBJS:homological-pisot}
\newlabel{THM:pure-discrete}{{62}{29}{}{theorem.62}{}}
\newlabel{scoin}{{66}{29}{Strong coincidence conjecture}{theorem.66}{}}
\citation{AGL:pisot}
\citation{L:factorising}
\citation{R:stack-exchange}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational search for counterexamples}{30}{subsection.5.1}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Number of iterations to produce a strong coincidence.}}{31}{table.1}}
\newlabel{Tab:strong-coincidence}{{1}{31}{Number of iterations to produce a strong coincidence}{table.1}{}}
\bibcite{ABBL:pisot}{1}
\bibcite{AGL:pisot}{2}
\bibcite{AP}{3}
\bibcite{BGG:substitutions}{4}
\bibcite{BG:book}{5}
\bibcite{B:proper-bijective}{6}
\bibcite{B:pisot-beta-subs}{7}
\bibcite{BBJS:homological-pisot}{8}
\bibcite{BD:pisot-coincidence}{9}
\@writefile{toc}{\contentsline {section}{\numberline {6}Supplementary resources}{32}{section.6}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Acknowledgments}{32}{section.7}}
\bibcite{BD}{10}
\bibcite{BSW:pds}{11}
\bibcite{BHZ:gap-labeling}{12}
\bibcite{B:undecidability}{13}
\bibcite{BJS:arnoux-rauzy}{14}
\bibcite{BS:beta-numerations}{15}
\bibcite{B:bott-tu}{16}
\bibcite{R:stack-exchange}{17}
\bibcite{BH:shift-equivalence}{18}
\bibcite{CE:book}{19}
\bibcite{C:chacon-sub}{20}
\bibcite{CH:codim-one-attractors}{21}
\bibcite{CS:shape}{22}
\bibcite{C:iterates-of-words}{23}
\bibcite{D:period-doubling}{24}
\bibcite{D:decomposable}{25}
\bibcite{D:derived-seqs}{26}
\bibcite{DHS:return-words}{27}
\bibcite{DL:properisation}{28}
\bibcite{ER:iterates-of-words}{29}
\bibcite{F:chacon}{30}
\bibcite{F:complexity}{31}
\bibcite{F:complexity2}{32}
\bibcite{F:book}{33}
\bibcite{GM:multi-one-d}{34}
\bibcite{GSS:subword-complexity}{35}
\bibcite{HL:periodicity}{36}
\bibcite{H:book}{37}
\bibcite{HS:pisot}{38}
\bibcite{J:complexity}{39}
\bibcite{L:comp-sci-book}{40}
\bibcite{L:factorising}{41}
\bibcite{LM:introduction-to-symbolic}{42}
\bibcite{MR:non-primitive}{43}
\bibcite{MH:complexity}{44}
\bibcite{M:aperiodic}{45}
\bibcite{P:pentaplexity}{46}
\bibcite{P:thue-morse}{47}
\bibcite{R:rauzy-fractals}{48}
\bibcite{R:rauzy-graphs}{49}
\bibcite{R:rudin-shapiro}{50}
\bibcite{S:frequency}{51}
\bibcite{S:book}{52}
\bibcite{SW:bi-infinite}{53}
\bibcite{S:nobel}{54}
\bibcite{S:flipped-tribonacci}{55}
\bibcite{OEIS}{56}
\bibcite{S:pisot}{57}
\bibcite{S:aperiodic}{58}
\bibcite{T:thue-morse}{59}
\bibcite{T:virology-tilings}{60}