[논문 리뷰] A note on the triangle inequality for the Jaccard distance

Sven Kosub|arXiv (Cornell University)|2016. 12. 08.

Point processes and geometric inequalities참고 문헌 13인용 수 13

한 줄 요약

이 논문은 비음수, 단조성, 하위모듈라(set) 함수를 사용하여 자카르 거리의 삼각 부등식에 대한 두 가지 간결하고 직접적인 증명을 제시한다. 표준 자카르 거리가 모듈라 함수에 대해 삼각 부등식을 만족함을 입증하며, 일반 하위모듈라 함수에 대해 삼각 부등식을 유지하는 새로운 변형인 $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.

연구 동기 및 목표

• 하위모듈라 함수 이론을 사용하여 자카르 거리의 삼각 부등식에 대한 단순하고 직접적인 증명을 제공하는 것.
• 집합의 기수를 초월하여 비음수, 단조성, 하위모듈라 집합 함수로 자카르 거리의 일반화를 시도하는 것.
• 하위모듈라성 하에서 삼각 부등식을 만족하는 자카르 거리의 변형을 규명하는 것.
• 두 후보 하위모듈라 자카르 거리, $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))$ 를 유도한다.
• 두 가지 하위모듈라 자카르 거리 변형을 도입한다: $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}$ 는 하위모듈라 함수에 대해 유효한 (준)메트릭인가? 그리고 표준 자카르 거리와의 관계는 어떻게 되는가?

주요 결과

• 표준 자카르 거리의 삼각 부등식이 성립하는 것은 $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}$ 가 삼각 부등식을 위반하는 구체적인 반례가 존재한다.