[논문 리뷰] Low rank matrix recovery from Clifford orbits

Richard Kueng, Huangjun Zhu외 1명|arXiv (Cornell University)|2016. 10. 25.

Advanced X-ray Imaging Techniques참고 문헌 71인용 수 14

한 줄 요약

이 논문은 쿼리드 상태를 포함한 저질서 행렬이 클리포드 군 궤도에서 샘플링된 측정치를 통해 볼록 최적화를 이용해 효율적으로 복원될 수 있음을 보여준다. $ m /geq C\kappa_r r d \log d $ 측정치가 안정적이고 거의 최적의 복원을 보장함을 입증하며, 노이즈가 존재하는 상황에서도 재구성 오차의 명시적 경계와 양의 준정부호 행렬에 대한 최소 제곱법을 통한 복원 보장을 제공한다.

ABSTRACT

We prove that low-rank matrices can be recovered efficiently from a small number of measurements that are sampled from orbits of a certain matrix group. As a special case, our theory makes statements about the phase retrieval problem. Here, the task is to recover a vector given only the amplitudes of its inner product with a small number of vectors from an orbit. Variants of the group in question have appeared under different names in many areas of mathematics. In coding theory and quantum information, it is the complex Clifford group; in time-frequency analysis the oscillator group; and in mathematical physics the metaplectic group. It affords one particularly small and highly structured orbit that includes and generalizes the discrete Fourier basis: While the Fourier vectors have coefficients of constant modulus and phases that depend linearly on their index, the vectors in said orbit have phases with a quadratic dependence. In quantum information, the orbit is used extensively and is known as the set of stabilizer states. We argue that due to their rich geometric structure and their near-optimal recovery properties, stabilizer states form an ideal model for structured measurements for phase retrieval. Our results hold for $m\geq C κ_r r d \log(d)$ measurements, where the oversampling factor k varies between $κ_r=1$ and $κ_r = r^2$ depending on the orbit. The reconstruction is stable towards both additive noise and deviations from the assumption of low rank. If the matrices of interest are in addition positive semidefinite, reconstruction may be performed by a simple constrained least squares regression. Our proof methods could be adapted to cover orbits of other groups.

연구 동기 및 목표

• 저질서 행렬 복원에 대해 클리포드 군 궤도에서 유도된 측정치에 대한 이론적 복원 보장을 수립하는 것.
• 구조화되고 거의 최적의 측정 벡터인 스테이블라이저 상태가 효율적이고 안정적인 위상 복원을 가능하게 한다는 것을 보여주는 것.
• 노이즈 및 저질서 가정 하에 안정적 복원을 위한 측정 수의 명시적 경계를 제공하는 것.
• 이러한 측정치를 사용하여 제약 조건이 있는 최소 제곱 회귀를 통해 양의 준정부호 행렬을 재구성할 수 있음을 보여주는 것.
• 표현 이론 기법을 통해 이 방법을 클리포드 군을 초월한 다른 군 궤도로 확장할 수 있는 기초를 마련하는 것.

제안 방법

• 위상 복원 문제를 행렬 위의 볼록 최적화 문제로 올리는 데 PhaseLift 프레임워크를 사용한다.
• 특히 스테이블라이저 상태를 포함한 궤도의 기하학적 및 대수적 구조를 분석하기 위해 클리포드 군의 표현 이론을 활용한다.
• 클리포드 궤도에서 샘플링된 측정 연산자의 제한된 등거리성 성질(RIP)을 분석함으로써 복원 보장을 도출한다.
• 핵심 노름 최소화와 쌍대성 추론을 통해 재구성 오차의 경계를 설정하며, $ \ell_q $-노름 항을 통해 노이즈를 통합한다.
• 오버샘플링 인자 $ \kappa_r \in [1, r^2] $ 를 도입하여 궤도와 질서 $ r $ 에 따라 달라지는 측정 수에 영향을 미친다.
• 측정 집합의 체중 중심과 모멘트 경계를 적용하여 체적 측도의 집중성 원리와 함께, 추가 노이즈 및 저질서 편차에 대한 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 클리포드 군 궤도에서 유도된 소수의 측정치로부터 저질서 행렬을 안정적으로 복원할 수 있는가?
• RQ2 양자 정보에서 잘 알려진 스테이블라이저 상태는 위상 복원에 대해 거의 최적의 측정 집합을 형성하는가?
• RQ3 안정적 복원을 위한 최소 측정 수는 무엇이며, 이는 질서와 차원에 어떻게 의존하는가?
• RQ4 이 측정 모델을 사용하여 양의 준정부호 행렬을 효율적으로 재구성할 수 있는가?
• RQ5 이 증명 프레임워크는 클리포드 군을 초월한 다른 군 궤도로 얼마나 일반화될 수 있는가?

주요 결과

• 저질서 행렬 복원은 $ m \geq C\kappa_r r d \log d $ 측정치가 클리포드 궤도에서 샘플링될 경우 가능하며, $ \kappa_r \in [1, r^2] $ 이다.
• 재구성 오차는 $ \|Z^\sharp - X\|_2 \leq \frac{\hat{C}_2}{\sqrt{r}} \sigma_r(X) + \hat{C}_3 \sqrt{\kappa(z,r)} \, d m^{-1/q} \|\epsilon\|_{\ell_q} $ 로 경계되며, 노이즈 하에서의 안정성을 보여준다.
• 양의 준정부호 행렬의 경우, 제약 조건이 있는 최소 제곱 회귀를 통해 안정적 복원이 가능하다.
• 오버샘플링 인자 $ \kappa_r $ 는 궤도와 질서에 따라 변하며, 최적의 경우 $ \kappa_r = 1 $ 이고, 최악의 경우 $ \kappa_r = r^2 $ 이다.
• 스테이블라이저 상태는 기하학적 및 대수적 성질이 풍부하여 위상 복원에 대해 매우 구조화되고 거의 최적의 측정 집합을 형성한다.
• 히우리스틱 증거는 $ n $-큐비트 스테이블라이저 상태를 재구성하기 위해 $ O(n^2) $ 개의 노이즈 없는 스테이블라이저 측정치가 충분할 수 있음을 시사하지만, 엄밀한 증명은 아직 열려 있다.