[論文レビュー] Descriptive Proximities I: Properties and interplay between classical proximities and overlap

A. Di Concilio, C. Guadagni+2 more|arXiv (Cornell University)|Sep 20, 2016

Advanced Algebra and Logic参考文献 7被引用数 7

ひとこと要約

本稿は、プローブ関数による特徴記述に基づく視覚的近接性である記述的近接性の理論的枠組みを提示する。特徴空間の交差、古典的近接性、重なり関係の相互作用を分析することで、ピーターズ近接性より弱いかつ強い2つの記述的近接性のレベルを確立し、両者が自然な位相を誘導することを証明する。

ABSTRACT

The theory of descriptive nearness is usually adopted when dealing with sets that share some common properties even when the sets are not spatially close, i.e., the sets have no members in common. Set description results from the use of probe functions to define feature vectors that describe a set and the nearness of sets is given by their proximities. A probe on a non-empty set $X$ is a real-valued function $Φ: X ightarrow \mathbb{R}^n$, where $Φ(x)= (ϕ_1(x),.., ϕ_n(x))$. We establish a connection between relations on an object space $X$ and relations on the feature space $Φ(X).$ Having as starting point the Peters proximity, two sets are \emph{descriptively near}, if and only if their descriptions intersect. In this paper, we construct a theoretical approach to a more visual form of proximity, namely, descriptive proximity, which has a broad spectrum of applications. We organize descriptive proximities on two different levels: weaker or stronger than the Peters proximity. We analyze the properties and interplay between descriptions on one side and classical proximities and overlap relations on the other side.

研究の動機と目的

• 特徴に基づく記述を用いて、古典的近接性の一般化として記述的近接性を形式化すること。
• 記述的近接性、古典的近接性、特徴空間における重なり関係の相互作用を調査すること。
• 記述的交差に基づき、ピーターズ近接性より弱いかつ強い2つの異なる記述的近接性のレベルを確立すること。
• 両記述的近接性関係がカラトスキーの閉包作用素を介して自然な位相を誘導することを示すこと。
• 記述的関係がロダト近接公理を満たす条件を明確にすること。

提案手法

• 非空集合 $X$ の対象から特徴ベクトルを抽出するためのプローブ関数 $\Phi: X \to \mathbb{R}^n$ を定義し、記述に基づく分析を可能にする。
• 記述的近接性の基盤として、$A \mathop{\cap}\limits_{\Phi} B = \{x \in A \cup B : \Phi(x) \in \Phi(A) \cap \Phi(B)\}$ による記述的交差を導入する。
• 交差と特徴の重なりに基づき、$\delta_\Phi$（弱い形）および $\mathop{\delta_\Phi}\limits^{\doublewedge}$（強い形）という2つの記述的近接性の形を構築する。
• 集合の交差の $\Phi$-プッシュバックを用いてピーターズ近接性 $\pi_\Phi$ を定義し、記述的近接性関係と比較する。
• $\beta_\Phi$ および $\eta_\Phi$ を、特徴成分における射影と交差を介して定義する記述的関係として導入する。
• 重なりアプローチを用い、$e$ が加法性および拡張性を満たすと仮定すると、$A \mathrel{\delta_\Phi} B$ とは $e(\Phi(A)) \cap e(\Phi(B)) \neq \emptyset$ であることを定義する。

実験結果

リサーチクエスチョン

• RQ1 特徴記述を用いて、記述的近接性を古典的近接性の一般化として形式化する方法は何か？
• RQ2 記述的交差とピーターズ近接性などの古典的近接性関係との関係は何か？
• RQ3 弱いかつ強い形の記述的近接性は、公理的性質および位相的挙動においてどのように異なるか？
• RQ4 重なりに基づく記述的近接性がロダト近接公理を満たす条件は何か？
• RQ5 記述的近接性関係は自然な位相を誘導できるか？ もしそうなら、それらはどのように特徴づけられるか？

主な発見

• 記述的交差 $A \mathop{\cap}\limits_{\Phi} B$ が空でないことは、2つの集合が記述的に近接していることと同値であり、記述的近接性の核心的基準を確立する。
• $\delta_\Phi$ は特徴空間における重なりに基づき定義され、ロダト公理 $D_0, D_1, D_2, D_4$ を満たし、$D_3$ の一方の方向のみを満たすため、有効な記述的ロダト近接性である。
• より強い形 $\mathop{\delta_\Phi}\limits^{\doublewedge}$ は、すべての5つのロダト公理 $S_0$ から $S_4$ を満たすため、強力な記述的近接性としての地位を確認する。
• $\beta_\Phi$ が誘導する位相は、カラトスキーの閉包作用素 $Cl_{\beta_\Phi}(A) = \bigcap_{i=1}^n \Phi_i^{-1}(\Phi_i(A))$ によって特徴づけられ、特徴ごとの閉包と集合の閉包を結びつける。
• $\gamma_\Phi$ は、$A \mathrel{\gamma_\Phi} B$ とは $\exists i$ が $\Phi_i(A) \cap \Phi_i(B) \neq \emptyset$ を満たすときと定義されるが、これは $D_3$ 公理に反するため、ロダト近接性ではない。
• 凸包を拡大として使用する場合、$A \mathrel{\delta_\Phi} B$ とは $\text{conv}(\Phi(A)) \cap \text{conv}(\Phi(B)) \neq \emptyset$ と同値であり、$D_3$ の一方の方向を除きすべての条件を満たす。これは、完全なロダト条件の部分的失敗を示している。