[논문 리뷰] Sigma-Algebras for Quasirandom Hypergraphs

Henry Towsner|arXiv (Cornell University)|2013. 12. 17.

Advanced Topology and Set Theory참고 문헌 29인용 수 5

한 줄 요약

이 논문은 $k$-균일 초그래프에서의 준무작위성에 대한 통합 프레임워크를 제안하며, $[k]$의 부분집합 집합 $σ$-대칭에 기반한 $\sigma$-대칭을 사용한다. 초그래프 수열이 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위임은 어떤 표준적인 $\mathcal{I}$-적응 초그래프 $M_k[\mathcal{I}]$의 복제 수가 점 渐진적으로 올바른 수를 포함함과 정확히 동치임을 보이며, 이는 특정 준무작위성 개념에 대한 이전 결과를 일반화한다.

ABSTRACT

We examine the correspondence between the various notions of quasirandomness for k-uniform hypergraphs and sigma-algebras related to measurable hypergraphs. This gives a uniform formulation of most of the notions of quasirandomness for dense hypergraphs which have been studied, with each notion of quasirandomness corresponding to a sigma-algebra defined by a collection of subsets of [1,k]. We associate each notion of quasirandomness I with a collection of hypergraphs, the I-adapted hypergraphs, so that G is quasirandom exactly when it contains roughly the correct number of copies of each I-adapted hypergraph. We then identify, for each I, a particular I-adapted hypergraph M_k[I] with the property that if G contains roughly the correct number of copies of M_k[I] then G is quasirandom in the sense of I. This generalizes recent results of Kohayakawa, Nagle, Rödl, and Schacht; Conlon, Hàn, Person, and Schacht; and Lenz and Mubayi giving this result for some notions of quasirandomness.

연구 동기 및 목표

• 밀도 있는 $k$-균일 초그래프에서 다양한 준무작위성 개념을 $\sigma$-대칭을 사용하여 하나의 프레임워크로 통합하는 것.
• 각 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성의 특성으로서, $\mathcal{I}$-적응 초그래프의 복제 수가 올바른 점 渐진적 밀도를 가지는 방식으로 $\mathcal{I}$-적응 초그래프를 정의하는 것.
• $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성과 등가임을 보장하는 표준적인 $\mathcal{I}$-적응 초그래프 $M_k[\mathcal{I}]$를 식별하는 것.
• 서로 다른 $\mathcal{I}$가 서로 다른 준무작위성 개념을 생성함을 보이며, 알려진 분리 결과를 일반화하는 것.

제안 방법

• 논문은 초그래프 수열을 확률 공간 내의 무한 가측 초그래프로 표현하기 위해 초한적 곱과 가측 초그래프 극한을 사용한다.
• $[k]$의 부분집합 집합 $\mathcal{I}$에 기반한 $\sigma$-대칭 $\mathcal{B}_{k,\mathcal{I}}$를 정의하며, 이는 $\mathcal{I}$-적응 초그래프의 구조를 코딩한다.
• $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성은 거의 모든 곳에서 조건부 기대값 $\mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{I}}) = p$ 를 만족함으로써 특성화된다.
• 표준적인 초그래프 $M_k[\mathcal{I}]$의 구성은 $\mathcal{I}$에서 유도된 조합 구조에 기반하며, $\mathcal{I}$가 단일 원소 또는 분할일 경우 알려진 구성의 일반화이다.
• 측도 이론적 사영과 복제 밀도 $t_H(G_n)$을 포함한 분석 기법을 사용하여 초그래프 극한과 준무작위성 조건을 연결한다.
• $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성의 등가성 증명은 모든 $\mathcal{I}$-적응 $H$에 대해 $t_H(G_n) \to p^{|F|}$ 수렴하는 것과 더불어 $t_{M_k[\mathcal{I}]}(G_n) \to p^{2^{\mathcal{I}}}$ 수렴하는 것과 동치임을 보이는 데 기반한다.

실험 결과

연구 질문

• RQ1 다양한 $k$-균일 초그래프에 대한 준무작위성 개념을 어떻게 하나의 대수적 프레임워크로 체계적으로 통합할 수 있는가?
• RQ2 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성의 올바른 점 渐진적 복제 밀도를 가진 최소의 초그래프 $M_k[\mathcal{I}]$는 무엇인가?
• RQ3 $[k]$의 부분집합 집합 $\mathcal{I} \subseteq [k]$에 관련된 $\sigma$-대칭이 초그래프의 준무작위성 조건과 어떻게 대응하는가?
• RQ4 서로 다른 $\mathcal{I}$에 대해 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성 개념은 선형 순서가 되는가 아니면 서로 다른가?
• RQ5 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성의 스펙트럼적 또는 연산자 이론적 유사 개념을 이 $\sigma$-대칭 프레임워크로 확장할 수 있는가?

주요 결과

• 논문은 $k$-균일 초그래프 수열이 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위임과 정확히 동치임을 보이며, 이는 모든 $\mathcal{I}$-적응 초그래프의 복제 수가 점 渐진적으로 올바른 수를 포함함을 의미한다.
• 모든 부분집합 자유 집합 $\mathcal{I} \subseteq [k]$에 대해, $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성과 등가임을 보장하는 표준적인 $\mathcal{I}$-적응 초그래프 $M_k[\mathcal{I}]$가 존재하며, $\lim_{n\to\infty} t_{M_k[\mathcal{I}]}(G_n) = p^{2^{\mathcal{I}}}$ 를 만족한다.
• $\mathtt{Disc}_p[\mathcal{I}]$-준무작위성 개념은 서로 다른 부분집합 자유 집합 $\mathcal{I}$에 대해 상호 다르며, 알려진 분리 결과를 일반화한다.
• $M_k[\mathcal{I}]$의 구성은 이전 결과를 일반화한다: $k=2$일 때는 $4$-사이클 $C_4$를 복원하며, $\mathcal{I}$가 단일 원소일 경우 Conlon 등이 제시한 선형 초그래프 $M$과, $\mathcal{I}$가 분할일 경우 Lenz와 Mubayi의 $\mathcal{I}$-선형 초그래프를 포함한다.
• 논문은 임의의 $\mathcal{I}$에 대해, 모든 $\mathcal{J} \not\leq \mathcal{I}$에 대해 $\mathtt{Disc}_p[\mathcal{J}]$-준무작위이지만 $\mathtt{Disc}_p[\mathcal{I}]$-준무작위가 아닌 초그래프 수열이 존재함을 증명하며, 이는 개념들 사이에 엄격한 계층이 있음을 보여준다.
• 이 프레임워크는 상대 준무작위성으로 확장되며, $\mathcal{I} < \mathcal{J}$일 때 $\mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{J}}) = \mathbb{E}(\chi_E \mid \mathcal{B}_{k,\mathcal{I}})$ 를 만족함을 시사하며, 주어진 구조에 대한 준무작위성의 일반화를 가능하게 한다.