프뢰베니우스 거리에서 무작위 그래프의 프레셰 평균과 거리의 극한 법칙

본 논문은 Erdős‑Rényi 무작위 그래프 $G_{n,p}$에 대해 라플라시안 행렬의 프뢰베니우스 거리 $d_F$를 이용해 프레셰 평균을 정의하고, 그 구조와 거리의 확률적 거동을 전면적으로 분석한다. 1. **문제 설정 및 배경** 프레셰 평균은 일반 거리 공간 $(\mathcal X,d)$에서 기대값을 일반화한 개념으로, $f_\mu(x)=\int d^2(x,y)\,\mu(dy)$를 최소화하는 점들의 집합이다. 그래프 공간에 적용할 때는 어떤 그래프 거리 선택이 평균의 형태를 결정한다. 기존 연구에서는 Hamming 거리(인접 행렬 원소 차이)로 정의했을 때, $p\le 1/2$이면 빈 그래프, $p>1/2$이면 완전 그래프가 프레셰 평균이 된다. 그러나 Hamming 거리는 엣지 하나의 존재 여부만 반영해 전역 구조를 포착하지 못한다. 2. **프뢰베니우스 거리와 프레셰 함수 전개** 저자들은 라플라시안 $L=D-A$를 사용해 $d_F(G,G')=\|L-L'\|_F$를 정의한다. 이 거리와 $G_{n,p}$의 분포를 이용해 프레셰 함수 $f(G)=\mathbb{E}