[논문 리뷰] Optimal Second-Order Rates for Quantum Soft Covering and Privacy Amplification

Yuchen Shen, Li Gao외 1명|arXiv (Cornell University)|2022. 02. 23.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 추적 거리(trace distance)를 보안 측도로 사용하여 양자 소프트 커버링과 프라이버시 강화에 대한 1회성 특성화를 수립한다. 최적의 두 번째 차수 비율이 각각 양자 상호정보량 분산과 조건부 정보량 분산에 의해 결정되며, 스무딩 기법을 피하기 위해 가설 검정 엔트로피와 정보량을 정확한 운영 양으로 제시한다.

ABSTRACT

We study quantum soft covering and privacy amplification against quantum side information. The former task aims to approximate a quantum state by sampling from a prior distribution and querying a quantum channel. The latter task aims to extract uniform and independent randomness against quantum adversaries. For both tasks, we use trace distance to measure the closeness between the processed state and the ideal target state. We show that the minimal amount of samples for achieving an $\varepsilon$-covering is given by the $(1-\varepsilon)$-hypothesis testing information (with additional logarithmic additive terms), while the maximal extractable randomness for an $\varepsilon$-secret extractor is characterized by the conditional $(1-\varepsilon)$-hypothesis testing entropy. When performing independent and identical repetitions of the tasks, our one-shot characterizations lead to tight asymptotic expansions of the above-mentioned operational quantities. We establish their second-order rates given by the quantum mutual information variance and the quantum conditional information variance, respectively. Moreover, our results extend to the moderate deviation regime, which are the optimal asymptotic rates when the trace distances vanish at sub-exponential speed. Our proof technique is direct analysis of trace distance without smoothing.

연구 동기 및 목표

• 양자 측정 정보 이론의 격차를 메우기 위해 양자 소프트 커버링과 양자 측면 정보에 대한 1회성 특성화를 제공한다.
• 추적 거리를 성능 지표로 사용하여 이러한 작업에 대한 날카운 두 번째 차수 渐近 전개를 유도한다.
• 추적 거리가 지수적으로 감소하지 않는 중간 변화 영역에서 최적의 비율을 확립한다.
• 추적 거리 분석에서 스무딩 기법을 피함으로써 직접적이고 더 날카운 경계를 가능하게 한다.
• 추적 거리가 스무딩 엔트로피 없이 사용될 경우, 가설 검정 엔트로피와 정보량이 자연스러운 1회성 운영 양으로 기능함을 보여준다.

제안 방법

• 저자들은 스무딩을 사용하지 않고 직접 추적 거리 분석을 수행하며, 운영 양을 기술하기 위해 가설 검정 정보와 엔트로피에 의존한다.
• 소프트 커버링을 위한 핵심 양으로 $(1-\varepsilon)$-가설 검정 정보 $I_{\text{h}}^{1-\varepsilon}(X:B)_\rho$를 정의하고, 프라이버시 강화를 위한 $(1-\varepsilon)$-조건부 가설 검정 엔트로피 $H_{\text{h}}^{1-\varepsilon}(X|E)_\rho$를 정의한다.
• 증명 기법은 샌드위치 리니우 리아니 분산과 레마 3을 적용하여 코드북 크기와 추출 가능한 랜덤니스의 하한을 유도하는 것으로, 추적 거리를 바OUND한다.
• 1회성 양과 양자 상호정보량 분산 및 조건부 정보량 분산을 연결함으로써 날카운 두 번째 차수 전개를 도출한다.
• 추적 거리가 $O(1/\sqrt{n})$ 이하로 감소하지 않는 조건에서 중간 변화 영역으로 분석을 확장한다.
• 샌드위치 리니우 리아니 분산 $D_{\text{s}}^{1-\varepsilon}(\rho_{XB} \| \rho_X \otimes \rho_B)$ 와 가설 검정 분산 $D_{\text{h}}^{1-\varepsilon}(\rho_{XB} \| \rho_X \otimes \rho_B)$ 를 포함하는 부등식을 통해 프레임워크를 검증한다.

실험 결과

연구 질문

• RQ1 추적 거리 제약 조건 하에서 양자 소프트 커버링의 최소 코드북 크기의 최적 1회성 특성화는 무엇인가?
• RQ2 스무딩 없이 추적 거리로 표현할 경우, 프라이버시 강화에서 최대로 추출 가능한 랜덤니스는 어떻게 특성화할 수 있는가?
• RQ3 오차가 상수 $\varepsilon \in (0,1)$ 로 제한될 때, 양자 소프트 커버링과 프라이버시 강화의 두 번째 차수 渐近 비율은 무엇인가?
• RQ4 추적 거리가 지수적으로 감소하지 않는 중간 변화 영역에서 비율은 어떻게 행동하는가?
• RQ5 추적 거리가 스무딩 엔트로피 대신 사용될 경우, 가설 검정 정보와 엔트로피는 자연스러운 1회성 운영 양으로 기능할 수 있는가?

주요 결과

• 추적 거리 제약 조건 하에서 $\varepsilon$-커버링을 위한 최소 코드북 크기는 로그 덧셈 항을 제외하고는 $(1-\varepsilon)$-가설 검정 정보 $I_{\text{h}}^{1-\varepsilon}(X:B)_\rho$로 특성화된다.
• 추적 거리 제약 조건 하에서 $\varepsilon$-비밀 프라이버시 강화에서 최대로 추출 가능한 랜덤니스는 $(1-\varepsilon)$-조건부 가설 검정 엔트로피 $H_{\text{h}}^{1-\varepsilon}(X|E)_\rho$로 주어진다.
• 양자 소프트 커버링의 두 번째 차수 비율은 i.i.d. 반복 조건에서 양자 상호정보량 분산 $V(X:B|\rho)$이다.
• 프라이버시 강화의 두 번째 차수 비율은 i.i.d. 반복 조건에서 양자 조건부 정보량 분산 $V(X:E|\rho)$이다.
• 중간 변화 영역에서 최적의 비율은 동일한 분산으로 특성화되며, 추적 거리는 $O(1/\sqrt{n})$ 속도로 감소한다.
• 증명 과정에서 스무딩 기법을 피하고 직접 추적 거리 분석을 수행함으로써 이전 방법보다 더 날카우며 직접적인 경계를 도출한다.