극대 그래프코드의 균일성 및 의사무작위성

초록

이 논문은 극대 그래프‑코드와 HJ‑코드가 각각 2‑차와 任의 차수의 Gow‑ers 균일성(norm) U_d 를 만족함을 보이며, 이는 이러한 구조가 강한 의사무작위성을 띤다는 것을 의미한다. 주요 결과는 H가 짝수 개의 변을 가진 무루프 그래프일 때 극대 H‑코드가 Fourier‑균일( U₂)하고, C°‑HJ‑코드가 모든 차수 d≥2에 대해 U_d‑균일함을 증명한다.

상세 분석

논문은 먼저 그래프‑코드와 HJ‑코드라는 새로운 조합 구조를 정의한다. H‑코드는 동일한 정점 집합 위에 있는 그래프들의 집합 G에 대해, 서로 다른 두 원소 G₁, G₂의 대칭 차(G₁+G₂)가 사전에 정해진 금지 그래프 집합 H에 동형이 되지 않도록 하는 것이며, HJ‑코드는 추가로 G₁⊇G₂인 경우에만 차를 고려한다. 이러한 정의는 Alon이 제시한 ‘그래프‑코드’ 개념을 일반화한 것으로, 특히 HJ‑코드는 밀도 다항식 Hales–Jewett(DHJ) 추측과 직접적인 연관을 가진다.

핵심 기술은 Gow‑ers 균일성 노름 U_d 를 이용한 의사무작위성 분석이다. U₂는 푸리에 변환과 직접 연결돼 함수의 2‑차 상관관계를 측정하고, U₃·U₄ 이상은 고차 구조를 포착한다. 저자들은 먼저 ‘중심 임베딩(central embedding)’과 ‘HJ‑임베딩’을 정의해, 그래프 공간 F(