[論文レビュー] Earthmover resilience and testing in ordered structures

Omri Ben‐Eliezer, Eldar Fischer|arXiv (Cornell University)|Jun 22, 2018

Machine Learning and Algorithms被引用数 2

ひとこと要約

本稿では、文字列、画像、順序付きグラフなどの順序構造におけるテスト可能な性質を特徴付ける枠組みとして、エアスムーバー耐性（ER）を導入する。ER 性質が定数クエリでテスト可能であることを示し、非順序グラフの既知の結果を一般化することで、遺伝的性質への距離が定数クエリと定数加法的誤差を用いて推定可能であることを証明する。

ABSTRACT

One of the main challenges in property testing is to characterize those properties that are testable with a constant number of queries. For unordered structures such as graphs and hypergraphs this task has been mostly settled. However, for ordered structures such as strings, images, and ordered graphs, the characterization problem seems very difficult in general.In this paper, we identify a wide class of properties of ordered structures - the earthmover resilient (ER) properties - and show that the behavior of such properties allows us to obtain general testability results that are similar to (and more general than) those of unordered graphs. A property P is ER if, roughly speaking, slight changes in the order of the elements in an object satisfying P cannot make this object far from P. The class of ER properties includes, e.g., all unordered graph properties, many natural visual properties of images, such as convexity, and all hereditary properties of ordered graphs and images.A special case of our results implies, building on a recent result of Alon and the authors, that the distance of a given image or ordered graph from any hereditary property can be estimated (with good probability) up to a constant additive error, using a constant number of queries.

研究の動機と目的

• 非順序構造と比較して未解決のまま残っている、順序構造におけるテスト可能な性質の特徴付けという課題に取り組む。
• 順序構造における定数クエリテストに適した広範な性質のクラス、すなわちエアスムーバー耐性（ER）性質を同定する。
• 小さな順序の摂動に対して構造的安定性を示すことで、非順序グラフにおける既知のテスト可能性結果を順序構造へと拡張する。
• 順序付きグラフや画像における任意の遺伝的性質への距離が、定数クエリと定数加法的誤差を用いて推定可能であることを示す。
• 最近のアロンと著者らの発見を含む既存の結果を、単一の理論的枠組みで統合・一般化する。

提案手法

• エアスムーバー距離を用いて定式化することで、要素の順序の小さな再配置に対して不変な性質としてエアスムーバー耐性（ER）を定義する。
• ER 性質が微小な順序変更に対して頑健であることを確立し、順序で近い対象同士が性質の距離でも近くなることを保証する。
• 非順序グラフ性質テストにおける類似条件と同等の一般テスト可能性条件を、ER フレームワークを用いて導出する。
• 遺伝的性質や視覚的性質（例：凸性）の構造的性質を活用して、それらが ER であることを示し、定数クエリ推定を可能にする。
• 確率的クエリアクセスを適用して、定数個のクエリで有界な加法的誤差を伴い、遺伝的性質への距離を推定する。

実験結果

リサーチクエスチョン

• RQ1 どの順序構造の性質が定数クエリテストを可能とし、その背後にある構造的条件は何か？
• RQ2 エアスムーバー耐性は、順序構造における定数クエリテスト可能性の十分条件としてどのように機能するか？
• RQ3 順序付きグラフや画像における遺伝的性質への距離は、どの程度定数クエリで近似可能か？
• RQ4 エアスムーバー耐性の枠組みは、非順序グラフ性質テストにおける既知の結果を順序設定へと一般化できるか？
• RQ5 凸性などの視覚的・構造的性質（例：凸性）のうち、どのクラスがエアスムーバー耐性であり、したがって定数クエリでテスト可能か？

主な発見

• エアスムーバー耐性（ER）は、文字列、画像、順序付きグラフなどの順序構造における定数クエリテスト可能性の十分条件である。
• 順序付きグラフや画像のすべての遺伝的性質はエアスムーバー耐性を示し、定数クエリによる距離推定が可能である。
• ER 性質のクラスには、すべての非順序グラフ性質に加え、凸性のような多くの自然な視覚的性質が含まれる。
• 任意の与えられた画像や順序付きグラフから遺伝的性質への距離は、定数個のクエリと定数加法的誤差を用いて推定可能である。
• 本結果の特殊な場合が、アロンと著者らの最近の研究を再発見・一般化し、順序構造における距離推定についての結果を回復する。