[論文レビュー] A note on the triangle inequality for the Jaccard distance

Sven Kosub|arXiv (Cornell University)|Dec 8, 2016

Point processes and geometric inequalities参考文献 13被引用数 13

ひとこと要約

本稿では、非負で単調かつ準最大化な集合関数を用いて、ジャカード距離の三角不等式を2通りの簡潔で直接的な証明により提示する。標準ジャカード距離はモジュラー関数に対して三角不等式を満たすことが示されるとともに、一般の準最大化関数に対しても三角不等式を保つ新しい変種 $J^{\triangle}_{\text{δ},f}$ を導入し、メトリック学習や類似度解析におけるジャカード距離の強固な一般化を提供する。

ABSTRACT

Two simple proofs of the triangle inequality for the Jaccard distance in terms of nonnegative, monotone, submodular functions are given and discussed.

研究の動機と目的

• 準最大化関数理論を用いて、ジャカード距離の三角不等式に対する簡単で直接的な証明を提供すること。
• 集合の基数を超えて、非負で単調かつ準最大化な集合関数へとジャカード距離を一般化すること。
• 準最大化性の下で、どのジャカード距離の変種が三角不等式を満たすかを同定すること。
• 2つの候補となる準最大化ジャカード距離 $J_{\delta,f}$ と $J^{\triangle}_{\delta,f}$ の間の違いを明確にすること。
• 特にモジュラー関数と一般の準最大化関数の違いに注意を払いながら、三角不等式が成立する条件を確立すること。

提案手法

• 三角不等式の一般的な証明の基盤として、基本的恒等式 $|A \cup B| + |A \cap B| = |A| + |B|$ を用いる。
• 集合関数の準最大化性と単調性を適用し、不等式 $f(A \cap C) \cdot f(B \cup C) + f(A \cup C) \cdot f(B \cap C) \leq f(C) \cdot (f(A) + f(B))$ を導出する。
• 準最大化ジャカード距離の2つの変種を導入する：$J_{\delta,f}(A,B) = 1 - \frac{f(A \cap B)}{f(A \cup B)}$ および $J^{\triangle}_{\delta,f}(A,B) = \frac{f(A \triangle B) - f(\emptyset)}{f(A \cup B)}$。
• 集合 $C$ を $C_0 \subseteq A \cup B$ と $C_1 \subseteq \overline{A \cup B}$ に分解することで、$J^{\triangle}_{\delta,f}$ の三角不等式を証明する。
• 単調性と準最大化性を活用し、距離の和を $f(A \cup B \cup C_1)$ と $f((A \cap B) \cup C)$ で上界で抑え込む。
• 条件 $f(A \cup \{x\}) - f(A) \geq f(B \cup \{x\}) - f(B)$ （$A \subseteq B$, $x \notin B$）を用いて、準最大化性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 標準ジャカード距離は、非負で単調かつ準最大化な集合関数に対して三角不等式を満たすか？
• RQ2 準最大化関数に対して三角不等式を保つように一般化されたジャカード距離を定義できるか？
• RQ3 $J_{\delta,f}$ と $J^{\triangle}_{\delta,f}$ は、メトリック的性質においてどのように異なるか？
• RQ4 準最大化関数の場合に、$J_{\delta,f}$ が三角不等式を満たさない条件は何か？
• RQ5 $J^{\triangle}_{\delta,f}$ は準最大化関数に対して有効な（擬）メトリックであるか？ また、標準ジャカード距離とはどのように関係するか？

主な発見

• $J_{\delta,f}$ における三角不等式が成り立つのは、$f$ がモジュラーである場合に限り、非モジュラーな準最大化関数を用いた反例により示された。
• 準最大化性と単調性を用いて、不等式 $f(A \cap C) \cdot f(B \cup C) + f(A \cup C) \cdot f(B \cap C) \leq f(C) \cdot (f(A) + f(B))$ が証明された。
• 系2では、すべての $S,T \subseteq X$ に対して $f(S \cap T) \cdot f(S \cup T) \leq f(S) \cdot f(T)$ が成り立つことが示され、証明の鍵となる恒等式である。
• 変種 $J^{\triangle}_{\delta,f}$ は、すべての非負で単調かつ準最大化な関数に対して三角不等式を満たすことが、分解とバウンディング技術を用いて証明された。
• モジュラー関数 $f$ の場合、$J_{\delta,f} = J^{\triangle}_{\delta,f}$ が成り立ち、標準ジャカード距離が回復される。
• 具体的な反例として、予算制約付き線形コストや二部グラフにおける近傍サイズなど、非モジュラーな準最大化関数に対して $J_{\delta,f}$ が三角不等式を満たさないケースが存在する。