-
From Classical to Quantum: Explicit Classical Distributions Achieving Maximal Quantum $f$-Divergence
Authors:
Dimitri Lanier,
Julien Béguinot,
Olivier Rioul
Abstract:
Explicit classical states achieving maximal $f$-divergence are given, allowing for a simple proof of Matsumoto's Theorem, and the systematic extension of any inequality between classical $f$-divergences to quantum $f$-divergences. Our methodology is particularly simple as it does not require any elaborate matrix analysis machinery but only basic linear algebra. It is also effective, as illustrated…
▽ More
Explicit classical states achieving maximal $f$-divergence are given, allowing for a simple proof of Matsumoto's Theorem, and the systematic extension of any inequality between classical $f$-divergences to quantum $f$-divergences. Our methodology is particularly simple as it does not require any elaborate matrix analysis machinery but only basic linear algebra. It is also effective, as illustrated by two examples improving existing bounds: (i)~an improved quantum Pinsker inequality is derived between $χ^2$ and trace norm, and leveraged to improve a bound in decoherence theory; (ii)~a new reverse quantum Pinsker inequality is derived for any quantum $f$-divergence, and compared to previous (Audenaert-Eisert and Hirche-Tomamichel) bounds.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Data Processing Inequality for The Quantum Guesswork
Authors:
Ilyass Mejdoub,
Julien Béguinot,
Olivier Rioul
Abstract:
Non-orthogonal quantum states pose a fundamental challenge in quantum information processing, as they cannot be distinguished with absolute certainty. Conventionally, the focus has been on minimizing error probability in quantum state discrimination tasks. However, another criterion known as quantum guesswork has emerged as a crucial measure in assessing the distinguishability of non-orthogonal qu…
▽ More
Non-orthogonal quantum states pose a fundamental challenge in quantum information processing, as they cannot be distinguished with absolute certainty. Conventionally, the focus has been on minimizing error probability in quantum state discrimination tasks. However, another criterion known as quantum guesswork has emerged as a crucial measure in assessing the distinguishability of non-orthogonal quantum states, when we are allowed to query a sequence of states. In this paper, we generalize well known properties in the classical setting that are relevant for the guessing problem. Specifically, we establish the pre and post Data Processing Inequalities. We also derive a more refined lower bound on quantum guesswork.
△ Less
Submitted 25 January, 2025; v1 submitted 22 July, 2024;
originally announced July 2024.
-
What can Information Guess? Guessing Advantage vs. Rényi Entropy for Small Leakages
Authors:
Julien Béguinot,
Olivier Rioul
Abstract:
We leverage the Gibbs inequality and its natural generalization to Rényi entropies to derive closed-form parametric expressions of the optimal lower bounds of $ρ$th-order guessing entropy (guessing moment) of a secret taking values on a finite set, in terms of the Rényi-Arimoto $α$-entropy. This is carried out in an non-asymptotic regime when side information may be available. The resulting bounds…
▽ More
We leverage the Gibbs inequality and its natural generalization to Rényi entropies to derive closed-form parametric expressions of the optimal lower bounds of $ρ$th-order guessing entropy (guessing moment) of a secret taking values on a finite set, in terms of the Rényi-Arimoto $α$-entropy. This is carried out in an non-asymptotic regime when side information may be available. The resulting bounds yield a theoretical solution to a fundamental problem in side-channel analysis: Ensure that an adversary will not gain much guessing advantage when the leakage information is sufficiently weakened by proper countermeasures in a given cryptographic implementation. Practical evaluation for classical leakage models show that the proposed bounds greatly improve previous ones for analyzing the capability of an adversary to perform side-channel attacks.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
An information theoretic necessary condition for perfect reconstruction
Authors:
Idris Delsol,
Olivier Rioul,
Julien Béguinot,
Victor Rabiet,
Antoine Souloumiac
Abstract:
A new information theoretic condition is presented for reconstructing a discrete random variable $X$ based on the knowledge of a set of discrete functions of $X$. The reconstruction condition is derived from Shannon's 1953 lattice theory with two entropic metrics of Shannon and Rajski. Because such a theoretical material is relatively unknown and appears quite dispersed in different references, we…
▽ More
A new information theoretic condition is presented for reconstructing a discrete random variable $X$ based on the knowledge of a set of discrete functions of $X$. The reconstruction condition is derived from Shannon's 1953 lattice theory with two entropic metrics of Shannon and Rajski. Because such a theoretical material is relatively unknown and appears quite dispersed in different references, we first provide a synthetic description (with complete proofs) of its concepts, such as total, common and complementary informations. Definitions and properties of the two entropic metrics are also fully detailed and shown compatible with the lattice structure. A new geometric interpretation of such a lattice structure is then investigated that leads to a necessary (and sometimes sufficient) condition for reconstructing the discrete random variable $X$ given a set $\{ X_1,\ldots,X_{n} \}$ of elements in the lattice generated by $X$. Finally, this condition is illustrated in five specific examples of perfect reconstruction problems: reconstruction of a symmetric random variable from the knowledge of its sign and absolute value, reconstruction of a word from a set of linear combinations, reconstruction of an integer from its prime signature (fundamental theorem of arithmetic) and from its remainders modulo a set of coprime integers (Chinese remainder theorem), and reconstruction of the sorting permutation of a list from a minimal set of pairwise comparisons.
△ Less
Submitted 9 August, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Maximal Leakage of Masked Implementations Using Mrs. Gerber's Lemma for Min-Entropy
Authors:
Julien Béguinot,
Yi Liu,
Olivier Rioul,
Wei Cheng,
Sylvain Guilley
Abstract:
A common countermeasure against side-channel attacks on secret key cryptographic implementations is $d$th-order masking, which splits each sensitive variable into $d+1$ random shares. In this paper, maximal leakage bounds on the probability of success of any side-channel attack are derived for any masking order. Maximal leakage (Sibson's information of order infinity) is evaluated between the sens…
▽ More
A common countermeasure against side-channel attacks on secret key cryptographic implementations is $d$th-order masking, which splits each sensitive variable into $d+1$ random shares. In this paper, maximal leakage bounds on the probability of success of any side-channel attack are derived for any masking order. Maximal leakage (Sibson's information of order infinity) is evaluated between the sensitive variable and the noisy leakage, and is related to the conditional ``min-entropy'' (Arimoto's entropy of order infinity) of the sensitive variable given the leakage. The latter conditional entropy is then lower-bounded in terms of the conditional entropies for each share using majorization inequalities. This yields a generalization of Mrs. Gerber's lemma for min-entropy in finite Abelian groups.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
