[논문 리뷰] Trevisan's extractor in the presence of quantum side information

Anindya De, Christopher Portmann외 2명|DSpace@MIT (Massachusetts Institute of Technology)|2009. 12. 30.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 측정자가 양자 측면 정보를 가질 수 있는 경우에도 Trevisan의 추출기 구조가 여전히 안전하다는 것을 입증하여, 양자 보안 환경에서의 강건성을 입증한다. 저자들은 Trevisan의 프레임워크의 모ularity를 활용하여, 다항 로그 길이의 시드와 거의 최적의 엔트로피 손실을 갖는 양자에 대한 증명이 가능한 추출기를 구성함으로써, 양자 암호화 및 현실적인 측면 정보 모델 하에서의 난수 재활용 응용 가능성을 열어 놓는다.

ABSTRACT

Randomness extraction involves the processing of purely classical information and is therefore usually studied in the framework of classical probability theory. However, such a classical treatment is generally too restrictive for applications, where side information about the values taken by classical random variables may be represented by the state of a quantum system. This is particularly relevant in the context of cryptography, where an adversary may make use of quantum devices. Here, we show that the well known construction paradigm for extractors proposed by Trevisan is sound in the presence of quantum side information. We exploit the modularity of this paradigm to give several concrete extractor constructions, which, e.g, extract all the conditional (smooth) min-entropy of the source using a seed of length poly-logarithmic in the input, or only require the seed to be weakly random.

연구 동기 및 목표

• 측면 정보가 양자일 경우에도 Trevisan의 추출기 구조의 안전성을 입증함으로써, 양자 보안 암호화에 필수적인 요소를 확보한다.
• 측면 정보가 양자일 경우에도 조건부 최소 엔트로피가 추출 가능한 난수의 유효한 측정 기준이 되는지를 증명함으로써, 고전적 추출기 이론을 양자 환경으로 확장한다.
• 작은 시드 길이와 낮은 엔트로피 손실을 갖는 실용적인 양자에 대한 증명이 가능한 추출기를 구성함으로써, 프라이버시 강화 및 난수 재활용과 같은 응용 분야에 적합하게 한다.
• Trevisan의 추출기의 수정형(예: 다변수 코드나 약한 시드 사용)이 양자 측면 정보 하에서도 여전히 안전한지 분석한다.
• 실용적인, 양자에 대한 증명이 가능한 이원 추출기 구축 및 효율적인 구현에 관한 열린 문제를 규명한다.

제안 방법

• Trevisan의 추출기 프레임워크를 적응하여, 두 단계 과정인 설계 기반의 시드 생성 및 입력의 각 부분집합에 대해 1비트 추출기를 적용하는 방식을 사용한다.
• 약한 $(t,r)$-설계를 사용하여 $m$개의 부분집합을 생성함으로써, 충분한 난수 확장을 확보하면서도 양자 측면 정보 하에서도 보안성을 유지한다.
• 각 부분집합에 대해 오차 $\frac{\rho^2}{9m^2}$를 갖는 1비트 추출기 $C$를 적용함으로써, 최종 출력이 양자 측면 정보 조건 하에서 균일 분포와 통계적으로 유사해지도록 보장한다.
• 보안 지표로 부드러운 조건부 최소 엔트로피 $H_{\text{min}}^{\text{ε}}(X|E)$를 사용하여, $H_{\text{min}}(X|E) \to \text{균일 출력}$을 만족하는 추출기가 양자 적대자에 대해 안전하다는 것을 증명한다.
• 길이 $d = O(\frac{1}{\beta^2 \nu} \log n)$인 약한 난수 시드를 조합하여, $\nu$는 엔트로피 손실을 제어하고 $\beta$는 오차를 제어함으로써, $\beta, \nu$가 상수일 경우 $d = O(\log n)$를 달성한다.
• 구성 기법을 사용하여 거의 최적의 엔트로피 손실을 달성하며, 출력 길이 $m = n^{\alpha - \gamma} - o(1)$를 얻어 조건부 최소 엔트로피와 다항식 요소 이외의 요소에서 일치시킨다.

실험 결과

연구 질문

• RQ1 측면 정보가 고전적일 때가 아니라 양자일 경우에도 Trevisan의 추출기 구조가 여전히 안전할 수 있는가?
• RQ2 측면 정보가 양자일 경우, 소스로부터 조건부 최소 엔트로피를 모두 추출할 수 있는 양자에 대한 증명이 가능한 추출기의 최소 시드 길이는 얼마인가?
• RQ3 다변수 코드나 약한 시드를 사용하는 Trevisan의 추출기의 수정형이 양자 측면 정보 하에서도 여전히 안전한가?
• RQ4 양자에 대한 증명이 가능한 추출기의 엔트로피 손실은 고전적 경우와 비교해 어떻게 되며, 최소화할 수 있는가?
• RQ5 낮은 실행 시간과 작은 시드 크기를 유지하는 실용적인 양자에 대한 증명이 가능한 추출기의 구현은 가능한가?

주요 결과

• Trevisan의 추출기 프레임워크가 양자 측면 정보에 대해 안전하다는 것이 입증되어, 양자 암호 프로토콜에의 적용 가능성이 확장된다.
• 길이 $d = O(\frac{1}{\beta^2 \gamma} \log n)$, 시드 최소 엔트로피 $s = (1 - \frac{\frac{1}{2} - \beta}{c})d$를 갖는 양자에 대한 증명이 가능한 $(n^\gamma m + 8\log m + 8\log 1/\varepsilon + O(1), \varepsilon)$-강력 추출기를 구성하였으며, $\beta, \gamma$가 상수일 경우 $d = O(\log n)$를 달성한다.
• 출력 길이 $m = n^{\alpha - \gamma} - o(1) = H_{\min}(X|E)^{1 - \frac{\gamma}{\alpha}} - o(1)$를 달성하여, 거의 모든 조건부 최소 엔트로피를 추출한다.
• 길이 $d = O(\log^3 n)$, 시드 엔트로피 $s = d - O(\sqrt[3]{d})$인 구성이 소스의 최소 엔트로피를 모두 추출함을 보여주었으며, 엔트로피 손실은 $d$에 대해 선형이다.
• 1비트 추출기와 설계를 사용하는 Trevisan의 추출기의 수정형이 여전히 양자에 대한 증명이 가능하다는 것이 입증되어, Raz 등과 Lu의 구성으로의 결과 확장이 가능하다.
• 다변수 코드(예: [TZS06, SU05])를 사용하는 고급 구성이나 다항식 이하의 엔트로피 소스가 여전히 양자에 대한 증명이 가능한지 여부는 여전히 열려 있으며, 향후 연구의 방향성을 제시한다.