Optimal expansion in unitary groups I: Golden adelic groups and cutoff

기술 요약: 유니타리 군에서의 최적 확장 I: 골든 아델릭 군과 컷오프(Cutoff)

문제 정의
본 논문은 산술 기하학, 표현론, 그리고 양자 컴퓨팅의 교차점에 있는 두 가지 상호 연결된 문제를 다룬다. 첫째, 브루아트-티츠(Bruhat-Tits) 빌딩에 전사적으로 작용하는 투영 유니타리 군($PU_n$)의 $p$-산술 격자(p-arithmetic lattices)를 구축하고자 한다. 이러한 군들은 효율적이고 최적에 가까운 양자 회로 컴파일을 가능하게 하는 생성 집합인 "골든 게이트 세트(Golden Gate sets)"를 구성하는 데 필수적이다. 둘째, 본 논문은 브루아트-티츠 빌딩의 몫(quotients) 위에서의 무작위 보행(random walks)에 대한 "컷오프 현상"(혼합 시간에서의 급격한 전이)을 조사한다. 라마누잔 성질(나이브 라마누잔 추측, NRC)은 특정 군(예: $U_2$)에 대해 컷오프를 보장하지만, 행렬 유니타리 군 $U_n$ ($n \ge 3$)에서는 실패하는 것으로 알려져 있다. 저자들은 비템퍼드(non-tempered) 표현의 밀도를 제한하는 사르낙-슈(Sarnak-Xue) 밀도 가설(SXDH) 하에서 컷오프를 확립하는 것을 목표로 한다.

방법론
저자들은 산술 군론, 브루아트-티츠 빌딩 이론, 그리고 헤케 연산자(Hecke operators)의 스펙트럼 분석을 결합하여 사용한다.

1. 산술적 구성: 클래스 넘버 1인 $p$-산술 군(빌딩에 전사적으로 작용하는 군)의 존재를 증명하기 위해, 저자들은 두 가지 구별된 기법을 활용한다.

   • 지겔-프라드 부피 공식(Siegel-Prasad Volume Formula): 타마가와 측도(Tamagawa measure)를 사용하여 산술 군의 질량(mass)을 계산하고, 이를 정수 위에서의 군의 크기와 비교한다. 만약 질량이 군 크기의 역수와 같다면 클래스 넘버는 1이다.
   • 강한 근사(Strong Approximation) 및 "One-for-All": 부분군이 빌딩의 정점들에 전사적으로 작용하면 그 군이 클래스 넘버 1을 가짐을 보이기 위해 강한 근사 정리를 사용한다. 이는 특정 합동 클래스(congruence classes)의 원소를 세고 이를 빌딩의 차수와 연관시키는 과정을 포함한다.

2. 브루아트-티츠 이론: 본 논문은 반단순 $p$-adic 군을 위한 브루아트-티츠 빌딩의 구조에 크게 의존한다. 카르탕(Cartan) 및 이와호리(Iwahori) 분해, 파라호릭(parahoric) 및 이와호리 부분군의 구조, 그리고 이들 군이 빌딩의 챔버(chambers)와 정점에 작용하는 방식을 활용한다. 저자들은 면(face)의 안정자(stabilizer)와 군 작용의 전사성을 구체적으로 분석한다.

3. 헤케 연산자의 스펙트럼 경계: 유니타리 기약 표현 위에서 작용하는 헤케 연산자의 연산자 노름(operator norm)에 대한 상한을 도출하는 것이 핵심적인 기술적 기여이다. 저자들은 $\|1_{PSP} | \pi_P \|_{op}$의 노름을 집합 $S$의 크기와 표현 $\pi$의 행렬 계수(matrix coefficients)의 붕괴율 $\sigma(\pi)$에 대해 제한한다. 이는 이전의 결과들을 더 넓은 범위의 컴팩트 열린 부분군 $P$와 집합 $S$로 일반화한다.

4. 컷오프 분석: 빌딩의 유한 몫 위에서 기하학적 연산자(예: 인접 연산자의 거듭제곱)의 혼합 시간(mixing time)을 분석한다. 몫의 $L^2$ 공간을 기약 표현들로 분해함으로써, 저자들은 헤케 연산자에 대한 스펙트럼 경계와 SXDH(비템퍼드 표현의 기여를 제한함) 및 스펙트럼 갭 가정을 결합하여, 총 변동 거리(total variation distance)가 특정 시점에서 급격히 떨어진다는 것을 증명한다.

