[논문 리뷰] On the computability of graphons

Nathanael Ackerman, Jeremy Avigad외 3명|arXiv (Cornell University)|2018. 01. 31.

Computability, Logic, AI Algorithms참고 문헌 8인용 수 3

한 줄 요약

이 논문은 조밀한 그래프의 극한 물체인 그래폰의 계산 가능성을 $L^1$ 및 컷 거리 메트릭에서의 표현을 분석함으로써 조사한다. $L^1$ 표현은 컷 거리 표현보다 계산 가능 정보를 더 엄격히 포함하며, 변환에 $0^{\backprime}$를 오라클로 필요로 한다. 또한, 거의 어디서나 연속적인 그래폰과 약하게 동형이 되지 않는 계산 가능한 $L^1$ 그래폰을 구성하여, 연속적인 계산 가능한 표현에 대한 본질적인 위상적 장벽을 보여준다.

ABSTRACT

We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.

연구 동기 및 목표

• 그래프에 대한 불변 측도 또는 $L^1$ 또는 컷 거리 메트릭에서의 그래폰 표현을 통한 그래폰의 상대적 계산 가능성을 이해하기 위해.
• 교환 가능한 랜덤 그래프 배열의 계산 가능한 표현이 그래폰의 구조를 통해 조건부 독립을 드러내는지 여부를 판단하기 위해.
• 교환 가능한 배열을 생성하는 그래폰이 거의 어디서나 연속적이어야 하며, 그러한 표현이 계산 가능한지 여부를 조사하기 위해.
• 그래폰의 $d_{\square}$ 및 $d_1$ 표현 간 변환에 히든 문제 $0^\prime$가 필요한지 여부를 확립하기 위해.
• 약하게 동형이 되지 않는 $L^1$-계산 가능한, 랜덤 없이 생성된 그래폰의 예를 구성하여, 연속적인 계산 가능한 표현에 대한 위상적 장벽을 드러내기 위해.

제안 방법

• 저자들은 의사거리 공간에서의 계산 가능성을 형식화하여, $L^1$ 및 컷 거리($d_{\square}$) 메트릭에서의 그래폰에 대한 계산 가능한 이름을 정의한다.
• 표현 간의 계산 가능 동치성을 확립하여, $0^\prime$를 오라클로 사용함으로써 $d_{\square}$-이름에서 $d_1$-이름을 계산할 수 있음을 보여준다.
• 일반적으로 이러한 변환이 $0^\prime$ 없이 불가능함을 증명하기 위해, 특정 측도 이론적 성질을 가진 랜덤 없이 생성된 그래폰의 구성 기법을 사용한다.
• 측도를 보존하는 사상 $\psi$를 사용하여 약하게 동형이 되는 그래폰을 연결하고, 측도가 0인 집합의 역상을 통해 연속성을 분석한다.
• $\lambda$-연속성 집합과 지지 측도 개념을 적용하여, 약하게 동형이 되는 그래폰의 거의 어디서나 연속성이 이론적으로 모순을 일으킴을 보여준다.
• $d_1$-계산 가능한 랜덤 없이 생성된 그래폰과 하한 구성 기법을 조합하여, $d_1$-이름이 $0^\prime$를 계산하는 그래폰을 생성함으로써, 오라클의 필요성을 증명한다.

실험 결과

연구 질문

• RQ1 그래폰의 $d_{\square}$-이름이 추가 오라클 접근 없이 $d_1$-이름으로 계산 가능하게 감소할 수 있는가, 그 반대의 경우도 마찬가지인가?
• RQ2 계산 가능한 교환 가능한 랜덤 그래프 배열은 항상 거의 어디서나 연속적인 그래폰으로 표현될 수 있는가?
• RQ3 그래폰의 $d_{\square}$ 및 $d_1$ 표현 간 변환에 히든 문제 $0^\prime$가 필요한가?
• RQ4 $L^1$-계산 가능한, 랜덤 없이 생성된 그래폰이 거의 어디서나 연속적인 버전을 가진 그래폰과 약하게 동형이 될 수 있는가?
• RQ5 그래폰의 $d_1$-이름이 계산 가능할 경우, 이는 기본적인 교환 가능한 배열의 조건부 독립을 드러내는 계산 가능한 표현의 존재를 의미하는가?

주요 결과

• $L^1$ 표현은 컷 거리 표현보다 계산 가능 정보를 더 엄격히 포함하며, $d_{\square}$-이름에서 $d_1$-이름을 $0^\prime$ 없이 계산할 수 없다.
• 일반적으로 그래폰의 $d_{\square}$ 및 $d_1$ 표현 간 변환에 히든 문제 $0^\prime$가 필요하다.
• 랜덤 없이 생성된 그래폰의 경우, 추가 오라클이 필요하지 않다: $d_1$-이름은 교환 가능한 배열의 분포로부터 직접 계산 가능하다.
• $L^1$-계산 가능한, 랜덤 없이 생성된 그래폰이 거의 어디서나 연속적인 버전을 가진 그래폰과 약하게 동형이 되지 않음을 구성하여, 연속적 표현에 대한 위상적 장벽을 보여준다.
• 이 예와 약하게 동형이 되는 그래폰의 $d_1$-이름은 $0^\prime$를 계산하므로, 오라클이 이러한 변환에 충분하고 필수적이라는 것을 입증한다.
• 논문은 교환 가능한 배열의 그래폰에 대해 거의 어디서나 연속적인 계산 가능한 표현이 존재하지 않음을 입증하며, 배열의 분포가 계산 가능하더라도, 일변도 de Finetti의 경우와 근본적으로 다름을 드러낸다.