Table of Contents
Fetching ...

Improved Two-source Extractors against Quantum Side Information

Jakob Miller, Martin Sandfuchs, Carla Ferradini

TL;DR

The paper addresses the security of two-source extractors against quantum side information, focusing on the Dodis et al. deor_A construction. It introduces a modular approach via a novel measured XOR-Lemma that reduces quantum security to classical single-bit security and combines this with a non-modular, matrix-analytic method to substantially improve extractor performance, including achieving the same security as no side information for product-type quantum knowledge and extending these guarantees to the quantum Markov model. The main contributions are twofold: a general reduction yielding the √(2^m ε) error bound for generic extractors, and a 5x improvement in output length for deor_A against quantum product-type side information, plus Markov-model extensions with minimal losses. These results significantly strengthen the practicality of two-source extractors in quantum-adversarial settings and open avenues for applying the measured XOR-Lemma to a wider class of extractors.

Abstract

Two-source extractors aim to extract randomness from two independent sources of weak randomness. It has been shown that any two-source extractor which is secure against classical side information remains secure against quantum side information. Unfortunately, this generic reduction comes with a significant penalty to the performance of the extractor. In this paper, we show that the two-source extractor from Dodis et al. performs equally well against quantum side information as in the classical realm, surpassing previously known results about this extractor. Additionally, we derive a new quantum XOR-Lemma which allows us to re-derive the generic reduction but also allows for improvements for a large class of extractors.

Improved Two-source Extractors against Quantum Side Information

TL;DR

The paper addresses the security of two-source extractors against quantum side information, focusing on the Dodis et al. deor_A construction. It introduces a modular approach via a novel measured XOR-Lemma that reduces quantum security to classical single-bit security and combines this with a non-modular, matrix-analytic method to substantially improve extractor performance, including achieving the same security as no side information for product-type quantum knowledge and extending these guarantees to the quantum Markov model. The main contributions are twofold: a general reduction yielding the √(2^m ε) error bound for generic extractors, and a 5x improvement in output length for deor_A against quantum product-type side information, plus Markov-model extensions with minimal losses. These results significantly strengthen the practicality of two-source extractors in quantum-adversarial settings and open avenues for applying the measured XOR-Lemma to a wider class of extractors.

Abstract

Two-source extractors aim to extract randomness from two independent sources of weak randomness. It has been shown that any two-source extractor which is secure against classical side information remains secure against quantum side information. Unfortunately, this generic reduction comes with a significant penalty to the performance of the extractor. In this paper, we show that the two-source extractor from Dodis et al. performs equally well against quantum side information as in the classical realm, surpassing previously known results about this extractor. Additionally, we derive a new quantum XOR-Lemma which allows us to re-derive the generic reduction but also allows for improvements for a large class of extractors.

Paper Structure

This paper contains 30 sections, 36 theorems, 46 equations, 1 figure, 1 table.

Key Result

Theorem 1.1.1

Any strong two-source extractor $\mathop{\mathrm{Ext}}\nolimits$ remains a strong two-source extractor against product-type quantum knowledge with weaker parameters.

Figures (1)

  • Figure :

Theorems & Definitions (49)

  • Theorem 1.1.1: informal
  • Theorem 1.1.2: informal
  • Definition 2.1.1: Trace distance
  • Proposition 2.1.2
  • Lemma 2.1.3: Data-processing
  • Definition 2.1.4: $L_2$-distance to uniform
  • Lemma 2.1.5: Renner_PhD_thesis
  • Corollary 2.1.6: Renner_PhD_thesis
  • Definition 2.2.1: Conditional min-entropy
  • Lemma 2.2.2: Data-processing
  • ...and 39 more