~ トポロジーとパーシステントホモロジー ~
はじめに
物体をスキャンするなどして得られた 3次元の点群から、もとの物体のかたちに関する情報を得るために、さまざまな方法が用いられます。
例えば、Arithmer では
3Dビジョンロボットシステムなどで、 次元の点群を扱っています。
今回は点群から計算される情報として、近年注目を浴びているパーシステントホモロジーという概念を紹介したいと思います。
トポロジーという数学の一分野の考え方を使っているのですが、わかりやすさのために、ところどころで数学的に正確ではない表現をする事をお許しください。
「かたち」とは?~トポロジーの考え方~
ものの「かたち」とは何でしょうか? 例えば、丸と四角はかたちが違う、といいますよね。
それでは、こちらの図をみた時に、どれが丸でどれが四角でしょうか?
一番左は丸、一番右は四角だけど、左から二番目は丸のような四角のような、みたいな気持ちになりませんか?

トポロジー(位相幾何学)という数学の分野では、かたちに関してもっと雑な分類をします。
上の例のような、連続的に変形してうつりあうものは、全部同じかたちをしていると考えるので
す。今回は、このようなものたちを「位相的に同じかたち」をしていると呼ぶ事にします。
(本当は、連続的な変形以外でも位相的に同じかたちだと考えるものがあるのですが、今日は割愛させてもらいます。)
では、どういうものは違うと考えるのかというと、例えば、下の図の円盤と穴の空いた円盤は、(お互いを連続的に変形してもうつりあわないので)違うかたちをしていると考えます。

これは円盤じゃなくて四角ではないか? と思う方もいるかもしれませんが、先ほど述べたように、トポロジーの考え方では連続的に移り合うものは同じかたちだと思うので、一見四角く見えるこれらを円盤と呼んでしまうのです。
3次元空間の中の例も挙げておきます。
トポロジーの考え方では、球と四面体の表面はおなじかたちで、ドーナツの表面(トーラスと呼びます)は違うかたち、だと考えます。

かたちを見分ける ~ 位相不変量 ~
先程、上の図の、円盤と穴の空いた円盤は位相的に違うかたちをしていると言いましたが、本当は、どうやって連続的に変形してもお互いが移り合わないということを証明しないといけません。
では、二つのものが、位相的に違うかたちをしているというのは、どうやったらわかるでしょうか?
例えば、境界の数、というのは連続的に変形してもかわりません。そのため、円盤の境界は1つ、穴の空いた円盤の境界は 2つ、という事から、この二つが位相的に違うかたちをしている事がわかります。

また、下の図のごちゃごちゃした図形が、上の図のどちらと位相的に同じか、というのは、実は境界の数を数えればわかります。

左の図形は境界が全部繋がっているので円盤と同じかたちで、右の図は境界が2つあるので、穴の空いた円盤と同じかたちです。
境界の数のように、位相的に同じかたちをしたものに対して、同じ値をあたえる量を「位相不変量」と呼びます。
オイラー標数
もう少し複雑な位相不変量を紹介します。
それでは、球面
球面は、位相的には四面体と一緒なので、四面体を使って計算してみます。
四面体は面が
トーラス

三角形の面が
オイラー標数が位相不変量である事を信じると、この計算から、球とトーラスが位相的に違ったかたちをしているという事がわかります。
ちなみに、トーラスのかたちをしている世界でもっとも有名なのが、ドラゴンクエストシリーズの世界ではないでしょうか。地図の上と下、左と右がくっついているということは、位相的にはトーラスであるという事なのです。
オイラー標数の位相不変性
オイラー標数について、もう少し詳しく見ておきましょう。
最初に不安になる事は、同じ曲面に対して、違った三角形分割をもってきたら、オイラー標数は違った値にならないでしょうか? という事ですが、実は大丈夫なのです。
その不変性について、一番本質的なところだけを紹介しましょう。
下の図の左、四角形を
図の右では、赤い頂点を追加して、それにともなって青い線が

