Finite rank kernel varieties: A variant of Hilbert's Nullstellensatz for graphons and applications to Hadamard matrices

기술적 요약: 커널 영집합, 양자 그래프 아이디얼 및 하마르드 그래폰

문제 제기
그래폰 ( $[0,1]^2$ 위의 대칭 가측 함수) 은 조밀한 그래프 열의 극한 객체로서 잘 정립되어 있으며, 네트워크 분류, 신호 처리, 평균장 게임 등에 적용되어 왔으나, 그 대수적 연구는 상대적으로 탐구되지 않은 상태이다. 기존 문헌은 그래폰의 반군 구조와 확률적 성질을 다루었으나, 그래폰과 대수기하학의 근본적 객체인 영집합 (zero loci), 아이디얼, 다항식 다양체 사이의 체계적인 연결은 부재하다. 본 논문은 이러한 간극을 메우기 위해 그래폰을 위한 대수적 프레임워크를 수립하고, 특히 소거되는 동형사상 밀도 (vanishing homomorphism densities) 로 정의된 커널 집합들의 구조를 조사함으로써 이를 달성하고자 한다.

방법론
본 논문은 양자 그래프 (복소수 계수를 갖는 루프가 없는 다중그래프들의 형식적 선형 결합) 의 공간을 불변 다항식 환으로 매핑함으로써 대수적 프레임워크를 구축한다.

1. 양자 그래프와 동형사상 밀도: 저자들은 라벨이 붙지 않은 루프가 없는 다중그래프들이 생성하는 복소수 대수 $A = \mathbb{C}G_0$를 활용한다. 동형사상 밀도 $t(F, W)$는 양자 그래프 $g \in A$에 대해 선형적으로 확장된다.
2. 정규화된 다항식 표현: 커널 영집합이 $t(g, W) = 0$으로 정의된다는 특정 요구사항을 해결하기 위해, 저자들은 정규화된 동형사상 밀도 다항식 사상 $\theta_q: A \to R_q$를 사용한다. 여기서 $R_q$는 대칭 $q \times q$ 행렬의 성분들에 작용하는 대칭군 $S_q$ 하에서 불변인 대칭 다항식들의 환이다. 정규화 인자 $q^{-|V(F)|}$는 결정적인 역할을 한다; 이는 모든 커널에 대해 $t(K_0 - K_1, W) = 0$인 항등식과 일치하도록 $\theta_q(K_0 - K_1) = 0$을 보장하며, 이는 정규화되지 않은 동형사상 수 다항식이 만족하지 못하는 성질이다.
3. 소거 아이디얼과 영집합: 고정된 커널의 환경 클래스 $\Omega \subseteq \mathcal{W}$에 대해, 논문은 양자 그래프의 부분집합 $Q$에 대한 커널 영집합 $V_\Omega(Q)$와 커널의 부분집합 $Y$에 대한 대응하는 소거 아이디얼 $I_A(Y)$를 정의한다. 이러한 아이디얼들의 $\theta_q$ 하에서의 상은 불변 환 $R_q$ 내의 아이디얼들을 산출한다.

주요 기여 및 결과

• 소거 집합의 대수적 구조: 논문은 임의의 고정된 환경 클래스 $\Omega$에 대해, 부분집합 $Y \subseteq \Omega$ 위에서 소거되는 양자 그래프들의 집합이 대수 $A$ 내의 아이디얼을 이룬다는 것을 증명한다. 결과적으로, 불변 환 $R_q$ 내에서의 이들의 상 또한 아이디얼을 이룬다. 이는 서로소 합집합 하에서의 동형사상 밀도의 곱셈성 ($t(gh, W) = t(g, W)t(h, W)$) 에 의존한다.
• 자리스키형 위상: 저자들은 $\Omega$의 대수적 부분집합들 (양자 그래프들의 영집합) 이 유한한 합집합과 임의의 교집합 하에서 닫혀 있음을 보여준다. 이는 커널 영집합들을 닫힌 집합으로 하는 커널 공간 위의 자리스키형 위상의 정의를 가능하게 한다.
• 널스텔른사츠 스타일 결과:
  • 논문은 자리스키 위상에서의 집합의 폐포와 그 소거 아이디얼 사이의 대응을 확립한다: 임의의 대수적 집합 $Y$에 대해 $V_\Omega(I_A(Y)) = Y$이다.
  • 불변 환 $R_q$에 대해 널스텔른사츠 스타일 정리가 증명된다. 구체적으로, 다항식 $f \in R_q$가 아이디얼 $\mathfrak{a} \subseteq R_q$의 영집합 위에서 소거되면, $f$는 $\sqrt{\mathfrak{a}}$에 속한다. 이 결과는 아이디얼을 전체 다항식 환으로 확장하고, 고전적인 힐베르트 널스텔른사츠를 적용한 후 불변 환으로 다시 축소함으로써 유도된다.
  • 기약성 기준이 제공된다: 비어 있지 않은 대수적 커널 집합 $V$는 그 소거 아이디얼 $I_A(V)$가 소 아이디얼일 때에만 기약이다.
• 하마르드 그래폰에의 적용: 이 프레임워크는 대칭 하마르드 행렬에서 유래한 하마르드 그래폰에 적용된다. 저자들은 하마르드 그래폰 $U_B$에 대한 동형사상 밀도 $t(g, U_B)$를 계산하는 명시적 확률 공식 $P(B, g)$를 유도한다. 그들은 하마르드 그래폰의 소거 아이디얼이 정확히 이 확률 공식이 소거되는 양자 그래프들의 집합임을 증명한다. furthermore, 대칭 하마르드 행렬의 대각선에 $+1$이 존재한다면, 연관된 그래폰 위에서 소거되는 밀도를 갖는 일반 다중그래프는 존재하지 않음이 보인다.

의의 및 한계
본 논문은 그래폰을 영집합 및 아이디얼과 연결함으로써 대수기하학의 도구들을 그래 극한 이론으로 도입하여, 그래폰에 대한 첫 번째 체계적인 대수적 연구를 제공한다고 주장한다. 그 의의는 커널 공간 위에 위상을 정의하고 이러한 공간들의 아이디얼론적 특징을 확립하는 데 있다.

그러나 논문은 다항식 표현의 한계에 대해 겸손하게 접근한다. 명시적으로 사상 $\theta_q$가 반드시 단사 (injective) 가 아니라고 지적한다. 결과적으로, 다항식 상의 같음이 근본적인 커널 영집합의 같음을 보장하지는 않는다. 저자들은 $q=1$일 때 두 개의 서로 다른 양자 그래프가 동일한 다항식으로 매핑되지만, 랭크 1 커널에 대해서는 서로 다른 동형사상 밀도를 산출하는 예를 들어 이를 설명한다. 논문은 미래의 작업을 아이디얼 정리들의 확장 (이는 유한 랭크 가정 없이 일반적으로 성립함) 으로 보지 않고, 환경 클래스 $\Omega$의 서로 다른 선택이 결과적인 위상에 어떻게 영향을 미치는지, 그리고 유한-$q$ 다항식 몫으로 이동할 때 얼마나 많은 정보가 보존되는지에 대한 조사로 규정하며 마무리한다.