Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1202.0322 · IEEE Transactions on Information Theory

Large Deviation Analysis for Quantum Security via Smoothing of Rényi Entropy of Order 2

Masahito Hayashi

Published Aug 6, 2014• 35 citations
arXivHTMLPDF

Abstract

It is known that the security evaluation can be done by smoothing of Rényi entropy of order 2 in the classical and quantum settings when we apply universal2hash functions. Using the smoothing of Rényi entropy of order 2, we derive security bounds for L1distinguishability and modified mutual information criterion under the classical and quantum setting, and have derived these exponential decreasing rates. These results are extended to the case when we apply ε-almost dual universal2hash functions. Furthermore, we apply this analysis to the secret key generation with error correction.

DOI
10.1109/tit.2014.2337884

Related papers

Classical and quantum security analysis via smoothing of Renyi entropy of order 2

Masahito Hayashi

It is known that the security evaluation can be done by smoothing of Renyi entropy of order 2 in the classical ans quantum settings when we apply universal2 hash functions. This fact can be extended to the case when we apply ǫ-almost dual universal2 hash functions. Demonstrating the smoothing of Renyi entropy of order 2, we derived security bounds for universal composability and mutual information criterion under the condition in the classical and quantum setting. Further, we apply this analysis to the secret key generation with error correction.

•Feb 1, 2012•5 citations

Rethinking quantum smooth entropies: Tight one-shot analysis of quantum privacy amplification

Bartosz Regula, Marco Tomamichel

We introduce an improved one-shot characterisation of randomness extraction against quantum side information (privacy amplification), strengthening known one-shot bounds and providing a unified derivation of the tightest known asymptotic constraints. Our main tool is a new class of smooth conditional entropies defined by lifting classical smooth divergences through measurements. A key role is played by the measured smooth Rényi relative entropy of order 2, which we show to admit an equivalent variational form: it can be understood as allowing for smoothing over not only states, but also non-positive Hermitian operators. Building on this, we establish a tightened leftover hash lemma, significantly improving over all known smooth min-entropy bounds on extractable randomness and recovering the sharpest classical achievability results. We extend these methods to decoupling, the coherent analogue of privacy amplification, obtaining a corresponding improved one-shot bound. Relaxing our smooth entropy bounds leads to one-shot achievability results in terms of measured Rényi divergences, tightening the bounds of [Dupuis, arXiv:2105.05342] and recovering state-of-the-art asymptotic i.i.d. error exponents. We show an approximate optimality of our results by giving a matching one-shot converse bound up to additive logarithmic terms. This yields an optimal second-order asymptotic expansion of privacy amplification under trace distance, establishing a significantly tighter one-shot achievability result than previously shown in [Shen et al., arXiv:2202.11590] and proving its optimality for all hash functions.

quant-pharXiv:2603.04493•Mar 6, 2026•0 citations

Tight Exponential Analysis for Smoothing the Max-Relative Entropy and for Quantum Privacy Amplification

Ke Li, Yongsheng Yao, Masahito Hayashi

The max-relative entropy together with its smoothed version is a basic tool in quantum information theory. In this paper, we derive the exact exponent for the asymptotic decay of the small modification of the quantum state in smoothing the max-relative entropy based on purified distance. We then apply this result to the problem of privacy amplification against quantum side information, and we obtain an upper bound for the exponent of the asymptotic decreasing of the insecurity, measured using either purified distance or relative entropy. Our upper bound complements the earlier lower bound established by Hayashi, and the two bounds match when the rate of randomness extraction is above a critical value. Thus, for the case of high rate, we have determined the exact security exponent. Following this, we give examples and show that in the low-rate case, neither the upper bound nor the lower bound is tight in general. This exhibits a picture similar to that of the error exponent in channel coding. Lastly, we investigate the asymptotics of equivocation and its exponent under the security measure using the sandwiched Rényi divergence of order$s\in (1,2]$, which has not been addressed previously in the quantum setting.

arXiv:2111.01075•IEEE Transactions on Information Theory•Nov 4, 2022•24 citations

Exponents in smoothing the max-relative entropy and of randomness extraction against quantum side information

Ke Li, Yongsheng Yao, Masahito Hayashi

This paper is eligible for the Jack Keil Wolf ISIT Student Paper Award.The smooth max-relative entropy is a basic tool in quantum information theory and cryptography. In this paper, we derive the exact exponent for the decay of the small modification of the quantum state in smoothing the max-relative entropy. We then apply this result to the problem of privacy amplification against quantum side information and obtain an upper bound for the exponent of the decreasing of the insecurity, measured using either purified distance or relative entropy. Our upper bound complements the earlier lower bound established by Hayashi, and the two bounds match when the rate of randomness extraction is above a critical value. Thus, for the case of high rate, we have determined the exact security exponent. Following this, we give examples and show that in the low-rate case, neither the upper bound nor the lower bound is tight in general.Lastly, we investigate the asymptotics of equivocation and its exponent under the security measure using the sandwiched Rényi divergence of order between 1 and 2, which has not been addressed previously in the quantum setting.

IEEE International Symposium on Information Theory (ISIT)•Jun 26, 2022•0 citations

Tight exponential evaluation for information theoretical secrecy based on L1 distance

Masahito Hayashi

