[논문 리뷰] Stable regularity for relational structures

Nathanael Ackerman, Cameron E. Freer외 1명|arXiv (Cornell University)|2017. 12. 26.

Advanced Topology and Set Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유한한 언어에서 유한한 관계 구조로 Malliaris와 Shelah의 안정적 정규성 보조정리를 일반화하며, 안정적인 구조가 다항수로 유계된 크기의 균형 잡힌 정규성 분할을 가지며, 모든 관계가 거의 0-1 조밀도임을 보여준다. 핵심 결과는 이러한 구조가 중간 조밀도와 비정규 쌍을 제거한 작은 유한 구조의 균형 잡힌 확장과 편집 거리에서 가까이 있음을 보여준다.

ABSTRACT

We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each $k$-ary relation and $k$-tuple of parts of the partition, the density is close to either 0 or 1. In addition, we provide regularity results for finite and Borel structures that satisfy a weaker notion that we call almost stability.

연구 동기 및 목표

• 유한한 언어에서 그래프에서의 안정적 정규성 보조정리를 유한한 관계 구조로 확장하는 것.
• 안정적인 유한 구조가 다항수로 유계된 크기의 균형 잡힌 정규성 분할을 갖는다는 것을 확립하는 것.
• 이러한 분할이 작은 유한 구조의 균형 잡힌 확장과 편집 거리에서 가까운 구조를 제공한다는 것을 보여주는 것.
• 결과를 거의 안정적이고 보렐 관계 구조로 일반화하는 것.
• 안정성 하에 정규화 근사에서 중간 조밀도와 비정규 쌍을 제거하는 것.

제안 방법

• Malliaris와 Shelah [MS14]의 증명 프레임워크를 유한한 관계 언어에 적응하는 것.
• 좋은 $\varepsilon$-집합의 개념을 사용하여 잘 조율된 부분 구조를 구성하는 것.
• 균형 잡힌 부분으로 나누어 최소한의 크기 차이를 보장하는 균형 잡힌 분할 기법을 적용하는 것.
• 작은 유한 구조의 확장과의 가까움을 측정하기 위해 편집 거리를 사용하는 것.
• 결과를 엄격한 안정성 외로 확장하기 위해 '거의 안정성'의 개념을 도입하는 것.
• 유한한 확장과 모델 이론적 도구를 사용하여 정규성 성질을 갖는 보렐 구조를 구성하는 것.

실험 결과

연구 질문

• RQ1 안정적 정규성 보조정리는 그래프에서 유한한 언어의 임의의 유한한 관계 구조로 확장될 수 있는가?
• RQ2 안정적인 유한한 관계 구조에 대한 정규성 분할의 최적 크기는 무엇인가?
• RQ3 안정적 구조의 정규성 분할에서 관계의 조밀도는 어떻게 행동하는가?
• RQ4 결과는 엄격히 안정적이지 않지만 '거의 안정적'인 구조로 확장될 수 있는가?
• RQ5 안정성 하에 보렐 관계 구조에서는 어떤 정규성 성질이 성립하는가?

주요 결과

• 안정적인 유한한 관계 구조는 원하는 정확도의 역수에 대해 다항수로 유계된 크기의 균형 잡힌 정규성 분할을 갖는다.
• 모든 k-항관계와 분할의 부분 집합 k-튜플에 대해 유도된 부분 구조는 거의 완전히 존재하거나 완전히 존재하지 않도록 되어 있으며, 조밀도는 0 또는 1에 가까워진다.
• 분할의 부분 수는 $\left(\frac{\varepsilon}{6q_{\mathcal{L}}|\mathcal{L}|}\right)^{-(g+1)(g+2)}$로 유계지며, 정확도에 대해 다항수 의존성을 보여준다.
• 구조는 동일한 언어의 작은 유한 구조의 균형 잡힌 확장과 $\varepsilon$ 이내의 편집 거리에 있다.
• 거의 안정적인 구조에 대해서는 유사한 정규성 결과가 성립하지만, 편집이 균일하게 분포되지 않을 수 있다.
• 거의 안정적인 보렐 관계 구조에 대해 보렐 정규성 보조정리를 확립하였으며, 유사한 편집 거리 근사가 성립한다.