[논문 리뷰] Earthmover resilience and testing in ordered structures

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

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 성질의 클래스는 모든 무순서 그래프 성질과 볼록성과 같은 많은 자연스러운 시각적 성질을 포함한다.
• 어떤 주어진 이미지나 순서가 부여된 그래프에서 유전적 성질까지의 거리는 상수 개의 쿼리로 상수 오차 내에서 추정할 수 있다.
• 주요 결과의 특수한 경우는 알론과 저자들이 최근에 제시한 순서 구조에서의 거리 추정 결과를 회복하고 일반화한다.