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:2403.19156 · Physica Scripta

Information disturbance tradeoff in bidirectional QKD

Nur Rahimah Sakinah Abdul Salam, Jesni Shamsul Shaari, Stefano Mancini

Published Sep 10, 2024• 1 citation
arXivHTMLPDF

Abstract

Abstract Making use of the Quantum Network formalism of Phys. Rev. A, 82 (2010) 062 305, we present the case for quantum networks with finite outcomes, more specifically one which could distinguish only between specific unitary operators in a given basis for operators. Despite its simplicity, we proceed to build a network derived from the optimal strategy in Phys. Rev. A, 82 (2010) 062 305 and show that the information-disturbance tradeoff in distinguishing between two operators acting on qubits, selected from mutually unbiased unitary bases is equal to the case of estimating an operator selected randomly from the set of SU(2) based on the Haar measure. This suggests that such strategies in distinguishing between mutually unbiased operators is not any easier than estimating an operator derived from an infinite set. We then show how this network can be used as a natural attack strategy against a bidirectional quantum cryptographic protocol.

DOI
10.1088/1402-4896/ad7912

Related papers

Noise and disturbance of qubit measurements: An information-theoretic characterization

Alastair A. Abbott, Cyril Branciard

Information-theoretic definitions for the noise associated with a quantum measurement and the corresponding disturbance to the state of the system have recently been introduced [F. Buscemi et al., Phys. Rev. Lett. 112, 050401 (2014)]. These definitions are invariant under relabeling of measurement outcomes, and lend themselves readily to the formulation of state-independent uncertainty relations both for the joint estimate of observables (noise-noise relations) and the noise-disturbance tradeoff. Here we derive such relations for incompatible qubit observables, which we prove to be tight in the case of joint estimates, and present progress towards fully characterizing the noise-disturbance tradeoff. In doing so, we show that the set of obtainable noise-noise values for such observables is convex, whereas the conjectured form for the set of obtainable noise-disturbance values is not. Furthermore, projective measurements are not optimal with respect to the joint-measurement noise or noise-disturbance tradeoffs. Interestingly, it seems that four-outcome measurements are needed in the former case, whereas three-outcome measurements are optimal in the latter.

arXiv:1607.00261•Physical Review A•Dec 12, 2016•13 citations

Information-disturbance tradeoff in estimating a unitary transformation

Alessandro Bisio, Giulio Chiribella, Giacomo Mauro D’Ariano +1 more

We address the problem of the information-disturbance tradeoff associated to the estimation of a quantum transformation and show how the extraction of information about a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete solution of the problem, deriving the optimal tradeoff curve and presenting an explicit construction of the optimal quantum network.

arXiv:1006.5665•Physical Review A•Dec 7, 2010•20 citations

Information-disturbance tradeoff in quantum measurement on the uniform ensemble and on the mutually unbiased bases

Howard Barnum

I consider the tradeoff between the information gained about an initially unknown quantum state, and the disturbance caused to that state by the measurement process. I show that for any distribution of initial states, the information-disturbance frontier is convex, and disturbance is nondecreasing with information gain. I consider the most general model of quantum measurements, and all post-measurement dynamics compatible with a given measurement. For the uniform initial distribution over states, I show that the least-disturbing way of making any measurement is with conditional dynamics satisfying a generalization of the projection postulate, the ``square-root dynamics.'' Thus, procedures for achieving a point on the information-disturbance frontier may be assumed to involve such conditional dynamics. Also, the information-disturbance frontier for the uniform ensemble may be achieved with ``isotropic'' (unitarily covariant) dynamics. This results in a significant simplification of the optimization problem for calculating the tradeoff in this case, giving hope for a closed-form solution. I also show that the discrete ensembles uniform on the d(d+1) vectors of a certain set of d+1 ``mutually unbiased'' or conjugate bases in d dimensions form spherical 2-designs in CP_{d-1} when d is a power of an odd prime. This implies that many of the results of the paper apply also to these discrete ensembles.

arXiv:quant-ph/0205155•May 24, 2002•27 citations

Indistinguishable encoding for bidirectional quantum key distribution: Theory to experiment

Jesni Shamsul Shaari, Suryadi Suryadi

