なぜ、4と5のあいだなのか
今回の研究により「こんがらがり具合」を数字の表で見分けられるかどうかの最後のラインが確定しました。
「3本まで翻訳が完璧だと、5本以上では異なる組みひもを同じ行列に写す例が現れる」という4が抜けた状態から、「4本まで翻訳が完璧で、5本以上でそうした取り違えが起こる」という抜けのない結果が完成したのです。
意味は、はっきりしています。
4本の組みひもについては、理論上は、対応する数字の表を見比べれば、組みひもとして同じかどうかを判定できます。
表が一致したなら、元も必ず同じということが、今回はじめて保証されたことです。
共著者の一人タラ・ブレンドル氏（グラスゴー大学）は、この4と5の境界を水が凍る瞬間にたとえています。
0度という一点を境に、水はまったく別の性質を持つ物質になります。
つまり組みひもも同じで、4本と5本のあいだで何かが相転移して、翻訳機能が壊れてしまうというわけです。
コラム：4と5の壁は数学のいたるところに存在する
数学では4と5の間に大きな壁がある事例がいくつか知られています。最も有名なのは、5次方程式にルートを使った解の公式が存在しないことでしょう。4次方程式までならルートを重ねながらなんとか表記できますが、5次からはそれができなくなってしまうのです。他の手法を使った解の公式なら存在しますが、根号を重ねていくという馴染みの手が、5次からは急に通じなくなるわけです。私たちにとって何気ない「4」と「5」には思ったより深い謎が隠されているのかもしれません。
なお余談ですが、著者の一人ジョーン・バーマンさん（99歳）は少女のころ、祖母と編み物をしていたそうです。
指先でひもを交差させるその遊びが数学につながると知ったのは、ずっとあとの、大学院に入ってからでした。
ブラウがこの謎を残した1935年、バーマンさんはまだ8歳の子どもでした。
謎とほとんど同い年の彼女が、2人の仲間とともに、最後の一マスを埋めたのです。
ひもをたどる指先は、少女の日から今日まで、止まっていなかったのかもしれません。
専門家向け補足：今回の証明はどこを押さえたのか
今回の論文で証明された主張は、古典的組みひも群の4本の場合、つまり B4 に対する Burau representation（ブラウ表現）が faithful（忠実）である、という一点にあります。
ここでいう忠実とは、異なる組みひもが表現の中で同じものに潰れない、という意味です。論文では主に unreduced Burau representation（非簡約ブラウ表現）を扱い、それを以後単にBurau表現と呼ぶとしています。
したがって、本文で「4本の組みひもは行列で見分けられる」と書く場合、それは「B4のBurau表現が忠実である」という定理の言い換えです。
また、この結果からB4のJones representation（ジョーンズ表現）も忠実であることが直ちに従う、と論文は述べています。
ただしこれはJones polynomial（ジョーンズ多項式）がすべての結び目を完全に区別する、という話ではありません。
対象はあくまでB4の表現です。
本文でも述べたように3本の場合の忠実性はMagnusとPelusoが1969年に代数的に証明していました。
その後、Moodyが9本以上では不忠実であることを示し、Long–Patonがそれを6本以上へ広げ、Bigelowが5本の場合も不忠実であることを示しました。
そのため、4本だけが最後の空白として残っていました。
今回の論文の意義は、5本以上で使われた「不忠実性を見つける」方向の技術を、4本ではむしろ「不忠実性が起こらない」ことを示す方向へ組み替えた点にあります。
論文自身も、従来のρ4を不忠実と示そうとする試みとは対照的なアプローチだと述べています。
証明の土台になるのは、Longの定理による還元です。
著者らは、点を1つ忘れる写像の核として得られる point-pushing subgroup（点押し部分群）を考え、その交わりである Brunnian group（ブルンニアン群）に注目します。
Longの定理により、もしBurau表現がB4全体で不忠実なら、その核はこのBrunnian群にも非自明に現れることになります。したがって、B4全体を直接相手にする代わりに、Brunnian群上で忠実性を示せば十分になります。
この還元があるため、証明は「任意の4本組みひもを全部なめる」力技ではなく、核が潜むなら必ず現れる場所を絞り込む議論になっています。
そのうえで著者らは、Moody polynomial（ムーディー多項式）を使います。
これは固定した青い弧αと、組みひもの作用で動かされた赤い弧βの交差を読み取り、それぞれの交差に符号と段階を与える道具です。重要なのは、同じ段階に反対符号の項が来ると打ち消しが起こり、記録がゼロに近づくことです。
論文では、この交差記録を被覆空間の言葉から平面上の図形へ読み替え、交差がどの段階に属するか、同じ段階の交差が再び現れる条件は何かを追跡します。
Moodyの結果により、この多項式はBurau表現の忠実性を調べるための障害として働きます。
3本の場合には、この障害を消すための規則がきれいに働きます。
青い弧と赤い弧に挟まれてできるdisk（ディスク：点を含む小領域）が奇数個の点を含むと符号が変わり、偶数個なら符号が保たれる、という parity condition（偶奇条件）が成り立つからです。
この条件が成り立つと、同じ段階に現れる項は同じ符号になり、反対符号による打ち消しが起きません。論文はまずこの見方で3本の場合の新しい位相的証明を与え、そこから4本の場合へ進みます。
4本になると、この偶奇条件は一般には自動で成り立ちません。
そこで著者らは、point-pushing braid（点押し組みひも）を proper product（適切な積）という形に整え、そのdisk sequence（ディスク列）を詳しく調べます。
すると、証明に必要な状況では、偶奇条件を破る可能性のあるディスクは「4つすべての点を含むディスク」だけに絞られます。ここで登場するのが、記事本文でいう「5本目」です。著者らはD4をD5の中に埋め込み、追加の点p5を置きます。
そしてK5の中のpush-mapを選び、4点ディスクを5点ディスクに置き換えます。これにより、符号が変わるという性質は保ったまま、含まれる点の個数が4から5に変わり、偶奇条件と整合するようになります。
ここで注意すべきなのは、5本のBurau表現が忠実になったわけではない、という点です。
5本の場合が不忠実であるというBigelowの結果はそのまま残ります。今回の5本目は、B5の忠実性に頼るためではなく、B4の中で偶奇条件を壊していた局所的な例外を、B5の中で検査できる形に変換するために使われています。
実際、論文では、追加したpush-map Γと、もとの4本の動きを埋め込んだものにΓを加えたものの双方が偶奇条件を満たすようにし、そのうえでMoody多項式が一致しないことを示します。
Moodyの判定により、埋め込まれたf(Φ)はρ5の核に入らず、したがってもとのΦもρ4の核には入らない、と結論されます。
またこの方法がそのまま任意本数へ広がるわけでもありません。
論文は、同じ発想で偶奇条件を破るディスクを順に補正すること自体は考えられるが、その場合、補正に使うpush-mapの積そのものが偶奇条件を満たすとは限らない、と述べています。
4本の場合には、補正すべきディスクの型が一種類だけで、1つのpush-mapで足りることが決定的でした。つまり今回の証明は、単に「4を5に増やす」一般技法ではなく、4本の場合にだけ残る例外の小ささを使い切った証明です。
さらに論文は、忠実性の最後のケースは解決された一方で、Burau表現のkernel（核）やimage（像）を一般に有用な形で特徴づける問題は、なお大きく開かれていると述べています。
