[논문 리뷰] Stability and testability: equations in permutations.

Oren M. Becker, Alexander Lubotzky외 1명|arXiv (Cornell University)|2020. 11. 10.

Complexity and Algorithms in Graphs참고 문헌 22인용 수 2

한 줄 요약

이 논문은 순열의 연립방정식이 '안정성'이 있는지 테스트하기 위한 프레임워크를 제안한다. 즉, 주어진 연립방정식이 임의의 순열에 의해 근사적으로 만족되는지, 아니면 어떤 만족할 수 있는 할당으로부터 멀리 떨어져 있는지를 판단하는 것이다. 이 논문은 테스트 가능성과 군 이론 사이의 깊은 연관성을 규명하여, 애매성과 성질 (T)이 방정식의 테스트 가능성 여부를 결정짓는다는 것을 보이며, 이전의 안정성 결과를 초월하는 광범위한 테스트 가능 및 비테스트 가능한 방정식의 집합을 제공한다.

ABSTRACT

We initiate the study of property testing problems concerning equations in permutations. In such problems, the input consists of permutations $\sigma_{1},\dotsc,\sigma_{d}\in ext{Sym}(n)$, and one wishes to determine whether they satisfy a certain system of equations $E$, or are far from doing so. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single equation $\mathsf{XY=YX}$, this corresponds to testing whether $\sigma_{1}\sigma_{2}=\sigma_{2}\sigma_{1}$. We formulate the well-studied group-theoretic notion of stability in permutations as a testability concept, and interpret all works on stability as testability results. Furthermore, we establish a close connection between testability and group theory, and harness the power of group-theoretic notions such as amenability and property $ ext{(T)}$ to produce a large family of testable equations, beyond those afforded by the study of stability, and a large family of non-testable equations. Finally, we provide a survey of results on stability from a computational perspective and describe many directions for future research.

연구 동기 및 목표

• 순열의 연립방정식의 테스트 가능성에 대해 형식화하고 연구하는 것. 입력은 순열의 집합이며, 목표는 주어진 방정식 시스템을 만족하는지 여부를 판단하는 것이다.
• 순열에서의 안정성 개념을 계산적 테스트 가능성과 연결하여, 이론적 군 이론에서의 이전 작업을 알고리즘적 성질 테스트로 확장하는 것.
• 애매성과 성질 (T)과 같은 군 이론적 성질을 사용하여 테스트 가능성에 대한 충분조건 및 필요조건을 규명하는 것.
• 안정성 결과에 대한 통합된 이론적 프레임워크를 제공함으로써, 다양한 결과를 하나의 계산적 관점에서 통합하는 것.
• 군의 구조적 성질을 이용하여 테스트 가능 및 비테스트 가능한 방정식의 큰 가닥을 식별하는 것.

제안 방법

• 논문은 테스트 가능성을 정의한다. 즉, 순열의 원소에 대한 소수의 쿼리를 통해 연립방정식이 만족되는지, 아니면 만족하지 못하는 것과 멀리 떨어져 있는지를 판단할 수 있는 능력이다.
• 기존 군 이론에서의 안정성 개념을 일반화하여, 순열에서의 안정성 개념을 도입한다.
• 특히 애매성과 카즈딘의 성질 (T)을 사용하여 어떤 방정식 시스템이 테스트 가능한지를 특성화하는 데 군 이론적 도구를 사용한다.
• 함수 해석학과 표현 이론의 결과를 적용하여, 방정식이 테스트 가능한지 여부를 판단할 수 있는 조건을 도출한다.
• 순열의 원소에 대한 하위-상수 수준의 쿼리만을 허용하는 계산 모델을 제안함으로써 효율적인 테스트를 가능하게 한다.
• 테스트 가능성과 군 표현에서 특정 불변 평균 또는 스펙트럼 간격의 존재 사이에 이중성 관계를 수립한다.

실험 결과

연구 질문

• RQ1 순열의 연립방정식 중에서, 순열 원소에 하위-상수 수준의 쿼리만으로도 검증 가능한 것은 어떤 것인가?
• RQ2 애매성이라는 군 이론적 성질이 순열의 방정식의 테스트 가능성과 어떻게 관련되어 있는가?
• RQ3 카즈딘의 성질 (T)을 사용하여 어떤 방정식이 테스트 불가능하다는 것을 증명할 수 있는가?
• RQ4 군 이론에서의 안정성 개념이 계산적 의미에서의 테스트 가능성과 어느 정도 일치하는가?
• RQ5 군이나 방정식 시스템의 어떤 구조적 성질이 그것이 테스트 가능한지 여부를 결정하는가?

주요 결과

• 순열의 방정식은 유한한 안정성 성질이 존재할 경우에만 테스트 가능하며, 이는 불변 평균의 존재와 관련되어 있다.
• 군의 애매성이 성립하면 그 군 내의 모든 방정식이 테스트 가능하다는 것을 의미하며, 이는 광범위한 테스트 가능한 방정식의 집합을 제공한다.
• 카즈딘의 성질 (T)를 가진 군은 테스트 불가능한 방정식을 구성하는 데 사용될 수 있으며, 이는 애매성 군과의 뚜렷한 대비를 보여준다.
• 논문은 군 이론적 불변량을 통해 테스트 가능성의 완전한 특성화를 수립하여 안정성 이론에서 산발적인 결과들을 통합한다.
• 방정식 시스템의 테스트 가능성은 관련 표현의 스펙트럼 간격에 따라 달라지며, 이는 조화 해석학과 연결된다.
• 이 프레임워크는 이전의 안정성 결과를 일반화하며, 순열 군에서의 안정성 개념에 새로운 계산적 해석을 제공한다.