[논문 리뷰] The One-Way Communication Complexity of Group Membership

Scott Aaronson, François Le Gall외 2명|arXiv (Cornell University)|2009. 02. 18.

Complexity and Algorithms in Graphs참고 문헌 10인용 수 3

한 줄 요약

이 논문은 유한군에서 부분군 소속 문제의 단방향 고전적 통신 복잡도에 상계를 설정하며, 부분군이 정규일 경우 O(log |G|)의 통신으로 문제를 해결할 수 있음을 보이고, 일반적으로는 최대 불가약 복소 표현의 차원 d_max를 고려해 O(d_max · log |G|)의 통신으로 해결할 수 있음을 밝힌다. 핵심 기여는 케일리 그래프의 스펙트럼 간격을 활용한 표현 이론적 프로토콜로, 유한 오차로 효율적인 검증을 달성한다.

ABSTRACT

This paper studies the one-way communication complexity of the subgroup membership problem, a classical problem closely related to basic questions in quantum computing. Here Alice receives, as input, a subgroup $H$ of a finite group $G$; Bob receives an element $x \in G$. Alice is permitted to send a single message to Bob, after which he must decide if his input $x$ is an element of $H$. We prove the following upper bounds on the classical communication complexity of this problem in the bounded-error setting: (1) The problem can be solved with $O(\log |G|)$ communication, provided the subgroup $H$ is normal; (2) The problem can be solved with $O(d_{\max} \cdot \log |G|)$ communication, where $d_{\max}$ is the maximum of the dimensions of the irreducible complex representations of $G$; (3) For any prime $p$ not dividing $|G|$, the problem can be solved with $O(d_{\max} \cdot \log p)$ communication, where $d_{\max}$ is the maximum of the dimensions of the irreducible $\F_p$-representations of $G$.

연구 동기 및 목표

• 유한군에서 부분군 소속 문제의 고전적 단방향 통신 복잡도를 규명하는 것.
• 전체 함수에 대해 고전적 및 양자적 단방향 통신 복잡도 사이에 초선형 간격이 존재할 수 있는지 조사하는 것.
• 군 표현 이론과 스펙트럼 그래프 성질을 활용해 부분군 소속에 대한 효율적인 프로토콜을 개발하는 것.
• 특히 상수 인덱스의 아벨 부분군을 가지는 군들에 대해 통신 복잡도가 |G|에 대해 로그 수준이 되는 군을 특성화하는 것.
• 군의 구조와 표현 차원에 기반한 통신 비용에 대한 날카로운 상계를 제공하는 것.

제안 방법

• 유한군의 표현 이론을 활용하며, 복소수 및 F_p 위의 불가약 복소 및 모듈러 표현에 중점을 둔다.
• 앨리스가 부분군 H에 대한 대칭 생성집합 A를 사용해 군 대수의 원소를 나타내는 양자적 상태(고전적으로 인코딩된 상태)를 전송하는 프로토콜을 구성한다.
• 표현 공간 내의 벡터 간의 내적을 유한하게 제한하기 위해 yA ∪ Ay^{-1}로 생성된 케일리 그래프의 스펙트럼 간격을 활용한다.
• 바바이의 정리(케일리 그래프의 두 번째 고유값에 관한)를 활용해 평균 연산자 S_A의 연산자 노름에 하한을 설정한다.
• 에르되시-레니의 결과를 적용해 크기가 O(log |H|)이고 지름이 O(log |H|)인 생성집합 A를 선택함으로써 빠른 혼합성과 스펙트럼 확산을 보장한다.
• 내적 ⟨v, ρ(y)v⟩를 분석하여 오류 확률을 유한하게 제한하며, 측도 집중과 노름 제어를 통해 타당성을 확보한다.

실험 결과

연구 질문

• RQ1 부분군 소속 문제의 단방향 통신 복잡도는 군 표현 이론의 관점에서 상계로 표현될 수 있는가?
• RQ2 부분군 H가 정규일 경우, 부분군 소속 문제를 해결하기 위한 통신 비용은 얼마인가?
• RQ3 불가약 표현의 최대 차원 d_max가 통신 복잡도에 미치는 영향은 무엇인가?
• RQ4 상수 인덱스의 아벨 부분군을 가지는 군에 대해 프로토콜이 O(log |G|)의 통신을 달성할 수 있는가?
• RQ5 케일리 그래프의 스펙트럼 간격이 프로토콜의 타당성 확보에 어떤 역할을 하는가?

주요 결과

• 유한군 G의 정규 부분군 H에 대해, 부분군 소속 문제의 단방향 통신 복잡도는 O(log |G|)이다.
• 모든 유한군 G에 대해, 복잡도는 G의 불가약 복소 표현의 최대 차원 d_max를 고려해 O(d_max · log |G|)로 상계된다.
• p가 |G|를 나누지 않는 소수일 경우, 복잡도는 O(d_max · log p)로 상계되며, 여기서 d_max는 불가약 F_p-표현의 최대 차원이다.
• 크기가 O(log |H|)인 생성집합을 사용할 경우, 타당성 오차는 1 - Ω(1/([K:H]^2 log^3 |H|)) 이하로 유한해진다.
• d_max가 상수일 경우, 통신 복잡도는 O(log |G|)이며, 이는 정확히 상수 인덱스의 아벨 부분군을 가지는 군들에서 성립한다.
• 결과적으로 이러한 군들에 대해 고전적 단방향 통신 복잡도가 |G|에 대해 로그 수준임을 시사하며, 이는 상수 배수 이내로 양자 하한값과 일치한다.