[논문 리뷰] Strong Fourier Sampling Fails over $G^n$

Gorjan Alagic, Cristopher Moore외 1명|ArXiv.org|2005. 11. 07.

Mathematical Analysis and Transform Methods참고 문헌 4인용 수 6

한 줄 요약

이 논문은 기저 군 $G$가 기약 성분과 플랑커렐 측도를 포함한 표현 이론적 조건을 만족할 경우, 강한 푸리에 샘플링이 $G^n$의 특정한 은닉 부분군을 구별하지 못함을 보여준다. 핵심 결과는 비아벨 단순군과 특정 노름군에 대해, 코셋 상태에 대한 분리 측정이 최적의 강한 푸리에 샘플링을 사용하더라도 효율적으로 은닉 부분군 문제를 해결할 수 없음을 보여주며, 이는 특정 부분군에 대해 구별 불가능한 측정 통계를 가짐을 뜻한다.

ABSTRACT

We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over these groups with separable measurements on coset states (that is, using any polynomial number of single-register coset state experiments). Base groups satisfying our condition include all nonabelian simple groups. We apply our results to show that there exist uniform families of nilpotent groups whose normal series factors have constant size and yet are immune to strong Fourier sampling.

연구 동기 및 목표

• 기저 군 $G$가 강한 푸리에 샘플링이 $G^n$의 은닉 부분군을 구별하지 못하는 조건을 규명하는 것.
• 은닉 부분군 문제에 대한 재귀적 접근이 상수 크기의 정규 시리즈 인자만을 갖는 군에 국한되는 이유를 설명하는 것.
• 비아벨 단순군과 특정 노름군이 강한 푸리에 샘플링으로부터 면역임을 입증하는 것.
• 이러한 군에서 코셋 상태에 대한 분리 측정이 최적의 측정 전략을 사용하더라도 HSP를 효율적으로 해결할 수 없음을 증명하는 것.

제안 방법

• 기저 군 $G$의 기약 표현에 대한 플랑커렐 측도를 분석하여, 문자 경계 조건을 만족하지 못하는 표현의 치수 기반 질량을 평가하는 것.
• 역치 $\mu \notin Z(G)$에 대해 $|\chi_\rho(\mu)| < d_\rho$ 조건을 약한 샘플링 실패의 기초로 사용하는 것.
• MRS05의 보조정리 1을 적용하여 임의의 역치 $m$에 대해 $\|\Pi_m \mathbf{b}\|^2$의 기대값과 분산을 계산하는 것.
• 와레인 프로덕트 $\mathbb{Z}_2 \wr D_k$와 $\mathbb{Z}_2^{\wr k}$의 표현 이론을 구성하여 기약 표현에 대한 문자 경계를 분석하는 것.
• 기저 군 $G = \mathbb{Z}_2 \wr D_k$ 또는 $\mathbb{Z}_2^{\wr k}$일 경우, 특정 역치에서 비일차원 기약 표현의 정규화된 문자가 1 이하로 유계임을 보여주며, 이는 실패 조건을 만족함을 보여주는 것.
• 이러한 $G$에 대해 $G^n$이 강한 푸리에 샘플링을 통해 구별될 수 없음을 증명하며, 이는 코셋 상태에 대한 분리 측정을 통한 효율적 해법이 존재하지 않음을 암시한다.

실험 결과

연구 질문

• RQ1 기저 군 $G$가 어떤 조건을 만족할 경우 강한 푸리에 샘플링이 $G^n$의 은닉 부분군을 구별하지 못하는가?
• RQ2 은닉 부분군 문제에 대한 재귀적 접근이 상수 크기의 정규 시리즈 인자만을 갖는 군에 국한되는 이유는 무엇인가?
• RQ3 비아벨 단순군은 HSP 맥락에서 강한 푸리에 샘플링으로부터 면역이 될 수 있는가?
• RQ4 기저 군 $G$의 어떤 구조적 성질이 문자 경계 조건을 위반하는 표현에 대해 플랑커렐 측도가 충분한 무게를 할당하지 못하게 하는가?
• RQ5 반복적으로 $\mathbb{Z}_2$의 와레인 프로덕트로 구성된 노름군은 강한 푸리에 샘플링의 실패 조건을 만족하는가?

주요 결과

• 기저 군 $G$가 플랑커렐 가중 문자 경계 조건을 만족할 경우, 강한 푸리에 샘플링은 $G^n$에서 자명 부분군과 $H = \{1, m\}$을 구별하지 못한다.
• 모든 비아벨 단순군은 이 조건을 만족하므로, HSP에 대해 강한 푸리에 샘플링으로부터 면역이다.
• $\mathbb{Z}_2 \wr D_k$는 충분히 큰 $k$에 대해 이 조건을 만족하므로, $(\mathbb{Z}_2 \wr D_k)^n$은 강한 푸리에 샘플링으로부터 면역이다.
• 노름군 $\mathbb{Z}_2^{\wr k}$는 큰 $k$에 대해 이 조건을 만족하며, $(\mathbb{Z}_2^{\wr k})^n$ 역시 강한 푸리에 샘플링으로부터 면역이다.
• 이 군들은 상수 크기의 인자를 갖는 정규 시리즈를 지니므로, 이러한 구조에서 재귀적 HSP 알고리즘의 제약를 설명할 수 있다.
• 실패는 코셋 상태에 대한 단일 레지스터 실험을 다항수의 횟수로 수행해도 이러한 군에서 분리 측정을 통한 HSP 해법이 존재하지 않음을 암시한다.