유한 아멕터 군의 L^p 왜곡 연구

초록

본 논문은 아멕터 군의 유한 인용군에 대한 L^p-왜곡을 조사한다. p≥2인 경우, 램프라이터 군의 유한 인용군에서 l^p-왜곡이 (log n)^{1/p} 정도로 성장함을 증명하고, 특정 메타베릴 폴리사이클릭 군 및 Baumslag‑Solitar 군 BS(m,1)의 유한 인용군에 대해서도 정확한 점근적 거동을 제시한다. 증명은 짧고 기본적인 도구만을 사용한다.

상세 분석

논문은 먼저 L^p-왜곡(distortion)이라는 개념을 정의한다. 이는 유한 그래프(또는 군의 코셰트) G에 대해, 원래의 그래프 거리와 ℓ^p-노름을 이용해 임베딩된 유클리드 공간 사이의 비율을 최적화한 값이다. 특히, 군의 유한 인용군을 Cayley 그래프로 생각하고, 그 그래프 거리와 ℓ^p-거리 사이의 최악의 비율을 연구한다. 저자는 p≥2일 때, 이 왜곡이 로그함수의 1/p 제곱근 형태로 성장한다는 일반적인 패턴을 발견한다.

핵심 사례로 램프라이터 군 L_n = (ℤ/2ℤ)≀ℤ_n을 선택한다. 이 군은 ℤ_n 위에 2진 전구를 배치하고, 전구를 켜고 끄는 연산과 전구들의 위치를 이동시키는 연산으로 생성된다. 저자는 이 군의 지름이 Θ(n)임을 이용해, ℓ^p-임베딩에서 발생하는 평균 거리와 최악 거리 사이의 차이를 정밀히 추정한다. 구체적으로, 전구 상태를 나타내는 0‑1 벡터를 ℓ^p-공간에 매핑하고, 이동 연산을 선형 변환으로 해석한다. 이때 발생하는 좌표들의 변동량이 로그 n에 비례함을 보이고, 이를 통해 왜곡이 (log n)^{1/p}임을 증명한다.

다음으로 메타베릴 폴리사이클릭 군의 한 종류, 예를 들어 G = ℤ