We adopt L1 distance as Eve's distinguishability in secret key generation from a common random number without communication. Under this secrecy criterion, using the Renyi entropy of order 1 + s for s in [0, 1], we derive a new upper bound of Eve's distinguishability under the application of the universal2 hash function. It is also shown that this bound gives the tight exponential decreasing rate. The result is applied to wire-tap channel model and secret key distillation (agreement) by public discussion.

•Oct 7, 2010•2 citations

Precise evaluation of leaked information with universal2 privacy amplification in the presence of quantum attacker

Masahito Hayashi

We treat secret key extraction when the eavesdropper has correlated quantum states. We propose quantum privacy amplification theorems different from Renner's, which are based on quantum conditional Rényi entropy of order 1 + s. Using those theorems, we derive an exponential decreasing rate for leaked information and the asymptotic equivocation rate, which have not been derived hitherto in the quantum setting.

IEEE International Symposium on Information Theory (ISIT)•Jul 1, 2012•7 citations
It is known that the security evaluation can be done by smoothing of Rényi entropy of order 2 in the classical and quantum settings when we apply universal2hash functions. Using the smoothing of Rényi entropy of order 2, we derive security bounds for L1distinguishability and modified mutual information criterion under the classical and quantum setting, and have derived these exponential decreasing rates. These results are extended to the case when we apply ε-almost dual universal2hash functions. Furthermore, we apply this analysis to the secret key generation with error correction.
It is known that the security evaluation can be done by smoothing of Renyi entropy of order 2 in the classical ans quantum settings when we apply universal2 hash functions. This fact can be extended to the case when we apply ǫ-almost dual universal2 hash functions. Demonstrating the smoothing of Renyi entropy of order 2, we derived security bounds for universal composability and mutual information criterion under the condition in the classical and quantum setting. Further, we apply this analysis to the secret key generation with error correction.
We introduce an improved one-shot characterisation of randomness extraction against quantum side information (privacy amplification), strengthening known one-shot bounds and providing a unified derivation of the tightest known asymptotic constraints. Our main tool is a new class of smooth conditional entropies defined by lifting classical smooth divergences through measurements. A key role is played by the measured smooth Rényi relative entropy of order 2, which we show to admit an equivalent variational form: it can be understood as allowing for smoothing over not only states, but also non-positive Hermitian operators. Building on this, we establish a tightened leftover hash lemma, significantly improving over all known smooth min-entropy bounds on extractable randomness and recovering the sharpest classical achievability results. We extend these methods to decoupling, the coherent analogue of privacy amplification, obtaining a corresponding improved one-shot bound. Relaxing our smooth entropy bounds leads to one-shot achievability results in terms of measured Rényi divergences, tightening the bounds of [Dupuis, arXiv:2105.05342] and recovering state-of-the-art asymptotic i.i.d. error exponents. We show an approximate optimality of our results by giving a matching one-shot converse bound up to additive logarithmic terms. This yields an optimal second-order asymptotic expansion of privacy amplification under trace distance, establishing a significantly tighter one-shot achievability result than previously shown in [Shen et al., arXiv:2202.11590] and proving its optimality for all hash functions.
The max-relative entropy together with its smoothed version is a basic tool in quantum information theory. In this paper, we derive the exact exponent for the asymptotic decay of the small modification of the quantum state in smoothing the max-relative entropy based on purified distance. We then apply this result to the problem of privacy amplification against quantum side information, and we obtain an upper bound for the exponent of the asymptotic decreasing of the insecurity, measured using either purified distance or relative entropy. Our upper bound complements the earlier lower bound established by Hayashi, and the two bounds match when the rate of randomness extraction is above a critical value. Thus, for the case of high rate, we have determined the exact security exponent. Following this, we give examples and show that in the low-rate case, neither the upper bound nor the lower bound is tight in general. This exhibits a picture similar to that of the error exponent in channel coding. Lastly, we investigate the asymptotics of equivocation and its exponent under the security measure using the sandwiched Rényi divergence of orders∈(1,2]s\in (1,2]s∈(1,2], which has not been addressed previously in the quantum setting.
This paper is eligible for the Jack Keil Wolf ISIT Student Paper Award.The smooth max-relative entropy is a basic tool in quantum information theory and cryptography. In this paper, we derive the exact exponent for the decay of the small modification of the quantum state in smoothing the max-relative entropy. We then apply this result to the problem of privacy amplification against quantum side information and obtain an upper bound for the exponent of the decreasing of the insecurity, measured using either purified distance or relative entropy. Our upper bound complements the earlier lower bound established by Hayashi, and the two bounds match when the rate of randomness extraction is above a critical value. Thus, for the case of high rate, we have determined the exact security exponent. Following this, we give examples and show that in the low-rate case, neither the upper bound nor the lower bound is tight in general.Lastly, we investigate the asymptotics of equivocation and its exponent under the security measure using the sandwiched Rényi divergence of order between 1 and 2, which has not been addressed previously in the quantum setting.
We adopt L1 distance as Eve's distinguishability in secret key generation from a common random number without communication. Under this secrecy criterion, using the Renyi entropy of order 1 + s for s in [0, 1], we derive a new upper bound of Eve's distinguishability under the application of the universal2 hash function. It is also shown that this bound gives the tight exponential decreasing rate. The result is applied to wire-tap channel model and secret key distillation (agreement) by public discussion.