[논문 리뷰] A quantum Johnson-Lindenstrauss lemma via unitary t-designs

Pranab Kumar Sen|arXiv (Cornell University)|2018. 07. 23.

Random Matrices and Applications참고 문헌 15인용 수 3

한 줄 요약

이 논문은 양자 차원 축소를 위한 효율적인 양자 존슨-린든스트라우스 보조정리를 제시한다. 이 보조정리는 히어 랜덤 유니터리 대신 유니터리 t-디자인을 사용하여, 전통적인 존슨-린든스트라우스 보조정리와 동일한 왜곡 보장을 달성하면서도 오직 O(d₂ log d₁)의 랜덤 비트만 요구하고, 효율적인 양자 회로 구현이 가능하게 한다. 이는 초위상 상태 환경에서 전체 히어 무작위성의 확장 가능한 대안을 제공한다.

ABSTRACT

The famous Johnson-Lindenstrauss lemma states that for any set of n vectors, there is a linear transformation into a space of dimension O(log n) that approximately preserves all their lengths. In fact, a Haar random unitary transformation followed by projection onto the first O(log n) coordinates followed by a scaling works as a valid transformation with high probability. In this work, we show that the Haar random unitary can be replaced by a uniformly random unitary chosen from a finite set called an approximate unitary t-design for t = O(log n). Choosing a unitary from such a design requires only polylogarithmic random bits as opposed to exponential in dimension random bits required to choose a Haar random unitary with reasonable precision. Moreover, since such unitaries can be efficiently implemented in the superpositional setting, our result can be viewed as an efficient quantum Johnson-Lindenstrauss transform akin to efficient quantum Fourier transforms widely used in earlier work on quantum algorithms. We prove our result by leveraging a method of Low for showing concentration for approximate unitary t-designs. We discuss algorithmic advantages and limitations of our result and conclude with a toy application to private information retrieval.

연구 동기 및 목표

• 양자 상태 임bedding을 위한 효율적인 양자 버전의 고전적 존슨-린든스트라우스 보조정리를 개발하기 위해.
• 지수적 랜덤성 요구를 갖는 히어 랜덤 유니터리 대신 유한하고 효율적으로 샘플링 가능한 유니터리 t-디자인으로 대체하기 위해.
• 양자 상태 간의 쌍별 내적 값이 (1±ε)의 왜곡 범위 내에서 높은 확률로 유지됨을 보장하기 위해.
• 랜덤성과 회로 깊이를 줄여 실제 양자 알고리즘에서의 구현 가능성을 높이기 위해.
• 개인 정보 보호 검색과 같은 양자 프로토콜에의 적용을 탐색하기 위해.

제안 방법

• d₂에 대해 t = Θ(d₂)인 유니터리 t-디자인을 사용하여 양자 차원 축소에서 히어 무작위성을 근사한다.
• 유니터리의 텐서 곱에 대한 t-디자인과 히어 기대값 간의 차이를 제한하기 위해 TPE(Tensor Product Extension) 프레임워크를 활용한다.
• d₂차원 블록으로의 투영 후 노름 왜곡의 尾確率를 제어하기 위해 마르코프 부등식을 적용한다.
• 로우의 방법을 통한 농도 경계를 활용하여 t = O(d₂)인 t-디자인이 고확률 왜곡 제어에 충분함을 보인다.
• 변환을 다음과 같이 구성한다: t-디자인에서 무작위 유니터리를 적용하고, d₂개의 좌표로 이루어진 무작위 블록으로 투영한 후, √(d₁/d₂)로 스케일링한다.
• 로컬 랜덤 양자 회로의 효율적 구성법을 활용하여, 다항로그 회로 깊이와 랜덤성으로 근사적 t-디자인을 형성한다.

실험 결과

연구 질문

• RQ1 t = O(d₂)인 유니터리 t-디자인이 히어 랜덤 유니터리 대체 가능성을 보장하면서도 왜곡 보장을 유지할 수 있는가?
• RQ2 고확률로 유효한 양자 존슨-린든스트라우스 변환을 제공하기 위해 필요한 최소한의 t는 얼마인가?
• RQ3 히어 샘플링에 비해 이러한 변환을 구현하기 위해 필요한 랜덤 비트의 양은 얼마나 되는가?
• RQ4 초위상 상태에서 이러한 변환이 양자 회로에서 효율적으로 실행될 수 있는가?
• RQ5 이 변환의 알고리즘적 제약 조건과 잠재적 응용 분야는 무엇인가?

주요 결과

• t = Θ(d₂)인 유니터리 t-디자인은 임의의 양자 상태의 투영된 노름이 원래 노름의 (1±ε) 범위 내에 고확률로 유지됨을 보장한다.
• 이러한 t-디자인에서 샘플링하기 위해 필요한 랜덤 비트 수는 O(d₂ log d₁)이며, 이는 히어 샘플링에 필요한 2^Ω(d₁²) 비트에 비해 상당한 향상이다.
• 이 변환은 다항로그(d₁) 크기의 양자 회로로 구현 가능하므로, 양자 알고리즘에 있어 효율적이다.
• TPE 프레임워크를 통해 측도 집중이 달성되며, 오차는 d₂에 대해 지수적으로 감소한다.
• 블록 이름에 대한 분포는 거의 균일하며, 고전적 환경에서는 제어가 제한되지만 새로운 양자 응용 가능성을 제공한다.
• 개인 정보 보호 검색에 대한 토이 응용 사례를 제시하여, 향후 양자 프로토콜에서의 잠재적 활용 가능성을 부각시켰다.