주요 기여 및 결과

• 골든 아델릭 군의 구성:

  • 저자들은 클래스 넘버 1을 갖는 $PU_4$ 및 $PU_8$ 내의 명시적인 $p$-산술 부분군 예시를 구축한다. 이 군들은 $PU_4(\mathbb{Q}_p)$의 브루아트-티츠 빌딩 정점들에 단순 전사적으로 작용한다(특정 소수 $p$에 대해).
  • 이러한 구성은 루보츠키, 필립스, 사르낙(LPS)의 선구적인 연구를 고차원으로 확장한다. 특히, 본 논문은 2-큐비트($PU_4$) 및 3-큐비트($PU_8$) 시스템을 위한 "골든 게이트 세트"를 구성하기 위해 필요한 산술적 기초(클래스 넘버 1인 $PU_4, PU_8$ 군)를 제공한다.
  • 저자들은 이차 허수 체 $\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$ 상에서 실현된 $E_8$ 격체를 기반으로 한 새로운 예시들과, 빌딩이 트리(tree)가 되는 비준스플릿(non-quasisplit) 군을 포함한 구성을 제시한다. 2 및 3 큐비트를 위한 골든 게이트 세트의 전체 구성은 이러한 산술 군들과 SXDH 결과를 결합하여 동반 논문 [DEP]에서 완성된다.

• SXDH 하에서의 컷오프:

  • 본 논문은 브루아트-티츠 빌딩의 유한 몫들의 가족이 SXDH와 스펙트럼 갭 성질을 만족할 경우 컷오프 현상을 나타냄을 증명한다.
  • 이 결과는 나이브 라마누잔 추측(NRC)을 요구하는 라마누잔 복합체(Ramanujan complexes)에 대한 기존의 컷오프 정리들을, NRC가 실패하는 더 넓은 범위의 군들로 일반화한다.
  • 혼합 시간은 $t(n) = \log_d(n)$으로 나타나며, 여기서 $d$는 기하학적 연산자의 지수적 성장률이고, 컷오프 윈도우는 $w(n) = o(t(n))$이다.

• 스펙트럼 경계:

  • 정리 5.3은 헤케 연산자의 연산자 노름에 대한 일반적인 경계를 제공한다: $\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$. 이 경계는 라마누잔 성질이 성립하지 않을 때 혼합 시간 분석의 오차 항을 제어하는 데 결정적이다.

의의

본 논문은 두 가지 주요 분야에서 의의를 갖는다:

1. 양자 컴퓨팅: 구축된 $PU_4$ 및 $PU_8$ 내의 $p$-산술 군은 2-큐비트 및 3-큐비트를 위한 "골든 게이트 세트"를 구성하는 데 필요한 필수적인 산술적 구성 요소를 제공한다. 이 세트들은 회로 길이에 있어 최적이며 효율적인 컴파일 알고리즘을 갖는다. 이는 산술 군론의 적용 범위를 기존에 주로 $PU(2)$ 구성에 국한되었던 영역에서 고차원 범용 양자 컴퓨팅으로 확장한다. 이 골든 게이트 세트의 실제 구성은 본 논문의 결과와 유니타리 군에 대한 SXDH 증명을 결합하여 동반 논문 [DEP]에서 최종적으로 완성된다.

2. 확장의 수학적 이론: 본 논문은 나이브 라마누잔 추측이 실패하더라도 컷오프 현상이 견고하게 지속됨을 입증한다. NRC를 SXDH로 대체함으로써, 저자들은 일반적인 반단순 $p$-adic 군에 대한 브루아트-티츠 빌딩 몫들의 확장 성질을 이해하기 위한 프레임워크를 제공한다. 이는 라마누잔 그래프/복합체 이론과 비템퍼드 표현이 불가피한 더 일반적인 산술 군의 풍경 사이의 간극을 메운다.

저자들은 동반 논문 [DEP]가 차원이 4와 8인 정의된 대수적 유니타리 군에 대한 SXDH를 증명하는 데 본 결과들을 활용하며, 이를 통해 골든 게이트 세트의 구성을 완료하고 관련 실 리 군(real Lie groups)의 거의 최적인 피복(covering) 성질을 증명한다고 밝히고 있다.