これを詳しく見てみると、ある辺に頂点を
実は、二つの三角形分割があった時に、このような操作を繰り返し行う事でお互いに移り合うという事が示せます。そのため、オイラー標数は三角形分割の取り方によらず、もとの図形だけから決まる量だという事がわかるのです。
さて、オイラー標数がきちんと定義されることがわかれば、それが位相不変量になっていることは、ほとんど明らかです。
ホモロジー群
本題のパーシステントホモロジー群を説明するために、まず、ホモロジー群というものを紹介します。
ホモロジー群というのは、代表的な位相不変量のひとつです。つまり、位相的に同じかたちをしたものに対して、ある種の方法で定まる「群」です。
日本語での「群」は、「点群」のように、ある種のものの集まりをあらわす言葉なのですが、数学用語での「群」は「集合と演算を組にしたもの」だと思っておいてください。例えば「整数と足し算の組」や「実数上の全単射全体と写像の合成の組」などが群になります。
ホモロジー群では、集合として「空間上の道の集合」、演算としては「道の結合」を考えます。
ホモロジー群をきちんと説明しようとすると、さまざまな準備が必要となるので、今回は、一次元ホモロジー群
空間の上の道
まず、空間に対して「道」と呼ばれるものを雑に定義します。
空間
そして、そのような道全体の集合を
円盤の上の道の集合
まず、円盤
一番最初に考える道
次に、図の赤い線

これは、
円盤の上では、道を少しづつ連続的に移動させることで、どのような
という事で、実は、円盤上には道は一種類しかなく、
穴あき円盤の上の道の集合
その次に簡単な例を考えてみましょう。
ところが、青い線による道を考えると、この道はどのように変形しても円盤の穴に引っかかってしまうために、

それでは、他にどのような道があるでしょうか?
例えば、赤い線を
つまり、
この場合は、集合
トーラスの上の道の集合
その次に複雑なケースがトーラス

この
それ以外にどのような道があるかと言うと、たとえば、まず
では、先に
実は、トーラスの場合は、いくつかの道を順番に辿ったときにできる新しい道は辿る順番によらずに決まるので、新しい道
ドーナツの絵をみるとわかりにくいかもしれませんが、ドラクエの地図(を4倍にしたもの)をみると、どうやって連続的に動かせばいいか、すぐに理解できるのではないでしょうか。

さて、これで、
それらを合わせて考えると(証明は面倒なのですが)直感的には、トーラス上の全ての道の集合は、以下のようになる事がわかります。
ここで、道を繋ぐ演算を
この場合も
複雑な空間のホモロジー群と計算方法
今回は、これ以上複雑な場合に関しては深入りしませんが、一般の空間に対するホモロジー群では、道の集合の上の演算として、単に道をつなぐだけではなくて「つなぐ順番を入れ替えたものも同じ道だとみなす」という演算が必要になります。
また、実際にホモロジー群をどうやって計算するか、という事についても今回は触れませんが、空間の三角形分割があれば、そこからゴリゴリと計算する事ができるために、計算機上の計算とは相性が良いという事だけを述べておきます。
パーシステントホモロジー
与えられた点群に対して、ホモロジー群を使って特徴を捉えようという試みの一つが、パーシステントホモロジーという考え方です。
パーシステントホモロジー群の定義
与えられた点群を
正の整数
- 点群のそれぞれの点に対して半径
の球を考えます。 - 点群の
つの点 に対して、それらを中心とした球が交わっていれば、 と の間に辺を引きます。 - 点群の
つの点に対して、 つの球に共通部分があれば、その 点でかこまれた領域に三角形を作ります。
このようにして、点群
この空間の
これを
具体例
それでは、簡単な例を計算してみましょう。
下の図は

パーシステント図
パーシステントホモロジー
先程の例に関してのパーシステント図は以下のようになります。

青い線に対応するホモロジー元は対角線に近い部分にありますが、これは生成してすぐ死滅するホモロジー元事をあらわします。
一方、赤い線に対応するホモロジー元は対角線から比較的遠い部分にありますが、これは長い時間安定して存在してる事をあらわし、点群の大域的な構造に対応すると考えられます。
このように、点群に対してパーシステントホモロジー群とパーシステント図を計算すると点群の構造に対するある種の情報が得られる事になります。
おわりに
今回の記事では、パーシステントホモロジーを簡単に紹介させていただきました。
トポロジーという分野は、数学の中でもなかなか習わない分野なので、馴染みのない方が多いのではないかと思いますが、ちょっとでも興味を持っていただけたらありがたいです。