We present a bidirectional quantum key distribution protocol with minimal encoding operations derived from the use of only two “nonorthogonal” unitary transformations selected from two mutually unbiased unitary bases. Differently from many bidirectional protocols, these transformations are indistinguishable in principle for a single use. Along with its decoding procedure, it is unique compared to its “orthogonal encoding” predecessors. Given the nature of such protocols where key rates are usually dependent on two different types of error rates, we define a more relevant notion of security threshold for such protocols to allow for proper comparisons to be made. The current protocol outperforms its predecessor in terms of security as the amount of information an eavesdropper can glean is limited by the indistinguishability of the transformations. We further propose adaptations for a practical scenario and report on a proof of concept experimental scheme based on polarised photons from an attenuated pulsed laser for qubits, demonstrating the feasibility of such a protocol.

Europhysics Letters (EPL)•Dec 1, 2017•10 citations

Quantum circuit implementation of the optimal information–disturbance tradeoff of maximally entangled states

ShengLi Zhang, XuBo Zou, Ke Li +2 more

We give a direct derivation for the information–disturbance tradeoff in estimating a maximally entangled state, which was first obtained by Sacchi (2006 Phys. Rev. Lett. 96 220502) in terms of the covariant positive operator valued measurement (POVM) and Jamiołkowski's isomorphism. We find that, the Cauchy–Schwarz inequality, which is one of the most powerful tools in deriving the tradeoff for a single-particle pure state still plays a key role in the case of the maximal entanglement estimation. Our result shows that the inequality becomes equality when the optimal tradeoff is achieved. Moreover, we demonstrate that such a tradeoff is physically achievable with a quantum circuit that only involves single- and two-particle logic gates and single-particle measurements.

Journal of Physics A Mathematical and Theoretical•Jan 4, 2008•0 citations

Uncertainty relations: An operational approach to the error-disturbance tradeoff

Joseph M. Renes, Volkher B. Scholz, Stefan Huber

The notions of error and disturbance appearing in quantum uncertainty relations are often quantified by the discrepancy of a physical quantity from its ideal value. However, these real and ideal values are not the outcomes of simultaneous measurements, and comparing the values of unmeasured observables is not necessarily meaningful according to quantum theory. To overcome these conceptual difficulties, we take a different approach and define error and disturbance in an operational manner. In particular, we formulate both in terms of the probability that one can successfully distinguish the actual measurement device from the relevant hypothetical ideal by any experimental test whatsoever. This definition itself does not rely on the formalism of quantum theory, avoiding many of the conceptual difficulties of usual definitions. We then derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems, as well as for the case of position and momentum. Our relations may be directly applied in information processing settings, for example to infer that devices which can faithfully transmit information regarding one observable do not leak any information about conjugate observables to the environment. We also show that Englert's wave-particle duality relation [PRL 77, 2154 (1996)] can be viewed as an error-disturbance uncertainty relation.

arXiv:1612.02051•Quantum•Jul 25, 2017•13 citations
Abstract Making use of the Quantum Network formalism of Phys. Rev. A, 82 (2010) 062 305, we present the case for quantum networks with finite outcomes, more specifically one which could distinguish only between specific unitary operators in a given basis for operators. Despite its simplicity, we proceed to build a network derived from the optimal strategy in Phys. Rev. A, 82 (2010) 062 305 and show that the information-disturbance tradeoff in distinguishing between two operators acting on qubits, selected from mutually unbiased unitary bases is equal to the case of estimating an operator selected randomly from the set of SU(2) based on the Haar measure. This suggests that such strategies in distinguishing between mutually unbiased operators is not any easier than estimating an operator derived from an infinite set. We then show how this network can be used as a natural attack strategy against a bidirectional quantum cryptographic protocol.
Information-theoretic definitions for the noise associated with a quantum measurement and the corresponding disturbance to the state of the system have recently been introduced [F. Buscemi et al., Phys. Rev. Lett. 112, 050401 (2014)]. These definitions are invariant under relabeling of measurement outcomes, and lend themselves readily to the formulation of state-independent uncertainty relations both for the joint estimate of observables (noise-noise relations) and the noise-disturbance tradeoff. Here we derive such relations for incompatible qubit observables, which we prove to be tight in the case of joint estimates, and present progress towards fully characterizing the noise-disturbance tradeoff. In doing so, we show that the set of obtainable noise-noise values for such observables is convex, whereas the conjectured form for the set of obtainable noise-disturbance values is not. Furthermore, projective measurements are not optimal with respect to the joint-measurement noise or noise-disturbance tradeoffs. Interestingly, it seems that four-outcome measurements are needed in the former case, whereas three-outcome measurements are optimal in the latter.
We address the problem of the information-disturbance tradeoff associated to the estimation of a quantum transformation and show how the extraction of information about a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete solution of the problem, deriving the optimal tradeoff curve and presenting an explicit construction of the optimal quantum network.
I consider the tradeoff between the information gained about an initially unknown quantum state, and the disturbance caused to that state by the measurement process. I show that for any distribution of initial states, the information-disturbance frontier is convex, and disturbance is nondecreasing with information gain. I consider the most general model of quantum measurements, and all post-measurement dynamics compatible with a given measurement. For the uniform initial distribution over states, I show that the least-disturbing way of making any measurement is with conditional dynamics satisfying a generalization of the projection postulate, the ``square-root dynamics.'' Thus, procedures for achieving a point on the information-disturbance frontier may be assumed to involve such conditional dynamics. Also, the information-disturbance frontier for the uniform ensemble may be achieved with ``isotropic'' (unitarily covariant) dynamics. This results in a significant simplification of the optimization problem for calculating the tradeoff in this case, giving hope for a closed-form solution. I also show that the discrete ensembles uniform on the d(d+1) vectors of a certain set of d+1 ``mutually unbiased'' or conjugate bases in d dimensions form spherical 2-designs in CP_{d-1} when d is a power of an odd prime. This implies that many of the results of the paper apply also to these discrete ensembles.
We present a bidirectional quantum key distribution protocol with minimal encoding operations derived from the use of only two “nonorthogonal” unitary transformations selected from two mutually unbiased unitary bases. Differently from many bidirectional protocols, these transformations are indistinguishable in principle for a single use. Along with its decoding procedure, it is unique compared to its “orthogonal encoding” predecessors. Given the nature of such protocols where key rates are usually dependent on two different types of error rates, we define a more relevant notion of security threshold for such protocols to allow for proper comparisons to be made. The current protocol outperforms its predecessor in terms of security as the amount of information an eavesdropper can glean is limited by the indistinguishability of the transformations. We further propose adaptations for a practical scenario and report on a proof of concept experimental scheme based on polarised photons from an attenuated pulsed laser for qubits, demonstrating the feasibility of such a protocol.
We give a direct derivation for the information–disturbance tradeoff in estimating a maximally entangled state, which was first obtained by Sacchi (2006 Phys. Rev. Lett. 96 220502) in terms of the covariant positive operator valued measurement (POVM) and Jamiołkowski's isomorphism. We find that, the Cauchy–Schwarz inequality, which is one of the most powerful tools in deriving the tradeoff for a single-particle pure state still plays a key role in the case of the maximal entanglement estimation. Our result shows that the inequality becomes equality when the optimal tradeoff is achieved. Moreover, we demonstrate that such a tradeoff is physically achievable with a quantum circuit that only involves single- and two-particle logic gates and single-particle measurements.
The notions of error and disturbance appearing in quantum uncertainty relations are often quantified by the discrepancy of a physical quantity from its ideal value. However, these real and ideal values are not the outcomes of simultaneous measurements, and comparing the values of unmeasured observables is not necessarily meaningful according to quantum theory. To overcome these conceptual difficulties, we take a different approach and define error and disturbance in an operational manner. In particular, we formulate both in terms of the probability that one can successfully distinguish the actual measurement device from the relevant hypothetical ideal by any experimental test whatsoever. This definition itself does not rely on the formalism of quantum theory, avoiding many of the conceptual difficulties of usual definitions. We then derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems, as well as for the case of position and momentum. Our relations may be directly applied in information processing settings, for example to infer that devices which can faithfully transmit information regarding one observable do not leak any information about conjugate observables to the environment. We also show that Englert's wave-particle duality relation [PRL 77, 2154 (1996)] can be viewed as an error-disturbance uncertainty relation.